Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

The Rebirth of Dinamo Riga: From the Glorious Soviet Past to the Kontinental Hockey League

Since the end of Cold War rivalries, the world of international hockey was deemed to becoming increasingly homogenized along western sportization patterns. The introduction of the Russian-sponsored Kontinental Hockey League (KHL) signified a new era in the global diffusion of modern sports. Its recent expansion in the post-Soviet space and European countries significantly reshuffled the landscape of international hockey, offering new prospects for the studies of the intersection of sports, history, geopolitics and nationalism in the age of globalization. The aim of this study is to conceptualize the KHL and illuminate the role of ice hockey in post-Soviet Latvia. I treat the creation of the KHL and the integration of a Latvian-based team, “Dinamo Riga,” into the KHL within the broader discussion on the globalization of sports and its effects on national communities. The research is based on a case study of the modern rebirth of “Dinamo Riga” and its participation in the KHL and is confined to the scholarly themes in sports research, such as the history of modern sports and globalization, sports and nationalism. The study pays special attention to unveiling the geopolitical links between the restart of Latvian-Russian relations after the EU’s eastern enlargement and the re-emerging Latvian-Russian contacts in ice hockey. The research concludes that with the creation of the KHL, European hockey received a new charismatic “zone of prestige” for sports interaction. The project of “Dinamo Riga” became the new global phenomenon in Latvian sports in terms of its capabilities to transcend the post-Soviet geopolitical stereotypes in relation to Russia and serve as a new national symbol in the promotion and celebration of Latvian sporting nationalism. Further sociological research would require the clarification of the impact of Latvian-Russian cooperation in hockey on the bilateral relations of both countries and the formation of a national community in Latvia.

Professionalization of controllers in Finland

Professions are a special category of occupations that possesses exclusive rights over its domain of expertise. Professions apply expert knowledge in their work by using professional discretion and judgment to solve their clients’ problems. With control over their expert knowledge base, professions are able to control the supply of practitioners in their field and regulate the practice in their market. Professionalization is the process during which occupations attempt to gain the status of a profession. The benefits of becoming a profession are extensive – professional autonomy, social and financial rewards, prestige, status, and an exclusive community are only a few of the privileges that established professions possess. Many aspiring occupations have tried and failed to gain the status of a profession and one of these groups is the occupation of controllers in Finland. The objective of this study to uncover, why controllers have not professionalized, which properties of the occupation correspond with the elements generally regarded to pertain to professions, and which aspects of the occupational group may hinder the professionalization project. The professionalization project of controllers is analyzed using a multi-actor model of professionalization, in which practitioners, clients, the state, training institutions, and employing organizations are considered to affect the project. The properties of the occupation of controllers are compared to features generally associated with professions. The research methodology for this thesis is qualitative, and the study is conducted as an exploratory research. The data is primarily gathered using semi-structured interviews, which were conducted between March and May 2013 lasting from 40 minutes to an hour. In total, four controllers were interviewed, who worked for different companies operating in different industries, and whose experience of working as a controller varied between a few years to nearly 15 years. The data in this study indicates that although controllers possess qualities that distinguish professions from other occupational groups, the professionalization of controllers may not be plausible. Controllers enjoy considerable autonomy in organizations, and they possess a strong orientation towards serving their clients. The more profound problem with the occupation is its non-exclusive, indistinct knowledge base that does not rely solely on a single knowledge base. Controllers’ expertise is relatively organization-specific and built on several different fields of knowledge and not just management accounting, which could be considered as their primary knowledge base. In addition, controllers have not organized themselves, which is a quintessential, but by no means a sufficient prerequisite for professionalization.

Comparison of model-based above ground biomass predictions from LiDAR

In order to reduce greenhouse emissions from forest degradation and deforestation the international programme REDD (Reducing Emissions from Deforestation and forest Degradation) was established in 2005 by the United Nations Framework Convention on Climate Change (UNFCCC). This programme is aimed to financially reward to developing countries for any emissions reductions. Under this programm the project of setting up the payment system in Nepal was established. This project is aimed to engage local communities in forest monitoring. The major objective of this thesis is to compare and verify data obtained from di erect sources - remotely sensed data, namely LiDAR and field sample measurements made by two groups of researchers using two regression models - Sparse Bayesian Regression and Bayesian Regression with Orthogonal Variables.

Language-specific aspects of reading acquisition: the case of Russian

