223 research outputs found
sj-docx-1-dst-10.1177_19322968231190941 – Supplemental material for Clinical Performance Evaluation of Continuous Glucose Monitoring Systems: A Scoping Review and Recommendations for Reporting
No full textSupplemental material, sj-docx-1-dst-10.1177_19322968231190941 for Clinical Performance Evaluation of Continuous Glucose Monitoring Systems: A Scoping Review and Recommendations for Reporting by Guido Freckmann, Manuel Eichenlaub, Delia Waldenmaier, Stefan Pleus, Stephanie Wehrstedt, Cornelia Haug, Lilian Witthauer, Johan Jendle, Rolf Hinzmann, Andreas Thomas, Elisabet Eriksson Boija, Konstantinos Makris, Peter Diem, Nam Tran, David C. Klonoff, James H. Nichols and Robbert J. Slingerland in Journal of Diabetes Science and Technology</p
Sacred building back to the residents
No full textThe transformation of the St Jozef Church in Amsterdam West into a cultural center for the Robbert Scott neighborhood.R-MITArchitectureArchitecture and The Built Environmen
Hemoglobin A1c : standardisation, analytical performance and interpretation
No full text[Nog geen abstract aanwezig]
Pre-hospital risk stratification in suspected Non ST-elevation acute coronary syndrome
No full textThis dissertation focuses on pre-hospital stratification by ambulance workers in case of suspicion of a heart attack. The aims of this dissertation are to investigate how low-risk patients can be accurately identified, to determine the current use of health care in these patients, and to evaluate whether patients with a high-risk of angioplasty or heart surgery can be detected earlier. This pre-hospital stratification appears to help avoid unnecessary transportation to the hospital of low-risk patients and to limit the use of medical care in this group. In addition, high-risk patients can possibly better be transported directly to an intervention hospital instead of a peripheral hospital. With this study, the researchers hope to be able to help patients with chest pain better and faster
Het huisvesten van kennis: Een plek die ons stimuleert zo vrij mogelijk te denken
No full textRobbert Dijkgraaf is sinds mei 2008 voorzitter van de Koninklijke Nederlandse Akademie van Wetenschappen. Hij is cum laude gepromoveerd, staat bekend als een briljant wetenschapper die de wetenschap toegankelijk maakt voor een groter publiek. FMI trad in gesprek met hem over wetenschappelijk denken en de huisvesting die hier het beste bij past.Real Estate and Housin
Coll., Die Welt des Islams, vol. 54, n°1, 2014
No full textChristoph Schumann
Author: Thomas Philipp Source: Volume 54, Issue 1, pp 1 –3 Materials for a History of Hungarian Academic Orientalism: The Case of Gyula Germanus Author: Adam Mestyan Source: Volume 54, Issue 1, pp 4 –33 Franz Rosenthal’s Half an Autobiography
Author: Hinrich Biesterfeldt Source: Volume 54, Issue 1, pp 34 –105 Post-Islamism in Distress? A Critical Evaluation of the Theory in Islamist-Dominated Egypt (11 February 2011-3 July 2013)
Author: Robbert A.F.L. Wolteri..
Cryostat Control: Real time control for a cryogenic refrigerator
No full textIn order to measure the spectrum of radio emissions from galaxies and other deep space objects, a new superconducting spectrometer, working at very cold temperatures close to the absolute zero, is developed. An advanced cooling system called a cryostat is used to cool down the spectrometer. The cool down of the cryostat involves the control of multiple sensors and actuators connected to the cryostat to achieve a final temperature below 250 millikelvin. A software program is used for this purpose. As extra hardware components have been added to the cryostat, the existing program does no longer fulfill the requirements. For this reason a new software program, which can monitor temperatures of all components and start control processes, is developed. The developed program consists of a client server structure. The server handles the logic of the cryostat using several controllers. It can send data to a native client, which is the graphical user interface, or a REST API. The native client displays sensor readouts received from the server and allows full control of server, which means it can start the cool down process as well as manual control processes. The REST API allows the user to have full control over the server using a Python script to achieve measurements which cannot be done from the native client. The increased automation, improved control and ability to integrate with external Python scripts allow the user to focus on the essential parts of an experiment making the developed program an improvement over the previous program
Three Way Duels: Infinite Games on the Unit Square
No full textWith the growing wealth and economy of a country, there are an increasing amount of small and big businesses. Every company has its own marketing strategy that it uses in order to lure customers away from their competition and increase their sales. Choosing the perfect time to advertise or discount several products is of essence for a company to gain more money than their competition. These type of marketing games are all slight variations of duels. The purpose of this report is to research how this duel is played most optimal when there are two or more participants. Several types of two-player duels shall be analysed first in order to understand and analyse a three-player duel.Applied Mathematic
Proving functional correctness of monadic programs using separation logic
No full textInteraction trees are an active development in representing effectful and impure pro- grams in the Coq proof assistant. Examples of programs they can represent are programs that use: mutable state, concurrency and general recursion. Besides representing these programs we also want to reason about and verify these programs using separation logic. That is the purpose of this thesis. More technically speaking interaction trees are new way to do shallow embeddings in the Coq proof assistant. They are a coinductive variant of the free monad and come with the usual constructions of events and event handlers. The aim of interaction trees is to represent impure programs and potentially non-terminating programs in their environment. Interaction trees are, in contrast to relational operational semantics, executable by interpretation or program extraction. Interaction trees come with a framework for reasoning about their behavior based on equivalency up to weak bisimulation. An open problem is to reason about interaction trees utilizing a separation logic rather than weak bisimulation. We developed Pothos as a solution to this problem. Pothos has an Iris based concurrent separation logic for interaction trees. We address the problem in a non-extensible setting, with mutable state, non-termination and concur- rency as our chosen effects. Pothos inherits all the executable properties from interaction trees and includes a novel relation of Iris’s step-index with coinductive types. We have proven our logic to be sound and include a case study of a spin lock library. The case study shows that our logic is both non-trivial and can utilize the standard Iris patterns for concurrency.Computer Scienc
- …
