Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers

Engineering Delphi-Markets for Crowd-based Prediction - The FAZ.NET-Orakel and other Cases

Reliable forecasting is a key success factor of most organizations and companies. Where historical data is not available, the forecasts address questions in the far future, information is dispersed regarding location and form, or conflicting goals or values have to be considered, judgmental forecasting methods based on experts or the crowd are typically applied. However, several judgmental forecasting methods exist and each method has some individual weaknesses. Delphi-Markets are an integrated approach of prediction markets and Real-Time Delphi studies. Depending on their implementation, they allow to combine several properties of both approaches in order to overcome individual weaknesses. Three different ways to integrate the method are presented and discussed in this work. In order to better understand challenges and potentials of Delphi-Markets, the FAZ.NET-Orakel was instantiated and made publicly available for evaluation and improvement of an exemplary Delphi-Market under real-world conditions. In this context, four proposed improvements for the integrated approach were evaluated in four research projects. These projects correspond to the four sources of forecasting error according to the Judgmental Forecasting Improvement Model, introduced and derived in this dissertation as well. On the one hand, these improvements deal with common problems of prediction markets: Cognitive errors, such as partition dependence, and motivational errors, such as manipulation and fraud. On the other hand, these include common problems of Real-Time Delphi studies: The selection of experts for Delphi studies and retention during the surveys. As contributions to the overall IS research derived from the examinations of the Delphi-Markets and this dissertation, design principles for two extensions (social Real-Time Delphi and a crowd-based approach for manipulation and fraud detection) are formulated, implemented, tested, and suggested for application. Further, the role of complexity and expertise in the occurrence of the partition dependence bias is examined and a selection approach for experts for Delphi studies based on trading data is suggested and evaluated

1990-1995 Brock Campus News

A compilation of the administration newspaper, Brock Campus News, for the years 1990 through 1995. It had previously been titled The Blue Badger