A critical rationalist approach to organizational learning: testing the theories held by managers

The common wisdom is that Popper's critical rationalism, a method aimed at knowledge validation through falsification of theories, is inadequate for managers in organizations. This study falsifies this argument in three phases: first, it specifies the obstructers that prevent the method from being employed; second, the critical rationalist method is adapted for strategic management purposes; last, the method and the hypotheses are tested via action research. Conclusions are that once the obstructers are omitted the method is applicable and effective

Oracle-Guided Design and Analysis of Learning-Based Cyber-Physical Systems

We are in world where autonomous systems, such as self-driving cars, surgical robots, robotic manipulators are becoming a reality. Such systems are considered \textit{safety-critical} since they interact with humans on a regular basis. Hence, before such systems can be integrated into our day to day life, we need to guarantee their safety. Recent success in machine learning (ML) and artificial intelligence (AI) has led to an increase in their use in real world robotic systems. For example, complex perception modules in self-driving cars and deep reinforcement learning controllers in robotic manipulators. Although powerful, they introduce an additional level of complexity when it comes to the formal analysis of autonomous systems. In this thesis, such systems are designated as Learning-Based Cyber-Physical Systems~(LB-CPS). In this thesis, we take inspiration from the Oracle-Guided Inductive Synthesis~(OGIS) paradigm to develop frameworks which can aid in achieving formal guarantees in different stages of an autonomous system design and analysis pipeline. Furthermore, we show that to guarantee the safety of LB-CPS, the design (synthesis) and analysis (verification) must consider feedback from the other. We consider five important parts of the design and analysis process and show a strong coupling among them, namely (i) Robust Control Synthesis from High Level Safety Specifications; (ii) Diagnosis and Repair of Safety Requirements for Control Synthesis; (iii) Counter-example Guided Data Augmentation for training high-accuracy ML models; (iv) Simulation-Guided Falsification and Verification against Adversarial Environments; and (v) Bridging Model and Real-World Gap. Finally, we introduce a software toolkit \verifai{} for the design and analysis of AI based systems, which was developed to provide a common formal platform to implement design and analysis frameworks for LB-CPS

Folk Epistemology of Factual, Political, and Religious Beliefs

The term folk refers to the intuitive – as opposed to the academic – version of a discipline (e.g., folk physics). The present series of seven studies explored folk epistemology, that is, how laypeople intuitively think about their own knowledge. Concepts from academic epistemology were investigated in laypeople. In addition, folk epistemology across three domains of knowledge were compared: religious, political, and factual.Studies consisted of two parts. In Part 1, participants were presented with religious, political, and factual statements and asked how certain they were that each statement was true. In Part 2, participants were re-presented with only statements that they had rated as very certainly true in Part 1. For each statement presented in Part 2, participants were asked to reflect on epistemological concepts related to how/why they believed the statement to be true. Studies 1 and 2 helped to validate the research materials. Studies 3 and 4 investigated the extent to which laypeople use and value verification and falsification, respectively, across the three domains. Study 5 examined theories of truth – do laypeople define the truth of religious, political, and factual beliefs based on correspondence, coherence, or pragmatism? Study 6 explored objectivity – do laypeople feel their beliefs are objectively true? Study 7 explored several concepts related to overall certainty and nature of belief, including the required effort to believe, frequency of doubt, and obviousness and reasonableness of truth. Participants also were asked how they would react to those who disagreed with them and to counterarguments as another window into the nature of their beliefs.Results showed that (i) folk epistemology differed systematically across the three domains; (ii) intuitions about factual knowledge were more closely related to normative, academic standards; and (iii) intuitions about religious and political knowledge were strikingly different from normative standards. That is to say, religious and political beliefs were regarded as less verifiable, less falsifiable, less consistent with other true propositions, more dubious, less reasonable, and more subjective.These results suggest that current conceptions of why/how people believe propositions to be true insufficiently describe belief in the political and religious domains. Truth determination is neither domain-general, nor does it rely exclusively on propositional content. Laypeople appear to be less certain that religious and political propositions accurately track reality. Exactly which factors motivate belief in these domains is still not fully understood

The unnecessary aporia of religious language : exploring the meaning and function of religious language

https://place.asburyseminary.edu/ecommonsatsdissertations/2500/thumbnail.jp

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

BlockDiploma – Decentralizing the Norwegian Diploma Registry using Blockchain Technology

Academic diplomas are being falsified and potentially resulting in unqualified individuals getting the job, or a better candidate being bypassed by a forger. Secure and reliable verification mechanisms for academic diplomas are needed. Norway has attempted to accomplish this by developing the Diploma registry, a digital solution for sharing academic results. Our research reviews current diploma systems to identify challenges. Following the review, our research effort shifts focus from identifying challenges to attempting to find solutions using blockchain technology. The research is based on the hypothesis that there are challenges with the present solutions, and that those challenges can be resolved by decentralizing the diploma registry using blockchain and peer-to-peer technology. The research is classified as computer research using the engineering method. The first step was to gather and aggregate information about current diploma systems and relevant blockchain proposed solutions. Based upon the information gathered we could identify challenges with the current solutions, and we started to formulate requirements for a blockchain-based one. After formulating our proposal in the form of written requirements, we started to explore how the challenges could be resolved using decentralized technology. Following the exploration of decentralized technologies, we ended up with developing a decentralized application called BlockDiploma. BlockDiploma is built using smart contracts with the Ethereum blockchain, IPFS for decentralized storage and standard web technologies for the user interface. During and after the development we analyzed and evaluated how well it resolved the identified challenges and whether it introduces new challenges. Our conclusion is that there are several issues other than just falsification with the present diploma systems, and that a decentralized diploma registry can in the future be part of the solution to those challenges.Masteroppgave i informatikkINF399MAMN-PROGMAMN-IN

The unintended consequences of a complex intervention combining performance-based financing with health equity measures in Burkina Faso

