Last 7 days
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel Checking MITL formulae on Timed Automata: a Logic-Based Approach
Menghi, Claudio UL; Bersani, Marcello; Rossi, Matteo et al

in ACM Transactions on Computational Logic (in press)

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for ... [more ▼]

Timed Automata (TA) is de facto a standard modelling formalism to represent systems when the interest is the analysis of their behaviour as time progresses. This modelling formalism is mostly used for checking whether the behaviours of a system satisfy a set of properties of interest. Even if efficient model-checkers for Timed Automata exist, these tools are not easily configurable. First, they are not designed to easily allow adding new Timed Automata constructs, such as new synchronization mechanisms or communication procedures, but they assume a fixed set of Timed Automata constructs. Second, they usually do not support the Metric Interval Temporal Logic (MITL) and rely on a precise semantics for the logic in which the property of interest is specified which cannot be easily modified and customized. Finally, they do not easily allow using different solvers that may speed up verification in different contexts. This paper presents a novel technique to perform model checking of Metric Interval Temporal Logic (MITL) properties on TA. The technique relies on the translation of both the TA and the MITL formula into an intermediate Constraint LTL over clocks (CLTLoc) formula which is verified through an available decision procedure. The technique is flexible since the intermediate logic allows the encoding of new semantics as well as new TA constructs, by just adding new CLTLoc formulae. Furthermore, our technique is not bound to a specific solver as the intermediate CLTLoc formula can be verified using different procedures. [less ▲]

Detailed reference viewed: 58 (5 UL)
Full Text
Peer Reviewed
See detailPhase field simulation of early-age fracture in cement-based materials (Top 10%)
Nguyen, Thanh-Tung; Waldmann, Danièle UL; Bui, Tinh Quoc

in International Journal of Solids and Structures (in press)

In this paper, a new computational approach, which is based on a multi-physics coupling of the chemo-thermo-mechanical process, is developed for modeling failure mechanism in cement-based materials at ... [more ▼]

In this paper, a new computational approach, which is based on a multi-physics coupling of the chemo-thermo-mechanical process, is developed for modeling failure mechanism in cement-based materials at early-age hydration. A new constitutive law describing mechanical behavior of young concrete is thus derived, taking into account the effects of several factors including thermal expansion, shrinkage, damage, and both basic and transient thermal creeps. A strongly coupled model describing the interaction between fracture and multi-physics problems of cement hydration is obtained. The present phase field model in terms of smeared crack approach is highly suitable for simulating crack, especially when considering the unilateral contact conditions at crack surfaces. The capability of the proposed model in modeling complex crack initiation and propagation under arbitrary boundary conditions is highlighted. Fracture phenomena at both macroscopic and mesoscopic scales are considered and analyzed. The effects of creep and microstructural heterogeneity in different length scale are investigated, showing the great potential of the developed approach. [less ▲]

Detailed reference viewed: 137 (5 UL)
Peer Reviewed
See detailIntroduction: multilingual approaches to teaching and learning
Duarte, Joana; Kirsch, Claudine UL

in Kirsch, Claudine; Duarte, Joana (Eds.) Multilingual approaches for teaching and learning. From acknowledging to capitalising on multilingualism in European mainstream education (in press)

In the wake of the increasing societal diversity in Europe, it is imperative that teachers reflect on their teaching approaches and adjust them to cater for the growing number of multilingual pupils. This ... [more ▼]

In the wake of the increasing societal diversity in Europe, it is imperative that teachers reflect on their teaching approaches and adjust them to cater for the growing number of multilingual pupils. This introductory chapter outlines the monolingual mindset and language hierarchies that still exist in European education systems, and explains these are a result of the nation-forming movements of the nineteenth century. Next, four types of language instruction are presented: foreign language instruction; second language pedagogy; bilingual/monoglossic instruction; and plurilingual/heteroglossic instruction. The chapter continues with different types of multilingual approaches in mainstream educational settings that capitalise on multilingualism for teaching and learning, among them intercomprehension and translanguaging. Having explained these, the chapter explores the importance of partnerships with parents, professional development, and language policies because these actors and factors contribute to the effectiveness and sustainability of the approaches. The chapter concludes with a presentation of the structure of this volume as well as of the individual chapters. [less ▲]

