Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Installer
Accès plus rapide que le navigateur!
 

Laboratoire d'informatique de Nantes Atlantique

Indice Laboratoire d'informatique de Nantes Atlantique

Le Laboratoire d'informatique de Nantes Atlantique (LINA) est rattaché à l'Université de Nantes, l'École des mines de Nantes, le CNRS et Inria.

18 relations: Arithmétique d'intervalles, ATLAS Transformation Language, École nationale supérieure des mines de Nantes, Bio-informatique, Biologie des systèmes, Centre national de la recherche scientifique, Génie logiciel, Génomique comparative, Gestion des données, Informatique, Institut de recherche en communications et cybernétique de Nantes, Institut de recherche en informatique et systèmes aléatoires, Institut national de recherche en informatique et en automatique, Laboratoire des sciences du numérique de Nantes, Nantes, Nantes Université, Programmation par contraintes, Théorie des systèmes dynamiques.

Arithmétique d'intervalles

En mathématiques et en informatique, l'arithmétique des intervalles est une méthode de calcul consistant à manipuler des intervalles, par opposition à des nombres (par exemple entiers ou flottants), dans le but d'obtenir des résultats plus rigoureux.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Arithmétique d'intervalles · Voir plus »

ATLAS Transformation Language

ATLAS Transformation Language (ATL) est un langage de transformation de modèles plus ou moins inspiré par le standard QVT de l'Object Management Group.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et ATLAS Transformation Language · Voir plus »

École nationale supérieure des mines de Nantes

L'École nationale supérieure des mines de Nantes, également connue sous les noms Mines Nantes, École des Mines de Nantes et EMN, créée en 1990, était l'une des françaises accréditées au à délivrer un diplôme d'ingénieur.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et École nationale supérieure des mines de Nantes · Voir plus »

Bio-informatique

La bioinformatique (ou bio-informatique), est un champ de recherche multidisciplinaire de la biotechnologie où travaillent de concert biologistes, médecins, informaticiens, mathématiciens, physiciens et bioinformaticiens, dans le but de résoudre un problème scientifique posé par la biologie.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Bio-informatique · Voir plus »

Biologie des systèmes

La biologie des systèmes (ou biologie intégrative) est un domaine récent de la biologie qui étudie les organismes vivants comme les systèmes qu'ils sont en réalité, par opposition aux approches historiques qui tendent à décomposer l'étude à tous les niveaux, en biologie, physiologie, biochimie… La biologie systémique cherche à intégrer différents niveaux d'informations pour comprendre comment fonctionne réellement un système biologique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Biologie des systèmes · Voir plus »

Centre national de la recherche scientifique

Le Centre national de la recherche scientifique, plus connu sous son sigle CNRS, est le plus grand organisme public français de recherche scientifique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Centre national de la recherche scientifique · Voir plus »

Génie logiciel

Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Génie logiciel · Voir plus »

Génomique comparative

La génomique comparative est l'étude comparative de la structure en fonction des génomes de différentes espèces.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Génomique comparative · Voir plus »

Gestion des données

La gestion des données est une discipline de gestion qui tend à valoriser les données en tant que ressources numériques.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Gestion des données · Voir plus »

Informatique

bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Informatique · Voir plus »

Institut de recherche en communications et cybernétique de Nantes

L'Institut de recherche en communications et cybernétique de Nantes (IRCCyN -) est une unité mixte de recherche du Centre national de la recherche scientifique (CNRS), dont les tutelles sont l'École centrale de Nantes, l'Université de Nantes et l'École des Mines de Nantes.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Institut de recherche en communications et cybernétique de Nantes · Voir plus »

Institut de recherche en informatique et systèmes aléatoires

LInstitut de recherche en informatique et systèmes aléatoires, ou IRISA, est une unité mixte de recherche (UMR 6074) en informatique, en traitement du signal et des images, et en robotique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Institut de recherche en informatique et systèmes aléatoires · Voir plus »

Institut national de recherche en informatique et en automatique

L'Institut national de recherche en informatique et en automatique (Inria) est un établissement public à caractère scientifique et technologique français spécialisé en mathématiques et informatique, placé sous la double tutelle du ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation et du ministère de l'Économie et des Finances.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Institut national de recherche en informatique et en automatique · Voir plus »

Laboratoire des sciences du numérique de Nantes

Le Laboratoire des Sciences du Numérique de Nantes (LS2N - UMR6004) est une unité mixte de recherche ayant pour tutelles le Centre national de la recherche scientifique (CNRS), l'École centrale de Nantes, l'Université de Nantes et IMT Atlantique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Laboratoire des sciences du numérique de Nantes · Voir plus »

Nantes

Nantes (Prononciation en français standard retranscrite phonémiquement selon la norme API.) est une commune de l'ouest de la France, située au sud du Massif armoricain, qui s'étend sur les rives de la Loire, à de l'océan Atlantique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Nantes · Voir plus »

Nantes Université

Nantes Université, anciennement université de Nantes jusqu’en 2022, est une université française implantée en Loire-Atlantique et en Vendée.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Nantes Université · Voir plus »

Programmation par contraintes

La programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Programmation par contraintes · Voir plus »

Théorie des systèmes dynamiques

La théorie des systèmes dynamiques désigne couramment la branche des mathématiques qui s'efforce d'étudier les propriétés d'un système dynamique.

Nouveau!!: Laboratoire d'informatique de Nantes Atlantique et Théorie des systèmes dynamiques · Voir plus »

Redirections ici:

LINA.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »