Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231

Source URL: icaps16.icaps-conference.org

• Software engineering
• Computing
• Software requirements
• Modeling languages
• Systems engineering
• Systems analysis
• Enterprise modelling
• KAOS
• Planning Domain Definition Language
• I*
• Diagram
• Use case

Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra

Source URL: icaps16.icaps-conference.org

• Business
• Economy
• Scheduling
• Information technology management
• Operations research
• Production planning
• Schedule
• Workflow
• Business process management
• Program evaluation and review technique
• Hierarchical task network
• Job shop scheduling

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Mathematics
• Logic in computer science
• Proof theory
• Programming language semantics
• Metalogic
• Model theory
• Symbol
• Net
• Constructible universe
• Sequent
• Permutation

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Source URL: smt-workshop.cs.uiowa.edu

• Constraint programming
• Theoretical computer science
• Computing
• Wireless sensor network
• Wireless networking
• Applied mathematics
• Satisfiability modulo theories
• Sensor node
• Constraint satisfaction
• Mathematical optimization
• Constraint

2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1

Source URL: wirelesslab.sjtu.edu.cn

Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Robotics
• Machine learning
• Robot
• Humanrobot interaction
• Motion planning
• Automated planning and scheduling
• Mobile robot
• Simultaneous localization and mapping
• Cognitive robotics
• Ayorkor Korsah
• Cloud robotics

Cellular Network Traffic Scheduling using Deep Reinforcement Learning Sandeep Chinchali, et. al. Marco Pavone, Sachin Katti Stanford University AAAI 2018

Source URL: platformlab.stanford.edu

• Ambient intelligence
• Internet of things
• Long short-term memory
• Scheduling
• Future
• Technology
• Applied mathematics

Coordination Mechanisms, Cost-Sharing, and Approximation Algorithms for Scheduling Ioannis Caragiannis1 , Vasilis Gkatzelis2 , and Cosimo Vinci3 1 University of Patras, Rion-Patras, Greece

Source URL: www.cs.drexel.edu

• Game theory
• Permutation
• Price of anarchy
• Shapley value
• Approximation algorithm
• Mathematics
• Microeconomics
• Mathematical economics

Unleashing dynamic task scheduling at rack-scale Magnus  Norgren,   Andra  Hugo  (DDN  Storage),   Stefanos  Kaxiras,  Konstan9nos  Sagonas    

Source URL: workshops.inf.ed.ac.uk

• Computing
• Computer memory
• Parallel computing
• Computer architecture
• Dynamic random-access memory
• Latency
• OpenMP
• Random-access memory