Clojure Programming

Data Analysis Using Regression and Multilevel/Hierarchical Models, first published in 2007, is a comprehensive manual for the applied researcher who wants to perform data analysis using linear and nonlinear regression and multilevel models. The book introduces a wide variety of models, whilst at the same time instructing the reader in how to fit these models using available software packages. The book illustrates the concepts by working through scores of real data examples that have arisen from the authors' own applied research, with programming codes provided for each one. Topics covered include causal inference, including regression, poststratification, matching, regression discontinuity, and instrumental variables, as well as multilevel logistic regression and missing-data imputation. Practical tips regarding building, fitting, and understanding are provided throughout.

Data Analysis Using Regression and Multilevel/Hierarchical Models, first published in 2007, is a comprehensive manual for the applied researcher who wants to perform data analysis using linear and nonlinear regression and multilevel models. The book introduces a wide variety of models, whilst at the same time instructing the reader in how to fit these models using available software packages. The book illustrates the concepts by working through scores of real data examples that have arisen from the authors' own applied research, with programming codes provided for each one. Topics covered include causal inference, including regression, poststratification, matching, regression discontinuity, and instrumental variables, as well as multilevel logistic regression and missing-data imputation. Practical tips regarding building, fitting, and understanding are provided throughout.

What meanings do buildings and places convey to the people who use and visit them? Too often, design competitions and signature architecture result in costly eyesores that do not work. How can sponsors and clients get more meaningful results? In answer to these questions, Dr Nasar, supported by riveting studies of competitions and Peter Eisenman's competition-winning design for the Wexner Center at the Ohio State University, suggests the use of pre-jury evaluation (PJE). He shows the potential value of this approach as well as visual quality programming for many kinds of environmental design for which the client wants to convey certain desirable meanings. The studies, from those specific to the Wexner Center to those covering the scope of history, point to an alternative method for shaping the visual form of buildings, places and cities.

The Elements of C# Style is for all C# practitioners, especially those working in teams where consistency is critical. Like previous Elements titles, the text furnishes a set of rules for writing clear, comprehensible and easy-to maintain code; this time for C#. The authors offer a collection of standards and guidelines for creating solid C# that can save time, effort and expense. The book provides conventions for: • formatting • naming • documentation • programming • packaging for C# 2.0 and includes discussion of advanced topics such as generics.

本書是被譽為UNIX編程“圣經”的Advanced Programming in the UNIX Environment一書的更新版。在本書第1版出版后的十幾年中，UNIX行業已經有了巨大的變化，特別是影響UNIX編程接口的有關標準變化很大。本書在保持了前一版的風格的基礎上，根據最新的標準對內容進行了修訂和增補，反映了最新的技術發展。書中除了介紹UNIX文件和目錄、標準I/O庫、系統數據文件和信

Thoroughly revised for its second edition, this advanced textbook provides an introduction to the basic methods of computational physics, and an overview of progress in several areas of scientific computing by relying on free software available from CERN. The book begins by dealing with basic computational tools and routines, covering approximating functions, differential equations, spectral analysis, and matrix operations. Important concepts are illustrated by relevant examples at each stage. The author also discusses more advanced topics, such as molecular dynamics, modeling continuous systems, Monte Carlo methods, genetic algorithm and programming, and numerical renormalization. It includes many more exercises. This can be used as a textbook for either undergraduate or first-year graduate courses on computational physics or scientific computation. It will also be a useful reference for anyone involved in computational research.

The authoritative reference on NEURON, the simulation environment for modeling biological neurons and neural networks that enjoys wide use in the experimental and computational neuroscience communities. This book shows how to use NEURON to construct and apply empirically based models. Written primarily for neuroscience investigators, teachers, and students, it assumes no previous knowledge of computer programming or numerical methods. Readers with a background in the physical sciences or mathematics, who have some knowledge about brain cells and circuits and are interested in computational modeling, will also find it helpful. The NEURON Book covers material that ranges from the inner workings of this program, to practical considerations involved in specifying the anatomical and biophysical properties that are to be represented in models. It uses a problem-solving approach, with many working examples that readers can try for themselves.

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary

