Data Types have Existential Types data Stack a = forall s. Stack s -self (a->s->s) -push (s->s) -pop (s->a) -top (s->Bool) -empty push :: a -> Stack a -> Stack a push x (Stack s push’ pop top empty) = Stack (push’ x s) push’ pop top empty pop :: Stack a -> Stack a pop (Stack s push pop’ top empty) = Stack (pop’ s) push pop’ top empty A Framework for Extended Algebraic Data Types – p.6 Abstract ...

We consider a multi-agent framework for distributed optimization where each agent in the network has access to a local convex function and the collective goal is to achieve consensus on the parameters that minimize the sum of the agents’ local functions. We propose an algorithm wherein each agent operates asynchronously and independently of the other agents in the network. When the local functi...

Multi-agent Pathfinding is a relevant problem in a wide range of domains, for example in robotics and video games research. Formally, the problem considers a graph consisting of vertices and edges, and a set of agents occupying vertices. An agent can only move to an unoccupied, neighbouring vertex, and the problem of finding the minimal sequence of moves to transfer each agent from its start lo...

Background: Despite high coverage of indoor interventions like insecticide-treated nets, mosquito-borne infections persist, partly because of outdoor-biting, early-biting and insecticide-resistant vectors. Push-pull systems, where mosquitoes are repelled from humans and attracted to nearby lethal targets, may constitute effective complementary interventions. Methods: A partially randomized cros...

BACKGROUND AND HYPOTHESIS The push-up plus exercise is a common therapeutic exercise for improving shoulder function and treating shoulder pathology. To date, the kinematics of the push-up plus exercise have not been studied. Our hypothesis was that the wall push-up plus exercise would demonstrate increased scapular internal rotation and increased humeral anterior translation during the plus ph...

Data broadcasting has emerged as an efficient way for the dissemination of information over asymmetric wireless environments where the needs of the various users of the data items are usually overlapping. In such environments, data broadcasting stands to be an efficient solution since the broadcast of a single information item is likely to satisfy a possibly large number of users. Communication...

Algorithms for the maximum flow problem can be grouped into two categories: augmenting path algorithms [9], and preflow push algorithms [11]. Preflow push algorithms are characterized by a drawback known as ping pong effect. In this paper we present a technique that allows to avoid such an effect and can be considered as an approach combining the augmenting path and preflow push methods. An ext...

Proper immunostimulation ("push") and immune checkpoint blockade ("release") are both critical for the efficacy of anticancer immunotherapy. We have recently shown that activating Toll-like receptor 9 (TLR9) while specifically blocking signal transducer and activator of transcription 3 (STAT3) in leukemic cells enhances their immunogenicity, allowing for CD8+ T cell-mediated tumor eradication. ...

Jeffrey Sachs is the economics profession’s leading advocate of mega-reform. Whether it is stabilization of hyperinflation in Bolivia, shock therapy to leap from Communism to capitalism in Poland and Russia, or a “Big Push” to end world poverty , Sachs’ recommendation throughout his career has been to do it fast, do it big, do it comprehensively, and do it with lots of Western money. Sachs’ app...