Detailed reference viewed: 52 (2 UL)
Full Text
Peer Reviewed
See detailThe Uniqueness of Subjective Ageing. Convergent and Discriminant Validity
Spuling, Svenja M.; Klusmann, Verena; Bowen, Catherine E. et al

in European Journal of Ageing (in press)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailNanoscale magnetophotonics
Maccaferri, Nicolò UL; Zubritskaya, Irina; Razdolski, Ilya et al

in Journal of Applied Physics (in press)

This Perspective surveys the state-of-the-art and future prospects of science and technology employing the nanoconfined light (nanophotonics and nanoplasmonics) in combination with magnetism. We denote ... [more ▼]

This Perspective surveys the state-of-the-art and future prospects of science and technology employing the nanoconfined light (nanophotonics and nanoplasmonics) in combination with magnetism. We denote this field broadly as nanoscale magnetophotonics. We include a general introduction to the field and describe the emerging magneto-optical effects in magnetoplasmonic and magnetophotonic nanostructures supporting localized plasmons. Special attention is given to magnetoplasmonic crystals with transverse magnetization and the associated nanophotonic nonreciprocal effects, and to magneto-optical effects in nanostructure’s periodic arrays. We also give an overview of the applications of these systems in biological and chemical sensing, as well as in light polarization and phase control. We further review the area of nonlinear magnetophotonics, the semiconductor spin-plasmonics, and the general principles and applications of optomagnetism and nano-optical ultrafast control of magnetism and spintronics. [less ▲]

Detailed reference viewed: 89 (3 UL)
Peer Reviewed
See detailEffective professional development and sustainability of multilingual approaches
Kirsch, Claudine UL; Duarte, Joana; Palviainen, Åsa

in Kirsch, Claudine; Duarte, Joana (Eds.) Multilingual approaches for teaching and learning. From acknowledging to capitalising on multilingualism in European mainstream education (in press)

Policies and professional development which focusses on pedagogical skills, beliefs, and agency are essential to ensure the sustainability of multilingual teaching approaches. This chapter begins with an ... [more ▼]

Policies and professional development which focusses on pedagogical skills, beliefs, and agency are essential to ensure the sustainability of multilingual teaching approaches. This chapter begins with an overview of research studies on language policies, teacher agency and beliefs with a focus on multilingual settings. The intertwining of policy and teaching practice is then illustrated by means of the Finnish case, demonstrating how recent ECEC policies advocating diversity and plurilingualism have gradually changed teacher beliefs. The second part of the chapter focuses on professional development (PD) in so far as it is able to support teachers in implementing policies, changing pedagogical practices, and amending beliefs. This section presents different pathways for professional learning and explores the effectiveness of various models of professional development. These observations are taken up in two empirical studies on teachers’ professional development within multilingual preschool classes in Luxembourg and primary schools in the Netherlands. The interview and observation data provided in the two contexts point to the centrality of teacher beliefs and agency in moving towards multilingual practices and sustainable change. Furthermore, it unveils the ways in which teachers’ beliefs, knowledge, and practices change over time, and how effective PD programmes can support teachers in interpreting policies and developing new practices. [less ▲]

Detailed reference viewed: 54 (2 UL)
Peer Reviewed
See detailThe duty of loyalty: A Tool for Fundamental Rights Enforcement in the EU Legal System
Zinonos, Panagiotis UL

in Frenkel, David-Arie; Emilio Nunez, Jorge (Eds.) International Law and Social Justice (in press)

The effective enforcement of rights within the European Union, understood as a legal system overarched by the duty of loyalty, depends upon judicial independence. This chapter introduces some recent legal ... [more ▼]

