Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Les TICE pour la production écrite et la traduction de l'italien vers le français : le cas de la SSLMIT de Forlì

Les recherches relatives à l'utilisation des TICE se concentrent fréquemment soit sur la dimension cognitive, sur la dimension linguistique ou sur la dimension culturelle. Le plus souvent, les recherches empiriques se proposent d'évaluer les effets directs des TICE sur les performances langagières des apprenants. En outre, les recherches, surtout en psychologie cognitive, sont le plus souvent effectuées en laboratoire. C'est pourquoi le travail présenté dans cette thèse se propose d'inscrire l'utilisation des TICE dans une perspective écologique, et de proposer une approche intégrée pour l'analyse des pratiques effectives aussi bien en didactique des langues qu'en didactique de la traduction. En ce qui concerne les aspects cognitifs, nous recourons à un concept apprécié des praticiens, celui de stratégies d'apprentissage. Les quatre premiers chapitres de la présente thèse sont consacrés à l'élaboration du cadre théorique dans lequel nous inscrivons notre recherche. Nous aborderons en premier lieu les aspects disciplinaires, et notamment l’interdisciplinarité de nos deux champs de référence. Ensuite nous traiterons les stratégies d'apprentissage et les stratégies de traduction. Dans un troisième mouvement, nous nous efforcerons de définir les deux compétences visées par notre recherche : la production écrite et la traduction. Dans un quatrième temps, nous nous intéresserons aux modifications introduites par les TICE dans les pratiques d'enseignement et d'apprentissage de ces deux compétences. Le cinquième chapitre a pour objet la présentation, l'analyse des données recueillies auprès de groupes d'enseignants et d'étudiants de la section de français de la SSLMIT. Il s’agira dans un premier temps, de présenter notre corpus. Ensuite nous procéderons à l’analyse des données. Enfin, nous présenterons, après une synthèse globale, des pistes didactiques et scientifiques à même de prolonger notre travail.

"The capacity of contrastive analysis to successfully predict the errors of second language learners - a case study"

The aim of this dissertation is to show the power of contrastive analysis in successfully predicting the errors a language learner will make by means of a concrete case study. First, there is a description of what language transfer is and why it is important in the matter of second language acquisition. Second, a brief explanation of the history and development of contrastive analysis will be offered. Third, the focus of the thesis will move to an analysis of errors usually made by language learners. To conclude, the dissertation will focus on the concrete case study of a Russian learner of English: after an analysis of the errors the student is likely to make, a recorded conversation will be examined.

A Comparative Study of English Word Order Acquisition by Elementary and Secondary School Pupils - Native Speakers of Serbian and Hungarian

Kitic investigated the phenomenon of English word order acquisition by Serbian and Hungarian speakers, examining both the theoretical and empirical aspects of this phenomenon. She began by looking at language learning and language acquisition, viewing word order acquisition in the context of relevant linguistic and psycholinguistic knowledge. The main hypothesis of her empirical investigation was that the majority of word order mistakes in the language production of Serbian and Hungarian speakers of English is due to mother tongue interference. Three supporting hypotheses were introduced to specify the phenomenon of interference in its correlation to (1) language proficiency, (2) sentence patterns, and (3) optional adverbials. The conclusions were based on error analysis of 9280 sentences of 464 elementary and high school learners. The results showed that a learner's level of proficiency seems to be a relevant factor in mother tongue interference as this decreases with increased proficiency. Word order errors are however fossilised at the highest levels. The causes of interference errors, which increase with the number of sentence elements, are either absent sentence patterns or similar ones. In the case of adverbials, word order errors have two forms: interrelation (with canonical elements) and mixed adverbials.

Social Learning Processes in Swiss Soil Protection? The 'From Farmer - To Farmer' Project

Social learning approaches have become a prominent focus in studies related to sustainable agriculture. In order to better understand the potential of social learning for more sustainable development, the present study assessed the processes, effects and facilitating elements of interaction related to social learning in the context of Swiss soil protection and the innovative ‘From Farmer - To Farmer’ project. The study reveals that social learning contributes to fundamental transformations of patterns of interactions. However, the study also demonstrates that a learning-oriented understanding of sustainable development implies including analysis of the institutional environments in which the organizations of the individual representatives of face-to-face-based social learning processes are operating. This has shown to be a decisive element when face-to-face-based learning processes of the organisations’ representatives are translated into organisational learning. Moreover, the study revealed that this was achieved not directly through formalisation of new lines of institutionalised cooperation but by establishing links in a ‘boundary space’ trying out new forms of collaboration, aiming at social learning and co-production of knowledge. It is argued that further research on social learning processes should give greater emphasis to this intermediary level of ‘boundary spaces’.

