We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
As users of wearable computers are often involved in real-world tasks of critical nature, the management and handling of interruptions is crucial for efficient interaction and ta...
Mikael Drugge, Hendrik Witt, Peter Parnes, Kå...
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...