Search results for "Logics"
showing 10 items of 124 documents
Designing alarm sounds for the control of a hydraulic platform
2011
The design of alarm sounds is a subtle yet important challenge. Our conceptions and stereotypes of what alarm sounds sound like are usually quite entrenched, which may be limiting the acceptance of new alarm sounds into the domain of traditional ones. This paper presents the design approaches undertaken for the case of redesigning a set of alarm and notification sounds. An analysis of the approaches' effectiveness, some design decisions, and other challenges faced are presented herein, while preliminary feedback on their effectiveness is discussed.
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…
Psoriatic arthritis and COVID ‐19 pandemic: Consequences in medical treatment?
2020
The COVID‐19 pandemic has a strong negative impact on human society world‐wide. Patients with immune‐mediated disease may be prone to an increased risk of infection and/ or more severe course. We review the available data for patients with psoriatic arthritis (PSA) and systemic treatments. Current treatment options are summarized. Based upon the experience with COVID‐19 the following problems are addressed: (a) Can systemic treatment reduce comorbidities of PsA that are also comorbidities for COVID‐19? Does systemic medical treatment pose an increased risk of infection with SARS‐CoV‐2? Does systemic drug therapy have an impact on the risk of pulmonary fibrosis ‐ a factor with strong negativ…
Step-by-Step Control of the Dynamics of a Superconducting QED-like System
2007
We discuss the modus operandi of a theoretical scalable coupling scheme to control step by step the time evolution of a pair of flux qubits embedded in a lossy resonant cavity. The sequential interaction of each qubit with the quantized cavity mode is controlled by externally applied magnetic fluxes. Our analysis indicates that indirect qubit-qubit interactions, with the electromagnetic mode acting as a data bus, can be selectively performed and exploited both for the implementation of entangling gates and for the generation of states with a priori known characteristics.
Approximate supervised learning of quantum gates via ancillary qubits
2018
We present strategies for the training of a qubit network aimed at the ancilla-assisted synthesis of multi-qubit gates based on a set of restricted resources. By assuming the availability of only time-independent single and two-qubit interactions, we introduce and describe a supervised learning strategy implemented through momentum-stochastic gradient descent with automatic differentiation methods. We demonstrate the effectiveness of the scheme by discussing the implementation of non-trivial three qubit operations, including a Quantum Fourier Transform (QFT) and a half-adder gate.
A Supplementary Text to “Contextuality in Canonical Systems of Random Variables” by Ehtibar N. Dzhafarov, Víctor H. Cervantes, and Janne V. Kujala (P…
2017
Mathematical Proofs
Update on the Management of Pediatric Psoriasis: An Italian Consensus
2022
Introduction Psoriasis affects children with a considerable burden in early life. Treating pediatric psoriasis is challenging also because of the lack of updated specific guidelines. With the recent approval of several biologics for pediatric psoriasis and the ongoing COVID-19 pandemic, the management of young psoriatic patients is facing major changes. A revision of treatment recommendations is therefore needed. Methods In September 2021, a board of six Italian dermatologists convened to update treatment recommendations. The board issued evidence- and consensus-based statements covering relevant areas of pediatric psoriasis, namely: assessment of psoriasis severity, management of children …
A generalized transitive closure for relational queries
1988
We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…
Reaching for different ends through tenure track—institutional logics in university career systems
2020
AbstractIn this study, we used the institutional logics perspective to identify the logics underpinning the tenure track career system, how the logics manifest themselves in recruitment and performance management and how academic leaders and academics negotiate between the logics. The study contributes to research on governance dynamics in academia and to universities’ organisational transformation in the context of strategic actorhood. The data comprised interviews with academic leaders (vice-rectors, deans, department heads) and academics in tenure track positions at two Finnish universities. Empirically, the study explores two key areas of human resource management: recruitment and perfo…
Reasoning with Vague Spatial Information from Upper Mesopotamia (2000BC)
2015
International audience; Concepts such as near, far, south of, etc., are by its own nature vague. However, they are quite common in human language. In the case of historical records, these concepts are often the only source of information regarding the position of ancient places whose exact location has been lost. In our research, we use digitized written records from Upper Mesopotamia (2000BC) from the HIGEOMES project. Our goal is to provide better understanding of the location of places, based on the analysis of spatial statements. In our approach, we analyse cardinal statements between places with known location. Using this information we construct a probabilistic function representing t…