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
Peer Reviewed
See detailTra Autobiografia e Finzione nella letteratura degli italiani del Lussemburgo e della Grande Regione
Cicotti, Claudio UL

in Cicotti, Claudio (Ed.) Traces italiennes autour du Luxembourg entre autobiographies et (auto)fictions Les auteurs d’origine italienne du Luxembourg et de la Grande Région se racontent (2022)

Detailed reference viewed: 68 (0 UL)
See detailTrabalho Escravo and the Globalized World
Harnoncourt, Julia UL

Poster (2014)

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailTrabalho Escravo im Amazonasgebiet: Peripherisierung, unfreie Arbeit und Weltmarkt
Harnoncourt, Julia UL

in Zeitschrift für Weltgeschichte (2019)

Detailed reference viewed: 48 (2 UL)
See detailTrabalho Escravo in Today’s Brazil
Harnoncourt, Julia UL

Scientific Conference (2014)

Detailed reference viewed: 23 (0 UL)
See detailTrabalho escravo? Ein historischer Vergleich auf globaler Ebene.
Harnoncourt, Julia UL

in JahrBuch für Forschungen zur Geschichte der Arbeiterbewegung (2015), 14(3),

Detailed reference viewed: 22 (0 UL)
Full Text
Peer Reviewed
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico UL; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Detailed reference viewed: 171 (14 UL)
Full Text
Peer Reviewed
See detail'La trace de l'origine': poétique de 'l'effaçonnement' et écriture mémorielle chez Jean Portante
Glesener, Jeanne UL

in Nouvelles Etudes Francophones (2012), 1(Spring), 34-51

Si l’on admet que la littérature migrante transcrit la mondialisation et l’interpénétration des langues et des cultures par le biais de figures identitaires et esthétiques inédites, il y a lieu de ... [more ▼]

Si l’on admet que la littérature migrante transcrit la mondialisation et l’interpénétration des langues et des cultures par le biais de figures identitaires et esthétiques inédites, il y a lieu de s’interroger de plus près sur les pratiques scripturales qui lui sont propres. Dans cet article, nous nous proposons d’analyser la poétique de l’effaçonnement, soutènement de l’écriture de l’écrivain luxembourgeois d’origine italienne Jean Portante. Avec des textes choisis à l’appui, notamment des essais et le roman autofictionnel Mrs Haroy ou la mémoire de la baleine (1993), différents aspects de cette poétique seront examinés, à commencer par son rôle dans l’appréhension que ce poète-écrivain peut avoir de sa langue d’expression littéraire étrangère. Nous procédons ensuite à l’étude du roman autofictionnel pour la voir à l’œuvre dans la narrativisation de la mémoire dans le récit de soi. Les pratiques scripturales employées par Portante pour mettre en texte la mémoire interculturelle du migrant feront l’objet de notre conclusion. [less ▲]

Detailed reference viewed: 186 (4 UL)
Full Text
Peer Reviewed
See detailTrace decategorification of categorified quantum sl2
Beliakova, Anna; Habiro, Kazuo; Lauda, Aaron D. et al

in Mathematische Annalen (2017), 367(1), 397440

The trace or the 0th Hochschild–Mitchell homology of a linear category C may be regarded as a kind of decategorification of C. We compute the traces of the two versions U˙ and U∗ of categorified quantum ... [more ▼]

The trace or the 0th Hochschild–Mitchell homology of a linear category C may be regarded as a kind of decategorification of C. We compute the traces of the two versions U˙ and U∗ of categorified quantum sl2 introduced by the third author. The trace of U is isomorphic to the split Grothendieck group K_0(U˙), and the higher Hochschild–Mitchell homology of U˙ is zero. The trace of U∗ is isomorphic to the idempotented integral form of the current algebra U(sl2[t]). [less ▲]

Detailed reference viewed: 98 (9 UL)
Full Text
Peer Reviewed
See detailTrace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Menghi, Claudio UL; Vigano, Enrico UL; Bianculli, Domenico UL et al

in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (2021, May)

Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express the requirements of ... [more ▼]

Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express the requirements of interest, and an automatic procedure to check whether these requirements hold on the execution traces of a CPS. Although there exist several specification languages for CPS, they are often not sufficiently expressive to allow the specification of complex CPS properties related to the software and the physical components and their interactions. In this paper, we propose (i) the Hybrid Logic of Signals (HLS), a logic-based language that allows the specification of complex CPS requirements, and (ii) ThEodorE, an efficient SMT-based trace-checking procedure. This procedure reduces the problem of checking a CPS requirement over an execution trace, to checking the satisfiability of an SMT formula. We evaluated our contributions by using a representative industrial case study in the satellite domain. We assessed the expressiveness of HLS by considering 212 requirements of our case study. HLS could express all the 212 requirements. We also assessed the applicability of ThEodorE by running the trace-checking procedure for 747 trace-requirement combinations. ThEodorE was able to produce a verdict in 74.5% of the cases. Finally, we compared HLS and ThEodorE with other specification languages and trace-checking tools from the literature. Our results show that, from a practical standpoint, our approach offers a better trade-off between expressiveness and performance. [less ▲]

Detailed reference viewed: 406 (40 UL)
Full Text
Peer Reviewed
See detailTrace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Boufaied, Chaima UL; Menghi, Claudio UL; Bianculli, Domenico UL et al

