Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle University, UK) Lukasz Mikulski (Nicolaus Copernicus University, PL) Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations via more abstract concurrent histories that can be represented by causality structures capturing invariant dependencies between executed actions, to system level constructs such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations. Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures such as partial orders. This book studies fundamental mathematical abstractions to capture and relate observations, histories, and systems. In particular, taking a Petri net view, we present system models fitting various concurrency paradigms and their associated causality structures.
This book is an extended and substantially updated edition of the previous book editions published in 1996 and 2013 under the same title. The 3rd edition is a one-volume, modern and comprehensive overview of the current knowledge of regular and random ocean surface waves in deep waters and in coastal zones.Since the previous editions many new theoretical advances have been made in the physical understanding and analytical and numerical treatment of various ocean wave problems. The revisions and supplements demanded by these advances have been substantial, therefore the scope of the book has been extended by adding a new chapter and substantially supplementing others.All chapters of the book have been rewritten to include and describe in detail many new discoveries made since the completion of the previous editions. In this 3rd edition a comprehensive and updated overview of the fundamentals of the regular wave mechanics, as well as the spectral and statistical properties of random waves are given. Except for the updated chapters dedicated to tsunami and extreme waves, a new chapter dealing with other types of impulsive waves starting from rest, are also included.The air-sea interaction processes as well as the last improvements in ocean wave modelling and presently available wave prediction models (WAM, WAVEWATCH III, UMWM, NEMO) are thoroughly discussed and their applications are demonstrated. The review of the present ocean observation methods encompasses the modern sea-truthing, as well as applications of data from presently operating marine satellites.In this revised edition, chapters on the behavior of surface waves in the vegetated environments such as coral reef, mangrove forest, seaweed and seagrass areas are substantially extended and updated to include the last discoveries.The explanations in the book are self-contained and detailed enough to capture the interest of the potential readers and to prompt them to explore the research literature. The list of rapidly growing number of the recent papers on the ocean waves has been extended substantially, up to about 900 titles.
The material collected in this book originated from lectures given by authors over many years in Warsaw, Trieste, Schladming, Istanbul, Goteborg and Boulder. There is no other comparable book on group representations, neither in mathematical nor in physical literature and it is hoped that this book will prove to be useful in many areas of research. It is highly recommended as a textbook for an advanced course in mathematical physics on Lie algebras, Lie groups and their representations. Request Inspection Copy
New Edition: Ocean Surface Waves: Their Physics and Prediction (3rd Edition)This book is intended as a handbook for professionals and researchers in the areas of Physical Oceanography, Ocean and Coastal Engineering and as a text for graduate students in these fields.It presents a comprehensive study on surface ocean waves induced by wind, including basic mathematical principles, physical description of the observed phenomena, practical forecasting techniques of various wave parameters and applications in ocean and coastal engineering, all from the probabilistic and spectral points of view.The book commences with a description of mechanisms of surface wave generation by wind and its modern modeling techniques. The stochastic and probabilistic terminology is introduced and the basic statistical and spectral properties of ocean waves are developed and discussed in detail.The bulk of material deals with the prediction techniques for waves in deep and coastal waters for simple and complex ocean basins and complex bathymetry. The various prediction methods, currently used in oceanography and ocean engineering, are described and the examples of practical calculations illustrate the basic text.An appendix provides a description of the modern methods of wave measurement, including the remote sensing techniques. Also the wave simulation methods and random data analysis techniques are discussed. In the book a lot of discoveries of the Russian and East European scientists, largely unknown in the Western literature due to the language barrier, are referred to.
This book will show that when some countries begin using oil and gas as an instrument of exerting pressure and to realize political goals, energy security becomes synonymous with national security as well as economic security. It is within this context that the Nordic countries serve as role models and an exemplification of modern, innovative and ecofriendly solutions. This book highlights that the Nordic countries represent a very broad spectrum of competencies and techniques in the field of making use of various energy sources, which basically exhausts all the possible and currently available possibilities.
On average, 60% of the world's people and cargo is transported by vehicle that move on rubber tires over roadways of various construction, composition, and quality. The number of such vehicles, including automobiles and all manner of trucks, increases continually with a growing positive impact on accessibility and a growing negative impact on interactions among humans and their relationship to the surrounding environment. This multiplicity of vehicles, through their physical impact and their emissions, is responsible for, among other negative results: waste of energy, pollution through emission of harmful compounds, degradation of road surfaces, crowding of roads leading to waste of time and increase of social stress, and decrease in safety and comfort. In particular, the safety of vehicular traffic depends on a man-vehicle-road system that includes both active and passive security controls. In spite of the drawbacks mentioned above, the governments of almost every country in the world not only expect but facilitate improvements in vehicular transport performance in order to increase such parameters as load capacity and driving velocity, while decreasing such parameters as costs to passengers, energy resources investments, fuel consumption, etc. Some of the problems have clear, if not always easily attainable, solutions.
This book focuses on the Nordic countries through a European perspective and wishes to draw attention to their place in the new world order. The volume emphasizes the specificity of their cooperation within the region itself as well as within the European Union, and stresses the importance of the Nordic region as an area of possibilities and tangible chances resulting from the challenges of globalization. The social, cultural, political and economic dimensions of these countries are characterized by cooperation among states, their collaboration with other regional organizations and within international projects, as well as exchange of viewpoints on the specificity of the current Norden issues. The cooperation of the Nordic countries and their inhabitants as well as migrations between the Scandinavian states have been a trademark of the common and shared history of Norden.
This book presents a thermodynamic and economic analysis of gas-gas systems in power plants, including combined heat and power systems, combined cooling, heat and power systems, hydrogen production facilities and compressed energy storage system. A configuration for high-temperature gas-cooled nuclear reactor is also used as a heat source for the cycle. The book compares different technologies, such as gas-steam and gas-gas systems, using optimized cases. It presents mathematical models that return optimal thermodynamic parameters of the cycles, and applies a novel continuous-time model in order to perform an economic analysis as well. This book utilizes numerous illustrations and worked examples to thoroughly explain the technologies discussed, making it relevant for researchers, market analysts, decision makers, power engineers and students alike.
The papers included in this volume deal with the following topics: convex analysis, operator theory, interpolation theory, theory of real functions, theory of analytic functions, bifurcation theory, Fourier analysis, functional analysis, measure theory, geometry of Banach spaces, history of mathematics.
From the renowned journalist comes this intimate account of his years in the field, traveling for the first time beyond the Iron Curtain to India, China, Ethiopia, and other exotic locales. In the 1950s, Ryszard Kapuscinski finished university in Poland and became a foreign correspondent, hoping to go abroad – perhaps to Czechoslovakia. Instead, he was sent to India – the first stop on a decades-long tour of the world that took Kapuscinski from Iran to El Salvador, from Angola to Armenia. Revisiting his memories of traveling the globe with a copy of Herodotus' Histories in tow, Kapuscinski describes his awakening to the intricacies and idiosyncrasies of new environments, and how the words of the Greek historiographer helped shape his own view of an increasingly globalized world. Written with supreme eloquence and a constant eye to the global undercurrents that have shaped the last half-century, Travels with Herodotus is an exceptional chronicle of one man's journey across continents.
Containerization provides optimization of handling processes in terms of intermodality and efficient cargo handling, and maritime transport, in particular, it provides further optimization of shipping processes in terms of volume and distance. Containerization has become the most significant factor stimulating the development of modern global trade. With the progress of globalization taken into account (longer distances and increasing cargo volumes), it can be seen that cargo becomes predestined to be transported by sea, which encourages ship owners to enlarge their fleets of container ships. Containerization in Maritime Transport: Contemporary Trends and Challenges addresses the key challenges to maritime transport and containerization, beginning with economic and managerial factors, through organizational, technical, operational, information and IT challenges, and ending with ecological challenges—ideally to lessen the environmental impacts of maritime transport. Features: Discusses the latest technological advances in shipping, including augmented reality (AR), virtual reality (VR), artificial intelligence (AI), 5G networks, smart camera and computer vision systems, and digital twin technology. Presents ecological considerations and solutions that are indispensable to develop efficient and safe green supply chains. Examines the economic aspects of shipping with regard to transport and container handling costs in international trade.
Speciation analysis is a field of trace element analytical chemistry that deals with detection, identification and determination of individual chemical forms of metals and metalloids. There has been increased awareness of the importance of elemental speciation over the last 20 years and this has lead to growing demand for analytical techniques capable of providing species-specific information. Hyphenated Techniques in Speciation Analysis offers a brief but comprehensive overview of hyphenated techniques and their various applications for the determination of chemical forms of trace elements. It brings a succinct presentation of the concept of speciation analysis, gives an overview of techniques based on coupling of chromatography with element and molecule specific detection and summarises their applications in the fields of environmental and industrial chemistry, biochemistry, nutrition, toxicology and medicine. Fully referenced, Hyphenated Techniques in Speciation Analysis is an invaluable introduction to elemental speciation analysis and also provides a practising analyst with a critical overview of research carried out in the field.
Plant biotechnology and renewable resources are the driving forces behind a more sustainable development of agriculture and other related industries in the world. Until the 21st century, the main task for most industries was to raise the volume of production to gain the highest profits possible. Non-renewable natural resources, such as oil, were the most profitable sources of energy. This tendency not only exploited these resources but had harmful side effects: growing environmental pollution and changing the earth into a desert, suitable neither for animals nor human beings. At the beginning of the 21st century, both scientists and green movements warn that it is necessary to change this philosophy of economic progress towards a more intensive exploration of renewable resources. Biotechnology is one of the very important and novel tools for obtaining diversified materials on the base of renewable resources. They can serve as a source for production of energy, novel materials, fibres, food, agrofine chemicals and composites. resources and their processing can ensure balanced progress without side effects on the earth's environment. This book presents research on the possibilities of creating progress in the processing of renewable resources within the study of biotechnology.
This work by two accomplished Polish researchers provides medical technicians and researchers alike with detailed descriptions of up-to-date methods used for computer processing and interpretation of medical images. The broad scope of the book takes in images acquisition, storing with compression, processing, analysis, recognition and also its automatic understanding. The introduction provides a general overview of the computer vision methods designed for medical images.
This book deals with the transformation of the Arctic from an isolated or a distant region to a member of the global community, vulnerable to global changes, and an area frequently in the very center of the world’s attention. Increased global interest is a potential source of tensions between the need for exploration or exploitation, and the requirements of protection. This context calls for new data, knowledge and information vital for a better understanding of interactions between different systems, as well as developing awareness about the current and potential changes in the future. The objective of the book is to help develop a strategy of adaptation to climate change based on the knowledge and experience of the extremely effective mechanisms which for centuries made survival possible in this region.
This title's contents include: perspective polymer materials with structural inhomogeneity for the construction of new generation optical devices; the effect of various factors on damaging of polymeric materials by microorganisms; kinetics of radial growth of aspergillus colonies at different temperatures; kinetics of acids excretion in medium by mycelial micromycetes colonies; polymers for fibre optics; isobutylene polymerisation.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.