E-LIB Suche - Ergebnisse für: Fiala, Jonáš

1

The Prusti Project: Formal Verification for Rust:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš... - p. 88-108 , 2022

Link: https://doi.org/10.1007/..

2

Metodika pěstování asijských hrušní a slivoní ; Methods of ..:

Nečas, Tomáš ; Ondrášek, Ivo ; Zezulová, Eliška...
https://repozitar.mendelu.cz/xmlui/handle/20.500.12698/1870. , 2023

Link: https://repozitar.mendel..

3

Leveraging Rust Types for Program Synthesis:

Fiala, Jonáš ; Itzhaky, Shachar ; Müller, Peter...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3591278. , 2023

Link: https://hdl.handle.net/2..

4

Leveraging Rust Types for Program Synthesis:

Fiala, Jonáš ; Itzhaky, Shachar ; Müller, Peter..
doi:10.1145/3591278. , 2023

Link: https://zenodo.org/recor..

5

The Prusti Project:Formal Verification for Rust:

Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš...
https://orbit.dtu.dk/en/publications/5dd8818e-c952-4c09-93b2-ea030240954a. , 2022

Link: https://orbit.dtu.dk/en/..

6

Systém pro zachytávání EPG informací ve vysílání digitální ..:

Fiala, Jonáš
OSD002. , 2009

Link: http://hdl.handle.net/10..

7

SIFamide Translates Hunger Signals into Appetitive and Feed..:

Martelli, Carlotta ; Pech, Ulrike ; Kobbenbring, Simon...
Cell Reports. 20 (2017) 2 - p. 464-478 , 2017

Link: https://doi.org/10.1016/..

8

Differential Associative Training Enhances Olfactory Acuity..:

Barth, Jonas ; Dipt, Shubham ; Pech, Ulrike...
The Journal of Neuroscience. 34 (2014) 5 - p. 1819-1837 , 2014

Link: https://doi.org/10.1523/..

9

Eye Movements in Ephedrone-Induced Parkinsonism:

Bonnet, Cecilia ; Rusz, Jan ; Megrelishvili, Marika...
PLoS ONE. 9 (2014) 8 - p. e104784 , 2014

Link: https://doi.org/10.1371/..

10

Mushroom body miscellanea: transgenic Drosophila strains ex..:

Pech, Ulrike ; Dipt, Shubham ; Barth, Jonas...
Frontiers in Neural Circuits. 7 (2013) - p. , 2013

Link: https://doi.org/10.3389/..

11

Robot gaming and learning using augmented reality:

, In: ACM SIGGRAPH 2007 posters,

Kostandov, Mykhaylo ; Schwertfeger, Jonas ; Jenkins, Odest Chadwicke... - p. 5-es , 2007

Link: https://dl.acm.org/doi/1..

12

Electronic Cigarettes as an Introductory Tobacco Product Am..:

Hines, Jonas Z. ; Fiala, Steven C. ; Hedberg, Katrina
Morbidity and Mortality Weekly Report. 66 (2017) 23 - p. 604-606 , 2017

Link: https://www.jstor.org/st..

13

Kidins220 and Aiolos promote thymic iNKT cell development b..:

Herr, Laurenz A ; Fiala, Gina J ; Sagar, Sagar...
https://freidok.uni-freiburg.de/data/246335. , 2024

Link: https://freidok.uni-frei..

14

Mass Reproducibility and Replicability: A New Hope:

Brodeur, Abel ; Mikola, Derek ; Cook, Nikolai...
Series: I4R Discussion Paper Series. , 2024

Link: https://hdl.handle.net/1..

15

On the trajectory of discrimination:A meta-analysis and for..:

Schaerer, Michael ; Plessis, Christilene Du ; Nguyen, My Hoang Bao...
https://researchportal.bath.ac.uk/en/publications/c7667382-3c39-4164-b183-0a9456e6e5e1. , 2023

Link: https://researchportal.b..