We have investigated Russian children’s reading acquisition during an intermediate period in their development: after literacy onset, but before they have acquired well-developed decoding skills. The results of our study suggest that Russian first graders rely primarily on phonemes and syllables as reading grain-size units. Phonemic awareness seems to have reached the metalinguistic level more rapidly than syllabic awareness after the onset of reading instruction, the reversal which is typical for the initial stages of formal reading instruction creating external demand for phonemic awareness. Another reason might be the inherent instability of syllabic boundaries in Russian. We have shown that body-coda is a more natural representation of subsyllabic structure in Russian than onset-rime. We also found that Russian children displayed variability of syllable onset and offset decisions which can be attributed to the lack of congruence between syllabic and morphemic word division in Russian. We suggest that fuzziness of syllable boundary decisions is a sign of the transitional nature of this stage in the reading development and it indicates progress towards an awareness of morphologically determined closed syllables. Our study also showed that orthographic complexity exerts an influence on reading in Russian from the very start of reading acquisition. Besides, we found that Russian first graders experience fluency difficulties in reading orthographically simple words and nonwords of two and more syllables. The transition from monosyllabic to bisyllabic lexical items constitutes a certain threshold, for which the syllabic structure seemed to be of no difference. When we compared the outcomes of the Russian children with the ones produced by speakers of other languages, we discovered that in the tasks which could be performed with the help of alphabetic recoding Russian children’s accuracy was comparable to that of children learning to read in relatively shallow orthographies. In tasks where this approach works only partially, Russian children demonstrated accuracy results similar to those in deeper orthographies. This pattern of moderate results in accuracy and excellent performance in terms of reaction times is an indication that children apply phonological recoding as their dominant strategy to various reading tasks and are only beginning to develop suitable multiple strategies in dealing with orthographically complex material. The development of these strategies is not completed during Grade 1 and the shift towards diversification of strategies apparently continues in Grade 2.

THE ADAPTATION PROCESS AND CHALLENGES OF EDUCATION EXPORT

The purpose of this study is to investigate the challenges of the adaptation process of education export. The research is conducted as a single case study that concentrates on three education export projects. The case company in the research is Team Academy. The study goes through the different forms of education export, the adaptation of education export and the challenges of the education export –process by means of theory and empirical data. The research is carried out as a qualitative research and the method used is a qualitative content analysis. More specifically the research is an abductive content analysis. The research data is collected in four in-depth interviews from Team academy representatives who have been strongly involved in certain education export –project of Team Academy. The research confirms the theory in the challenge of hierarchy, funding and registration issues, and refutes it in the challenge of competition, legislation, different governmental attitudes and knowledge in productization. The main challenges of the adaptation process are related to funding, differences in values, sudden changes, the complex nature of the learning model, concept of time, teamwork as method and accreditation. It is highlighted that in the future operations, anticipating problems that arise from for example cultural differences and differences in values, communication, managing the money flows and the company form is recommended. Future research could continue with investigating the suitable company form for education exports of this kind, and how to stand out and communicate when operating under another institution. It is considered a potential risk that a brand encloses the brand that operates under it.

Attitudes toward Konglish of South Korean teachers of English in the Province of Jeollanamdo /

This study examined the attitudes of South Korean teachers of English in Jeollanamdo toward Konglish, particularly in relation to English education. The literature search shows that Konglish is a typical local variety, evolved from the borrowing and redefining of English words that became part of everyday South Korean speech. Konglish is not unique in this regard. Japlish in Japan and Chinglish in China developed for similar reasons and display the distinctive characteristics of those languages. However, Konglish is usually defined as poor and incorrect. Teachers in the study expressed embarrassment, shyness, guilt, and anger about Konglish. On the other hand, they also valued it as something uniquely theirs. Teachers believed that students should not be taught that Konglish is bad English. However, students should be taught that it is poor or incorrect. With few exceptions, they correct Konglish in their classes. Teachers exhibited considerable inner conflict. They defined Konglish as valid when used in Korea with Koreans. However, some preferred that their students not use it, even with their friends. This may cause students to judge Konglish as unacceptable or inferior. The teachers believed that students should learn to distinguish between Konglish and "Standard English," and that they should learn about the contexts in which each is appropriate or preferred. The conclusion, therefore, is that South Korean teachers see the value of teaching about varieties of English. The recommendations are that intelligibility, broader communication skills, and information about International English be included in the curriculum in South Korea.

