المؤلفون: S. P. Harrison, R. Villegas-Diaz, E. Cruz-Silva, D. Gallagher, D. Kesner, P. Lincoln, Y. Shen, L. Sweeney, D. Colombaroli, A. Ali, C. Barhoumi, Y. Bergeron, T. Blyakharchuk, P. Bobek, R. Bradshaw, J. L. Clear, S. Czerwiński, A.-L. Daniau, J. Dodson, K. J. Edwards, M. E. Edwards, A. Feurdean, D. Foster, K. Gajewski, M. Gałka, M. Garneau, T. Giesecke, G. Gil Romera, M. P. Girardin, D. Hoefer, K. Huang, J. Inoue, E. Jamrichová, N. Jasiunas, W. Jiang, G. Jiménez-Moreno, M. Karpińska-Kołaczek, P. Kołaczek, N. Kuosmanen, M. Lamentowicz, M. Lavoie, F. Li, J. Li, O. Lisitsyna, J. A. López-Sáez, R. Luelmo-Lautenschlaeger, G. Magnan, E. K. Magyari, A. Maksims, K. Marcisz, E. Marinova, J. Marlon, S. Mensing, J. Miroslaw-Grabowska, W. Oswald, S. Pérez-Díaz, R. Pérez-Obiol, S. Piilo, A. Poska, X. Qin, C. C. Remy, P. J. H. Richard, S. Salonen, N. Sasaki, H. Schneider, W. Shotyk, M. Stancikaite, D. Šteinberga, N. Stivrins, H. Takahara, Z. Tan, L. Trasune, C. E. Umbanhowar, M. Väliranta, J. Vassiljev, X. Xiao, Q. Xu, X. Xu, E. Zawisza, Y. Zhao, Z. Zhou, J. Paillard

المصدر: Earth System Science Data, Vol 14, Pp 1109-1124 (2022)

مصطلحات موضوعية: Environmental sciences, GE1-350, Geology, QE1-996.5

وصف الملف: electronic resource

العلاقة: https://essd.copernicus.org/articles/14/1109/2022/essd-14-1109-2022.pdfTest; https://doaj.org/toc/1866-3508Test; https://doaj.org/toc/1866-3516Test

الوصول الحر: https://doaj.org/article/75e66145442346119dd1123797264728Test

المؤلفون: A. Bucciarelli, D. Kesner, S. Ronchi Della Rocca

المساهمون: A. Bucciarelli, D. Kesner, S. Ronchi Della Rocca

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000450660200013; volume:14; issue:3; firstpage:1; lastpage:28; numberofpages:28; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/2318/1686912Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85055826693

الإتاحة: https://doi.org/10.23638/LMCS-14Test(3:7)2018
http://hdl.handle.net/2318/1686912Test

المؤلفون: Yuval Heled, Anat Ratnovsky, Haggai Schermann, Ran Yanovich, Zehava Ovadia-Blechman, D. Kesner, Itay Ketko

المصدر: Clinical biomechanics (Bristol, Avon). 70

مصطلحات موضوعية: medicine.medical_specialty, medicine.diagnostic_test, Anaerobic Threshold, business.industry, Electromyography, Microcirculation, Biophysics, Treadmill exercise, Physical medicine and rehabilitation, Peripheral microcirculation, medicine, Exercise Test, Orthopedics and Sports Medicine, business, Exercise

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af7cfed1f1e0605e6c62fdfc4e8362bdTest
https://pubmed.ncbi.nlm.nih.gov/31415949Test

المؤلفون: D. Kesner, Val Breazu-Tannen, L. Puel

المصدر: LICS

مصطلحات موضوعية: Discrete mathematics, Pattern calculus, Simply typed lambda calculus, Natural deduction, Cut-elimination theorem, System F, Curry–Howard correspondence, Computer Science Applications, Theoretical Computer Science, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Proof calculus, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Calculus, Typed lambda calculus, Information Systems, Normalisation by evaluation, Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5060437dc7170cfe9d38c170aba4f3f3Test
https://doi.org/10.1006/inco.1996.0004Test

المؤلفون: Caitlin M. Warner, D. Kesner, Melissa D. Olfert, S. Colby, M. Buerkle, M. Downs, J. White, Pamela J. Murray, C. Moore, Oluremi A Famodu, Chris C Cuff, Joseph W. McFadden, M. Dehlin, J. Stabile Morrell, M. Olfert, Makenzie L. Barr

المصدر: Journal of Nutrition Education and Behavior. 47:S65

مصطلحات موضوعية: Vascular health, Gerontology, Pathology, medicine.medical_specialty, Nutrition and Dietetics, business.industry, Intervention (counseling), West virginia, medicine, Medicine (miscellaneous), Microbiome, Young adult, business

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::65502516f8cf82866aaf7ab05dc782beTest
https://doi.org/10.1016/j.jneb.2015.04.171Test

المؤلفون: D. Kesner, R. Di Cosmo

المصدر: Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

مصطلحات موضوعية: Discrete mathematics, Geometry of interaction, Simply typed lambda calculus, Explicit substitution, Computer Science::Logic in Computer Science, System F, Church encoding, Typed lambda calculus, Curry–Howard correspondence, Mathematics, Pure type system

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::6cad6b90c99275302f3a985ad5a34268Test
https://doi.org/10.1109/lics.1997.614927Test

المؤلفون: D. Kesner, Engelman, I. Harosh, E. Stoler, A. Yerushalmi, B. Shulman, I. Brieff, H. Guterman

المصدر: European Journal of Cancer Supplements. 4:92

مصطلحات موضوعية: Cancer Research, medicine.medical_specialty, Oncology, Nursing, business.industry, Family medicine, Medicine, Care center, business

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::67b9c61bcf981febe1154280831742a9Test
https://doi.org/10.1016/s1359-6349Test(06)80188-6

المؤلفون: G. R. Ehret, C. D. Kesner, W. M. Klein, S. M. Garcia, Alan L. Jones

المصدر: Plant Disease. 77:703

مصطلحات موضوعية: Iprodione, biology, Chlorothalonil, Myclobutanil, Plant Science, biology.organism_classification, medicine.disease, Prunus cerasus, chemistry.chemical_compound, chemistry, Agronomy, medicine, Fenarimol, Cherry leaf spot, Agronomy and Crop Science, Powdery mildew, Tebuconazole

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::480897f35c8e3f778ae3d533e292849bTest
https://doi.org/10.1094/pd-77-0703Test

المؤلفون: Charles D. Kesner, Vincent F. Bralts

المصدر: Transactions of the ASAE. 26:1369-1374

مصطلحات موضوعية: Coefficient of variation, Statistics, Flow (psychology), Drip irrigation, Agricultural and Biological Sciences (miscellaneous), Common emitter, Field uniformity, Mathematics

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::89bdd0b304fc68789f3912be33f6eecbTest
https://doi.org/10.13031/2013.34134Test

المؤلفون: Charles D. Kesner, Clarence M. Hansen

المصدر: Journal of the American Society for Horticultural Science. 101:546-550

مصطلحات موضوعية: Genetics, Horticulture

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8346074565a5477b1068871ed9444a69Test
https://doi.org/10.21273/jashs.101.5.546Test