Computers - Computer Science

Provides a general framework useful for the application of the theory of ODEs, as well as a sophisticated use of Mathematica software for the solution of problems related to ODEs. Through extensive worked examples and computer program demonstrations using Mathematica, the authors cover phase...

Computer systems, whether hardware or software, are subject to failure. Precisely, what is a failure? It is defined as: The inability of a system or system component to perform a required function within specified limits. Afailure may be produced when a fault is encountered...

A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.This comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits has been completely updated and expanded for...

From basic architecture, interconnection, and parallelization to power optimization, this book provides a comprehensive description of emerging multicore systems-on-chip (MCSoCs) hardware and software design. Highlighting both fundamentals and advanced software and hardware design, it can serve as a primary textbook for advanced courses in...

"A prize of $10 from Blum, $10 from Meyer, 4 from Paterson and 30-DM from Schnorr is offered to anyone who first solves the Cook-Karp problem whether P = NP. Blum bet $100 that P = NP against Paterson's $1 that P = NP."...

Computers are everywhere, running our lives, handling our social interactions, serving as the backbone of every business. And yet, how well do we understand them? How much do we know about their rise to ubiquity? We take computers for granted, but there is a...

Turn your projects from a weekend hack to a long-living creation! Loosely drawing from the field known in large software companies as Site Reliability Engineering (SRE), this book distills from these disciplines and addresses issues that matter to makers: keeping projects up and running,...

See how custom chatbots and Azure Bot Service can resolve common business problems. This book takes you through the many possibilities of bot development from a business point of view, using Microsoft bot technology, and demonstrates how to connect, deploy, and manage them.Starting with...

Thirty years ago mathematical, as opposed to applied numerical, computation was difficult to perform and so relatively little used. Three threads changed that: the emergence of the personal computer; the discovery of fiber-optics and the consequent development of the modern internet; and the building...

Increasing numbers of businesses and Information Technology firms are outsourcing their software and Web development tasks. It is has been estimated that currently half of the Fortune 500 companies have utilized outsourcing for their development needs and estimates that by the end of 2008,...

Building on your knowledge of how to write basic applications, Pro iOS 5 Tools: Xcode, Instruments and Build Tools shows how to take your apps from promising to real, and from good to great, by using numerous performance and debugging techniques and tools found...

This textbook is uniquely written with dual purpose. It covers core material in the foundations of computing for graduate students in computer science and also provides an introduction to some more advanced topics for those intending further study in the area. The book contains...

Introduction Radio Frequencies Medium Access Control Physical Layer Cryptography Wireless Security Configuring Wireless Networks Robust Security Network MAC Layer Performance Analysis Link Rate Adaptation Build a Xen Server Initial Configuration of Access-point ControllersAuthor: Alan Holt, Chi-Yu HuangISBN-10: 184996274XISBN-13: 9781849962742Publisher: SpringerLanguage: EnglishPublished: 07/05/2010Pages: 212Format: HardcoverWeight:...

Dive into key topics in network architecture implemented with the Google-backed open source Go programming language. Networking topics such as data serialization, application level protocols, character sets and encodings are discussed and demonstrated in Go. This book has been updated to the Go version...

Produce high-quality, cross-platform apps with user experiences almost identical to pure native apps. When evaluating cross-platform frameworks, developers make an assumption that quality will be compromised. But that doesn't have to be true. The principles in this book will show you how to meet...

Examine select retail business scenarios to learn basic mathematics, as well as probability and statistics required to analyze big data. This book focuses on useful and imperative applied analytics needed to build a retail business and explains mathematical concepts essential for decision making and...

Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error...

Project Report from the year 2018 in the subject Computer Science - Applied, grade: 3.91/4, language: English, abstract: Structured Query Language Injection is one of the vulnerabilities in OSWAP Top 10 list for web-based application exploitation. In this study, we will be demonstrating the...

Seminar paper from the year 2018 in the subject Computer Science - Commercial Information Technology, University of Applied Sciences Stuttgart, language: English, abstract: What is jamming? The theoretical principle behind it is the jamming of data transmission in general between a transmitter and a...

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order...

Seminar paper from the year 2012 in the subject Computer Science - Commercial Information Technology, grade: 1.7, University of G ttingen (Institut f r Wirtschaftsinformatik), course: Seminar f r BWL, VWL und Wirtschaftsinformatik, language: English, abstract: The paper contains four sections. The first part...

Bachelor Thesis from the year 2012 in the subject Computer Science - Commercial Information Technology, grade: 2.0, University of G ttingen (Institut f r Wirtschaftsinformatik), course: Computer Science - Commercial Information Technology, language: English, abstract: By firstly reviewing current literature on business simulation gaming...

Automatic computing has undergone drastic changes since the pioneering days of the early Fifties, one of the most obvious being that today the majority of computer programs are no longer written in machine code but in some programming language like FORTRAN or ALGOL. However,...

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biology and...

Multiple Threshold Spatially Uniform ReliefF for the Genetic Analysis of Complex Human Diseases.- Time-Point Specific Weighting Improves Coexpression Networks from Time-Course Experiments.- Inferring Human Phenotype Networks from Genome-Wide Genetic.- Knowledge-Constrained K-Medoids Clustering of Regulatory Rare Alleles for Burden Tests.- Feature Selection and Classification of...

Signal processing is the discipline of extracting information from collections of measurements. To be effective, the measurements must be organized and then filtered, detected, or transformed to expose the desired information. Distortions caused by uncertainty, noise, and clutter degrade the performance of practical signal...

