Démonstration automatique de théorèmes

Publications associées (30)

À propos
Confidentialité
Mentions légales

Graph Chatbot

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Ngoc Khanh Karol Nguyen

We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Automated approach for the evaluation of glutathione-S-transferase P1-1 inhibition by organometallic anticancer compounds

Paul Joseph Dyson, Sarah Alexandra Pais Pereira

A novel automated method based on sequential injection analysis (SIA), a non-segmented flow injection technique, was developed to evaluate glutathione S-transferase P1-1 (GST P1-1) activity in the presence of organometallic complexes with putative anticanc ...

TAYLOR & FRANCIS LTD2022

Cortical lesions, central vein sign, and paramagnetic rim lesions in multiple sclerosis: Emerging machine learning techniques and future avenues

Jean-Philippe Thiran, Meritxell Bach Cuadra, Tobias Kober, Francesco La Rosa, Cristina Granziera, Maxence Charles F Wynen

The current diagnostic criteria for multiple sclerosis (MS) lack specificity, and this may lead to misdiagnosis, which remains an issue in present-day clinical practice. In addition, conventional biomarkers only moderately correlate with MS disease progres ...

ELSEVIER SCI LTD2022

Assessment of metal-based dihydrofolate reductase inhibitors on a novel mesofluidic platform

Paul Joseph Dyson, Sarah Alexandra Pais Pereira

A new miniaturized micro sequential injection coupled with the lab-on-valve (mu SIA-LOV) technique was full-blown to perform inhibitory studies on dihydrofolate reductase (DHFR). The system was used to evaluate the DHFR inhibition activity of metal-based a ...

ELSEVIER SCIENCE SA2022

An automated do-it-yourself system for dynamic stem cell and organoid culture in standard multi-well plates

Matthias Lütolf, Sebastian Maerkl, Hao-An Hsiung, Zoe Newell Swank, Stefano Davide Vianello, Julia Tischler

We present a low-cost, do-it-yourself system for complexmammalian cell culture under dynamically changing medium formulations by integrating conventional multi-well tissue culture plates with simple microfluidic control and system automation. We demonstrat ...

2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Automated Design: A Journey Across Modelling, Optimization, and Education

Cyril Picard

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

Axiomatic scale theory

Martin Alois Rohrmeier, Daniel Harasim

Scales are a fundamental concept of musical practice around the world. They commonly exhibit symmetry properties that are formally studied using cyclic groups in the field of mathematical scale theory. This paper proposes an axiomatic framework for mathema ...

TAYLOR & FRANCIS LTD2020

Automated Design Tool for Automotive Control Actuators

Jürg Alexander Schiffmann, Cyril Picard

Automated design tools are seldom used in industry. Their potential, however, is high, especially in companies mostly active in variant design, where custom tools could help cut down development time in the early stages. The design of geared electro-mechan ...

2020

Page 2 sur 3

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Ngoc Khanh Karol Nguyen

SPRINGER INTERNATIONAL PUBLISHING AG2022

Automated approach for the evaluation of glutathione-S-transferase P1-1 inhibition by organometallic anticancer compounds

Paul Joseph Dyson, Sarah Alexandra Pais Pereira

TAYLOR & FRANCIS LTD2022

Cortical lesions, central vein sign, and paramagnetic rim lesions in multiple sclerosis: Emerging machine learning techniques and future avenues

Jean-Philippe Thiran, Meritxell Bach Cuadra, Tobias Kober, Francesco La Rosa, Cristina Granziera, Maxence Charles F Wynen

ELSEVIER SCI LTD2022