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 detailIntroducing Luxembourg: Ephemeral Sustainabilities
Carr, Constance UL

in Krueger, Rob; Freytag, Tim; Mössner, Samuel (Eds.) Adventures in Sustainable Urbanism (2019)

Table of Contents 1. Constructing Sustainable Development Robert Krueger, Tim Freytag and Samuel Mossner 2. The Rise of Sustainable Urban Development Robert Krueger, Tim Freytag, and Samuel Mossner 3. A ... [more ▼]

Table of Contents 1. Constructing Sustainable Development Robert Krueger, Tim Freytag and Samuel Mossner 2. The Rise of Sustainable Urban Development Robert Krueger, Tim Freytag, and Samuel Mossner 3. A Tale of Two Cities: Christchurch, New Zealand, and Sustainable Urban Disaster Recovery Tim Baird and C. Michael Hall 4. Reworking Newtown Creek Winifred Curran and Trina Hamilton 5. From Sprawling Cowtown to Social Sustainability Pioneer: The Sustainability Journey of Calgary, Alberta Freya Kristensen 6. The Greenest City Experience: Exploring Social Action and Social Sustainability in Vancouver, Canada Marit Rosol and Cristina Temenos 7. Introducing Luxembourg: Ephemeral Sustainabilities Constance Carr 8. Montpellier Écocité: From Growth Machine to Sustainability? David Giband 9. Building Ecopolis in the World’s Factory: A Field Note on Sino-Singapore Tianjin Eco-city I-Chun Catherine Chang 10. Sustainable Empire? Michal Kohout 11. Middle-Class Family Enclavism and Solidarity from a Distance Notes from a Field of Contradictions in Dortmund, Germany Susanne Frank 12. A Conclusion? Or, Toward a New Beginning? Robert Krueger, Tim Freytag, and Samuel Mossner [less ▲]

Detailed reference viewed: 137 (3 UL)
Peer Reviewed
See detailIntroducing MaFIN. A dynamic matrices finite state automata test
Kunze, Thiemo UL; Krieger, Florian UL; Stadler, Matthias UL et al

Scientific Conference (2018, July)

Detailed reference viewed: 133 (15 UL)
See detailIntroducing Multilingualism A Social Approach
Weber, Jean-Jacques UL; Horner, Kristine

Book published by Routledge (2012)

Detailed reference viewed: 387 (33 UL)
Full Text
See detailIntroducing new open science practices at EJPA. European Journal of Psychological Assessment
Greiff, Samuel UL; van der Westhuizen, Lindie UL; Mund, M et al

in European Journal of Psychological Assessment (2020), 36

Detailed reference viewed: 91 (0 UL)
Full Text
Peer Reviewed
See detailIntroducing reactive Kripke semantics and arc accessibility
Gabbay, Dov M. UL

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 7-53

Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged. This ... [more ▼]

Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged. This paper studies Kripke models which react to the evaluation process and change themselves during the process. The additional device we add to Kripke semantics to make it reactive is to allow the accessibility relation to access itself. Thus the accessibility relation R of a reactive Kripke model contains not only pairs (a,b)∈R of possible worlds (b is accessible to a, i.e., there is an accessibility arc from a to b) but also pairs of the form (t ,(a,b))∈R, meaning that the arc (a,b) is accessible to t, or even connections of the form((a,b),(c,d))∈R. This new kind of Kripke semantics allows us to characterise more axiomatic modal logics (with one modality) by a class of reactive frames. There are logics which cannot be characterised by ordinary frames but which can be characterised by reactive frames. We also discuss the manifestation of the ‘reactive’ idea in the context of automata theory, where we allow the automaton to react and change it’s own definition as it responds to input, and in graph theory, where the graph can change under us as we manipulate it. [less ▲]

Detailed reference viewed: 110 (4 UL)
Full Text
Peer Reviewed
See detailIntroducing Reactive Kripke Semantics and Arc Accessibility
Gabbay, Dov M. UL

in Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (2008)

Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged. This ... [more ▼]

Ordinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A at a model m, the model does not react, respond or change while we evaluate. The model is static and unchanged. This paper studies Kripke models which react to the evaluation process and change themselves during the process. The additional device we add to Kripke semantics to make it reactive is to allow the accessibility relation to access itself. Thus the accessibility relation R of a reactive Kripke model contains not only pairs (a,b)∈R of possible worlds (b is accessible to a, i.e., there is an accessibility arc from a to b) but also pairs of the form (t,(a,b))∈R, meaning that the arc (a,b) is accessible to t, or even connections of the form ((a,b), (c,d))∈R. This new kind of Kripke semantics allows us to characterise more axiomatic odal logics (with one modality []) by a class of reactive frames. There are logics which cannot be characterised by ordinary frames but which can be characterised by reactive frames. We also discuss the manifestation of the ‘reactive’ idea in the context of automata theory, where we allow the automaton to react and change it’s own definition as it responds to input, and in graph theory, where the graph can change under us as we manipulate it. [less ▲]

Detailed reference viewed: 105 (0 UL)
Full Text
Peer Reviewed
See detailIntroducing reactive modal tableaux
Gabbay, Dov M. UL

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 55-79

This paper introduces the idea of reactive semantics and reactive Beth tableaux for modal logic and quotes some of its applications. The reactive idea is very simple. Given a system with states and the ... [more ▼]

This paper introduces the idea of reactive semantics and reactive Beth tableaux for modal logic and quotes some of its applications. The reactive idea is very simple. Given a system with states and the possibility of transitions moving from one state to another, we can naturally imagine a path beginning at an initial state and moving along the path following allowed transitions. If our starting point is s0, and the path is s0,s1,...,sn, then the system is ordinary non-reactive system if the options available at sn (i.e., which states t we can go to from sn) do not depend on the path s0,...,sn (i.e., do not depend on how we got to sn). Otherwise if there is such dependence then the system is reactive. It seems that the simple idea of taking existing systems and turning them reactive in certain ways, has many new applications. The purpose of this paper is to introduce reactive tableaux in particular and illustrate and present some of the applications of reactivity in general. Mathematically one can take a reactive system and turn it into an ordinary system by taking the paths as our new states. This is true but from the point of view of applications there is serious loss of information here as the applicability of the reactive system comes from the way the change occurs along the path. In any specific application, the states have meaning, the transitions have meaning and the paths have meaning. Therefore the changes in the system as we go along a path can have very important meaning in the context, which enhances the usability of the model. [less ▲]

Detailed reference viewed: 102 (4 UL)
Full Text
Peer Reviewed
See detailIntroducing SOR: SSH-based Onion Routing
Egners, Andre; Gatzen, Dominic; Panchenko, Andriy UL et al

in 26th IEEE International Conference on Advanced Information Networking and Applications (2012)

Detailed reference viewed: 179 (1 UL)
See detailIntroducing SUSTAINLUX
Carr, Constance UL

Presentation (2010, July)

Detailed reference viewed: 65 (1 UL)
Full Text
See detailIntroducing the COVID-19 crisis Special Education Needs Coping Survey
Dukes, Daniel; Van Herwegen, Jo; Alessandri, Michael et al

E-print/Working paper (2021)

Individuals with special education needs have been particularly affected by the COVID-19 pandemic as they have been shown to be at high risk of losing medical and institutional support at a time when ... [more ▼]

Individuals with special education needs have been particularly affected by the COVID-19 pandemic as they have been shown to be at high risk of losing medical and institutional support at a time when people are being asked to stay isolated, suffering increased anxiety and depression as a consequence. Their families have often found themselves under tremendous pressure to provide support, engendering financial hardship, and physical and emotional strains. In such times, it is vital that international collaborations assess the impact on the individuals and their families, affording the opportunity to make national and international comparisons of how people have coped and what needs to be done to optimize the measures taken by families, associations and governments. This paper introduces one such collaboration. [less ▲]

Detailed reference viewed: 146 (8 UL)
Peer Reviewed
See detailIntroducing the DHARPA Project: An interdisciplinary lab to enable critical DH practice
Viola, Lorella UL; Cunningham, Angela UL; Jascov, Helena

Scientific Conference (2021)

Detailed reference viewed: 38 (13 UL)
Full Text
Peer Reviewed
See detailIntroducing the DHARPA Project: An Interdisciplinary Lab to Enable Critical DH Practice
Viola, Lorella UL; Cunningham, Angela; Jaskov, Helena UL et al

