This book constitutes the refereed proceedings of the 20th International Conference on computer Networks, CN 2013, held in Lwowek Slaski, Poland, in June 2013. The 58 revised full papers presented were carefully revie...
详细信息
ISBN:
(数字)9783642388651
ISBN:
(纸本)9783642388644
This book constitutes the refereed proceedings of the 20th International Conference on computer Networks, CN 2013, held in Lwowek Slaski, Poland, in June 2013. The 58 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers in these proceedings cover the following topics: computer networks, network architectural issues, Internet and wireless solutions, teleinformatics and communications, new technologies, queueing theory and queueing networks, innovative applications, networking in e-business, security aspects of hardware and software, industrial systems, quantum and bio-informatics, cloud networking and services.
This book constitutes the proceedings of the 18th International Conference on Information Technologies and Mathematical Modelling, ITMM 2019, named after A.F. Terpugov, held in Saratov, Russia, in June 2019.
ISBN:
(数字)9783030333881
ISBN:
(纸本)9783030333874
This book constitutes the proceedings of the 18th International Conference on Information Technologies and Mathematical Modelling, ITMM 2019, named after A.F. Terpugov, held in Saratov, Russia, in June 2019.
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included i...
详细信息
ISBN:
(数字)9783319106960
ISBN:
(纸本)9783319106953
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.
It’s hard to believe that it’s been over a decade since One Jump Ahead: Challenging Human Supremacy at Checkers was published. I’m delighted to have the oppor- nity to update and expand the book. The ?rst edition e...
详细信息
ISBN:
(数字)9780387765761
ISBN:
(纸本)9780387765754
It’s hard to believe that it’s been over a decade since One Jump Ahead: Challenging Human Supremacy at Checkers was published. I’m delighted to have the oppor- nity to update and expand the book. The ?rst edition ended on a sad note and that was re?ected in the writing. It is now eleven years later and the project has come to a satisfying conclusion. Since its inception, the checkers project has consumed eighteen years of my life— twenty if you count the pre-CHINOOK and post-solving work. It’s hard for me to believe that I actually stuck with it for that long. My wife, Steph, would probably have something witty to say about my obsessive behavior. Rereading the book after a decade was dif?cult for me. When I originally wrote One Jump Ahead, I vowed to be candid in my telling of the story. That meant being honest about what went right and what went wrong. I have been criticized for being hard on some of the characters. That may be so, but I hope everyone will agree that the person receiving the most criticism was, justi?ably, me. I tried to be balanced in the storytelling, re?ecting things as they really happened and not as some sanitized everyone-lived-happily-ever-after tale.
SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13–14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that...
详细信息
ISBN:
(数字)9783540453222
ISBN:
(纸本)9783540430254
SAGA 2001, the ?rst Symposium on Stochastic Algorithms, Foundations and Applications, took place on December 13–14, 2001 in Berlin, Germany. The present volume comprises contributed papers and four invited talks that were included in the ?nal program of the symposium. Stochastic algorithms constitute a general approach to ?nding approximate solutions to a wide variety of problems. Although there is no formal proof that stochastic algorithms perform better than deterministic ones, there is evidence by empirical observations that stochastic algorithms produce for a broad range of applications near-optimal solutions in a reasonable run-time. The symposium aims to provide a forum for presentation of original research in the design and analysis, experimental evaluation, and real-world application of stochastic algorithms. It focuses, in particular, on new algorithmic ideas invo- ing stochastic decisions and exploiting probabilistic properties of the underlying problem domain. The program of the symposium re?ects the e?ort to promote cooperation among practitioners and theoreticians and among algorithmic and complexity researchers of the ?eld. In this context, we would like to express our special gratitude to DaimlerChrysler AG for supporting SAGA 2001. The contributed papers included in the proceedings present results in the following areas: Network and distributed algorithms; local search methods for combinatorial optimization with application to constraint satisfaction problems, manufacturing systems, motor control unit calibration, and packing ?exible - jects; and computational learning theory.
暂无评论