Language shifting among the Hodenosaunee of Southern Ontario : Edwaenagé: tsgó -- Shogwaya> dihs> oh nidwawenó :de: shogwá:wi: tsáhohwejáda:t

Through aggressive legislative and educational policies Indigenous languages globally have been shifted to the language of the dominant society. Globalization has brought previously geo-politically and/or geo-linguistically isolated people and language . groups into close proximity that necessitated interaction and at times intense power struggles. There are currently approximately 6,000 spoken languages in the world, more than half are either endangered, dying or disappearing altogether. Canadian statistics reveal an overall 3 % decline in the intergenerational transmission of language. Of the original 60 Indigenous languages spoken in Canada, 8 are extinct, 13 are nearly extinct, and 23 are critical. The remaining languages have a slim chance of survival. Within the next 100 years only 4 Indigenous languages will remain. The Hodenosaunee languages of Southern Ontario are not incl~ded among the list of languages that will survive the next 100 years. There are, without a doubt, complex challenges in the maintenance of Indigenous languages within a dominant-culture influenced environment. Given the increasing awareness of the social impact of linguistic integrity and preservation of languages on Indigenous people as a whole, this study considers how language is currently being used; the social, economic, and political implications of language shifting; the need to shift our social consciousness in order to understand the urgency in privileging our Hodenosaunee languages; as well as ways in which we might achieve those goals as individuals, as families, and as a community.

Cross-Linguistic Transfer (CLT) in Bilingual Speakers : Neural Correlates of Language Learning

Le but de cette thèse est d'étudier les corrélats comportementaux et neuronaux du transfert inter-linguistique (TIL) dans l'apprentissage d’une langue seconde (L2). Compte tenu de nos connaissances sur l'influence de la distance linguistique sur le TIL (Paradis, 1987, 2004; Odlin, 1989, 2004, 2005; Gollan, 2005; Ringbom, 2007), nous avons examiné l'effet de facilitation de la similarité phonologique à l’aide de la résonance magnétique fonctionnelle entre des langues linguistiquement proches (espagnol-français) et des langues linguistiquement éloignées (persan-français). L'étude I rapporte les résultats obtenus pour des langues linguistiquement proches (espagnol-français), alors que l'étude II porte sur des langues linguistiquement éloignées (persan-français). Puis, les changements de connectivité fonctionnelle dans le réseau langagier (Price, 2010) et dans le réseau de contrôle supplémentaire impliqué dans le traitement d’une langue seconde (Abutalebi & Green, 2007) lors de l’apprentissage d’une langue linguistiquement éloignée (persan-français) sont rapportés dans l’étude III. Les résultats des analyses d’IRMF suivant le modèle linéaire général chez les bilingues de langues linguistiquement proches (français-espagnol) montrent que le traitement des mots phonologiquement similaires dans les deux langues (cognates et clangs) compte sur un réseau neuronal partagé par la langue maternelle (L1) et la L2, tandis que le traitement des mots phonologiquement éloignés (non-clang-non-cognates) active des structures impliquées dans le traitement de la mémoire de travail et d'attention. Toutefois, chez les personnes bilingues de L1-L2 linguistiquement éloignées (français-persan), même les mots phonologiquement similaires à travers les langues (cognates et clangs) activent des régions connues pour être impliquées dans l'attention et le contrôle cognitif. Par ailleurs, les mots phonologiquement éloignés (non-clang-non-cognates) activent des régions usuellement associées à la mémoire de travail et aux fonctions exécutives. Ainsi, le facteur de distance inter-linguistique entre L1 et L2 module la charge cognitive sur la base du degré de similarité phonologiques entres les items en L1 et L2. Des structures soutenant les processus impliqués dans le traitement exécutif sont recrutées afin de compenser pour des demandes cognitives. Lorsque la compétence linguistique en L2 augmente et que les tâches linguistiques exigent ainsi moins d’effort, la demande pour les ressources cognitives diminue. Tel que déjà rapporté (Majerus, et al, 2008; Prat, et al, 2007; Veroude, et al, 2010; Dodel, et al, 2005; Coynel, et al ., 2009), les résultats des analyses de connectivité fonctionnelle montrent qu’après l’entraînement la valeur d'intégration (connectivité fonctionnelle) diminue puisqu’il y a moins de circulation du flux d'information. Les résultats de cette recherche contribuent à une meilleure compréhension des aspects neurocognitifs et de plasticité cérébrale du TIL ainsi que l'impact de la distance linguistique dans l'apprentissage des langues. Ces résultats ont des implications dans les stratégies d'apprentissage d’une L2, les méthodes d’enseignement d’une L2 ainsi que le développement d'approches thérapeutiques chez des patients bilingues qui souffrent de troubles langagiers.