in DH Benelux Journal (2022), 4(1), 29-41

In this article, we introduce software under development by the Digital History Advanced Research Projects Accelerator (DHARPA), an interdisciplinary team of researchers and developers working to enable ... [more ▼]

In this article, we introduce software under development by the Digital History Advanced Research Projects Accelerator (DHARPA), an interdisciplinary team of researchers and developers working to enable best practices in the humanities through technology. We argue that the strength and appeal of historical inquiry lies largely in the relationship between scholars and their sources, a connection in which the former engage with the latter through critical assessment, contextualisation and documentation. However, we also contend that these symbiotic processes themselves need to be evaluated and recorded. While digital tools and techniques have been accused of alienating historians from their materials, critically informed digital methodologies can also fortify and extend this relationship. To that end, we are building software that will enable users to not only apply best practices to their sources but also to allow them to write the history of those interactions, thus providing material for self-reflection and critique. In this article, having laid out our goal, we describe how the modular and datacentric design of our software’s backend and the interactive documentary capabilities of its frontend operationalize a critical epistemology centered on the scholar-source relationship. We continue with a discussion of our team’s internal dynamics in creating this software, and conclude with an invitation to readers to contribute to the process through commentary and testing. [less ▲]

Detailed reference viewed: 24 (0 UL)
See detailIntroducing the dimension of suffering to mechanically induced phasic and tonic pain
González Roldán, Ana Maria UL; Bustan, Smadar UL; Kamping, Sandra et al

Scientific Conference (2014, October 10)

Detailed reference viewed: 86 (1 UL)
See detailIntroduction
Luchtman, Michiel; Ligeti, Katalin UL; Vervaele, John

in Luchtman, Michiel; Ligeti, Katalin; Vervaele, John (Eds.) EU enforcement authorities - Punitive law enforcement in a composite legal order (in press)

Full Text
See detailIntroduction
Pettiau, Hérold UL; Wagner, Anne; Meyer, Frédéric

in Pettiau; Wagner, Anne (Eds.) L'évêque contesté. Les résistances à l'autorité épiscopale des Pays-Bas à l'Italie du Nord (2023)

The study of such a problematic over such a long period, from the tenth to the seventeenth century, adopted by the Lodocat project, needs to be marked out even briefly. The contributions, grouped in four ... [more ▼]

The study of such a problematic over such a long period, from the tenth to the seventeenth century, adopted by the Lodocat project, needs to be marked out even briefly. The contributions, grouped in four thematic and chronological parts, examine the representation of episcopal authority at the local level and the competition between different models of episcopal action. [less ▲]

Peer Reviewed
See detailIntroduction
Zetzsche, Dirk Andreas UL

in The Alternative Investment Fund Managers Directive (2020)

Full Text
Peer Reviewed
See detailIntroduction
Steveker, Lena UL; Frenk, Joachim

in Journal for the Study of British Cultures (2022), 29(1), 7-18

Detailed reference viewed: 12 (2 UL)
Full Text
Peer Reviewed
See detailIntroduction
Steveker, Lena UL; Frenk, Joachim

in Zeitschrift für Anglistik und Amerikanistik (2022), 70(2), 123-130

Detailed reference viewed: 17 (1 UL)
Full Text
Peer Reviewed
See detailIntroduction
Mourlon-Druol, Emmanuel; Clavert, Frédéric UL

in Politique Européenne (2022), 2022(2), 6-11

Le vingtième siècle européen a été caractérisé par des visions concurrentes et/ou conflictuelles de l'organisation du continent. Cette introduction générale explique pourquoi les éditeurs ont décidé de se ... [more ▼]

Le vingtième siècle européen a été caractérisé par des visions concurrentes et/ou conflictuelles de l'organisation du continent. Cette introduction générale explique pourquoi les éditeurs ont décidé de se concentrer sur la période de la guerre froide, présente brièvement le contexte historique plus large et clarifie enfin l'utilisation du mot "asymétrie". [less ▲]

Detailed reference viewed: 19 (0 UL)
Full Text
Peer Reviewed
See detailIntroduction
Steveker, Lena UL; Frenk, Joachim

in Critical Survey (2022), 34(2), 1-9

Detailed reference viewed: 42 (4 UL)