Computer Performance Engineering

This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a

Originally published in 1972. Managers at all levels and management students may all expect to become involved increasingly in the development of computer-based information systems. This book, based u

Drawing on examples from various areas of physics, this textbook introduces the reader to computer-based physics using Fortran(R) and Matlab(R). It elucidates a broad palette of topics, including fund

This book focuses on ubiquitous indoor localization services, specifically addressing the issue of floor plans. It combines computer vision algorithms and mobile techniques to reconstruct complete and

Transportation asset management delivers efficient and cost-effective investment decisions to support transportation infrastructure and system usage performance measured in economic, social, health, a

Build deep learning applications, such as computer vision, speech recognition, and chatbots, using frameworks such as TensorFlow and Keras. This book helps you to ramp up your practical know-how in a

This textbook offers a unique introduction to classical Galois theory through many concrete examples and exercises of varying difficulty (including computer-assisted exercises). In addition to coverin

Originally published in 1991, this book looks at the problems of applying Western computer programmes to the developing world, arguing that the difficulties are as much cultural as technological. The

This book offers students an accessible introduction to the history of digital media from the birth of the computer to the ubiquitous computing that pervades society today. Taking a historical, interm

Category Theory now permeates most of Mathematics, large parts of theoretical Computer Science and parts of theoretical Physics. Its unifying power brings together different branches, and leads to a d

The second edition of Julien's textbook presents an analysis of rivers from mountain streams to river estuaries. The book is rooted in fundamental principles to promote sound engineering practice. State-of-the-art methods are presented to underline theory and engineering applications. River mechanics blends the dual concepts of water conveyance and sediment transport. Like the first edition, this textbook contains ample details on river equilibrium, river dynamics, bank stabilization, and river engineering. Complementary chapters also cover the physical and mathematical modeling of rivers. As well as being completely updated throughout, three new chapters have been added on watershed dynamics, hillslope stability, and stream restoration. Throughout the text, hundreds of examples, exercises, problems, and case studies assist the reader in learning the essential concepts of river engineering. The textbook is very well illustrated to enhance advanced student learning, while researchers an

Written in a clear, logical and concise manner, this comprehensive resource provides discussion on essential mathematical tools, required for upgraded system performance. Understanding of basic principles and governing laws is essential to reduce complexity of the system, and this guide offers detailed discussion on analytical and numerical techniques to solve mathematical model equations. Important concepts including nonlinear algebraic equations, initial value ordinary differential equations (ODEs) and boundary value ODEs are discussed in detail. The concepts of optimization methods and sensitivity analysis, which are important from subject point of view, are explained with suitable examples. Numerous problems and MATLAB®/Scilab exercises are interspersed throughout the text. Several case studies involving full details of simulation are offered for better understanding. The accompanying website will host additional MATLAB®/Scilab problems, model question papers, simulation exercises,

Measurement and targets have been widely criticised as distorting policy and engendering gaming - yet they continue to be widely used in government. This book offers an original new account explaining the persistent appeal of performance measurement. It argues that targets have been adopted to address a crisis of trust in politics, through creating more robust mechanisms of accountability and monitoring. The book shows that such tools rarely have their intended effect. Through an in-depth analysis of UK targets on immigration and asylum since 2000, it shows that far from shoring up trust, targets have engendered cynicism and distrust in government. Moreover, they have encouraged intrusive forms of monitoring and reform in public administration, with damaging consequences for trust between politicians and civil servants. Despite these problems, performance measurement has now become embedded in techniques of public management. It has also become normalised as a way of framing policy pro

This volume details methods and techniques for identification of drug targets, binding sites prediction, high-throughput virtual screening,and prediction of pharmacokinetic properties using computer b

How can computer modeling and simulation tools be used to understand and analyze common situations and everyday problems? Readers will find here an easy-to-follow, enjoyable introduction for anyone ev

How can computer modeling and simulation tools be used to understand and analyze common situations and everyday problems? Readers will find here an easy-to-follow, enjoyable introduction for anyone ev

The same computer games are played by youth all over the world, and worldwide games become matters of concern in relation to children: worries rise about addiction, violence, education, time, and econ

