Publications associées à Connecteur logique

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Programmable Seizure Detector Using a 32-bit RISC Processor for Implantable Medical Devices

Alexandre Schmid, Keyvan Farhang Razi

A programmable patient-customized epileptic seizure detector is proposed in this paper to enable neurologists and patients to have constructive interactions with the implantable medical device. The programmability feature is enabled by designing a low-powe ...

IEEE2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

Brain microstructural and functional MRI: developments and application to a rat model of Alzheimer's disease

Yujian Diao

Magnetic resonance imaging (MRI) has been a valuable tool in investigating the pathological cascade of Alzheimer's disease (AD) and its progression, which are still open questions. Although some MRI-derived hallmarks in terms of functional connectivity and ...

EPFL2023

Tractography passes the test: Results from the diffusion-simulated connectivity (disco) challenge

Jean-Philippe Thiran, Gabriel Girard, Erick Jorge Canales Rodriguez, Juan Luis Villarreal Haro, Alessandro Daducci, Alonso Ramirez Manzanares, Marco Pizzolato, Ying-Chia Lin, Sara Sedlar, Caio Seguin

Estimating structural connectivity from diffusion-weighted magnetic resonance imaging is a challenging task, partly due to the presence of false-positive connections and the misestimation of connection weights. Building on previous efforts, the MICCAI-CDMR ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

Linking connectivity of deep brain stimulation of nucleus accumbens area with clinical depression improvements: a retrospective longitudinal case series

Dimitri Nestor Alice Van De Ville, Maria Giulia Preti, Thuy Anh Khoa Nguyen, Katrin Petermann, Simona Leserri

Treatment-resistant depression is a severe form of major depressive disorder and deep brain stimulation is currently an investigational treatment. The stimulation's therapeutic effect may be explained through the functional and structural connectivities be ...

Springer Heidelberg2024

THE PHASE TRANSITION FOR PLANAR GAUSSIAN PERCOLATION MODELS WITHOUT FKG

Alejandro Rivera

We develop techniques to study the phase transition for planar Gaussian percolation models that are not (necessarily) positively correlated. These models lack the property of positive associations (also known as the 'FKG inequality'), and hence many classi ...

Inst Mathematical Statistics-Ims2023

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Improving Functional Connectome Fingerprinting with Degree-Normalization

Enrico Amico

Background: Functional connectivity quantifies the statistical dependencies between the activity of brain regions, measured using neuroimaging data such as functional magnetic resonance imaging (fMRI) blood-oxygenation-level dependent time series. The netw ...

MARY ANN LIEBERT, INC2022

Flowing Gas Experiments Reveal Mechanistic Details of Interfacial Reactions on a Molecular Level at Knudsen Flow Conditions

Christian Ludwig, Michel Rossi, Riccardo Iannarelli

Knudsen flow experiments and its interpretation in terms of adsorption/desorption kinetics as well as quantitative uptake on substrates of interest is presented together with the description of critical design parameters of the Knudsen Flow Reactor (KFR). ...

2022