Roving vehicle motion control Quarterly report, 1 Mar. - 31 May 1967

System and subsystem requirements for remote control of roving space vehicle motio

Stable divisorial gonality is in NP

Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$. In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$

Roving vehicle motion control Final report

Roving vehicle motion control for unmanned planetary and lunar exploratio

Galois covers of the open p-adic disc

This paper investigates Galois branched covers of the open $p$-adic disc and their reductions to characteristic $p$. Using the field of norms functor of Fontaine and Wintenberger, we show that the special fiber of a Galois cover is determined by arithmetic and geometric properties of the generic fiber and its characteristic zero specializations. As applications, we derive a criterion for good reduction in the abelian case, and give an arithmetic reformulation of the local Oort Conjecture concerning the liftability of cyclic covers of germs of curves.Comment: 19 pages; substantial organizational and expository changes; this is the final version corresponding to the official publication in Manuscripta Mathematica; abstract update

Ions in Fluctuating Channels: Transistors Alive

Ion channels are proteins with a hole down the middle embedded in cell membranes. Membranes form insulating structures and the channels through them allow and control the movement of charged particles, spherical ions, mostly Na+, K+, Ca++, and Cl-. Membranes contain hundreds or thousands of types of channels, fluctuating between open conducting, and closed insulating states. Channels control an enormous range of biological function by opening and closing in response to specific stimuli using mechanisms that are not yet understood in physical language. Open channels conduct current of charged particles following laws of Brownian movement of charged spheres rather like the laws of electrodiffusion of quasi-particles in semiconductors. Open channels select between similar ions using a combination of electrostatic and 'crowded charge' (Lennard-Jones) forces. The specific location of atoms and the exact atomic structure of the channel protein seems much less important than certain properties of the structure, namely the volume accessible to ions and the effective density of fixed and polarization charge. There is no sign of other chemical effects like delocalization of electron orbitals between ions and the channel protein. Channels play a role in biology as important as transistors in computers, and they use rather similar physics to perform part of that role. Understanding their fluctuations awaits physical insight into the source of the variance and mathematical analysis of the coupling of the fluctuations to the other components and forces of the system.Comment: Revised version of earlier submission, as invited, refereed, and published by journa

KEPADATAN JENTIK VEKTOR DEMAM BERDARAH DENGUE (DBD) Aedes sp. DI DAERAH ENDEMIS, SPORADIS DAN POTENSIAL KOTA SEMARANG, PROVINSI JAWA TENGAH

ABSTRAKDemam Berdarah Dengue (DBD) adalah penyakit menular yang disebabkan oleh virus Dengue dan ditularkan oleh nyamukAedes aegypti. Kota Semarang merupakan daerah endemis DBD dengan jumlah kasus sebanyak 5.538 kasus,IR 36,75/10.000 penduduk dan CFR 0,8% (tahun 2010). Data kepadatan vektor dapat digunakan untuk menentukan tindakanpengendalian vektor yang tepat. Tujuan dari penelitian ini adalah untuk menghitung HI, CI, BI, DF, dan Angka Bebas Jentik(ABJ) Aedes sp. di daerah endemis, sporadis dan potensial DBD. Jenis penelitian deskriptif dengan pendekatan crosssectional. Metode pelaksanaan survei jentik dengan single larva. Populasi adalah seluruh rumah di KelurahanSendangmulyo, Terboyo Wetan, dan Pesantren. Pengambilan sampel penelitian menggunakan metode purposif. Hasilpenelitian menunjukkan bahwa angka HI (53,75%), CI (30,77%), BI (75%), dan DF (7) tertinggi di Kelurahan TerboyoWetan (sporadis). Angka ABJ di semua lokasi penelitian < 95%. Kepadatan jentik daerah sporadis lebih tinggi dibandingdaerah endemis DBD. Kepadatan jentik tidak berkorelasi dengan stratifikasi endemisitas wilayah DBD