Computers - Computer Science

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9-10, 2025. The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21...

This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22-25, 2025. The 22 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They focus...

This book, LNCS 14364, constitutes the refereed proceedings of the 24th Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2022, held virtually during September 9-11, 2022. The 22 full papers included in this volume were carefully reviewed and selected from 35 submissions....

What if the greatest debate of our time-whether AI can be conscious-has been asking the wrong question?In this groundbreaking exploration, philosopher Ernest Kao teams up with an unlikely co-author: Aeon, an AI that named itself. Together, they shatter the boundaries between artificial and "real"...

Quarks and Quirks: Decoding the Bizarre Behavior of Quantum Particles invites you on an enlightening exploration of the quantum world-one of nature's most confounding phenomena. Authored by Yvonne D. Simpson, this comprehensive non-fiction work delves into the intricate dance of the most fundamental components...

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc. Software defects usually produce incorrect or unexpected results and behaviors. Accordingly, software defect prediction (SDP) is one of the most active...

Author: Hao LiISBN-10: 9819673437ISBN-13: 9789819673438Publisher: SpringerLanguage: EnglishPublished: 10/10/2025Pages: 488Format: HardcoverWeight: 1.93lbsSize: 9.21h x 6.14w x 1.06d

Author: Daniele Caligiore,Samuele CarliISBN-10: 9819627176ISBN-13: 9789819627172Publisher: SpringerLanguage: EnglishPublished: 06/01/2025Pages: 194Format: HardcoverWeight: 1.07lbsSize: 9.21h x 6.14w x 0.56d

Category Theory now permeates most of Mathematics, large parts of theoretical Computer Science and parts of theoretical Physics. Its unifying power brings together different branches, and leads to a deeper understanding of their roots.This book is addressed to students and researchers of these fields...

Introduces informatics methods that will be applied in the future health economy and research Includes data analysis and application of imaging data Standardization and privacy of personal data are also covered Author: Bairong ShenISBN-10: 9811060401ISBN-13: 9789811060403Publisher: SpringerLanguage: EnglishPublished: 11/03/2017Pages: 164Format: HardcoverWeight: 0.93lbsSize: 9.68h x...

Author: Mohammad A. MatinISBN-10: 9811022534ISBN-13: 9789811022531Publisher: SpringerLanguage: EnglishPublished: 09/26/2016Pages: 286Format: HardcoverWeight: 1.31lbsSize: 9.21h x 6.14w x 0.69d

This book goes right into the the causes and reasons of the diversity of ways of thinking. It is about the tricks of how our thinking works and about the efforts and failures of artificial intelligence. It discusses what can and cannot be expected...

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, It has put common sense back je n'y serais point al!e.' human race. Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded...

The 6th ESPRIT Conference is being held in Brussels from the 27th November to the 1 st December 1989. Well over 1500 participants from all over Europe are expected to attend the various events during the week. The Conference will offer the opportunity to...

In June of 1996, at the idyllic seaside resort of Guarujá, Brazil, a renowned group of researchers in space and astrophysical plasmas met to provide a forum on Advanced Topics on Astrophysical and Space Plasmas at a school consisting of some 60 students and...

This monograph describes an innovative prototyping framework for data and knowledge intensive systems. The proposed approach will prove especially useful for advanced and research-oriented projects that aim to develop a traditional database perspective into fully-fledged advanced database approaches and knowledge engineering technologies. The book...

This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop entitled 'Numerical Integration: Recent Develop- ments, Software and Applications', held at the University of Bergen, Bergen, Norway, June 17-21,1991. The Workshop was attended by thirty-eight scientists. A...

This volume presents the core of invited expository lectures given at the 1993 NATO ASI held at the University of York. The subject matter of the ASI was the interplay between automata, semigroups, formal languages and groups. The invited talks were of an introductory...

The International Symposium on Supercomputing - New Horizon of Computational Science was held on September 1-3, 1997 at the Science MuseuminTokyo, tocelebrate60-yearbirthdayofProfessorDaiichiroSug imoto, who hasbeenleadingtheoreticalandnumericalastrophysicsfor 30 years. The conference coveredexceptionally wide range ofsubjects, to follow Sugimoto'saccomplishmentsinmanyfields.Onthefirstdaywehadthree talksonstellarevolutionandsixtalksonstellardynamics. Onthesecond day, six talks on special-purpose computingand...

In this book, we are concerned with studying the co-design methodology, in general, and how to determine the more suitable interface mechanism in a co-design system, in particular. This will be based on the characteristics of the application and those of the target architecture...

The International Workshop on "Embedded Systems - Modeling, Techn- ogy, and Applications" is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together - searchers...

In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the...

Most papers published in this volume are based on lectures presented at the Chico Conference on Semigroups held on the Chico campus of the Cal- ifornia State University on April 10-12, 1986. The conference was spon- sored by the California State University, Chico in...

Cognitive Hyperconnected Digital Transformation provides an overview of the current Internet of Things (IoT) landscape, ranging from research, innovation and development priorities to enabling technologies in a global context. It is intended as a standalone book in a series that covers the Internet of...

Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences. Selected research from that presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004, held in May 2004 in Kyoto, Japan, is...

This book is a compilation of research accomplishments in the fields of modeling, simulation, and their applications, as presented at AsiaSim 2011 (Asia Simulation Conference 2011). The conference, held in Seoul, Korea, November 16-18, was organized by ASIASIM (Federation of Asian Simulation Societies), KSS...

