Machine Learning Applications In Software Engineering

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

This book describes the properties and device applications of hydrogenated amorphous silicon. It covers the growth, the atomic and electronic structure, the properties of dopants and defects, the optical and electronic properties which result from the disordered structure and finally the applications of this technologically very important material. There is also an important chapter on contacts, interfaces and multilayers. The main emphasis of the book is on the new physical phenomena which result from the disorder of the atomic structure. The book will be of major importance to those who are researching or studying the properties and applications of a-Si:H. It will have a wider interest for anyone working in semiconductor physics and electronic engineering in general.

The application of time series techniques in economics has become increasingly important, both for forecasting purposes and in the empirical analysis of time series in general. In this book, Terence Mills not only brings together recent research at the frontiers of the subject, but also analyses the areas of most importance to applied economics. It is an up-to-date text which extends the basic techniques of analysis to cover the development of methods that can be used to analyse a wide range of economic problems. The book analyses three basic areas of time series analysis: univariate models, multivariate models, and non-linear models. In each case the basic theory is outlined and then extended to cover recent developments. Particular emphasis is placed on applications of the theory to important areas of applied economics and on the computer software and programs needed to implement the techniques. This book clearly distinguishes itself from its competitors by emphasising the techniques

Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of models and so a specification must be converted from one form to another during the development process. To solve this problem, Dr Tse proposes in this 1991 book a unifying framework behind popular structured models. He approaches the problem from the viewpoints of algebra and category theory. He not only develops the frameworks but also illustrates their practical and theoretical usefulness. Thus this book will provide insight for software engineers into how methodologies can be formalised and will open up a range of applications and problems for theoretical computer scientists.

This book deals with advanced fluid flow methods for design and analysis of engineering systems. Panel methods employing surface distributions of source and vortex singularities based on the solution of boundary integral equations have been extensively used for modelling external and internal aerodynamic flows. Part 1 describes the surface vorticity method and illustrates applications of this technique over a wide range of engineering problems in aerodynamics and turbo-machines, including lifting aerofoils and cascades, mixed-flow and rotating cascades for fans, pumps or turbines, meridional flows in turbo-machines, flow past axisymmetric bodies, ducts and ducted propellers or fans. Part 2 extends surface vorticity modelling to the fairly new CFM field of vortex dynamics or vortex cloud theory, including foundation chapters on convection and viscous diffusion by the random walk technique. Vortex cloud methods are developed, again from first principles, to deal with shear layers, bounda

Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Human factors can help to improve Informatics Usability for real people, and to reduce the huge people-costs of human machine interactions. This book has been developed from lectures given at an Advanced Study course, sponsored by the European Science and Technology Research Committee of the Commission of the European Communities (CREST), and by the Science and Engineering Research Council (SERC) of the UK. It has three objectives: 1. To review the knowledge and methods available from the field of human factors for improving the usability of informatics systems; 2. To describe recent theoretical and methodological developments in the area; 3. To stimulate increased application of this expertise.

This book introduces the reader to methods of selecting materials for engineering applications. With the rapid growth in the variety of manufacturing materials available, the choice of the optimum material for an engineering design is of increasing importance and difficulty. Materials have to be chosen that satisfy several, often conflicting, criteria including strength, durability, flammability, and cost. The author, an acknowledged expert on materials, provides a guide to many of the classes of engineering materials currently available. He includes tables and lists of standards, along with lists of consultants' addresses and references. Materials covered include metals, ceramics, polymers, and composites, and there are chapters on surface finishes, materials' performance, and the impact of manufacturing processes on design possibilities.

This book gives a rigorous and practical treatment of integral equations. These are significant because they occur in many problems in mathematics, physics and engineering and they offer a powerful (sometimes the only) technique for solving these problems. The book aims to tackle the solution of integral equations using a blend of abstract 'structural' results and more direct, down-to-earth mathematics. The interplay between these two approaches is a central feature of the text and it allows a thorough account to be given of many of the types of integral equation which arise in application areas. Since it is not always possible to find explicit solutions of the problems posed, much attention is devoted to obtaining qualitative information and approximations to the solutions, with the associated error estimates. This treatment is intended for final year mathematics undergraduates, postgraduates and research workers in application areas such as numerical analysis and fluid mechanics.

