The Type System of VCL Structural and Assertion DiagramsAmalio, Nuno ![]() Report (2011) Detailed reference viewed: 44 (6 UL) A Type Theory with Partial Equivalence Relations as Types; ; et al Scientific Conference (2014) Detailed reference viewed: 69 (5 UL) A typed attributed Graph Grammar for syntax-directed editing of UML Sequence DiagramsHermann, Frank ![]() Report (2006) Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and ... [more ▼] Success and efficiency of software and system design fundamentally relies on its models. The more they are based on formal methods the more they can be automatically transformed to execution models and finally to implementation code. This paper presents model transformation and model integration as specific problem within bidirectional model transformation, which has shown to support various purposes, such as analysis, optimization, and code generation. The main purpose of model integration is to establish correspondence between various models, especially between source and target models. From the analysis point of view, model integration supports correctness checks of syntactical dependencies between different views and models. The overall concept is based on the algebraic approach to triple graph grammars, which are widely used for model transformation. The main result shows the close relationship between model transformation and model integration. For each model transformation sequence there is a unique model integration sequence and vice versa. This is demonstrated by a quasi-standard example for model transformation between class models and relational data base models. [less ▲] Detailed reference viewed: 77 (4 UL)![]() A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence DiagramsHermann, Frank ; ; in Varro, Daniel; Bruni, Roberto (Eds.) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06) (2008) According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of ... [more ▼] According to the UML Standard 2.0 class and sequence diagrams are defined in a descriptive way by a MOF meta-model and semi-formal constraints. This paper presents a formal and constructive definition of the abstract syntax of UML class and sequence diagrams based on the well-defined theory of typed attributed graph transformation with inheritance and application conditions. The generated language covers all important features of these parts of UML diagrams and is shown to satisfy all of the corresponding constraints by construction. An explicit model transformation demonstrates the close correspondence between the graph grammar and the MOF definition of UML class and sequence diagrams. The graph grammar is validated by well-established benchmarks showing that all important features of the MOF definition of UML are covered. This formal constructive syntax definition of UML class and sequence diagrams is the basis for syntax directed editing, formal analysis, formal operational and denotational semantics and correctness of model transformations. [less ▲] Detailed reference viewed: 101 (4 UL) Les types et les régimes de la prise en charge: de la linguistique de l'énonciation à la sémiotique du discoursColas-Blaise, Marion ![]() in Dendale, P.; Coltier, D. (Eds.) La notion de prise en charge linguistique (2011) Detailed reference viewed: 106 (0 UL)![]() Types of health-related behaviours: a cluster analysis of the Luxembourgish HBSC dataHeinz, Andreas ; Willems, Helmut Erich ; van Duin, Claire et alScientific Conference (2021, June) Background: Although it is known that health behaviours, socio-demographic variables and outcomes correlate, it is rarely investigated if there are typical patterns of these variables among the research ... [more ▼] Background: Although it is known that health behaviours, socio-demographic variables and outcomes correlate, it is rarely investigated if there are typical patterns of these variables among the research subjects. Objectives: To find out whether the students can be divided into distinct groups based on their health behaviour and whether these groups differ in other ways (outcomes and socio-demographics). Method: In step 1, a hierarchical cluster analysis was carried out to determine the number of groups and to identify the cluster centres. In step 2, this information was entered as the initial values of a cluster centre analysis. In step 3, the clusters were characterised using additional variables. Results: The 8065 students surveyed could be divided into 5 distinct groups based on their data on smoking, drinking, soft drinks, exercising, fighting and bullying, with cluster 1 and cluster 5 representing the strongest contrast. Cluster 1 comprises students whose health behaviour is generally positive. It is the largest cluster with 49.5% of students. Cluster 5 comprises students whose behaviour is consistently negative. It is the smallest cluster with 7.1% of students. Students in cluster 2 are close to average on many variables, but their dental health is problematic because they frequently consume soft drinks and rarely brush their teeth. Students in cluster 3 are physically inactive, their mental health is poor, but they are also rarely injured. The students in cluster 4 stand out because of their aggressive behaviour. Conclusion: With the help of cluster analysis, it is possible to categorise the students into a small number of groups based on their health behaviour. These groups are coherent in terms of health behaviour, many outcome variables and socio-demographic variables. [less ▲] Detailed reference viewed: 43 (3 UL) Types, Tableaus and Gödel's God in Isabelle/HOL; Benzmüller, Christoph ![]() in Archive of Formal Proofs (2017) A computer-formalisation of the essential parts of Fitting's textbook "Types, Tableaus and Gödel's God" in Isabelle/HOL is presented. In particular, Fitting's (and Anderson's) variant of the ontological ... [more ▼] A computer-formalisation of the essential parts of Fitting's textbook "Types, Tableaus and Gödel's God" in Isabelle/HOL is presented. In particular, Fitting's (and Anderson's) variant of the ontological argument is verified and confirmed. This variant avoids the modal collapse, which has been criticised as an undesirable side-effect of Kurt Gödel's (and Dana Scott's) versions of the ontological argument. Fitting's work is employing an intensional higher-order modal logic, which we shallowly embed here in classical higher-order logic. We then utilize the embedded logic for the formalisation of Fitting's argument. (See also the earlier AFP entry ``Gödel's God in Isabelle/HOL''.) [less ▲] Detailed reference viewed: 81 (2 UL) A Typical Case Report: Internet Gaming Disorder Psychotherapy Treatment in Private Practice; Hadjar, Andreas ; et alin International Journal of Environmental Research and Public Health (2021), 18(4), Background: Online or internet gaming disorder (IGD) is currently not recognized as a mental disorder in the actual Diagnostic and Statistical Manual of Mental Disorders (DSM-5), although it is an ... [more ▼] Background: Online or internet gaming disorder (IGD) is currently not recognized as a mental disorder in the actual Diagnostic and Statistical Manual of Mental Disorders (DSM-5), although it is an emerging disease. Non-substance-related addictions often have similarities with substance addictions. It is therefore important to have a good understanding of the client but also to have a good endurance. Due to the rise of e-sports, there is an anticipated and therefore possible trend to have many more patients with a non-substance addiction. There are many parallels, for instance tolerance, withdrawal and social problems, resulting from an increasing investment of time spent on the internet. Case presentation: To reduce possible inhibition in treating a patient with IGD, we present a case of a 19-year-old adolescent man who exhibited IGD and showed social problems associated with his addiction. Conclusions: This paper shows the importance and the effects of treating a non-substance addiction with cognitive behavioral therapy (CBT). After having successfully coped with an addiction, several shifts in addiction were often reported. In this case, no shifts were reported. The absence of such shifts makes our case a distinct and unique case. This is not a multimorbidity case, and that is the reason why we think this is an excellent example to show what we achieved, how we achieved it, and what we could establish. Of course, additional research and manuals are urgently needed. [less ▲] Detailed reference viewed: 59 (3 UL) La typoésie de Jérôme Peignot : le renouveau contemporain de la poésie visuelle française Pelard, Emmanuelle ![]() in Nouvelles Francographies. Revue de la Société des Professeurs Français et Francophones d'Amérique (2012), 3(1), 73-81 Detailed reference viewed: 102 (0 UL) Typografie im Webdesign: So kannst du Schriftarten kombinierenRohles, Björn ![]() Article for general public (2014) Dank Webfonts hält typografische Vielfalt seit einigen Jahren auch im Web Einzug. Worauf man bei der Kombination unterschiedlicher Fonts achten sollte. Detailed reference viewed: 77 (3 UL)![]() Typographie et forme de vie: identités textuelles et discursivesColas-Blaise, Marion ![]() in Un balcon en forêt (2006) Detailed reference viewed: 59 (0 UL) Typographie und Einbildungskraft. Die Druckmedialität der Literatur um 1800Busch, Christopher ![]() Presentation (2015) Detailed reference viewed: 31 (0 UL) Typologie des dispositifs de formation hybrides : configurations et métaphores.; ; et al in Actes du 27e Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU). (2012) Detailed reference viewed: 125 (0 UL) Typologie des parlers au LuxembourgFehlen, Fernand ![]() in Le Sondage: "Baleine". Une étude sociologique sur les trajectoires migratoires, les langues et la vie au Luxembourg (1998) Detailed reference viewed: 56 (4 UL) Typologie pour dispositifs de formation hybridesBurton, Réginald ; ; in Actes du 23e colloque de l’ADMEE-Europe (2011) Detailed reference viewed: 55 (0 UL) A “Typus” as an Appropriate Legal Tool for the interpretation of the “No Bail-out” Clause: The 'Private Investor Principle'Pantazatou, Aikaterini ; in European Politeia (2015) The purpose of this paper is to present the academic debate on the interpretation of Article 125 TFEU and to critically demonstrate the jurisprudential controversy that surrounds this provision, both from ... [more ▼] The purpose of this paper is to present the academic debate on the interpretation of Article 125 TFEU and to critically demonstrate the jurisprudential controversy that surrounds this provision, both from the CJEU standpoint as well as the Bundesverfassungsgericht’s angle. While we believe that the Court interpreted rightly the provision at issue, we argue that it has left certain questions unanswered. The second part of the paper will develop our suggestion regarding the need to construct and adopt a ‘typus’, along the lines and by analogy to the ‘private investor principle’, as an appropriate form of legal reasoning for the interpretation of the ‘no bail-out clause’ proviso, that would allow more legal certainty as to the persisting question of what kind of financial assistance meets the purpose of Article 125 TFEU. [less ▲] Detailed reference viewed: 100 (7 UL) Tyrannei des Augenblicks. Krisenhafte Zeiterfahrungen in der deutschen Gegenwartsliteratur.Pause, Johannes ![]() in Kritische Ausgabe (2012), 21 Detailed reference viewed: 35 (3 UL) THE ‘TYRANNY OF THE LINE’: CITY PLANNING IN COLONIAL PHNOM PENH, 1860s – 1940sKolnberger, Thomas ![]() Scientific Conference (2012) THE ‘TYRANNY OF THE LINE’: CITY PLANNING IN COLONIAL PHNOM PENH, 1860s – 1940s. Thomas Kolnberger Université du Luxembourg, FLSHASE (Faculty of Language and Literature, Humanities, Arts and Education ... [more ▼] THE ‘TYRANNY OF THE LINE’: CITY PLANNING IN COLONIAL PHNOM PENH, 1860s – 1940s. Thomas Kolnberger Université du Luxembourg, FLSHASE (Faculty of Language and Literature, Humanities, Arts and Education), Research Unit IPSE (Identités.Politique.Sociétés.Espaces), Campus Walferdange, Route de Diekirch (B.P.2), L-7201 Walferdange, Luxemburg This paper aims to highlight the role and influence of both ‘colonizer’ and ‘colonized’ on place and space. Their specific purposes are part of a process of mise-en-valeur of the French colonial regime on the one side and indigenous commodification of city space, examined here as a form of “bandwagoning”, on the other side. Cities in general are disputed places with regard to questions of urban development, planning and social control. Colonial cites in particular became central places for steering and enhancing the productivity of the entire colonial society. Thus, new urban structures were designed to house the agencies of an unequal relationship. The production of this particular space, however, was at no time a purely top-down process, imposed by the ‘colonizer’ on the ‘colonized’. In the very moment of the foundation of the colonial town, indigenous actors took the city as an opportunity, as a “structure and agency” for pursuing their very own interests. Colonial Phnom Penh is a good example to review these interactive processes under the following aspects: - ‘clash of civilizations’: Traditional French and Khmer linear planning as rivaling ‘top-down’ processes in a shared town - ‘grass-root urban planning’: The ‘bottom-up’ production of space of the indigenous city dwellers - ‘tyranny of the line’: The “social engineering” of the colonial city by land rents, building codes and regulations as grid squares The study is based on historical-critical analysis of archival sources in Cambodia (National Archives of Cambodia, Phnom Penh) and France (National Overseas Archives of France, Aix-en-Provence) with a focus on public works, maps, and photos. [less ▲] Detailed reference viewed: 83 (1 UL) Tyranny of Writing: Ideologies of the Written WordWeth, Constanze ; Juffermans, Kasper ![]() Book published by Bloomsbury (2018) Detailed reference viewed: 151 (5 UL) |
||