This group of peer-reviewed papers from the fourth TopoInVis workshop held in 2011 includes state-of-the-art research and hot topics such as the search for topological structures in time-dependent flows, and their relations to Lagrangian coherent structures.Author: Ronald PeikertISBN-10: 3642231748ISBN-13: 9783642231742Publisher: SpringerLanguage: EnglishPublished: 01/25/2012Pages: 299Format:...

Part I (by Bernd G舐tner): 1 Introduction: MAXCUT via Semidefinite Programming.- 2 Semidefinite Programming.- 3 Shannon Capacity and Lov疽z Theta.- 4 Duality and Cone Programming.- 5 Approximately Solving Semidefinite Programs.- 6 An Interior-Point Algorithm for Semidefinite Programming.- 7 Compositive Programming.- Part II (by Jiri...

Introduction Classical enzyme kinetics Classical dose-response curves and the Hill coefficient Classical association and dissociation kinetics and exponential fits Numerical methods Preparing the computer Installation of Octave for different platforms Installation of Linux Running the provided programs Data input and output Binding equilibria Analytical...

th It is with great pleasure that I present the selected papers from the 4 Int- national Sanskrit Computational Linguistics Symposium (4i-SCLS) to you. The event is being hosted by the Jawaharlal Nehru University, the premier research UniversityofIndiaduring(December10 12,2010)attheSpecialCenterforS- skrit Studies. The ?rst symposium...

Preface.- Prolog: What this Book Is About.- Notation.- Counting.- Advanced Counting.- Probabilistic Counting.- The Pigeonhole Principle.- Systems of Distinct Representatives.- Sunflowers.- Intersecting Families.- Chains and Antichains.- Blocking Sets and the Duality.- Density and Universality.- Witness Sets and Isolation.- Designs.- The Basic Method.- Orthogonality and...

Overview and Organization.- Viability Kernels and Examples: Viability and Capturability.- Viability Problems in Robotics.- Viability and Dynamic Intertemporal Optimality.- Avoiding Skylla and Charybdis.- Inertia Functions, Viability Oscillators and Hysteresis.- Management of Renewable Resources.- Mathematical Properties of Viability Kernels: Connection Basins.- Local and Asymptotic Properties...

Generalities and methods.- A Few Illustrative Examples of CFD-based Optimization.- Mathematical Aspects of CFD-based Optimization.- Adjoint Methods for Shape Optimization.- Specific Applications of CFD-based Optimization to Engineering Problems.- Efficient Deterministic Approaches for Aerodynamic Shape Optimization.- Numerical Optimization for Advanced Turbomachinery Design.- CFD-based Optimization for...

This comprehensive textbook on combinatorial optimization puts special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It has arisen as the basis of several courses on combinatorial optimization and more special topics at graduate level. The book contains...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications...

This book is intended as a text for a course on cryptography with emphasis on algebraic methods. It is written so as to be accessible to graduate or advanced undergraduate students, as well as to scientists in other fields. The first three chapters form...

Estimation of Distribution Algorithms (EDAs) are a set of algorithms in the Evolutionary Computation (EC) field characterized by the use of explicit probability distributions in optimization. Contrarily to other EC techniques such as the broadly known Genetic Algorithms (GAs) in EDAs, the crossover and...

Under today's shortened fiscal horizons and contracted time-to-market schedules, traditional approaches to capacity planning are seen by management as tending to inflate production schedules. In the face of relentless pressure to get things done faster, Guerrilla Capacity Planning facilitates rapid forecasting of capacity requirements,...

th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16-18, 2009. The Federation of International Robosoccer Association (FIRA - www. fira. net) is a non-profit organization, which organizes robotic competitions and...

In recent years, there has been enormous growth in the number of 3D models and their availability to a wide segment of the population. Examples include the National Design Repository which stores 3D computer-aided design (CAD) models, the Protein Data Bank (PDB) that has...

This book introduces the problem of content-based query replacement. It motivates the term correlation modeled using MRFs and the sampling based technique to learn the search phrase definitions. These definitions are used as alternative queries to achieve higher accuracy in several retrieval tasks. Retrieving...

With the advent of computer technology, more and more images will be presented in an electronic form. Hence, we will need more advan-ced methods to deal with these images as they are becoming an indispensable part of our daily life. Plenty of knowledge can...

The ?rst and foremost goal of this lecture series was to show the beauty, depth and usefulness of the key ideas in computer science. While working on the lecture notes, we came to understand that one can recognize the true spirit of a scienti?c...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications...

The purpose of the Ada 95 Quality and Style Guidelines is to help computer professionals produce better Ada programs by identifying a set of stylistic guidelines that will directly impact the quality of their Ada 95 programs. This guide is ideally suited to be...

EUROCRYEVr '97, the 15th annual EUROCRYPT conference on the theory and application of cryptographic techniques, was organized and sponsored by the International Association for Cryptologic Research (IACR). The IACR organizes two series of international conferences each year, the EUROCRYPT meeting in Europe and CRWTO...

This book constitutes the refereed proceedings of the Ninth European Conference on Machine Learning, ECML-97, held in Prague, Czech Republic, in April 1997.This volume presents 26 revised full papers selected from a total of 73 submissions. Also included are an abstract and two papers...

The book deals with algorithmic problems related to binary quadratic forms. Written by a world leader in number theory, it is the only book focusing on the algorithmic aspects of the theory. It deals with problems such as finding the representations of an integer...

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas....

This is the first graduate textbook on the algorithmic aspects of real algebraic geometry. The main ideas and techniques presented form a coherent and rich body of knowledge. Mathematicians will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will...