Development and Software Engineering

Understand concepts, create perfect designs, and manage every stage of a project with this thorough guide to Autodesk's powerful civil engineering software. Authored by experts with close ties to Aut

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

This volume provides a concise, historical review of the methods of structural analysis and design - from Galileo in the seventeenth century, to the present day. Through it, students in structural engineering and professional engineers will gain a deeper understanding of the theory behind the modern software packages they use daily in structural design. This book also offers the reader a lucid examination of the process of structural analysis and how it relates to modern design. The first three chapters cover questions about the strength of materials, and how to calculate local effects. An account is then given of the development of the equations of elastic flexure and buckling, followed by a separate chapter on masonry arches. Three chapters on the overall behaviour of elastic structures lead to a discussion of plastic behaviour, and a final chapter indicates that there are still problems needing solution.

Iterative processing is an important technique with numerous applications. Exploiting the power of factor graphs, this detailed survey provides a general framework for systematically developing iterative algorithms for digital receivers, and highlights connections between important algorithms. Starting with basic concepts in digital communications, progressively more complex ideas are presented and integrated resulting in the development of cutting-edge algorithms for iterative receivers. Real-world applications are covered in detail, including decoding for turbo and LDPC codes, and detection for multi-antenna and multi-user systems. This accessible framework will allow the reader to apply factor graphs to practical problems, leading to the design of new algorithms in applications beyond digital receivers. With many examples and algorithms in pseudo-code, this book is an invaluable resource for graduate students and researchers in electrical engineering and computer science, and for pr

String matching problems range from the relatively simple task of searching a single text for a string of characters to searching a database for approximate occurrences of a complex pattern. Recent years have witnessed a dramatic increase of interest in sophisticated string matching problems, especially in information retrieval and computational biology. This book presents a practical approach to string matching problems, focusing on the algorithms and implementations that perform best in practice. It covers searching for simple, multiple and extended strings, as well as regular expressions, and exact and approximate searching. It includes all the most significant new developments in complex pattern searching. The clear explanations, step-by-step examples, algorithm pseudocode, and implementation efficiency maps will enable researchers, professionals and students in bioinformatics, computer science, and software engineering to choose the most appropriate algorithms for their applicatio

Decision analysis is a prescriptive theory that aids individuals or groups confronted with complex problems in a wide variety of contexts. By framing issues, identifying risks, eliciting stakeholder preferences, and suggesting alternative approaches, decision analysts can offer workable solutions in domains such as the environment, health and medicine, engineering and operations research, and public policy. This book is a mixture of historical and forward-looking essays on key topics in decision analysis. Part I covers the history and foundations of decision analysis. Part II discusses structuring decision problems, including the development of objectives and their attributes, and influence diagrams. Part III discusses probabilities and their elicitation and Bayes nets. Part IV discusses additive and multiplicative utilities, risk preferences, and 'option pricing' methods. Part V discusses risk analysis. Part VI puts decision analysis in a behavioral and organizational context. Part VI

Decision analysis is a prescriptive theory that aids individuals or groups confronted with complex problems in a wide variety of contexts. By framing issues, identifying risks, eliciting stakeholder preferences, and suggesting alternative approaches, decision analysts can offer workable solutions in domains such as the environment, health and medicine, engineering and operations research, and public policy. This book is a mixture of historical and forward-looking essays on key topics in decision analysis. Part I covers the history and foundations of decision analysis. Part II discusses structuring decision problems, including the development of objectives and their attributes, and influence diagrams. Part III discusses probabilities and their elicitation and Bayes nets. Part IV discusses additive and multiplicative utilities, risk preferences, and 'option pricing' methods. Part V discusses risk analysis. Part VI puts decision analysis in a behavioral and organizational context. Part VI

By emphasizing the application of computer programming not only in success stories in the software industry but also in familiar scenarios in physical and biological science, engineering, and appli

