Searched for: subject:"Proof"
(1 - 19 of 19)
document
Verseput, Sander (author)
It is the year 2019 and the Dutch economy is flourishing. However, the retail sector is still in a ‘re- inventing phase’. The popularity of e-commerce is increasing and Dutch shopping districts are continuously changing. This affects the profitability of both retailers and retail investors. Considering that the Dutch population is aging, people...
master thesis 2019
document
Simmering, Mick (author)
Problem Definition and main objective: Current prefabricated building envelope systems utilised for energy reduction renovations are expected to be a long-lasting solution. In practice, the building envelope systems are not adapted to facilitate future updates due to changing regulations or changing standards. Furthermore, in most renovation...
master thesis 2019
document
Dekker, Milan (author)
The inland ports play an important role in the Dutch transport system, but it will undergo changes as a result of the societal changes in demand for services and goods and the changes in hydraulic conditions. The inland port has to adapt to these developments in order to reduce the threats and to increase the opportunities, but this requires...
master thesis 2018
document
Sewsingh, Ricky (author)
During military or peacekeeping operations it is often the case that coalitions are formed between nations or instances to achieve common objectives by joint decision making and resource sharing. Often a coalition partner participates for a certain period of time and other nations or instances might want to join the coalition in a later stage,...
master thesis 2018
document
van der Geest, Thomas (author)
Durability of buildings, the capacity to provide functional usable space for a certain time, as a concept of sustainable architecture forms the starting point and motivation for this project. As part of this main approach, the future function strategy should be introduced. This strategy contains an existing building which will be redesigned in a...
master thesis 2018
document
Defize, Niels (author)
In the process of urbanization, cities are becoming ever larger and denser, a process accompanied by a dramatic decrease in water permeable surface area. In addition to this, due to climate change, several areas are experiencing extended periods of heavy rainfall and serious droughts, resulting in an increasing water problem in many cities.
master thesis 2018
document
CHEN, Xin (author)
Bridges with different geometrical configurations have been searched with linear finite element analysis. The aim is to find the position and value of critical proof load. Four different parameters, namely span length, width, skewness and thickness ratio, their influence on proof load are found. In total, 166 sets of data are obtained by...
student report 2017
document
Vrooman, Rogier (author)
Within the phenomenon known as the Internet of Things (IoT), an enormous growth is taking place. IoT systems exist in different ways, ranging from industrial applications to user focused systems. A specific subset of a user-focused IoT system is found as Smart Home environments. At Smart Homes, themultiple Smart Objects or Smart Devices are...
master thesis 2017
document
Bruyn, Tim (author)
This report is a discussion of the 1984 report 'An automatic proof procedure for several geometries' by Th. Bruyn and H.L. Claasen, inspired by a personal desire to understand the work of Th. Bruyn. See: http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143e
Bruyn and Claasen prove that certain true propositions of the theory...
bachelor thesis 2017
document
Asgharnia Gourabjiri, Arash (author)
master thesis 2017
document
Snaar, K.A. (author)
Background: Ductoscopy is a minimally invasive procedure, using a sub millimeter fiber optical camera, to explore the mammary ductal epithelium for Pathological Nipple Discharge (serous fluid discharged from the milk duct) and breast cancer, detecting lesions up to eight years before other modalities. Although ductoscopy can revolutionize breast...
master thesis 2017
document
Blom, J. (author), Caminada, I. (author), Colina Alonso, A. (author), Nientker, G. (author), Rijper, H. (author), Stoop, N. (author)
The objective of this research is to make a general framework, that when run through one can find a suitable measure to make a particular area in Myanmar flood proof. Myanmar suffers from yearly floods that have a huge impact on the population. Making an area flood proof is therefore one of the objectives of the civilian government. In this...
student report 2016
document
Rouvoet, A.J. (author)
Implicit resolution has been part of the Scala language for a while, but the formal system it constitutes and its properties have not been formalized. Oliveira et al. were the first to formalize a calculus of implicits λ⇒ based on the ideas of implicits in Scala. We propose a stronger calculus λS⇒ , extending their results and closing the gap...
master thesis 2016
document
Verbraak, R.G.L. (author)
A sustainable and life-cycle proof, wooden extension for row houses.
master thesis 2016
document
Borota, D. (author)
Positioning and localization are key topics associated with the control and operation of robotic vehicles. This holds in particular for robots functioning in a challenging environment, such as the ship’s hull maintenance robot developed by Fleet Cleaner. As the industry standard techniques are limited due to constraints imposed by the harbor and...
master thesis 2015
document
Van den Berg, R.P. (author)
Keeping maps up to date is quite costly because road geometry changes over time and mapping by professional surveyors is an expensive operation. With the presence of GPS sensors on mobile phones and in most cars today it becomes possible to measure the location of roads with many measurements from sensors of lower accuracy. In this thesis we...
master thesis 2015
document
Ten Napel, A. (author), Narwade, A. (author), Van Helden, T.P. (author)
This document reports the development of a proof of concept for the MijnID Android mobile application. Identity theft and identity fraud are serious problems, leaving thousands of Dutch citizens with debts and damages each year. MijnID aims to improve detection by providing users with insight on what is happening to their personal details as...
bachelor thesis 2015
document
De Graaff, R.V. (author)
This graduation thesis treats the design process of the development of a biogas stove for East African households. In East Africa more than 80% of the people cook on fossil fuels. Exposure to the exhaust fumes of this way of cooking is the fourth worst health risk in East Africa which is similar to the amount of deaths caused by malaria. SimGas...
master thesis 2014
document
Mirza, U.F. (author)
The railway sector in the Netherlands is facing challenges in demand for higher capacity, aging safety systems, European demands to realize interoperability, implementation of modern rolling stock with less shunting performances and the need to standardize technologies. These challenges raise the question whether the Dutch train detection system...
master thesis 2012
Searched for: subject:"Proof"
(1 - 19 of 19)