Informatique, libertés et recherche médicale
, 2001 International audienceAprès avoir posé les enjeux du débat, l’objet de l’ouvrage est d’effectuer une mise à plat des termes, informatique et libertés d’une part, recherche médicale, d’autre part.
de Lamberterie, Isabelle +1 more
core +2 more sources
Logique, dynamique et cognition
, 2007 Le présent volume regroupe les textes de conférences données lors de la rencontre « Logique mathémathique, Informatique et Philosophie », organisé en avril 2003 à l’université Paris 1 Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet.
Jean-Baptiste Joinet (dir.)
core
Les protéines : des molécules de génie : rapport sur la recherche en bio-informatique, en protéomique et en génie protéique [PDF]
, 2001 : Bio-informatique : pour saisir la logique du vivant -- Les protéines dans le monde -- Les protéines au Canada -- La bio-informatique dans les universités ...
Hardy, Simon, Robillard, Pierre N.
core
Etude et Réalisation d'un Système d'Aide à la Mise au Point en Programmation Logique
, 1990 L'apparition d'interprètes sur de gros systèmes, tels Prolog-Dec10, puis des premiers compilateurs Prolog basés sur le fonctionnement de la machine virtuelle de Warren contribuèrent à la renommée du langage ainsi qu'a sa diffusion dans les universités ...
Debarbieri, Christian
core +1 more source
Introduction à la thématique spéciale portant sur le combat contre le racisme anti-noir dans la formation donnée en sciences, en mathématiques, en technologie et dans les STIM. [PDF]
Can J Sci Math and Technol Educ, 2021 Nxumalo F, Gitari W.
europepmc +1 more source
[Organ donations in Algeria: restrictions and perspectives]. [PDF]
Pan Afr Med J, 2021 Rekhif Y.
europepmc +1 more source
Logique pour l'Informatique: une introduction à la déduction automatique
, 2008 Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux: bien écrit, un langage de programmation réduira les obstacles
Cerrito, Serenella
core
Un langage imperatif de programmation au niveau tache Definition en logique temporelle
, 1991 Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1406 / INIST-CNRS - Institut de l'Information Scientifique et ...
Rutten, Eric +2 more
core
Du temps écrits au temps produit en informatique musicale
, 2014 238p. Contributeurs : Yves André, Gérard Berry, Antoine Bonnet, Nicolas Donin, Laurent Feneyrou, Patrick Flandrin, Jean-Louis Giavitto, Philippe Manoury, François Nicolas, Thierry Paul, François Regnault, Pierre-André Valade, Hugues VinetNational ...
Giavitto, Jean-Louis
core +1 more source
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture [PDF]
, 2009 International audienceWe present an approach based on inductive theorem proving for verifying invari- ants of dynamic systems specified in rewriting logic, a formal specification language imple- mented in the Maude system.
Clavel, Manuel, Rusu, Vlad
core