Publications associées à Validité (logique)

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Cham2024

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

On the Validity of Consensus

Rachid Guerraoui, Jovan Komatovic, Pierre Philippe Civit, Manuel José Ribeiro Vidigueira, Seth Gilbert

The Byzantine consensus problem involves.. processes, out of which t < n could be faulty and behave arbitrarily. Three properties characterize consensus: (1) termination, requiring correct (nonfaulty) processes to eventually reach a decision, (2) agreement ...

New York2023

Response to "Critical Assessment of the Evidence for Striped Nanoparticles"

Francesco Stellacci, Quy Ong Khac

Stirling et al., (10.1371/journal.pone.0108482) presented an analysis on some of our publications on the formation of stripe-like domains on mixed-ligand coated gold nanoparticles. The authors shed doubts on some of our results however no valid argument is ...

Public Library of Science2015

Model simulations of the modulating effect of the snow cover in a rain-on-snow event

Michael Lehning, Nander Wever, Charles Fierz, Tobias Jonas

In October 2011, the Swiss Alps underwent a marked rain-on-snow (ROS) event when a large snowfall on 8 and 9 October was followed by intense rain on 10 October. This resulted in severe flooding in some parts of Switzerland. Model simulations were carried o ...

European Geosciences Union2014

Ambipolar Gate-Controllable SiNW FETs for Configurable Logic Circuits With Improved Expressive Capability

Giovanni De Micheli, Davide Sacchetto, Yusuf Leblebici

In this letter, we report on the fabrication and characterization of ambipolar silicon-nanowire (SiNW) field-effect transistors (FETs) with a double-independent-gate (DIG) structure for polarity control. Several structures are fabricated, showing the effec ...

Institute of Electrical and Electronics Engineers2012

Asymptotic Inference For Partially Observed Branching Processes

Victor Panaretos

We consider the problem of estimation in a partially observed discrete-time Galton-Watson branching process, focusing on the first two moments of the offspring distribution. Our study is motivated by modelling the counts of new cases at the onset of a stoc ...

Applied Probability Trust2011

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Validité (logique)

Interpolation and Quantifiers in Ortholattices

Interpolation and Quantifiers in Ortholattices

Orthologic with Axioms

On the Validity of Consensus

Il demone dell'analogia: Ovvero affinità e divergenze fra il compagno aristotele e noi

Response to "Critical Assessment of the Evidence for Striped Nanoparticles"

Model simulations of the modulating effect of the snow cover in a rain-on-snow event

Watching object related movements modulates mirror-like activity in parietal brain regions

Ambipolar Gate-Controllable SiNW FETs for Configurable Logic Circuits With Improved Expressive Capability

Asymptotic Inference For Partially Observed Branching Processes

Graph Chatbot

Chattez avec Graph Search

Il demone dell'analogia: Ovvero affinità e divergenze fra il compagno aristotele e noi

Response to "Critical Assessment of the Evidence for Striped Nanoparticles"

On the Validity of Consensus

Ambipolar Gate-Controllable SiNW FETs for Configurable Logic Circuits With Improved Expressive Capability

Orthologic with Axioms

Model simulations of the modulating effect of the snow cover in a rain-on-snow event

Interpolation and Quantifiers in Ortholattices

Interpolation and Quantifiers in Ortholattices

Watching object related movements modulates mirror-like activity in parietal brain regions

Asymptotic Inference For Partially Observed Branching Processes