Link-based data may be studied formally by means of unordered trees. On a dataset formed by such link-based data, a natural notion of support-based closure can be immediately defined. Abstracting information from subsets of such data requires, first, a formal notion of intersection; second, deeper understanding of the notion of closure; and, third, efficient algorithms for computing intersectio...

Focusing on the relationship between built environmental characteristics and environmental preference, the present study aims to investigate the expressed aesthetic preference toward different architectural styles of buildings in reference to how old they are. The graph model of Mallot (2000) assumes that the main issue relative to the spatial behaviour refers to the relationship between type o...

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this talk, the current state of the art...

Neuropsychological investigations of visual imagery and representations have led to a deeper understanding of the spatial perception, representation and memory. But how each individual perceives object’s geometrical properties and how they differ from person to person, both under event-related memory and normal recollecting memory in the presence or in the absence of direct sensory stimulation ...

BACKGROUND Zegerid (on demand immediate-release omeprazole and sodium bicarbonate combination therapy) has demonstrated earlier absorption and more rapid pH change compared with Losec (standard enteric coated omeprazole), suggesting more rapid clinical relief of heartburn. This Phase III, multicenter, double-blind, double-dummy, randomized study assessed the clinical superiority of Zegerid vers...

∗Speaker. †We (S.D. and P.U.) thank the Galileo Galilei Institute for Theoretical Physics in Florence for the hospitality and the INFN for partial support during the completion of this work. P.U. is supported as Heisenberg Fellow of the Deutsche Forschungsgemeinschaft DFG. This work is supported in part by the European Community’s Marie-Curie Research Training Network HEPTOOLS under contract MR...