Seismic Ray Theory presents a comprehensive treatment of the seismic ray method. This method plays an important role in seismology, seismic exploration, and in the interpretation of seismic measurements. Many concepts which extend the possibilities and increase the efficiency of the seismic ray method are included. The book has a tutorial character: derivations start with a relatively simple problem, in which the main ideas are easier to explain, and then advance to more complex problems. Most of the derived equations in the book are expressed in algorithmic form and may be used directly for computer programming. This book will prove to be an invaluable advanced textbook and reference volume in all academic institutions in which seismology is taught or researched. It will also be an invaluable resource in the research and exploration departments of the petroleum industry and in geological surveys.

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This 2005 volume, which contains 32 papers on a broad range of topics of interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.

The book provides a description of the Standard ML (SML) Basis Library, the standard library for the SML language. For programmers using SML, it provides a complete description of the modules, types and functions composing the library, which is supported by all conforming implementations of the language. The book serves as a programmer's reference, providing manual pages with concise descriptions. In addition, it presents the principles and rationales used in designing the library, and relates these to idioms and examples for using the library. A particular emphasis of the library is to encourage the use of SML in serious system programming. Major features of the library include I/O, a large collection of primitive types, support for internationalization, and a portable operating system interface. This manual will be an indispensable reference for students, professional programmers, and language designers.

This book offers a unique insight into a revolution in software development that allows model specifications to be fully and efficiently translated into code. Using the most widely adopted, industry standard, software modelling language, UML, the reader will learn how to build robust specifications based on OMG's Model Driven Architecture (MDA). From there, the authors describe the steps needed to translate the Executable UML (xUML) models to any platform-specific implementation. The benefits of this approach go well beyond simply reducing or eliminating the coding stage - it also ensures platform independence, avoids obsolescence (programming languages may change, the model doesn't) and allows full verification of the models by executing them in a test and debug xUML environment. This is an excellent reference for anyone embarking on what is surely the future of software development for medium and large scale projects.

The Elements of C++ Style, first published in 2004, is for all C++ practitioners, especially for those working in teams where consistency is critical. Just as Strunk and White's The Elements of Style provides rules of usage for writing in the English language, this text furnishes a set of rules for writing in C++. The authors offer a collection of standards and guidelines for creating solid C++ code that will be easy to understand, enhance and maintain. The book provides conventions for: • formatting • naming • documentation • programming • and packaging for the latest ANSI standard of C++, and also includes discussion of advanced topics such as templates.

The essays in this collection cover the whole range of Irish drama from the late nineteenth-century melodramas which anticipated the rise of the Abbey Theatre to the contemporary Dublin of theatre festivals. A team of international experts from Ireland, the UK, the USA and Europe provide individual studies of internationally known playwrights of the period of the Literary Revival - Yeats, Synge, Lady Gregory, Shaw, Wilde, O'Casey - and contemporary playwrights Brian Friel, Tom Murphy, Frank McGuiness and Sebastian Barry, in addition to emerging playwrights such as Martin McDonagh and Marina Carr. Further to studies of individual playwrights the collection also includes examination of the relationship between the theatre and its political context as this is inflected through its ideology, staging and programming. With a full chronology and bibliography, this collection is an indispensable introduction to one of the world's most vibrant theatre cultures.

本書對Brain W. Kernighan和Dennis M. Ritchie所著的《The C Programming Language》（第2版）的所有練習題都進行了解答。K&R的原著是C語言方面的經典教材，而這本與之配套的習題解答將幫助您更加深入地理解 C語言并掌握良好的C語言編程技能。本書有關練習題都是用K&R原著中當時已經介紹過的語言結構來解答的，對每道練習題的答案要點都給予了清晰的解釋

