867 resultados para IDE, Domain specific languages, CodeMirror, Eclipse, Xtext


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Scopo di questo elaborato di tesi è la modellazione e l’implementazione di una estensione del simulatore Alchemist, denominata Biochemistry, che permetta di simulare un ambiente multi-cellulare. Al fine di simulare il maggior numero possibile di processi biologici, il simulatore dovrà consentire di modellare l’eterogeneità cellulare attraverso la modellazione di diversi aspetti dei sistemi cellulari, quali: reazioni intracellulari, segnalazione tra cellule adiacenti, giunzioni cellulari e movimento. Dovrà, inoltre, essere ammissibile anche l’esecuzione di azioni impossibili nel mondo reale, come la distruzione o la creazione dal nulla di molecole chimiche. In maniera più specifica si sono modellati ed implementati i seguenti processi biochimici: creazione e distruzione di molecole chimiche, reazioni biochimiche intracellulari, scambio di molecole tra cellule adiacenti, creazione e distruzione di giunzioni cellulari. È stata dunque posta particolare enfasi nella modellazione delle reazioni tra cellule vicine, il cui meccanismo è simile a quello usato nella segnalazione cellulare. Ogni parte del sistema è stata modellata seguendo fenomeni realmente presenti nei sistemi multi-cellulari, e documentati in letteratura. Per la specifica delle reazioni chimiche, date in ingresso alla simulazione, è stata necessaria l’implementazione di un Domain Specific Language (DSL) che consente la scrittura di reazioni in modo simile al linguaggio naturale, consentendo l’uso del simulatore anche a persone senza particolari conoscenze di biologia. La correttezza del progetto è stata validata tramite test compiuti con dati presenti in letteratura e inerenti a processi biologici noti e ampiamente studiati.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pour être performant au plus haut niveau, les athlètes doivent posséder une capacité perceptivo-cognitive supérieure à la moyenne. Cette faculté, reflétée sur le terrain par la vision et l’intelligence de jeu des sportifs, permet d’extraire l’information clé de la scène visuelle. La science du sport a depuis longtemps observé l’expertise perceptivo-cognitive au sein de l’environnement sportif propre aux athlètes. Récemment, des études ont rapporté que l’expertise pouvait également se refléter hors de ce contexte, lors d’activités du quotidien par exemple. De plus, les récentes théories entourant la capacité plastique du cerveau ont amené les chercheurs à développer des outils pour entraîner les capacités perceptivo-cognitives des athlètes afin de les rendre plus performants sur le terrain. Ces méthodes sont la plupart du temps contextuelles à la discipline visée. Cependant, un nouvel outil d’entraînement perceptivo-cognitif, nommé 3-Dimensional Multiple Object Tracking (3D-MOT) et dénué de contexte sportif, a récemment vu le jour et a fait l’objet de nos recherches. Un de nos objectifs visait à mettre en évidence l’expertise perceptivo-cognitive spécifique et non-spécifique chez des athlètes lors d’une même étude. Nous avons évalué la perception du mouvement biologique chez des joueurs de soccer et des non-athlètes dans une salle de réalité virtuelle. Les sportifs étaient systématiquement plus performants en termes d’efficacité et de temps de réaction que les novices pour discriminer la direction du mouvement biologique lors d’un exercice spécifique de soccer (tir) mais également lors d’une action issue du quotidien (marche). Ces résultats signifient que les athlètes possèdent une meilleure capacité à percevoir les mouvements biologiques humains effectués par les autres. La pratique du soccer semble donc conférer un avantage fondamental qui va au-delà des fonctions spécifiques à la pratique d’un sport. Ces découvertes sont à mettre en parallèle avec la performance exceptionnelle des athlètes dans le traitement de scènes visuelles dynamiques et également dénuées de contexte sportif. Des joueurs de soccer ont surpassé des novices dans le test de 3D-MOT qui consiste à suivre des cibles en mouvement et stimule les capacités perceptivo-cognitives. Leur vitesse de suivi visuel ainsi que leur faculté d’apprentissage étaient supérieures. Ces résultats confirmaient des données obtenues précédemment chez des sportifs. Le 3D-MOT est un test de poursuite attentionnelle qui stimule le traitement actif de l’information visuelle dynamique. En particulier, l’attention sélective, dynamique et soutenue ainsi que la mémoire de travail. Cet outil peut être utilisé pour entraîner les fonctions perceptivo-cognitives des athlètes. Des joueurs de soccer entraînés au 3D-MOT durant 30 sessions ont montré une amélioration de la prise de décision dans les passes de 15% sur le terrain comparés à des joueurs de groupes contrôles. Ces données démontrent pour la première fois un transfert perceptivo-cognitif du laboratoire au terrain suivant un entraînement perceptivo-cognitif non-contextuel au sport de l’athlète ciblé. Nos recherches aident à comprendre l’expertise des athlètes par l’approche spécifique et non-spécifique et présentent également les outils d’entraînements perceptivo-cognitifs, en particulier le 3D-MOT, pour améliorer la performance dans le sport de haut-niveau.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Research endeavors on spoken dialogue systems in the 1990s and 2000s have led to the deployment of commercial spoken dialogue systems (SDS) in microdomains such as customer service automation, reservation/booking and question answering systems. Recent research in SDS has been focused on the development of applications in different domains (e.g. virtual counseling, personal coaches, social companions) which requires more sophistication than the previous generation of commercial SDS. The focus of this research project is the delivery of behavior change interventions based on the brief intervention counseling style via spoken dialogue systems. Brief interventions (BI) are evidence-based, short, well structured, one-on-one counseling sessions. Many challenges are involved in delivering BIs to people in need, such as finding the time to administer them in busy doctors' offices, obtaining the extra training that helps staff become comfortable providing these interventions, and managing the cost of delivering the interventions. Fortunately, recent developments in spoken dialogue systems make the development of systems that can deliver brief interventions possible. The overall objective of this research is to develop a data-driven, adaptable dialogue system for brief interventions for problematic drinking behavior, based on reinforcement learning methods. The implications of this research project includes, but are not limited to, assessing the feasibility of delivering structured brief health interventions with a data-driven spoken dialogue system. Furthermore, while the experimental system focuses on harmful alcohol drinking as a target behavior in this project, the produced knowledge and experience may also lead to implementation of similarly structured health interventions and assessments other than the alcohol domain (e.g. obesity, drug use, lack of exercise), using statistical machine learning approaches. In addition to designing a dialog system, the semantic and emotional meanings of user utterances have high impact on interaction. To perform domain specific reasoning and recognize concepts in user utterances, a named-entity recognizer and an ontology are designed and evaluated. To understand affective information conveyed through text, lexicons and sentiment analysis module are developed and tested.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper focuses on two basic issues: the anxiety-generating nature of the interpreting task and the relevance of interpreter trainees’ academic self-concept. The first has already been acknowledged, although not extensively researched, in several papers, and the second has only been mentioned briefly in interpreting literature. This study seeks to examine the relationship between the anxiety and academic self-concept constructs among interpreter trainees. An adapted version of the Foreign Language Anxiety Scale (Horwitz et al., 1986), the Academic Autoconcept Scale (Schmidt, Messoulam & Molina, 2008) and a background information questionnaire were used to collect data. Students’ t-Test analysis results indicated that female students reported experiencing significantly higher levels of anxiety than male students. No significant gender difference in self-concept levels was found. Correlation analysis results suggested, on the one hand, that younger would-be interpreters suffered from higher anxiety levels and students with higher marks tended to have lower anxiety levels; and, on the other hand, that younger students had lower self-concept levels and higher-ability students held higher self-concept levels. In addition, the results revealed that students with higher anxiety levels tended to have lower self-concept levels. Based on these findings, recommendations for interpreting pedagogy are discussed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

