Swarm control is an open problem. We are taking steps for systematic flight control of large numbers of UAVs. In this paper, we present our design and implementation of UAV group control in a fully implemented simulated UAV environment. We explore issues of limited user intervention, novel agent personality, and multi-theater load balancing.
Faltings' theorem states that curves of genus g > 2 have finitely many rational points. Using the ideas of Faltings, Mumford, Parshin and Raynaud, one obtains an upper bound on the upper bound on the number of rational points [Szp85], XI, §2, but this bound is too large to be used in any reasonable sense. In 1985, Coleman showed [Col85] that Chabauty's… (More)
This is an introduction to the method of Chabauty and Coleman, a p-adic method that attempts to determine the set of rational points on a given curve of genus g ≥ 2. We present the method, give a few examples of its implementation in practice, and discuss its effectiveness. An appendix treats the case in which the curve has bad reduction. 1. Rational points… (More)
System administrators are under pressure to do more work and provide better customer service with fewer staff members. At the same time, other challenges emerge: constant interrupts, poor morale, career development needs. At Intel Online Services, we use peer certification to reduce system and network administration burdens while simultaneously improving… (More)