Tri :
Date
Editeur
Auteur
Titre
|
|
Logic-based static analysis for the verification of programs with dynamically allocated data structures
/ INRIA (Institut national de recherche en informatique et automatique)
/ 03-12-2015
/ Canal-u.fr
DRAGOI Cesara
Voir le résumé
Voir le résumé
Software
development has reached a complexity level that cannot be handled
without the aid of computer assisted methods. It is therefore of the
highest importance to have rigorous methods and automated techniques for
software verification, allowing to ensure a high degree of reliability
and of confidence in their behaviors.
In
this talk, we present logic-based frameworks for automatic verification
of programs manipulating dynamically allocated data-structures. We
focus on static analysis techniques, that generate assertions about the
program’s reachable states using the algorithmic capabilities of the
logic in which the analysis is done. The generated assertions identify
which data structures have been allocated, e.g., stacks, queues, and
properties of their content and size, characterising the multisets of
their elements, or data relations such as order constraints and
structures equality.
Data-structures
are typically implemented in libraries. The verification methodology
consists in using static analysis to generate for each method assertions
describing the relation between its inputs and outputs, and show that
these assertions imply the specification as described in the API’s. Mot(s) clés libre(s) : évaluation sytème informatique
|
Accéder à la ressource
|
|
Premiers principes des langages de programmation
/ INRIA
/ 09-06-2010
/ Canal-U - OAI Archive
DOWEK Gilles
Voir le résumé
Voir le résumé
Dans cette vidéo, Gilles Dowek fait un cours introductif, à destination des Professeurs des Lycées, de la Science Informatique (et de ses quatre piliers: Algorithme, Langage, Machine, Information) complété d'une analyse fine de la sémantique des ingrédients des algorithmes (instruction, affectation de valeurs à une variable, déclaration, séquence, test, boucle, état) indépendamment du langage informatique utilisé. Il donne les fondamentaux qui permettent aux enseignants d'enseigner l'algorithmique en seconde ou de faire connaitre les objets numériques dans les enseignements d'option. Ce cours a été donné en juin 2009 et juin 2010 lors des journées de formation à l'informatique organisées par l'INRIA à destination des professeurs de mathématiques d'Ile de France. Il est composé d'une heure de cours et d'une demi-heure de questions-réponses sur le cours. Mot(s) clés libre(s) : affectation, algorithmique, boucle, déclaration, information, instruction, langage informatique, programmation, séquence, syntaxe
|
Accéder à la ressource
|
|
Nouveaux cycles et nouvelle croissance économique
/ UTLS - la suite, Mission 2000 en France
/ 23-05-2000
/ Canal-U - OAI Archive
DIDIER Michel
Voir le résumé
Voir le résumé
"Mesdames, messieurs, existe-t-il une notion qui tombe plus sous le sens que celle de marché ? L'expansion quasi-générale et la vague d'innovation dans les technologies de la communication annoncent-t-elles une phase économique nouvelle ? Après quatre régimes économiques différents au cours du vingtième siècle (une période "" paisible et prospère "" : 1900-1913, une période de repliement conflictuel : 1913-1950, un âge d'or : 1950-1973 et une période de perturbations inflationnistes : 1973 aux années 90), entrons-nous maintenant dans une économie nouvelle ? La clé de la croissance à long terme est la productivité globale des facteurs de production. Le caractère déroutant de certaines observations récentes sur l'économie d'Internet et des nouvelles technologies suggère de nouveaux mécanismes économiques. Il s'avère toutefois qu'on peut en rendre compte par les analyses traditionnelles. Une autre approche consiste à comparer la diffusion de la vague d'innovation actuelle (ordinateurs, téléphones mobiles, Internet) et les vagues antérieures (chemins de fer, électricité, téléphone). On observe des similitudes (effervescence financière, attentes sociales fortes), mais aussi des différences (les vagues antérieures débouchaient sur des monopoles, la vague actuelle se développe dans un contexte d'ouverture à la concurrence). On constate aussi que les innovations mettent généralement des décennies à s'installer. Aujourd'hui, le développement du mobile est plus rapide que toutes les vagues antérieures. En revanche les ordinateurs personnels pénètrent pour l'instant moins vite que la machine à laver. " Mot(s) clés libre(s) : chômage, croissance, économie, inflation, informatique, institution, internet, mondialisation, productivité
|
Accéder à la ressource
|
|
Le coeur en balade
/ 14-01-2007
/ Canal-U - OAI Archive
DEMANGEAT J.
Voir le résumé
Voir le résumé
L'accessibilité aux outils multimédia en micro-informatique offre une nouvelle perspective de communication des images médicales, surtout lorsqu'elles sont animées, comme c'est le cas en cardiologie nucléaire. Les images obtenues à la gamma-caméra sont transférées par réseau sur un micro-ordinateur de type PC, converties au format PCX, montées en fichier d'animation puis intégrées dans un document multimédia où sont adjoints un commentaire vocal et le texte du compte rendu. Le document complet tient sur une disquette de 1,44 méga-octets remise au patient et exploitable au cabinet du médecin prescripteur. Ce logiciel de communication a été conçu au Centre Hospitalier de Haguenau. Le film présente le déroulement des examens cardiaques en médecine nucléaire, la réalisation du document multimédia, ses fonctionnalités et son utilisation dans la pratique par le cardiologue libéral.
Origine
FILMED 1995 - 96 5201 120
Générique
Auteur: Demangeat J. Co-auteurs: Gries P. Référence Filmed: 96 5102 120 SCD médecine Mot(s) clés libre(s) : cardiologie, diagnostic, FILMED, informatique, maladies coronariennes, médecine nucléaire, Nord Alsace, scintigraphie, suivi, ventriculographie
|
Accéder à la ressource
|
|
Science Infos 10/07/2008
/ André DAUTIGNY, David ZAVAGLIA, BioTV, Institut de Cinématographie Scientifique
/ 11-07-2008
/ Canal-U - OAI Archive
DAUTIGNY André, ZAVAGLIA David, FREIXANET Alain
Voir le résumé
Voir le résumé
Science Infos est le premier journal scientifique du web, produit et réalisé par des scientifiques de Bio-TV. Mot(s) clés libre(s) : cheddar, glaciologie, informatique, maladie d'Alzheimer, neurologie, réchauffement climatique, Road runner, sciences
|
Accéder à la ressource
|
|
Linguistique et informatique : la traduction automatique
/ UTLS - la suite, Mission 2000 en France
/ 16-02-2000
/ Canal-U - OAI Archive
DANLOS Laurence
Voir le résumé
Voir le résumé
Conférence du 16 février 2000 par Laurence Danlos. La linguistique informatique est un domaine scientifique neuf, né du développement conjoint des modèles mathématiques et informatiques (théorie des langages formels) et de la formalisation des descriptions linguistiques. Il a pour objectif le traitement automatique du langage naturel et il se situe au carrefour de la linguistique et de l'intelligence artificielle ou des sciences cognitives dans leurs recherches sur le langage naturel.Les recherches en linguistiques informatiques débouchent sur des applications qui relèvent des Industries de la Langue. L'application la plus connue et la plus ancienne est la Traduction Automatique. Nous exposerons les principales difficultés rencontrées en Traduction Automatique et nous dresserons un bilan sur les systèmes existants et sur les perspectives. Nous présenterons ensuite un panorama des autres applications, en particulier celles issues de l'émergence du Web (La Toile) dans lesquelles les calculs statistiques se combinent avec les calculs linguistiques. Mot(s) clés libre(s) : ambiguité lexicale, intelligence artificielle, langage naturel, lemmatisation, linguistique informatique, modèle mathématique, sciences cognitives, sémantique, traduction assistée par ordinateur, traduction automatique
|
Accéder à la ressource
|
|
IPM 2007 - C2i et métiers de la santé
/ CERIMES, Canal U/Tice Médecine Santé
/ 30-10-2007
/ Canal-U - OAI Archive
DANIEL-LE BOZEC Cristel
Voir le résumé
Voir le résumé
30 étudiants sont inscrits (médecine, odontologie, PUPH). Le référentiel sur les systèmes de santé a été revu. Des modalités de validation des acquis ont été mises en place. Les salles informatiques de paris 5 ont été utilisées.
Les contenus pédagogiques ont été distribués au niveau de paris Descartes.
Les trois quarts du référentiel sont couverts. la collaboration fut fructueuse entre les enseignants de médecine et odon
et odontologie.
SCD médecine Nancy 1 mpa Mot(s) clés libre(s) : c2i, IPM 2007, odontologie, pédagogie, référentiel, réseau, système informatique, TICE, validation
|
Accéder à la ressource
|
|
Travailler en LSF : outils et logiciels vidéos : atelier 1 / Brigitte Dalle, Pôle de recherche signes tolosan (Presto)
/ SCPAM / Université Toulouse-Jean Jaurès-campus Mirail, Jean JIMENEZ, Université Toulouse-Jean Jaurès-campus Mirail
/ 15-10-2014
/ Canal-u.fr
DALLE Brigitte
Voir le résumé
Voir le résumé
Travailler en LSF : outils et logiciels vidéos : atelier 1 / Brigitte Dalle, Pôle de recherche signes tolosan (Presto, IRIT), in "Regards croisés sur la LSF et l'apprentissage du
français écrit", journée d'études organisée conjointement par l'École
supérieure du professorat et de l'éducation (ESPE, Toulouse), le département Sciences du langage et le laboratoire Cognition, Langues, Langage, ergonomie,
Équipe de Recherche en Syntaxe et Sémantique (CLLE-ERSS) de l'Université Toulouse Jean-Jaurès-campus Mirail, 15 novembre 2014.
[Conférence en français, traduite en langue des signes française par Patrick Gache, échange avec le public traduit du français en langue des signes par Katia Abbou]. Mot(s) clés libre(s) : technologies éducatives, langue des signes française, étude et enseignement (aides audiovisuelles et informatiques)
|
Accéder à la ressource
|
|
L'avenir de l'Internet (Walid Dabbous)
/ UTLS au lycée
/ 08-02-2011
/ Canal-U - OAI Archive
DABBOUS Walid
Voir le résumé
Voir le résumé
Une conférence de l'UTLS au LycéeL'avenir de l'Internet par Walid Dabbous (Directeur de recherche INRIA)Lycée Jean Moulin (83 Draguignan) Mot(s) clés libre(s) : adresse IP, diffusion de données, interconnexion, Internet, internet des objets, Internet Protocol, mobilité, ordinateur, réseau, routeur, sécurité informatique, vie privée, Web
|
Accéder à la ressource
|
|
IPM 2007 - C2i Santé expérience de Rennes
/ CERIMES, Canal U/Tice Médecine Santé
/ 30-10-2007
/ Canal-U - OAI Archive
CUGGIA Marc
Voir le résumé
Voir le résumé
L'arrivée du C2i a remodelé l'enseignement en PCEM2 . Il est fixé à Rennes en 3ème cycle de médecine générale. L'appel à participation est basé sur le volontariat. Un groupe de 25 étudiants est suivi. L'enseignement est basé sur une journée de cadrage et cinq jours de formation. Les enseignants (documentalistes, généralistes) se sont montrés très intéressés. Chacun s'est accaparé un item. Cours magistraux, tables rondes se sont succédé. L'intérêt est aussi la valorisation de l'équipe enseignante. Les perspectives sont de transformer cette formation sous forme d'UE.
SCD médecine nancy 1 mpa Mot(s) clés libre(s) : C2i, enseignement, informatique, Rennes
|
Accéder à la ressource
|
|