Search results for "T9"
showing 6 items of 16 documents
On the (In)Security of 1090ES and UAT978 Mobile Cockpit Information Systems : An Attacker Perspective on the Availability of ADS-B Safety- and Missio…
2022
Automatic dependent surveillance-broadcast (ADS-B) is a key air surveillance technology and a critical component of next-generation air transportation systems. It significantly simplifies aircraft surveillance technology and improves airborne traffic situational awareness. Many types of mobile cockpit information systems (MCISs) are based on ADS-B technology. MCIS gives pilots the flight and traffic-related information they need. MCIS has two parts: an ADS-B transceiver and an electronic flight bag (EFB) application. The ADS-B transceivers transmit and receive the ADS-B radio signals while the EFB applications hosted on mobile phones display the data. Because they are cheap, lightweight, an…
Genome-wide association study and mouse expression data identify a highly conserved 32 kb intergenic region between WNT3 and WNT9b as possible suscep…
2014
Item does not contain fulltext Bladder exstrophy-epispadias complex (BEEC), the severe end of the urorectal malformation spectrum, has a profound impact on continence as well as sexual and renal functions. It is widely accepted that for the majority of cases the genetic basis appears to be multifactorial. Here, we report the first study which utilizes genome-wide association methods to analyze a cohort comprising patients presenting the most common BEEC form, classic bladder exstrophy (CBE), to identify common variation associated with risk for isolated CBE. We employed discovery and follow-up samples comprising 218 cases/865 controls and 78 trios in total, all of European descent. Our disc…
About Vertex Mappings
2019
Summary In [6] partial graph mappings were formalized in the Mizar system [3]. Such mappings map some vertices and edges of a graph to another while preserving adjacency. While this general approach is appropriate for the general form of (multidi)graphs as introduced in [7], a more specialized version for graphs without parallel edges seems convenient. As such, partial vertex mappings preserving adjacency between the mapped verticed are formalized here.
Natural Addition of Ordinals
2019
Summary In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In this article its uniqueness is proven and then used to formalize the natural sum of ordinals.
T9+HUD: Physical Keypad and HUD can Improve Driving Performance while Typing and Driving
2016
We introduce T9+HUD, a text entry method designed to decrease visual distraction while driving and typing. T9+HUD combines a physical 3x4 keypad on the steering wheel with a head-up-display (HUD) for projecting output on the windshield. Previous work suggests this may be a visually less demanding way to type while driving than the popular case which requires shifts of visual attention away from the road. We present a prototype design and report first results from a controlled evaluation in a driving simulator. While driving, the T9+HUD text entry rate was equal compared to a dashboard-mounted touchscreen device, but it reduced lane deviations by 70%. Furthermore, there was no significant di…
Some Remarks about Product Spaces
2018
Summary This article covers some technical aspects about the product topology which are usually not given much of a thought in mathematics and standard literature like [7] and [6], not even by Bourbaki in [4]. Let {Ti}i∈I be a family of topological spaces. The prebasis of the product space T = ∏ i∈I Ti is defined in [5] as the set of all π −1 i (V) with i ∈ I and V open in Ti . Here it is shown that the basis generated by this prebasis consists exactly of the sets ∏ i∈I Vi with Vi open in Ti and for all but finitely many i ∈ I holds Vi = Ti . Given I = {a} we have T ≅ Ta , given I = {a, b} with a≠ b we have T ≅ Ta ×Tb . Given another family of topological spaces {Si}i∈I such that Si ≅ Ti fo…