Spray forming combines the metallurgical processes of metal casting and powder metallurgy to fabricate metal products with enhanced properties. This book provides an introduction to the various modelling and simulation techniques employed in spray forming, and shows how they are applied in process analysis and development. The author begins by deriving and describing the main models. He then presents their application in the simulation of the key features of spray forming. Wherever possible he discusses theoretical results with reference to experimental data. Building on the features of metal spray forming, he also derives common characteristic modelling features that may be useful in the simulation of related spray processes. The book is aimed at researchers and engineers working in process technology, chemical engineering and materials science.

How are our societies being transformed by internet and digital economics? This book provides an accessible introduction to the economics of the internet and a comprehensive account of the mechanisms of the digital economy. Leading scholars examine the original economic and business models being developed as a result of the internet system, and explore their impact on our economies and societies. Key issues are analysed, including the development of open source software and on-line communities, peer-to-peer and online sharing of cultural goods, electronic markets and the rise of new information intermediaries, e-retailing and e-banking. The volume examines how internet and digital economics have transformed the organization of firms, industries, markets, commerce, modes of distribution, money, finance, and innovation processes, and provides the analytical tools to understand both these recent transformations and the likely future directions of the 'New Economy'.

Considerably easier to use than other 3D software, Google SketchUp has found a niche in architecture, landscaping, real estate development, furniture building, and other design professions The fun an

This highly detailed reference represents an elaborate development of the theory of processing oil and natural gas and its application in the field -- indispensable for graduate engineering students a

Nanocrystalline materials exhibit exceptional mechanical properties, representing an exciting new class of structural materials for technological applications. The advancement of this important field depends on the development of new fabrication methods, and an appreciation of the underlying nano-scale and interface effects. This authored book addresses these essential issues, presenting for the first time a fundamental, coherent and current account at the theoretical and practical level of nanocrystalline and nanocomposite bulk materials and coatings. The subject is approached systematically, covering processing methods, key structural and mechanical properties, and a wealth of applications. This is a valuable resource for graduate students studying nanomaterials science and nanotechnologies, as well as researchers and practitioners in materials science and engineering.

The interest in using Bayesian methods in ecology is increasing, however many ecologists have difficulty with conducting the required analyses. McCarthy bridges that gap, using a clear and accessible style. The text also incorporates case studies to demonstrate mark-recapture analysis, development of population models and the use of subjective judgement. The advantages of Bayesian methods, are also described here, for example, the incorporation of any relevant prior information and the ability to assess the evidence in favour of competing hypotheses. Free software is available as well as an accompanying web-site containing the data files and WinBUGS codes. Bayesian Methods for Ecology will appeal to academic researchers, upper undergraduate and graduate students of Ecology.

Service-Oriented Architecture (SOA) is a way of organizing software. If your company’s development projects adhere to the principles of SOA, the outcome will be an inventory of modular units ca

Algebraic geometry, central to pure mathematics, has important applications in such fields as engineering, computer science, statistics and computational biology, which exploit the computational algorithms that the theory provides. Users get the full benefit, however, when they know something of the underlying theory, as well as basic procedures and facts. This book is a systematic introduction to the central concepts of algebraic geometry most useful for computation. Written for advanced undergraduate and graduate students in mathematics and researchers in application areas, it focuses on specific examples and restricts development of formalism to what is needed to address these examples. In particular, it introduces the notion of Gröbner bases early on and develops algorithms for almost everything covered. It is based on courses given over the past five years in a large interdisciplinary programme in computational algebraic geometry at Rice University, spanning mathematics, computer

The elucidation of the effects of structurally extended defects on electronic properties of materials is especially important in view of the current advances in electronic device development that involve defect control and engineering at the nanometer level. This book surveys the properties, effects, roles and characterization of extended defects in semiconductors. The basic properties of extended defects (dislocations, stacking faults, grain boundaries, and precipitates) are outlined, and their effect on the electronic properties of semiconductors, their role in semiconductor devices, and techniques for their characterization are discussed. These topics are among the central issues in the investigation and applications of semiconductors and in the operation of semiconductor devices. The authors preface their treatment with an introduction to semiconductor materials and conclude with a chapter on point defect maldistributions. This text is suitable for advanced undergraduate and gradua

