116 résultats : contrainte

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
116 résultats
page 2 sur 12
résultats 11 à 20
UNIT
Constraints programming
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
 En savoir plus
 Description complète
Constraints programming
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
UNIT
Global Constraint Catalog
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
 En savoir plus
 Description complète
Global Constraint Catalog
 Ajouter à mon panier
Accéder au document
Droits d'accès : non autorisé
Canal-U
CIDMEF Libreville 2011 – La recherche universitaire au Sénégal.
Description : Titre : CIDMEF Libreville 2011 – La recherche universitaire au Sénégal. Intervenant (s) : Henri Michel BENOIST (Dakar- Sénégal) Résumé : La recherche universitaire au Sénégal. Contraintes et opportunités en Odontologie. 5exemple du service de Parodontologie. L’auteur n’a pas transmis de conflit ...
Mots clés : recherche, santé, UMVF, SIFEM, CIDMEF, Libreville 2011, contraintes, universitaire
Date : 19-04-2011
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
CIDMEF Libreville 2011 – La recherche universitaire au Sénégal.
 Ajouter à mon panier
Accéder aux documents
Canal-U
DIU de Podologie 2014 : Pied du sujet Agé
Description : DIU de Podologie 2014 : Pied du sujet Agé Intervenant : Dr Mathieu Berthel, Centre de réadaptation fonctionnelle Clémenceau, Strasbourg Résumé : Aspect physiopathologiques, spécificités cliniques, prise en charge thérapeutique, soins adaptés à la personne âgée. Cours enregistré à la Faculté ...
Mots clés : contrainte, CHU Nancy Brabois, CHU, DIU, pied, 2014, Enseignement a? distance, Podologie, iatrogène, Cheville, médicaments, gériatrie, radiologie, anatomie, fracture, cours, effets indésirables, rhumatologie, sujet agé, douleurs osseuses
Date : 17-01-2014
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
DIU de Podologie 2014 : Pied du sujet Agé
 Ajouter à mon panier
Accéder aux documents
Canal-U
G. Besson - CAT(k)-spaces 1
Description : The purpose of this course is to introduce the synthetic treatment of sectional curvature upper-bound on metric spaces. The basic idea of A.D. Alexandrov was to characterize the curvature bounds on the sectional curvature of a Riemannian manifold in term of properties of its distance function, ...
Mots clés : Grenoble, eem2021, contraintes de courbures et espaces métriques, curvature constraints and spaces of metrics, CAT(K), spaces
Date : 14-06-2021
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
 En savoir plus
 Description complète
G. Besson - CAT(k)-spaces 1
 Ajouter à mon panier
Accéder aux documents
Canal-U
P. Castillon - CAT(k)-spaces 3
Description : The purpose of this course is to introduce the synthetic treatment of sectional curvature upper-bound on metric spaces. The basic idea of A.D. Alexandrov was to characterize the curvature bounds on the sectional curvature of a Riemannian manifold in term of properties of its distance function, ...
Mots clés : Grenoble, eem2021, contraintes de courbures et espaces métriques, curvature constraints and spaces of metrics, CAT(K), spaces
Date : 17-06-2021
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
 En savoir plus
 Description complète
P. Castillon - CAT(k)-spaces 3
 Ajouter à mon panier
Accéder aux documents
Canal-U
P. Burkhardt - Pointwise lower scalar curvature bounds for C0 metrics via regularizing Ricci flow
Description : We propose a class of local definitions of weak lower scalar curvature bounds that is well defined for C0 metrics. We show the following: that our definitions are stable under greater-than-second-order perturbation of the metric, that there exists a reasonable notion of a Ricci flow starting ...
Mots clés : Grenoble, scalar curvature, eem2021, contraintes de courbures et espaces métriques, curvature constraints and spaces of metrics, Ricci flows
Date : 01-07-2021
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
 En savoir plus
 Description complète
P. Burkhardt - Pointwise lower scalar curvature bounds for C0 metrics via regularizing Ricci flow
 Ajouter à mon panier
Accéder aux documents
Canal-U
P. Castillon - CAT(k)-spaces 2
Description : The purpose of this course is to introduce the synthetic treatment of sectional curvature upper-bound on metric spaces. The basic idea of A.D. Alexandrov was to characterize the curvature bounds on the sectional curvature of a Riemannian manifold in term of properties of its distance function, ...
Mots clés : Grenoble, eem2021, contraintes de courbures et espaces métriques, curvature constraints and spaces of metrics, CAT(K), spaces
Date : 15-06-2021
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
 En savoir plus
 Description complète
P. Castillon - CAT(k)-spaces 2
 Ajouter à mon panier
Accéder aux documents
Canal-U
P. Castillon - CAT(k)-spaces 4
Description : The purpose of this course is to introduce the synthetic treatment of sectional curvature upper-bound on metric spaces. The basic idea of A.D. Alexandrov was to characterize the curvature bounds on the sectional curvature of a Riemannian manifold in term of properties of its distance function, ...
Mots clés : Grenoble, eem2021, contraintes de courbures et espaces métriques, curvature constraints and spaces of metrics, CAT(K), spaces
Date : 18-06-2021
Droits : Droits réservés à l'éditeur et aux auteurs. CC BY-NC-ND 4.0
 En savoir plus
 Description complète
P. Castillon - CAT(k)-spaces 4
 Ajouter à mon panier
Accéder aux documents
Canal-U
L’agriculture de conservation pour l'intensification écologique : Principes et contraintes à l'adoption dans les pays du Sud
Description : L’intensification écologique constitue un axe prioritaire des diverses institutions de recherche agronomique engagées dans la promotion de l’agriculture durable. Cependant, la conception de systèmes de production et leur mise en œuvre nécessitent des modifications profondes de l’organisation et ...
Mots clés : agriculture durable, Intensification écologique, Agriculture de Conservation, Ingénierie en systèmes de cultures durables, Contraintes à l’adoption, Innovation, Systèmes de Cultures en Semis Directs et Couvertures Végétales (SCV)
Date : 30-09-2013
Droits : Droits réservés à l'éditeur et aux auteurs. Licence Creative Commons : Attribution - Pas d’Utilisation Commerciale - Partage dans les mêmes conditions
 En savoir plus
 Description complète
L’agriculture de conservation pour l'intensification écologique : Principes et contraintes à l'adoption dans les pays du Sud
 Ajouter à mon panier
Accéder aux documents