We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
Abstract. We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polyto...
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
Abstraction and Data Mining with Visualization of Laboratory Data Katsuhiko Takabayashi a , Tu Bao Ho b , Hideto Yokoi c , Trong Dung Nguyen b , Saori Kawasaki b , Si Quang Le b , ...
Katsuhiko Takabayashi, Tu Bao Ho, Hideto Yokoi, Tr...
Abstract-- Failures of any type are common in current datacenters. As data scales up, its availability becomes more complex, while different availability levels per application or ...
Nicolas Bonvin, Thanasis G. Papaioannou, Karl Aber...