The book is intended for lectures on string processes and pattern matching in Master's courses of computer science and software engineering curricula. The details of algorithms are given with correctness proofs and complexity analysis, which make them ready to implement. Algorithms are described in a C-like language. The book is also a reference for students in computational linguistics or computational biology. It presents examples of questions related to the automatic processing of natural language, to the analysis of molecular sequences, and to the management of textual databases.

This book examines the important role semantics will have in the future development of software systems and domain specific languages. It presents the fundamental ideas behind these approaches, stres

In order to help people with a mental illness it is important to be able to understand and measure the severity of the experiences that they find distressing and disabling and which can affect their behaviour. SCAN is a form of interview, found acceptable to patients, which provides a detailed and accurate picture of 'mental state'. When analysed by computer it provides a diagnosis that is comparable wherever the system is used. The 9th edition of the Present State Examination (PSE-9) was published in 1974 and served to link the two main approaches to the description and classification of psychological problems. PSE-10/SCAN builds on the experience of extensive tests using PSE-9. It retains the main features of PSE-9 and links together the two international classification systems, ICD-10 and DSM-IV. This reference manual is a companion to the SCAN interview schedule and software. It describes the rationale and development of the system and provides a valuable introduction to its uses.

This book presents the development of modern molecular models for fluids from the interdisciplinary fundamentals of classical and statistical mechanics, of electrodynamics and of quantum mechanics. The concepts and working equations of the various fields are briefly derived and illustrated in the context of understanding the properties of molecular systems. Special emphasis is devoted to the quantum mechanical basis, since this is used throughout in the calculation of the molecular energy of a system. The book is application oriented. It stresses those elements that are essential for practical model development. The fundamentals are then used to derive models for various types of applications. Finally, equation of state models are presented based on quantum chemically based models for the intermolecular potential energy and perturbation theory. The book is suited for graduate courses in chemical and mechanical engineering, physics and chemistry, but may also, by proper selection, be fo

Agility and innovation are necessary to achieve global excellence and customer value in twenty-first century business; yet most approaches to business process engineering sacrifice these in favor of operational efficiency and economics. Moreover, the IT systems used to automate and encapsulate business processes are unresponsive to the dynamic business environment. Mitra and Gupta provide insight to close this gap - showing how innovation can be systematized with normalized patterns of information, how business processes and information systems may be tightly aligned, and how these processes and systems can be designed to automatically adapt to change by reconfiguring shared patterns of knowledge. A modular approach to building business systems that parallels that of object oriented software is presented. Practical templates required for accelerating integration, analysis and design are provided. This book will appeal to consultants, analysts, and managers in IT as well as researchers

PSpice for Digital Communications Engineering shows how to simulate digital communication systems and modulation methods using the very powerful Cadence Orcad PSpice version 10.5 suite of software pro

The evolution of the concept of mind in cognitive science over the past 25 years creates new ways to think about the interaction of people and computers. New ideas about embodiment, metaphor as a fun

Whether you are a software developer, systems architect, data analyst, or business analyst, if you want to take advantage of data mining in the development of advanced analytic applications, Java Data

The core of scientific computing is designing, writing, testing, debugging and modifying numerical software for application to a vast range of areas: from graphics, meteorology and chemistry to engineering, biology and finance. Scientists, engineers and computer scientists need to write good code, for speed, clarity, flexibility and ease of re-use. Oliveira and Stewart's style guide for numerical software points out good practices to follow, and pitfalls to avoid. By following their advice, readers will learn how to write efficient software, and how to test it for bugs, accuracy and performance. Techniques are explained with a variety of programming languages, and illustrated with two extensive design examples, one in Fortran 90 and one in C++: other examples in C, C++, Fortran 90 and Java are scattered throughout the book. This manual of scientific computing style will be an essential addition to the bookshelf and lab of everyone who writes numerical software.

An understanding of statistical thermodynamic molecular theory is fundamental to the appreciation of molecular solutions. This complex subject has been simplified by the authors with down-to-earth presentations of molecular theory. Using the potential distribution theorem (PDT) as the basis, the text provides a discussion of practical theories in conjunction with simulation results. The authors discuss the field in a concise and simple manner, illustrating the text with useful models of solution thermodynamics and numerous exercises. Modern quasi-chemical theories that permit statistical thermodynamic properties to be studied on the basis of electronic structure calculations are given extended development, as is the testing of those theoretical results with ab initio molecular dynamics simulations. The book is intended for students taking up research problems of molecular science in chemistry, chemical engineering, biochemistry, pharmaceutical chemistry, nanotechnology and biotechnolog

