Computers - Computer Science

The aim of this book is to provide an account of the state of the art in Com- putational Kinematics. We understand here under this term, that branch of kinematics research involving intensive computations not only of the numer- ical type, but also of...

Today the notion of the algorithm is familiar not only to mathematicians. It forms a conceptual base for information processing; the existence of a corresponding algorithm makes automatic information processing possible. The theory of algorithms (together with mathematical logic ) forms the the- oretical...

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con- centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories...

This comprehensive collection of calendars could only have been assembled by the authors of the definitive text on calendar algorithms, Calendrical Calculations. Using the algorithms outlined in their earlier book, Reingold and Dershowitz have achieved the near impossible task of simultaneously displaying the date...

The state-of-the-art of broadband communications - and its evolution - in both the public and private networks, is presented in this book. Particular consideration is given to the issues of switching, resource management, network control, communication services, testing, quality of service, traffic characteristics, traffic...

Review(s) ...recommend this book to the applied community as a valuable source of practical examples of parametric excitations, treated in a modern fashion. - Mathematical Reviews; [Cartmell] has successfully presented the usually complicated and difficult subjects of parametric and nonlinear vibrations in a concise,...

This book discusses the role of modeling in the management process and gives an overview of state-of-the-art landscape modeling applications. It describes the latest models in a wide selection of environmental disciplines. Since management frequently requires the integration of knowledge from many different areas,...

After an introduction to geometric algebra, and the necessary math concepts that are needed, the book examines a variety of applications in the field of cognitive systems using geometric algebra as the mathematical system. It is addressed to a broad audience of computer scientists,...

Collaborative networks in action Collaborative Networks (CN) is a fast developing area, as shown by the already large number of diverse real-world implemented cases and the dynamism of its related involved research community. Benefiting from contributions of multiple areas, namely computer science, computer engineering,...

This book records one of the continuous attempts of the IFIP Working Group 8. 2, studying the interaction of information systems and the organization, to explore and understand the shifting boundaries and dependencies between organizational activities and their computer support. The book marks the...

Even in the age of ubiquitous computing, the importance of the Internet will not change and we still need to solve conventional security issues. In addition, we need to deal with new issues such as security in the P2P environment, privacy issues in the...

Pervasive Computing and Networking aim at providing ubiquitous, ever-present, adaptable, smart, enveloping and immersive environments in which computing components and humans can interact regardless of the location. The combination of an abundance of computational power of the processors and the communication bandwidth provided by...

AI is transforming every health profession. This is the guide that prepares you to use it safely, ethically, and effectively.AI-Powered Care is written specifically for nursing students, pre-med students, allied health professionals, pharmacy students, and practicing clinicians who need practical AI education grounded in...

Memory, the second function of a computer, has gradually become more complex in order to meet growing needs in terms of capacity, speed, security and energy efficiency. It takes the form of a component or system, such as a memory subassembly or a mass...

This book constitutes the referred proceedings of the 26th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2026, held as part of EvoStar 2026, in Toulouse, France, during April 8-10, 2026. The 10 full papers presented in this book were carefully reviewed and...

This book explores the intersection of biomedical computer vision, IoT, and sensor technologies, highlighting their growing impact on healthcare diagnostics, medical imaging, and remote patient monitoring. It presents cutting-edge applications of wireless sensor networks, the role of IoT in medical social media analytics, and...

Storage, the computer's second function, has become progressively more complex to meet growing needs in terms of capacity, speed, security and energy efficiency. It takes the form of a component or system, such as a memory subset or a mass storage device. With examples...

This book constitutes the refereed proceedings of the 27th International Workshop on Computer Algebra in Scientific Computing, CASC 2025, which took place in Dubai, United Arab Emirates, during November 24-28, 2025. The 22 full papers and included in this book were carefully reviewed and...

This book constitutes the refereed proceedings of the 21st International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2025, held in Warsaw, Poland, in September 2025. The 13 papers included in these proceedings were carefully reviewed and selected from 24 submissions. They focus on the...

Over the past two decades, various signal and image analyses, as well as bioinformatics approaches, have had a significant impact on research in life sciences. Problems arising in medical and biological research depend on a multitude of system parameters, often in a nonlinear way;...

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems. After earning her doctorate from the University of Mannheim, Christel Baier held research and...

In recent times, researchers across various fields have become interested in the topic of fractional calculus based on integrals and derivatives of fractional order. This area has numerous and widespread applications in fields of science and engineering, including wave and fluid dynamics, mathematical biology,...

This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025. The 26 full papers included in these proceedings were...

This book constitutes the refereed proceedings of the 32nd International Symposium on String Processing and Information Retrieval, SPIRE 2025, held in London, UK, during September 8-11, 2025. The 17 full papers and 6 short papers included in this book were carefully reviewed and selected...

This compilation emphasizes the transformative role of artificial intelligence (AI) and machine learning (ML) in the healthcare field, illustrating their potential to refine diagnostics, treatment protocols, and patient management. The studies confront critical healthcare challenges, presenting solutions that improve precision, efficiency, and accessibility. Featured...

This book constitutes the proceedings of the 25th International Symposium on Fundamentals of Computation Theory, FCT 2025, held in Wroclaw, Poland, during September 15-17, 2025. The 32 full papers included in this volume were carefully reviewed and selected from 50 submissions. They present the...

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...