Concept
Mathematical induction
Related publications (53)
Switchover phenomenon induced by epidemic seeding on geometric networks
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 ...
2021Formal 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 ...
2021A parameter-free mechanistic model of the adhesive wear process of rough surfaces in sliding contact
Jean-François Molinari, Tobias Brink, Lucas Henri Galilée Frérot
In order to develop predictive wear laws, relevant material parameters and their influence on the wear rate need to be identified. Despite decades of research, there is no agreement on the mathematical form of wear equations and even the simplest models, s ...
2021Combined 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 LTD2020Ultralow-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 GROUP2020A 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