EDEN: A High-Performance, General-Purpose, NeuroML-Based Neural Simulator

Modern neuroscience employs in silico experimentation on ever-increasing and more detailed neural networks. The high modeling detail goes hand in hand with the need for high model reproducibility, reusability and transparency. Besides, the size of the models and the long timescales under study mandate the use of a simulation system with high...

Parallel Scalability of Three-Level FROSch Preconditioners to 220000 Cores using the Theta Supercomputer

The parallel performance of the three-level fast and robust overlapping Schwarz (FROSch) preconditioners is investigated for linear elasticity. The FROSch framework is part of the Trilinos software library and contains a parallel implementation of different preconditioners with energy minimizing coarse spaces of generalized Dryja--Smith--Widlund...

Design capability in a software SME: Report from an embedded design innovation catalyst

<br/>Recent studies on the added value that design provides to firms has led to widespread interest amongst the business community to develop design. However, knowledge of how organizations of varying industry types actually make use of design to generate competitive advantages remains limited. This study investigates a small- to medium-sized...

iRASPA: GPU-accelerated visualization software for materials scientists

A new macOS software package, iRASPA, for visualisation and editing of materials is presented. iRASPA is a document-based app that manages multiple documents with each document containing a unique set of data that is stored in a file located either in the application sandbox or in iCloud drive. The latter allows collaboration on a shared...

The MADP Toolbox: An Open Source Library for Planning and Learning in (Multi-)Agent Systems

This article describes the MultiAgent Decision Process (MADP) toolbox, a software library to support planning and learning for intelligent agents and multiagent systems in uncertain environments. Key features are that it supports partially observable environments and stochastic transition models; has unified support for single- and multiagent...

On computing the maximum parsimony score of a phylogenetic network

Phylogenetic networks are used to display the relationship among different species whose evolution is not treelike, which is the case, for instance, in the presence of hybridization events or horizontal gene transfers. Tree inference methods such as maximum parsimony need to be modified in order to be applicable to networks. In this paper, we...

A designerly methodology for software development

This PhD researches the domain of industrial design engineering starting from the strong technological evolutions and changing economic, social and ecological needs. Our current products are not only build from hardware components, but are a complex mix of hardware, software and services (in different proportions). This complexity is needed to...

Modeling of Image Formation in Cryo-Electron Microscopy

Knowledge of the structure of biological specimens is crucial for understanding life. Cryo-electron microscopy (cryo-EM) permits structural studies of biological specimen at their near-native state. The research performed in this thesis represents one of two subprojects of the FOM industrial partnership program with FEI Company. The common aim...

Software Language Evolution

Software plays a critical role in our daily life. Vast amounts of money are spent on more and more complex systems. All software, regardless if it controls a plane or the game on your phone is never finished. Software changes when it contains bugs or when new functionality is added. This process of change is called software eovlution. Despite...

Precise and unbiased estimation of astigmatism and defocus in transmission electron microscopy

Defocus and twofold astigmatism are the key parameters governing the contrast transfer function (CTF) in transmission electron microscopy (TEM) of weak phase objects. We present a new algorithm to estimate these aberrations and the associated uncertainties. Tests show very good agreement between simulated and estimated defocus and astigmatism....

Recommendations for implementation of clamping strength in SteenToets: Kennisontwikkeling t.b.v. SteenToets 2006 Onderdeel 1 Normaalkracht

This report belongs to the research programme on unknown aspects of Block Revetment systems. The stability of block revetments under wave loading is presumed to benefit from clamping forces. In previous studies a physical model for clamping forces was developed and verified. The existing design and design checking software code SteenToets...

Experiments with Formal Methods in Software Engineering

De Sedimet: Een sedimentatiebalans

Wanneer in een vat een korrelvormige vaste stof met een vloeistof wordt gemengd en de dichtheid van de vaste stof groter is dan die van de vloeistof, zal de stof bezinken. In dat geval zullen er na verloop van tijd boven een bepaald niveau in het vat geen deeltjes van de vaste stof voorkomen waarvan de valsnelheid groter is dan de afstand van...

Computerprogramma's welke bij de Technische Hogeschool zijn ontwikkeld betreffende: Kusten, kustverdediging en aanverwante onderwerpen

Korte beschrijvingen van kustwaterbouwkundige software met verwijzingen naar achtergronddocumenten