The effective enforcement of rights within the European Union, understood as a legal system overarched by the duty of loyalty, depends upon judicial independence. This chapter introduces some recent legal developments pertaining to its double dimension as a fundamental right and as a structural duty of the Member states to discuss four enforcing tools that concretise the duty of loyalty: the self-standing right to an independent tribunal, the infringement procedure, the preliminary ruling procedure and the technique of exceptional circumstances. In that context, the chapter rejects the idea that the multifaceted configuration of the European Union is detrimental to fundamental rights protection and stresses the relevance of all the actors of the legal system for the effective enforcement of rights. [less ▲]

Detailed reference viewed: 59 (10 UL)
Full Text
Peer Reviewed
See detailComment on "Zamariola et al., (2018), Interoceptive Accuracy Scores are Problematic: Evidence from Simple Bivariate Correlations"-The Empirical Data Base, the Conceptual Reasoning and the Analysis behind this Statement are Misconceived and do not Support the Authors' Conclusions.
Ainley, V.; Tsakiris, Emmanouil UL; Pollatos, O. et al

in Biological Psychology (in press)

A recent paper by Zamariola and colleagues is widely cited as an authority on the invalidity of the Heartbeat Counting Task as a measure of interoceptive accuracy. Given the widespread interest in this ... [more ▼]

A recent paper by Zamariola and colleagues is widely cited as an authority on the invalidity of the Heartbeat Counting Task as a measure of interoceptive accuracy. Given the widespread interest in this field, it is essential that papers about methods are conceptually sound. However, only one of the authors' four criticisms appears substantiated - that people count too few heartbeats. Their arguments about "simple bivariate correlations" and their finding that interoceptive accuracy and heart rate correlate, depend on 'spurious correlations' arising from the overlooked point that interoceptive accuracy is a ratio. Moreover, scrutiny of the authors' data shows that their fourth criticism (that interoceptive accuracy is lower on longer trials) is confounded by differences in mean heart rate between trials. We present data from our own labs to refute it. We draw the authors' and editors' attention to these issues and trust that they will reconsider these erroneous conclusions. [less ▲]

Detailed reference viewed: 11 (0 UL)
Full Text
Peer Reviewed
See detailLes archevêques de Milan face aux premières expériences seigneuriales: stratégies et positionnements (milieu XIIIe-début XIVe s.)
Salemme, Timothy UL

in Barralis, Christine (Ed.) L’évêque face à son métier. Actes du colloque international, Metz. 15-17 novembre 2017 (in press)

Detailed reference viewed: 12 (0 UL)
Full Text
Peer Reviewed
See detailConservazione e ricezione dei documenti pontifici in Italia settentrionale: il caso del monastero cistercense di Chiaravalle Milanese (secoli XII-XVI)
Salemme, Timothy UL

in Salemme, Timothy; Renault, Jean-Baptiste (Eds.) Conservation et réception des documents pontificaux par les Ordres religieux (XIe-XVe siècles). Actes du colloque international. Nancy, 12-13 décembre 2013 (in press)

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailAvant-propos
Salemme, Timothy UL; Renault, Jean-Baptiste

in Salemme, Timothy; Renault, Jean-Baptiste (Eds.) Conservation et réception des documents pontificaux par les Ordres religieux (XIe-XVe siècles). Actes du colloque internationa (in press)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailHeranführung an die mehrsprachige Pädagogik durch Filmaufnahmen in der Lehrerausbildung in Luxemburg
Kirsch, Claudine UL

in Zeitschrift für Interkulturellen Fremdsprachenunterricht (in press), 25(1), 22

Aufgrund von gesellschaftlichen, sprach- und bildungspolitischen Entwicklungen soll mehrsprachige Bildung ein fester Bestandteil des Schul- und Vorschulunterrichts sein. Es gilt deshalb, angehende ... [more ▼]

