A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems Robert Rodosek and Mark Wallace IC-Parc, Imperial College, SW7-2AZ London E-mail: frr5,

Source URL: eclipseclp.org

AUT Journal of Modeling and Simulation AUT J. Model. Simul., 180 DOI: miscjA Hybrid Modeling for Continuous Casting Scheduling Problem M. H. Fazel Zarandi*, F. Kashani Azad, A. H.

Source URL: miscj.aut.ac.ir

Hybrid EDF Packet Scheduling for Real-Time Distributed Systems Tao  Qian1,  Frank  Mueller1,  Yufeng  Xin2 1North  Carolina  State  University,  USA 2RENCI,  University  of  North  Carolina  at  Chapel  H

Source URL: www.control.lth.se

• Scheduling
• Operations research
• Planning
• Windows Task Scheduler
• Real-time computing
• Computer architecture
• System software
• Software
• Earliest deadline first scheduling

Hybrid Scheduling for Parallel Rendering using Coherent Ray Tasks Erik Reinhard University of Bristol Alan Chalmersy University of Bristol

Source URL: www.cg.its.tudelft.nl

• Concurrent computing
• Parallel computing
• Computing
• Data parallelism
• Rendering
• CPU cache
• Ray tracing
• Cell
• Data
• Parallel algorithm
• SIMD
• Scheduling

Hybrid Scheduling for Realistic Image Synthesis Erik Reinhard1 Alan Chalmers1 Frederik W. Jansen2 Abstract Rendering a single high quality image may take several hours, or even days. The complexity of both the model and

Source URL: www.cg.its.tudelft.nl

• Parallel computing
• 3D rendering
• 3D computer graphics
• Global illumination algorithms
• Cache
• Rendering
• Ray tracing
• Cache algorithms
• Data
• Ray-tracing hardware
• CPU cache

R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl

Source URL: faculty.cua.edu

• Logic programming
• Automated planning and scheduling
• Formal methods
• Reasoning
• Action description language
• Answer set programming
• Action language
• Algorithm
• Boolean satisfiability problem
• Theoretical computer science
• Applied mathematics
• Artificial intelligence

Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski

Source URL: ai.cs.unibas.ch

• Automated planning and scheduling
• Planning Domain Definition Language
• Theoretical computer science
• Models of computation
• Hybrid automaton
• Formal languages
• Finite-state machine
• Hybrid system
• Alphabet
• Automata theory
• Differential equations
• Mathematics

Hybrid Heuristics for Multimodal Homecare Scheduling Andrea Rendl1 , Matthias Prandtstetter1 Gerhard Hiermann2 , Jakob Puchinger1 , and G¨ unther Raidl2 1

Source URL: andrearendl.com

• Applied mathematics
• Numerical analysis
• Nursing
• Local search
• Simulated annealing
• Tabu search
• Memetic algorithm
• Linear programming
• Heuristic function
• Operations research
• Constraint programming
• Mathematical optimization

Hybrid Queueing Theory and Scheduling Models for Dynamic Environments with Sequence-Dependent Setup Times

Source URL: tidel.mie.utoronto.ca

• Applied mathematics
• Job shop scheduling
• Sequence-dependent setup
• Scheduling
• Queueing theory
• Ant colony optimization algorithms
• Queueing model
• Travelling salesman problem
• Operations research
• Statistics
• Mathematical sciences

A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem Jean-Paul Watson1 and J. Christopher Beck2 1 2

Source URL: tidel.mie.utoronto.ca

• Mathematical optimization
• Algorithm
• Mathematical logic
• Theoretical computer science
• Science
• Job shop scheduling
• Tabu search
• Guided Local Search
• Search algorithm
• Operations research
• Mathematics
• Applied mathematics