Computer science

SBIA, the Brazilian Symposium on Arti?

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday.

This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and for large-scale applications in an interdisciplinary environment.

This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic and reflective viewpoint statements.

The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering have led to the development of new forms of mathematics collectively known as denotational mathematics.

Dealing with uncertainty, moving from ignorance to knowledge, is the focus of cognitive processes.

This volume contains the papers presented at the Second International and - terdisciplinary Conference on Modeling and Using Context (CONTEXT'99), held in Trento (Italy) from 9 to 11 September 1999.

This volume contains the papers selected for presentation at CEEMAS 2001.

th This volume contains the papers presented at the 13 International Conference on Knowledge Engineering and Knowledge Management (EKAW 2002) held in Sig enza, Spain, October 1-4, 2002.

The Evolution Arti?

Financial Cryptography 2000 marked the fourth time the technical, business, legal, and political communities from around the world joined together on the smallislandofAnguilla,BritishWestIndiestodiscussanddiscovernewadvances in securing electronic ?

In the last decade, we have seen tremendous successes in World Wide Web and Internet technologies.

The past few years have witnessed rapid scienti?

The mathematical theory and practice of cryptography and coding underpins the provision of effective security and reliability for data communication, processing, and storage.

Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling.

No symposium of this size can be organized without the help of many dedicated persons.

This volume contains the papers selected for presentation at the 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, held in Maebashi City, Japan, 28-31 October, 2003.

The 2nd International Workshop on Biomedical Image Registration (WBIR) was held June 23-24, 2003, at the University of Pennsylvania, Philadelphia.

These proceedings contain the papers accepted for presentation at the Second International Semantic Web Conference (ISWC 2003) held on Sanibel Island, Florida, U.

PKC 2003 was the Sixth International Workshop on Practice and Theory in Public Key Cryptography and was sponsored by IACR, the International As- ciation for Cryptologic Research (www.

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems.

A central theme in the study of dynamic systems is the modelling and control of uncertain systems.

This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe13thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2004), which was held at the University of California, Davis during November 15-17, 2004.

We are very pleased to present this LNCS volume, the proceedings of the 8th InternationalConferenceonParallelProblemSolvingfromNature(PPSNVIII).

This book contains the refereed proceedings of the 3rd International IFIP-TC6 Networking Conference, Networking 2004.

This volume contains the 37 papers presented at the 9th International Con- rence on Real-Time and Embedded Computing Systems and Applications (RT- CSA 2003).

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?

nd Welcome to the proceedings of PERVASIVE 2004, the 2 International C- ference on Pervasive Computing and the premier forum for the presentation and appraisal of the most recent and most advanced research results in all - undational and applied areas of pervasive and ubiquitous computing.

This book focuses on the development of multisensor fusion algorithms for wearable devices that are useful in ambulatory health monitoring using signal-processing and deep learning-based methods.

This book focuses on the development of multisensor fusion algorithms for wearable devices that are useful in ambulatory health monitoring using signal-processing and deep learning-based methods.

The pressure to show real returns on AI is relentless.

This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.

This book provides a comprehensive guide to DevSecOps in modern multi-cloud environments, focusing on integrating security, automation, and artificial intelligence across the software development lifecycle.

This book constitutes the refereed proceedings of the 22nd International Conference on Web Information Systems and Applications, WISA 2025, held in Xi'an, China, during October 1, 2025.

This book highlights intelligent analysis methods for optical images, with a particular emphasis on analytical techniques and programming.

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems.