Requirements Engineering and Management for Software Development Projects presents a complete guide on requirements for software development including engineering, computer science and management acti
The Internet and associated technologies have been around for almost twenty years. Networked access and computer ownership are now the norm. There is a plethora of technologies that can be used to sup
This book introduces into the practical application of Quality Function Deployment (QFD) beyond the famous House of Quality Matrix by presenting a fully developed example of a clear and comprehensive
Logic design of digital devices is a very important part of the Computer Science. It deals with design and testing of logic circuits for both data-path and control unit of a digital system. Design met
Recent innovations in experimental techniques such as molecular and cluster beam epitaxy, supersonic jet expansion, matrix isolation and chemical synthesis are increasingly enabling researchers to pro
In its revised and updated new edition, this book introduces the foundations of three-dimensional computer vision and surveys recent innovations. Describes applications in industrial quality inspectio
This book deals with the study of sequence spaces, matrix transformations, measures of noncompactness and their various applications. The notion of measure of noncompactness is one of the most useful
By having its origin in analytical and continuum mechanics, as well as in computer science and applied mathematics, multibody dynamics provides a basis for analysis and virtual prototyping of innovati
Modern algorithmic techniques for summation, most of which were introduced in the 1990s, are developed here and carefully implemented in the computer algebra system Maple?.The algorithms of Fasenmyer,
The theme of HumanCom and EMC is focused on the various aspects of human-centric computing for advances in computer science and its applications, embedded and multimedia computing and provides an oppo
This book offers a multidisciplinary strategy for finding new and more effective human-computer interaction approaches, in particular from a socio-technical perspective, that facilitate the exploratio
Variational Regularization of 3D Data provides an introduction to variational methods for data modelling and its application in computer vision. In this book, the authors identify interpolation as an
This Springer Brief examines the combination of computer vision techniques and machine learning algorithms necessary for humanoid robots to develop “true consciousness.” It illustrates the critical fi
Many applications depend on the effective acquisition of semantic metadata, and this state-of-the-art volume provides extensive coverage of the field of semantics acquisition games (SAGs). SAGs are a
The proceedings consists of 30 papers which have been selected and invited from the submissions to the2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 20
Can a computer have a soul? Are religion and science mutually exclusive? Is there really such a thing as free will? If you could time travel to visit Jesus, would you (and should you)? For hundreds of
An overview of biomechanical modeling of human soft tissue using nonlinear theoretical mechanics and incremental finite element methods, useful for computer simulation of the human musculoskeletal sys
This book synthesizes such tools as Hamilton–Jacobi–Isaacs partial differential inequalities and Linear Matrix Inequalities to focus on electromechanical applications with nonsmooth phenomena caused b
Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications and various other scientific disciplines. Both fields deeply cross fertilize
Mathematica is a computer program (software) for doing symbolic, numeric and graphical analysis of mathematical problems. In the hands of economists, financial analysts and other professionals in econ
This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also be used as a reference book for researchers in the area of design and analysis o
Economists can use computer algebra systems to manipulate symbolic models, derive numerical computations, and analyze empirical relationships among variables. Maxima is an open-source multi-platform c
This monograph focuses on the well-posedness of the Cauchy problem for linear hyperbolic systems with matrix coefficients. Mainly two questions are discussed:(A) Under which conditions on lower order
Applied Hydraulic Transients, 3rd Edition covers hydraulic transients in a comprehensive and systematic manner from introduction to advanced level and presents various methods of analysis for computer
"Visual Quantum Mechanics" uses the computer-generated animations found on the accompanying material on Springer Extras to introduce, motivate, and illustrate the concepts explained in the book. While
?There are several techniques to study noncooperative dynamic games, such as dynamic programming and the maximum principle (also called the Lagrange method). It turns out, however, that one way to cha
This research monograph provides an introduction to tractable multidimensional diffusion models, where transition densities, Laplace transforms, Fourier transforms, fundamental solutions or functional
In this book mathematical techniques for integral transforms are described in detail but concisely. The techniques are applied to the standard partial differential equations, such as the Laplace equat
The two volume set LNCS 8047 and 8048 constitutes the refereed proceedings of the 15th International Conference on Computer Analysis of Images and Patterns, CAIP 2013, held in York, UK, in August 2013
Due to parallel advances in signal processing and computer hardware in the last 15 years, quantitative ultrasound techniques have reached maturity, allowing for the construction of quantitative maps o
Answering the need for an accessible overview of the field, this text/reference presents a manageable introduction to both the theoretical and practical aspects of computer networks and network progra
This book details design technologies for green and sustainable computing. It examines the challenges of power efficiency and sustainability in various contexts, including system design, computer arch
Solving scheduling problems has long presented a challenge for computer scientists and operations researchers. The field continues to expand as researchers and practitioners examine ever more challeng
PES College of Engineering is organizing an International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT-12) in Mandya and merging the event with Golden Jubil
Covering processes formed by systems of partial derivative equations (PDEs), including systems of ordinary differential equations (ODEs), this book interprets and uses the matrix of partial derivative
This edited book presents scientific results of the 12th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2013) which was held on June 16-20, 2013 in Toki Messe, Niigata, J
Computer-assisted surgery is a growing sub-discipline of orthopaedic surgery. This book offers a comprehensive presentation of scientific work and clinical experience including new technologies like i
Now in a second, expanded edition, this book bridges the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics and introduces a range of geometri
This book constitutes the refereed proceedings of the International Workshop on Augemented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2012, in Nice, France in Se
This book reviews the state-of-the-art in multiscale computer modeling, examining both its accomplishments and its challenges. Helps connect traditional biomedical engineering at the organ and tissue