The late twentieth century is undoubtedly the age of technology. Each technological development leads to more sophisticated devices and further scientific advances. Because of the pace of change, it is difficult to obtain a broad overview of the way fundamental science is linked to its everyday applications. Principles of Modern Technology describes the physical principles on which modern technology is based. Four primary areas have been singled out: computers and microelectronics, communications, nuclear energy and space flight. Each topic is treated in a way that gives the reader an insight into the underlying physics which makes the technology possible as well as the orders of magnitude involved. Based on a course taught at the University of Rochester, the book will be useful both as a textbook for courses in applied physics and engineering and as a reference book. It will be of interest to undergraduates taking introductory physics courses and anyone interested in modern technology

The late twentieth century is undoubtedly the age of technology. Each technological development leads to more sophisticated devices and further scientific advances. Because of the pace of change, it is difficult to obtain a broad overview of the way fundamental science is linked to its everyday applications. Principles of Modern Technology describes the physical principles on which modern technology is based. Four primary areas have been singled out: computers and microelectronics, communications, nuclear energy and space flight. Each topic is treated in a way that gives the reader an insight into the underlying physics which makes the technology possible as well as the orders of magnitude involved. Based on a course taught at the University of Rochester, the book will be useful both as a textbook for courses in applied physics and engineering and as a reference book. It will be of interest to undergraduates taking introductory physics courses and anyone interested in modern technology

This book presents the proceedings of the Ada-Europe International Conference held in Dublin, June 1990. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world. This year's conference takes as its theme the impact of technical and management issues in the software engineering economics of Ada, as well as technology transfer and training. With the start of a new decade in which Ada comes of age both in terms of use and acceptability, papers also assess the impact of Ada through descriptions of projects in which Ada has been used throughout their life cycle. Discussion of topical issues affecting the development of Ada-9X is also presented.

This outstanding collection is designed to address the fundamental issues and principles underlying the task of Artificial Intelligence. The editors have selected not only papers now recognized as classics but also many specially commissioned papers which examine the methodological and theoretical foundations of the discipline from a wide variety of perspectives: computer science and software engineering, cognitive psychology, philosophy, formal logic and linguistics. Carefully planned and structured, the volume tackles many of the contentious questions of immediate concern to AI researchers and interested observers. Is Artificial Intelligence in fact a discipline, or is it simply part of computer science? What is the role of programs in AI and how do they relate to theories? What is the nature of representation and implementation, and how should the challenge of connectionism be viewed? Can AI be characterized as an empirical science? The comprehensiveness of this collection is furthe

This book provides a solid foundation to a number of important topics in mathematics of interest to science and engineering students. The authors' approach is simple and direct, the emphasis being on the analytical structure and applications of the material. The text is virtually self-contained, assuming only that the student has received a good basic course in ancillary mathematics. Each chapter contains a large number of worked examples, and concludes with problems for solution, with answers given in the back of the book. There is no comparable text that covers this material in such a concise form. This book will be of great value to undergraduates in physics, chemistry, theoretical biology, and in all engineering disciplines, as a source book of advanced mathematical methods, and also to postgraduate students as a revision text.

This book provides a solid foundation to a number of important topics in mathematics of interest to science and engineering students. The authors' approach is simple and direct, the emphasis being on the analytical structure and applications of the material. The text is virtually self-contained, assuming only that the student has received a good basic course in ancillary mathematics. Each chapter contains a large number of worked examples, and concludes with problems for solution, with answers given in the back of the book. There is no comparable text that covers this material in such a concise form. This book will be of great value to undergraduates in physics, chemistry, theoretical biology, and in all engineering disciplines, as a source book of advanced mathematical methods, and also to postgraduate students as a revision text.