Numerical algorithms, modern programming techniques, and parallel computing are often taught serially across different courses and different textbooks. The need to integrate concepts and tools usually comes only in employment or in research - after the courses are concluded - forcing the student to synthesise what is perceived to be three independent subfields into one. This book provides a seamless approach to stimulate the student simultaneously through the eyes of multiple disciplines, leading to enhanced understanding of scientific computing as a whole. The book includes both basic as well as advanced topics and places equal emphasis on the discretization of partial differential equations and on solvers. Some of the advanced topics include wavelets, high-order methods, non-symmetric systems, and parallelization of sparse systems. The material covered is suited to students from engineering, computer science, physics and mathematics.

This text describes in practical terms how to use a desk-top computer to monitor and control laboratory experiments. The author clearly explains how to design electronic circuits and write computer programs to sense, analyse and display real-world quantities, including displacement, temperature, force, sound, light, and biomedical potentials. The book includes numerous laboratory exercises and appendices that provide practical information on microcomputer architecture and interfacing, including complete circuit diagrams and component lists. Topics include analog amplification and signal processing, digital-to-analog and analog-to-digital conversion, electronic sensors and actuators, digital and analog interfacing circuits, and programming. Only a very basic knowledge of electronics is assumed, making it ideal for college-level laboratory courses and for practising engineers and scientists.

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.

Information content and programming semantics are just two of the applications of the mathematical concepts of order, continuity and domains. The authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices. Uniquely, they focus on partially ordered sets that have an extra order relation, modelling the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology. Extensive use is made of topological ideas, both by defining useful topologies on the structures themselves and by developing close connections with numerous aspects of topology. The theory so developed not only has applications to computer science but also within mathematics to such areas as analysis, the spectral theory of algebras and the theory of computability. This authoritative, comprehensive account of the subject will be e

This book introduces a new, unique, and far-reaching industry technology, Business Service Orchestration (BSO). BSO encompasses the art of orchestrating the interactions between business services. These business services may represent internal business processes of organizations. Integration of many of these internal legacy, custom and COTS applications may, in turn, create these services. This book focuses on the importance of orchestration and how it enables IT professionals to develop and design highly effective and efficient business systems of the future. The book is divided into three major sections. Section I provides a detailed overview of business services and their orchestration and describes an in-depth architecture necessary to provide a web of business services, and orchestration of their interactions, including a methodology for modeling the BSO. Section II focuses on technologies necessary to orchestrate business services, ranging from component models to programming lan

This book explains the financial appraisal of capital budgeting projects. The coverage extends from the development of basic concepts, principles and techniques to the application of them in increasingly complex and real-world situations. Identification and estimation (including forecasting) of cash flows, project appraisal formulae, and the application of net present value (NPV), internal rate of return (IRR) and other project evaluation criteria are illustrated with a variety of calculation examples. Risk analysis is extensively covered by the use of risk adjusted discount rate, certainty equivalent, sensitivity, simulation and Monte Carlo analysis. The NPV and IRR models are further applied to forestry, property and international investments. Resource constraints are introduced to the capital budgeting decisions with a variety of worked examples using linear programming technique. All calculations are extensively supported by Excel workbooks on the Web, and each chapter is well revi

This book explains the financial appraisal of capital budgeting projects. The coverage extends from the development of basic concepts, principles and techniques to the application of them in increasingly complex and real-world situations. Identification and estimation (including forecasting) of cash flows, project appraisal formulae, and the application of net present value (NPV), internal rate of return (IRR) and other project evaluation criteria are illustrated with a variety of calculation examples. Risk analysis is extensively covered by the use of risk adjusted discount rate, certainty equivalent, sensitivity, simulation and Monte Carlo analysis. The NPV and IRR models are further applied to forestry, property and international investments. Resource constraints are introduced to the capital budgeting decisions with a variety of worked examples using linear programming technique. All calculations are extensively supported by Excel workbooks on the Web, and each chapter is well revi

