الصفحة 81
الصفحة 81
A Problem-based Approach for Management Education : Preparing Managers for Action
This book is designed to provide both novice and experienced users of PBL with resources for designing and implementing problem-based management education. The book provides the novice with useful theoretical and practical background on how to design a PBL curriculum, use PBL in a classroom, and develop PBL materials. At the same time, the book will challenge experienced users of PBL and case teaching to extend their applications through the use of learning technologies and more systematic approaches to assessment and curriculum design. Finally, the volume includes a set of sample PBL materials that provide readers with in-dept examples of what a PBL unit looks like and how it may be employed in the classroom.
A Primer for the Exercise and Nutrition Sciences : Thermodynamics, Bioenergetics, Metabolism
Provides a fresh approach to the study of energy expenditure by introducing the latest concepts in open system thermodynamics and cellular to whole-body energy exchange. A journey is undertaken by the reader, beginning with what energy is and where the energy in glucose is found, and ending with the concept of high versus low intensity exercise in augmenting weight loss.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A Practical Guide to TPM 2.0 : Using the New Trusted Platform Module in the New Age of Security
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp the reader up quickly and keep their interest.A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security explains security concepts, describes the TPM 2.0 architecture, and provides code and pseudo-code examples in parallel, from very simple concepts and code to highly complex concepts and pseudo-code.
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide shows how to use the language to solve real verification problems. It examines how to verify complex protocols and memories using SVA with seeral examples.
A Platform-Centric Approach to System-on-Chip (SOC) Design
The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan for its implementation. The proposed plan allows component vendors, system integrators and product developers to collaborate effectively and efficiently to create complex products within budget and schedule constraints.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
A Modern Approach to Intelligent Animation : Theory and Practice
Part of the new series, Advanced Topics in Science and Technology in China, this book discusses concepts, theory, and core technologies of intelligent theory and human animation, including video based human animation, and intelligent technology of motion data management and reusing. It introduces systems developed to demonstrate the technologies of video based animation. Each chapter is independent. Lively pictures and demos will be presented to make the theory and technologies more understandable.
A Matrix Algebra Approach to Artificial Intelligence
The book consists of two parts: the first discusses the fundamentals of matrix algebra in detail, while the second focuses on the applications of matrix algebra approaches in AI. Highlighting matrix algebra in graph-based learning and embedding, network embedding, convolutional neural networks and Pareto optimization theory, and discussing recent topics and advances, the book offers a valuable resource for scientists, engineers, and graduate students in various disciplines
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction to systems theory with an emphasis on control. The material presented is broad enough to give the reader a clear picture of the dynamical behavior of linear systems as well as their advantages and limitations. Fundamental results and topics essential to linear systems theory are emphasized. The emphasis is on time-invariant systems, both continuous- and discrete-time.
A life cycle for clusters? : The dynamics of agglomeration, change, and adaption
The phenomenon of non-random spatial concentrations of firms in one or few related sectors (clusters) is intensively debated in economic theory and policy. The euphoria about successful clusters however neglects that historically, many thriving clusters did deteriorate into old industrial areas. This book studies the determinants of cluster survival by analyzing their adaptability to change in the economic environment. Linking theoretic knowledge with empirical observations, a simulation model (based in the N/K method) is developed, which explains when and why the cluster's architecture assists or hampers adaptability. It is found that architectures with intermediate degrees of division of labour and more collective governance forms foster adaptability. Cluster development is thus path dependent as architectures having evolved over time impact on the likelihood of future survival.
A Legacy for Living Systems : Gregory Bateson as Precursor to Biosemiotics
This book represents a major attempt to revise this deficiency. Scholars from ecology, biochemistry, evolutionary biology, cognitive science, anthropology and philosophy discuss how Bateson's thinking might lead to a fruitful reframing of central problems in modern science. Most important perhaps, Bateson's bioanthropology is shown to play a key role in developing the set of ideas explored in the new field of biosemiotics. The idea that organismic life is indeed basically semiotic or communicative lies at the heart of the biosemiotic approach to the study of life.The only book of its kind, this volume provides a key resource for the quickly-growing substratum of scholars in the biosciences, philosophy and medicine who are seeking an elegant new approach to exploring highly complex systems.
A Language of Contemporary Architecture : An Index of Topology and Typology
Provides an index of ideas, theories, projects, and definitions that string into a methodology for evaluating the contemporary language of architecture described as “contemporism” through a review of topology (form) and typology (system and elements). Trying to answer the postmodern question of how to move beyond modernism through a thread of architectural styles that tried to respond to deficiencies from the modern promise and contextual changes. Yet, the question remains, should this ongoing struggle to move beyond modernism be a stylistic battle? Has the present architectural practice ever left the modernist tendencies, and is there a structure for a contemporary language in architecture?. Presents a collection of highly illustrated projects that have worked under these parameters to break away from modernism in order to present a holistic integration of topology and typology as a language for “contemporism.” The index is illustrated with individual spreads, which can be read sequentially or independently, and encourages the reader to make their own connections. It also includes interviews and contributions from Toyo Ito, Anthony Vidler, Ben van Berkel, Christian Kerez, and Greg Lynn.
A journey of embedded and cyber-physical systems : Essays dedicated to Peter Marwedel on the occasion of his 70th birthday
This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday.
A History of Thermodynamics : The Doctrine of Energy and Entropy
The development of thermodynamics in the second half of the 19th century has had a strong impact on both technology and natural philosophy. It is true that the steam engine for the conversion of heat into work existed before thermodynamics was developed as a branch of physics. However, the systematic theory improved the conversion process, and it succeeded in developing other processes essential to modern life, notably refrigeration and rectification. So, altogether thermodynamics has provided humanity with cheap energy, and cheap fuel, -- consequently with cheap, and abundant, and unspoiled food. Thus thermodynamics has made populations grow, and life expectancy increase beyond anything people could possibly have imagined 200 years ago.
A History of Atmospheric CO2 and Its Effects on Plants, Animals, and Ecosystems
The authors address the future role of atmospheric CO2 and its likely effects on ecosystems. This book incorporates the advances of various earth science, environmental, and ecological fields into an overall account of global change and the changing dynamics of life on Earth.
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A healthcare professionals training system
The Objective Structured Clinical Examination (OSCE) is a type of examination often used in health sciences. It is designed to test clinical skill performance and competence in a range of skills. It is a practical, real-world approach to learning and assessment. Comprises a circuit of short (5-10 minutes) stations, in which each candidate is examined on a one-to-one basis with one or two impartial examiner(s) and patients who are either real or simulated (actors or electronic patient simulators). Each station has a different examiner; in comparison, the traditional method of clinical examination is when a candidate is assigned to an examiner for the entire examination.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
A Dressing Method in Mathematical Physics
The monograph is devoted to the systematic presentation of the so called "dressing method" for solving differential equations (both linear and nonlinear) of mathematical physics. The essence of the dressing method consists in a generation of new non-trivial solutions of a given equation from (maybe trivial) solution of the same or related equation.
