568 research outputs found
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
Chasing time:Characterisation and application of precision temporal measurements with silicon pixel detectors
No full textThis dissertation focuses on the development of fast-timing silicon pixel detectors for high-energy physics experiments at CERN, specifically within the LHCb experiment. These silicon detectors are common within a wide variety of fields for the detection of highly energetic charged particles. The application of these detectors within LHCb will require a per-hit temporal resolution of at least 50 ps. To develop novel silicon detectors that will be able to achieve this goal, two dedicated characterisation systems —a beam telescope and a laser-based two-photon absorption technique— are introduced to assess the temporal performance of silicon detectors. Initial results achieved with these systems show promising advancements in temporal resolution. These results will aid in the further development of these detectors to reach the 50 ps goal
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
Adapting cultural heritage to climate change impacts in the Netherlands: barriers, interdependencies, and strategies for overcoming them
No full textClimate change is currently impacting cultural heritage globally. Despite advances in the understanding of the relationship between climate change impacts and cultural heritage, there are significant barriers that hamper adaptation of cultural heritage to current and projected climate risks. This paper aims to advance the empirical understanding of barriers to adapting cultural heritage to climate-related impacts in the Netherlands by identifying different barriers, their interdependencies, and possible strategies to overcome these barriers. Using a web-based questionnaire with 57 experts, we find that the most frequently reported barriers are a lack of climate change adaptation policy for cultural heritage, and lack of climate vulnerability and risk assessments for diverse cultural heritage types. Our study finds that barriers are perceived to be interdependent and conjointly constrain adapting cultural heritage to climate change. Six actionable strategies are identified to navigate these barriers.History, Form & Aesthetic
- …
