Proof by contradiction

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (29)

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

2020

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

Nicolai Cramer, John Henry Reed

The potent nucleophilicity and remarkably low basicity of 1,3,2- diazaphospholenes (DAPs) is exploited in a catalytic, metal-free 1,4-reduction of free ,-unsaturated carboxylic acids. Notably, the reduction occurs without a prior deprotonation of the car ...

Wiley-VCH Verlag2020

Analysis and Remediation of Handwriting difficulties

Thibault Lucien Christian Asselborn

Even with correct training, up to 25% of children never master handwriting like their peers. While research shows a correlation between handwriting difficulties and school failure, these difficulties can also impact children in their self esteem and behavi ...

EPFL2020

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

Automated phenotyping of Caenorhabditis elegans embryos with a high-throughput-screening microfluidic platform

Martinus Gijs, Matteo Cornaglia, Raphaël Etienne Jean Trouillon, Hüseyin Baris Atakan, Tunç Alkanat

The nematode Caenorhabditis elegans has been extensively used as a model multicellular organism to study the influence of osmotic stress conditions and the toxicity of chemical compounds on developmental and motility-associated phenotypes. However, the sev ...

2020

Photovoltaic organic interface for neuronal stimulation in the near-infrared

Diego Ghezzi, Naïg Aurelia Ludmilla Chenais, Marta Jole Ildelfonsa Airaghi Leccardi, Laura Ferlauto, Elodie Geneviève Zollinger

Organic materials, such as conjugated polymers, are attractive building blocks for bioelectronic interfaces. In particular, organic semiconductors show excellent performance in light-mediated excitation and silencing of neuronal cells and tissues. However, ...

2020

A 1,3,2-Diazaphospholene-Catalyzed Reductive Claisen Rearrangement

Nicolai Cramer, Pavel Alexandrovich Donets, John Henry Reed, Solène Florie Miaskiewicz

1,3,2-Diazaphospholenes (DAPs) are an emerging class of organic hydrides. In this work, we exploited them as efficient catalysts for very mild reductive Claisen rearrangements. The method is tolerant towards a wide variety of functional groups and operates ...

Wiley-VCH Verlag GmbH2019

Cost for a controlled linear KdV equation

Joachim Krieger, Shengquan Xiang

The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathem ...

2019

Scaling Functional Synthesis and Repair

Emmanouil Koukoutos

Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...

EPFL2019

Page 2 sur 2