Canopy transpiration of a Larix sibirica and Pinus sylvestris forest in Central Siberia by Urban, Josef, Rubtsov, Alexey V., Urban, Anastasiya V., Shashkin, Alexander V., Benkova, Vera E.

Get full text

Global effects of non‐native tree species on multiple ecosystem services by Castro‐Díez, Pilar, Vaz, Ana Sofia, Silva, Joaquim S., Loo, Marcela, Alonso, Álvaro, Aponte, Cristina, Bayón, Álvaro, Bellingham, Peter J., Chiuffo, Mariana C., DiManno, Nicole, Julian, Kahua, Kandert, Susanne, Porta, Nicola La, Marchante, Hélia, Maule, Hamish G., Mayfield, Margaret M., Metcalfe, Daniel, Monteverdi, M. Cristina, Núñez, Martín A., Ostertag, Rebecca, Parker, Ingrid M., Peltzer, Duane A., Potgieter, Luke J., Raymundo, Maia, Rayome, Donald, Reisman‐Berman, Orna, Richardson, David M., Roos, Ruben E., Saldaña, Asunción, Shackleton, Ross T., Torres, Agostina, Trudgen, Melinda, Urban, Josef, Vicente, Joana R., Vilà, Montserrat, Ylioja, Tiina, Zenni, Rafael D., Godoy, Oscar

Get full text

The 2018 European heatwave led to stem dehydration but not to consistent growth reductions in forests by Salomón, Roberto L., Peters, Richard L., Zweifel, Roman, Sass-Klaassen, Ute G. W., Stegehuis, Annemiek I., Smiljanic, Marko, Poyatos, Rafael, Babst, Flurin, Cienciala, Emil, Fonti, Patrick, Lerink, Bas J. W., Lindner, Marcus, Martinez-Vilalta, Jordi, Mencuccini, Maurizio, Nabuurs, Gert-Jan, van der Maaten, Ernst, von Arx, Georg, Bär, Andreas, Akhmetzyanov, Linar, Balanzategui, Daniel, Bellan, Michal, Bendix, Jörg, Berveiller, Daniel, Blaženec, Miroslav, Čada, Vojtěch, Carraro, Vinicio, Cecchini, Sébastien, Chan, Tommy, Conedera, Marco, Delpierre, Nicolas, Delzon, Sylvain, Ditmarová, Ľubica, Dolezal, Jiri, Dufrêne, Eric, Edvardsson, Johannes, Ehekircher, Stefan, Forner, Alicia, Frouz, Jan, Ganthaler, Andrea, Gryc, Vladimír, Güney, Aylin, Heinrich, Ingo, Hentschel, Rainer, Janda, Pavel, Ježík, Marek, Kahle, Hans-Peter, Knüsel, Simon, Krejza, Jan, Kuberski, Łukasz, Kučera, Jiří, Lebourgeois, François, Mikoláš, Martin, Matula, Radim, Mayr, Stefan, Oberhuber, Walter, Obojes, Nikolaus, Osborne, Bruce, Paljakka, Teemu, Plichta, Roman, Rabbel, Inken, Rathgeber, Cyrille B. K., Salmon, Yann, Saunders, Matthew, Scharnweber, Tobias, Sitková, Zuzana, Stangler, Dominik Florian, Stereńczak, Krzysztof, Stojanović, Marko, Střelcová, Katarína, Světlík, Jan, Svoboda, Miroslav, Tobin, Brian, Trotsiuk, Volodymyr, Urban, Josef, Valladares, Fernando, Vavrčík, Hanuš, Vejpustková, Monika, Walthert, Lorenz, Wilmking, Martin, Zin, Ewa, Zou, Junliang, Steppe, Kathy

Get full text

A FORMAL PROOF OF THE KEPLER CONJECTURE by HALES, THOMAS, ADAMS, MARK, BAUER, GERTRUD, DANG, TAT DAT, HARRISON, JOHN, HOANG, LE TRUONG, KALISZYK, CEZARY, MAGRON, VICTOR, MCLAUGHLIN, SEAN, NGUYEN, TAT THANG, NGUYEN, QUANG TRUONG, NIPKOW, TOBIAS, OBUA, STEVEN, PLESO, JOSEPH, RUTE, JASON, SOLOVYEV, ALEXEY, TA, THI HOAI AN, TRAN, NAM TRUNG, TRIEU, THI DIEP, URBAN, JOSEF, VU, KY, ZUMKELLER, ROLAND

Get full text

Broadband infrared spectroscopy using optical parametric oscillation in a radially-poled whispering gallery resonator by Meisenheimer, Sarah-Katharina, Fürst, Josef Urban, Werner, Christoph, Beckmann, Tobias, Buse, Karsten, Breunig, Ingo

Get full text

Continuous-wave optical parametric oscillation tunable up to an 8 μm wavelength by Meisenheimer, Sarah-Katharina, Fürst, Josef Urban, Buse, Karsten, Breunig, Ingo

Get full text

Hammering towards QED by Blanchette, Jasmin C, Kaliszyk, Cezary, Paulson, Lawrence C, Urban, Josef

Get full text

Continuous-wave optical parametric oscillation tunable up to 8 μm wavelength by Breunig, Ingo, Fürst, Josef Urban, Hanka, Kevin, Buse, Karsten

Get full text

Seasonal Photosynthetic Activity in the Crown Compartments of European Ash (Fraxinus excelsior) by Majewski, Robert Stanislaw, Barták, Miloš, Weger, Jan, Čermák, Jan, Urban, Josef

Get full text

ATP and Presentation Service for Mizar Formalizations by Urban, Josef, Rudnicki, Piotr, Sutcliffe, Geoff

Get full text

Effect of Drought on Photosynthesis of Trees and Shrubs in Habitat Corridors by Urban, Josef, Matoušková, Marie, Robb, William, Jelínek, Boleslav, Úradníček, Luboš

Get full text

Pseudo-type-II tuning behavior and mode identification in whispering gallery optical parametric oscillators by Meisenheimer, Sarah-Katharina, Fürst, Josef Urban, Schiller, Annelie, Holderied, Florian, Buse, Karsten, Breunig, Ingo

Get full text

MizAR 40 for Mizar 40 by Kaliszyk, Cezary, Urban, Josef

Get full text

Learning-Assisted Automated Reasoning with Flyspeck by Kaliszyk, Cezary, Urban, Josef

Get full text

Seasonal variations of sulphur, phosphorus and magnesium in the leaves and current-year twigs of hemiparasitic mistletoe Loranthus europaeus Jacq. and its host Quercus pubescens Wi... by GEBAUER, Roman, VOLAŘÍK, Daniel, URBAN, Josef

Get full text

HOL(y)Hammer: Online ATP Service for HOL Light by Kaliszyk, Cezary, Urban, Josef

Get full text

Increase in leaf temperature opens stomata and decouples net photosynthesis from stomatal conductance in Pinus taeda and Populus deltoides x nigra by Urban, Josef, Ingwers, Miles W., McGuire, Mary Anne, Teskey, Robert O.

Get full text

Comparative study of long-term water uptake of Norway spruce and Douglas-fir in Moravian upland by Nadezhdina, Nadezhda, Urban, Josef, Cermak, Jan, Nadezhdin, Valeriy, Kantor, Petr

Get full text

Learning-assisted theorem proving with millions of lemmas by Kaliszyk, Cezary, Urban, Josef

Get full text

MPTP 0.2: Design, Implementation, and Initial Experiments by Urban, Josef

Get full text