Sebanyak 362 item atau buku ditemukan

Partial Differential Equations

This text gathers, revises and explains the newly developed Adomian decomposition method along with its modification and some traditional techniques.

This text gathers, revises and explains the newly developed Adomian decomposition method along with its modification and some traditional techniques.

Partial Differential Equations and Solitary Waves Theory

"Partial Differential Equations and Solitary Waves Theory" is a self-contained book divided into two parts: Part I is a coherent survey bringing together newly developed methods for solving PDEs. While some traditional techniques are presented, this part does not require thorough understanding of abstract theories or compact concepts. Well-selected worked examples and exercises shall guide the reader through the text. Part II provides an extensive exposition of the solitary waves theory. This part handles nonlinear evolution equations by methods such as Hirota’s bilinear method or the tanh-coth method. A self-contained treatment is presented to discuss complete integrability of a wide class of nonlinear equations. This part presents in an accessible manner a systematic presentation of solitons, multi-soliton solutions, kinks, peakons, cuspons, and compactons. While the whole book can be used as a text for advanced undergraduate and graduate students in applied mathematics, physics and engineering, Part II will be most useful for graduate students and researchers in mathematics, engineering, and other related fields. Dr. Abdul-Majid Wazwaz is a Professor of Mathematics at Saint Xavier University, Chicago, Illinois, USA.

While some traditional techniques are presented, this part does not require thorough understanding of abstract theories or compact concepts. Well-selected worked examples and exercises shall guide the reader through the text.

Family Kitchen Gardener Containing Plans & Accurate Descriptions of All the Different Species and Varieties of Culinary Vegetables; With Their Botanic

Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.

We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.

Verification of Concurrent Programs. Part II. Temporal Proof Principles

In this paper, the second of a series on the application of temporal logic to concurrent programs, we present proof methods for establishing invariance (safety) and eventuality (liveness) properties. The proof principle for establishing invariance properties is based on computational induction, and is a generalization of the inductive assertion method. For a restricted class of concurrent programs we present an algorithm for the automatic derivation of invariant assertions. In order to establish eventuality properties we present several proof principles that translate the structure of the program into basic temporal statements about its behavior. These principles can be viewed as providing the temporal semantics of the program. The basic statements thus derived are then combined into temporal proofs for the establishment of eventuality properties.

In this paper, the second of a series on the application of temporal logic to concurrent programs, we present proof methods for establishing invariance (safety) and eventuality (liveness) properties.

Distinctive Distance Education Design: Models for Differentiated Instruction

Models for Differentiated Instruction

"This book presents a tool to assist in the planning, conducting and evaluation of online learning, providing a way of understanding the course development and design process, drawing upon the research and theory foundations of distance education"--Provided by publisher.

Designing effective educational courses is a critical processin much human
learning. Human learning actually occurs from a combination of both planned
and unplanned educational experiences. Unplanned learning, also called
incidental learning, occurs when the learneris actually focused on another
objective than learning and in the process gains unsought insight that increases
professional competency. For example, a learner's goal might be watching a play
for entertainment ...

Measurement, Statistics, and Research Design in Physical Education and Exercise Science: Current Issues and Trends

A Special Issue of Measurement in Physical Education and Exercise Science

This inaugural issue is devoted to exploring measurement, research design, and statistics issues in six subdisciplines of exercise and sport science. Originally presented at the Eighth Measurement and Evaluation Symposium, all papers in this issue reflect the work of many renowned measurement specialists and content experts in their respective fields. The articles discuss the following topics: * standards of assessment quality for physical educators and the problem of providing adequate assessment without adequate resources; * the importance of properly conceptualizing and defining appropriate research questions as the "source and solution" for measurement and design issues in reference to motor learning/control and sport and exercise psychology; * the study of individuals -- single-subject and other small-sample designs -- in contrast to the more traditional study of groups; and * the importance of computing and reporting statistical power in research.

Why a measurement journal in physical education and exercise science? All
good measurement techniques and tools currently in use within physical
education and exercise science ultimately resulted from quality measurement
research. The question arose, “Where can measurement research be published?
” Although some publications contain information about measurement research,
they are very spe— cific to certain content areas. Because most measurement
research in ...

Designing Concurrent, Distributed, and Real-time Applications with UML

In this book, renowned real-time software expert Hassan Gomaa adapts UML to the unique needs of the concurrent, distributed, and real-time applications -- helping developers leverage the powerful flexibility, reliability, and time-to-market benefits associated with UML. Gomaa starts by reviewing the key issues and concepts associated with analysis and design of distributed and real-time applications -- focusing not only on standard object-oriented concepts such as information hiding, classes, and inheritance, but also specialized issues such as finite state machines, concurrent tasks, and real-time scheduling. Next, he introduces the COMET (Concurrent Object Modeling and Architectural Design) Method, a UML-based object-oriented analysis and design method specifically created for concurrent, distributed, and real-time applications. The book presents detailed structuring criteria that assist the designer at every stage of the analysis and design process, and offers exceptional insight into dynamic modeling, concurrency, distributed application design, and performance analysis of real-time designs. Gomaa concludes with several detailed case studies covering a broad range of applications, including systems for banking, e-Commerce, cruise control, factory automation, and more.

In this book, renowned real-time software expert Hassan Gomaa adapts UML to the unique needs of the concurrent, distributed, and real-time applications -- helping developers leverage the powerful flexibility, reliability, and time-to-market ...