Aufgrund von gesellschaftlichen, sprach- und bildungspolitischen Entwicklungen soll mehrsprachige Bildung ein fester Bestandteil des Schul- und Vorschulunterrichts sein. Es gilt deshalb, angehende LehrerInnen auf diese Neuerung vorzubereiten und ihnen beim Aneignen von Wissen und bei der Reflexion ihrer Haltungen zu helfen. Zu diesem Zweck wurden Filmaufnahmen aus einer empirischen Forschung zur frühen mehrsprachigen Bildung in der Lehrerausbildung in Luxemburg eingesetzt. Ein Fragebogen und Gruppeninterviews mit den Studierenden zeigen, dass sie durch das Filmmaterial neues Wissen erwarben und an ihren Einstellungen arbeiteten. Die Veranschaulichung in den Filmen, die theoriegeleiteten Diskussionen im Seminar und die tiefe Auseinandersetzung und Reflexion der Studierenden waren lernförderlich. Societal developments, language policies and new understandings of language learning call for multilingual education in schools. Prospective teachers need to be prepared for this change and develop a stance and knowledge that further multilingualism. To promote learning, videos of a research project on multilingual pedagogies in early years were used in teacher education in Luxembourg. A questionnaire and group interviews with students showed that they developed new knowledge and worked on their stance towards multilingual education. The illustrations in the videos, the theory-led discussions as well as the students’ deep engagement and reflection promoted learning. [less ▲]

Detailed reference viewed: 7 (1 UL)
Full Text
Peer Reviewed
See detailEpistemological, critical and reflexive gymnastics: constructing research in "former Yugoslavia" in the face of the coloniality of knowledge
Blondel, Cyril UL

in Aiken, Gerald Taylor; Button, Cat (Eds.) Over-researched places (in press)

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and ... [more ▼]

This article is a story narrating the evolution of my own reflections during my Ph.D.: “Planning at the Borders of European Peripheries: The Serbia/Croatia Borderland and the EU Cooperation and Reconciliation Injunctions” (Ph.D. thesis, Tours, Université François-Rabelais, 2016). Using auto-ethnographic methods, this article demonstrates a conviction, the necessity to engage with a reflexive and critical approach, before, during, and after the production of research. I show first how I built the thesis’ epistemological approach, by progressively deconstructing classical theoretical frameworks (nationalist, postsocialist, post-Yugoslav). I expose and discuss then the outcomes of such a reflexivity, in particular how I gradually became conscious of the coloniality of (my) knowledge. These mental gymnastics allowed me to occasionally overcome – but regularly report on – the limits of my research, but also to recognize the unsurpassibility of certain aspects of my work connected to the situation in which I stated and conducted it. Reflecting on epistemological reflexivity contributes to clarifying scientific (in)validity of research, and better situates researcher’s arguments, their position and positionality. [less ▲]

Detailed reference viewed: 43 (0 UL)
See detailTrends from 2006-2018 in Health, Health Behaviour, Health Outcomes and Social Context of Adolescents in Luxembourg
Heinz, Andreas UL; van Duin, Claire UL; Kern, Matthias Robert UL et al

Report (in press)

This report shows how 30 health indicators developed in the four Luxembourg HBSC surveys conducted in 2006, 2010, 2014 and 2018. There were positive trends especially in the health behaviour of the pupils ... [more ▼]

This report shows how 30 health indicators developed in the four Luxembourg HBSC surveys conducted in 2006, 2010, 2014 and 2018. There were positive trends especially in the health behaviour of the pupils: they smoke less and drink less alcohol. They also report more frequently that they brush their teeth regularly, eat more fruit and fewer sweets and consume fewer soft drinks. From 2006-2018, however, there were also deteriorations. For example, more pupils feel stressed from school and rate the climate among classmates worse. In addition, there are more pupils who are overweight and exercise less and more pupils report having psychosomatic health complaints. [less ▲]