L’évolution des représentations sur les langues d’élèves plurilingues du 3e cycle du primaire lors de l’implantation d’un projet d’Éveil aux langues

La présente recherche documente l’évolution des représentations sur les langues de cinq cas d’élèves plurilingues et immigrants ou issus de l’immigration, scolarisés en fin de cycle du primaire en milieu pluriethnique à Montréal, tout au long de l’implantation d’un projet d’Éveil aux langues, sur une période de deux ans. La méthodologie adoptée permet de décrire en profondeur et de façon nuancée, l’évolution des représentations des élèves sur les langues de leur répertoire plurilingue d’une part, et plus largement, sur les langues et de la diversité linguistique d’autre part. Les résultats de la recherche ont permis de mettre en évidence que l’implantation d’un projet d’Éveil aux langues sur deux ans : 1) a des effets positifs sur les représentations sur la diversité linguistique de ces élèves; 2) permet de soutenir le développement de représentations positives sur les langues du répertoire linguistique des élèves qui passe par l’acceptation de compétences partielles dans l’une ou l’autre des langues de leur répertoire et par l’expression d’un sentiment de fierté à propos de leur répertoire plurilingue; 3) permet le développement, chez les élèves, de diverses stratégies pour légitimer l’intégration de langues dans lesquelles ils ont des compétences partielles au sein de leur répertoire linguistique : apporter un jugement de valeur sur leurs compétences, spécifier leur domaine de compétence (expression orale ou écrite, compréhension orale ou écrite), qualifier, étiqueter leurs langues (langue maternelle, langue d’origine, langue seconde), adapter les définitions formelles présentées dans le projet sur le plurilinguisme à leur situation; 4) les représentations sur les langues par les élèves peuvent être marquées par le poids des représentations sociales; toutefois, cette tendance se lénifie au fur et à mesure de l’implantation du projet et une majorité d’élèves partage des représentations plus individualisées et moins marquées par des stéréotypes en fin de projet; 5) permet, pour les élèves de niveau scolaire fort et moyen, le développement d’un vocabulaire de haut niveau ainsi que le développement d’une curiosité envers la langue de l’Autre; 6) permet, pour les élèves de niveau scolaire faible, et à partir de la seconde année d’implantation, le développement d’un engagement dans les activités qui passe par une participation accrue au projet et le développement de compétence langagière (meilleure qualité argumentative); 7) offre la possibilité aux élèves de se connaître les uns les autres, d’être à l’écoute de l’Autre et d’exprimer de la curiosité envers la langue de l’autre et de reconnaître l’expertise de l’Autre, ceci participant à la mise en place d’une dynamique relationnelle propice aux apprentissages

Housing trajectories of individuals found not criminally responsible on account of mental disorder.

