Practice and Theory of Automated Timetabling V

Practice and Theory of Automated Timetabling V
Author: Edmund Burke
Publisher: Springer Science & Business Media
Total Pages: 354
Release: 2005
Genre: Algorithm Analysis and Problem Complexity
ISBN: 3540307052

Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2004) held in Pittsburgh, USA, August 18-20, 2004. Indeed, as we write this preface, in the Summer of 2005, we note that we are about one month away from the tenth anniversary of the very?rst PATAT conference in Edinburgh. Since those very early days, the conference series has gone from strength to strength and this volume represents the latest in a series of?ve rigorously refereed volumes which showcase a broad spectrum of ground-breaking timetabling research across a very wide range of timetabling problems and applications. Timetabling is an area that unites a number of disparate?elds and which cuts across a number of diverse academic disciplines. While the most obvious instances of timetabling occur in educational institutions, timetabling also - pears in sports applications, transportation planning, project scheduling, and many other?elds. Viewing timetabling as a unifying theme enables researchers fromthesevariousareastolearnfromeachotherandtoextendtheirown- searchandpracticeinnewandinnovativeways. Thisvolumecontinuesthetrend of the conference series to extend the de?nition of timetabling beyond its edu- tional roots. In this volume, seven of the 19 papers involve domains other than education. Of course, educationaltimetabling remains at the coreof timetabling research, and the papers in this volume represent the full range of this area including exam timetabling, room scheduling, and class rostering.

Practice and Theory of Automated Timetabling VI

Practice and Theory of Automated Timetabling VI
Author: Edmund Burke
Publisher: Springer
Total Pages: 413
Release: 2007-11-25
Genre: Computers
ISBN: 3540773452

Complete with online files and updates, this fascinating volume has everything you need to know about the latest developments in automated timetabling. It constitutes the refereed post-proceedings of the 6th International Conference on Practice and Theory of Automated Timetabling, PATAT 2006. The 25 revised full papers are organized in topical sections that cover everything from general issues and employee timetabling, to school and examination timetabling.

Proceedings of the 8th International Conference on Computational Science and Technology

Proceedings of the 8th International Conference on Computational Science and Technology
Author: Rayner Alfred
Publisher: Springer Nature
Total Pages: 887
Release: 2022-03-25
Genre: Technology & Engineering
ISBN: 9811685150

This book gathers the proceedings of the Seventh International Conference on Computational Science and Technology (ICCST 2021), held in Labuan, Malaysia, on 28–29 August 2021. The respective contributions offer practitioners and researchers a range of new computational techniques and solutions, identify emerging issues, and outline future research directions, while also showing them how to apply the latest large-scale, high-performance computational methods.

Practice and Theory of Automated Timetabling IV

Practice and Theory of Automated Timetabling IV
Author: Edmund Burke
Publisher: Springer
Total Pages: 362
Release: 2003-08-28
Genre: Computers
ISBN: 3540451579

Thisvolumecontainsaselectionofpapersfromthe4thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2002) held in Gent, August 21–23, 2002. Since the ?rst conference in Edinburgh in 1995, the range of timetabling applications at the conferences has become broader and more diverse. In the s- ected papers volume from the 1995 conference, there were just two contributions (out of 22) which did not speci?cally address school and university timetabling. In the selected papers volume from the 1997 conference in Toronto, the number of papers which tackled non-educational problems increased. Two of the papers addressed more than one timetabling application. In both of these papers, educational applications were considered in addition to other applications. A further three papers were concerned with non-educational applications. The conference steering and programme committees have worked hard to attract a wide range of timetabling applications. In the conference held in Konstanz in 2000, the diversi?cation of timetabling problems increased signi?cantly. Of the 21 selected papers in the postconference volume, just 13 were speci?cally concerned with educational timetabling. In the previous volumes, the papers had been sectioned according to solution technique. In the Konstanz volume the papers were classi?ed according to application domains. One section of the volume was entitled “Employee Timetabling,” while sports timetabling, air?eet scheduling, and general software architectures for timetabling were also represented. In the present volume, more than one-third of the 21 papers discuss problems in application areas other than academic and educational ones. Sports timetabling and hospital timetabling are particularly well represented.

