Concept

Raisonnement par récurrence

Publications associées (32)

A Gapless Post-quantum Hash Proof System in the Hamming Metric

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

Improved spiking neural network for intershaft bearing fault diagnosis

Jun Wang, Tianfu Li

The intershaft bearing is located between the high and low-pressure rotors of the aero-engine, where the working environment is harsh, the load variation range is large, and the lubrication and heat dissipation are poor. The fault of the intershaft bearing ...

ELSEVIER SCI LTD2022

Switchover phenomenon induced by epidemic seeding on geometric networks

Gergely Odor

It is a fundamental question in disease modeling how the initial seeding of an epidemic, spreading over a network, determines its final outcome. One important goal has been to find the seed configuration, which infects the most individuals. Although the id ...

2021

Formal Verification of Rust with Stainless

Writing correct software is hard, yet in systems that have a high failure cost or are not easily upgraded like blockchains, bugs and security problems cannot be tolerated. Therefore, these systems are perfect use cases for formal verification, the task of ...

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

A Bayesian Model of Individual Differences and Flexibility in Inductive Reasoning for Categorization of Examples

Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon

Inductive reasoning is an important educational practice but can be difficult for teachers to support in the classroom due to the high level of preparation and classroom time needed to choose the teaching materials that challenge students' current views. I ...

ASSOC COMPUTING MACHINERY2020

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

2019

Asymptotically Optimal Contextual Bandit Algorithm Using Hierarchical Structures

Hakan Gökcesu, Kaan Gökcesu

We propose an online algorithm for sequential learning in the contextual multiarmed bandit setting. Our approach is to partition the context space and, then, optimally combine all of the possible mappings between the partition regions and the set of bandit ...

2019

Optimal Stimulation Protocol in a Bistable Synaptic Consolidation Model

Wulfram Gerstner, Samuel Pavio Muscinelli, Chiara Gastaldi

Synaptic changes induced by neural activity need to be consolidated to maintain memory over a timescale of hours. In experiments, synaptic consolidation can be induced by repeating a stimulation protocol several times and the effectiveness of consolidation ...

FRONTIERS MEDIA SA2019

Transcutaneous Wireless Power & Data Transfer for Medical Applications

The Center for Artificial Muscle (CAM) is in the process of designing a new type of Vascular Assist Device (VAD) that uses the mechanical and electrical properties of Dielectric Elastomer Actuators (DEAs). The main challenges with these actuators are that ...

2019

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search