Søkt på: general thomas
Vi gjorde et søk på tittelen istedenfor general thomas som gavtotalt 15 treff
Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics
LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14–18 in Trento, Italy. The LION series of conferences provides a …
Supercomputing
This book constitutes the refereed proceedings of the 28th International Supercomputing Conference, ISC 2013, held in Leipzig, Germany, in June 2013. The 35 revised full papers …
Approximation and Online Algorithms
This book constitutes the thoroughly refereed post workshop proceedings of the 10th International Workshop on Approximation and Online Algorithms, WAOA 2012, held in Ljubljana, …
Graph-Theoretic Concepts in Computer Science
The 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2008) took place in Van Mildert College at Durham University, UK, 30 June – 2 July 2008. The …
Stochastic Algorithms: Foundations and Applications
This book constitutes the refereed proceedings of the 5th International Symposium on Stochastic Algorithms, Foundations and Applications, SAGA 2009, held in Sapporo, Japan, in …
Small Dynamic Complexity Classes
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis …
Approximation and Online Algorithms
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Approximation and Online Algorithms, WAOA 2006, held in Zurich, Switzerland in …
Approximation and Online Algorithms
The third Workshop on Approximation and Online Algorithms (WAOA 2005) focused on the design and analysis of algorithms for online and computationally hard problems. Both kinds of …
Static Analysis
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers …
Formal Modeling and Analysis of Timed Systems
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, …