171 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
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
A New Journey from Flower to Vase: Supply chain & digital design for an automated vending business concept
No full textA design study was performed that investigated the feasibility of a business concept combining a unified supply chain with automated vending points in the floriculture sector. In such a business, a direct link between production (growers of flowers) and customers exists. The added value along the chain can then remain with the growers. This could provide a method for the sector to meet challenges facing them.This study targeted the development of both a design for the physical operations in the supply chain as well as the digital system providing the coordination required for the operations in the unified chain. A systematic approach was followed to arrive at multiple design alternatives.The physical designs were created by converting a functional design into design options on a morphological chart. The morphological chart was reviewed using SCOR performance score cards, and design alternatives were drafted from the remaining well-scoring options on the morphological chart. They were converted into a level 2 SCOR mapping. Based on the physical designs, digital designs were created using enterprise architecture modelling in Archi.The resulting design alternatives were rated using a multiple-criteria decision analysis, by comparing them to a list of requirements and constraints, and with SWOT analyses. Based on this, a best alternative was concluded to be feasible to implement. The design alternatives were demonstrated in capability by simulating the flower journey and they were evaluated on feasibility in a workshop with clients. The conclusion that a business concept with a unified supply chain and automated vending points could be viable to implement in the floriculture sector means that further development of the designs into practical realisation is possible for actors in the sector. Comparable industries can also take the study as an indication of possibilities in their sector when combining a data-driven approach with centralized supply chain coordination.Complex Systems Engineering and Management (CoSEM
Design and Validation of Ungrounded Wrist Perturbator Based On Parallel Mechanism
No full textThe compliance (stiffness) of a human arm varies, depending on the task at hand. Some precise tasks require high stiffness, while others need a level of flexibility to deal with unknown disturbances. To describe this human behaviour a portable device is needed to give small force perturbations (input) while the resulting reaction of the arm (output) is measured. There are multiple state-of-the-art devices to choose from to provide such input. However, the majority of these devices either offer too little versatility or impede the free movement of the user. Implementation of a novel parallel mechanism allows for a lightweight (0.175kg) and compact device that can generate various signals in three degrees-of-freedom. Since the device is designed to be mounted around the wrist, it leaves your arm and hand unobstructed. A full-scale prototype is constructed and the concept is tested using a force sensor. Implementing powerful yet compact servo motors allows for controlled perturbations in the order of 4N, with bandwidths up to 12Hz.Mechanical Engineering | Mechatronic System Design (MSD
Assessing the performance of the sonAIR aircraft noise model in predicting noise levels at Schiphol Airport
No full textAircraft noise is a significant problem for communities surrounding airports. Accurate prediction models are needed to estimate noise levels from aircraft operations. In this research, the accuracy of the sonAIR aircraft noise model is evaluated in predicting noise levels around Schiphol airport by comparison to measurement data from NOMOS and the current best-practice modelling approach Doc29. Results show a significant but consistent underestimation of noise levels by sonAIR, mainly due to a generalisation of emission models. The standard deviation of differences between model results and measurements is lower for sonAIR than for Doc29 by up to 1 dB. Differences between measurement and model results were found in the relation between N1 and noise levels, maximum noise levels and frequency spectra. These results demonstrate that sonAIR provides more reliable predictions of noise levels on the single flight event level than Doc29. Additionally, this study shows agreement with results from a previous validation study in Zürich, thereby confirming the applicability of sonAIR to another airport. This research contributes to better aircraft noise predictions, which will have implications ultimately leading to a better quality of life for communities affected by aircraft noise.Aerospace Engineerin
- …
