Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation

 

Contacts

Références

486

Documents

223

 

Rechercher une publication

 

Politique Open Access des éditeurs

Bienvenue sur la collection HAL | UA du LERIA

 

Derniers documents .PDF déposés dans la collection

Chargement de la page

 

Actualités de l'Unité

Chargement de la page

 

Mots-clés de la collection

Genetic algorithm Graph coloring Learning-based optimization Mathematical Logic and Formal Languages Binary quadratic programming Recherche locale Tabu search Logics and Meanings of Programs Parameter control Algorithm analysis and problem complexity Pattern recognition Forme prénexe Recherche tabou Dispersion problems Data mining Multi-objective optimization Branch and bound Autonomous search NoC Database Management Numeric Computing Crosstalk Bioinformatics Recherche autonome Memetic algorithm Evolutionary computing Metaheuristics Computational Biology/Bioinformatics Clustering Evolutionary algorithms Complex networks Combinatorial optimization Genetic algorithms Constraint programming Métaheuristiques ASP Algorithmes génétiques Algorithme hybride Optimisation combinatoire Optimization Software Engineering Path relinking Information Systems Applications inclInternet Memetic algorithms Ontology Classification Search problems Contexte Iterated local search Adaptive operator selection Descente Maximum parsimony Information Retrieval Multiobjective optimization Formules Booléennes Quantifiées Optimisation multi-objectif Heuristics and metaheuristics Computation by Abstract Devices Graph partitioning Data Mining and Knowledge Discovery Programming Techniques Answer set programming Combinatorial optimisation Local search Artificial Intelligence incl Robotics Adaptive search CSP Memetic search Cognitive map Multiple search strategies Constraint solving Discrete Mathematics in Computer Science Machine learning Decision Support Problème de sac à dos Validation SAT Fitness landscapes Heuristic Combinatorics Island models Simulated annealing Answer Set Programming Argumentation Context Data structures Model reformulation Operations Research/Decision Theory Hypervolume Exact algorithms Theory of Computation Computer Communication Networks Simulation and Modeling Reinforcement learning Artificial Intelligence Information Storage and Retrieval Optimisation Gene selection Graphes conceptuels Heuristics

Disciplines des documents de l'Unité

Évolution des dépôts de l'Unité

Typologie des documents de l'Unité

 

Cartographie des collaborations internationales de l'unité