Thanks to the Model Checking Reading Club at the Radboud University of Nijmegen, The Netherlands (in particular David N. Jansen and Frits W. Vaandrager), Holger Hermanns (Saarland University), Dave Parker (Oxford University, UK), Stephen Siegel (University of Delaware, USA), René Thiemann (U. Innsbruck, Austria), Martin Lange (LMU, Germany), Ahmed Khademzadeh (Azad University of Mashhad, Iran),...

In this paper, the dynamic modeling of a seven linked humanoid robot Newton-Euler formalism. The aim of this study is to provide a clear and a systematic approach so that starting from generalized moti equations of all rigid bodies of the humanoid robot one can establish a reduced dynamic either for simulation propositions or implemented for any given control law. In addition, transformations a...

[1] David Eppstein, Giuseppe F. Italiano, Roberto Tamassia, Robert Endre Tarjan, Jeffery Westbrook, and Moti Yung. Corrigendum: Maintenance of a minimum spanning forest in a dynamic plane graph. J. Algorithms, 15(1), 1993. [2] Andrew V. Goldberg and Robert E. Tarjan. Finding minimum-cost circulations by successive approximation. Math. Oper. Res., 15(3):430–466, July 1990. [3] Jacob Holm, Kristi...

a r t i c l e i n f o We conducted the first tests of implicit academic identity (social versus studious) in relation to explicit academic identity (social versus studious), self-efficacy and self-esteem as predictors of self-determined motivation and goals (performance and learning). In Study 1, 366 undergraduates completed measures of implicit social/studious identity and implicit attitude to...

Experiment I was designed to test the effect of thaw rate on semen packaged in glass ampules. One ejaculate from each of 10 Holstein bulls was diluted in egg yolk-citrate-glycerol, packaged in 1.0 ml glass ampules and frozen in liquid nitrogen vapor. Water bath thaws of 5 C for 10 rain, 20 C for 4 rain, 35 C f o r 4 min, 50 C for 75 sec, 65 C f o r 4 8 sec, 80 C for 37 sec and 100 C for 20 sec ...

This paper seeks to introduce an alternative conceptual taxonomy of civil society as input Austrian law and economics neo-institutional economics. The framework the develops three categories: unstructured, transitional, structured societies. categorization was, in part, inspired by Parsons’ (1966, p. 33) contribution functional sociology: «Society is intelligent structure, rationally integrate ...

In this paper we introduce the SpeakCorrect system which is a Computer Aided Pronunciation Training (CAPT) system for native Arabic students of English. The system is designed with optimized performance for the target users group. It is L1 dependent system and only the frequent pronunciation errors of native Arabic speakers are examined. Several adaptation techniques such as Speaker Adaptive Tr...

infections Widad Al-Nakib, FRCPath, FIDSA; Sahar Essa, BSc, MSc, PhD; Haya Altawalah, BSc, MBBS, FRCPath; Abdullah Owayed; Mousa Khadadah; Nasser Behbehani; Microbiology Department Kuwait University, Faculty of Medicine, Kuwait; Virology Unit, Ministry of Health, Mubarak Hospital, Kuwait; Paediatrics, Kuwait University, Faculty of Medicine, Kuwait; Medicine, Kuwait University, Faculty of Medici...

An analytic study was conducted on coupled partial differential equations. We formally derived new solitary wave solutions of generalized coupled system of Zakharov-Kuznetsov (ZK) and KdV equations by using modified extended tanh method. The traveling wave solutions for each generalized coupled system of ZK and KdV equations are shown in form of periodic, dark, and bright solitary wave solution...

Graz University of Technology, Institute of Environmental Biotechnology, Petersgasse 12, A6 8010 Graz, Austria; Julius Kühn-Institut (JKI), Messeweg 11, D-38104 Braunschweig, 7 Germany, Kawanda Agricultural Research Institute, National Banana Research Program, 8 Uganda; Makerere University, Department of Agricultural Production, College of 9 Agricultural and Environmental Sciences, Uganda and B...