The paper outlines a symbolic modeling approach developed in Glushkov Institute of Cybernetics and applied in verification and model-based testing. This method is the result of 10 years of experience in a large amount of industrial projects in different subject domains. The models in this approach are presented as UCM (Use Case Maps) notation composed with basic protocols formal language. Symbo...

There has been a decline in the number of public schools South Africa offering information technology as subject, yet it holds special significance higher level computational courses especially at tertiary level. Learners doing programming (IT) have difficulties during initial stages learning how to design and develop programs due abstract nature subject demands on use data structures establish...

Recent work has addressed the issue of using Discourse Representation Theory (Kamp and Reyle, 1993) as a semantic framework for Head-driven Phrase Structure Grammar (Pollard and Sag, 1994). The current proposal presents a straightforward implementation based in DRT Unplugged (Bos, 1996), within the HPSG formalism. The focus is on scoping phenomena in realistic feature-based grammars, and toward...

The development of communication applications today follows a vertical development approach where each application is built on top of low-level network abstractions such as the socket interface. This stovepipe development process is a major inhibitor that drives up the cost of development and slows down the pace of innovation of new generation of communication applications. In this paper, we pr...

On January 12, 2010, a 7.0-magnitude earthquake struck Haiti. The event disrupted infrastructure and was marked by extreme morbidity and mortality. The global response to the disaster was rapid and immense, comprising multiple actors-including academic health centers (AHCs)-that provided assistance in the field and from home. The authors retrospectively examine the multidisciplinary approach th...

Friedreich ataxia is an inherited neurodegenerative disease that leads to progressive disability. There is currently no effective treatment and patients die prematurely. The underlying genetic defect leads to reduced expression of the mitochondrial protein frataxin. Frataxin insufficiency causes mitochondrial dysfunction and ultimately cell death, particularly in peripheral sensory ganglia. The...

Figure 4 –Typical failures of the plugged (left), screw only (center) and unplugged (right) comparison groups. Can Fatigue Strength of Locking Plates be Improved by Plugging the Unfilled Screw Holes in Comminuted Supracondylar Femur Fractures McDonald, E; Firoozabadi, R; Nguyen, TQ; Buckley, J.M; +Kandemir, U +Biomechanical Testing Facility, UCSF/SFGH Orthopaedic Trauma, University of Californi...

in spite of the significant role of teachers in the efficacy of classroom management particularly in teaching english as a foreign language, the issue has not been addressed sufficiently especially in relation with other individual variables. hence, this study made an attempt to investigate the association between iranian efl teachers’ classroom management, reflective thinking and transformatio...