BMS revisited

in Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (2009)

The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation ... [more ▼]

The insight of the BMS logical framework (proposed by Baltag, Moss and Solecki) is to represent how an event is perceived by several agents very similarly to the way one represents how a static situation is perceived by them: by means of a Kripke model. There are however some differences between the definitions of an epistemic model (representing the static situation) and an event model. In this paper we restore the symmetry. The resulting logical framework allows, unlike any other one, to express statements about ongoing events and to model the fact that our perception of events (and not only of the static situation) can also be updated due to other events. We axiomatize it and prove its decidability. Finally, we show that it embeds the BMS one if we add common belief operators. [less ▲]

Ordnungen der Kindheit Problemstellungen und Perspektiven der Kindheitsforschung

Book published by Juventa (2009)

Agent-based Distributed Resource Allocation in Continuous Dynamic Systems

in Ahmed, Salman; Karsiti, Mohd Noh (Eds.) Multiagent Systems (2009)

Intelligent agents and multiagent systems reveal new strategies to design highly flexible automation systems. There are first promising industrial applications of multiagent systems for the control of ... [more ▼]

Intelligent agents and multiagent systems reveal new strategies to design highly flexible automation systems. There are first promising industrial applications of multiagent systems for the control of manufacturing, logistics, traffic or multi-robot systems. One reason for the success of most of these applications is their nature as some form of a distributed resource allocation problem which can be addressed very well by multiagent systems. Resource allocation problems solved by agents can be further categorized into static or dynamic problems. In static problems, the allocations do not depend on time and many resource allocation problem of practical interest can be solved using these static considerations, even in discrete-event systems like manufacturing or logistic systems. However, problems especially in highly dynamic environments cannot be addressed by this pure static approach since the allocations, i.e. the decision variables, depend on time and previous states of the considered system. These problems are hardly considered in the relevant agent literature and if, most often only discrete-event systems are considered. This work focuses on agent-based distributed dynamic resource allocation problems especially in continuous production systems or other continuous systems. Based on the current states of the distributed dynamic system, continuous-time allocation trajectories must be computed in real-time. Designing multiagent systems for distributed resource allocation mainly comprises the design of the local capabilities of the single agents and the interaction mechanisms that makes them find the best or at least a feasible allocation without any central control. In this work, the agents are designed as two-level entities: while the low-level functions are responsible for the real-time allocation of the resources in the form of closed-loop feedback control, the high-level functionalities realize the deliberative capabilities such as long-term planning and negotiation of the resource allocations. Herein, the resource allocation problem is considered as a distributed optimization problem under certain constraints. The agents play the role of local optimizers which then have to coordinate their local solutions to an overall consistent solution. It is shown in this contribution that the described approach can be interpreted as a market-based allocation scheme based on balancing of supply and demand of the resources using a virtual price. However, the agents calculate and negotiate complete supply and demand trajectories using model-based predictions which also leads to the calculation of a price trajectory. This novel approach does not only consider the dynamic behaviour of the distributed system but also combines control tasks and resource allocation in a very consistent way. The approach is demonstrated using two practical applications: a heating system and an industrial sugar extraction process. [less ▲]

Bilderbücher! Ich werd' doch nicht blöd!

in Ministère de la Famille et de l'Intégration; Entente des Foyers de Jour; Syndicat des Villes et Communes luxembourgeoises (Eds.) et al Maisons Relais pour enfants: le manuel, das Handbuch (2009)

Rethinking contexts for teaching and learning. Communities, activities and networks.

Book published by Routledge (2009)

Fragmenting and integrating visuo-spatial working memory.

in Brockmole, James (Ed.) The Visual World in Memory (2009)

Time-resolved analysis of transcriptional events during SNAI1-triggered epithelial to mesenchymal transition

in Biochemical and Biophysical Research Communications (2009), 385(4), 485-91

The transcription regulator SNAI1 triggers a transcriptional program leading to epithelial to mesenchymal transition (EMT), providing epithelial cells with mesenchymal features and invasive properties ... [more ▼]

The transcription regulator SNAI1 triggers a transcriptional program leading to epithelial to mesenchymal transition (EMT), providing epithelial cells with mesenchymal features and invasive properties during embryonic development and tumor progression. To identify early transcriptional changes occurring during SNAI1-induced EMT, we performed a time-resolved genome-scale study using human breast carcinoma cells conditionally expressing SNAI1. The approach we developed for microarray data analysis, allowed identifying three distinct EMT stages and the temporal classification of genes. Importantly, we identified unexpected, biphasic expression profiles of EMT-associated genes, supporting their pivotal role during this process. Finally, we established early EMT gene networks by identifying transcription factors and their potential targets which may orchestrate early events of EMT. Collectively, our work provides a framework for the identification and future systematic analysis of novel genes which contribute to SNAI1-triggered EMT. [less ▲]

Complessità e rendimento di sistemi educativi

in Abbona, Francesco; Del Re, Francesco; Monaco, Guglielmo (Eds.) Complessità dinamica dei processi educativi. Aspetti teorici e pratici (2009)

Curriculum, Languages, and Mentalities

in Baker, Bernadette (Ed.) New Curriculum History (2009)

Die Begleitung von Sterbenden und Trauernden

in Willems, Helmut; Rotink, G.; Ferring, Dieter (Eds.) et al Handbuch der sozialen und erzieherischen Arbeit in Luxemburg / Manuel de l'intervention sociale et éducative au Grand-Duché de Luxembourg (2009)