154 résultats : logiciel

Recherche en cours

Par mots-clef = logiciel

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

154 résultats

page 11 sur 16

résultats 101 à 110

Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)

Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...

Mots clés : compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche

Date : 08-10-2009

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder au document

Introduction à la biostatistique (série : Enseignements de Statistique en Biologie)

Description : Une vue d'ensemble des méthodes linéaires d'ordination. Une invitation dans la filière Mathématiques et Informatique du Vivant. Introduction à l'usage d'un logiciel de statistique. Sensibilisation d'étudiants de première année (filière Mathématiques) à la problématique biologique.

Mots clés : fuscia, logiciel R, langage S, graphiques statistiques, analyse statistique, calcul de probabilité, statistique inférentielle, test d'hypothèse, paradigme de décision

Date : 01-09-2008

Introduction à la biostatistique (série : Enseignements de Statistique en Biologie)

Ajouter à mon panier

Accéder au document

Fiches TD Courbes de réponse (série : Enseignements de Statistique en Biologie)

Description : Pour ajuster des courbes à des résultats expérimentaux. L'estimation non linéaire aux moindres carrés.

Mots clés : fuscia, logiciel R, régression non linéaire, modèle de Michaelis-Menten, modèle de Monod, modèle de croissance de Verhulst, modèle proie-prédateur, modèle non linéaire

Date : 29-08-2008

Fiches TD Courbes de réponse (série : Enseignements de Statistique en Biologie)

Ajouter à mon panier

Accéder au document

Évolution moléculaire - BioInformatique (série : Enseignements de Statistique en Biologie)

Description : Cette section regroupe les cours et cours-TD intégrés relatifs à bio-informatique au sens de l'étude de l'évolution au niveau moléculaire ainsi que des documents pouvant avoir un intérêt dans ce domaine.

Mots clés : fuscia, logiciel R, génome, AFC, analyse de co-inertie

Date : 14-11-2008

Évolution moléculaire - BioInformatique (série : Enseignements de Statistique en Biologie)

Ajouter à mon panier

Accéder au document

Annales des épreuves de la section Applications des Mathématiques et de l'Informatique à la Génomique (série : Enseignements de Statistique en Biologie)

Description : Exercices, sujets d'examen et corrigés de la section aMIG

Mots clés : fuscia, logiciel R

Date : 27-06-2008

Annales des épreuves de la section Applications des Mathématiques et de l'Informatique à la Génomique (série : Enseignements de Statistique en Biologie)

Ajouter à mon panier

Accéder au document

Annales de biologie et modélisation (série : Enseignements de Statistique en Biologie)

Description : Exercices, questions d'examens et corrigés de biologie et modélisation

Mots clés : fuscia, logiciel R, modélisation, test d'hypothèse, graphique statistique, modèle proie-prédateur

Date : 28-05-2008

Annales de biologie et modélisation (série : Enseignements de Statistique en Biologie)

Ajouter à mon panier

Accéder au document

Les programmes informatiques : applications techniques et exploitations commerciales

Description : L'objectif de l'exposé est d'illustrer le cheminement qui mène à l'exploitation commerciale d'une technologie "agent" à partir des résultats obtenus par un projet de recherche. La première partie est une introduction à la technologie agent et ses applications : caractéristiques des agents, agents ...

Mots clés : logiciel, intelligence artificielle, commerce électronique, informatique distribuée, programmation objet, recherche sur Internet, représentation des connaissances, service guide d'achat, technologie agent

Date : 11-09-2000

Droits : Droits réservés à l'éditeur et aux auteurs.

Les programmes informatiques : applications techniques et exploitations commerciales

Ajouter à mon panier

Accéder aux documents

Initiation à MATLAB

Description : Ce cours d'initiation à MATLAB a été conçu à l'École des Mines d'Albi-Carmaux pour les élèves-ingénieur de 2ème année. Il n'a pas vocation à se substituer à la documentation MATLAB, très bien faite, illustrée de nombreux exemples, et surtout consultable sur le WEB. Son objectif principal est de ...

Mots clés : MATLAB, logiciel, programmation, calcul numérique, fonction graphique 2D, fonction graphique 3D, variable, fonction, matrice, analyse de données

Date : 01-09-2009

Droits : Ce ressource est la propriété de son auteur et de l'Ecole des Mines d'Albi. Elle est proposée en accès libre selon les principes fixés par la licence Creative Commons BY-NC-ND http://creativecommons.org/licenses/by-nc-nd/3.0/deed.fr

Echanger et communiquer à distance (référentiel C2i : module B6)

Description : Dans ce module, vous allez apprendre les techniques qui permettent de communiquer à distance grâce à un ordinateur relié à Internet. Ces techniques sont relativement simples et elles sont pour la plupart largement répandues aujourd'hui. Ce qui est en revanche beaucoup moins connu, ce sont les règles ...

Mots clés : C2i, TIC, communication à distance, courrier électronique, webmail, logiciel de messagerie, liste de diffusion, forum de discussion, communication asynchrone, messagerie instantanée, chat, visioconférence, téléphonie IP, terminal mobile, Certification Informatique et Internet, Technologies de l' ...

Date : 16-09-2005

Droits : L'ensemble des modules mis à votre disposition sur le site C2IMES sont sous licence Creative Commons by-nc-sa v2.0. Cette licence permet une utilisation libre des ressources pour un usage non commercial et à condition de conserver la paternité de la ressource.

Echanger et communiquer à distance (référentiel C2i : module B6)

Ajouter à mon panier

Accéder au document

La force du collectif

Description : En créant des entités informatiques capables de réagir à des événements imprévus, de dresser des plans et de travailler en équipe, les informaticiens simulent les comportements collectifs de groupes d’individus, d’animaux ou de molécules.

Mots clés : système multi-agents, modélisation multi-agents, jeu vidéo, simulation logiciel, agent réactif, agent cognitif, fuscia

Date : 13-01-2016

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

La force du collectif

Ajouter à mon panier

Accéder au document

Rebondir