Canal-U

Mon compte

Inria

Inria est un organisme public de recherche, dédié aux sciences et technologies du numérique.

Pour vous abonner au flux RSS de Inria, cliquez sur l’icône de votre lecteur favori :

Liste des programmes

The current spreading of multi-scale and multi-process integrative simulations is challenging for the philosophy of science. What is the epistemic function of such a simulation? What does it really show? On what grounds? Is it an experimental design or a theoretical construction? To contribute to these debates, I suggest analyzing ...
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including perception modules and end-to-end controllers for self-driving cars, this raises ...
L’objet de cet exposé est de montrer l’intérêt et de l’analyse mathématique non–lisse pour la modélisation et la simulation de systèmes physiques qui peuvent venir de la mécanique,  de l’électronique  ou encore de systèmes biologiques. L’analyse non lisse permet d’ étendre les notions de différentiabilité à des fonctions qui ne le sont pas, ou ...
Les réseaux WiFi font maintenant partie de la vie quotidienne, que ce soit à la maison, dans les lieux publics ou encore au travail. Ces réseaux ont l'avantage d'être très souvent gratuits et faciles d'utilisation. Depuis le milieu des années 90 jusqu'à maintenant, les réseaux WiFi ont fortement évolué permettant une augmentation très significative ...
Plus de 40% de l’énergie totale consommée en France provient des habitations. La plupart des recherches dans le domaine du bâtiment se concentrent sur leur efficacité énergétique mais prennent peu en compte le comportant des utilisateurs qui est une part de plus en plus importante de cette consommation. Je présenterais nos premiers résultats dans le ...
De nombreux systèmes informatiques (centre de calculs, réseaux) sont composées d'un grand nombre d'ordinateurs qui interagissent. La conception d’algorithmes efficaces pour de tels systèmes passe par la création de modèles capables de prédire leurs performances. Un des défis est la compréhension des phénomènes aléatoires, par exemple liés à des pannes ou à des événements extérieurs.  Dans ...
Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify ...
Last week we studied genes and proteins and so how genes, portions of DNA, are translated into proteins.We also saw the very fast evolutionof the sequencing technology which allows for producing large genomic texts, it is now possible to sequence a whole genome. But it is just thebeginning of the story. The challenge to ...
Based on the principle we statedin the last session, we will now write in pseudo code a firstalgorithm for locating genes on a bacterial genome. Remember first how this algorithm should work, we first need to find two consecutive stop triplets in the same phase, same phase meansthe number of letters between these two ...
We have written an algorithm for finding genes. But you remember that we arestill to write the two functions for finding the next stop codonand the next start codon. Let's see how we can do that. We are looking for triplets. We use the term triplets as long as wehave no proof that they ...
 
FMSH
 
Facebook Twitter Google+
Mon Compte