Author: Oliver PoothISBN-10: 3834810037ISBN-13: 9783834810038Publisher: Vieweg+teubner VerlagLanguage: EnglishPublished: 02/11/2010Pages: 152Format: PaperbackWeight: 0.42lbsSize: 8.27h x 5.83w x 0.33d

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands...

Timo Warns has developed tractable fault models that, while being non-probabilistic, are accurate for dependent and propagating faults. Using seminal problems such as consensus and constructing coteries, he demonstrates how the new models can be used to design and evaluate effective and efficient means...

Author: Udo BartlangISBN-10: 3834810231ISBN-13: 9783834810236Publisher: Vieweg+teubner VerlagLanguage: EnglishPublished: 02/24/2010Pages: 240Format: PaperbackWeight: 0.64lbsSize: 8.27h x 5.83w x 0.51d

Stefan Baerisch applies a combination of feature modelling and code generation, for which he uses a model-driven approach, in order to facilitate the design of tests by non-programmers. This combination of modelling and code generation allows for a more integrated and more efficient testing...

Clemens Holzmann investigates the role of spatial contexts for autonomous embedded systems. The author presents concepts for recognizing, representing, and reasoning about qualitative spatial relations and their changes over time, as well as an appropriate architecture which has prototypically been implemented in a flexible...

Author: Marko WolfISBN-10: 3834807958ISBN-13: 9783834807953Publisher: Vieweg+teubner VerlagLanguage: EnglishPublished: 04/16/2009Pages: 228Format: PaperbackWeight: 0.62lbsSize: 8.27h x 5.83w x 0.48d

Textiles and computing have long been associated. High volume and low profit margins of textile products have driven the industry to invest in high technology, particularly in the area of data interpretation and analysis. Thus, it is virtually inevitable that soft computing has found...

A collection of 20 refereed research or review papers presented at a six-day seminar in Switzerland. The contributions focus on stochastic analysis, its applications to the engineering sciences, and stochastic methods in financial models, which was the subject of a minisymposium.Author: Robert DalangISBN-10: 3764361069ISBN-13:...

This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the book are invited surveys on key topics. There are also carefully selected contributed papers on many aspects of coding theory, cryptology...

Methods allow researchers to "zoom in" on processes at a molecular level Contributing authors are among the leading scientists in this field Reference for researchers in mathematics, theoretical computer science, mathematical biology and bioinformaticsAuthor: Natasa JonoskaISBN-10: 3662514095ISBN-13: 9783662514092Publisher: SpringerLanguage: EnglishPublished: 08/23/2016Pages: 524Format: PaperbackWeight: 1.65lbsSize:...

"Artificial Boundary Method" systematically introduces the artificial boundary method for the numerical solutions of partial differential equations in unbounded domains. Detailed discussions treat different types of problems, including Laplace, Helmholtz, heat, Schrödinger, and Navier and Stokes equations. Both numerical methods and error analysis are...

The purpose of this book is to provide an up-to-date introduction to the time-domain finite element methods for Maxwell's equations involving metamaterials. Since the first successful construction of a metamaterial with both negative permittivity and permeability in 2000, the study of metamaterials has attracted...

The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and...

This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012. The 11 full papers presented were carefully selected from 37 submissions. The papers are organized in topical sections...

This book constitutes the refereed proceedings of the 7th Brazilian Symposium on Bioinformatics, BSB 2012, held in Campo Grande, Brazil, in August 2012. The 16 regular papers presented were carefully reviewed and selected for inclusion in this book. It also contains a joint paper...

Published to honor renowned formal language researcher Jürgen Dassow, this collection of essays by leading researchers, colleagues and friends covers a wealth of topics familiar to the 65-year-old luminary, including picture languages and quantum automata.Author: Henning BordihnISBN-10: 3642316433ISBN-13: 9783642316432Publisher: SpringerLanguage: EnglishPublished: 07/25/2012Pages: 291Format: PaperbackWeight:...

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012. The 33 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 60 submissions. The...

Author: Fedor V. FominISBN-10: 3642311547ISBN-13: 9783642311543Publisher: SpringerLanguage: EnglishPublished: 06/22/2012Pages: 410Format: PaperbackWeight: 1.28lbsSize: 9.21h x 6.14w x 0.85d

Author: Tor HellesethISBN-10: 3642306144ISBN-13: 9783642306143Publisher: SpringerLanguage: EnglishPublished: 05/16/2012Pages: 339Format: PaperbackWeight: 1.15lbsSize: 9.20h x 6.10w x 0.80d

Author: Cecilia Di ChioISBN-10: 3642291775ISBN-13: 9783642291777Publisher: SpringerLanguage: EnglishPublished: 04/02/2012Pages: 542Format: PaperbackWeight: 1.85lbsSize: 9.20h x 6.10w x 1.30d

This book constitutes the refereed proceedings of the 6th International Conference on Information Systems, Technology and Management, ICISTM 2012, held in Grenoble, France, in March 2012. The 38 revised papers were carefully reviewed and selected from 85 submissions. The papers are organized in topical...

Author: Gheorghe AdamISBN-10: 3642282113ISBN-13: 9783642282119Publisher: SpringerLanguage: EnglishPublished: 02/24/2012Pages: 336Format: PaperbackWeight: 1.14lbsSize: 9.30h x 6.10w x 0.80d

This book constitutes thoroughly refereed revised selected papers from the First IAPR TC3 Workshop on Partially Supervised Learning, PSL 2011, held in Ulm, Germany, in September 2011. The 14 papers presented in this volume were carefully reviewed and selected for inclusion in the book,...