dotty is a new, experimental Scala compiler based on DOT, the calculus of Dependent Object Types. Higher-kinded types are a natural extension of first-order lambda calculus, and have been a core construct of Haskell and Scala. As long as such types are jus ...
The most successful systems for “big data” processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate on which to build data-centric distributed systems. A key id ...
We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of ord ...
In this paper, we prove several extremal results for geometrically defined hypergraphs. In particular, we establish an improved lower bound, single exponentially decreasing in k, on the best constant delta > 0 such that the vertex classes P-1,...,P-k of ev ...
Society for Industrial and Applied Mathematics2016
Using modern differential geometric methods, we study the relative equilibria for Dirichlet's model of a self-gravitating fluid mass having at least two equal axes. We show that the only relative equilibria of this type correspond to Riemann ellipsoids for ...
Motion control of bio-inspired mobile robotic platforms can prove a challenging problem. In particular, models for the considered type of systems may prove nonlinear, uncertain, and fairly complicated. To address these issues, use of an output predictor-ba ...
