695 résultats : Recherches

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
695 résultats
page 3 sur 70
résultats 21 à 30
Canal-U
Description : Rechercher une activité à l'international : les outils de la mobilité / Frank Barreault. In Journée Doc-InPro organisée à l'initiative des doctorants élus au Conseil scientifique et au Conseil des Écoles doctorales de l'Université Toulouse II-Le Mirail. Toulouse : Université Toulouse II-Le Mirail ...
Mots clés : doctorants (lettres et sciences humaines), insertion professionnelle des étudiants en lettres, mobilité internationale, recherche d'emploi
Date : 06-03-2012
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés à l'auteur et à l'Université Toulouse II-Le Mirail.
Canal-U
Description : Présentation d’une animation ciblée sur la qualité des données de la recherche au sein du Département ACT (Action, transitions et territoires) d’Inrae par Véronique BATIFOL et Laurent BURNEL, avec la collaboration de François JOHANY, Inrae, département ACT - Action, transitions et territoires
Mots clés : accès aux données, Données de la recherche, Accès ouvert aux publications scientifiques, science ouverte
Date : 12-02-2021
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : Depuis qu’existent les ordinateurs, la question de l’interface avec les utilisateurs s’est posée. Mais ne sommes-nous pas devenus prisonniers d’interfaces qui ont peu évolué depuis plusieurs décennies ?
Mots clés : histoire de l'informatique, recherche en informatique, interface graphique, utilisateur, souris, hypertexte, histoire, fuscia
Date : 06-01-2007
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
Canal-U
Description : XVIIe Colloque Annuel de la Conférence des Doyens et Directeurs d'UFR Scientifiques "Gouvernance et subsidiarité" Ce colloque porte sur l'évolution des composantes dans le cadre des lois et des nouvelles organisations des sites universitaires. Les réflexions intégrent les positionnement, le p ...
Mots clés : gouvernance, universités, LRU, formation, recherche
Date : 01-02-2013
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Description : This first module introduces basic constraints in constraint programming. Constraint programming is used to represent a problem so as succinct, ie ideally with few variables and few constraints. The first part explain in natural langage a programming constraint and give interpreting of the notation ...
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, alldifferent constraint, element constraint
Date : 18-06-2015
Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
UNIT
Description : This second module deals with application-oriented constraints. At the end of this module, the learner will be able to master the core constraints.
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, counting constraint, nvalue constraint, global cardinality, graph constraints, ...
Date : 18-06-2015
Droits : Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
UNIT
Description : Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
Mots clés : programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, global constraint, graph, automaton, first order formula, symmetry, ontology
Date : 15-06-2015
Droits : Tous droits réservés
UNIT
Description : Précurseur français de la recherche en informatique, Claude Pair a toujours eu une vision très pragmatique de cette discipline, qu’il concevait pour soulager le travail, affranchir des contraintes spatiales et temporelles.
Mots clés : recherche en informatique, calculateur, Algol 60, compilateur, pénétration des TIC, fuscia
Date : 10-05-2007
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
UNIT
Description : Nous vous proposons une rencontre avec Louis Bolliet. Il retrace les débuts de la recherche en informatique à Grenoble tels qu’il les a vécus et livre son sentiment sur l’évolution de ce domaine toujours en mouvement.
Mots clés : recherche en informatique, mathématiques appliquées, formation des ingénieurs, calcul numérique, fuscia
Date : 01-08-2006
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