In order to collaboratively explore an environment with a Micro Aerial Vehicle (MAV), an operator needs a mobile interface, which can support the operator’s divided attention. To this end, we developed the Micro Aerial Vehicle Exploration of an Unknown Environment (MAV-VUE) interface, which allows operators with minimal training the ability to remotely explore their environment with a MAV. MAV-...

Four atrazine-resistant mutants from the purple bacterium Rhodopseudomonas viridis were isolated. Sequence analysis revealed three different mutant strains carrying mutations in the herbicide-binding pocket: i) MAV 2: L212-Glu----Lys, ii) MAV 3: L216-Phe----Ser and iii) MAV 4 = MAV 5: L217-Arg----His, L220-Val----Leu. Except MAV 3 all Rps. viridis mutants are different from those selected by th...

Infection of adult C57BL/6 (B6) mice with mouse adenovirus type 1 (MAV-1) results in dose-dependent encephalomyelitis. Utilizing immunodeficient mice, we analyzed the roles of T cells, T-cell subsets, and T-cell-related functions in MAV-1-induced encephalomyelitis. T cells, major histocompatibility complex (MHC) class I, and perforin contributed to acute disease signs at 8 days postinfection (p...

Hemolysin was quantified in 58 isolates of Mycobacterium avium from human, animal, and environmental sources. Human Mav-A and Mav-B isolates were the strongest producers; in contrast, animal and environmental Mav-A isolates and human, animal, and environmental Mav-C organisms were low-level producers. Hemolysin production was not restricted to isolates causing invasive infections.

Application of human adenovirus type 5 (Ad5) derived vectors for cancer gene therapy has been limited by the poor cell surface expression, on some tumor cell types, of the primary Ad5 receptor, the coxsackie-adenovirus-receptor (CAR), as well as the accumulation of Ad5 in the liver following interaction with blood coagulation factor X (FX) and subsequent tethering of the FX-Ad5 complex to hepar...

Adenovirus fiber knobs are the capsid components that interact with binding receptors on cells, while an Arg-Gly-Asp (RGD) sequence usually found in the penton base protein is important for the interaction of most adenoviruses with integrin entry receptors. Mouse adenovirus type 1 (MAV-1) lacks an RGD sequence in the virion penton base protein. We tested whether an RGD sequence found in the MAV...

The transforming growth factor-b (TGF-b) superfamily of structurally related ligands regulates essential signaling pathways that control many aspects of cell behavior in organisms across the phylogenetic spectrum. Here we report the identi®cation of maverick (mav), a gene that encodes a new member of the TGF-b superfamily in Drosophila. Phylogenetic analysis and sequence comparison suggest that...

We present a quad-rotor micro aerial vehicle (MAV) that is capable to fly and navigate autonomously in an unknown environment. The only sensory input used by the MAV are the imagery from two cameras in a stereo configuration, and data from an inertial measurement unit. We apply a fast sparse stereo matching algorithm in combination with a visual odometry method based on PTAM to estimate the cur...

UNLABELLED Susceptibility to mouse adenovirus type 1 (MAV-1) is mouse strain dependent; susceptible mice die from hemorrhagic encephalomyelitis. The MAV-1 susceptibility quantitative trait locus Msq1 accounts for ~40% of the phenotypic (brain viral load) variance that occurs between resistant BALB/c and susceptible SJL mice after MAV-1 infection. Using an interval-specific congenic mouse strain...

This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV). Due to the presence of the self-dual non-commutative operator from BV, the calculus MAV is defined in the calculus of structures — a generalisation of the sequent calculus where inference ...