Publications associées à Raisonnement par disjonction de cas

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

Computer-assisted proof of kernel inequalities

Maryna Viazovska, Abhinav Kumar

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

EPFL Infoscience2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

2023

A proof of the instability of AdS for the Einstein-massless Vlasov system

Georgios Moschidis

In recent years, the conjecture on the instability of Anti-de Sitter spacetime, put forward by Dafermos-Holzegel (Dynamic instability of solitons in 4 + 1 dimesnional gravity with negative cosmological constant, 2006. https://www.dpmms.cam.ac.uk/similar to ...

SPRINGER HEIDELBERG2022

Convex Quantization Preserves Logconcavity

Pol del Aguila Pla

A logconcave likelihood is as important to proper statistical inference as a convex cost function is important to variational optimization. Quantization is often disregarded when writing likelihood models, ignoring the limitations of the physical detectors ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Critical role of H-aggregation for high-efficiency photoinduced charge generation in pristine pentamethine cyanine salts

Jacques-Edouard Moser, Frank Nüesch, George Cameron Fish, Juan Manuel Moreno Naranjo

The mechanism of photoinduced symmetry-breaking charge separation in solid cyanine salts at the base of organic photovoltaic and optoelectronic devices is still debated. Here, we employ femtosecond transient absorption spectroscopy (TAS) to monitor the cha ...

2021

Combined synchrotron x-ray diffraction and NV diamond magnetic microscopy measurements at high pressure

Mayeul Sylvain Chipaux, Charles Michel Henri Pépin, Margarita Lesik Gaussens

We report the possibility to simultaneously perform wide-field nitrogen-vacancy (NV) diamond magnetic microscopy and synchrotron x-ray diffraction measurements at high pressure. NV color centers are created on the culet of a diamond anvil which is integrat ...

IOP PUBLISHING LTD2020

Ultralow-noise photonic microwave synthesis using a soliton microcomb-based transfer oscillator

Tobias Kippenberg, Erwan Guillaume Albert Lucas

The synthesis of ultralow-noise microwaves is of both scientific and technological relevance for timing, metrology, communications and radio-astronomy. Today, the lowest reported phase noise signals are obtained via optical frequency-division using mode-lo ...

NATURE PUBLISHING GROUP2020

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.

Raisonnement par disjonction de cas

Orthologic with Axioms

Computer-assisted proof of kernel inequalities

LISA – A Modern Proof System

A proof of the instability of AdS for the Einstein-massless Vlasov system

Convex Quantization Preserves Logconcavity

Switchover phenomenon induced by epidemic seeding on geometric networks

Critical role of H-aggregation for high-efficiency photoinduced charge generation in pristine pentamethine cyanine salts

Combined synchrotron x-ray diffraction and NV diamond magnetic microscopy measurements at high pressure

1,3,2‐Diazaphospholenes Catalyze the Conjugate Reduction of Substituted Acrylic Acids

Ultralow-noise photonic microwave synthesis using a soliton microcomb-based transfer oscillator

Graph Chatbot

Chattez avec Graph Search

A proof of the instability of AdS for the Einstein-massless Vlasov system

Orthologic with Axioms

Switchover phenomenon induced by epidemic seeding on geometric networks

LISA – A Modern Proof System

Computer-assisted proof of kernel inequalities

1,3,2‐Diazaphospholenes Catalyze the Conjugate Reduction of Substituted Acrylic Acids

Critical role of H-aggregation for high-efficiency photoinduced charge generation in pristine pentamethine cyanine salts

Convex Quantization Preserves Logconcavity

Ultralow-noise photonic microwave synthesis using a soliton microcomb-based transfer oscillator

Combined synchrotron x-ray diffraction and NV diamond magnetic microscopy measurements at high pressure