Annales Societatis Mathematicae Polonae
Author: Polskie Towarzystwo Matematyczne
Publisher:
Published: 2001
Total Pages: 808
ISBN-13:
DOWNLOAD EBOOKPosts
Commentationes mathematicae
Author:
Publisher:
Published: 2005
Total Pages: 566
ISBN-13:
DOWNLOAD EBOOKAdvances in Petri Nets 1987
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
Published: 1987-06-22
Total Pages: 466
ISBN-13: 9783540180869
DOWNLOAD EBOOKThe aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.
Hybrid Predictive Control for Dynamic Transport Problems
Author: Alfredo Nunez
Publisher: Springer Science & Business Media
Published: 2012-10-04
Total Pages: 183
ISBN-13: 1447143507
DOWNLOAD EBOOKHybrid Predictive Control for Dynamic Transport Problems develops methods for the design of predictive control strategies for nonlinear-dynamic hybrid discrete-/continuous-variable systems. The methodology is designed for real-time applications, particularly the study of dynamic transport systems. Operational and service policies are considered, as well as cost reduction. The control structure is based on a sound definition of the key variables and their evolution. A flexible objective function able to capture the predictive behaviour of the system variables is described. Coupled with efficient algorithms, mainly drawn from area of computational intelligence, this is shown to optimize performance indices for real-time applications. The framework of the proposed predictive control methodology is generic and, being able to solve nonlinear mixed integer optimization problems dynamically, is readily extendable to other industrial processes. The main topics of this book are: · hybrid predictive control (HPC) design based on evolutionary multiobjective optimization (EMO); · HPC based on EMO for dial-a-ride systems; and · HPC based on EMO for operational decisions in public transport systems. Hybrid Predictive Control for Dynamic Transport Problems is a comprehensive analysis of HPC and its application to dynamic transport systems. Introductory material on evolutionary algorithms is presented in summary in an appendix. The text will be of interest to control and transport engineers working on the operational optimization of transport systems and to academic researchers working with hybrid systems. The potential applications of the generic methods presented here to other process fields will make the book of interest to a wider group of researchers, scientists and graduate students working in other control-related disciplines.
Advances in Petri Nets 1988
Author: Grzegorz Rozenberg
Publisher: Springer Science & Business Media
Published: 1988-12-07
Total Pages: 450
ISBN-13: 9783540505808
DOWNLOAD EBOOKThe idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.
Voronoi Diagrams And Delaunay Triangulations
Author: Franz Aurenhammer
Publisher: World Scientific Publishing Company
Published: 2013-06-26
Total Pages: 346
ISBN-13: 981444765X
DOWNLOAD EBOOKVoronoi diagrams partition space according to the influence certain sites exert on their environment. Since the 17th century, such structures play an important role in many areas like Astronomy, Physics, Chemistry, Biology, Ecology, Economics, Mathematics and Computer Science. They help to describe zones of political influence, to determine the hospital nearest to an accident site, to compute collision-free paths for mobile robots, to reconstruct curves and surfaces from sample points, to refine triangular meshes, and to design location strategies for competing markets.This unique book offers a state-of-the-art view of Voronoi diagrams and their structure, and it provides efficient algorithms towards their computation.Readers with an entry-level background in algorithms can enjoy a guided tour of gently increasing difficulty through a fascinating area. Lecturers might find this volume a welcome source for their courses on computational geometry. Experts are offered a broader view, including many alternative solutions, and up-to-date references to the existing literature; they might benefit in their own research or application development.
2D and 3D Image Analysis by Moments
Author: Jan Flusser
Publisher: John Wiley & Sons
Published: 2016-11-15
Total Pages: 776
ISBN-13: 1119039363
DOWNLOAD EBOOKPresents recent significant and rapid development in the field of 2D and 3D image analysis 2D and 3D Image Analysis by Moments, is a unique compendium of moment-based image analysis which includes traditional methods and also reflects the latest development of the field. The book presents a survey of 2D and 3D moment invariants with respect to similarity and affine spatial transformations and to image blurring and smoothing by various filters. The book comprehensively describes the mathematical background and theorems about the invariants but a large part is also devoted to practical usage of moments. Applications from various fields of computer vision, remote sensing, medical imaging, image retrieval, watermarking, and forensic analysis are demonstrated. Attention is also paid to efficient algorithms of moment computation. Key features: Presents a systematic overview of moment-based features used in 2D and 3D image analysis. Demonstrates invariant properties of moments with respect to various spatial and intensity transformations. Reviews and compares several orthogonal polynomials and respective moments. Describes efficient numerical algorithms for moment computation. It is a "classroom ready" textbook with a self-contained introduction to classifier design. The accompanying website contains around 300 lecture slides, Matlab codes, complete lists of the invariants, test images, and other supplementary material. 2D and 3D Image Analysis by Moments, is ideal for mathematicians, computer scientists, engineers, software developers, and Ph.D students involved in image analysis and recognition. Due to the addition of two introductory chapters on classifier design, the book may also serve as a self-contained textbook for graduate university courses on object recognition.
Half a Century of Inspirational Research
Author: Wojciech Penczek
Publisher: IOS Press
Published: 2007
Total Pages: 344
ISBN-13: 9781586038052
DOWNLOAD EBOOKHonors Professor Antoni Mazurkiewicz, who during his long scientific career made fundamental contributions to theoretical computer science. This book includes contributions, which span a range of research areas, including the theory of programming, models of concurrent and distributed systems, and (de)composition methods for Pietri nets.
Application and Theory of Petri Nets 2000
Author: Mogens Nielsen
Publisher: Springer
Published: 2003-06-26
Total Pages: 492
ISBN-13: 3540449884
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.
Andrzej Mostowski and Foundational Studies
Author: Andrzej Mostowski
Publisher: IOS Press
Published: 2008
Total Pages: 460
ISBN-13: 158603782X
DOWNLOAD EBOOKAndrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings.
