Publications related to Finding Dory

Explaining the diversity of motivations behind community renewable energy

Community-based renewable energy initiatives may be important actors in the transition toward low-carbon energy systems. In turn, stimulating investments in renewable energy production at the community level requires a better understanding of investors' mo ...

Elsevier2016

Hotair Is Dispensible for Mouse Development

Denis Duboule, Anamaria Necsulea

Despite the crucial importance of Hox genes functions during animal development, the mechanisms that control their transcription in time and space are not yet fully understood. In this context, it was proposed that Hotair, a lncRNA transcribed from within ...

Public Library Science2016

Accuracy and Precision of Head Motion Information in Multi-Channel Free Induction Decay Navigators for Magnetic Resonance Imaging

Tobias Kober, Michael Herbst

Free induction decay (FID) navigators were found to qualitatively detect rigid-body head movements, yet it is unknown to what extent they can provide quantitative motion estimates. Here, we acquired FID navigators at different sampling rates and simultaneo ...

Ieee-Inst Electrical Electronics Engineers Inc2015

Uncapped Au–Pd colloidal nanoparticles show catalytic enhancement

Giorgio Margaritondo, Ying Chen

The catalytic properties of Pd have triggered a strong interest in the related catalysis by Au–Pd nanoparticles. However, the analysis of such phenomena has been complicated so far due to the presence of capping. Using X-ray irradiation, we produced uncapp ...

2015

3D Tangibles Facilitate Joint Visual Attention in Dyads

Pierre Dillenbourg, Kshitij Sharma, Guillaume Zufferey, Sébastien Cuendet, Bertrand Roland Schneider

We report results from a dual eye-tracking study around a Tangible User Interface (TUI). Participants (N=54) worked in groups of two and solved optimization problems on the TinkerTable, a TUI designed for students in logistics. The TinkerTable features tan ...

2015

Facile route to freestanding CH3NH3PbI3 crystals using inverse solubility

Michael Graetzel, Ulf Anders Hagfeldt, Kazuteru Nonomura, Jeannette Medina Kadro

CH3NH3PbI3 was found to exhibit inverse solubility at high temperatures in gamma-butyrolactone. Making use of this unusual, so far unreported phenomenon, we present a facile method for the growth of freestanding crystals of CH3NH3PbI3 from solution without ...

Nature Publishing Group2015

On the discrete logarithm problem in finite fields of fixed characteristic

Robert Granger, Thorsten Kleinjung, Jens Markus Zumbrägel

For

q

a prime power, the discrete logarithm problem (DLP) in

\mathbb{F}_q

consists in finding, for any

g \in \mathbb{F}_{q}^{\times}

and

h \in \langle g \rangle

, an integer

x

such that

g^x = h

. We present an algorithm for computing discrete log ...

2015

Inference of perceptual priors from path dynamics of passive self-motion

Olaf Blanke, Danilo Jimenez Rezende

The monitoring of one's own spatial orientation depends on the ability to estimate successive self-motion cues accurately. This process has become to be known as path integration. A feature of sequential cue estimation, in general, is that the history of p ...

Amer Physiological Soc2015

Parkinson disease mutant E46K enhances α-synuclein phosphorylation in mammalian cell lines, in yeast, and in vivo

Hilal Lashuel, Magdalena Zweckstetter, Abid Oueslati, Mohamed Bilal Fares, Martial Mbefo Kamdem

Although α-synuclein (α-syn) phosphorylation has been considered as a hallmark of sporadic and familial Parkinson disease (PD), little is known about the effect of PD-linked mutations on α-syn phosphorylation. In this study, we investigated the effects of ...

American Society for Biochemistry and Molecular Biology2015

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

2015

Finding Dory

Graph Chatbot

Chat with Graph Search

Explaining the diversity of motivations behind community renewable energy

Hotair Is Dispensible for Mouse Development

Accuracy and Precision of Head Motion Information in Multi-Channel Free Induction Decay Navigators for Magnetic Resonance Imaging

Uncapped Au–Pd colloidal nanoparticles show catalytic enhancement

3D Tangibles Facilitate Joint Visual Attention in Dyads

Facile route to freestanding CH3NH3PbI3 crystals using inverse solubility

On the discrete logarithm problem in finite fields of fixed characteristic

Inference of perceptual priors from path dynamics of passive self-motion

Parkinson disease mutant E46K enhances α-synuclein phosphorylation in mammalian cell lines, in yeast, and in vivo

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Explaining the diversity of motivations behind community renewable energy

Inference of perceptual priors from path dynamics of passive self-motion

Hotair Is Dispensible for Mouse Development

3D Tangibles Facilitate Joint Visual Attention in Dyads

Uncapped Au–Pd colloidal nanoparticles show catalytic enhancement

Facile route to freestanding CH3NH3PbI3 crystals using inverse solubility

On the discrete logarithm problem in finite fields of fixed characteristic

Accuracy and Precision of Head Motion Information in Multi-Channel Free Induction Decay Navigators for Magnetic Resonance Imaging

Parkinson disease mutant E46K enhances α-synuclein phosphorylation in mammalian cell lines, in yeast, and in vivo

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification