Causal coupling inference from multivariate time series based on ordinal partition transition networks

Identifying causal relationships is a challenging yet crucial problem in many fields of science like epidemiology, climatology, ecology, genomics, economics and neuroscience, to mention only a few. Recent studies have demonstrated that ordinal partition transition networks (OPTNs) allow inferring the coupling direction between two dynamical systems. In this work, we generalize this concept to the study of the interactions among multiple dynamical systems and we propose a new method to detect causality in multivariate observational data. By applying this method to numerical simulations of coupled linear stochastic processes as well as two examples of interacting nonlinear dynamical systems (coupled Lorenz systems and a network of neural mass models), we demonstrate that our approach can reliably identify the direction of interactions and the associated coupling delays. Finally, we study real-world observational microelectrode array electrophysiology data from rodent brain slices to identify the causal coupling structures underlying epileptiform activity. Our results, both from simulations and real-world data, suggest that OPTNs can provide a complementary and robust approach to infer causal effect networks from multivariate observational data

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Continuous Team Semantics

Peer reviewe

USING VIRTUAL OR AUGMENTED REALITY for the TIME-BASED STUDY of COMPLEX UNDERWATER ARCHAEOLOGICAL EXCAVATIONS

International audienceCultural Heritage (CH) resources are partial, heterogeneous, discontinuous, and subject to ongoing updates and revisions. The use of semantic web technologies associated with 3D graphical tools is proposed to improve access, exploration, exploitation and enrichment of these CH data in a standardized and more structured form. This article presents the monitoring work developed for more than ten years on the excavation of the Xlendi site. Around an exceptional shipwreck, the oldest from the Archaic period in the Western Mediterranean, we have set up a unique excavation at a depth of 110m assisted by a rigorous and continuous photogrammetry campaign. All the collected results are modelled by an ontology and visualized with virtual and augmented reality tools that allow a bidirectional link between the proposed graphical representations and the non-graphical archaeological data. It is also important to highlight the development of an innovative 3D mobile app that lets users study and understand the site as well as experience sensations close to those of a diver visiting the site

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201