Des planètes qui s’écrasent dans le Soleil ou, au contraire, qui s’éloignent ! Voilà ce qui arrive si on choisit la mauvaise méthode pour calculer leurs positions. Read More
Amateurs de la série TV Person of Interest ? Vous êtes-vous déjà interrogés sur la réalité des scénarios présentés du point de vue des sciences du numérique ? Aujourd'hui, Interstices inaugure sa rubrique « L'informatique - ou presque - dans les films » en décortiquant pour vous quelques éléments de cette série. Read More
Sur le Web, beaucoup d’informations ne sont pas disponibles en français. Des outils de traduction automatique statistique permettent tout de même d’en saisir le sens. Comment fonctionnent-ils ? Read More
La domotique dans le résidentiel, la gestion technique du bâtiment dans le tertiaire, consistent à automatiser le fonctionnement des équipements techniques du bâtiment. Ces solutions sont aujourd’hui essentielles pour assurer la performance énergétique du bâtiment. Read More
Vous avez dit « agile » ? Quand on entend ce mot, plusieurs images nous traversent l’esprit : un pianiste, un surfeur, un skateur, un bricoleur... Mais alors, qu’est-ce qu’un informaticien agile ? Read More
L'émergence des terminaux mobiles (smartphones, tablettes, ordinateurs portables, etc.) a profondément modifié nos modes de communication en nous permettant de nous connecter partout où nous allons. Mais quel est le prix à payer pour ce nomadisme exacerbé ? Des éléments de réponse avec le chercheur Mathieu Cunche dans cet épisode du podcast audio. Read More
Une machine capable de lire et d'enregistrer vos pensées, pour les diffuser ou pour les conserver par-delà votre mort... cela vous attire ? Ou bien, cela vous fait peur ? Read More
Ces dernières années, le traitement du
signal et l’automatique ont révolutionné
la médecine et la chirurgie par l’optimisation
des effets des médicaments,
l’introduction de systèmes implantables
ou l’amélioration apportée à la précision
des gestes chirurgicaux. Read More
Document paru initialement dans la revue Accromath.Comment peut-on s’assurer que les déchets résidentiels ou industriels n’altéreront pas la qualité de l’eau de la nappe phréatique ? La modélisation mathématique de l’écoulement des eaux souterraines s’avère cruciale dans l’étude de l’impact environnemental de sites d’enfouissement ou de projets de développement industriel. Read More
Les algorithmes, un jeu d’enfant ? Presque, aurait-on envie de dire. Comme le rappelle la chercheuse Marie-Christine Rousset dans cet épisode du podcast audio, ils font partie de notre quotidien et ce, dès le plus jeune âge. Read More
Le téléphone portable est dans toutes les poches, les « box » dans toutes les maisons, les bornes wifi un peu partout : les communications mobiles ont envahi notre vie quotidienne. Ces technologies pourront-elles supporter les nouveaux besoins ? Des évolutions majeures sont-elles prévisibles ? Read More
Utiliser les compétences des internautes pour créer du contenu, répondre à des questions ou encore résoudre des problèmes, tel est le principe du crowdsourcing. Dans cet épisode du podcast audio, David Gross-Amblard nous parle de cette pratique en vogue dans le monde de la recherche. Read More
Des systèmes complexes tels un engin spatial ou un avion, tout comme des objets usuels, une voiture, un téléphone, un appareil photo, un lecteur MP3, doivent leur précision et leur fiabilité aux méthodes du traitement du signal et de l’automatique. Read More
Le clavier et la souris ont encore de l’avenir ! Tel est l’avis de Nicolas Roussel, chercheur en interaction homme-machine. Pourquoi ? Il nous l’explique dans cet épisode du podcast audio. Read More
Il y a une quinzaine d'années, quand on achetait un nouvel ordinateur, on avait une idée assez précise de sa puissance. Cela permettait aux gamers de comparer facilement leurs machines. De nos jours, c'est beaucoup plus difficile, la puissance de calcul ne peut plus être calculée ou évaluée aussi aisément. Voyons pourquoi. Read More
Pourquoi les mathématiciens sont-ils au creux de la vague pour comprendre les vagues ? Des éléments de réponse avec David Lannes dans cet épisode du podcast audio ! Read More
“An operating system is a collection of things that don’t fit into a language. There shouldn’t be one.” « Un système d’exploitation est une collection de choses qui ne tiennent pas dans un langage. Ça ne devrait pas exister. » Dan Ingalls, Design Principles Behind Smalltalk, Byte Magazine, August 1981.La conception des systèmes d’exploitation des ordinateurs est soumise à une tension entre deux objectifs contradictoires : améliorer le confort des utilisateurs ; exploiter efficacement les ressources physiques des machines. Le début de l’histoire de ces systèmes traduit bien le va-et-vient entre ces objectifs. Read More
Déterminer les caractéristiques de ce type de robot et prévoir ses mouvements ne se fait pas au hasard, mais se calcule grâce à des modèles mathématiques. Read More
Dans de nombreux domaines apparaissent de nouveaux usages basés sur des interactions avec des contenus 3D. Comment ouvrir de nouvelles possibilités pour la visualisation et l'interaction avec ces contenus ? Un dispositif interactif, appelé Toucheo, qui combine un affichage 3D stéréoscopique immersif avec une interaction gestuelle multitouch, est développé par l'équipe Potioc d'Inria et la société Immersion. Comment fonctionne-t-il ? Read More
Percer les mystères du cerveau, en particulier humain, est l’un des défis scientifiques du XXIe siècle. Comment la modélisation apporte-t-elle sa pierre à l'édifice ? Nicolas Rougier, chercheur en neurosciences computationnelles, nous l’explique dans cet épisode du podcast audio. Read More
Retracer le parcours scientifique d’Alan Turing c’est explorer en mathématiques, surprendre en physique et recommencer en biologie… C’est aussi suivre un cheminement intellectuel qui témoigne d’une extraordinaire liberté d’esprit et d’une capacité à remettre en question ses propres principes. Read More
Quoi de plus cool que la dernière tablette ou la dernière console de jeu ? On peut les utiliser partout, quelle liberté ! Certes, il faut passer par le site du fabricant pour acheter des programmes, mais c’est tellement pratique. Pourtant, ces objets reposent sur des techniques commerciales peu respectueuses des droits des utilisateurs. Le plus étonnant, c’est que cela s’explique par les travaux de Turing et Church, deux mathématiciens et philosophes des années 30. Read More
Comment les feuilles se positionnent-elles sur la tige d’une plante ? Tout est question de phyllotaxie ! Mais au fait, quel est le lien avec l’informatique et les mathématiques ? Christophe Godin l’explique dans cet épisode du podcast audio. Read More
Associer le neurofeedback à des techniques de réalité virtuelle ouvre de nouvelles perspectives pour le traitement du trouble du déficit de l’attention. Read More
La morphogenèse détermine le développement des formes d’un organisme vivant. En 1952, Alan Turing en a proposé un modèle mathématique. Depuis lors, les structures spatiales formées par le mécanisme physicochimique très simple qu’il a suggéré s’appellent des « structures de Turing ». Read More
Limiter la pollution agricole de l’eau constitue un défi pour les agronomes. Quel est l'apport de la modélisation dans ce domaine ? C'est ce que nous explique Marie-Odile Cordier dans cet épisode du podcast audio. Read More
Il existe, sous la surface de nos océans, un immense réseau de courants marins, sortes de tapis roulants des mers, qui transportent des masses d’eau absolument gigantesques. Bien que la cartographie de ces courants soit extrêmement complexe, des processus physiques très simples permettent d’en expliquer les grandes lignes. Read More
En 1950, Alan Turing proposa un test d’intelligence pour les machines. Il pensait que les progrès de l’informatique permettraient de le satisfaire en cinquante ans. Même si les avancées de l’intelligence artificielle ont été remarquables, aujourd’hui, aucune machine n’a encore réussi le test. Read More
Avez-vous déjà rêvé d’avoir des yeux derrière la tête ? D’être capables de voir dans toutes les directions, comme une mouche ou un caméléon ? C'est ce que permet ce dispositif imaginé par des chercheurs, qui en ont réalisé un prototype. Read More
Qu’entend-on par neutralité d’Internet et quels en sont les enjeux ? Dans cet épisode du podcast, Valérie Schafer, historienne des réseaux, fait le point sur ce sujet à l’origine de nombreux débats. Read More
Drôle de machine à écrire, certainement une des seules au monde à ne pas écrire un « a » lorsque l’on tape un « a » ! Et pour cause, Enigma est la machine à chiffrer qu’utilisaient les Allemands durant la seconde guerre mondiale pour envoyer des messages secrets. Read More
Qui n’a jamais entendu parler de la défaite de Garry Kasparov contre le programme Deep Blue ? Mais quelle place tient cet événement dans l’histoire des échecs électroniques ? Read More
Un ordinateur peut-il jouer sur scène avec des musiciens de la même manière que le ferait un musicien en chair et en os ? En d'autres termes, peut-on doter une machine d'intelligence musicale ? C'est le défi que relève Antescofo. Read More
Le logiciel libre fait de plus en plus d'adeptes. Dans la recherche, son utilisation et son développement sont intéressants à bien des égards. Julia Lawall nous en parle dans cet épisode du podcast audio. Read More
Alan Turing a contribué à l’informatique à la fois sur un plan conceptuel, avec la fameuse « machine de Turing », puis, quelques années plus tard, en participant concrètement à la réalisation des premiers ordinateurs. Retour sur un itinéraire, de la théorie à la pratique. Read More
Le vivant présente de remarquables symétries. La plupart sont fixées lors du développement de l'embryon chez les animaux, ou au niveau de l'extrémité en croissance chez les plantes. Read More
Menabrea. Si ce nom ne vous évoque, au mieux, que le souvenir d’une bière piémontaise (excellente au demeurant) et que vous vous intéressez aux origines de l’ordinateur, vous aurez à cœur de découvrir un personnage que l’Histoire de l’informatique a laissé dans l’ombre malgré une contribution significative. Read More
Alan Turing a non seulement défini l’objet d’étude de l’informatique, le calcul, mais aussi révolutionné notre rapport aux machines. Il a fondé l’informatique comme un domaine scientifique autonome et a ouvert le chemin vers un nouveau continent à explorer et à habiter. Read More
Les langages de programmation ont évolué pour répondre à de nouveaux besoins. Qu'en est-il exactement ? Jean-Louis Giavitto nous en dit plus dans cet épisode du podcast audio. Read More
Contrairement à une certaine croyance populaire, les ordinateurs et l’informatique en général ne permettent pas de résoudre tous les problèmes. Voici donc une introduction à la notion de complexité algorithmique qui permet de décrire les limites de l’informatique. Read More
Le savant britannique Alan Turing a eu un destin scientifique exceptionnel et son nom reste en particulier attaché à l’apparition de l’informatique. En à peine vingt ans, il a profondément modifié la façon de concevoir la notion même de résultat scientifique. Read More
Alan Turing était mathématicien, cryptologue, pionnier de l’informatique, de l’intelligence artificielle et de la morphogénèse en biologie. À l’occasion du centenaire de sa naissance, ce film évoque l’apport de ce scientifique dont les découvertes rayonnent encore de nos jours… Read More
À l'interface entre la biologie moléculaire, les mathématiques et l'informatique, Yann Ponty s'intéresse à l'algorithmique du repliement d'ARN. Il nous en parle dans cet épisode du podcast audio. Read More
Prenez-le par la main et il vous suit. Grâce à sa morphologie qui facilite son apprentissage, Acroban est l'un des premiers robots humanoïdes bipèdes capable d'interactions physiques complexes avec des humains. Read More
Entre recherche fondamentale, expérimentale et appliquée, Joseph Sifakis œuvre avec des partenaires privés et publics, industriels et académiques. L’unique Français lauréat du prix Turing cultive, pour la passion des sciences, une curiosité intellectuelle de tous les instants. Read More
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds.
Cependant, grâce aux assistants de preuve, ils garantissent
les démonstrations découvertes par les mathématiciens. Read More