in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical ... [more ▼]

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical systems. Although there exist several specification languages for expressing SBTPs, such languages either do not easily allow the specification of important types of properties (such as spike or oscillatory behaviors), or are not supported by (efficient) trace-checking procedures. In this paper, we propose SB-TemPsy, a novel model-driven trace-checking approach for SBTPs. SB-TemPsy provides (i) SB-TemPsy-DSL, a domain-specific language that allows the specification of SBTPs covering the most frequent requirement types in cyber-physical systems, and (ii) SB-TemPsy-Check, an efficient, model-driven trace-checking procedure. This procedure reduces the problem of checking an SB-TemPsy-DSL property over an execution trace to the problem of evaluating an Object Constraint Language constraint on a model of the execution trace. We evaluated our contributions by assessing the expressiveness of SB-TemPsy-DSL and the applicability of SB-TemPsy-Check using a representative industrial case study in the satellite domain. SB-TemPsy-DSL could express 97% of the requirements of our case study and SB-TemPsy-Check yielded a trace-checking verdict in 87% of the cases, with an average checking time of 48.7 s. From a practical standpoint and compared to state-of-the-art alternatives, our approach strikes a better trade-off between expressiveness and performance as it supports a large set of property types that can be checked, in most cases, within practical time limits. [less ▲]

Detailed reference viewed: 409 (42 UL)
Full Text
Peer Reviewed
See detailTraceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective
Plataniotis, Georgios; De Kinderen, Sybren UL; Ma, Qin UL et al

in Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015 (2015)

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal ... [more ▼]

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal metamodel that captures the reasoning and the inter-relationships of design decisions. This paper extends our approach in order to provide an explicit bridging between the Problem space that is defined by the different requirements and the Solution space that is described by specific design decisions. In doing so, EA Anamnesis also supports traceability from specific design decisions to the given requirements. [less ▲]

Detailed reference viewed: 166 (2 UL)
Full Text
Peer Reviewed
See detailTraceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Briand, Lionel UL; Falessi, Davide; Nejati, Shiva UL et al

in ACM Transactions on Software Engineering and Methodology (2014), 23(1),

Detailed reference viewed: 264 (51 UL)
See detailTracer des sentiers, ouvrir des boulevards. Réflexions à la suite d'un colloque sur la mémoire des traces et les traces de la mémoire
Pauly, Michel UL

in Boggiani, Jos; Caldognetto, Maria Luisa; Cicotti, Claudio (Eds.) et al Traces de mémoire, mémoire des traces. Parcours et souvenirs de la présence italienne au Luxembourg et dans la Grande Région. Actes du colloque international (2007)

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailTracer les contours de la Suisse. Pour un portrait en demi-teinte chez quelques auteures suisses romandes
Barthelmebs-Raguin, Hélène UL

in Charrier, Landry; Gomez, Anne-Sophie; Platelle, Fanny (Eds.) La Suisse entre consensus et conflits : enjeux et représentations (2016)

Detailed reference viewed: 40 (0 UL)
Full Text
See detailTraces and memories of an ongoing pandemic – Yes We Care
Majerus, Benoît UL

in HumaMed@Larca (2021)

Detailed reference viewed: 59 (10 UL)
Full Text
See detailTraces de mémoire, mémoire des traces
Cicotti, Claudio UL

Article for general public (2006)

Detailed reference viewed: 55 (0 UL)
See detailTraces de mémoire, mémoire des traces. En voyage dans les confins de l'immigration italienne
Cicotti, Claudio UL; Boggiani, Joseph; Caldognetto, Maria Luisa et al

Book published by Université of Luxembourg (2007)

Detailed reference viewed: 69 (0 UL)
Peer Reviewed
See detailTraces de mémoire, mémoire des traces. Parcours et souvenirs de la présence italienne au Luxembourg et dans la Grande Région
Boggiani, Joseph UL; Caldognetto, Maria Luisa; Cicotti, Claudio UL et al

in Traces de mémoire, mémoire des traces. Parcours et souvenirs de la présence italienne au Luxembourg et dans la Grande Région (2007)

Detailed reference viewed: 91 (1 UL)
Full Text
Peer Reviewed
See detailTracing science in the early childhood classroom: the historicity of multi-resourced discourse practices in multilingual interaction
Max, Charles UL; Ziegler, Gudrun UL; Kracheel, Martin UL

in Mansour, Nasser; Wegerif, Rupert (Eds.) Science Education for Diversity, Theory and Practice (2012)

This chapter presents research conducted in early childhood classrooms in Luxembourg, a European country with a complex multilingual situation. A multi-layered corpus of classroom interactions, consisting ... [more ▼]

This chapter presents research conducted in early childhood classrooms in Luxembourg, a European country with a complex multilingual situation. A multi-layered corpus of classroom interactions, consisting of photos, videos and audio recordings, was collected over a period of 6 months and then classified, annotated and partially transcribed. Drawing from this corpus, this study sheds light on the discursive practices of 6-12 year old children and examines the co-construction of the children’s growing understandings of science in collaborative inquiries. Arguing from a context-sensitive perspective, our research approaches the learning of science as an interactional achievement in situ, one that encompasses the enactment of science as shared discourse and therefore as a cultural accomplishment. [less ▲]

Detailed reference viewed: 157 (9 UL)