Computers - Computer Science

What is a Universal Tool?.- Charles Babbage's Analytical Engine.- Office Automation.- Computers go to War.- Computers go to Work.- Deadheads & Propeller Heads.- The Computer gets Personal.- The Computer Revolution.- Weaving the Web.- Apple is Reborn.- Over the Horizon.- Resources.- Competitors.- About the Author.-...

Introduction.- Lasso for linear models.- Generalized linear models and the Lasso.- The group Lasso.- Additive models and many smooth univariate functions.- Theory for the Lasso.- Variable selection with the Lasso.- Theory for l1/l2-penalty procedures.- Non-convex loss functions and l1-regularization.- Stable solutions.- P-values for linear...

These are the proceedings of the 19th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linear or nonlinear systems of algebraic equations that arise in various problems in mathematics, computational...

The three-volume set LNCS 6675, 6676 and 6677 constitutes the refereed proceedings of the 8th International Symposium on Neural Networks, ISNN 2011, held in Guilin, China, in May/June 2011. The total of 215 papers presented in all three volumes were carefully reviewed and selected...

This valuable compendium of statistical methods features a unique combination of methodology, theory, algorithms and applications. It covers recently developed approaches to handling large and complex data sets, including the Lasso and boosting methods.Author: Peter B?lmann, Sara Van de GeerISBN-10: 3642201911ISBN-13: 9783642201912Publisher: SpringerLanguage: EnglishPublished:...

Software Products: Terms and Characteristics.- Software as a Business.- The Elements of Software Product Management.- The Elements of Software Pricing.- Software Product Management and Pricing in the Company Structure.- Summary and Outlook.Author: Hans-Bernd Kittlaus, Peter N. CloughISBN-10: 3642095704ISBN-13: 9783642095702Publisher: SpringerLanguage: EnglishPublished: 10/19/2010Pages: 232Format: PaperbackWeight:...

Computational logic is a fast-growing field. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach...

Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems....

This comprehensive book gives an up-to-date survey of the relevant bioinspired computing research fields - such as evolutionary computation, artificial life, swarm intelligence and ant colony algorithms - and examines applications in art, music and design. The editors and contributors are researchers and artists...

Motivation for This Book The OPC Foundation provides specifications for data exchange in industrial au- mation. There is a long history of COM/DCOM-based specifications, most pro- nent OPC Data Access (DA), OPC Alarms and Events (A&E), and OPC Historical Data Access (HDA), which are...

This is the first book on DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. The book starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and...

This book describes 148 algorithms which are essential for serious number-theoretic computations, in particular for computations related to lattices, algebraic number theory, elliptic curves, primality testing and factoring. For each algorithm, a complete theoretical introduction is given so that prerequisites are reduced to a...

This book provides a good introduction to the classical elementary number theory and the modern algorithmic number theory, and their applications in computing and information technology, including computer systems design, cryptography and network security. In this 2nd edition proofs of many theorems have been...

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Numerical Analysis and Its Applications, NAA 2000, held in Rousse, Bulgaria in June 2000.The 90 revised papers presented were carefully selected for inclusion in the book during the two rounds of...

Mika Hirvensalo maps out the new multidisciplinary research area of quantum computing. The text contains an introduction to quantum computing as well as the most important recent results on the topic. Two famous algorithms, fast factorization and Grover search, are presented in separate chapters...

Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory de?nition; ze- knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast;...

'Network' is a heavily overloaded term, so that 'network analysis' means different things to different people. Specific forms of network analysis are used in the study of diverse structures such as the Internet, interlocking directorates, transportation systems, epidemic spreading, metabolic pathways, the Web graph,...

During recent years, competitive pressures and short product lifecycles have caused many manufacturing and retail companies to focus on supply chain management practices and applications. Continuing shifts in the geopolitical situation and emerging markets have opened up new business opportunities, and at the same...

Projective duality is a very classical notion naturally arising in various areas of mathematics, such as algebraic and differential geometry, combinatorics, topology, analytical mechanics, and invariant theory, and the results in this field were until now scattered across the literature. Thus the appearance of...

Arti?cial intelligence has attracted a renewed interest from distinguished sci- tists and has again raised new, more realistic this time, expectations for future advances regarding the development of theories, models and techniques and the use of them in applications pervading many areas of our...

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages,...

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some...

1 2018 Foundation Syllabus Overview.- 2 ISTQB Foundation Level Exam Structure and Rules.- 3 Test Techniques and Exercises.- 4 Black-box Testing Techniques.- 5 White-box test techniques.- 6 Sample Exam - Question Set 1.- 7 Sample Exam - Question Set 2.- 8 Sample Exam -...

This book explains music's comprehensive ontology, its way of existence and processing, as specified in its compact characterization: music embodies meaningful communication and mediates physically between its emotional and mental layers. The book unfolds in a basic discourse in everyday language that is accessible...

This textbook helps future data analysts comprehend aggregation function theory and methods in an accessible way, focusing on a fundamental understanding of the data and summarization tools. Offering a broad overview of recent trends in aggregation research, it complements any study in statistical or...

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python...

