Démonstration constructive

Science formelle
Informatique théorique
Théorie des langages de pro...
Théorie des types

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (27)

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

A note on the integrality gap of the configuration LP for restricted Santa Claus

Klaus Jansen, Lars Rohwedder

In the restricted Santa Claus problem we are given resources R and players P. Every resource j is an element of R. has a value v(j) and every player i is an element of P desires a set of resources R(i). We are interested in distributing the resources to pl ...

ELSEVIER2020

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

The Scaling Limit Of Critical Ising Interfaces Is Cle3

Clément Hongler

In this paper, we consider the set of interfaces between + and - spins arising for the critical planar Ising model on a domain with + boundary conditions, and show that it converges to nested CLE3. ...

INST MATHEMATICAL STATISTICS2019

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

Juan Ramon Mosig, Maria Garcia Vigueras, Joana Rita Alves dos Santos Silva, Santiago Capdevila Cascante, Hamed Hasani

A novel dual-band polarization-independent transmitarray is introduced in this paper for communication systems in Ka-band. Thanks to its unit-cell topology, the transmitarray antenna demonstrates almost complete independent performance at two design freque ...

2019

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