4,462 research outputs found
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
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe 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
Correction: Teaching point-of-care ultrasound using a serious game: a randomized controlled trial
No full textFollowing 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
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
No full textNá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
Author Co-Citation Analysis (ACA): a powerful tool for representing implicit knowledge of scholar knowledge workers
No full textIn the last decade, knowledge has emerged as one of the most important and valuable organizational assets. Gradually this importance caused to emergence of new discipline entitled ―knowledge management‖. However one of the major challenges of knowledge management is conversion implicit or tacit knowledge to explicit knowledge. Thus Making knowledge visible so that it can be better accessed, discussed, valued or generally managed is a long-standing objective in knowledge management. Accordingly in this paper author co- citation analysis (ACA) will be proposed as an efficient technique of knowledge visualization in academia (Scholar knowledge workers)
Does strict employment protection discourage job creation? Evidence from Croatia
No full textEmployment protection legislation in Croatia is among the most strict in Europe. Firing is difficult and costly, and flexible forms of employment are limited. Is this apparent rigidity reflected-as one would expect based on standard economic theory-in low labor market dynamics? Is job creation low and hiring limited? Is the job security of insiders achieved at the cost of outsiders not being able to enter thelabor market? The author attempts to answer these questions by examining job flows. If the employment protection legislation is binding, then job and worker turnover should be low. He shows that this is indeed the case. Hiring is limited and the average job tenure is very long in Croatia. Job destruction is low, however job creation is still lower. The result is accumulation of unemployment, in large part due to new labor market entrants not being able to find a job. The high degree of job protection also seems to strengthen the bargaining position of insiders and results in relatively high wages. So, wages in Croatia are higher than among its competitors, even after adjusting for productivity. These high labor costs are likely to contribute to limited job creation in existing firms, but also are likely to discourage the entry of-and thus job creation in-new firms. The author presents evidence that firm growth has been indeed limited in Croatia, contributing to the low employment level. The author examines other potential causes of high unemployment in Croatia (the unemployment benefit system, labor taxation, the wage structure, and skill and spatial mismatches). He argues that they do not play a substantial part in accounting for poor labor market outcomes in Croatia. The author concludes that the stringent employment protection legislation is the key labor market institution behind low job creation and high unemployment. Based on this he recommends specific measures aimed at liberalizing the labor market to foster job creation and employment.Labor Management and Relations,Labor Policies,Labor Markets,Environmental Economics&Policies,Trade Finance and Investment,Labor Markets,Labor Management and Relations,Labor Standards,Banks&Banking Reform,Environmental Economics&Policies
A South African overview of gypcrete in road construction
No full textDissertation (MSc)--University of Pretoria, 2019.Gypcrete occurs in the western arid and semi-arid regions of South Africa and Namibia. These soils exhibit a complex nature and abnormal behaviour due to their gypsum content and as such they have become more prevalent in research. As these soils are finding more use in industry, a keen understanding of their properties and behaviour is required. Powdery and indurated gyprete samples collected from the Northern Cape (Geelvloer) and Western Cape (Rooiberg and R355) Provinces, are subjected to a series of standard test protocols for road construction materials and then compared to similar studies done on gypcrete both in South Africa and abroad, where gypcrete is researched more extensively and used successfully. The samples collected were dried at 40 °C to prevent phase transitions that will affect the properties of the material. The strength of powdery gypcrete is sensitive to density changes; therefore achieving a high density during compaction is imperative, while the strength of more indurated samples remains unaffected by density. The soaking period before the CBR is also deemed unsuitable for gypcrete as four days results in an overestimation of strength. It is apparent that the properties of gypcrete are affected by several factors, including the formation conditions, type of gypsum, and amount of gypsum, particle size distribution, the size of gypsum particles relative to other particles in the soil and the presence of other salts, all of which affects gypcrete differently making it difficult to form clear trends. The samples are also subject to wetting and drying cycles at 40 °C and 60 °C before the CBR values are determined again, to assess the variation in strength due to mineral alteration. An increase is seen for all samples dried at the higher temperature. This leads to the notion that gypcrete possesses self-stabilising properties, where temperatures in hot areas could dehydrate the gypsum, which will then readily re-absorb atmospheric moisture, leading to the formation of cementing between particles and an increase in strength. The testing served as preliminary research to guide further studies into the topic.
The natural powdery gypcrete samples, with high gypsum contents and a lot of fine material, and five prepared samples of differing gypsum contents, were subject to falling-head permeability tests using both water and brine. It is understood that particle size distribution contributes to the hydraulic conductivity of soils, where a higher portion fines results in a lower hydraulic conductivity. In the case of gypcrete, the solubility is of significance as well, as it may have long term effects, through leaching and eventual cavity formation. With the intent of evaluating the effect of the aforementioned factors on the hydraulic conductivity of gypcrete in South Africa, the samples used represent differences in particle size distribution, gypsum content and origin. All samples, both natural and prepared, resulted in similar k values, in the order of 7.26x10-6 m/s, for water and the brine, despite the differences in properties. The results show that while the hydraulic conductivity is believed to be influenced by particle size distribution and origin, in the case of gypcrete in South Africa, on a small scale, it remained largely consistent.GeologyMSc (Engineering Geology)Unrestricte
Correction to: Effectiveness of quality incentive payments in general practice (EQuIP-GP): a study protocol for a cluster-randomised trial of an outcomes-based funding model in Australian general practice to improve patient care (BMC health services research (2019) 19 1 (529))
No full textIn the original publication of this article [1], the first name of the 3rd author is wrong. The correct name should be Jan C. Radford. The original article has been corrected.</p
- …