Contexte : La mauvaise qualité et la faible utilisation des services de santé contribuent aux taux élevés de morbidité et de mortalité dans plusieurs pays à faible et à moyen revenu. Face à cette situation, le gouvernement du Burkina Faso a testé une intervention novatrice qui combine le financement basé sur la performance (FBP) à des mesures d'équité en santé. Les formations sanitaires ont reçu des prix unitaires pour des services de santé fournis ainsi que des bonus conditionnels à la qualité des soins. Des comités communautaires ont sélectionné les indigents pour leur octroyer des exemptions de paiements des soins. Malgré le peu d’études sur le sujet, des acteurs en santé mondiale craignent que l’intervention puisse avoir des conséquences non intentionnelles importantes. Objectif : Cette thèse vise à accroître les connaissances scientifiques sur les conséquences non intentionnelles du FBP combiné à des mesures d'équité en santé dans un environnement à faible revenu. Méthodes : Nous avons développé un cadre conceptuel basé sur la théorie de la diffusion des innovations. Une étude de cas multiples a été réalisée avec neuf formations sanitaires au Burkina Faso. Cinq mois sur le terrain ont permis d’effectuer 104 entrevues semi-structurées, 266 séances d'observation et des conversations informelles avec un large éventail d'acteurs incluant les prestataires de soins, les patients et les vérificateurs. Les données qualitatives ont été codées avec QDA miner pour faciliter l’analyse thématique. Nous avons également utilisé des données quantitatives du système de gestion pour décrire l'évolution des services et trianguler les résultats. Résultats : La nature et la mise en œuvre de l'intervention ont interagi avec le système social et les caractéristiques de ses membres pour engendrer des conséquences non intentionnelles importantes, dont la plupart étaient indésirables. Les prestataires de soins ont démontré une fixation sur les mesures de rendement, ont falsifié les registres médicaux et ont enseigné de mauvaises pratiques aux stagiaires pour augmenter leurs subsides et bonus. Comme conséquence non intentionnelle désirable, certaines formations sanitaires ont limité la vente de médicaments sans prescriptions pour encourager les consultations. Les vérifications communautaires, durant lesquelles les patients sont retrouvés pour vérifier les services déclarés, ont entraîné la falsification des données de vérification, la perte de la confidentialité des patients et certaines craintes chez les patients, bien que certains étaient heureux de partager leurs opinions. Enfin, les prestataires de soins ont limité les services offerts gratuitement aux indigents, ce qui a déclenché des conflits. Discussion : Cette thèse contribue au développement des connaissances scientifiques sur la façon dont le FBP, combiné à des mesures d'équité, peut engendrer des conséquences non intentionnelles. Les résultats sont utiles pour affiner ce type d’intervention et éclairer une mise en œuvre efficace dans le secteur du financement de la santé. Plus largement, cette thèse démontre la faisabilité et la valeur ajoutée d'utiliser un cadre conceptuel pour étudier les conséquences non intentionnelles. Elle pourra guider les chercheurs à élargir leur angle d’analyse afin de rendre compte des conséquences intentionnelles et non intentionnelles des interventions complexes en santé.Background: Poor quality and low utilization of healthcare services contribute to high levels of morbidity and mortality in many low- and middle-income countries (LMICs). In response, the government of Burkina Faso tested an innovative intervention that combines performance-based financing (PBF) with health equity measures. Healthcare facilities received unit fees for targeted services and bonuses conditional upon the quality of care. To reduce inequities in access to care, community-based committees selected indigents, i.e., the poorest segment of the population, to offer them user fee exemptions. Facilities were also paid more for services delivered to indigents. Despite the potential of this type of intervention, many global health actors argue that it could lead to important unintended consequences that influence its overall impact. Yet, little attention has been given to studying the unintended consequences of this complex intervention. Objective: This thesis aims to increase the scientific knowledge on the unintended consequences of PBF combined with health equity measures in a low-income setting. Methods: We developed a conceptual framework based on the diffusion of innovations theory. Using a multiple case study design, we selected nine healthcare facilities in Burkina Faso. Over five months of fieldwork, we collected multiple sources of qualitative data including 104 semi-structured interviews, 266 recorded observation sessions, informal conversations and documentation. Participants included a wide range of stakeholders, such as providers, patients, and PBF verifiers. Data were coded using QDA miner to conduct a thematic analysis. We also used secondary data from the PBF routine management system to describe the evolution of services and triangulate results. Results: Interactions between the nature and implementation of the intervention, the nature of the social system, and its members’ characteristics led to important unintended consequences, most of which were undesirable. Providers were fixated on performance measures rather than on underlying objectives, falsified medical registers, and taught trainees improper practices to increase subsidies and bonuses. As a desirable unintended consequence, we found that some facilities limited the sale of non-prescribed medication to encourage patients to consult. Community verifications, in which patients are traced to verify the authenticity of reported services and patient satisfaction, also led to unintended consequences, such as the falsification of verification data, the loss of patient confidentiality, and fears among patients, although some were pleased to share their views. Lastly, health equity measures also triggered changes that were not intended by program planners. For example, providers limited the free services and medication delivered to indigents, which led to conflicts between parties. Discussion: This thesis contributes to the development of scientific knowledge on how PBF interventions, combined with equity measures, can trigger unintended consequences in a low-income setting. The results are useful to inform effective implementation and refine interventions, particularly in the health financing sector. More broadly, this thesis demonstrates the feasibility and added value of using a conceptual framework to study the unintended consequences of complex health interventions. This thesis can inspire and guide future researchers to broaden their analytical horizons to capture both intended and unintended consequences of health interventions

Measurable Safety of Automated Driving Functions in Commercial Motor Vehicles

With the further development of automated driving, the functional performance increases resulting in the need for new and comprehensive testing concepts. This doctoral work aims to enable the transition from quantitative mileage to qualitative test coverage by aggregating the results of both knowledge-based and data-driven test platforms. The validity of the test domain can be extended cost-effectively throughout the software development process to achieve meaningful test termination criteria