Designed as an introduction for both advanced students in aerospace engineering and existing aerospace engineers, this book covers both engineering theory and professional practice in establishing the

From graphic novel superstar (and former computer programming teacher) and New York Timesbestselling author Gene Luen Yang, Secret Coders: Potions & Parameters is the fifth volume in a wildly ente

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming

For courses in computer science and programming Starting Out with Java: From Control Structures through Data Structures provides a smooth introduction to programming with Java that moves fl

For introductory courses in Computer Programming. The Fundamentals of Programming When it comes to programming, understanding the founding concepts can greatly improve student engagement and fu

This book surveys state-of-the-art research on and developments in lithium-ion batteries for hybrid and electric vehicles. It summarizes their features in terms of performance, cost, service life, man

Computer-assisted language learning (CALL) is an approach to teaching and learning languages that uses computers and other technologies to present, reinforce, and assess material to be learned, or to create environments where teachers and learners can interact with one another and the outside world. This book provides a much-needed overview of the diverse approaches to research and practice in CALL. It differs from previous works in that it not only surveys the field, but also makes connections to actual practice and demonstrates the potential advantages and limitations of the diverse options available. These options are based squarely on existing research in the field, enabling readers to make informed decisions regarding their own research in CALL. This essential text helps readers to understand and embrace the diversity in the field, and helps to guide them in both research and practice.

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language a

In the last decade, due to factors of ICT infrastructural and broadband maturation, rising levels of educational attainment and computer literacy, and diversification strategies, e-learning has explod

This book constitutes the refereed proceedings of the 4th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2017, held in Gurgaon, India, in October 2

In the sequel to Murder a la Russe, an unexpected medical condition temporarily interrupts Natalya Denisova's literary career. Her son Leo, using notes left on her computer, completes her book-in-prog

An accessible and rigorous textbook for introducing undergraduates to computer science theoryWhat Can Be Computed? is a uniquely accessible yet rigorous introduction to the most profound ideas at the

Master the technical skills and industry knowledge you need to begin an exciting career installing, configuring and troubleshooting computer networks with West/Dean/Andrews' NETWORK+ GUIDE TO NETWORKS

Find flow and reach peak performance—in sports and in life. Based on the groundbreaking Still Quiet Place mindfulness program, this workbook provides practical, step-by-step exercises and s

This book explores Probabilistic Cellular Automata (PCA) from the perspectives of statistical mechanics, probability theory, computational biology and computer science. PCA are extensions of the well-

Effective participatory water management requires effective co-engineering – the collective process whereby organisational decisions are made on how to bring stakeholders together. This trans-disciplinary book highlights the challenges involved in the collective initiation, design, implementation and evaluation of water planning and management processes. It demonstrates how successful management requires the effective handling of two participatory processes: the stakeholder water management process and the co-engineering process required to organise this. The book provides practical methods for supporting improved participatory processes, including the application of theory and models to aid decision-making. International case studies of these applications from Australia, Europe and all over the world, including Africa, are used to examine negotiations and leadership approaches, and their effects on the participatory stakeholder processes. This international review of participatory wat

For courses in computer programming in Java. Provide a step-by-step introduction to programming in Java Starting Out with Java: From Control Structures through Objects provides a step-by-

This book presents methods for full-wave computer simulation that can be used in various applications and contexts, e.g. seismic prospecting, earthquake stability, global seismic patterns on Earth and

As many disciplines in the humanities have experienced a focus on culture’s impact in recent decades, questions surrounding the significance of media such as writing, print, and computer networks have

Multiplayer Online Games (MOGs) have become a new genre of "play culture," integrating communication and entertainment in a playful, computer-mediated environment that evolves through user interaction

Performing Architectures offers a coherent introduction to the fields of performance and contemporary architecture, exploring the significance of architecture for performance theory and theatre and pe

This book constitutes the refereed thoroughly refereed post-workshop proceedings of the 17th International Conference on Web Engineering, ICWE 2017, held in Rome, Italy, in June 2017.The 24 revised fu

An exploration of the ethics of practical engineering through analyses of eighteen rich case studiesThe Ethical Engineer explores ethical issues that arise in engineering practice, from technology tra