10,650 research outputs found
Interpretation: Struktur und Evaluation in handlungstheoretischer Perspektive
No full textThis article explores the possibilities of evaluating interpretations that belong to different ›schools of interpretation‹ by means of a single shared standard. Such a standard becomes available once interpretation is described as a critical activity, that is, as something that we do. Accordingly, we describe critical activities in terms of categories taken from the theory of action. A basic action lends itself to a reason explanation. Such an explanation specifies both the goals of the agent and the means he employs for attaining them. It thereby reflects his preferences and beliefs that constitute his reasons for goal-directed action. On this descriptive basis we turn to the evaluation of interpretive activities. The theory of practical reasoning has developed a number of ways for criticizing an agent's beliefs and preferences which can be transferred to the evaluation of acts of interpretation. Thus an agent's beliefs are open to a straightforward epistemic criticism while his preferences can be criticized with reference to their epistemic basis, formal structure, and on ›substantial‹ grounds. We suggest that this approach to the evaluation of interpretation combines a number of advantages: First, by operating in the realm of practical rationality (as opposed to theoretical rationality), the approach avoids the thorny questions involved in settling the question of whether interpretative claims can be true or false. Second, it emphasizes the importance of an interpreter's preferences which have been neglected in most previous accounts. Third, our approach operates on a purely formal level and does not make recourse to the aims and subject matter of particular schools of interpretation. Therefore, it might be acceptable for those theoretical schools that are notorious for rejecting the idea of a methodologically guided approach to interpretation. Fourth, it suggests a meta-critical program for analyzing and evaluating interpretations, that it is hoped, can easily be put into practice
A 0.12mm<sup>2</sup> Wien-Bridge Temperature Sensor with 0.1°C (3σ) Inaccuracy from -40°C to 180°C
No full text Resistor-based temperature sensors can achieve much higher resolution and energy efficiency than conventional BJT-based sensors [1], but they typically occupy more area (> 0.25 mm 2 ) and have lower operating temperatures (le 125 {circ} {C}) [2]-[4]. This work describes a 0.12mm 2 resistor-based sensor that uses a Wien-bridge (WB) filter to achieve 0.1 {circ} {C} (3 sigma) inaccuracy from - 40 {circ} {C} to 180 {circ} {C}. Compared to a state-of-the-art WB sensor [4], it occupies 6 × less area and achieves comparable relative accuracy over a 76% wider operating range. Session 10.3 Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.Electronic InstrumentationMicroelectronic
The EU Common Consolidated Corporate Tax Base: critical analysis Eucotax series on European taxation ;, v. 58./ edited by Dennis Weber, Jan van de Streek.
No full textIncludes bibliographical references.Some introductory remarks on the relaunched CCTB/CCCTB proposals from a policy perspective / Jan van de Streek -- Principles and characteristics of CCTB after the relaunch / Ronald Russo -- Depreciation rules and roll-over relief under the proposed CCTB directive / Hein Vermeulen -- Allowance for growth and investment / Stefano Grilli -- The R&D tax incentives / Paolo Arginelli -- The participation exemption / Marjaana Helminen -- Cross-border loss relief under the proposed CCTB directive / Bruno da Silva -- The arm's length standard : a blind spot in the CC(C)TB proposals / Daniel S. Smit -- Exit tax / Rita Szudoczky -- Tax avoidance and the return of CC(C)TB / Frans Vanistendael -- Interest limiation rule / Ruben Martini -- The switch-over clause / Daniel Gutmann -- The controlled foreign company regime / Werner Haslehner -- The GAAR / Markus Seiler -- Consolidation within the CCCTB / Fabian Munsterman -- Tax competition within the European Union revisited : is the relaunched CCCTB a solution? / Maarten F. de Wilde -- Procedural and administrative aspects of the CCCTB / Sjoerd Douma.Preface -- Jan van de Streek -- Ronald Russo -- Hein Vermeulen -- Stefano Grilli -- Paolo Arginelli -- Marjaana Helminen -- Bruno da Silva -- Daniel S. Smit -- Rita Szudoczky -- Frans Vanistendael -- Ruben Martini -- Daniel Gutmann -- Werner Haslehner -- Markus Seiler -- Fabian Munsterman -- Maarten F. de Wilde -- Sjoerd Douma. Some introductory remarks on the relaunched CCTB/CCCTB proposals from a policy perspective / Principles and characteristics of CCTB after the relaunch / Depreciation rules and roll-over relief under the proposed CCTB directive / Allowance for growth and investment / The R&D tax incentives / The participation exemption / Cross-border loss relief under the proposed CCTB directive / The arm's length standard : a blind spot in the CC(C)TB proposals / Exit tax / Tax avoidance and the return of CC(C)TB / Interest limiation rule / The switch-over clause / The controlled foreign company regime / The GAAR / Consolidation within the CCCTB / Tax competition within the European Union revisited : is the relaunched CCCTB a solution? / Procedural and administrative aspects of the CCCTB /1 online resource (xxi, 241 pages
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Empty forests: safeguarding a sinking fagship in a biodiversity hotspot
No full textAnthropogenic activities caused a severe loss of pristine habitats alongside with fragmentation of remaining habitats and the deterioration of habitat quality. The Arabuko Sokoke forest represents the largest remnant of East African coastal forest. Despite conservation efforts to maintain biodiversity in this forest, populations of several species are declining, including flagship species like the endemic Sokoke Scops Owl Otus ireneae. In this study, we assessed the presence of O. ireneae based on playback technique to identify the occurrence of this species across the forest. We then analysed habitat parameters at sites occupied and non-occupied by the owl species. Our data show that O. ireneae occurs restricted to one single forest type, the Cynometra woodland. Results obtained from parametric one-way ANOVA and structural equation modelling reveal that large old Cynometra webberi trees and dead wood are key requirements for the occurrence of this owl species. However, large C. webberi trees are currently illegally logged by the forest adjacent human population to produce timber, carvings, poles. Charcoal and dead wood represents a major energy source for households. Otus ireneae, being the smallest owl of East Africa may serve as a charismatic flag ship species to promote conservation of this endangered coastal forest, and furthermore as umbrella to conserve other forest species with similar habitat requirements
Correction: Teaching point-of-care ultrasound using a serious game: a randomized controlled trial
Full text linkFollowing publication of the original article [1], the authors identified an error in the author name of Jan C. ter Maaten. The incorrect author name is: Jan ter Maaten. The correct author name is: Jan C. ter Maaten.</p
The Roles of One Thought Experiment in Interpreting Quantum Mechanics. Werner Heisenberg meets Thomas Kuhn.
Full text linkRecent years saw the rise of an interest in the roles and significance of thought experiments in different areas of human thinking. Heisenberg's gamma ray microscope is no doubt one of the most famous examples of a thought experiment in physics. Nevertheless, this particular thought experiment has not received much detailed attention in the philosophical literature on thought experiments up to date, maybe because of its often claimed inadequacies. In this paper, I try to do two things: to provide an interesting interpretation of the roles played by Heisenberg's gamma ray microscope in interpreting quantum mechanics - partly based on Thomas Kuhn's views on the function of thought experiments - and to contribute to the ongoing discussions on the roles and significance of thought experiments in physics
plink2 (21 Jan 2022)
No full text21 Jan release of plink2 as used in prspipe (https://github.com/intervene-EU-H2020/prspipe). Christopher Chang is the author of the plink2 software. Plink2 is made available on the GPLv3+ license. The binary is made available here for reproducibility reasons.Chang, C. C. et al. Second-generation PLINK: rising to the challenge of larger and richer datasets. Gigascience 4, s13742-015 (2015).</p
Analysis of a File System Using the Verifying C Compiler
No full textTitle: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VC
Analýza souborového systému pomocí Verifying C Compiler
Full text linkNázev práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální verifikace je jeden ze způsobů, jak zlepšit spolehlivost soft- warových systémů. Jeden z přístupů formální verifikace se zaměřuje na dokazo- vaní správnosti anotovaného zdrojového kódu v široce používaném programovacím jazyce. Verifier C Compiler (VCC) je verifikátor pro concurrent C, který přijímá anotovaný kód v jazyce C a automaticky ověřuje jeho správnost s ohledem na tuto anotaci. Už se objevily úspěšné pokusy o ověření některých kritických systémů, včetně jádra operačního systému. Další důležitou součástí operačního systému je jeho systém souborů. V diplomové práci jsme si vybrali souborový systém FatFs, odlehčenou implementaci souborového systému FAT, nezávislou na zařízení. V této práci vytvoříme specifikaci jeho části pomocí anotace VCC a úspěšně ověříme jeho korektnost. Klíčová slova: Formal Verification, File System, VCCTitle: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VCCDepartment of Distributed and Dependable SystemsKatedra distribuovaných a spolehlivých systémůMatematicko-fyzikální fakultaFaculty of Mathematics and Physic
- …
