Model checking embedded system designs

We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues

Embodiment and designing learning environments

There is increasing recognition amongst learning sciences researchers of the critical role that the body plays in thinking and reasoning across contexts and across disciplines. This workshop brings ideas of embodied learning and embodied cognition to the design of instructional environments that engage learners in new ways of moving within, and acting upon, the physical world. Using data and artifacts from participants' research and designs as a starting point, this workshop focuses on strategies for how to effectively leverage embodiment in learning activities in both technology and non-technology environments. Methodologies for studying/assessing the body's role in learning are also addressed

NASA/MSFC FY-83 Atmospheric Research Review

Atmospheric research conducted at the Marshall Space Flight Center in FY 1983 is discussed. Clear air turbulence, gusts, and fog dispersal near airports is discussed. The use of Doppler Lidar signals in discussed, as are low level flow conditions that are hazardous to aircraft

The view from elsewhere: perspectives on ALife Modeling

Many artificial life researchers stress the interdisciplinary character of the field. Against such a backdrop, this report reviews and discusses artificial life, as it is depicted in, and as it interfaces with, adjacent disciplines (in particular, philosophy, biology, and linguistics), and in the light of a specific historical example of interdisciplinary research (namely cybernetics) with which artificial life shares many features. This report grew out of a workshop held at the Sixth European Conference on Artificial Life in Prague and features individual contributions from the workshop's eight speakers, plus a section designed to reflect the debates that took place during the workshop's discussion sessions. The major theme that emerged during these sessions was the identity and status of artificial life as a scientific endeavor

Final report for Project no. 1904. Prevention of selected diseases and parasites in organic pig hreds - by means of HACCP based management and surveillance programme (CorePig)

The project partners comprised about 20 researchers from 9 research institutes in eight countries (DK, DE, SE, UK, CH, IT, AU and FR). The project is composed of three work packages: WP1 „Coordination of the project, dissemination and Knowledge synthesis‟, WP2: „Epidemiological study in organic herds‟ and WP3: „Development and evaluation of a HACCP based surveillance and management system‟. WP1 and WP2 started in 2007, while WP3 that built on the results from WP1 and WP2 started later - in 2008. The UK and CH-partners only participated in WP1 and WP3 while the remaining partners participated in all three WP‟s. The project was initiated at the project kick-off meeting in Denmark, August 30-31st 2007, where all project partners met to discuss the planning of the project in detail. Further 6 project meetings were carried out in the project period. The second project meeting was organised in Austria, December 10-11th 2007, the third project meeting in Denmark, February 18-19th 2008, the fourth in France, July 7-9th 2008, the fifth in Italy, December 4.-7th 2008, the sixth in Sweden, June 29-30th 2009 and the final and seventh project meeting took place in Germany, April 7-10th 2010

Towards automated generation of scripted dialogue: some time-honoured strategies

The main aim of this paper is to introduce automated generation of scripted dialogue as a worthwhile topic of investigation. In particular the fact that scripted dialogue involves two layers of communication, i.e., uni-directional communication between the author and the audience of a scripted dialogue and bi-directional pretended communication between the characters featuring in the dialogue, is argued to raise some interesting issues. Our hope is that the combined study of the two layers will forge links between research in text generation and dialogue processing. The paper presents a first attempt at creating such links by studying three types of strategies for the automated generation of scripted dialogue. The strategies are derived from examples of human-authored and naturally occurring dialogue

A comparative survey of integrated learning systems

This paper presents the duction framework for unifying the three basic forms of inference - deduction, abduction, and induction - by specifying the possible relationships and influences among them in the context of integrated learning. Special assumptive forms of inference are defined that extend the use of these inference methods, and the properties of these forms are explored. A comparison to a related inference-based learning frame work is made. Finally several existing integrated learning programs are examined in the perspective of the duction framework