Search

Your search keyword '"Rabe F"' showing total 44 results

Search Constraints

Start Over You searched for: Author "Rabe F" Remove constraint Author: "Rabe F" Search Limiters Available in Library Collection Remove constraint Search Limiters: Available in Library Collection
44 results on '"Rabe F"'

Search Results

3. Comparison of the lossy image data compressions for the MESUR Pathfinder and for the Huygens Titan Probe

4. Formalizing Physics: Automation, Presentation and Foundation Issues

5. Learning2Reason

7. Preface

8. A Formalization of the C99 Standard in HOL, Isabelle and Coq

9. Computer Certified Efficient Exact Reals in Coq

10. Licensing the Mizar mathematical library

11. Formalizing Physics: Automation, Presentation and Foundation Issues

12. Mizar: State-of-the-art and Beyond

13. Publishing math lecture notes as linked data

19. Preface

20. Learning2Reason

21. A Formalization of the C99 Standard HOL, Isabelle and Coq

22. Large Formal Wikis: Issues and Solutions

23. Computer Certified Efficient Exact Reals in Coq

24. Licensing the Mizar mathematical library

26. The imager for mars pathfinder (IMP) experiment

29. Publishing math lecture notes as linked data

30. Publishing math lecture notes as linked data

31. Logic-Independent Proof Search in Logical Frameworks: (Short Paper)

32. Barriers to adherence of posttreatment follow-up after positive primary cervical cancer screening in Ethiopia: a mixed-methods study.

33. Adherence to Treatment and Follow-Up of Precancerous Cervical Lesions in Ethiopia.

34. Estimating multimodal brain variability in schizophrenia spectrum disorders: A worldwide ENIGMA study.

35. Performing a vibrotactile discrimination task modulates finger representations in primary somatosensory cortex.

36. Survival and predictors of breast cancer mortality in South Ethiopia: A retrospective cohort study.

37. Ergodicity-breaking reveals time optimal decision making in humans.

38. Overrepresentation Analyses of Differentially Expressed Genes in the Smut Fungus Ustilago bromivora during Saprophytic and in planta Growth.

39. A complete toolset for the study of Ustilago bromivora and Brachypodium sp. as a fungal-temperate grass pathosystem.

40. Phytohormone sensing in the biotrophic fungus Ustilago maydis - the dual role of the transcription factor Rss1.

41. Degradation of the plant defence hormone salicylic acid by the biotrophic fungus Ustilago maydis.

42. Metabolic priming by a secreted fungal effector.

43. Measurement of dose-area product with GafChromic XR Type R film.

44. A study of GafChromic XR Type R film response with reflective-type densitometers and economical flatbed scanners.

Catalog

Books, media, physical & digital resources