The rapid development of the theories of Volterra integral and functional equations has been strongly promoted by their applications in physics, engineering and biology. This text shows that the theory of Volterra equations exhibits a rich variety of features not present in the theory of ordinary differential equations. The book is divided into three parts. The first considers linear theory and the second deals with quasilinear equations and existence problems for nonlinear equations, giving some general asymptotic results. Part III is devoted to frequency domain methods in the study of nonlinear equations. The entire text analyses n-dimensional rather than scalar equations, giving greater generality and wider applicability and facilitating generalizations to infinite-dimensional spaces. The book is generally self-contained and assumes only a basic knowledge of analysis. The many exercises illustrate the development of the theory and its applications, making this book accessible to res

A graduate-level text utilizing exterior differential forms in the analysis of a variety of mathematical problems in the physical and engineering sciences. Includes 45 illustrations. Index.

Latent inhibition is an exquisitely simple, robust and pervasive behavioural phenomenon - the reduced ability of an organism to learn new associations to previously inconsequential stimuli. It has been demonstrated in a variety of animals, including humans, across many different learning tasks. The ease of demonstrating the latent inhibition effect, on the one hand, is matched by the difficulty of incorporating it into contemporary conditioning and learning theories, on the other. R. E. Lubow offers a complete survey of the basic data that comprise the latent inhibition effect and a review of theories that attempt to explain it. He then elaborates his own Conditioned Attention Theory and derives applications for learned helplessness and schizophrenia. A wide range of experimental psychologists and neuroscientists will find this a stimulating and useful book for themselves and their students.

This textbook, covering the basic mathematics taught to first-year students of science and engineering, reflects the growing awareness that ancillary mathematics should not be taught in isolation from its applications. Topics covered include calculus, ordinary and partial differential equations and statistics. Each chapter starts with two or three examples setting the new techniques to be studied in the context of the scientific world; the mathematics is then presented, along with worked examples. Numerical methods are integrated with analytical techniques where appropriate. The resulting textbook provides the teacher with a rich and varied source of applications for classroom use and students with a textbook for self-learning, giving insight into the significance and role of mathematics in science and engineering.

Algae and Human Affairs provides a comprehensive survey of the major roles of algae in present and future human life. This detailed synthesis is divided into four sections. The first reviews the natural roles of algae as sources of oxygen, organic carbon compounds, and as bases of food-chains for higher trophic levels. The second group of chapters deals with the commercial and economic value of algae to industry, energy, waste treatment and agriculture (i.e. algae as an important source of food and food additives, such as the carageenan used in dairy products). The third section discusses the detrimental, sometimes disastrous, effects of algae in the form of red-tide organisms, weeds, producers of freshwater toxins, and marine biofouling. The final section considers applications and the potential of algae to industry, in general, and, in particular, to space exploration and genetic engineering.

Hankel operators are of wide application in mathematics (functional analysis, operator theory, approximation theory) and engineering (control theory, systems analysis) and this account of them is both elementary and rigorous. The book is based on graduate lectures given to an audience of mathematicians and control engineers, but to make it reasonably self-contained, the author has included several appendices on mathematical topics unlikely to be met by undergraduate engineers. The main prerequisites are basic complex analysis and some functional analysis, but the presentation is kept straightforward, avoiding unnecessary technicalities so that the fundamental results and their applications are evident. Some 45 exercises are included.

Designed as a learning tool for those with limited background in quantum mechanics, this book provides comprehensive coverage of angular momentum in quantum mechanics and its applications to chemistry

In many problems of applied mathematics, science, engineering or economics, an energy expenditure or its analogue can be approximated by upper and lower bounds. This book provides a unified account of the theory required to establish such bounds, by expressing the governing conditions of the problem, and the bounds, in terms of a saddle functional and its gradients. There are several features, including a chapter on the Legendre dual transformation and some of its singularities. Many substantial examples and exercises are included, especially from the mechanics of fluids, elastic and plastic solids and from optimisation theory. The saddle functional viewpoint gives the book a wide scope. The treatment is straightforward, the only prerequisite being a basic knowledge of the calculus of variations. Part of the book is based on final-year undergraduate courses. This is developed into an account which will interest a wide range of students and professionals in applied mathematics, engineer

This introductory text explores the essentials of partial differential equations applied to common problems in engineering and the physical sciences. It reviews calculus and ordinary differential equ

