The Kunsthal in Rotterdam is a key work in the oeuvre of OMA/Rem Koolhaas that marks the threshold between the firmâ s architectural production of the decades before and after 1990. This doctoral thesis aims at a deeper and comprehensive understanding of ...
An insertion device (100; 100') for inserting a retinal prosthesis (200) into the eye of a patient comprises: a handle portion (1; 1') arranged to be grasped by a user of the insertion device (100; 100'), a cannula element (12; 12') arranged to be inserted ...
The absence of centrosymmetry in chiral and polar crystal structures is the reason for many technical relevant physical properties like optical birefringence or ferroelectricity. Other chirality related properties that are actually intensively investigated ...
Amatoxins are ribosomally synthesized and post-translationally modified bicyclic octapeptides biosynthesized by the deadly basidiomycete fungus Amanita phalloides. Amongst this group, alpha-amanitin is the most widely known toxin and is currently under inv ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model.
Furthermore, they need to interact with other languages targeting said runtimes.
A language targeting only one runtim ...
Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...
Many different data analytics tasks boil down to linear algebra primitives. In practice, for each different type of workload, data scientists use a particular specialised library. In this paper, we present Pilatus, a polymorphic iterative linear algebra la ...
