This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of comput...

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techn...

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; rea...

This book CCIS 2647 constitutes the refereed proceedings of First Research Twinning Conference on Digitalisation and Digital Transformation, RTC-Digital 2023, held in Liverpool, UK, during March 27–30, 2023.The 29 full papers were carefully reviewed and selected from 101 submissions.The objective is to help Ukrainian academics at Universities and Research institutes to integrate into the international research network and to find new research contacts. In the long term, the high-qu...

The main purpose of this book is to present emerging neuroimaging data in order to define the role of primary and secondary structural and hemodynamic disturbances in different phases of traumatic brain injury (TBI) and to analyze the potential of diffusion tensor MRI, tractography and CT perfusion imaging in evaluating the dynamics of TBI. The authors present a new MRI classification of brain stem and hemispheric cortical/subcortical damage localization that is of significant prognostic v...

This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computa...

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; rea...

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; ...

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets;...

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23–27, 2024.The 29 full papers, 2 short papers and 3 keynote papers included in this volume were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: main conference; PhD symposium; and research in progress....

The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate preliminaries regarding computational problems and computational models. The P versus NP Question asks whether or not finding solutions is harder than checking the correctness of solutions. An alternative formulation asks whether or not discovering proofs is harder than verifying their correctness. It is widely believed that the answer to these equivalent formulations is positive...

Delirium, stupor and coma are common clinical states that confront clinicians in almost every medical specialty. With appropriate diagnosis and treatment, coma can often be treated successfully. Conversely, delay in diagnosis and treatment may be lethal. This monograph provides an update on the clinical approach that was laid out in the previous 3 editions. It describes an approach for the physician at the bedside to diagnose and treat alterations of consciousness, based on pathophysiologi...