The Gunpowder Epic is one of three planned publications on military technology within Dr Needham's immense undertaking. The discovery of gunpowder in China by the 9th century AD was followed by its rapid applications. It is now clear that the whole development from bombs and grenades to the invention of the metal-barrel hand gun took place in the Chinese culture area before Europeans had any knowledge of the mixture itself. Uses in civil engineering and mechanical engineering were equally important, before the knowledge of gunpowder spread to Europe in the thirteenth and fourteenth centuries. Dr Needham's new work continues to demonstrate the major importance of Chinese science and technology to world history and maintains the tradition of one of the great scholarly works of the twentieth century.

Here is an introductory text on metric spaces that is the first to be written for students who are as interested in the applications as in the theory. Knowledge of metric spaces is fundamental to understanding numerical methods (for example for solving differential equations) as well as analysis, yet most books at this level emphasise just the abstraction and theory. Dr Bryant uses applications to provide motivation and to sustain the development and discusses numerical procedures where appropriate. The reader is expected to have had some exposure to elementary analysis, but the author provides examples throughout to refresh the student's memory and to test and extend understanding. In short, this is an introductory textbook that will appeal to students of mathematics and engineering and will give them the required background for more advanced courses in both analysis and numerical analysis.

This 1985 book comprises the papers presented at the symposium of the Internation Union of Theoretical and Applied Mechanics, Sheffield April 1984, held in memory of the late J. D. Eshelby FRS, Professor of the Theory of Materials at the University of Sheffield. The papers reflect the range of Professor Eshelby's interests. Topics include conservation laws and their applications; inclusions, inhomogeneities and composites; short cracks; the dynamics of dislocations and cracks; dislocations and point defects; and creep fracture. There is also an obituary of Professor Eshelby, together with a complete list of his publications. The 45 papers in this volume provide an international survey of work in the field of deformation and fracture, with theoretical examinations, reports of empirical investigations and descriptions of experimental techniques. It will be of interest to professionals and researchers in the science of materials, mechanics of solids and mechanical engineering and to relat

A comprehensive textbook for undergraduate courses in introductory probability. Offers a case study approach, with examples from engineering and the social and life sciences. Updated second edition in

This new edition of Ahmed and Spreadbury's excellent textbook Electronics for Engineers provides, like the first edition, an introduction to electronic circuits covering the early part of degree level courses in electronics and electrical engineering. The text of the first edition has been entensively revised and supplemented to bring it up to date; two entirely new chapters have been added on the subject of digital electronics. A first chapter on the general principles of signal handling in electronic circuits is followed by descriptions of amplifiers using field-effect and bipolar transistors and integrated circuit op-amps, written from the point of view of the engineering student building up a system. Subsequent chapters discuss the principles of applying negative and positive feedback in amplifiers, leading the reader to the final two chapters covering digital circuits and their applications. All chapters conclude with a solved problem followed by a number of practice questions fro

How can the drag coefficient of a car be reduced? What factors govern the variation in the shape of the Earth's magnetosphere? What is the basis of weather prediction? These are examples of problems that can only be tackled with a sound knowledge of the principles and methods of fluid dynamics. This important discipline has applications which range from the study of the large-scale properties of the galaxies to the design of high precision engineering components. This book introduces the subject of fluid dynamics from the first principles. The first eleven chapters cover all the basic ideas of fluid mechanics, explaining carefully the modelling and mathematics needed. The last six chapters illustrate applications of this material to linearised sound and water waves, to high speed flow of air, to non-linear water waves on channels, and to aerofoil theory. Over 350 diagrams have been used to illustrate key points. Exercises are included to help develop and reinforce the reader's understa

First published in 1983, this textbook introduces the finite-element method as an important general technique in engineering mathematics. It is written for students who have already completed a general course of vector calculus, matrix algebra and partial differential equations. The treatment introduced in this book will provide a secure foundation for more specialised work. Each chapter includes worked examples, many of which contain important applications and generalisations of the ideas in the main body of the text. The book is principally aimed at engineering students.

