Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
See detailThe Type System of VCL
Amalio, Nuno UL

Report (2012)

Detailed reference viewed: 42 (8 UL)
Full Text
Peer Reviewed
See detailA Type Theory with Partial Equivalence Relations as Types
Anand, Abhishek; Bickford, Mark; Constable, Robert L. et al

Scientific Conference (2014)

Detailed reference viewed: 64 (5 UL)
See detailA typed attributed Graph Grammar for syntax-directed editing of UML Sequence Diagrams
Hermann, Frank UL

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: 65 (4 UL)
Peer Reviewed
See detailA typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
Hermann, Frank UL; Ehrig, Hartmut; Taentzer, Gabriele

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: 87 (4 UL)
Full Text
Peer Reviewed
See detailLes types et les régimes de la prise en charge: de la linguistique de l'énonciation à la sémiotique du discours
Colas-Blaise, Marion UL

in Dendale, P.; Coltier, D. (Eds.) La notion de prise en charge linguistique (2011)

Detailed reference viewed: 86 (0 UL)
Full Text
Peer Reviewed
See detailTypes, Tableaus and Gödel's God in Isabelle/HOL
Fuenmayor, David; Benzmüller, Christoph UL

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: 52 (2 UL)
Full Text
Peer Reviewed
See detailLa typoésie de Jérôme Peignot : le renouveau contemporain de la poésie visuelle française 
Pelard, Emmanuelle UL

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: 68 (0 UL)
See detailTypografie im Webdesign: So kannst du Schriftarten kombinieren
Rohles, Björn UL

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: 54 (3 UL)
Peer Reviewed
See detailTypographie et forme de vie: identités textuelles et discursives
Colas-Blaise, Marion UL

in Un balcon en forêt (2006)

Detailed reference viewed: 40 (0 UL)
Full Text
Peer Reviewed
See detailTypologie des dispositifs de formation hybrides : configurations et métaphores.
Peraya, D; Peltier, C; Villiot-Leclercq, E et al

in Actes du 27e Congrès de l’Association Internationale de Pédagogie Universitaire (AIPU). (2012)

Detailed reference viewed: 104 (0 UL)
See detailTypologie des parlers au Luxembourg
Fehlen, Fernand UL

in Le Sondage: "Baleine". Une étude sociologique sur les trajectoires migratoires, les langues et la vie au Luxembourg (1998)

Detailed reference viewed: 41 (4 UL)
Full Text
Peer Reviewed
See detailTypologie pour dispositifs de formation hybrides
Burton, Réginald UL; Renneboog, H; Coltice, N

in Actes du 23e colloque de l’ADMEE-Europe (2011)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailA “Typus” as an Appropriate Legal Tool for the interpretation of the “No Bail-out” Clause: The 'Private Investor Principle'
Pantazatou, Aikaterini UL; Rodopoulos, Michail

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: 70 (3 UL)
Full Text
Peer Reviewed
See detailTHE ‘TYRANNY OF THE LINE’: CITY PLANNING IN COLONIAL PHNOM PENH, 1860s – 1940s
Kolnberger, Thomas UL

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: 61 (1 UL)
See detailTyranny of Writing: Ideologies of the Written Word
Weth, Constanze UL; Juffermans, Kasper UL

Book published by Bloomsbury (2018)

Detailed reference viewed: 122 (5 UL)
Peer Reviewed
See detailTyrosine phosphorylation disrupts elongin interaction and accelerates SOCS3 degradation.
Haan, Serge UL; Ferguson, Paul; Sommer, Ulrike et al

in Journal of Biological Chemistry (2003), 278(34), 31972-9

The suppressors of cytokine signaling (SOCS) are negative feedback inhibitors of cytokine and growth factor-induced signal transduction. The C-terminal SOCS box region is thought to regulate SOCS protein ... [more ▼]

The suppressors of cytokine signaling (SOCS) are negative feedback inhibitors of cytokine and growth factor-induced signal transduction. The C-terminal SOCS box region is thought to regulate SOCS protein stability most likely via an elongin C interaction. In the present study, we have found that phosphorylation of SOCS3 at two tyrosine residues in the conserved SOCS box, Tyr204 and Tyr221, can inhibit the SOCS3-elongin C interaction and activate proteasome-mediated SOCS3 degradation. Jak-mediated phosphorylation of SOCS3 decreased SOCS3 protein half-life, and phosphorylation of both Tyr204 and Tyr221 was required to fully destabilize SOCS3. In contrast, a phosphorylation-deficient mutant of SOCS3, Y204F,Y221F, remained stable in the presence of activated Jak2 and receptor tyrosine kinases. SOCS3 stability correlated with the relative amount that bound elongin C, because in vitro phosphorylation of a SOCS3-glutathione S-transferase fusion protein abolished its ability to interact with elongin C. In addition, a SOCS3/SOCS1 chimera that co-precipitates with markedly increased elongin C, was significantly more stable than wild-type SOCS3. The data suggest that interaction with elongin C stabilizes SOCS3 protein expression and that phosphorylation of SOCS box tyrosine residues disrupts the complex and enhances proteasome-mediated degradation of SOCS3. [less ▲]

Detailed reference viewed: 79 (0 UL)
See detailU wie Un
Heimböckel, Dieter UL

Article for general public (2012)

Detailed reference viewed: 60 (2 UL)
Peer Reviewed
See detailU-Lab: an out-of-the-box solution for any usability problem? A presentation on methodological and practical issues
Koenig, Vincent UL; van de Leemput, Cécile

Scientific Conference (2005)

Detailed reference viewed: 37 (0 UL)