Computers - Computer Science

In an era dominated by Artificial Intelligence, the question of whether machines can truly think has never been more pressing. This book takes readers on a rigorous yet accessible journey through Computer Science, Physics, and Mathematics to tackle two questions: 1. Can a computer...

Advances using AI - The Next Wave offers a timely and comprehensive exploration of the latest breakthroughs and future directions in Artificial Intelligence, presenting a forward-looking perspective on how AI is reshaping industries and daily life. This essential volume brings together expert insights on...

Blockchain and the Water Supply Chain explores the transformative potential of blockchain technology in ensuring sustainable, transparent and efficient water governance. Placing water at the center of smart infrastructure innovation, the book addresses the urgent need for trustworthy and traceable systems in the distribution...

The convergence of artificial intelligence (AI), green computing, and information security can create sustainable, efficient, and secure IT systems. That is, the latest advancements in leveraging AI may minimize environmental impact, optimize resource usage, and bolster cybersecurity within green IT frameworks. Thus, a holistic...

Optimization techniques play a pivotal role in modern research and development across various engineering and technology sectors. It allows these methods to integrate cutting-edge concepts and sophisticated computational capabilities to provide robust solutions for intricate problems. Optimization has emerged as a rapidly evolving multidisciplinary...

This book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020. The 13 full papers presented were carefully reviewed and selected from 28 submissions. They present recent research in the...

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in...

The book provides a comprehensive coverage of different aspects of low power circuit synthesis at various levels of design hierarchy; starting from the layout level to the system level. For a seamless understanding of the subject, basics of MOS circuits has been introduced at...

The present work originates in a course given by the authors during the last few years in various university departments and institutions, among which we should like to mention: the Centre de Linguistique Quantitative of the Faculte des Sciences de Paris, created at the...

The complexity of modern embedded systems has increased rapidly in the recent past. Introducing models of computation into the design flow has significantly raised the abstraction in system level design of embedded systems. Establishing such high abstraction levels in common hardware /software co-design flows...

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research...

Algorithms are at the heart of every nontrivial computer application, and algorithmics is a modern and active area of computer science. Every computer scientist and every professional programmer should know about the basic algorithmic toolbox: structures that allow efficient organization and retrieval of data,...

Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even...

The 4th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2010) took place in Big Island, Hawaii, USA, December 18-20, 2010. Past COCOA conferences were held in Xi'an, China (2007), Newfoundland, Canada (2008)and Huangshan, China (2009). COCOA2010providedaforumforresearchersworkingintheareasofcom- natorial optimization and its applications. In...

Approaching mathematics from a computer science viewpoint, this book defines ways of calculating the results of applying the operators, then shows how they satisfy various properties. The comprehensive text is supplemented with summaries, proofs and exercises.Author: Gordon J. PaceISBN-10: 3642429882ISBN-13: 9783642429880Publisher: SpringerLanguage: EnglishPublished: 10/15/2014Pages:...

This useful collection provides a general introduction to modern mathematical aspects in computing with multivariate polynomials and in solving algebraic systems. It presents the state of the art in several symbolic, numeric, and symbolic-numeric techniques, including effective and algorithmic methods in algebraic geometry and...

The First International ICST Conference on Sensor Systems and Software (S-cube 2009) was held during 7-8 September in Pisa, Italy. This new international conference was dedicated to addressing the research challenges facing system dev- opment and software support for systems based on wireless sensor...

This book presents the proceedings of the 7th International Conference on Trust, P- vacy and Security in Digital Business (TrustBus 2010), held in Bilbao, Spain during August 30-31, 2010. The conference continued from previous events held in Zaragoza (2004), Copenhagen (2005), Krakow (2006), Regensburg...

This book constitutes the refereed proceedings of the 13th International Conference on Information Security, ISC 2010, held in Boca Raton, FL, USA, in October 2010. The 25 revised full papers and the 11 short papers presented were carefully reviewed and selected from 117 submissions....

This book constitutes the refereed proceedings of the 10th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2011 held in Paderborn, Germany, July 18-20, 2011.The 23 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 53 submissions....

Author: Ivan G. GrahamISBN-10: 3642220606ISBN-13: 9783642220609Publisher: SpringerLanguage: EnglishPublished: 01/06/2012Pages: 374Format: HardcoverWeight: 1.40lbsSize: 9.10h x 6.10w x 1.00d

The book explores possibilities for happening in education. It outlines characteristics for happening which are viewed in relation to educational discourses to determine how learners and teachers might be involved. In connection with this, the author considers critical pedagogy, teaching as a liminal practice,...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of...

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Metaheuristics, HM 2008, held in Malaga, Spain, in October 2008. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers discuss specific aspects of combinations...

The series of biannual international conferences "ANTS - International C- ference on Ant Colony Optimization and Swarm Intelligence", now in its sixth edition, was started ten years ago, with the organization of ANTS'98. As some readers might recall, the ?rst edition of ANTS was...