With the award-winning book Agile Software Development: Principles, Patterns, and Practices, Robert C. Martin helped bring Agile principles to tens of thousands of Java and C++ programmers. Now .NET p

The interdisciplinary nature of bioinformatics presents a research challenge in integrating concepts, methods, software and multiplatform data. Although there have been rapid developments in new technology and an inundation of statistical methods for addressing other types of high-throughput data, such as proteomic profiles that arise from mass spectrometry experiments. This book discusses the development and application of Bayesian methods in the analysis of high-throughput bioinformatics data that arise from medical, in particular, cancer research, as well as molecular and structural biology. The Bayesian approach has the advantage that evidence can be easily and flexibly incorporated into statistical methods. A basic overview of the biological and technical principles behind multi-platform high-throughput experimentation is followed by expert reviews of Bayesian methodology, tools and software for single group inference, group comparisons, classification and clustering, motif discov

This concise sourcebook of the electrochemical, engineering and economic principles involved in the development and commercialization of fuel cells offers a thorough review of applications and techno-

Over the last century, medicine has come out of the "black bag" and emerged as one of the most dynamic and advanced fields of development in science and technology. Today, biomedical engineering plays

This book explains how to build Natural Language Generation (NLG) systems - computer software systems which use techniques from artificial intelligence and computational linguistics to automatically generate understandable texts in English or other human languages, either in isolation or as part of multimedia documents, Web pages, and speech output systems. Typically starting from some non-linguistic representation of information as input, NLG systems use knowledge about language and the application domain to automatically produce documents, reports, explanations, help messages, and other kinds of texts. The book covers the algorithms and representations needed to perform the core tasks of document planning, microplanning, and surface realization, using a case study to show how these components fit together. It also discusses engineering issues such as system architecture, requirements analysis, and the integration of text generation into multimedia and speech output systems.

AntiPatterns: Identification, Refactoring, and Management catalogs 48 bad management practices and environments common to software development, IT, and other organizations. The authors cover antipatte

This practical text features computer-aided engineering methods for the design and application of magnetic actuators and sensors, using the latest software tools. John Brauer highlights the use of the

&a>breaks new ground in game development by bridging the alien worlds of hardware and software together for the first time! The Black Art of Video Game Console Design is written for the

This 2006 textbook discusses the fundamentals and applications of statistical thermodynamics for beginning graduate students in the physical and engineering sciences. Building on the prototypical Maxwell–Boltzmann method and maintaining a step-by-step development of the subject, this book assumes the reader has no previous exposure to statistics, quantum mechanics or spectroscopy. The book begins with the essentials of statistical thermodynamics, pauses to recover needed knowledge from quantum mechanics and spectroscopy, and then moves on to applications involving ideal gases, the solid state and radiation. A full introduction to kinetic theory is provided, including its applications to transport phenomena and chemical kinetics. A highlight of the textbook is its discussion of modern applications, such as laser-based diagnostics. The book concludes with a thorough presentation of the ensemble method, featuring its use for real gases. Numerous examples and prompted homework problems enr

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design

Inverse Modeling of the Ocean and Atmosphere is a graduate-level book for students of oceanography and meteorology, and anyone interested in combining computer models and observations of the hydrosphere or solid earth. A step-by-step development of maximally efficient inversion algorithms, using ideal models, is complemented by computer codes and comprehensive details for realistic models. Variational tools and statistical concepts are concisely introduced, and applications to contemporary research models, together with elaborate observing systems, are examined in detail. The book offers a review of the various alternative approaches, and further advanced research topics are discussed. Derived from the author's lecture notes, this book constitutes an ideal course companion for graduate students, as well as being a valuable reference source for researchers and managers in theoretical earth science, civil engineering and applied mathematics.

Bioconductor is a widely used open source and open development software project for the analysis and comprehension of data arising from high-throughput experimentation in genomics and molecular biolog