This book addresses the application of computing to cultural heritage and the discipline of Digital Humanities that formed around it. Digital Humanities research is transforming how the Human record can be transmitted, shaped, understood, questioned and imagined and it has been ongoing for more...

Covers fundamental concepts, common methods and technical applications of image and video processing on real-life data Puts a great emphasis on algorithms and advanced techniques for image and video processing, from basic representation to high-level understanding Contains up-to-date applications and solutions programmed in MATLAB...

This book presents direct and concise explanations and examples to many LaTeX syntax and structures, allowing students and researchers to quickly understand the basics that are required for writing and preparing book manuscripts, journal articles, reports, presentation slides and academic theses and dissertations for...

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over state-of-the-art technology. The authors present chapters on the use of decision diagrams for combinatorial optimization and constraint programming, with attention to general-purpose solution...

This book offers a comprehensive guide to the world of metadata, from its origins in the ancient cities of the Middle East, to the Semantic Web of today. The author takes us on a journey through the centuries-old history of metadata up to the...

A Node-Centric Reputation Computation Algorithm on Online Social Networks.- Measuring Centralities for Transportation Networks Beyond Structures.- Indifferent Attachment: The Role of Degree in Ranking Friends.- Analyzing the Social Networks of Contributors in Open Source Software Community.- Precise Modeling Rumor Propagation and Control Strategy on...

Matrix algorithms are at the core of scientific computing and are indispensable tools in most applications in engineering. This book offers a comprehensive and up-to-date treatment of modern methods in matrix computation. It uses a unified approach to direct and iterative methods for linear...

This comprehensive and stimulating introduction to Matlab, a computer language now widely used for technical computing, is based on an introductory course held at Qian Weichang College, Shanghai University, in the fall of 2014. Teaching and learning a substantial programming language aren't always straightforward...

This monograph presents a short course in computational geometry and topology. In the first part the book covers Voronoi diagrams and Delaunay triangulations, then it presents the theory of alpha complexes which play a crucial role in biology. The central part of the book...

Preface.- Part I: Plenary Presentations.- Part II: Minisymposia.- Part III: Contributed Presentations.Author: Jocelyne ErhelISBN-10: 331905788XISBN-13: 9783319057880Publisher: SpringerLanguage: EnglishPublished: 10/28/2014Pages: 973Format: HardcoverWeight: 3.45lbsSize: 9.21h x 6.14w x 2.06d

This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current trends and exciting developments in this flourishing area of research and offer fresh perspectives on various...

From proposal to examination, producing a dissertation or thesis is a challenge. Grounded in decades of experience with research training and supervision, this fully updated and revised edition takes an integrated, down-to-earth approach drawing on case studies and examples to guide you step-by-step towards...

This book focuses the solutions of linear algebra and matrix analysis problems, with the exclusive use of MATLAB. The topics include representations, fundamental analysis, transformations of matrices, matrix equation solutions as well as matrix functions. Attempts on matrix and linear algebra applications are also...

Cryptography has become essential as bank transactions, credit card infor-mation, contracts, and sensitive medical information are sent through inse-cure channels. This book is concerned with the mathematical, especially algebraic, aspects of cryptography. It grew out of many courses presented by the authors over the...

This book reviews the most common state-of-the art methods for substructuring and model reduction and presents a framework that encompasses most method, highlighting their similarities and differences. For example, popular methods such as Component Mode Synthesis, Hurty/Craig-Bampton, and the Rubin methods, which are popular...

This book is published open access under a CC BY 4.0 license. This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version...

This textbook presents the elementary aspects of quantum computing in a mathematical form. It is intended as core or supplementary reading for physicists, mathematicians, and computer scientists taking a first course on quantum computing. It starts by introducing the basic mathematics required for quantum...

Outstanding book for Girls Dorothy Vaughan was the first African American woman to become a section manager for NACA. This was the National Advisory Committee for Aeronautics. This group later became NASA (National Aeronautics and Space Administration). She has become famous as one of...

Second Edition June 8, 2018: Perfectly ProofreadThis book is for all those who are willing to build interesting projects with the Raspberry Pi Platform. You can start with this book without any knowledge of programing or electronics or Linux. All of the projects in...

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular. Logic Programming (LP) is at the nexus...

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces-- user input involving new media (speech, multi-touch, gestures, writing) embedded in multimodal-multisensor interfaces. These interfaces support smart phones, wearables, in-vehicle and robotic applications,...

Ada's Legacy illustrates the depth and diversity of writers, thinkers, and makers who have been inspired by Ada Lovelace, the English mathematician and writer. The volume, which commemorates the bicentennial of Ada's birth in December 1815, celebrates Lovelace's many achievements as well as the...

Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs...

This book celebrates Michael Stonebraker's accomplishments that led to his 2014 ACM A.M. Turing Award "for fundamental contributions to the concepts and practices underlying modern database systems." The book describes, for the broad computing community, the unique nature, significance, and impact of Mike's achievements...