Detailed reference viewed: 23 (7 UL)
Full Text
Peer Reviewed
See detailYoung people feel wise and older people feel energetic: Comparing age stereotypes and self-evaluations across adulthood
Bowen, Catherine E.; Spuling, Svenja M.; Kornadt, Anna Elena UL et al

in European Journal of Ageing (in press)

Detailed reference viewed: 19 (0 UL)
Full Text
See detailMehrebenenanalyse schulischer Inklusion: Zwischen globaler Diffusion der Inklusionsrhetorik, behinderten Bildungskarrieren und institutionellen Pfadabhängigkeiten in Deutschland
Biermann, Julia; Pfahl, Lisa; Powell, Justin J W UL

in Dietze, T.; Gloystein, D.; Moser, V. (Eds.) et al Inklusion - Partizipation - Menschenrechte: Transformationen in die Teilhabegesellschaft? 10 Jahre UN-Behindertenrechtskonvention – Eine interdisziplinäre Zwischenbilanz (in press)

In Deutschland ist, wie in den meisten anderen Ländern Europas, eine Debatte über die Auflösung der traditionellen Dichotomie von Sonder- versus Regelschule zu beobachten. Diese Debatten reflektieren ... [more ▼]

In Deutschland ist, wie in den meisten anderen Ländern Europas, eine Debatte über die Auflösung der traditionellen Dichotomie von Sonder- versus Regelschule zu beobachten. Diese Debatten reflektieren, dass die derzeitige Lage im deutschen Schulsystem keineswegs einer Realisierung des Menschenrechts auf inklusive Bildung entspricht, wie es in Artikel 24 der UN-BRK verankert ist. Inklusive Bildung wird hier als gemeinsames Lernen an allgemeinen Schulen in allen Bildungsstufen definiert. Inklusion ist demnach weder vereinbar mit Sonderbeschulung (Segregation), Unterricht in separaten Klassen und Lerngruppen an allgemeinen Schulen (Separation) noch mit Unterricht, wel- cher zwar größtenteils gemeinsam stattfindet, jedoch nicht auf Vielfalt jeglicher Art ausgerichtet ist (etwa Schicht, Geschlecht, Migrationshintergrund, Behinderung) (Integration) (Committee on the Rights of Persons with Disabilities, 2016, S. 3). Die Institutionalisierung inklusiver Bildung setzt also eine De-Institutionalisierung segregierter und separierter Schulsysteme voraus (Biermann & Powell, 2014). Auf Grundlage dieses Verständnisses hat der UN Ausschuss für die Rechte von Menschen mit Behinderungen im Rahmen des Staatenberichtsverfahrens im Jahr 2015 auch die Entwicklungen in Deutschland kritisiert (Committee on the Rights of Persons with Disabilities, 2015, S. 8). Eine Transformation hin zu einem inklusiven Bildungssystem, in dem alle Schüler*innen möglichst lange gemeinsam lernen, hat es bisher nur regional bedingt gegeben (Autorengruppe Bildungsberichterstattung, 2014, 2016, 2018; Blanck, Edelstein & Powell, 2013). Obwohl sonderpädagogische Förderung je nach Bundesland und Kreis an sehr unterschiedlichen Lernorten bereitgestellt wird, ist im Aggregat dennoch die Persistenz der Sonderbeschulung nicht zu verleugnen (Autorengruppe Bildungsberichterstattung, 2014, 2016, 2018; Blanck, Edelstein & Powell, 2013). In den verschiedenen Regionen Deutschlands kommt es daher weder zu einer allgemeinen Angleichung der Lebensbedingungen noch zu einer Konvergenz in den Bildungschancen. Dies hat weitreichende Folgen für die gegenwärtige Schüler*innengeneration und nimmt negativen Einfluss auf individuelle Bildungskarrieren. Die Frage, mit welcher wir uns in diesem Beitrag beschäftigen, lautet daher: Welche Wirkung hat der völkerrechtlich anerkannte Auftrag, inklusive Bildung zu gewährleisten, auf das deutsche Schulsystem? [less ▲]

