Computer Arithmetic and Validity: Theory, Implementation, and Applications, Ulrich Kulisch
Автор: Darlington Richard B., Hayes Andrew F. Название: Regression Analysis and Linear Models: Concepts, Applications, and Implementation ISBN: 1462521134 ISBN-13(EAN): 9781462521135 Издательство: Taylor&Francis Рейтинг: Цена: 83690.00 T Наличие на складе: Невозможна поставка. Описание: Ephasizing conceptual understanding over mathematics, this user-friendly text introduces linear regression analysis to students and researchers across the social, behavioral, consumer, and health sciences. Coverage includes model construction and estimation, quantification and measurement of multivariate and partial associations, statistical control, group comparisons, moderation analysis, mediation and path analysis, and regression diagnostics, among other important topics. Engaging worked-through examples demonstrate each technique, accompanied by helpful advice and cautions. The use of SPSS, SAS, and STATA is emphasized, with an appendix on regression analysis using R. The companion website (www.afhayes.com) provides datasets for the book`s examples as well as the RLM macro for SPSS and SAS. Pedagogical Features: *Chapters include SPSS, SAS, or STATA code pertinent to the analyses described, with each distinctively formatted for easy identification. *An appendix documents the RLM macro, which facilitates computations for estimating and probing interactions, dominance analysis, heteroscedasticity-consistent standard errors, and linear spline regression, among other analyses. *Students are guided to practice what they learn in each chapter using datasets provided online. *Addresses topics not usually covered, such as ways to measure a variable`s importance, coding systems for representing categorical variables, causation, and myths about testing interaction.
Автор: Cook Wade D., Zhu Joe Название: Modeling Performance Measurement / Applications and Implementation Issues in DEA ISBN: 038724137X ISBN-13(EAN): 9780387241371 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Modeling Performance Measurement: Applications and Implementation Issues in DEA presents unified results from several authors’ recent DEA research. These new DEA methodology and techniques are developed in application-driven scenarios that go beyond the identification of the best-practice frontier and seek solutions to aid managerial decisions. These new DEA developments are well-grounded in real world applications. Both DEA researchers and practitioners will find this book helpful. Theory is provided for DEA researchers for further development and possible extensions. However, it should also be mentioned that each theory is presented in practical terms with numerical examples, simple real management cases and verbal descriptions. These concrete examples will be of value to researchers, students, and practitioners.
Автор: Mats G. Larson; Fredrik Bengzon Название: The Finite Element Method: Theory, Implementation, and Applications ISBN: 3642447112 ISBN-13(EAN): 9783642447112 Издательство: Springer Рейтинг: Цена: 60550.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Introducing the finite element method as a general computational method for solving partial differential equations approximately, this book goes on to cover important applications including diffusion and transport phenomena, solid and fluid mechanics and more.
Автор: William E. Schiesser Название: PDE Models for Atherosclerosis Computer Implementation in R ISBN: 1681734435 ISBN-13(EAN): 9781681734439 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 61910.00 T Наличие на складе: Невозможна поставка. Описание: Thirty-seven-year-old piano teacher Camille Childs is a lost soul who is seeking recognition through her star student-so when her student unexpectedly leaves California to return to her village in Oaxaca, Mexico, Camille follows her. There, Camille meets Alejandro, a Zapotec man who helps her navigate the unfamiliar culture of Oaxaca and teaches her to view the world in a different light.
Автор: William E. Schiesser Название: PDE Models for Atherosclerosis Computer Implementation in R ISBN: 1681734451 ISBN-13(EAN): 9781681734453 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 82230.00 T Наличие на складе: Невозможна поставка. Описание: Atherosclerosis is a pathological condition of the arteries in which plaque buildup and stiffening (hardening) can lead to stroke, myocardial infarction (heart attacks), and even death. Cholesterol in the blood is a key marker for atherosclerosis, with two forms: (1) LDL - low density lipoproteins and (2) HDL - high density lipoproteins. Low LDL and high HDL concentrations are generally considered essential for limited atherosclerosis and good health.This book pertains to a mathematical model for the spatiotemporal distribution of LDL and HDL in the arterial endothelial inner layer (EIL, intima). The model consists of a system of six partial differential equations (PDEs) with the dependent variables1. concentration of modified LDL2. ℎ concentration of HDL3. concentration of chemoattractants4. concentration of ES cytokines5. density of monocytes/macrophages6. density of foam cells and independent variables1. distance from the inner arterial wall2. timeThe focus of this book is a discussion of the methodology for placing the model on modest computers for study of the numerical solutions. The foam cell density as a function of the bloodstream LDL and HDL concentrations is of particular interest as a precursor for arterial plaque formation and stiffening.The numerical algorithm for the solution of the model PDEs is the method of lines (MOL), a general procedure for the computer-based numerical solution of PDEs. The MOL coding (programming) is in R, a quality, open-source scientific computing system that is readily available from the Internet. The R routines for the PDE model are discussed in detail, and are available from a download link so that the reader/analyst/researcher can execute the model to duplicate the solutions reported in the book, then experiment with the model, for example, by changing the parameters (constants) and extending the model with additional equations.
Автор: Li Название: Advanced Design and Implementation of Virtual Machine ISBN: 146658260X ISBN-13(EAN): 9781466582606 Издательство: Taylor&Francis Рейтинг: Цена: 107190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.
Автор: C.J. Mode Название: Stochastic Processes in Demography and Their Computer Implementation ISBN: 3642823246 ISBN-13(EAN): 9783642823244 Издательство: Springer Рейтинг: Цена: 88500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: According to a recent report of the United States Census Bureau, world population as of June 30, 1983, was estimated at about 4. Another way of viewing the yearly increase in world population is to compare it to 234 million, the estimated current population of the United States.
Автор: Elhadj, Zeraoulia (university Of Tebessa, Algeria) Название: Theories and applications ISBN: 0367137046 ISBN-13(EAN): 9780367137045 Издательство: Taylor&Francis Рейтинг: Цена: 224570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents the latest investigations in the theory of chaotic systems and their dynamics. It covers some theoretical aspects of the subject arising in the study of both discrete and continuous-time chaotic dynamical systems. The book presents the state-of-the-art of the more advanced studies of chaotic dynamical systems.
Автор: Xiao-Jun Yang Название: General Fractional Derivatives: Theory, Methods and Applications ISBN: 1138336165 ISBN-13(EAN): 9781138336162 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Невозможна поставка. Описание: This book gives a basic introduction to the newly-established general fractional calculus and applications in the fields of physical sciences and engineering sciences. Chapters are self-contained, read independently and consider the new concept of general fractional calculus.
Автор: Sylvie, Boldo Название: Computer arithmetic and Formal Proofs ISBN: 1785481126 ISBN-13(EAN): 9781785481123 Издательство: Elsevier Science Рейтинг: Цена: 150470.00 T Наличие на складе: Поставка под заказ. Описание:
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq formalization of floating-point arithmetic and some methods to automate theorem proofs. It then presents the specification and verification of various algorithms, from error-free transformations to a numerical scheme for a partial differential equation. The examples cover not only mathematical algorithms but also C programs as well as issues related to compilation.
Universal Access to Smart Environments and Ambient Assisted Living.- Universal Access to Learning and Education.- Universal Access to Text, Books, eBooks and Digital Libraries.- Health, Well-Being, Rehabilitation and Medical Applications.- Access to Mobile Interaction.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
