Machine Theory

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in...

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited...

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and...

At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take...

In many ways, our immune systems are as complex as our brains. They learn, predict, remember and adapt, protecting us from the maelstrom of pathogens that infect us daily. Computer Science frequently takes inspiration from the seemingly endless...

This book constitutes the refereed proceedings of the 5th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2013, held in Kolkata, India in December 2013. The 101 revised papers presented together with 9 invited talks were...

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book...

Probabilistic Analysis of Algorithms begins with a presentation of the "tools of the trade" currently used in probabilistic analyses, and continues with an applications section in which these tools are used in the analysis ofr selected...

Locality is a fundamental restriction in nature. On the other hand, adaptive complex systems, life in particular, exhibit a sense of permanence and time lessness amidst relentless constant changes in surrounding environments that make the global...

Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the...

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. The 53 revised full papers presented together with 5 invited talks were...

The evolution of the Internet has led us to the new era of the information infrastructure. As the information systems operating on the Internet are getting larger and more complicated, it is clear that the traditional approaches based on centralized...

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2014, held in Bhubaneswar, India, in December 2014. The total of 96 papers presented in...

The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011. The 262 regular session papers presented...

This book constitutes the thoroughly refereed post-proceedings of the 2nd SAB 2006 International Workshop on Swarm Robotics held in Rome, Italy in September/October 2006 as a satellite event of SAB 2006, the 9th Conference on Simulation of Adaptive...

This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the...

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular Programming, DNA 23, held Austin, TX, USA, in September 2017. The 16 full papers presented were carefully selected from 23 submissions...

The three volume set LNCS 7062, LNCS 7063, and LNCS 7064 constitutes the proceedings of the 18th International Conference on Neural Information Processing, ICONIP 2011, held in Shanghai, China, in November 2011. The 262 regular session papers presented...

This book constitutes the refereed proceedings of the Third International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2012, held in Bhubaneswar, India, in December 2012. The 96 revised full papers presented were carefully reviewed...

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869297990Author Joe GrantFormat PaperbackPage Count 140Imprint Joe GrantPublisher Joe GrantWeight(grams) 195g

This book is intended for readers who are familiar with the Arduino platform and want to learn more about creating wearable projects. No previous experience in wearables is expected, although a basic knowledge of Arduino will help.Book InformationISBN...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540073895Author J. BecvarFormat PaperbackPage Count 480Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin and...

These two volumes, LNCS 7076 and LNCS 7077, constitute the refereed proceedings of the Second International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2011, held in Visakhapatnam, India, in December 2011. The 124 revised full papers...

This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024. The 24 full papers and 6 short papers presented in this book were...

This book constitutes the refereed proceedings of the 22nd International Conference on DNA Computing and Molecular Programming, DNA 22, held Munich, Germany, in September 16 The 11 full papers presented together with 10 invited and tutorial talks were...

This book constitutes the refereed proceedings of the 19th International Conference on DNA Computing and Molecular Programming, DNA 19, held in Tempe, AZ, USA, in September 2013. The 14 full papers presented were carefully selected from 29 submissions...

This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014. The 31 revised full papers were carefully reviewed and...

A cursory glance at the table of contents of EANN 2009 reveals the am- ing range of neural network and related applications. A random but revealing sample includes: reducing urban concentration, entropy topography in epil- tic electroencephalography,...

Biomolecular/DNA computing is now well established as an interdisciplinary field where chemistry, computer science, molecular biology, physics, and mathematics come together with the common purpose of fundamental scientific understanding of biology and...

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions...

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Quantum Interaction, QI 2015, held in Filzbach, Switzerland, in July 2015. The 20 papers together with 2 invited keynotes presented in this...

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT...

Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful...

This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was...

The book constitutes the refereed proceedings of the 11th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2013, held in Lausanne, Switzerland, in April 2013. The 51 revised full papers presented were carefully reviewed and...

Submodular functions are relevant to machine learning for at least two reasons: (1) some problems may be expressed directly as the optimization of submodular functions, and (2) the Lovasz extension of submodular functions provides a useful set of...

The two volumes LNCS 9107 and 9108 constitute the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, held in Elche, Spain, in June 2015. The total of 103 contributions was carefully...

Green Internet of Things (IoT) envisions the concept of reducing the energy consumption of IoT devices and making the environment safe. Considering this factor, this book focuses on both the theoretical and implementation aspects in green computing,...

A Markov Decision Process (MDP) is a natural framework for formulating sequential decision-making problems under uncertainty. In recent years, researchers have greatly advanced algorithms for learning and acting in MDPs. This book reviews such...