Mon compte

Folding Turing is hard but feasible

Copier le code pour partager la vidéo :
<div style="position:relative;padding-bottom:56.25%;padding-top:10px;height:0;overflow:hidden;"><iframe src=";height=100%" style="position:absolute;top:0;left:0;width:100%;height: 100%;" width="550" height="306" frameborder="0" allowfullscreen scrolling="no"></iframe></div> Si vous souhaitez partager une séquence, indiquez le début de celle-ci , et copiez le code : h m s
Auteur(s) :
Schabanel Nicolas

Producteur Canal-U :
Contacter la chaine
partager facebook twitter

Folding Turing is hard but feasible

We introduce and study the computational power of Oritatami, a theoretical model to explore greedy molecular folding, by which the molecule begins to fold before waiting the end of its production. This model is inspired by our recent experimental work demonstrating the construction of shapes at the nanoscale by folding an RNA molecule during its transcription from an engineered sequence of synthetic DNA. While predicting the most likely conformation is known to be NP-complete in other models, Oritatami sequences fold optimally in linear time. Although our model uses only a small subset of the mechanisms known to be involved in molecular folding, we show that it is capable of efficient universal computation, implying that any extension of this model will have this property as well.
This result is the first principled construction in this research direction, and motivated the development of a generic toolbox, easily reusable in future work. One major challenge addressed by our design is that choosing the interactions to get the folding to react to its environment is NP-complete. Our techniques bypass this issue by allowing some flexibility in the shapes, which allows to encode different « functions » in different parts of the sequence (instead of using the same part of the sequence). However, the number of possible interactions between these functions remains quite large, and each interaction also involves a small combinatorial optimisation problem. One of the major challenges we faced was to decompose our programming into various levels of abstraction, allowing to prove their correctness thoroughly in a human readable/checkable form.
We hope this framework can be generalised to other discrete dynamical systems, where proofs of such large objects are often difficult to get.

Joint work with Cody Geary (Caltech), Pierre-Étienne Meunier (Tapdance, Inria Paris), et Shinnosuke Seki (U. Electro-Communications, Tokyo)

    Date de réalisation : 6 Février 2018
    Durée du programme : 71 min
    Classification Dewey : Géométrie, Biochimie, Algorithmes, Computer Science
    Catégorie : Conférences
    Niveau : niveau Master (LMD), niveau Doctorat (LMD), Recherche
    Disciplines : Mathématiques, Informatique, Biochimie
    Collections : Colloquium Jacques Morgenstern : recherches en STIC - nouveaux thèmes scientifiques, nouveaux domaines d’application, et enjeux
    ficheLom : Voir la fiche LOM
    Auteur(s) : Schabanel Nicolas
    producteur : INRIA (Institut national de recherche en informatique et automatique)
    Editeur : INRIA (Institut national de recherche en informatique et automatique) , CNRS - Centre National de la Recherche Scientifique , Région PACA , UNS
    Langue : Anglais
    Mots-clés : ingénierie biomoléculaire, molecular folding, géométrie algorithmique


Ajouter un commentaire Lire les commentaires
*Les champs suivis d’un astérisque sont obligatoires.
Aucun commentaire sur cette vidéo pour le moment (les commentaires font l’objet d’une modération)

Dans la même collection

 How to build quality software: the Eiffel experience
 Self-Supervised Visual Learning and Synthesis
 Theoretical Foundations for Runtime Monitoring
 The Legacy of Rudolph Kalman
 Reasoning over large-scale biological systems with heterogeneous and incomplete data
 The quest for long-lived quantum bit
 Majority judgment: a new voting method
 Les premiers photons : les saisir, les faire parler
 Knowledge transfer and human-machine collaboration for training object class detector
 Biological Networks Entropies: examples in neural, genetic and social networks
 A l’écoute du bruit – L’imagerie par corrélations croisées
 An extensionalist analysis of computer simulations
 Safety Verification of Deep Neural Networks
 Proofs assistants : from symbolic logic to real mathematics
 Mathématiques, Statistiques et Médecine: des collaborations plus que jamais nécessaires
 Visual Reconstruction and Image-Based Rendering
 Coccinelle: synergy between programming language research and the Linux kernel
 CoNeCo: Concurrency, Networks and Coinduction
 Semantics in the Time of Computing
 On Artificial Olfaction, and How to Test For It
 Le Bitcoin et les monnaies cryptographiques
 Number-theoretic methods in quantum computing
 Towards the Expressive Design of Virtual Worlds: Combining Knowledge and Control
 Numerical Optimal Transport and Applications
 Numbers, computers and dynamical systems
 Decision making at scale: Algorithms, Mechanisms, and Platforms
 Observations on doing research and on creating sublime user experiences
 Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)
 Esterel et SCADE : de la recherche à l'industrie : La vision labo (cycle de cours et séminaires du collège de France en extérieur) 1/3
 Esterel et SCADE de la recherche à l'industrie : la vision industrielle (cycle de cours et séminaires du collège de France en extérieur) 2/3
 Esterel et SCADE (3/3), Urgences scientifiques posées par l’industrie: masquages d’horloges, circuits multi-horloges, ECOs et vérification formelle
 Une fréquence peut-elle être instantanée
 Le traitement du temps en automatique
 The Changing Nature of Invention in Computer Science
 Un regard géométrique sur l’action anthropomorphique
 Music and Text Generation "in the style of"
 Optimisation et apprentissage
 Scalable personalization infrastructures
 Can it be done in software ?
 Comment passent à l'échelle les systèmes de la nouvelle vague de technologies (Scaling behaviors of systems of the new technology wave)
 Théorie du Contrôle, 50 ans après
 Les mathématiques sont-elles utiles pour explorer le cerveau humain et mieux comprendre son fonctionnement ?
 Quantum Turing Test
 La programmation du Web diffus
 Speculating Seriously in Distributed Computing
 The Frobenius Problem and Its Generalizations
 Approches multiéchelles du cerveau visuel : des échos synaptiques à la perception des formes et du mouvement (série : Colloquium Jacques Morgenstern)
 Seismic tomography : A giiant inverse problem
 Risque, science, et pluralisme
 Sécurité sur Internet ? La logique à la rescousse...
 La parcimonie : une valeur d'avenir ? (série : Colloquium Jacques Morgenstern)
 Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
 Réseaux d'automates: trente ans de recherche
 Action recognition from video: some recent results
 Introduction to Kernelization
 Mathematical models for the cardiovascular system
 Competition and Cooperation
 Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
 Swarms: First Class Citizens in the Future Internet (série : Colloquium Jacques Morgenstern)
 Recent research at Pixar
Facebook Twitter
Mon Compte