Computers - Computer Science

Author: J. H. ChowISBN-10: 3540121064ISBN-13: 9783540121060Publisher: SpringerLanguage: EnglishPublished: 12/01/1982Pages: 221Format: PaperbackWeight: 0.84lbsSize: 9.61h x 6.69w x 0.50d

Author: A. NijholtISBN-10: 3540102450ISBN-13: 9783540102458Publisher: SpringerLanguage: EnglishPublished: 09/01/1980Pages: 253Format: PaperbackWeight: 0.84lbsSize: 9.21h x 6.14w x 0.56d

This volume presents revised and extended versions of selected papers presented at the Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, a workshop federated with the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), which was held in New York City,...

Author: Uwe SchöningISBN-10: 3540160795ISBN-13: 9783540160793Publisher: SpringerLanguage: EnglishPublished: 01/01/1986Pages: 103Format: PaperbackWeight: 0.38lbsSize: 9.21h x 6.14w x 0.24d

The papers in this volume were presented at the 1st Scandinavian Workshop on Algorithm Theory held July 5-8, 1988 in Halmstad, Sweden. The contributions present original research in areas related to algorithm theory, including data structures, computational geometry, and computational complexity. In addition to...

For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art...

Author: Alexander Kechris,Benjamin D. MillerISBN-10: 3540226036ISBN-13: 9783540226031Publisher: SpringerLanguage: EnglishPublished: 08/26/2004Pages: 138Format: PaperbackWeight: 0.48lbsSize: 9.21h x 6.14w x 0.32d

Author: J. GruskaISBN-10: 3540083537ISBN-13: 9783540083535Publisher: SpringerLanguage: EnglishPublished: 08/01/1977Pages: 599Format: PaperbackWeight: 1.87lbsSize: 9.21h x 6.14w x 1.24d

Author: B. S. Garbow,J. M. Boyle,J. J. DongarraISBN-10: 3540082549ISBN-13: 9783540082545Publisher: SpringerLanguage: EnglishPublished: 07/01/1977Pages: 346Format: PaperbackWeight: 1.10lbsSize: 9.21h x 6.14w x 0.74d

Author: T. StorerISBN-10: 3540070168ISBN-13: 9783540070160Publisher: SpringerLanguage: EnglishPublished: 01/21/1975Pages: 215Format: PaperbackWeight: 0.70lbsSize: 9.21h x 6.14w x 0.47d

Author: V. PereyraISBN-10: 3540123342ISBN-13: 9783540123347Publisher: SpringerLanguage: EnglishPublished: 07/01/1983Pages: 300Format: PaperbackWeight: 0.96lbsSize: 9.21h x 6.14w x 0.65d

This proceedings volume includes papers presented at DGCI 2003 in Naples, Italy, November 19-21, 2003. DGCI 2003 was the 11th conference in a series of internationalconferencesonDiscreteGeometryforComputerImagery.Thec- ference was organized by the Italian Institute for Philosophical Studies, Naples and the Institute of Cybernetics "E. Caianiello,"...

Author: E. K. BlumISBN-10: 3540095411ISBN-13: 9783540095415Publisher: SpringerLanguage: EnglishPublished: 09/01/1979Pages: 634Format: PaperbackWeight: 1.97lbsSize: 9.21h x 6.14w x 1.30d

Author: Feng Tse-YunISBN-10: 3540071350ISBN-13: 9783540071358Publisher: SpringerLanguage: EnglishPublished: 02/25/1975Pages: 433Format: PaperbackWeight: 1.36lbsSize: 9.21h x 6.14w x 0.90d

A large number of problems require the optimization of multiple criteria. These crite- ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined opti- mization function is often not...

This book constitutes the refereed proceedings of the 31st International Conference, ISC High Performance 2016 [formerly known as the International Supercomputing Conference] held in Frankfurt, Germany, in June 2016. The 25 revised full papers presented in this book were carefully reviewed and selected from...

The present Lecture Notes evolved from a course given at the Technische Hogeschool Eindhoven and later at the Technische Hogeschool Twente. They are intended for computer science students; more specifically, their goal is to introduce the notions of computability and decidability, and to prepare...

Author: W. CowellISBN-10: 3540084460ISBN-13: 9783540084464Publisher: SpringerLanguage: EnglishPublished: 10/01/1977Pages: 542Format: PaperbackWeight: 1.68lbsSize: 9.21h x 6.14w x 1.12d

A gentle introduction to advanced topics such as parallel computing, multigrid methods, and special methods for systems of PDEs. The goal of all chapters is to 'compute' solutions to problems, hence algorithmic and software issues play a central role. All software examples use the...

This text formally appraises the innovative ways new media artists engage urban ecology. Highlighting the role of artists as agents of technological change, the work reviews new modes of seeing, representing and connecting within the urban setting. The book describes how technology can be...

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the...

This volume deals with the pressing issue of uncertainty in archaeological modeling. Detecting where and when uncertainty is introduced to the modeling process is critical, as are strategies for minimizing, reconciling, or accommodating such uncertainty. Included chapters provide unique perspectives on uncertainty in archaeological...

Recent developments in computer science enable algorithms previously perceived as too time-consuming to now be efficiently used for applications in bioinformatics and life sciences. This work focuses on proteins and their structures, protein structure similarity searching at main representation levels and various techniques that...

