E-LIB Suche - Ergebnisse für: Urban, Josef

1

Proximal microclimate: Moving beyond spatiotemporal resolut..:

Klinges, David H. ; Baecher, J. Alex ; Lembrechts, Jonas J....
Global Ecology and Biogeography. , 2024

Link: https://doi.org/10.1111/..

2

Learning Guided Automated Reasoning: A Brief Survey:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Blaauwbroek, Lasse ; Cerna, David M. ; Gauthier, Thibault... - p. 54-83 , 2024

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

3

Seasonal Photosynthetic Activity in the Crown Compartments ..:

Majewski, Robert Stanislaw ; Barták, Miloš ; Weger, Jan..
Forests. 15 (2024) 4 - p. 699 , 2024

Link: https://doi.org/10.3390/..

4

Effect of Drought on Photosynthesis of Trees and Shrubs in ..:

Urban, Josef ; Matoušková, Marie ; Robb, William..
Forests. 14 (2023) 8 - p. 1521 , 2023

Link: https://doi.org/10.3390/..

5

Translating SUMO-K to Higher-Order Set Theory:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Brown, Chad E. ; Pease, Adam ; Urban, Josef - p. 255-274 , 2023

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

6

A Clinical‐Scale Microfluidic Respiratory Assist Device wit..:

Isenberg, Brett C. ; Vedula, Else M. ; Santos, Jose...
Advanced Science. 10 (2023) 18 - p. , 2023

Link: https://doi.org/10.1002/..

7

Comparison of Rainfall Partitioning and Estimation of the U..:

Novosadová, Kateřina ; Kadlec, Jiří ; Řehořková, Štěpánka...
Water. 15 (2023) 2 - p. 285 , 2023

Link: https://doi.org/10.3390/..

8

P30-032-23 Fruit and Vegetable Supplemented-Diet Ameliorate..:

Solano-Aguilar, Gloria ; Solano-Aguilar, Gloria ; Lakshman, Sukla...
Current Developments in Nutrition. 7 (2023) - p. 101490 , 2023

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

9

Learning Proof Transformations and Its Applications in Inte..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Zhang, Liao ; Blaauwbroek, Lasse ; Kaliszyk, Cezary. - p. 236-254 , 2023

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

10

Xylem function and leaf physiology in European beech saplin..:

Hájíčková, Martina ; Plichta, Roman ; Volařík, Daniel...
Forestry: An International Journal of Forest Research. 97 (2023) 2 - p. 213-222 , 2023

Link: https://doi.org/10.1093/..

11

Alien coding:

Gauthier, Thibault ; Olšák, Miroslav ; Urban, Josef
International Journal of Approximate Reasoning. 162 (2023) - p. 109009 , 2023

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

12

Corrigendum to "Coppicing modulates physiological responses..:

Matoušková, Marie ; Urban, Josef ; Volařík, Daniel..
Forest Ecology and Management. 520 (2022) - p. 120412 , 2022

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

13

Does leaf gas exchange correlate with petiole xylem structu..:

Gebauer, Roman ; Urban, Josef ; Volařík, Daniel...
Tree Physiology. 42 (2022) 12 - p. 2534-2545 , 2022

Link: https://doi.org/10.1093/..

14

Guiding an Automated Theorem Prover with Neural Rewriting:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Piepenbrock, Jelle ; Heskes, Tom ; Janota, Mikoláš. - p. 597-617 , 2022

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

15

Crystal structures of N-[4-(trifluoromethyl)phenyl]benzamid..:

Pearson, Wayne H. ; Urban, Joseph J. ; MacArthur, Amy H. Roy..
Acta Crystallographica Section E Crystallographic Communications. 78 (2022) 3 - p. 297-305 , 2022

Link: https://doi.org/10.1107/..