Ontwikkeling van een Battery Management System voor de Nuna Solar Car

For the safe use of lithium-based batteries, a management system is neccessary. This management system keeps an eye on the battery to prevent it from overloading (explosion hazard) and underloading (battery failure). Furthermore, it strongly reduces degradation of the battery.

Sequentiële Monte Carlo Methoden (Sequential Monte Carlo Methods)

Een studie naar Sequentiele Monte Carlo Methods toegepast op Hidden Markov Models. De Sequential Importance Sampling en Sequential Importance Resampling filters worden bestudeerd en de gebreken zoals weight degeneration en sample impoverishment worden aangetoond en bestreden. Afsluitend een model geconstrueerd voor Stochastische Volatiliteit.

Project SUNRISE: Gebruikersinterface voor het e-bike oplaadstation

De opkomst van e-bikes doet de vraag naar oplaadpunten sterk toenemen. Hierbij speelt duurzaamheid een grote rol in de stroomvoorziening van deze oplaadpunten. Hierom wordt er op de TU Delft campus een oplaadstation gebouwd die zijn energie voornamelijk van zonnepanelen ontvangt. Dit zal een proeftuin zijn voor gelijksoortige toekomstige...

Dike deformation near Eemshaven and Delfzijl measured with satellite radar interferometry

It is observed from satellite radar measurements that the dike between Eemshaven and Delfzijl in the north of the Netherlands shows instability. It can be possible that a development of these instability results in dike failure. The two possible failure mechanisms that may occur are settlement and slope-instability. In this research the...

Modeling Inference Time of Deep Neural Networks on Memory-constrained Systems

Deep neural networks have revolutionized multiple fields within computer science. It is important to have a comprehensive understanding of the memory requirements and performance of deep networks on low-resource systems. While there have been efforts to this end, the effects of severe memory limits and heavy swapping are understudied. We have...

Practical Verification of QuadTrees

Agda2hs is a program which compiles a subset of Agda to Haskell. In this paper, an implementation of the Haskell library QuadTree is created and verified in this subset of Agda, such that Agda2hs can then produce a verified Haskell implementation. To aid with this verification, a number of techniques have been proposed which are used to prove...

Estimating image distortions for mirror anamorphoses using sampled point displacements

The principle of a mirror anamorphosis relies on distortion caused by a reflective object of a particular shape and the perspective of a viewer looking into the reflective object to look at an image on the surface. The distortion of the reflected image is intended to form a recognizable image, while the image on the surface looks completely...

Bayesian Structural Equation Modeling: Explained and Applied to Educational Science

Structural equation modeling (SEM) is frequently used in social sciences to analyze relations among observed and latent variables and test theoretical propositions regarding relations among these latent variables. Frequentist SEM relies on Maximum Likelihood Estimation, and although this method works well for many simple situations, its...

Unsupervised Day-Night Domain Adaptation with a Physics Prior for Image Classification

While deep neural networks show great potential for being part of safety-critical applications such as autonomous driving, covering their sensitivity to illumination shifts by adding training data is of- ten non-trivial. The undesired illumination shift between train and test data can be addressed by domain adaptation methods. Recent work [9]...