Detailed reference viewed: 26 (0 UL)
Full Text
Peer Reviewed
See detailClimate Finance: The case of developing States and legal readiness towards a transition to climate resilience
Alexandraki, Chrysa UL

in Sustainability (in press)

Climate change poses one of the greatest challenges on an international scale. Responding to this challenge requires the collective effort of all States, however, primary burden has been placed on climate ... [more ▼]

Climate change poses one of the greatest challenges on an international scale. Responding to this challenge requires the collective effort of all States, however, primary burden has been placed on climate finance deriving from developed States, reflecting a dichotomy amongst the member States to the UN climate change regime. The climate finance obligation, albeit justified under the UNFCCC and the principle of differentiation, does not come without challenges for both categories of States. Most of these challenges have focused so far on the donor side, as well as the institutional design and policy weaknesses of the development institutions administering and disbursing climate finance. Considerable challenges, however, also exist on the beneficiary side, especially due to the lack of national climate finance readiness and solid institutional frameworks and policies in recipient countries. This paper focuses on the legal aspects of readiness for climate finance examining the regulatory tools currently deployed by developing States to strengthen their domestic capacities. First, it elaborates on the climate finance obligation per se, while embarking on analyzing this obligation and the challenges it entails under the UN climate change framework. Second, it examines the concept of legal readiness by analyzing what it means to be ready for climate finance, the rationale of legal readiness and the role of law in enhancing developing States’ readiness for climate finance. In doing so, the paper elaborates on the existing taxonomies and guidelines on legal readiness for climate finance, as well as the regulatory and policy tools extensively utilized for this purpose in developing countries. Third, the paper demonstrates the case study of Bangladesh as a country that has advanced and adjusted its national legislation and policies, in order to enhance its legal readiness for climate finance. [less ▲]

Detailed reference viewed: 45 (26 UL)
Full Text
Peer Reviewed
See detailRestricted hypercontractivity on the Poisson space
Nourdin, Ivan UL; Peccati, Giovanni UL; Yang, Xiaochuan UL

in Proceedings of the American Mathematical Society (in press)

Detailed reference viewed: 23 (1 UL)
Full Text
Peer Reviewed
See detailOversampled DFT-Modulated Biorthogonal Filter Banks: Perfect Reconstruction Designs and Multiplierless Approximations
Alves Martins, Wallace UL; Shankar, Bhavani UL; Ottersten, Björn UL

in IEEE Transactions on Circuits and Systems. II, Express Briefs (in press)

We propose a novel methodology for designing oversampled discrete Fourier transform-modulated uniform filter banks. The analysis prototype is designed as a Nyquist filter, whereas the synthesis prototype ... [more ▼]

We propose a novel methodology for designing oversampled discrete Fourier transform-modulated uniform filter banks. The analysis prototype is designed as a Nyquist filter, whereas the synthesis prototype is designed to guarantee perfect reconstruction (PR) considering oversampling. The resulting optimization problem fits into the disciplined convex programming framework, as long as some convex objective function is employed, as the minimization of either the stop-band energy or the maximum deviation from a desired response. The methodology also accounts for near-PR multiplierless approximations of the prototype analysis and synthesis filters, whose coefficients are obtained in the sum-of-power-of-two (SOPOT) space. The quantized coefficients are computed using successive approximation of vectors, which is able to yield filters with a reduced number of SOPOT coefficients in a computationally efficient manner. The proposed methodology is especially appealing for supporting actual hardware deployments, such as modern digital transparent processors to be used in next-generation satellite payloads. [less ▲]

Detailed reference viewed: 136 (8 UL)
Full Text
See detailSpiel-Werke. Perspektiven auf literarische Spiele und Games
Sieburg, Heinz UL; Amann, Wilhelm UL

Book published by transcript (in press)

Detailed reference viewed: 27 (0 UL)