The central problem considered in this book is the determination of rational parametrizability of an algebraic curve, and, in the positive case, the computation of a good rational parametrization. This amounts to determining the genus of a curve, i.e. its complete singularity structure, computing...

Following the success of the First MOBILIGHT 2009 in Athens, Greece, the Second International Conference on Mobile Lightweight Systems (MOBILIGHT) was held in Barcelona, Spain on May 10-12, 2010. It was not an easy decision to carry on organizing a scientific event on wireless...

A state-of-the-art survey that reports on the progress made in selected areas of this important and growing field, aiding the analysis of existing networks and the design of new and more efficient algorithms for solving various problems on these networks.Author: Jürgen LernerISBN-10: 3642020933ISBN-13: 9783642020933Publisher:...

This book constitutes the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The...

people volunteer their time and energy and work in a dedicated fashion to pull everything together each year, including our very supportive Steering Comm- tee members led by Sukumar Ghosh. However, the success of ICDCN is mainly due to the hard work of all...

The range of issues considered in graph drawing includes algorithms, graph theory, geometry, topology, order theory, graphic languages, perception, app- cations, and practical systems. Much research is motivated by applications to systems for viewing and interacting with graphs. The interaction between th- retical advances...

The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the...

Author: Dipanwita Roy ChowdhuryISBN-10: 3540897534ISBN-13: 9783540897538Publisher: SpringerLanguage: EnglishPublished: 12/01/2008Pages: 437Format: PaperbackWeight: 1.50lbsSize: 9.10h x 6.10w x 1.00d

No fewer than 55 revised full papers are presented in this volume, all given at the 4th International Conference on Autonomic and Trusted Computing, held in Hong Kong, China in July 2007. The papers, presented together with one keynote lecture, were carefully reviewed and...

This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007. It covers structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of...

This volume constitutes the proceedings of the Third European Symposium on Research in Computer Security, held in Brighton, UK in November 1994.The 26 papers presented in the book in revised versions were carefully selected from a total of 79 submissions; they cover many current...

The14theditionoftheInternationalConferenceonDiscreteGeometryforC- puterImagerywasheldinLyon, France, April16-18,2008.DGCI2008attracted many researchers from all around the world. Indeed, 76 papers were submitted, from 24 di?erent countries (13 European and 11 non European), con?rming the international status of the conference. Once reviewed, 45 papers were accepted for publication in the present...

This book presents the proceedings of the 4th International Symposium on large Spatial Databases, SSD '95, held in Portland, Maine, USA in August 1995.The 23 refereed full papers presented were selected from more than 60 submissions and describe the state-of-the-art in the expanding field...

This book constitutes the refereed proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM'97, held as a satelite meeting of ICALP'97, in Bologna, Italy, in July 1997.The volume presents 14 thoroughly revised full papers selected from 37 submissions; also...

The third international conference on Information Security Practice and - perience (ISPEC 2007) was held in Hong Kong, China, May 7 - 9, 2007. The conference was organized and sponsored by City University of Hong Kong. As applications of information security technologies become pervasive,...

This volume provides a snapshot of the current state of the art in data mining, presenting it both in terms of technical developments and industrial applications. The collection of chapters is based on works presented at the Australasian Data Mining conferences and industrial forums....

The refereed proceedings from the 7th International Workshop on Algorithms in Bioinformatics are provided in this volume. Papers address current issues in algorithms in bioinformatics, ranging from mathematical tools to experimental studies of approximation algorithms to significant computational analyses. Biological problems examined include genetic...

The RSA R Conference, with over 15,000attendees, as well as over 225 sponsors and exhibitors, is the largest computer security event of the year. The Cr- tographers' Track is one of the many parallel tracks. These proceedings contain the papers presented during the sixth...

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefully selected by the program committee and address all current...

The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This conference series was formerly called the International Workshop on Implementing Automata (WIA) This volume...

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC...

The 3n+1 function T is defined by T(n)=n/2 for n even, and T(n)=(3n+1)/2 for n odd. The famous 3n+1 conjecture, which remains open, states that, for any starting number n>0, iterated application of T to n eventually produces 1. After a survey of theorems...

The present volume contains the proceedings of the AAECC-5 Conference held at Menorca (Balearic Islands), June 15-19, 1987. The annual International AAECC Conference covers a range of topics related to Applied Algebra, Error-Correcting Codes, Finite Algebraic Structures, Computational Methods and Complexity in Algebra and...

The collation of large electronic databases of scienti?c and commercial infor- tion has led to a dramatic growth of interest in methods for discovering struc- res in such databases. These methods often go under the general name of data mining. One important subdiscipline within...

This is the first book entirely dedicated to the problem of memory management in programming language implementation. Its originality stems from the diversity of languages and approaches presented: functional programming, logic programming, object oriented programming, and parallel and sequential programming. The book contains 29...