When Jan de Groot decided to purchase Raven, a 140-foot gaff-rigged ketch, in order to provide sailing adventures for underprivileged children in British Columbia, he had no idea of the bizarre adventure that lay ahead. Built in 1920 as a sailing cargo vessel, Raven was converted to a pleasure yacht in the late 1960s. She should have been the perfect vessel for the job Jan envisaged - and might have been, were it not for the ghost that haunted her. After the ship was launc...

The war was changing everything and everyone …When Jan is seven, Nazis attack and take over Holland. At first, not much changes. Soon, though, war starts taking things away: important things like neighbours and friends, trust and respect, even clothing, fuel, and food. Through it all, Jan is still a boy, finding ways to play with friends and paddle his sailing canoe in the canals. But he must also filch food and help protect his father's "guests" from the enemy.The...

Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the...

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

In "The Religion of The Chinese", scholarly book published in 1910, Jan Jakob Maria de Groot details the history, rituals, and beliefs of the major traditional religions of China: universal animism, polydemonism, specters, ancestral worship, Confucianism, Taoism, and Buddhism. He thought that one spiritual essence could be detected beneath a great variety of religious, philosophical, and even political expressions in China, and his lifework was the discovery and exposition of that essence....

This volume focuses on research and practical issues connected with mortars on historic structures.The book is divided into four sections: Characterisation of Historic Mortars, Repair Mortars and Design Issues, Experimental Research into Properties of Repair Mortars, and Assessment and Testing. The papers present the latest work of researchers in their field. The individual contributions were selected from the contributions to the 2nd Historic Mortars Conference, which took place i...

Persisting unemployment, poverty and social exclusion, labour market flexibility, job insecurity and higher wage inequality, changing patterns of work and family life are among the factors that exert pressure on welfare states in Europe. This book explores the potential of an unconditional basic income, without means test or work requirement, to meet the challenges posed by the new social question, compared to policies of subsidized insertion in work. It also assesses the political chances...

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols.

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections ...

This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully...

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyb...

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections na...