Real-time simulation of an airborne radar for overwater approaches

Software developed to provide a real time simulation of an airborne radar for overwater approaches to oil rig platforms is documented. The simulation is used to study advanced concepts for enhancement of airborne radar approaches (ARA) in order to reduce crew workload, improve approach tracking precision, and reduce weather minimums. ARA's are currently used for offshore helicopter operations to and from oil rigs

On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Bounds on the Complexity of Halfspace Intersections when the Bounded Faces have Small Dimension

We study the combinatorial complexity of D-dimensional polyhedra defined as the intersection of n halfspaces, with the property that the highest dimension of any bounded face is much smaller than D. We show that, if d is the maximum dimension of a bounded face, then the number of vertices of the polyhedron is O(n^d) and the total number of bounded faces of the polyhedron is O(n^d^2). For inputs in general position the number of bounded faces is O(n^d). For any fixed d, we show how to compute the set of all vertices, how to determine the maximum dimension of a bounded face of the polyhedron, and how to compute the set of bounded faces in polynomial time, by solving a polynomial number of linear programs

Random Costs in Combinatorial Optimization

The random cost problem is the problem of finding the minimum in an exponentially long list of random numbers. By definition, this problem cannot be solved faster than by exhaustive search. It is shown that a classical NP-hard optimization problem, number partitioning, is essentially equivalent to the random cost problem. This explains the bad performance of heuristic approaches to the number partitioning problem and allows us to calculate the probability distributions of the optimum and sub-optimum costs.Comment: 4 pages, Revtex, 2 figures (eps), submitted to PR

Room temperature reversible colossal volto-magnetic effect in all-oxide metallicmagnet/topotactic-phase-transition material heterostructures

Multiferroic materials have undergone extensive research in the past two decades in an effort to produce a sizable room-temperature magneto-electric (ME) effect in either exclusive or composite materials for use in a variety of electronic or spintronic devices. These studies have looked into the ME effect by switching the electric polarization by the magnetic field or switching the magnetism by the electric field. Here, an innovative way is developed to knot the functional properties based on the tremendous modulation of electronics and magnetization by the electric field of the topotactic phase transitions (TPT) in heterostructures composed of metallic-magnet/TPT-material. It is divulged that application of a nominal potential difference of 2-3 Volts induces gigantic changes in magnetization by 100-250% leading to colossal Voltomagnetic effect, which would be tremendously beneficial for low-power consumption applications in spintronics. Switching electronics and magnetism by inducing TPT through applying an electric field requires much less energy, making such TPT-based systems promising for energy-efficient memory and logic applications as well as opening a plethora of tremendous opportunities for applications in different domains

Magnetic control of large room-temperature polarization

Numerous authors have referred to room-temperature magnetic switching of large electric polarizations as The Holy Grail of magnetoelectricity.We report this long-sought effect using a new physical process of coupling between magnetic and ferroelectric relaxor nano-regions. Here we report magnetic switching between the normal ferroelectric state and the ferroelectric relaxor state. This gives both a new room-temperature, single-phase, multiferroic magnetoelectric, PbZr0.46Ti0.34Fe0.13W0.07O3, with polarization, loss (<4%), and resistivity (typically 108 -109 ohm.cm) equal to or superior to BiFeO3, and also a new and very large magnetoelectric effect: switching not from +Pr to negative Pr with applied H, but from Pr to zero with applied H of less than a Tesla. This switching of the polarization occurs not because of a conventional magnetically induced phase transition, but because of dynamic effects: Increasing H lengthens the relaxation time by x500 from 100 ?s, and it couples strongly the polarization relaxation and spin relaxations. The diverging polarization relaxation time accurately fits a modified Vogel-Fulcher Equation in which the freezing temperature Tf is replaced by a critical freezing field Hf that is 0.92 positive/negative 0.07 Tesla. This field dependence and the critical field Hc are derived analytically from the spherical random bond random field (SRBRF) model with no adjustable parameters and an E2H2 coupling. This device permits 3-state logic (+Pr,0,negative Pr) and a condenser with >5000% magnetic field change in its capacitance.Comment: 20 pages, 5 figure

Evaluation of MR/fluoroscopy-guided portosystemic shunt creation in a swine model

