Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Yemane, Kidane"'
Autor:
Yemane, Kidane
In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6245
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 December 2004 106:105-120
Autor:
Peter S. Spencer, Naod Kebede, Elizabeth Wuhib, Yemane Kidane, Berhanu M. Abegaz, Redda Tekle-Haimanot, Angelina Kassina, Tadesse Alemu
Publikováno v:
Nutrition Research. 13:1113-1126
Grass pea, a legume whose consumption is associated with human lathyrism, is an important food crop among the poorer sectors of society in many parts of Ethiopia. A nutritional survey, focussing on the preparation and consumption of grass pea, in 224
Autor:
Yemane Kidane, Elizabeth Wuhib, Tadesse Alemu, Angelina Kalissa, Redda Tekle Haimanot, Peter S. Spencer, Zein Ahmed Zein
Publikováno v:
International Journal of Epidemiology. 19:664-672
Lathyrism is a disorder of the central motor system, induced by heavy consumption of the grass-pea, Lathyrus sativus an environmentally tolerant legume containing the neurotoxic excitatory amino acid beta-N-oxalylamino-L-alanine (BOAA). A complete do
Autor:
Gebremichael, Biniam, Yemane, Kidane
Educational institutions and other groups with limited resources can enjoy the full feature of the Unix operating system by using the free operating system Linux. In this thesis we present a brief discussion on the most popular operating systems in u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______361::4a6a0785a7161eff5d558a56c0fa17c8
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-484427
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-484427
Publikováno v:
Food policy. 20(4)
This paper presents results of the 1992 National Rural Nutrition Survey in Ethiopia that challenge the appropriateness of the centrality of food security as a dominant element of nutrition policy and planning. While the focus of this work is on prote
Autor:
Fiadeiro, José Luiz, Harman, Neil, Roggenbach, Markus, Rutten, Jan, Ferrari, Gianluigi, Montanari, Ugo, Tuosto, Emilio, Victor, Björn, Yemane, Kidane
Publikováno v:
Algebra & Coalgebra in Computer Science; 2005, p142-156, 15p
Publikováno v:
Foundations of Software Science & Computational Structures; 2005, p170-186, 17p