In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
L. Rosales, M. Pacheco, Z. Barticevic, P. Orellana
Abstract. We propose a new solution method for optimal stopping problems with random discounting for linear diffusions whose state space has a combination of natural, absorbing, or...
This paper presents the design of PhotoMirror an intra-home communication appliance for supporting informal, lightweight communication and awareness between home inhabitants. The P...
Panos Markopoulos, Bert Bongers, Erik Alphen, Jasp...
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...