Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)
- Type
- Modulo (Classe)
- Label
- Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001) (literal)
- Prodotto
- Into the Wild: Pushing a Telepresence Robot Outside the Lab (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Addressing the Long-Term Evaluation of a Telepresence Robot for the Elderly (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Evaluating telepresence robots in the field (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Closed-loop production and automation scheduling in RMSs (Contributo in atti di convegno) (Prodotto della ricerca)
- New Reasoning for Timeline Based Planning. An Introduction to J-TRE and its Features (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Efficient energy management for autonomous control in rover missions (Articolo in rivista) (Prodotto della ricerca)
- Looking for MrSPOCK: Issues in Deploying a Space Application (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An on-going evaluation of domestic robots (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Project Scheduling as a Disjunctive Temporal Problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Pursuing Interactivity in Mission Planning Support - A Retrospective View (Contributo in atti di convegno) (Prodotto della ricerca)
- MEXAR2 Support to Space Mission Planners (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Constraint-based methods for scheduling discretionary services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Attitudes Toward Intelligent Technologies: Elderly People and Caregivers in Nursing Homes (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Studying Decision Support for MARS EXPRESS Planning Tasks: A Report from the MEXAR Experience (Contributo in atti di convegno) (Prodotto della ricerca)
- Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Fix the Schedule or Solve Again? Comparing Constraint-Based Approaches to Schedule Execution (Contributo in atti di convegno) (Prodotto della ricerca)
- Reasoning About and Dynamically Posting n-ary Constraints in ADOPT (Contributo in atti di convegno) (Prodotto della ricerca)
- Coping with Change in Scheduling: Toward Proactive and Reactive Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Max-Flow Approach for Improving Robustness in a Spacecraft Downlink Schedule (Contributo in atti di convegno) (Prodotto della ricerca)
- Simulations for Crisis Management - PANDORA's Box (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Robot di telepresenza e operatori socio-sanitari: una indagine esplorativa (Contributo in atti di convegno) (Prodotto della ricerca)
- Mexar2: Un supporto alla pianificazione di missione in Mars Express (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Designing a Testset Generator for Reactive Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Looking for a common scheduling perturbations benchmark. (Contributo in atti di convegno) (Prodotto della ricerca)
- The Integration of Planning into Scheduling with OMP (Contributo in atti di convegno) (Prodotto della ricerca)
- MrSPOCK: Generating a Planning System through a Timeline Representation Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- Using and Artificial Intelligence Tool to Perform Data Downlink Planning as Part of the Mission Planning Activities of Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- RAXEM - Supporting Command Uplink in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- AI Based Tools for Continuous Support to Mission Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution (Contributo in atti di convegno) (Prodotto della ricerca)
- A Planning and Scheduling Tool to Automate and Support Mission Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Caring About the User's View: The Joys and Sorrows of Experiments with People (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Injecting On-Board Autonomy in a Multi-Agent System for Space Service Providing (Contributo in atti di convegno) (Prodotto della ricerca)
- Simulating On-Board Autonomy in a Multi-Agent System with Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- APSI Case#1: Pre-planning Science Operations in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting Iterative Flattening Search to Solve Job Shop Scheduling Problems with Setup Times (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- MEXAR2 - An Operational Tool for Continuous Support to Mission Planning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Psychophysiological Methods to Evaluate User's Response in Human Robot Interaction: A Review and Feasibility Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Towards a Reliable Evaluation of Mixed-Initiative Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- Assessing the tolerance of a telepresence robot in users with Mild Cognitive Impairment - A protocol for studying users' physiological response (Contributo in atti di convegno) (Prodotto della ricerca)
- Using a Scheduling Domain Ontology to Compute User-oriented Explanations (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Constraint-Based Random Search for Solving Spacecraft Downlink Scheduling Problems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Towards a Methodology for Longitudinal Evaluation of Social Robotic Telepresence for Elderly (Contributo in atti di convegno) (Prodotto della ricerca)
- Generating Robust Schedules through Temporal Flexibility (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Solving Job Shop Scheduling with Setup Times through Constraint-based Iterative Sampling: an Experimental Analysis (Articolo in rivista) (Prodotto della ricerca)
- Training Crisis Managers in Strategic Decision-Making (Articolo in rivista) (Prodotto della ricerca)
- Ontologies, rules and linked data to support Crisis Managers Training (Articolo in rivista) (Prodotto della ricerca)
- Monitoring Older People with the RoboCare Domestic Environment: Interaction Synthesis and User Evaluation (Articolo in rivista) (Prodotto della ricerca)
- The Geriatrician (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- ICF Core Set for Matching Older Adults with Dementia and Technology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Schedule robustness through Solve-and-Robustify: generating flexible schedules from different fixed-time solutions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Combining Variants of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- Validating Scheduling Approaches Against Executional Uncertainty (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Multi-agent Frameworks for Space Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Enabling Social Interaction Through Embodiment in ExCITE (Contributo in atti di convegno) (Prodotto della ricerca)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- Iterative Flattening Search for Resource Constrained Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Mexar2 [Version 4.2]: A software for daily support of space mission planning (Software) (Prodotto della ricerca)
- Science Operations Pre-Planning & Optimization using AI constraint-resolution - the APSI Case Study 1 (Contributo in atti di convegno) (Prodotto della ricerca)
- Merging Planning, Scheduling & Verification - A Preliminary Analysis. (Contributo in atti di convegno) (Prodotto della ricerca)
- Iterative Improvement Algorithms for the Blocking Job Shop (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RAXEM2 [version 1.10]: A system for command uplink in space mission environments (Software) (Prodotto della ricerca)
- User interaction with an AI tool: The RAXEM experience (Contributo in atti di convegno) (Prodotto della ricerca)
- The Timeline Representation Framework as a Planning and Scheduling Software Development Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Flexible Plan Verification: Feasibility Results (Articolo in rivista) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Articolo in rivista) (Prodotto della ricerca)
- MrSPOCK: Steps in Developing an End-to-End Space Application (Articolo in rivista) (Prodotto della ricerca)
- Assessing affective response of older users to a telepresence robot using a combination of psychophysiological measures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- SEaM: Analyzing Schedule Executability through Simulation (Articolo in rivista) (Prodotto della ricerca)
- IPSS: A Problem Solver that Integrates Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating Off-line and On-line Scheduling Approaches (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno) (Prodotto della ricerca)
- CSTRIPS: Towards Explicit Concurrent Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Developing a smart environment for crisis management training (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Intelligent dynamic part routing policies in Plug&Produce Reconfigurable Transportation Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Fostering social interaction of home-bound elderly people: The EasyReach system (Contributo in atti di convegno) (Prodotto della ricerca)
- Multi-Component Framework for Planning and Scheduling Integration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validating Scheduling Approaches against Executional Uncertainty (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Iterative Improvement Strategies for Multi-Capacity Scheduling Problems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An Innovative Product for Space Mission Planning -- an a posteriori evaluation (Contributo in atti di convegno) (Prodotto della ricerca)
- Extending a Scheduler with Causal Reasoning: a CSP Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- User-Oriented Problem Specification for Scheduling Domains (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Closed-loop Production and Automation Schedule Execution in RMSs under Uncertain Environmental Conditions (Contributo in atti di convegno) (Prodotto della ricerca)
- Testsets Generation for Reactive Scheduling (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- OMPS: Una architettura software a componenti per planning e scheduling (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- RAXEM: Un sistema di supporto alle decisioni per pianificare command uplink in MARS EXPRESS (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Controller synthesis for safety critical planning (Contributo in atti di convegno) (Prodotto della ricerca)
- User Interaction with an Automated Solver - The Case of a Mission Planner (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Solve-and-Robustify. Synthesizing Partial Order Schedules by Chaining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- APSI Timeline-based Representation Framework (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Integrating Off-line and On-line Schedulers (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Mexar2 [Versione 4.0] Un supporto alla pianificazione di missione in Mars Express (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Walk the (Time-)Line: Scheduling and Execution (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- RAXEM: Toward a Systematic Approach to Support Mission Planning (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- The 2008 Scheduling and Planning Applications Workshop (SPARK08) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Schedule Robustness through Broader Solve and Robustify Search for Partial Order Schedules (Articolo in rivista) (Prodotto della ricerca)
- Controlling Complex Physical Systems Through Planning and Scheduling Integration (Articolo in rivista) (Prodotto della ricerca)
- Boosting the Performance of Iterative Flattening Search (Articolo in rivista) (Prodotto della ricerca)
- From Precedence Constraint Posting to Partial Order Schedules. A CSP Approach to Robust Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (Prodotto della ricerca)
- Improving Robustness of Spacecraft Downlink Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MEXAR2: AI Solves Mission Planner Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MEXAR2 : a software tool for MARS EXPRESS data dumping activities (Comunicazione a convegno) (Prodotto della ricerca)
- AI infusion at ESA-ESOC: The user perspective on MEXAR2 (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Planning with Multiple-Components in OMPS (Articolo in rivista) (Prodotto della ricerca)
- Unifying Planning and Scheduling as Timelines in a Component-Based Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (Prodotto della ricerca)
- Il ruolo dellautonomia nella robotica spaziale (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Scheduling with uncertainty: A proactive approach using Partial Order Schedules (Thesis Summary) (Articolo in rivista) (Prodotto della ricerca)
- Scheduling a Single Robot in a Job-Shop Environment through Precedence Constraint Posting (Contributo in atti di convegno) (Prodotto della ricerca)
- IPSS: a Hybrid Approach to Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- From Demo to Practice: the MEXAR Path to Space Operations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Generating Robust Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to Special Issue on Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluating Mixed-Initiative Systems: An Experimental Approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- IPSS: A Hybrid Reasoner for Planning and Scheduling (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Constraint-based Scheduling for Closed-loop Production Control in RMSs (Contributo in atti di convegno) (Prodotto della ricerca)
- Comparing Iterative Improvement Heuristics for Multi-Capacity Scheduling Problems (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Long-term Evaluation of a Mobile Remote Presence Robot for the Elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Innovative AI Technologies for Future ESA Missions (Contributo in atti di convegno) (Prodotto della ricerca)
- Iterative Flattening Search for the Flexible Job Shop Scheduling Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- EasyReach: un sistema per agevolare la socializzazione a distanza tra utenti anziani pre digital-divide (Contributo in atti di convegno) (Prodotto della ricerca)
- Casting Project Scheduling with Time Windows as a DTP (Contributo in atti di convegno) (Prodotto della ricerca)
- ExCITE: Enabling Social Interaction through Embodiment (Contributo in atti di convegno) (Prodotto della ricerca)
- Codice
- SP.P01.007.001 (literal)
- Anno di chiusura previsto
- 2014-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- Il modulo punta alla formazione di tecnologie applicabili allo studio dei processi industriali e produttivi in generale, in particolare alla modellazione del workflow produttivo e dei vincoli temporali e causali tra i vari sottoprocessi. Tecniche stato dell'arte di pianificazione e scheduling vengono usate per simulazioni di processo e progettazione di linee produttive. (literal)
- Nome
- Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (literal)
- Descrizione
- Descrizione collaborazioni del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione collaborazioni)
- Descrizione del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione modulo)
- Descrizione dello stato di avanzamento delle attività del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione stato avanzamento attività)
- Modulo di
- Gestore
- AMEDEO CESTA (Persona)
Incoming links:
- Prodotto di
- Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MEXAR2 Support to Space Mission Planners (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Looking for a common scheduling perturbations benchmark. (Contributo in atti di convegno) (Prodotto della ricerca)
- The Integration of Planning into Scheduling with OMP (Contributo in atti di convegno) (Prodotto della ricerca)
- AI Based Tools for Continuous Support to Mission Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- A Planning and Scheduling Tool to Automate and Support Mission Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Using and Artificial Intelligence Tool to Perform Data Downlink Planning as Part of the Mission Planning Activities of Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- Fix the Schedule or Solve Again? Comparing Constraint-Based Approaches to Schedule Execution (Contributo in atti di convegno) (Prodotto della ricerca)
- Reasoning About and Dynamically Posting n-ary Constraints in ADOPT (Contributo in atti di convegno) (Prodotto della ricerca)
- A Max-Flow Approach for Improving Robustness in a Spacecraft Downlink Schedule (Contributo in atti di convegno) (Prodotto della ricerca)
- Studying Decision Support for MARS EXPRESS Planning Tasks: A Report from the MEXAR Experience (Contributo in atti di convegno) (Prodotto della ricerca)
- Innovative AI Technologies for Future ESA Missions (Contributo in atti di convegno) (Prodotto della ricerca)
- Looking for MrSPOCK: Issues in Deploying a Space Application (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- An on-going evaluation of domestic robots (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Project Scheduling as a Disjunctive Temporal Problem (Contributo in atti di convegno) (Prodotto della ricerca)
- Pursuing Interactivity in Mission Planning Support - A Retrospective View (Contributo in atti di convegno) (Prodotto della ricerca)
- Casting Project Scheduling with Time Windows as a DTP (Contributo in atti di convegno) (Prodotto della ricerca)
- ExCITE: Enabling Social Interaction through Embodiment (Contributo in atti di convegno) (Prodotto della ricerca)
- Designing a Testset Generator for Reactive Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coping with Change in Scheduling: Toward Proactive and Reactive Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Schedule robustness through Solve-and-Robustify: generating flexible schedules from different fixed-time solutions (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a Reliable Evaluation of Mixed-Initiative Systems (Contributo in atti di convegno) (Prodotto della ricerca)
- MEXAR2 - An Operational Tool for Continuous Support to Mission Planning (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Caring About the User's View: The Joys and Sorrows of Experiments with People (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution (Contributo in atti di convegno) (Prodotto della ricerca)
- MrSPOCK: Generating a Planning System through a Timeline Representation Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- RAXEM - Supporting Command Uplink in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- APSI Case#1: Pre-planning Science Operations in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting Iterative Flattening Search to Solve Job Shop Scheduling Problems with Setup Times (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Injecting On-Board Autonomy in a Multi-Agent System for Space Service Providing (Contributo in atti di convegno) (Prodotto della ricerca)
- Simulating On-Board Autonomy in a Multi-Agent System with Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- Schedule Robustness through Broader Solve and Robustify Search for Partial Order Schedules (Articolo in rivista) (Prodotto della ricerca)
- Controlling Complex Physical Systems Through Planning and Scheduling Integration (Articolo in rivista) (Prodotto della ricerca)
- From Precedence Constraint Posting to Partial Order Schedules. A CSP Approach to Robust Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (Prodotto della ricerca)
- Boosting the Performance of Iterative Flattening Search (Articolo in rivista) (Prodotto della ricerca)
- Solve-and-Robustify. Synthesizing Partial Order Schedules by Chaining (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to Special Issue on Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- SEaM: Analyzing Schedule Executability through Simulation (Articolo in rivista) (Prodotto della ricerca)
- Combining Variants of Iterative Flattening Search (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Iterative Flattening Search for Resource Constrained Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validating Scheduling Approaches Against Executional Uncertainty (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (Prodotto della ricerca)
- Scheduling with uncertainty: A proactive approach using Partial Order Schedules (Thesis Summary) (Articolo in rivista) (Prodotto della ricerca)
- IPSS: a Hybrid Approach to Planning and Scheduling Integration (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- From Demo to Practice: the MEXAR Path to Space Operations (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Generating Robust Partial Order Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Improving Robustness of Spacecraft Downlink Schedules (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MEXAR2: AI Solves Mission Planner Problems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Planning with Multiple-Components in OMPS (Articolo in rivista) (Prodotto della ricerca)
- Hybrid Variants for Iterative Flattening Search (Articolo in rivista) (Prodotto della ricerca)
- The 2008 Scheduling and Planning Applications Workshop (SPARK08) (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- User Interaction with an Automated Solver - The Case of a Mission Planner (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Unifying Planning and Scheduling as Timelines in a Component-Based Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Il ruolo dellautonomia nella robotica spaziale (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- User-Oriented Problem Specification for Scheduling Domains (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Testsets Generation for Reactive Scheduling (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Extending a Scheduler with Causal Reasoning: a CSP Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Integrating Off-line and On-line Scheduling Approaches (Contributo in atti di convegno) (Prodotto della ricerca)
- CSTRIPS: Towards Explicit Concurrent Planning (Contributo in atti di convegno) (Prodotto della ricerca)
- IPSS: A Problem Solver that Integrates Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- Multi-Component Framework for Planning and Scheduling Integration (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validating Scheduling Approaches against Executional Uncertainty (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Iterative Improvement Strategies for Multi-Capacity Scheduling Problems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Science Operations Pre-Planning & Optimization using AI constraint-resolution - the APSI Case Study 1 (Contributo in atti di convegno) (Prodotto della ricerca)
- Merging Planning, Scheduling & Verification - A Preliminary Analysis. (Contributo in atti di convegno) (Prodotto della ricerca)
- User interaction with an AI tool: The RAXEM experience (Contributo in atti di convegno) (Prodotto della ricerca)
- The Timeline Representation Framework as a Planning and Scheduling Software Development Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- Multi-agent Frameworks for Space Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Enabling Social Interaction Through Embodiment in ExCITE (Contributo in atti di convegno) (Prodotto della ricerca)
- MEXAR2 : a software tool for MARS EXPRESS data dumping activities (Comunicazione a convegno) (Prodotto della ricerca)
- AI infusion at ESA-ESOC: The user perspective on MEXAR2 (Abstract/Poster in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1302)
- Comparing Iterative Improvement Heuristics for Multi-Capacity Scheduling Problems (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Walk the (Time-)Line: Scheduling and Execution (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- RAXEM: Toward a Systematic Approach to Support Mission Planning (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Integrating Off-line and On-line Schedulers (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- An Innovative Product for Space Mission Planning -- an a posteriori evaluation (Contributo in atti di convegno) (Prodotto della ricerca)
- Using a Scheduling Domain Ontology to Compute User-oriented Explanations (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Constraint-Based Random Search for Solving Spacecraft Downlink Scheduling Problems (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Generating Robust Schedules through Temporal Flexibility (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- OMPS: Una architettura software a componenti per planning e scheduling (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- RAXEM: Un sistema di supporto alle decisioni per pianificare command uplink in MARS EXPRESS (Manufatti, prototipi d'arte e relativi progetti) (Prodotto della ricerca)
- Mexar2 [Versione 4.0] Un supporto alla pianificazione di missione in Mars Express (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- APSI Timeline-based Representation Framework (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Evaluating Mixed-Initiative Systems: An Experimental Approach (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- IPSS: A Hybrid Reasoner for Planning and Scheduling (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Mexar2: Un supporto alla pianificazione di missione in Mars Express (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Solving Job Shop Scheduling with Setup Times through Constraint-based Iterative Sampling: an Experimental Analysis (Articolo in rivista) (Prodotto della ricerca)
- Training Crisis Managers in Strategic Decision-Making (Articolo in rivista) (Prodotto della ricerca)
- Mexar2 [Version 4.2]: A software for daily support of space mission planning (Software) (Prodotto della ricerca)
- RAXEM2 [version 1.10]: A system for command uplink in space mission environments (Software) (Prodotto della ricerca)
- Constraint-based methods for scheduling discretionary services (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Long-term Evaluation of a Mobile Remote Presence Robot for the Elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Flexible Plan Verification: Feasibility Results (Articolo in rivista) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Articolo in rivista) (Prodotto della ricerca)
- MrSPOCK: Steps in Developing an End-to-End Space Application (Articolo in rivista) (Prodotto della ricerca)
- Towards a Methodology for Longitudinal Evaluation of Social Robotic Telepresence for Elderly (Contributo in atti di convegno) (Prodotto della ricerca)
- Assessing the tolerance of a telepresence robot in users with Mild Cognitive Impairment - A protocol for studying users' physiological response (Contributo in atti di convegno) (Prodotto della ricerca)
- Iterative Flattening Search for the Flexible Job Shop Scheduling Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Scheduling a Single Robot in a Job-Shop Environment through Precedence Constraint Posting (Contributo in atti di convegno) (Prodotto della ricerca)
- Ontologies, rules and linked data to support Crisis Managers Training (Articolo in rivista) (Prodotto della ricerca)
- Monitoring Older People with the RoboCare Domestic Environment: Interaction Synthesis and User Evaluation (Articolo in rivista) (Prodotto della ricerca)
- Attitudes Toward Intelligent Technologies: Elderly People and Caregivers in Nursing Homes (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Simulations for Crisis Management - PANDORA's Box (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Closed-loop production and automation scheduling in RMSs (Contributo in atti di convegno) (Prodotto della ricerca)
- ICF Core Set for Matching Older Adults with Dementia and Technology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- EasyReach: un sistema per agevolare la socializzazione a distanza tra utenti anziani pre digital-divide (Contributo in atti di convegno) (Prodotto della ricerca)
- Robot di telepresenza e operatori socio-sanitari: una indagine esplorativa (Contributo in atti di convegno) (Prodotto della ricerca)
- Iterative Improvement Algorithms for the Blocking Job Shop (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Assessing affective response of older users to a telepresence robot using a combination of psychophysiological measures (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- New Reasoning for Timeline Based Planning. An Introduction to J-TRE and its Features (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Into the Wild: Pushing a Telepresence Robot Outside the Lab (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Addressing the Long-Term Evaluation of a Telepresence Robot for the Elderly (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Constraint-based Scheduling for Closed-loop Production Control in RMSs (Contributo in atti di convegno) (Prodotto della ricerca)
- Developing a smart environment for crisis management training (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Geriatrician (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Closed-loop Production and Automation Schedule Execution in RMSs under Uncertain Environmental Conditions (Contributo in atti di convegno) (Prodotto della ricerca)
- Controller synthesis for safety critical planning (Contributo in atti di convegno) (Prodotto della ricerca)
- Psychophysiological Methods to Evaluate User's Response in Human Robot Interaction: A Review and Feasibility Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Integrating knowledge engineering for planning with Validation and Verification tools (Contributo in atti di convegno) (Prodotto della ricerca)
- Fostering social interaction of home-bound elderly people: The EasyReach system (Contributo in atti di convegno) (Prodotto della ricerca)
- Intelligent dynamic part routing policies in Plug&Produce Reconfigurable Transportation Systems (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Efficient energy management for autonomous control in rover missions (Articolo in rivista) (Prodotto della ricerca)
- Evaluating telepresence robots in the field (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Gestore di
- AMEDEO CESTA (Persona)
- Istituto esecutore di
- Modulo
- Descrizione di
- Descrizione collaborazioni del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione collaborazioni)
- Descrizione del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione modulo)
- Descrizione dello stato di avanzamento delle attività del modulo "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling (SP.P01.007.001)" (Descrizione stato avanzamento attività)