Parallel Problem Solving from Nature – PPSN XVI

Parallel Problem Solving from Nature – PPSN XVI
Author: Thomas Bäck
Publisher: Springer Nature
Total Pages: 734
Release: 2020-09-02
Genre: Computers
ISBN: 3030581152

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions. The topics cover classical subjects such as automated algorithm selection and configuration; Bayesian- and surrogate-assisted optimization; benchmarking and performance measures; combinatorial optimization; connection between nature-inspired optimization and artificial intelligence; genetic and evolutionary algorithms; genetic programming; landscape analysis; multiobjective optimization; real-world applications; reinforcement learning; and theoretical aspects of nature-inspired optimization.

Theory and Applications of Satisfiability Testing – SAT 2017

Theory and Applications of Satisfiability Testing – SAT 2017
Author: Serge Gaspers
Publisher: Springer
Total Pages: 476
Release: 2017-08-14
Genre: Computers
ISBN: 3319662635

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

Intelligent Computing

Intelligent Computing
Author: Kohei Arai
Publisher: Springer Nature
Total Pages: 1184
Release: 2021-07-12
Genre: Technology & Engineering
ISBN: 3030801195

This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2021 held on 15-16 July 2021. Computing 2021 attracted a total of 638 submissions which underwent a double-blind peer review process. Of those 638 submissions, 235 submissions have been selected to be included in this book. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. We hope that readers find this volume interesting and valuable as it provides the state-of-the-art intelligent methods and techniques for solving real-world problems. We also expect that the conference and its publications is a trigger for further related research and technology improvements in this important subject.

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Author: Peter J. Stuckey
Publisher: Springer Nature
Total Pages: 468
Release: 2021-06-17
Genre: Computers
ISBN: 3030782301

This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic "Explanation and Verification of Machine Learning Models".

Smart Delivery Systems

Smart Delivery Systems
Author: Jakub Nalepa
Publisher: Elsevier
Total Pages: 292
Release: 2019-11-15
Genre: Law
ISBN: 012815716X

Smart Delivery Systems: Solving Complex Vehicle Routing Problems examines both exact and approximate methods for delivering optimal solutions to rich vehicle routing problems, showing both the advantages and disadvantages of each approach. It shows how to apply machine learning and advanced data analysis techniques to improve routing systems, familiarizing readers with the concepts and technologies used in successfully implemented delivery systems. The book explains both the latest theoretical and practical advances in intelligent delivery and scheduling systems and presents practical applications for designing new algorithms for real-life scenarios. - Emphasizes both sequential and parallel algorithms - Uniquely combines methods and algorithms, real-life applications, and parallel computing - Includes recommendations on how to choose between different methods for solving applications - Provides learning aids, end of chapter references, bibliography, worked examples and exercises

Ad-Hoc, Mobile, and Wireless Networks

Ad-Hoc, Mobile, and Wireless Networks
Author: Luigi Alfredo Grieco
Publisher: Springer Nature
Total Pages: 320
Release: 2020-10-15
Genre: Computers
ISBN: 3030617467

This book constitutes the refereed proceedings of the 19th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2020, held in Bari, Italy, in October 2020.* The 19 full and 4 short papers presented were carefully reviewed and selected from 39 submissions. The papers provide an in-depth and stimulating view on the new frontiers in the field of mobile, ad hoc and wireless computing. They are organized in the following topical sections: intelligent, programmable and delay- and disruption- tolerant networks; internet of drones and smart mobility; internet of things and internet of medical things; secure communication protocols and architectures; and wireless systems. *The conference was held virtually due to the COVID-19 pandemic.