Publications related to Mathematical induction

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

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

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

Wiley-VCH Verlag GmbH2019

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

2019

The Unfolding Argument: Why Recurrent Processing Cannot Explain Consciousness

Michael Herzog, Aaron Schurger, Adrien Christophe Doerig

Neuroscientific theories aim to explain paradigm cases of consciousness such as masking, binocular rivalry or the transition from dreamless sleep to wakefulness. The most popular theories are based on computational principles. Recurrent processing is a key ...

2018

An analog high-speed single-cycle lock-in amplifier for next generation AFM experiments

Georg Fantner, Jens Anders, Adrian Pascal Nievergelt

In this paper, we present a new architecture for analog amplitude demodulation in high-speed atomic force microscopy (AFM) applications. It features single-cycle capabilities and the possibility to work with elevated cantilever resonance frequencies up to ...

IEEE2018

Exponentially long orbits in Hopfield neural networks

Wulfram Gerstner, Johanni Michael Brea, Samuel Pavio Muscinelli

We show that Hopfield neural networks with synchronous dynamics and asymmetric weights admit stable orbits that form sequences of maximal length. For N units, these sequences have length T = 2^N; that is, they cover the full state space. We present a mathe ...

Massachusetts Institute of Technology Press2017

Heterotetracenes: Flexible Synthesis and in Silico Assessment of the Hole Transport Properties

Jérôme Waser, Kevin Sivula, Anne-Clémence Corminboeuf, Felipe Andres Saenz Padilla, Xavier Adrian Jeanbourquin, Ganna Gryn'ova, Yifan Li

Thienoacenes and furoacenes are among the most frequent molecular units found in organic materials. The efficient synthesis of morphologically different heteroacenes and the rapid determination of their solid-state and electronic properties are still chall ...

2017

Vision-Based Sense and Avoid Algorithms for Unmanned Aerial Vehicles

Steven Adriaan Roelofsen

The field of Unmanned Aerial Vehicles (UAVs), also known as drones, is rapidly growing, both in terms of size and of number of applications. Civil applications range from mapping, inspection, search and rescue, taking aerial footage, to art show, entertain ...

EPFL2017

Solving quantified linear arithmetic by counterexample-guided instantiation

Viktor Kuncak, Andrew Joseph Reynolds

This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...

2017

Why our best theories of perception lead to Anti-reductionism

Michael Herzog, Adrien Christophe Doerig

Basic percepts and observation sentences, such as "the voltmeter is at 7A", provide the ground truth for realistic theories. Reduction is the second backbone of these theories linking, for example, neuroscience to physics. First, we will show, by mathemati ...

2016

Optimizing transshipment workloads in less-than-truckload cross-docks

Mohammad Yousef Maknoon

This paper presents a scheduling model to enhance cross-docking operations. It attempts to reduce the transshipment workload by minimizing the total number of products that require double-handling. We formalize the problem and represent its mathematical fo ...

Elsevier Science Bv2016

Non-proportional Repartition Rules Optimize Environmental Flows and Energy Production

Paolo Perona, Benoît Crouzy, Lorenzo Gorla, Pierre Razurel

In order to meet the growing demand for energy, the development of hydropower leads to an increase of the river exploitation by human activities. Thereby, water management has become a major issue in the energy transition. A better definition of the flow r ...

Springer2016

AWAKE, The Advanced Proton Driven Plasma Wakefield Acceleration Experiment at CERN

Yiming Li, Hua Zhang, Gennady Plyushchev, Shuai Liu

The Advanced Proton Driven Plasma Wakefield Acceleration Experiment (AWAKE) aims at studying plasma wakefield generation and electron acceleration driven by proton bunches. It is a proof-of-principle R&D experiment at CERN and the world's first proton driv ...

Elsevier Science Bv2016

Developing Verified Software Using Leon

Viktor Kuncak

We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...

Springer-Verlag Berlin2015

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag2015