Transactions on Petri Nets and Other Models of Concurrency XIV
Transactions on Petri Nets and Other Models of Concurrency XIV

Author: Maciej Koutny

Publisher: Springer Nature

Published: 2019-11-20

Total Pages: 270

ISBN-13: 3662606518

DOWNLOAD EBOOK

The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: process mining, verification, formal semantics, communication protocols, business processes, distributed systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Current Catalog
Current Catalog

Author: National Library of Medicine (U.S.)

Publisher:

Published: 1993

Total Pages: 824

ISBN-13:

DOWNLOAD EBOOK

First multi-year cumulation covers six years: 1965-70.

Document Analysis Systems
Document Analysis Systems

Author: Xiang Bai

Publisher: Springer Nature

Published: 2020-08-14

Total Pages: 588

ISBN-13: 3030570584

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th IAPR International Workshop on Document Analysis Systems, DAS 2020, held in Wuhan, China, in July 2020. The 40 full papers presented in this book were carefully reviewed and selected from 57 submissions. The papers are grouped in the following topical sections: character and text recognition; document image processing; segmentation and layout analysis; word embedding and spotting; text detection; and font design and classification. Due to the Corona pandemic the conference was held as a virtual event .

Proceedings of 2nd International Conference on Social Sciences & Interdisciplinary Studies 2018
Proceedings of 2nd International Conference on Social Sciences & Interdisciplinary Studies 2018

Author: ConferenceSeries

Publisher: ConferenceSeries

Published:

Total Pages: 98

ISBN-13:

DOWNLOAD EBOOK

June 18-19, 2018 Rome, Italy Key Topics : Social Sciences and Medical Sociology, Social Sciences and Community Studies, Social Sciences and Epidemiology, Social Sciences and Public Health, Social Science and Nursing, Social Sciences and Education, Social Sciences and Social Work, Social Sciences and Psychology, Social Sciences and Humanities, Social Sciences and Natural Sciences, Social Science and Anthropology, Social Sciences and Gender Studies, Social Sciences and Sociology, Social Sciences and Political Studies, Social Sciences and Criminal Justice, Social Sciences and Disaster Management, Social Sciences and Economics, Social Sciences and Communication Studies, Technology and Society, Social Work and NGO’s,

Computers in Railways XIV
Computers in Railways XIV

Author: C. A. Brebbia

Publisher: WIT Press

Published: 2014-06-24

Total Pages: 941

ISBN-13: 1845647661

DOWNLOAD EBOOK

This book contains the 14th proceedings of the, very successful, International conference on Railway Engineering Design and Optimization (COMPRAIL 2014), which began in 1987. Encouraging the update and use of advanced systems, the book promotes their general awareness throughout the business management, design, manufacture and operation of railways and other emerging passenger, freight and transit systems. It particularly emphasises the use of computer systems in advanced railway engineering. Topics covered include: Timetable planning; Computer techniques and simulations; Actual train control; Operations quality; Risk management; Planning; Monitoring and maintenance; Energy supply and consumption; Communications and signalling; Rescheduling; Safety and security; Railway vehicle dynamics; Driverless and automatic train operation.

WSSPC '95
WSSPC '95

Author: Western States Seismic Policy Council. Meeting

Publisher:

Published: 1996

Total Pages: 246

ISBN-13:

DOWNLOAD EBOOK