19 research outputs found
Monotone expansion
This work, following the outline set in [B2], presents an explicit
construction of a family of monotone expanders. The family is essentially
defined by the Mobius action of SL_2(R) on the real line. For the proof, we
show a product-growth theorem for SL_2(R).Comment: 37 page
Kneser-Poulsen conjecture for a small number of intersections
The Kneser-Poulsen conjecture says that if a finite collection of balls in a
d-dimensional Euclidean space is rearranged so that the distance between each
pair of centers does not get smaller, then the volume of the union of these
balls also does not get smaller. In this paper we prove that if in the initial
configuration the intersection of any two balls has common points with no more
than d+1 other balls, then the conjecture holds.Comment: 10 pages, 1 figur
A Product Theorem in simple Lie groups
We prove a discretized Product Theorem for general simple Lie groups, in the
spirit of Bourgain's Discretized Sum-Product Theorem.Comment: 27 page
Visual Discovery in Multivariate Binary Data
This paper presents the concept of Monotone Boolean Function Visual Analytics (MBFVA) and its application to the medical domain. The medical application is concerned with discovering breast cancer diagnostic rules (i) interactively with a radiologist, (ii) analytically with data mining algorithms, and (iii) visually. The coordinated visualization of these rules opens an opportunity to coordinate the rules, and to come up with rules that are meaningful for the expert in the field, and are confirmed with the database. This paper shows how to represent and visualize binary multivariate data in 2-D and 3-D. This representation preserves the structural relations that exist in multivariate data. It creates a new opportunity to guide the visual discovery of unknown patterns in the data. In particular, the structural representation allows us to convert a complex border between the patterns in multidimensional space into visual 2-D and 3-D forms. This decreases the information overload on the user. The visualization shows not only the border between classes, but also shows a location of the case of interest relative to the border between the patterns. A user does not need to see the thousands of previous cases that have been used to build a border between the patterns. If the abnormal case is deeply inside in the abnormal area, far away from the border between normal and abnormal patterns, then this shows that this case is very abnormal and needs immediate attention. The paper concludes with the outline of the scaling of the algorithm for the large data sets
Modeling of Phenomena and Dynamic Logic of Phenomena
Modeling of complex phenomena such as the mind presents tremendous
computational complexity challenges. Modeling field theory (MFT) addresses
these challenges in a non-traditional way. The main idea behind MFT is to match
levels of uncertainty of the model (also, problem or theory) with levels of
uncertainty of the evaluation criterion used to identify that model. When a
model becomes more certain, then the evaluation criterion is adjusted
dynamically to match that change to the model. This process is called the
Dynamic Logic of Phenomena (DLP) for model construction and it mimics processes
of the mind and natural evolution. This paper provides a formal description of
DLP by specifying its syntax, semantics, and reasoning system. We also outline
links between DLP and other logical approaches. Computational complexity issues
that motivate this work are presented using an example of polynomial models
Development and testing of laser Doppler system components for wake vortex monitoring. Volume 2: Scanner operations manual
The theory and operation of the scanner portion of the laser Doppler system for detecting and monitoring aircraft trailing vortices in an airport environment are discussed. Schematics, wiring diagrams, component values, and operation and checkout procedures are included
Development and testing of laser Doppler system components for wake vortex monitoring. Volume 1: Scanner development, laboratory and field testing and system modeling
A servo-controlled range/elevation scanner for the laser Doppler velocimeter (LDV) was developed and tested in the field to assess its performance in detecting and monitoring aircraft trailing vortices in an airport environment. The elevation scanner provides a capability to manually point the LDV telescope at operator chosen angles from 3.2 deg. to 89.6 deg within 0.2 deg, or to automatically scan the units between operator chosen limits at operator chosen rates of 0.1 Hz to 0.5 Hz. The range scanner provides a capability to manually adjust the focal point of the system from a range of 32 meters to a range of 896 meters under operator control, or to scan between operator chosen limits and at rates from 0.1 Hz to 6.9 Hz. The scanner controls are designed to allow simulataneous range and elevation scanning so as to provide finger scan patterns, arc scan patterns, and vertical line scan patterns. The development and testing of the unit is discussed, along with a fluid dynamic model of the wake vortex developed in a laser Doppler vortex sensor simulation program