The discrepancy method is the glue that binds randomness and complexity. It is the bridge between randomized computation and discrepancy theory, the area of mathematics concerned with irregularities in distributions. The discrepancy method has played a major role in complexity theory; in particular, it has caused a mini-revolution of sorts in computational geometry. This book tells the story of the discrepancy method in a few short independent vignettes. It is a varied tale which includes such topics as communication complexity, pseudo-randomness, rapidly mixing Markov chains, points on the sphere and modular forms, derandomization, convex hulls, Voronoi diagrams, linear programming and extensions, geometric sampling, VC-dimension theory, minimum spanning trees, linear circuit complexity, and multidimensional searching. The mathematical treatment is thorough and self-contained. In particular, background material in discrepancy theory is supplied as needed. Thus the book should appeal t

本書為 翡雷亞 醫師 近35年的催眠、無語言溝通及心理醫療經驗的結晶，其中所包含東西方之宗教智慧，心理醫療，哲學，溝通學等，與數多專家學者研究發展而編輯成此書。譯述者 兼 台北CNV-HD催眠中心的負責人 鞠紫嘉 老師，於編輯翻譯此書時更加入NLP（Neuro Linguistic Programming）的概念，使得催眠史的兩大主流能夠在此會合。 本書的架構：作者將本書分為理論及技

Numerical analysis is an increasingly important link between pure mathematics and its application in science and technology. This textbook provides an introduction to the justification and development of constructive methods that provide sufficiently accurate approximations to the solution of numerical problems, and the analysis of the influence that errors in data, finite-precision calculations, and approximation formulas have on results, problem formulation and the choice of method. It also serves as an introduction to scientific programming in MATLAB, including many simple and difficult, theoretical and computational exercises. A unique feature of this book is the consequent development of interval analysis as a tool for rigorous computation and computer assisted proofs, along with the traditional material.

Seismic Ray Theory presents a comprehensive treatment of the seismic ray method. This method plays an important role in seismology, seismic exploration, and in the interpretation of seismic measurements. Many concepts which extend the possibilities and increase the efficiency of the seismic ray method are included. The book has a tutorial character: derivations start with a relatively simple problem, in which the main ideas are easier to explain, and then advance to more complex problems. Most of the derived equations in the book are expressed in algorithmic form and may be used directly for computer programming. This book will prove to be an invaluable advanced textbook and reference volume in all academic institutions in which seismology is taught or researched. It will also be an invaluable resource in the research and exploration departments of the petroleum industry and in geological surveys.

A comprehensive, self-contained survey of the theory and applications of differential games, one of the most commonly used tools for modelling and analysing economics and management problems which are characterised by both multiperiod and strategic decision making. Although no prior knowledge of game theory is required, a basic knowledge of linear algebra, ordinary differential equations, mathematical programming and probability theory is necessary. Part One presents the theory of differential games, starting with the basic concepts of game theory and going on to cover control theoretic models, Markovian equilibria with simultaneous play, differential games with hierarchical play, trigger strategy equilibria, differential games with special structures, and stochastic differential games. Part Two offers applications to capital accumulation games, industrial organization and oligopoly games, marketing, resources and environmental economics.

Schools and Delinquency, first published in 2001, provides a comprehensive review and critique of the current research about the causes of delinquency, substance use, drop-out, and truancy, and the role of the school in preventing these behavior patterns. Examining school-based prevention programs and practices for grades K-12, Denise Gottfredson identifies a broad array of effective strategies improving the school environment, as well as some that specifically target youths at risk of developing problem behaviors. She also explains why several popular school-based prevention strategies are ineffective and should be abandoned. Gottfredson analyzes, within the larger context of the community, the special challenges to effective prevention programming that arise in disorganized settings, identifying ways to overcome these obstacles and to make the most troubled schools safer and more productive environments.

Written for a broad audience of students in mathematics, computer science, operations research, statistics, and engineering, this textbook presents a short, lively survey of several fascinating non-calculus topics in modern applied mathematics. Coverage includes probability, mathematical finance, graphs, linear programming, statistics, computer science algorithms, and groups. A key feature is the abundance of interesting examples not normally found in standard finite mathematics courses, such as options pricing and arbitrage, tournaments, and counting formulas. The author assumes a level of mathematical sophistication at the beginning calculus level, that is, students should have had at least a course in pre-calculus, and the added sophistication attained from studying calculus would be useful.

