Search results for "Soundness"
showing 10 items of 10 documents
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019
Abstract Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability bo…
Towards Responsible AI for Financial Transactions
2020
Author's accepted manuscript. © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The application of AI in finance is increasingly dependent on the principles of responsible AI. These principles-explainability, fairness, privacy, accountability, transparency and soundness form the basis for trust in future AI systems. In this empirical study, we address the first p…
Analysing the Financial Soundness of the Commercial Banks in Romania: An Approach based on the Camels Framework
2013
Abstract The Romanian banking system has undergone through tremendous changes in the last decade, its financial soundness and performance being paramount in the achievement of a stable and sustainable economic growth. Thus, the aim of our research is to comparatively analyse the financial soundness of the commercial banks that operate in Romania. In order to achieve this we have used one of the most popular methods for the analysis of the financial soundness of banks, namely the CAMELS framework. The obtained results highlight the strengths and the vulnerabilities of the analysed banks, underlining the need to strengthen the concerns of the decision makers from banks to improve and increase…
On the Consistency of Non-Stationary Multipath Fading Channels with Respect to the Average Doppler Shift and the Doppler Spread
2017
This paper is concerned with the consistency of non-stationary multipath fading channels. We introduce conditions under which a channel model is consistent w.r.t. the average Doppler shift and the Doppler spread. The conditions are applied to two classes of non-stationary channel models. The first class, which is termed Class A, is characterized by channel models based on an integral relationship between the path phases and the associated time-variant Doppler frequencies. The second class of models, called the Class B models, emerges from standard sum-of-cisoids (SOC) models by replacing the time-independent Doppler frequencies by time-dependent Doppler frequencies. It is shown that the Cla…
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Towards Axiomatic Basis of Inductive Inference
2001
The language for the formulation of the interesting statements is, of course, most important. We use first order predicate logic. Our main achievement in this paper is an axiom system which we believe to be more powerful than any other natural general purpose discovery axiom system. We prove soundness of this axiom system in this paper. Additionally we prove that if we remove some of the requirements used in our axiom system, the system becomes not sound. We characterize the complexity of the quantifier prefix which guaranties provability of a true formula via our system. We prove also that if a true formula contains only monadic predicates, our axiom system is capable to prove this formula…
Quantum counter automata
2011
The question of whether quantum real-time one-counter automata (rtQ1CAs) can outperform their probabilistic counterparts has been open for more than a decade. We provide an affirmative answer to this question, by demonstrating a non-context-free language that can be recognized with perfect soundness by a rtQ1CA. This is the first demonstration of the superiority of a quantum model to the corresponding classical one in the real-time case with an error bound less than 1. We also introduce a generalization of the rtQ1CA, the quantum one-way one-counter automaton (1Q1CA), and show that they too are superior to the corresponding family of probabilistic machines. For this purpose, we provide gene…
Review of Agent-Based Models of Social Conflict and Civil Violence
2017
This chapter contains a review of the state of the art on agent-based models for simulation of large-scale social conflict and violence. It is structured in four parts. The first contains a summary of general definitions and concepts. The second contains the presentation and discussion of Epstein’s agent-based model, which is a landmark model of civil and ethnic violence due to its simplicity, soundness, and explanatory power. The third part contains a review of extensions of Epstein’s model that have been proposed by several authors. The chapter ends with some remarks on the limitations of existing ABM and on possibilities for their improvement.
Hypervisor-assisted Atomic Memory Acquisition in Modern Systems
2019
Reliable memory acquisition is essential to forensic analysis of a cyber-crime. Various methods of memory acquisition have been proposed, ranging from tools based on a dedicated hardware to software only solutions. Recently, a hypervisor-based method for memory acquisition was proposed (Qi et al., 2017; Martignoni et al., 2010). This method obtains a reliable (atomic) memory image of a running system. The method achieves this by making all memory pages non-writable until they are copied to the memory image, thus preventing uncontrolled modification of these pages. Unfortunately, the proposed method has two deficiencies: (1) the method does not support multiprocessing and (2) the method does…
Más allá de los genes; más allá de la piel. Sobre la razonabilidad argumentativa del constructivismo biológico y sus posibles implicaciones ético-jur…
2021
Trabajo de Fin de Máster en Investigación en Lógica y Filosofía de la Ciencia, curso 2020-2021