Formal Modeling and Analysis of Timed Systems, ?tienne Andr?; Mari?lle Stoelinga

Автор: David N. Jansen; Pavithra Prabhakar
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3030001504 ISBN-13(EAN): 9783030001506
Издательство: Springer
Рейтинг:
Цена: 8104.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions.

Автор: Fr?nzle
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319448773 ISBN-13(EAN): 9783319448770
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;

Автор: Axel Legay; Marius Bozga
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319105116 ISBN-13(EAN): 9783319105116
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014, held in Florence, Italy, in September 2014.The 17 revised full papers presented were carefully reviewed and selected from 36 submissions.

Автор: V?ctor Braberman; Laurent Fribourg
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642402283 ISBN-13(EAN): 9783642402289
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.

Автор: Franck Cassez; Claude Jard
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 354085777X ISBN-13(EAN): 9783540857778
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.

Автор: Joel Ouaknine; Frits W. Vaandrager
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642043674 ISBN-13(EAN): 9783642043673
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

Автор: Alessandro Abate; Gilles Geeraerts
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 331965764X ISBN-13(EAN): 9783319657646
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Автор: Sriram Sankaranarayanan; Enrico Vicario
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319229745 ISBN-13(EAN): 9783319229744
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Custom and ritual, or their Hebrew equivalent minhag, has intrigued rabbis and scholars for generations. Here, Simcha Fishbane treats minhag from a socio-anthropological perspective. She discusses the theory and model of minhagim, using the Mishnah Berurah and the Arukh Hashulkhan, analyses rabbinic texts concerned with custom, and describes current rituals from a socio-anthropological viewpoint.

Автор: Koziel Slawomir & Bekasiewicz Adrian
Название: Multi-Objective Design Of Antennas Using Surrogate Models
ISBN: 1786341476 ISBN-13(EAN): 9781786341471
Издательство: World Scientific Publishing
Рейтинг:
Цена: 17582.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book addresses computationally-efficient multi-objective optimization of antenna structures using variable-fidelity electromagnetic simulations, surrogate modeling techniques, and design space reduction methods. Based on contemporary research, it formulates multi-objective design tasks, highlights related challenges in the context of antenna design, and discusses solution approaches. Specific focus is on providing methodologies for handling computationally expensive simulation models of antenna structures in the sense of their multi-objective optimization. Also given is a summary of recent developments in antenna design optimization using variable-fidelity simulation models. Numerous examples of real-world antenna design problems are provided along with discussions and recommendations for the readers interested in applying the considered methods in their design work.

Written with researchers and students in mind, topics covered can also be applied across a broad spectrum of aeronautical, mechanical, electrical, biomedical and civil engineering. It is of particular interest to those dealing with optimization, computationally expensive design tasks and simulation-driven design.

Автор: Ivan Zelinka; Ponnuthurai Nagaratnam Suganthan; Gu
Название: Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems
ISBN: 3319074008 ISBN-13(EAN): 9783319074009
Издательство: Springer
Рейтинг:
Цена: 28734.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The prediction of behavior of complex systems, analysis and modeling of its structure is a vitally important problem in engineering, economy and generally in science today. Examples of such systems can be seen in the world around us (including our bodies) and of course in almost every scientific discipline including such "exotic" domains as the earth's atmosphere, turbulent fluids, economics (exchange rate and stock markets), population growth, physics (control of plasma), information flow in social networks and its dynamics, chemistry and complex networks. To understand such complex dynamics, which often exhibit strange behavior, and to use it in research or industrial applications, it is paramount to create its models. For this purpose there exists a rich spectrum of methods, from classical such as ARMA models or Box Jenkins method to modern ones like evolutionary computation, neural networks, fuzzy logic, geometry, deterministic chaos amongst others.

This proceedings book is a collection of accepted papers of the Nostradamus conference that has been held in Ostrava, Czech Republic in June 2014. This book also includes outstanding keynote lectures by distinguished guest speakers: Ren Lozi (France), Ponnuthurai Nagaratnam Suganthan (Singapore) and Lars Nolle (Germany). The main aim of the conference was to create a periodical possibility for students, academics and researchers to exchange their ideas and novel research methods. This conference establishes a forum for presentation and discussion of recent research trends in the area of applications of various predictive methods.

Автор: Jean-Claude Thill; Suzana Dragicevic
Название: GeoComputational Analysis and Modeling of Regional Systems
ISBN: 3319866419 ISBN-13(EAN): 9783319866413
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Поставка под заказ.

Описание: The contributed volume collects cutting-edge research in GeoComputational Analysis of Regional Systems. The contributions emphasize methodological innovations or substantive breakthroughs on many facets of the socio-economic and environmental reality of regional contexts.