For those who are not new to the world of Japanese animation, known mainly as anime, the debate of "dub vs. sub" is by no means anything out of the ordinary, but rather a very heated argument amongst fans. The study will focus on the differences in the US English version between the two approaches of translating audio-visual media, namely subtitling (official subtitles and fanmade subtitles) and dubbing, in a qualitative context. More precisely, which of the two approaches can store the most information from the same audiovisual segment, in order to satisfy the needs of the anime audience. In order to draw substantial conclusions, the analysis will be conducted on a corpus of 1 episode from the first season of the popular mid-nineties TV animated series, Sailor Moon. The main objective of this research is to analyze the three versions and compare the findings to what anime fans expect each of them to provide, in terms of how culture specific terms are handled, how accurate the translation is, localization, censorship, and omission. As for the fans’ opinions, the study will include a survey regarding the personal preference of fans when it comes to choosing between the official subtitled version, the fanmade subtitles and the dubbed version.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The purpose of this study is to examine the differences and similarities regarding verbal politeness in greetings and requests in Swedish and the Chilean variety of Spanish. A survey with 12 questions, both open-ended and closed-ended, has been distributed to 20 native speakers of the two languages. Thus, the questions have been analyzed both quantitatively and qualitatively. The results show that the perception that the Swedes and the Chileans have about verbal politeness is similar, since the speakers of both languages see it as a way to show respect towards others. The study also shows that Swedes and Chileans share a similar view upon politeness, i.e. as a social norm that facilitates social interaction between people.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

