A dataflow platform for applications based on Linked Data

Modern software applications increasingly benefit from accessing the multifarious and heterogeneous Web of Data, thanks to the use of web APIs and Linked Data principles. In previous work, the authors proposed a platform to develop applications consuming Linked Data in a declarative and modular way. This paper describes in detail the functional language the platform gives access to, which is based on SPARQL (the standard query language for Linked Data) and on the dataflow paradigm. The language features interactive and meta-programming capabilities so that complex modules/applications can be developed. By adopting a declarative style, it favours the development of modules that can be reused in various specific execution context

Invariants of spin networks with boundary in Quantum Gravity and TQFT's

The search for classical or quantum combinatorial invariants of compact n-dimensional manifolds (n=3,4) plays a key role both in topological field theories and in lattice quantum gravity. We present here a generalization of the partition function proposed by Ponzano and Regge to the case of a compact 3-dimensional simplicial pair $(M^3, \partial M^3)$. The resulting state sum $Z[(M^3, \partial M^3)]$ contains both Racah-Wigner 6j symbols associated with tetrahedra and Wigner 3jm symbols associated with triangular faces lying in $\partial M^3$. The analysis of the algebraic identities associated with the combinatorial transformations involved in the proof of the topological invariance makes it manifest a common structure underlying the 3-dimensional models with empty and non empty boundaries respectively. The techniques developed in the 3-dimensional case can be further extended in order to deal with combinatorial models in n=2,4 and possibly to establish a hierarchy among such models. As an example we derive here a 2-dimensional closed state sum model including suitable sums of products of double 3jm symbols, each one of them being associated with a triangle in the surface.Comment: 9 page

SPARQL Playground: A block programming tool to experiment with SPARQL

SPARQL is a powerful query language for SemanticWeb data sources but one which is quite complex to master. As the block programming paradigm has been succesfully used to teach programming skills, we propose a tool that allows users to build and run SPARQL queries on an endpoint without previous knowledge of the syntax of SPARQL and the model of the data in the endpoint (vocabularies and semantics). This user interface attempts to close the gap between tools for the lay user that do not allow to express complex queries and overtly complex technical tools

Conditions, constraints and contracts: on the use of annotations for policy modeling.

Organisational policies express constraints on generation and processing of resources. However, application domains rely on transformation processes, which are in principle orthogonal to policy specifications and domain rules and policies may evolve in a non-synchronised way. In previous papers, we have proposed annotations as a flexible way to model aspects of some policy, and showed how they could be used to impose constraints on domain configurations, how to derive application conditions on transformations, and how to annotate complex patterns. We extend the approach by: allowing domain model elements to be annotated with collections of elements, which can be collectively applied to individual resources or collections thereof; proposing an original construction to solve the problem of annotations remaining orphan , when annotated resources are consumed; introducing a notion of contract, by which a policy imposes additional pre-conditions and post-conditions on rules for deriving new resources. We discuss a concrete case study of linguistic resources, annotated with information on the licenses under which they can be used. The annotation framework allows forms of reasoning such as identifying conflicts among licenses, enforcing the presence of licenses, or ruling out some modifications of a licence configuration

Age-related effects on spatial memory across viewpoint changes relative to different reference frames

Remembering object positions across different views is a fundamental competence for acting and moving appropriately in a large-scale space. Behavioural and neurological changes in elderly subjects suggest that the spatial representations of the environment might decline compared to young participants. However, no data are available on the use of different reference frames within topographical space in aging. Here we investigated the use of allocentric and egocentric frames in aging, by asking young and older participants to encode the location of a target in a virtual room relative either to stable features of the room (allocentric environment-based frame), or to an unstable objects set (allocentric objects-based frame), or to the viewer's viewpoint (egocentric frame). After a viewpoint change of 0$,^{circ}$ (absent), 45$,^{circ}$ (small) or 135$,^{circ}$ (large), participants judged whether the target was in the same spatial position as before relative to one of the three frames. Results revealed a different susceptibility to viewpoint changes in older than young participants. Importantly, we detected a worst performance, in terms of reaction times, for older than young participants in the allocentric frames. The deficit was more marked for the environment-based frame, for which a lower sensitivity was revealed as well as a worst performance even when no viewpoint change occurred. Our data provide new evidence of a greater vulnerability of the allocentric, in particular environment-based, spatial coding with aging, in line with the retrogenesis theory according to which cognitive changes in aging reverse the sequence of acquisition in mental development

Neural codes for one’s own position and direction in a real-world “vista” environment

Humans, like animals, rely on an accurate knowledge of one’s spatial position and facing direction to keep orientated in the surrounding space. Although previous neuroimaging studies demonstrated that scene-selective regions (the parahippocampal place area or PPA, the occipital place area or OPA and the retrosplenial complex or RSC), and the hippocampus (HC) are implicated in coding position and facing direction within small-(room-sized) and large-scale navigational environments, little is known about how these regions represent these spatial quantities in a large open-field environment. Here, we used functional magnetic resonance imaging (fMRI) in humans to explore the neural codes of these navigationally-relevant information while participants viewed images which varied for position and facing direction within a familiar, real-world circular square. We observed neural adaptation for repeated directions in the HC, even if no navigational task was required. Further, we found that the amount of knowledge of the environment interacts with the PPA selectivity in encoding positions: individuals who needed more time to memorize positions in the square during a preliminary training task showed less neural attenuation in this scene-selective region. We also observed adaptation effects, which reflect the real distances between consecutive positions, in scene-selective regions but not in the HC. When examining the multi-voxel patterns of activity we observed that scene-responsive regions and the HC encoded both spatial information and that the RSC classification accuracy for positions was higher in individuals scoring higher to a self-reported questionnaire of spatial abilities. Our findings provide new insight into how the human brain represents a real, large-scale “vista” space, demonstrating the presence of neural codes for position and direction in both scene-selective and hippocampal regions, and revealing the existence, in the former regions, of a map-like spatial representation reflecting real-world distance between consecutive positions

La Mediación penal en Italia entre resistencias culturales, herencias inquisidoras y respeto por las garantías fundamentales

n/

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean. We will see that the difference between these two logical structures, namely the different behaviour of the negation operator, can be interpreted in terms of a distinction between non-deterministic and deterministic behaviours of agents able to perform computations in the context of the same process. Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting. Relations are also drawn to other computational model

A human computer interactions framework for biometric user identification

Computer assisted functionalities and services have saturated our world becoming such an integral part of our daily activities that we hardly notice them. In this study we are focusing on enhancements in Human-Computer Interaction (HCI) that can be achieved by natural user recognition embedded in the employed interaction models. Natural identification among humans is mostly based on biometric characteristics representing what-we-are (face, body outlook, voice, etc.) and how-we-behave (gait, gestures, posture, etc.) Following this observation, we investigate different approaches and methods for adapting existing biometric identification methods and technologies to the needs of evolving natural human computer interfaces

From War to Integration: Generalizing the Dynamic of Power Transitions

Generalizing the dynamics implied by power transition theory, we characterize the structural conditions that lead nations to initiate conflict or choose to integrate. The relationship between changes in relative power, hierarchical structures, and joint satisfaction are used to identify the structural conditions for conflict and cooperation. Empirical tests for the last two centuries confirm the strength and robustness of this characterization. In addition, long term assessments of Pax Britannica, the Cold War, and China’s potential challenge to the United States in this century are used to illustrate the precision of these findings. The fundamental implication is that structural conditions provide the pre-conditions for conflict and cooperation, but decision makers have leeway in advancing policies that eventually lead to either war or peace.