-
1Report
المؤلفون: Sorokin, Lev, Bouchekir, Radouane, Beyene, Tewodros A., Liao, Brian Hsuan-Cheng, Molin, Adam
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2403.01918
-
2Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Mulualem Beyene, Tewodros, Gebreselassie Abtew, Wosene
المصدر: Cogent Food & Agriculture ; volume 10, issue 1 ; ISSN 2331-1932
-
3Book
المؤلفون: Bensalem, Saddek, Katsaros, Panagiotis, Ničković, Dejan, Liao, Brian Hsuan-Cheng, Nolasco, Ricardo Ruiz, Ahmed, Mohamed Abd El Salam, Beyene, Tewodros A., Cano, Filip, Delacourt, Antoine, Esen, Hasan, Forrai, Alexandru, He, Weicheng, Huang, Xiaowei, Kekatos, Nikolaos, Könighofer, Bettina, Paulitsch, Michael, Peled, Doron, Ponchant, Matthieu, Sorokin, Lev, Tong, Son, Wu, Changshun
المصدر: Bridging the Gap Between AI and Reality ; Lecture Notes in Computer Science ; page 256-278 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031460012 9783031460029
-
4Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Beyene, Tewodros Mulualem, Abtew, Wosene Gebreselassie
المصدر: Journal of Agriculture and Food Research ; volume 14, page 100874 ; ISSN 2666-1543
-
5Report
المؤلفون: Beyene, Tewodros A., Popeea, Corneliu, Rybalchenko, Andrey
المصدر: EPTCS 219, 2016, pp. 1-14
مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.4.1
URL الوصول: http://arxiv.org/abs/1607.04456
-
6Report
-
7Academic Journal
المؤلفون: Argaw, Sosina Gebremichael, Beyene, Tewodros Mulualem, Woldemariam, Henock Woldemichael, Esho, Tarekegn Berhanu
المصدر: Journal of Food Composition and Analysis ; volume 119, page 105269 ; ISSN 0889-1575
-
8
المؤلفون: Beyene, Tewodros Awgichew
المساهمون: Barahona, Pedro, RUN
مصطلحات موضوعية: Program verification, Model checking, Constraint programming
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10362/7965
-
9Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Mulualem Beyene, Tewodros, Abtew, Wosene Gebreselassie
المصدر: International Journal of Agronomy; 8/28/2023, p1-12, 12p
مصطلحات موضوعية: CASSAVA, MORPHOLOGY, DENTAL pulp, CROP improvement, DISTRIBUTION (Probability theory), PHENOTYPES
مصطلحات جغرافية: ETHIOPIA
-
10Conference
المؤلفون: Beyene, Tewodros A., Carlan, Carmen
المصدر: 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) ; volume abs 1905 6192, page 63-66
-
11Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Mulualem Beyene, Tewodros, Gebreselassie Abtew, Wosene
المصدر: Journal of Food Quality; 5/30/2023, p1-12, 12p
مصطلحات موضوعية: CASSAVA, CROPPING systems, CROP rotation, FARMERS, ANIMAL feeds, CROPS, DIETARY supplements
مصطلحات جغرافية: ETHIOPIA
-
12Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Mulualem Beyene, Tewodros, Gebreselassie Abtew, Wosene
المصدر: International Journal of Agronomy; 4/4/2023, p1-13, 13p
مصطلحات موضوعية: GENOTYPE-environment interaction, GENOTYPES, CASSAVA, GENETIC variation, CULTIVARS, FARMERS
مصطلحات جغرافية: ETHIOPIA
-
13Book
المؤلفون: Beyene, Tewodros A., Popeea, Corneliu, Rybalchenko, Andrey
المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 869-882 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642397981 9783642397998
-
14Book
المؤلفون: Beyene, Tewodros A., Sahu, Amit
المصدر: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops ; Lecture Notes in Computer Science ; page 328-335 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030555825 9783030555832
-
15
-
16Academic Journal
المؤلفون: Beyene, Tewodros A., Herrera, Christian, Nigam, Vivek
المصدر: ACM SIGAda Ada Letters ; volume 39, issue 2, page 29-34 ; ISSN 1094-3641
-
17Academic Journal
المؤلفون: Bilate Daemo, Berhanu, Belew Yohannes, Derbew, Mulualem Beyene, Tewodros, Gebreselassie Abtew, Wosene
المصدر: Journal of Food Quality; 5/9/2022, p1-13, 13p
مصطلحات موضوعية: CASSAVA, FOOD security, ANALYSIS of variance, ORGANIC compounds, CARBOHYDRATES, FLOUR
مصطلحات جغرافية: ETHIOPIA
-
18Book
المؤلفون: Beyene, Tewodros A., Ruess, Harald
المصدر: Formal Methods ; Lecture Notes in Computer Science ; page 679-685 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319955810 9783319955827
-
19
-
20Book
المصدر: Lecture Notes in Computer Science ; Verified Software: Theories, Tools, and Experiments ; page 19-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319296128 9783319296135