Let D be a connected region inside a simple polygon, P . We define the angle hull of D, AH(D), to be the set of all points in P that can see two points of D at a right angle. We show that the perimeter of AH(D) cannot exceed in length the perimeter of D by more than a factor of 2. This upper bound is tight. Our result can be generalized to angles different from 90◦, and to settings where region...

Deep learning yields great results across many fields, from speech recognition, image classification, to translation. But for each problem, getting a deep model to work well involves research into the architecture and a long period of tuning. We present a single model that yields good results on a number of problems spanning multiple domains. In particular, this single model is trained concurre...

Deductive program veri cation is making fast progress these days. One of the reasons is a tremendous improvement of theorem provers in the last two decades. This includes various kinds of automated theorem provers, such as ATP systems and SMT solvers, and interactive proof assistants. Yet most tools for program veri cation are built around a single theorem prover. Instead, we defend the idea th...

Recently, SPARQL became the standard language for querying RDF data on the Web. Like other formal query languages, it applies a Boolean-match semantics, i.e. results adhere strictly to the query. Thus, queries formulated for one dataset can not easily be reused for querying other datasets. If another target dataset is to be queried, the queries need to be rewritten using the vocabulary of the t...

High quality binders, such as antibodies, are of critical importance for chemical sensing applications. With synthetic alternatives, such as molecularly imprinted polymers (MIPs), less sensor development time and higher stability of the binder can be achieved. In this feature paper, I will discuss the impact of synthetic binders from an industrial perspective and I will challenge the molecular ...

Mitochondria play import roles in the overall metabolism of eukaryotes. Traditionally, they have played a secondary role to the nucleus in the origin of eukaryotes. However, their relative positions in this crucial event for eukaryotic evolution might be reversed.

We show how to specify an elliptic curve public key, RSA public key and DSA public key all in a single 2048 bit block. The method gives a wide choice of nite elds and curves for use in the ECC system and introduces no known security weaknesses. The method hence allows algorithm type to be decided at run time, rather than at the time the public keys are distributed. However, this is done without...

kimiya-yi sa'adat (the alchemy of happiness) is a persian version of ihya'ul ulumuddin in arabic, an outstanding work translated and summerized by abu hamed imam mohammad ghazali.  this book is divided into four major sections, each containing ten chapters:  ibadat (acts of worship), moamelat (transactions), muhlikat (the ways to perdition), and munjiyat (the ways to salvation).  ghaz...