Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book contains revised versions of papers presented on scientific workshop Modeling multi-commodity trade : information exchange methods, which took place in November 2010 at Warsaw University of Technology. It summarizes results of the research work supported so far by scientific grant methods and architectures of information interchange for electronic trade on infrastructural markets (see page xi), and some earlier research work on multi-commodity markets modeling. Though partial results of the research were published earlier, the book gives the most complete view on results of our research in the field of modeling the trade on complex multi-commodity infrastructural markets."

"Matrix analytic methods are popular as modeling tools because they give one the ability to construct and analyze a wide class of queuing models in a unified and algorithmically tractable way. The authors present the basic mathematical ideas and algorithms of the matrix analytic theory in a readable, up-to-date, and comprehensive manner. In the current literature, a mixed bag of techniques is used-some probabilistic, some from linear algebra, and some from transform methods. Here, many new proofs that emphasize the unity of the matrix analytic approach are included. The authors begin by describing several examples of quasi-birth-and-death (QBD) processes. These examples give the reader an idea of the variety of models which are hidden by the general block notation as well as reinforce some of the terminology and notation used throughout the text. These same examples are used as illustrations later. The second part of the book deals with phase-type distributions and related-point processes, which provide a versatile set of tractable models for applied probability. Part three reviews birth-and-death processes, and points out that the arguments for these processes carry over to more general processes in a parallel manner and are based on Markov renewal theory. Part four covers material where algorithmic and probabilistic reasoning are most intimately connected. In three steps, the authors take you from one of the simplest iterative procedures to the fastest, relating the successive approximations to the dynamic behavior of the stochastic process itself. The final part goes beyond simple QBDs with a sequence of short chapters where the authors discuss various extensions to the analyzed processes. Their intention is to show that the fundamental ideas extend beyond simple homogeneous QBD."

"This book reviews operations research theory, applications and practice in airline planning and operations. It examines the business and technical landscape, details best practices, and identifies open questions and areas for future research.;"

"The book offers a quick-start into model-based business process engineering. After that, the foundations of the modeling languages used are conveyed. Meaningful examples are in the foreground, each of the underlying formalisms is treated only as far as needed. Next the Horus Method is described in detail. The book defines a sequence of activities which finally leads to the creation of a complete business process model. The Horus Method, incidentally, is not bound to the use of the Horus software tools. It can be used with other tools or, if necessary, be used even without tool support. Important application fields of business process engineering are described, where the spectrum ranges from business process reengineering to the development and implementation of information systems. The book concludes with an outlook on the future of business process engineering and highlights current research activities in the area."

"Developments in molecular modeling from experimental and computational techniques have enabled a wide range of biological applications. This timely summary reflects the recent advances in bridging novel algorithms and high performance computing with characterization of important biological processes, such as folding dynamics of key proteins. It encompasses the perspectives of leading experts on this transformation in molecular biology, illustrating with state of the art examples how molecular modeling approaches are being applied to critical questions in modern quantitative biology"