This book constitutes the thoroughly revised selected papers of the 4th and 5th workshops on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 4 and BPOE 5, held respectively in Salt Lake City, in March 2014, and in Hangzhou, in September 2014. The...

This book constitutes the thoroughly refereed conference proceedings of the 11th International Conference on Cognitive Radio Oriented Wireless Networks, CROWNCOM 2016, held in Grenoble, France, May 30 - April 1, 2016.The 62 revised full papers presented were carefully reviewed and selected from numerous submissions...

Author: Slawomir Koziel,Leifur LeifssonISBN-10: 3319301136ISBN-13: 9783319301136Publisher: SpringerLanguage: EnglishPublished: 05/24/2016Pages: 262Format: HardcoverWeight: 1.24lbsSize: 9.21h x 6.14w x 0.69d

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23-26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim...

This textbook provides a compact but comprehensive treatment that guides students through applied numerical analysis, using MATLAB(R)/Simulink(R). Ideal as a hands-on source for courses in Numerical Analysis, this text focuses on solving problems using market-standard software, corresponding to all key concepts covered in the...

This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of...

To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain. To bridge this gap, it...

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that...

This book provides a comprehensive introduction to the foundations and frontiers of graph neural networks. In addition, the book introduces the basic concepts and definitions in graph representation learning and discusses the development of advanced graph representation learning methods with a focus on graph...

Author: Daniil RyabkoISBN-10: 303054303XISBN-13: 9783030543037Publisher: SpringerLanguage: EnglishPublished: 09/27/2020Pages: 85Format: PaperbackWeight: 0.32lbsSize: 9.21h x 6.14w x 0.20d

Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods...

This book is an introduction to analytical performance modeling for computer systems, i.e., writing equations to describe their performance behavior. It is accessible to readers who have taken college-level courses in calculus and probability, networking, and operating systems. This is not a training manual...

Multithreaded architectures now appear across the entire range of computing devices, from the highest-performing general purpose devices to low-end embedded processors. Multithreading enables a processor core to more effectively utilize its computational resources, as a stall in one thread need not cause execution resources...

Author: Anthony MinessaleISBN-10: 1849515409ISBN-13: 9781849515405Publisher: Packt PublishingLanguage: EnglishPublished: 02/02/2012Pages: 150Format: PaperbackWeight: 0.59lbsSize: 9.25h x 7.50w x 0.32d

This book draws together a wide variety of geometric information that will provide a sourcebook of facts, examples and proofs for students, academics, researchers and professional practitioners. It includes a summary hundreds of formulae used to solve 2D and 3D geometric problems; worked examples;...

This book explores the world of digital design, tailored for beginners eager to master Adobe InDesign, as well as a valuable resource for experienced users looking to refine their skills. It demystifies the complexities of Adobe InDesign, defining the essential tools and skills through...

This is the only book that covers all the topics that any budding security manager needs to know! This book is written for managers responsible for IT/Security departments from mall office environments up to enterprise networks. These individuals do not need to know about...

As governments worldwide are entering the digital age, there are increasing expectations from citizens and stakeholders for a more responsive, efficient, and open government. Innovations in information technology and web technologies can facilitate these changes. Innovative Perspectives on Public Administration in the Digital Age...

Swift Quick Syntax Reference is a condensed code and syntax reference to the new Apple Swift programming language, which is the alternative new programming language alongside Objective-C behind the APIs found in the Apple iOS SDK 8 and OS X Yosemite SDK. It presents...

This book covers the critical as well as the less obvious aspects of managing Microsoft Team Foundation Server 2015 in a variety of development and test environments. Coverage includes basic installation, initial configuration, maintenance, and common trouble shooting techniques, sizing, and performance considerations.Essentials of...

Learn how to use the core Hibernate APIs and tools as part of the Spring Framework. This book illustrates how these two frameworks can be best utilized. Other persistence solutions available in Spring are also shown including the Java Persistence API (JPA). Spring Persistence...

Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which new' individual constants are introduced and did so in a way that illuminates a connection...

It has been recognized that productivity improvement is an important issue of the 80' s. It is regarded as the most efficient way to improve national economy and to enrich the quality of life. The key to productivity improvement is advanced automation, especially computer-integrated...

​​Linear-Quadratic Controls in Risk-Averse Decision Making cuts across control engineering (control feedback and decision optimization) and statistics (post-design performance analysis) with a common theme: reliability increase seen from the responsive angle of incorporating and engineering multi-level performance robustness beyond the long-run average performance into...

In this work, we provide a treatment of the relationship between two models that have been widely used in the implementation of autonomous agents: the Belief DesireIntention (BDI) model and Markov Decision Processes (MDPs). We start with an informal description of the relationship, identifying...

Research and statistics support the view that current programs are failing to keep women in the ICT field. Currently, there exist very few solutions to this growing problem. Women in IT in the New Social Era: A Critical Evidence-Based Review of Gender Inequality and...

This book examines geometric branch-and-bound methods, such as in Lipschitzian optimization, d.c. programming and interval analysis, introduces a new concept for the rate of convergence and also analyzes several bounding operations reported in the literature.Author: Daniel ScholzISBN-10: 1461419506ISBN-13: 9781461419501Publisher: SpringerLanguage: EnglishPublished: 11/05/2011Pages: 142Format: HardcoverWeight:...