The discrepancy method is the glue that binds randomness and complexity. It is the bridge between randomized computation and discrepancy theory, the area of mathematics concerned with irregularities in distributions. The discrepancy method has played a major role in complexity theory; in particular, it has caused a mini-revolution of sorts in computational geometry. This book tells the story of the discrepancy method in a few short independent vignettes. It is a varied tale which includes such topics as communication complexity, pseudo-randomness, rapidly mixing Markov chains, points on the sphere and modular forms, derandomization, convex hulls, Voronoi diagrams, linear programming and extensions, geometric sampling, VC-dimension theory, minimum spanning trees, linear circuit complexity, and multidimensional searching. The mathematical treatment is thorough and self-contained. In particular, background material in discrepancy theory is supplied as needed. Thus the book should appeal t

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

This book is on existence and necessary conditions, such as Potryagin's maximum principle, for optimal control problems described by ordinary and partial differential equations. These necessary conditions are obtained from Kuhn–Tucker theorems for nonlinear programming problems in infinite dimensional spaces. The optimal control problems include control constraints, state constraints and target conditions. Evolution partial differential equations are studied using semigroup theory, abstract differential equations in linear spaces, integral equations and interpolation theory. Existence of optimal controls is established for arbitrary control sets by means of a general theory of relaxed controls. Applications include nonlinear systems described by partial differential equations of hyperbolic and parabolic type and results on convergence of suboptimal controls.

What meanings do buildings and places convey to the people who use and visit them? Too often, design competitions and signature architecture result in costly eyesores that do not work. How can sponsors and clients get more meaningful results? In answer to these questions, Dr Nasar, supported by riveting studies of competitions and Peter Eisenman's competition-winning design for the Wexner Center at the Ohio State University, suggests the use of pre-jury evaluation (PJE). He shows the potential value of this approach as well as visual quality programming for many kinds of environmental design for which the client wants to convey certain desirable meanings. The studies, from those specific to the Wexner Center to those covering the scope of history, point to an alternative method for shaping the visual form of buildings, places and cities.

Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This 1998 book contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments reflected by the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labelling techniques for confluence properties

This book provides an integrated treatment of the theory of nonnegative matrices (matrices with only positive numbers or zero as entries) and some related classes of positive matrices, concentrating on connections with game theory, combinatorics, inequalities, optimisation and mathematical economics. The wide variety of applications, which include price fixing, scheduling and the fair division problem, have been carefully chosen both for their elegant mathematical content and for their accessibility to students with minimal preparation. Many results in matrix theory are also presented. The treatment is rigorous and almost all results are proved completely. These results and applications will be of great interest to researchers in linear programming, statistics and operations research. The minimal prerequisites also make the book accessible to first-year graduate students.

The starting point of this book is Sperner's theorem, which answers the question: What is the maximum possible size of a family of pairwise (with respect to inclusion) subsets of a finite set? This theorem stimulated the development of a fast growing theory dealing with external problems on finite sets and, more generally, on finite partially ordered sets. This book presents Sperner theory from a unified point of view, bringing combinatorial techniques together with methods from programming, linear algebra, Lie-algebra representations and eigenvalue methods, probability theory, and enumerative combinatorics. Researchers and graduate students in discrete mathematics, optimisation, algebra, probability theory, number theory, and geometry will find many powerful new methods arising from Sperner theory.

Computers are developing into a powerful medium integrating film, pictures, text and sound, and the use of computers for communication and information is rapidly expanding. The Computer as Medium brings insights from art, literature and theatre to bear on computers and discusses the communicative and organizational nature of computer networks within a historical perspective. The book consists of three parts. The first part characterizes the semiotic nature of computers and discusses semiotic approaches to programming and interface design. The second part discusses narrative and aesthetic issues of interactive fiction, information systems and hypertext. The final part contains papers on the cultural, organizational and historical impact of computers.The broad and rich coverage of this book will appeal to scholars in cognitive science, computer science, linguistics, semiotics, media studies and mass communications, cultural studies and education.