Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Connecteur logique

Publications associées (26)

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

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, Alessandro Daducci, Erick Jorge Canales Rodriguez, Gabriel Girard, Marco Pizzolato, Ying-Chia Lin, Juan Luis Villarreal Haro

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

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, Dragana Milovancevic, Mario Bucev

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

Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits

Giovanni De Micheli, Heinz Riener, Alessandro Tempia Calvino, Akash Kumar

Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...

2022

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Giovanni De Micheli, Heinz Riener, Akash Kumar

Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...

IEEE2021

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Ilan Vardi, Hubert Pierre-Marie Benoît Schneegans, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

AMER SOC MECHANICAL ENGINEERS2020

Six additional replies - one more chorus of the S3 ballad

Dominique Foray

This paper has been written as a response to 'Six additional questions about smart specialization: implications for regional innovation policy 4.0' by M. Benner. The paper starts with the argument that recent academic work has enabled considerable progress ...

ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD2020

Reconfigurable Logic Gates Based on Programable Multistable Mechanisms

Simon Nessim Henein, Ilan Vardi, Hubert Pierre-Marie Benoît Schneegans, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic gates are building blocks of computing machines, in particular, electronic computers. One variant is the programable logic gate, also known as the reconfigurable logic gate, in which the logical function implemented can be modified. In this pa ...

2020

Time-resolved effective connectivity in task fMRI: Psychophysiological interactions of Co-Activation patterns

Dimitri Nestor Alice Van De Ville, Thomas William Arthur Bolton, Lorena Gonçalves de Alcântara e Freitas Krikler

Investigating context-dependent modulations of Functional Connectivity (FC) with functional magnetic resonance imaging is crucial to reveal the neurological underpinnings of cognitive processing. Most current analysis methods hypothesise sustained FC withi ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2020

Questions and controversies in the study of time-varying functional connectivity in resting fMRI

Raphaël Pierre Liégeois, Jonathan Raël Lurie

The brain is a complex, multiscale dynamical system composed of many interacting regions. Knowledge of the spatiotemporal organization of these interactions is critical for establishing a solid understanding of the brain's functional architecture and the r ...

MIT PRESS2020

An intracerebral exploration of functional connectivity during word production

Language is mediated by pathways connecting distant brain regions that have diverse functional roles. For word production, the network includes a ventral pathway, connecting temporal and inferior frontal regions, and a dorsal pathway, connecting parietal a ...

2019

Sensorimotor Induction of Auditory Misattribution in Psychosis is Linked to Neural Disconnectivity

Olaf Blanke, Alessandra Griffa, Patric Hagmann, Andrea Serino, Roy Salomon, Giulio Rognini, Silvia Marchesotti

Background: Schneiderian first rank symptoms (FRS) are characterized by a diminished demarcation of self-other boundaries, causing misattribution of self-generated thoughts and actions to external sources. We have shown that introducing sensorimotor predic ...

2018

Secure numerical and logical multi party operations

Bin Lu

We derive algorithms for efficient secure numerical and logical operations in the semi-honest model ensuring statistical or perfect security for secure multi-party computation (MPC). To derive our algorithms for trigonometric functions, we use basic mathem ...

Elsevier Science Bv2017