Russian language maintenance through bedtime story reading?: Linguistic strategies and language negotiation in Russian-French speaking families in Switzerland

This article proposes an interactional approach to the question of Russian language maintenance through the activity of bedtime story-reading in Russian-French bilingual families in French speaking Switzerland. Reading stories appears to be a language maintenance strategy commonly employed by the Russian speaking parent. The ritual and recreational moment of story-reading therefore becomes an opportunity for language learning. Drawing upon a language socialization perspective, this paper proposes an interactional analysis of the language use in the activity of story-reading. It shows how the language choice of the participants may be requested, negotiated and challenged during the interaction. The analysis further informs us about the language choice pattern and the bilingual competences in these families. We will gain insight into (Russian) language maintenance as a daily social and linguistic practice.

Estimation of tool pose based on force-density correlation during robotic drilling

The application of image-guided systems with or without support by surgical robots relies on the accuracy of the navigation process, including patient-to-image registration. The surgeon must carry out the procedure based on the information provided by the navigation system, usually without being able to verify its correctness beyond visual inspection. Misleading surrogate parameters such as the fiducial registration error are often used to describe the success of the registration process, while a lack of methods describing the effects of navigation errors, such as those caused by tracking or calibration, may prevent the application of image guidance in certain accuracy-critical interventions. During minimally invasive mastoidectomy for cochlear implantation, a direct tunnel is drilled from the outside of the mastoid to a target on the cochlea based on registration using landmarks solely on the surface of the skull. Using this methodology, it is impossible to detect if the drill is advancing in the correct direction and that injury of the facial nerve will be avoided. To overcome this problem, a tool localization method based on drilling process information is proposed. The algorithm estimates the pose of a robot-guided surgical tool during a drilling task based on the correlation of the observed axial drilling force and the heterogeneous bone density in the mastoid extracted from 3-D image data. We present here one possible implementation of this method tested on ten tunnels drilled into three human cadaver specimens where an average tool localization accuracy of 0.29 mm was observed.

Blended Learning: Integrating an e-Learning Component for Competency Validation

Introduction: Emergency care providers are required to demonstrate competency in the management of life-threatening situation. The care provider’s ability to manage an emergency situation depends upon his/her knowledge and skills in basic CPR; and the use of emergency equipment and supplies. The education department at our healthcare facility is responsible for CPR/Emergency Management competency validation of over 2500 employees annually. Historically each employee was scheduled to attend 4 hours of class every year to review the content, complete the post-test and demonstrate skills. It was resource-intensive, time consuming, stressful and often difficult to schedule the 24/7 employees for the sessions. [See PDF for complete abstract]

Society, family and learning. The role of home literacy environments

This paper explores the relation between society, family, and learning. In particular, it addresses the features of home literacy environments in low income families and their impact on children's pre-literacy skills and knowledge. Sixty-two four/five-year-old children and their mothers were randomly selected for this study. The mothers were interviewed using an adaptation of a family literacy environment survey (Whitehurst, 1992). The children were assessed with specific tests to examine the scope of their 'early literacy'. The results revealed significant variability in the features and practices of home literacy environments as well as in the children's emerging pre-literacy skills and knowledge. The correlation between the two variables shows low to moderate statistical significance. The implications of such findings are discussed. Additionally, the purpose of isolating relevant features of the children and their home environments is to identify specific indicators related to the literacy fostering process. Ultimately, the goal is to design adequate, timely, and systematic intervention strategies aimed at preventing difficulties related to written language learning in children that could be considered at risk.

Society, family and learning. The role of home literacy environments

This paper explores the relation between society, family, and learning. In particular, it addresses the features of home literacy environments in low income families and their impact on children's pre-literacy skills and knowledge. Sixty-two four/five-year-old children and their mothers were randomly selected for this study. The mothers were interviewed using an adaptation of a family literacy environment survey (Whitehurst, 1992). The children were assessed with specific tests to examine the scope of their 'early literacy'. The results revealed significant variability in the features and practices of home literacy environments as well as in the children's emerging pre-literacy skills and knowledge. The correlation between the two variables shows low to moderate statistical significance. The implications of such findings are discussed. Additionally, the purpose of isolating relevant features of the children and their home environments is to identify specific indicators related to the literacy fostering process. Ultimately, the goal is to design adequate, timely, and systematic intervention strategies aimed at preventing difficulties related to written language learning in children that could be considered at risk.