By the means of a questionnaire the present work examines the attitudes among pupils between the 5th and 9th grade towards choosing French, Spanish or German as their third language. The main question to be answered is "What needs to be improved to raise the interest in choosing specifically German as their preferred third language?". The other questions posed are for example "Do they want to study a language at all?", "Which language do they want to study and why?" or "What motivates them to keep studying generally?". The results show a high motivation and that the most pupils have already decided for a specific language at the middle of the 5th grade. Family and friends play a crucial role in choosing their language in combination with other factors such as the experiences of visiting countries or settings where the target language is used. To raise the popularity of German as the chosen language is not a short time project. More variation in teaching and real contact with German people, for instance language trips, needs to be done or improved. Nearly all of the pupils want to use modern techniques like chat or video conversations instead of just reading a text book.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The subject of this thesis is to examine gender roles in the novels Gilgi – eine von uns and Das kunstseidende Mädchen by Irmgard Keun. She was a successful female writer before the Nazi Party took control of Germany in 1933. The findings of this study indicate that Keun novels show a realistic picture of Germany’s men-dominated society in the early 1930s.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Esta tesina tiene como objetivo considerar la historia de Marcela y Grisóstomo desde una perspectiva feminista en la obra de Miguel de Cervantes El ingenioso hidalgo don Quijote de la Mancha. La investigación se enfocará en la situación de Marcela y su voluntad de poder decidir sobre su propia vida y su destino. Como ayuda a nuestra investigación nos apoyaremos en reconocidos teóricos literarios feministas que nos ayudarán a analizar la imagen estereotipada de la mujer, entre ellos Simone de Beauvoir. El objetivo de nuestro estudio ha sido investigar el personaje de Marcela y la visión estereotipada de la mujer en ese momento concreto, y buscar la respuesta al porqué de su manera de actuar. En el trabajo también hemos querido investigar si Marcela fue una víctima de la visión patriarcal existente y si se deja regir por las normas y expectativas de la sociedad de su época. Como resultado de nuestra investigación podremos afirmar que Marcela sí fue una víctima del sistema patriarcal y, pese a no ser un ejemplo representativo de la imagen de la mujer en aquel momento, fue juzgada por los hombres y por la sociedad. También hemos podido demostrar cómo los hombres y la sociedad reaccionaron durante esa época a la elección de Marcela

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ziel dieser Arbeit ist die Untersuchung des Bildzitates und seiner Form. Ausgangspunkt ist ein Kunstwerk, Paul Klees Revolution der Viadukte, und dessen Versprachlichung, dem sognannten Bildzitat, in drei Texten der deutschen Prosa. Als literaturwissenschaftliche Methode wurde ein intermedialer Ansatz nach Rajewsky, sowie von Berndt, Tonger-Erk gewählt. Eine Auswahl des Kunstwerkes und der Texte, die das Kunstwerk zitieren, wurde basierend auf dem Material der Datenbank über literarische Bildzitate in Wien getroffen. Die Analyse der Bildzitate in SAID: Das Rot lächelt, das Blau schweigt. Geschichten über Bilder, Uwe Timm: Der Freund und der Fremde und Gertrud Leutenegger: Vorabend erfolgt nach folgender Fragestellung: 1. Welches sind die grundlegenden Charakteristika des Bildes, die in den literarischen Bildzitaten hervorgehoben werden? 2. Mit welchen sprachlichen Mitteln wird dies hervorgehoben? 3. Welche Rolle spielt der Titel des Gemäldes? Wie der Resultatteil zeigt werden von den Autoren Stilmittel ähnlich die des Gemäldes (Kontrast, Repetition) verwendet. Der Titel des Gemäldes und die Bildzitate werden im Text als verstärkendes Element verwendet. The pictorial quote An analysis of Paul Klees Revolution of the viaduct in three German prose texts. This essay explores the quotation of images in literature. Starting point is Paul Klee's painting The revolution of the viaduct and its verbal expression, which is known as 'image quotation', in three German prose texts. The textual analysis of these works - SAID's Das Rot lächelt,das Blau schweigt. Geschichten über Bilder, Uwe Timm's Der Freund und der Fremde and Gertrud Leutenegger's Vorabend - is based on theories of intermediality. This essay shows that the authors employ stylistic devices similar to those in the painting, such as contrast and repetition, and use them as intermedial references.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study is a corpus-based comparison between student essays written in the subject areas of English linguistics and literature at undergraduate level. They are 200 Bachelor degree theses submitted at a variety of university departments (such as English, Language and Literature, Humanities, Social and Intercultural Studies) in Sweden. The comparison concerns frequencies of core modal verbs and how often they occur together with the I, we and it subject pronouns and in the structures this/the [essay, study, project, thesis] when students attempt to communicate their personal claims. Quantitative and qualitative analyses of the essays show few similarities in the ways that core modal verbs appear in both disciplines. The results indicate mainly distinct differences, especially in relation to clusters and variation of performative verbs. Specific patterns in the ways that students use core modal verbs as hedges have also been identified.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this essay is to explore in what way Graded Readers are different from authentic texts against the background of English as a Second Language (ESL) and the use of authentic and simplified text in ESL teaching. The material used for this purpose is the authentic text of Wuthering Heights by Emily Brontë and two upper-intermediate Graded Readers from two different publishers. The study uses the software readability-score and manual analysis to examine the texts with regards to lexical choice, language structure and story. The study showed that the Graded Readers are simplified in all aspects studied. Moreover, the Graded Readers differ from each other as well, most notably in the style of the text due to sentence structure and story simplification. This could imply that different authors of Graded Readers adopt different styles when simplifying text and that the grading levels are not comparable between different publishers.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ce mémoire a pour but de faire une analyse du roman de Choderlos de Laclos Les Liaisons dangereuses et de répondre à quatre questions primordiales, à savoir : -Quelle représentation de l’homme et de la femme apparaît dans le roman de Choderlos de Laclos et quelle est la nature des relations entre les personnages des deux sexes ? - S’agit-il d’une condamnation ou d’une illustration du libertinage ? -Quels ont été les effets moraux de ce livre sur la société du XVIIIème siècle ? -Quelle était l’attitude de l’auteur par rapport aux femmes ? Afin de répondre à ces quatre questions primordiales, nous avons décidé de faire une analyse du roman, mais aussi de nous intéresser à la sociologie de la littérature et plus exactement sur l’horizon d’attente et la réception de l’oeuvre. Nous avons aussi utilisé la correspondance écrite entre Choderlos de Laclos et Mme Riccoboni afin d’établir l’attitude de l’auteur par rapport aux femmes. Pour conclure, nous démontrerons que l’auteur était en avance sur son temps et n’était aucunement misogyne et oeuvrait pour l’amélioration de éducation des femmes.