1,721,271 research outputs found
The fuzzy place of interreligious dialogue in the international community’s intercultural dialogue efforts
No full textThis paper aims to shed light on the diverse role and place attributed to interreligious dialogue in the intercultural dialogue initiatives advanced by a wealth of international organisations over the last 20 years. It claims that the position of interreligious dialogue within these broader international efforts can be either blended, disjunct, autonomous or neglected, and that this variation primarily depends on how each organisation has dealt with both the position of the West-Islam juxtaposition in the definition and implementation of its intercultural dialogue agenda, and on its specific understanding of the relation between the concepts of culture and religion. Analysing the discourse, governance and policy dimensions of a wealth of such international organisations’ initiatives, this paper provides a typology of existing approaches to interreligious dialogue which will further contribute exposing the underlying rationale behind intercultural dialogue efforts in international politics and untangling the fuzziness around this concept
Hybrid Automata in Systems Biology: How far can we go?
Full text linkWe consider the reachability problem on semi-algebraic hybrid automata. In particular, we deal with the effective cost that has to be afforded to solve reachability through first-order satisfiability.
The analysis we perform with some existing tools shows that even simple examples cannot be efficiently solved. We need approximations to reduce the number of variables in our formulae: this is the main source of time computation growth. We study standard approximation methods based on Taylor polynomials and ad-hoc strategies to solve the problem and we show their effectiveness on the repressilator case study
Hybrid automata, reachability, and Systems Biology
Full text linkHybrid automata are a powerful formalism for the representation of systems evolving according to both discrete and continuous laws. Unfortunately, undecidability soon emerges when one tries to automatically verify hybrid automata properties. An important verification problem is the reachability one that demands to decide whether a set of points is reachable from a starting region. If we focus on semi-algebraic hybrid automata the reachability problem is semi-decidable. However, high computational costs have to be afforded to solve it. We analyse this problem by exploiting some existing tools and we show that even simple examples cannot be efficiently solved. It is necessary to introduce approximations to reduce the number of variables, since this is the main source of runtime requirements. We propose some standard approximation methods based on Taylor polynomials and ad hoc strategies. We implement our methods within the software SAHA-Tool and we show their effectiveness on two biological examples: the Repressilator and the Delta-Notch protein signaling. © 2010 Elsevier B.V. All rights reserved
Progetto definitivo delle strutture del nuovo ponte sul Ticino a vigevano, con archi binati su due campate in calcestruzzo bianco ad alte prestazioni ed impalcato sospeso con sezione a cassone in calcestruzzo alte prestazioni
No full textThe Culture of Peace for the Security of Future Generations. International and Local Democracy: Way of Peace.
No full textThe Culture of Peace for the Security of Future Generations. Peace, Human Security and Human Development
No full textThe Culture of Peace for the Security of Future Generations. Peace and Human Rights. Volume 1
No full textThe Culture of Peace for the Security of Future Generations. Education for Culture of Peace and Human Rights.
No full text- …