Society, family and learning. The role of home literacy environments

This paper explores the relation between society, family, and learning. In particular, it addresses the features of home literacy environments in low income families and their impact on children's pre-literacy skills and knowledge. Sixty-two four/five-year-old children and their mothers were randomly selected for this study. The mothers were interviewed using an adaptation of a family literacy environment survey (Whitehurst, 1992). The children were assessed with specific tests to examine the scope of their 'early literacy'. The results revealed significant variability in the features and practices of home literacy environments as well as in the children's emerging pre-literacy skills and knowledge. The correlation between the two variables shows low to moderate statistical significance. The implications of such findings are discussed. Additionally, the purpose of isolating relevant features of the children and their home environments is to identify specific indicators related to the literacy fostering process. Ultimately, the goal is to design adequate, timely, and systematic intervention strategies aimed at preventing difficulties related to written language learning in children that could be considered at risk.

Actividades online de vocabulario y pronunciación para el nivel de la lengua inglesa A2

El objetivo del presente proyecto es proporcionar una actividad de la pronunciación y repaso de vocabulario en lengua inglesa para la plataforma Moodle alojada en la página web de Integrated Language Learning Lab (ILLLab). La página web ILLLab tiene el objetivo de que los alumnos de la EUIT de Telecomunicación de la UPM con un nivel de inglés A2 según el Marco Común Europeo de Referencia para las Lenguas (MCERL), puedan trabajar de manera autónoma para avanzar hacia el nivel B2 en inglés. La UPM exige estos conocimientos de nivel de inglés para cursar la asignatura English for Professional and Academic Communication (EPAC) de carácter obligatorio e impartida en el séptimo semestre del Grado en Ingeniería de Telecomunicaciones. Asimismo, se persigue abordar el problema de las escasas actividades de expresión oral de las plataformas de autoaprendizaje se dedican a la formación en idiomas y, más concretamente, al inglés. Con ese fin, se proporciona una herramienta basada en sistemas de reconocimiento de voz para que el usuario practique la pronunciación de las palabras inglesas. En el primer capítulo del trabajo se introduce la aplicación Traffic Lights, explicando sus orígenes y en qué consiste. En el segundo capítulo se abordan aspectos teóricos relacionados con el reconocimiento de voz y se comenta sus funciones principales y las aplicaciones actuales para las que se usa. El tercer capítulo ofrece una explicación detallada de los diferentes lenguajes utilizados para la realización del proyecto, así como de su código desarrollado. En el cuarto capítulo se plantea un manual de usuario de la aplicación, exponiendo al usuario cómo funciona la aplicación y un ejemplo de uso. Además, se añade varias secciones para el administrador de la aplicación, en las que se especifica cómo agregar nuevas palabras en la base de datos y hacer cambios en el tiempo estimado que el usuario tiene para acabar una partida del juego. ABSTRACT: The objective of the present project is to provide an activity of pronunciation and vocabulary review in English language within the platform Moodle hosted at the Integrated Language Learning Lab (ILLLab) website. The ILLLab website has the aim to provide students at the EUIT of Telecommunication in the UPM with activities to develop their A2 level according to the Common European Framework of Reference for Languages (CEFR). In the platform, students can work independently to advance towards a B2 level in English. The UPM requires this level of English proficiency for enrolling in the compulsory subject English for Professional and Academic Communication (EPAC) taught in the seventh semester of the Degree in Telecommunications Engineering. Likewise, this project tries to provide alternatives to solve the problem of scarce speaking activities included in the learning platforms that offer language courses, and specifically, English language courses. For this purpose, it provides a tool based on speech recognition systems so that the user can practice the pronunciation of English words. The first chapter of the project introduces the application Traffic Lights, explaining its origins and what it is. The second chapter deals with theoretical aspects related with speech recognition and comments their main features and current applications for which it is generally used. The third chapter provides a detailed explanation of the different programming languages used for the implementation of the project and reviews its code development. The fourth chapter presents an application user manual, exposing to the user how the application works and an example of use. Also, several sections are added addressed to the application administrator, which specify how to add new words to the database and how to make changes in the original stings as could be the estimated time that the user has to finish the game.