A 'soliton' is a localized nonlinear wave of permanent form which may interact strongly with other solitons so that when they separate after the interaction they regain their original forms. This textbook is an account of the theory of solitons and of the diverse applications of the theory to nonlinear systems arising in the physical sciences. The essence of the book is an introduction to the method of inverse scattering. Solitary waves, cnoidal waves, conservation laws, the initial-value problem for the Korteweg-de Vries equation, the Lax method, the sine-Gordon equation and Backlund transformations are treated. The book will be useful for research workers who wish to learn about solitons as well as graduate students in mathematics, physics and engineering.

Recent advances in dynamics, with wide applications throughout the sciences and engineering, have meant that a new approach to the subject is needed. Furthermore, the mathematical and scientific background of students has changed in recent years. In this book, the subject of dynamics is introduced at undergraduate level through the elementary qualitative theory of differential equations, the geometry of phrase curves and the theory of stability. Each subject, from the most elementary topic to some important discoveries of recent decades, is introduced through simple examples and illustrated with many diagrams. The text is supplemented with over a hundred exercises. The examples and exercises cover subjects as diverse as mechanics and population dynamics. The mathematical background required of the reader is an understanding of the elementary theory of differential equations and matrix arithmetic. The book will be of interest to second-year and third-year undergraduates at universities,

First published in 1981, this book is an introduction to studies of the behaviour of a wide variety of animals including man, farm animals and pest species. The approach is ethological and much reference is made to detailed description of behaviour and to biological function, although there is extensive reference to physiology, brain mechanisms and relevant psychological research. Ideas from sociobiology, motivation and learning studies are emphasised. There is, therefore, very broad coverage of the role of behaviour in all aspects of life. Another novel feature is the extensive reference to applied aspects of behaviour, particularly its importance to the production of farm animals and the control of agricultural and medical pests. The book is intelligible to the educated layman but it deals with some complex ideas. It is an adequate text for all requirements in this area for most undergraduates.

'Science, Technology, and Society' - STS - has become a major educational theme. There are many courses in schools, universities and other institutions, dealing with all sorts of topics such as the history of science, energy policy, industrial innovation, technology assessment, Third World development, scientific method, and so on. But what is this subject really about? Why should it be taught? Who should study it? What should they learn? How should the subject be approached? Who should teach it? These questions are being asked by both teachers and students in many fields of science, engineering, medicine, social studies, and the humanities. This informal account of the rationale of STS education shows how many diverse factors are involved - the philosophy and sociology of science and education, social and cultural objectives, political ideologies, vocational needs, scholarly standards, institutional capabilities, etc., not to mention the practical realities of teaching and learning at

The use of modelling techniques in the analysis and solution of problems in science and other fields of knowledge is widespread and has often come under intensive scrutiny. This 1978 book concerns the use of models in learning, understanding, and practising chemistry. It will therefore be of interest to chemists, biochemists and chemical engineers in research and industry, and to many students of chemical science. The chemist uses models in his work not only in the material sense, for example molecular models, but also in his patterns of thought, coming to grips with chemistry and its applications through the manipulation of models. The present work outlines the scope of modelling and, from a discussion of the general principles involved, develops themes relevant to both academic and industrial scientists.

Fundamental introduction for beginning student of absolute differential calculus and for those interested in applications of tensor calculus to mathematical physics and engineering. Topics include spa

This book deals with technological innovations of the nineteenth century. In a number of self-contained but related essays it treats the salient aspects of technological change that have interested modern economists and economic historians, as well as historians of technology: economically induced invention and innovation, learning by doing in industrial operations, the diffusion of new production techniques, and the bearing of these upon the growth of a society's productivity. The studies are detailed, in the sense that they focus not upon the economy as a whole, but rather upon the experiences of specific industries, branches of manufacturing, and individual productive units such as the mid-Victorial grain farm and the New England cotton textile mill. They attempt to integrate traditional historical methods and materials with a more explicit reliance on economic theorizing and applications of statistical analysis to test hypotheses.

This volume offers a solid foundation for understanding the most important devices used in the hottest areas of electronic engineering today, from semiconductor fundamentals to state-of-the-art semico

Suitable for a one-semester course in engineering or computer science programs, this text has hardware and software-oriented topics. It uses examples drawn from commercially available computers. The m

Complex Variables is an extended course in complex analysis and its applications for engineering students and for those who use complex analysis in their work. In addition to classical results, it inc