This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

The developments in molecular medicine are transforming respiratory medicine. Leading clinicians and scientists in the world have brought their knowledge and experience in their contributions to this book. Clinicians and researchers will learn about the most recent advances in a variety of lung diseases that will better enable them to understand respiratory disorders. This treatise presents state of the art essays on airways disease, neoplastic diseases, and pediatric respiratory conditions. Additionally, aspects of immune regulation, respiratory infections, acute lung injury/ARDS, pulmonary edema, functional evaluation in respiratory disorders, and a variety of other conditions are also discussed. The book will be invaluable to clinicians who keep up with the current concepts, improve their diagnostic skills, and understand potential new therapeutic applications in lung diseases, while scientists can contemplate a plethora of new research avenues for exploration.

The first resource to present the “nuts and bolts” of creating a successful nursing research program. This text provides a roadmap to develop and nurture a nursing research program in complex hospital environments. Written by experienced clinical researchers who have successfully implemented these techniques in the Cleveland Clinic, the handbook shows nurses how to build and sustain a research program—a fundamental requirement to transform patient care and administrative practices and obtain and sustain American Nurses Credentialing Center Magnet® program recognition. The book demonstrates, step-by-step, how leaders and staff can integrate nursing research into the workflow of complex health care environments. It provides a framework for developing horizontal and vertical structures that promote the creation of new knowledge and for enhancing the scientific foundation of nursing evidence. With a focus on practical applications, the book addresses the structures, systems, processes, and resources required for creating and maintaining a research program along with methods for its evaluation. The handbook describes foundational principles that apply to hospitals of all sizes (including ambulatory centers and hospitals without extensive resources), and provides concrete guidance in adapting structures and processes to fit the needs of hospitals with varied nursing staff size and program goals. Replete with a wealth of ideas and strategies, it provides detailed templates that will assist novice and more experienced researchers, guidelines for committees to support nursing research within a hospital, and discusses the “who,” “what,” “why” of systems that enhance workflow. Chapters offer experiential stories written by nurses who describe the “real world” experiences of implementing clinical research in their practice. Tables and figures further illuminate information. Key Features: Written by experienced researchers who have implemented the techniques used in this book Provides a framework adaptable for use with hospitals of all sizes Includes guidelines for committees/councils to support nursing research within the organization Discusses processes and systems that enhance collaboration and workflow Offers stories from the field by nurses about “lessons learned” from their research experiences

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.