3 research outputs found
JFPC 2019 - Actes des 15es JourneÌes Francophones de Programmation par Contraintes
National audienceLes JFPC (JournĂ©es Francophones de Programmation par Contraintes) sont le principal congrĂšs de la communautĂ© francophone travaillant sur les problĂšmes de satisfaction de contraintes (CSP), le problĂšme de la satisfiabilitĂ© d'une formule logique propositionnelle (SAT) et/ou la programmation logique avec contraintes (CLP). La communautĂ© de programmation par contraintes entretient Ă©galement des liens avec la recherche opĂ©rationnelle (RO), l'analyse par intervalles et diffĂ©rents domaines de l'intelligence artificielle.L'efficacitĂ© des mĂ©thodes de rĂ©solution et l'extension des modĂšles permettent Ă la programmation par contraintes de s'attaquer Ă des applications nombreuses et variĂ©es comme la logistique, l'ordonnancement de tĂąches, la conception d'emplois du temps, la conception en robotique, l'Ă©tude du gĂ©nĂŽme en bio-informatique, l'optimisation de pratiques agricoles, etc.Les JFPC se veulent un lieu convivial de rencontres, de discussions et d'Ă©changes pour la communautĂ© francophone, en particulier entre doctorants, chercheurs confirmĂ©s et industriels. L'importance des JFPC est reflĂ©tĂ©e par la part considĂ©rable (environ un tiers) de la communautĂ© francophone dans la recherche mondiale dans ce domaine.PatronnĂ©es par l'AFPC (Association Française pour la Programmation par Contraintes), les JFPC 2019 ont lieu du 12 au 14 Juin 2019 Ă l'IMT Mines Albi et sont organisĂ©es par Xavier Lorca (prĂ©sident du comitĂ© scientifique) et par Ălise Vareilles (prĂ©sidente du comitĂ© d'organisation)
Actes de l'Ecole d'Eté Temps Réel 2005 - ETR'2005
Pdf des actes disponible à l'URL http://etr05.loria.fr/Le programme de l'Ecole d'été Temps Réel 2005 est construit autour d'exposés de synthÚse donnés par des spécialistes du monde industriel et universitaire qui permettront aux participants de l'ETR, et notamment aux doctorants, de se forger une culture scientifique dans le domaine. Cette quatriÚme édition est centrée autour des grands thÚmes d'importance dans la conception des systÚmes temps réel : Langages et techniques de description d'architectures, Validation, test et preuve par des approches déterministes et stochastiques, Ordonnancement et systÚmes d'exploitation temps réel, Répartition, réseaux temps réel et qualité de service
13th International Conference on Modeling, Optimization and Simulation - MOSIM 2020
ComitĂ© dâorganisation: UniversitĂ© Internationale dâAgadir â Agadir (Maroc) Laboratoire Conception Fabrication Commande â Metz (France)Session RS-1 âSimulation et Optimisationâ / âSimulation and Optimizationâ Session RS-2 âPlanification des Besoins MatiĂšres PilotĂ©e par la Demandeâ / âDemand-Driven Material Requirements Planningâ Session RS-3 âIngĂ©nierie de SystĂšmes BasĂ©es sur les ModĂšlesâ / âModel-Based System Engineeringâ Session RS-4 âRecherche OpĂ©rationnelle en Gestion de Productionâ / "Operations Research in Production Management" Session RS-5 "Planification des MatiĂšres et des Ressources / Planification de la Productionâ / âMaterial and Resource Planning / Production Planning" Session RS-6 âMaintenance Industrielleâ / âIndustrial Maintenanceâ Session RS-7 "Etudes de Cas Industrielsâ / âIndustrial Case Studies" Session RS-8 "DonnĂ©es de Masse / Analyse de DonnĂ©esâ / âBig Data / Data Analytics" Session RS-9 "Gestion des SystĂšmes de Transportâ / âTransportation System Management" Session RS-10 "Economie Circulaire / DĂ©veloppement Durable" / "Circular Economie / Sustainable Development" Session RS-11 "Conception et Gestion des ChaĂźnes Logistiquesâ / âSupply Chain Design and Management" Session SP-1 âIntelligence Artificielle & Analyse de DonnĂ©es pour la Production 4.0â / âArtificial Intelligence & Data Analytics in Manufacturing 4.0â Session SP-2 âGestion des Risques en Logistiqueâ / âRisk Management in Logisticsâ Session SP-3 âGestion des Risques et Evaluation de Performanceâ / âRisk Management and Performance Assessmentâ Session SP-4 "Indicateurs ClĂ©s de Performance 4.0 et Dynamique de Prise de DĂ©cisionâ / â4.0 Key Performance Indicators and Decision-Making Dynamics" Session SP-5 "Logistique Maritimeâ / âMarine Logistics" Session SP-6 âTerritoire et Logistique : Un SystĂšme Complexeâ / âTerritory and Logistics: A Complex Systemâ Session SP-7 "Nouvelles AvancĂ©es et Applications de la Logique Floue en Production Durable et en Logistiqueâ / âRecent Advances and Fuzzy-Logic Applications in Sustainable Manufacturing and Logistics" Session SP-8 âGestion des Soins de SantĂ©â / âHealth Care Managementâ Session SP-9 âIngĂ©nierie Organisationnelle et Gestion de la ContinuitĂ© de Service des SystĂšmes de SantĂ© dans lâEre de la Transformation NumĂ©rique de la SociĂ©tĂ©â / âOrganizational Engineering and Management of Business Continuity of Healthcare Systems in the Era of Numerical Society Transformationâ Session SP-10 âPlanification et Commande de la Production pour lâIndustrie 4.0â / âProduction Planning and Control for Industry 4.0â Session SP-11 âOptimisation des SystĂšmes de Production dans le Contexte 4.0 Utilisant lâAmĂ©lioration Continueâ / âProduction System Optimization in 4.0 Context Using Continuous Improvementâ Session SP-12 âDĂ©fis pour la Conception des SystĂšmes de Production Cyber-Physiquesâ / âChallenges for the Design of Cyber Physical Production Systemsâ Session SP-13 âProduction AvisĂ©e et DĂ©veloppement Durableâ / âSmart Manufacturing and Sustainable Developmentâ Session SP-14 âLâHumain dans lâUsine du Futurâ / âHuman in the Factory of the Futureâ Session SP-15 âOrdonnancement et PrĂ©vision de ChaĂźnes Logistiques RĂ©silientesâ / âScheduling and Forecasting for Resilient Supply Chains