Accueil du site > La recherche en sciences de l’information > Actualités scientifiques




Recherchez sur ce site


Actualités scientifiques

Pages : 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |> |...

27 mars 2015

Gérard Berry et les neurosciences

Gérard Berry s’intéresse actuellement aux neurosciences, discipline scientifique en plein essor. En quoi les sciences de l’information influencent-elles les recherches en neurosciences, et en quoi consistent les échanges conceptuels entre ces deux domaines ? C’est la question posée à Yves Frégnac, Directeur de Recherche au CNRS, directeur de l’Unité de Neuroscience, Information et Complexité (UNIC, CNRS) et Professeur en Sciences Cognitives à l’Ecole Polytechnique, et Sophie Denève, chargée de recherche au Laboratoire de neurosciences cognitives (LNC, CNRS/Université Aix-Marseille).

16 mars 2015

Conférence-débat « Sécurité des systèmes informatiques : mythes, réalités et perspectives »

L’Académie des sciences organise mardi 24 mars 2015, de 14h30 à 17h30, une conférence-débat « Sécurité des systèmes informatiques : mythes, réalités et perspectives ». Les intervenants aborderont les sujets d’actualité en lien avec la sécurité informatique, les défis de la recherche scientifique dans ce domaine, ainsi que les aspects techniques ou sociologiques du sujet. L’entrée est libre sous réserve des places disponibles.

Consulter le programme complet

16 mars 2015

L’ordinateur musicien : les apports du langage Esterel, conçu par Gérard Berry, à la musique mixte

Le langage informatique Esterel, conçu par Gérard Berry à partir des années 1980, est aujourd’hui utilisé en informatique musicale pour synchroniser les interactions « homme-machine ». Arshia Cont, chercheur de l’équipe Sciences et Technologies de la Musique et du Son (STMS, CNRS/IRCAM/Université Pierre et Marie Curie/Ministère de la culture), a notamment développé le logiciel Antescofo, capable d’écouter les musiciens et de les accompagner en temps réel. Ce logiciel, qui utilise le langage Esterel, est aujourd’hui utilisé dans de nombreux concerts à travers le monde. Arshia Cont revient sur les principes et défis du dialogue entre le musicien et l’ordinateur, ainsi que sur les contributions de Gérard Berry dans ce domaine de recherche.

11 mars 2015

Création du GDRI "ALEA Network"

Le CNRS vient d’accepter la création du GDRI "ALEA Network", dont l’objectif est l’échange d’informations et la coopération sur le thème scientifique des "Structures Discrètes Aléatoires".

9 mars 2015

L’informatique au service de l’aéronautique : les contributions de Gérard Berry

L’informatique a progressivement été introduite en aéronautique à partir des années 1970. Au début utilisés pour les systèmes de capteurs, les systèmes informatiques embarqués ont petit à petit été employés dans toutes les parties des avions civils ou militaires. Le langage Esterel, conçu par Gérard Berry, a permis de développer rapidement et efficacement des logiciels pour ce secteur, avec la génération automatique de code. Emmanuel Ledinot, Responsable des études scientifiques amont à Dassault Aviation, et Gérard Ladier, Directeur Général Adjoint à Aerospace Valley, reviennent sur les contributions de Gérard Berry en aéronautique et la « révolution informatique » survenue à la fin du XXe siècle dans ce domaine.

6 mars 2015

Gérard Berry et la preuve par ordinateur

La notion de preuve informatique est aussi vieille que l’existence des programmes. En effet, il est nécessaire, dans de nombreux domaines, de certifier la fiabilité de ces derniers. Quels sont les principes permettant de valider le bon fonctionnement d’un programme, et sous quel aspect Gérard Berry s’est-il penché sur cette problématique ? Ce sont les questions auxquelles répond Christine Paulin-Mohring, professeur à l’Université Paris-Sud et membre de l’équipe de recherche VALS du Laboratoire de Recherche en Informatique (LRI, CNRS/Université Paris-Sud) et du projet TOCCATA commun avec Inria Saclay – Île-de-France.

Pages :1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |> |...