Concept

Logical connective

Related publications (66)

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

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 ...

New York2023

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, Erick Jorge Canales Rodriguez, Gabriel Girard, Marco Pizzolato, Alonso Ramirez Manzanares, Juan Luis Villarreal Haro, Alessandro Daducci, Ying-Chia Lin, Sara Sedlar, Caio Seguin, Kenji Marshall, Yang Ji

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

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 ...

Cleveland2023

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, 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 ...

2022

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

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Giovanni De Micheli, Heinz Riener, Shubham Rai, 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 ...

2021

Overlapping Multipatch Isogeometric Method With Minimal Stabilization

Annalisa Buffa, Pablo Antolin Sanchez, Xiaodong Wei, Riccardo Puppi

We present a novel method for isogeometric analysis (IGA) to directly work on geometries constructed by Boolean operations including difference (i.e., trimming), union, and intersection. Particularly, this work focuses on the union operation, which involve ...

SIAM PUBLICATIONS2021

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Hubert Pierre-Marie Benoît Schneegans, Ilan Vardi, 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

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.