PURPOSE: To evaluate three different percutaneous portosystemic shunts created with magnetic resonance (MR) imaging and fluoroscopy guidance in a swine model. MATERIALS AND METHODS: In stage 1 of the experiment, an active MR intravascular needle system was created for needle tracking and extracaval punctures. Twenty inferior vena cava (IVC)/superior mesenteric vein (SMV)/portal vein (PV) punctures were performed in 10 swine (weight, 40-45 kg) in a 1.5-T short-bore interventional MR imager. With use of a real-time MR imaging sequence, the needle was guided through the IVC and into the SMV or PV (N = 20 punctures). After confirmation, a wire was advanced into the portal venous system under MR imaging guidance (N = 20). In stage 2, animals were transferred to the radiographic fluoroscopy suite for deployment of shunts. Three different shunts were evaluated in this study: (i) a commercial stent-graft, (ii) a prototype bridging stent, and (iii) a prototype nitinol vascular anastomotic device. Postprocedural necropsy was performed in all animals. RESULTS: Successful MR-guided IVC/SMV punctures were performed in all 20 procedures (100%). All three shunts were deployed. Stent-grafts had the poorest mechanism for securing a shunt. The vascular anastomotic device and the bridging stent had more secure anchoring mechanisms but also had higher technical failure rates (50% and 40%, respectively). When deployed successfully, the vascular anastomotic device resulted in no bleeding at the sites of punctures at necropsy. CONCLUSION: Percutaneous shunts and vascular anastomoses between the portal mesenteric venous system and IVC were successfully created with use of a combination of MR imaging and conventional fluoroscopy for guidance. © SIR, 2006

Distortions of Subjective Time Perception Within and Across Senses

Background: The ability to estimate the passage of time is of fundamental importance for perceptual and cognitive processes. One experience of time is the perception of duration, which is not isomorphic to physical duration and can be distorted by a number of factors. Yet, the critical features generating these perceptual shifts in subjective duration are not understood. Methodology/Findings: We used prospective duration judgments within and across sensory modalities to examine the effect of stimulus predictability and feature change on the perception of duration. First, we found robust distortions of perceived duration in auditory, visual and auditory-visual presentations despite the predictability of the feature changes in the stimuli. For example, a looming disc embedded in a series of steady discs led to time dilation, whereas a steady disc embedded in a series of looming discs led to time compression. Second, we addressed whether visual (auditory) inputs could alter the perception of duration of auditory (visual) inputs. When participants were presented with incongruent audio-visual stimuli, the perceived duration of auditory events could be shortened or lengthened by the presence of conflicting visual information; however, the perceived duration of visual events was seldom distorted by the presence of auditory information and was never perceived shorter than their actual durations. Conclusions/Significance: These results support the existence of multisensory interactions in the perception of duration and, importantly, suggest that vision can modify auditory temporal perception in a pure timing task. Insofar as distortions in subjective duration can neither be accounted for by the unpredictability of an auditory, visual or auditory-visual event, we propose that it is the intrinsic features of the stimulus that critically affect subjective time distortions

Molecular markers for discriminating Streptococcus pyogenes and S. dysgalactiae subspecies equisimilis

Given the increasing aetiological importance of Streptococcus dysgalactiae subspecies equisimilis in diseases which are primarily attributed to S. pyogenes, molecular markers are essential to distinguish these species and delineate their epidemiology more precisely. Many clinical microbiology laboratories rely on agglutination reactivity and biochemical tests to distinguish them. These methods have limitations which are particularly exacerbated when isolates with mixed properties are encountered. In order to provide additional distinguishing parameters that could be used to unequivocally discriminate these two common pathogens, we assess here three molecular targets: the speB gene, intergenic region upstream of the scpG gene (IRSG) and virPCR. Of these, the former two respectively gave positive and negative results for S. pyogenes, and negative and positive results for S. dysgalactiae subsp. equisimilis. Thus, a concerted use of these nucleic acid-based methods is particularly helpful in epidemiological surveillance to accurately assess the relative contribution of these species to streptococcal infections and diseases

Orexin receptors exert a neuroprotective effect in Alzheimer's disease (AD) via heterodimerization with GPR103

Orexins are neuropeptides that regulate the sleep-wake cycle and feeding behaviour. QRFP is a newly discovered neuropeptide which exerts similar orexigenic activity, thus playing an important role in energy homeostasis and regulation of appetite. The exact expression and signalling characteristics and physiological actions of QRFP and its receptor GPR103 are poorly understood. Alzheimerâ €™ s disease (AD) patients experience increased nocturnal activity, excessive daytime sleepiness, and weight loss. We hypothesised therefore that orexins and QRFP might be implicated in the pathophysiology of AD. We report that the down-regulation of hippocampal orexin receptors (OXRs) and GPR103 particularly in the cornu ammonis (CA) subfield from AD patients suffering from early onset familial AD (EOFAD) and late onset familial AD (LOAD). Using an in vitro model we demonstrate that this downregulation is due to to Aβ-plaque formation and tau hyper-phosphorylation. Transcriptomics revealed a neuroprotective role for both orexins and QRFP. Finally we provide conclusive evidence using BRET and FRET that OXRs and GPR103 form functional hetero-dimers to exert their effects involving activation of ERK 1/2. Pharmacological intervention directed at the orexigenic system may prove to be an attractive avenue towards the discovery of novel therapeutics for diseases such as AD and improving neuroprotective signalling pathways