Au Canada, les Commissions d'Examen des Troubles Mentaux de chaque province ont la responsabilité de déterminer les conditions de prise en charge des personnes déclarées Non Criminellement Responsables pour cause de Troubles Mentaux (NCRTM) et de rendre, sur une base annuelle une des trois décisions suivantes: a) détention dans un hôpital, b) libération conditionnelle, ou c) libération absolue. Pour favoriser la réinsertion sociale, la libération conditionnelle peut être ordonnée avec la condition de vivre dans une ressource d’hébergement dans la communauté. Parmi les personnes vivant avec une maladie mentale, l’accès aux ressources d’hébergement a été associé à une plus grande stabilité résidentielle, une réduction de nombre et de la durée de séjours d'hospitalisation ainsi qu’une réduction des contacts avec le système judiciaire. Toutefois, l’accès aux ressources d’hébergement pour les personnes trouvées NCRTM est limité, en partie lié à la stigmatisation qui entoure cette population. Il existe peu d’études qui traitent du placement en ressources d’hébergement en psychiatrie légale. Pour répondre à cette question, cette thèse comporte trois volets qui seront présentés dans le cadre de deux manuscrits: 1) évaluer le rôle du placement en ressources d’hébergement sur la réhospitalisation et la récidive chez les personnes trouvées NCRTM; 2) décrire les trajectoires de disposition et de placement en ressources d’hébergement, et 3) mieux comprendre les facteurs associés à ces trajectoires. Les données de la province du Québec du Projet National de Trajectoires d’individus trouvés NCRTM ont été utilisées. Un total de 934 personnes trouvées NCRTM entre le 1er mai 2000 et le 30 avril 2005 compose cet échantillon. Dans le premier manuscrit, l’analyse de survie démontre que les individus placés dans un logement indépendant suite à une libération conditionnelle de la Commission d’Examen sont plus susceptibles de commettre une nouvelle infraction et d’être ré-hospitalisés que les personnes en ressources d’hébergement. Dans le deuxième article, l'analyse de données séquentielle a généré quatre modèles statistiquement stables de trajectoires de disposition et de placement résidentiel pour les 36 mois suivant un verdict de NCRTM: 1) libération conditionnelle dans une ressource d’hébergement (11%), 2) libération conditionnelle dans un logement autonome (32%), 3) détention (43%), et 4) libération absolue (14%). Une régression logistique multinomiale révèle que la probabilité d'un placement en ressource supervisée comparé au maintien en détention est significativement réduite pour les personnes traitées dans un hôpital spécialisé en psychiatrie légale, ainsi que pour ceux ayant commis un délit sévère. D'autre part, la probabilité d’être soumis à des dispositions moins restrictives (soit le logement indépendant et la libération absolue) est fortement associée à des facteurs cliniques tels qu’un nombre réduit d'hospitalisations psychiatriques antérieures, un diagnostic de trouble de l'humeur et une absence de diagnostic de trouble de la personnalité. Les résultats de ce projet doctoral soulignent la valeur protectrice des ressources en hébergement pour les personnes trouvées NCRTM, en plus d’apporter des arguments solides pour une gestion de risque chez les personnes trouvées NCRTM qui incorpore des éléments contextuels de prévention du risque, tel que l’accès à des ressources d’hébergement.

Design and Development of an Adaptable Frame -Based System for Dravidian Language Processing

This work is aimed at building an adaptable frame-based system for processing Dravidian languages. There are about 17 languages in this family and they are spoken by the people of South India.Karaka relations are one of the most important features of Indian languages. They are the semabtuco-syntactic relations between verbs and other related constituents in a sentence. The karaka relations and surface case endings are analyzed for meaning extraction. This approach is comparable with the borad class of case based grammars.The efficiency of this approach is put into test in two applications. One is machine translation and the other is a natural language interface (NLI) for information retrieval from databases. The system mainly consists of a morphological analyzer, local word grouper, a parser for the source language and a sentence generator for the target language. This work make contributios like, it gives an elegant account of the relation between vibhakthi and karaka roles in Dravidian languages. This mapping is elegant and compact. The same basic thing also explains simple and complex sentence in these languages. This suggests that the solution is not just ad hoc but has a deeper underlying unity. This methodology could be extended to other free word order languages. Since the frame designed for meaning representation is general, they are adaptable to other languages coming in this group and to other applications.

HWR for Indian Languages: A Comprehensive Survey

Few major Research works are going in the field of Handwriting Word Recognition (HWR) of Indian languages. This paper surveys the major works of offline/online handwritten word recognition. Techniques involved in word recognition are also discussed. Major works carried out in Bangla, Urdu, Tamil and Hindi are mentioned in this paper. Advancement towards HWR in other Indian languages are also discussed. Application of offline HWR is also discussed

The Development and Promotion of ETDs in Kerala

Electronic Theses and Dissertations (ETD) have become an important component of library service in all countries. Many Indian higher education institutions are actively engaged in the process of introducing ETDs. This study describes the development of ETD projects in Kerala. This paper examines the ETD project of Cochin University of Science and Technology (CUSAT) and Mahatma Gandhi University (MGU)

Degrees of Free Word-Order and Freely Rewriting Restarting Automata

In natural languages with a high degree of word-order freedom syntactic phenomena like dependencies (subordinations) or valencies do not depend on the word-order (or on the individual positions of the individual words). This means that some permutations of sentences of these languages are in some (important) sense syntactically equivalent. Here we study this phenomenon in a formal way. Various types of j-monotonicity for restarting automata can serve as parameters for the degree of word-order freedom and for the complexity of word-order in sentences (languages). Here we combine two types of parameters on computations of restarting automata: 1. the degree of j-monotonicity, and 2. the number of rewrites per cycle. We study these notions formally in order to obtain an adequate tool for modelling and comparing formal descriptions of (natural) languages with different degrees of word-order freedom and word-order complexity.