Publications associées à Raisonnement par récurrence

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

Computational modeling of the olfactory receptor Olfr73 suggests a molecular basis for low potency of olfactory receptor-activating compounds

Horst Vogel, Horst Pick, Thamani Dahoun, Shuguang Yuan, Marc Brugarolas Campillos

The mammalian olfactory system uses hundreds of specialized G-protein-coupled olfactory receptors (ORs) to discriminate a nearly unlimited number of odorants. Cognate agonists of most ORs have not yet been identified and potential non-olfactory processes m ...

Springer2019

The Unfolding Argument: Why Recurrent Processing Cannot Explain Consciousness

Michael Herzog, Adrien Christophe Doerig, Aaron Schurger

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

A Photoactivatable Probe for Super-Resolution Imaging of Enzymatic Activity in Live Cells

Pablo Rivera Fuentes, Zacharias Thiel, Nils Trapp

A dual-activatable, fluorogenic probe was developed to sense esterase activity with single-mol. resoln. Without enzymic preactivation, the diazoindanone-based probe has an electron-poor core and, upon irradn., undergoes Wolff rearrangement to give a ring-e ...

2017

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

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.

Raisonnement par récurrence

Optimal Stimulation Protocol in a Bistable Synaptic Consolidation Model

Computational modeling of the olfactory receptor Olfr73 suggests a molecular basis for low potency of olfactory receptor-activating compounds

The Unfolding Argument: Why Recurrent Processing Cannot Explain Consciousness

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

Exponentially long orbits in Hopfield neural networks

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

Vision-Based Sense and Avoid Algorithms for Unmanned Aerial Vehicles

A Photoactivatable Probe for Super-Resolution Imaging of Enzymatic Activity in Live Cells

Solving quantified linear arithmetic by counterexample-guided instantiation

Why our best theories of perception lead to Anti-reductionism

Graph Chatbot

Chattez avec Graph Search

Computational modeling of the olfactory receptor Olfr73 suggests a molecular basis for low potency of olfactory receptor-activating compounds

The Unfolding Argument: Why Recurrent Processing Cannot Explain Consciousness

Optimal Stimulation Protocol in a Bistable Synaptic Consolidation Model

Solving quantified linear arithmetic by counterexample-guided instantiation

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

Why our best theories of perception lead to Anti-reductionism

Exponentially long orbits in Hopfield neural networks

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

A Photoactivatable Probe for Super-Resolution Imaging of Enzymatic Activity in Live Cells

Vision-Based Sense and Avoid Algorithms for Unmanned Aerial Vehicles