Mitre Corporation

About: Mitre Corporation is a company organization based out in Bedford, Massachusetts, United States. It is known for research contribution in the topics: Air traffic control & National Airspace System. The organization has 4884 authors who have published 6053 publications receiving 124808 citations. The organization is also known as: Mitre & MITRE.

Archival photographs show no climate‐induced changes in woody vegetation in the Sudan, 1943–1994*

Abstract: An archive of satellite and aircraft photographs of the western Sudan showed no longterm (1943-1994) trends in the abundance of trees despite several decades of recent drought in this region. These data extend the extant historical record of vegetation change in the African Sahel, where recent fluctuations in vegetation greenness have been monitored with the NOAA Advanced Very High Resolution Radiometer since 1980. Despite substantial population turnover, woody vegetation is not yet indicative of the recent climate changes in this region.

A Stochastic Network Model for Uncertain Spatiotemporal Weather Impact at the Strategic Time Horizon

Abstract: Motivated by challenges in flow-contingency management, we introduce a stochastic network model for the spatiotemporal evolution of weather impact at a strategic time horizon. Specifically, we argue that a model that represents weather-impact propagation using local probabilistic influences can capture the rich dynamics and inherent variability in weather impact at the spatial and temporal resolution of interest. We then illustrate that such an influence model for weather impact is simple enough to permit a family of analyses that are needed for decision-support, including 1) model parameterization to meet probabilistic forecasts at time snapshots, 2) fast simulation of representative weather trajectories and impact probabilities, and 3) computation of correlations and higher-order statistics in weather impact. Also, lower-order representation of the stochastic dynamics at critical locations in the airspace is considered. Finally, a brief exploratory discussion is given on how the weather-impact model may eventually be used in tandem with network flow models to study flow contingency management. 1. Motivation and Goals As the Next Generation Air Transportation System (NextGen) comes into operation, a wide array of new decision-support tools for traffic flow management (TFM) are needed, in order to meet the performance requirements of the new system and to take advantage of its new hardware capabilities. Although decision-support for tactical TFM has been advanced significantly during the last few years, TFM design at the strategic and planning time horizons (2hrs – 1day, and days – months/years, respectively) remains challenging. A major obstacle in current TFM operations is the often overly conservative actions taken when demand exceeds capacity in either predicted or impending operations. A lack of information availability and integration, as well as grave limitations in decision support systems that assist decision makers in identifying and alleviating potential congestion in a way that minimizes the impact on the National Airspace System (NAS), are understood to be current deficits in the system. However, the details on exactly what decision support system capabilities are necessary, and the resulting products from these decision support systems, are not clearly defined. The work that we present here is motivated by this need for decision-support at the strategic time frame.

Applications for multilevel secure operating systems

Abstract: The need for secure computer systems has been identified in many areas of DoD operations, but in the past these systems have not been built in a secure manner because a secure operating system on which to run has not existed. Now that verifiably secure minicomputer operating systems are becoming a reality, applications for secure systems are becoming more clearly thought-out, designed and implemented. This paper surveys some proposed DoD and non-DoD secure computer applications.

Automatic semantic edge labeling over legal citation graphs

Abstract: A large number of cross-references to various bodies of text are used in legal texts, each serving a different purpose. It is often necessary for authorities and companies to look into certain types of these citations. Yet, there is a lack of automatic tools to aid in this process. Recently, citation graphs have been used to improve the intelligibility of complex rule frameworks. We propose an algorithm that builds the citation graph from a document and automatically labels each edge according to its purpose. Our method uses the citing text only and thus works only on citations who’s purpose can be uniquely identified by their surrounding text. This framework is then applied to the US code. This paper includes defining and evaluating a standard gold set of labels that cover a vast majority of citation types which appear in the “US Code” but are still short enough for practical use. We also proposed a novel linear-chain conditional random field model that extracts the features required for labeling the citations from the surrounding text. We then analyzed the effectiveness of different clustering methods such as K-means and support vector machine to automatically label each citation with the corresponding label. Besides this, we talk about the practical difficulties of this task and give a comparison of human accuracy compared to our end-to-end algorithm.

Genomic Standards Consortium Projects

Abstract: The Genomic Standards Consortium (GSC) is an open-membership community that was founded in 2005 to work towards the development, implementation and harmonization of standards in the field of genomics. Starting with the defined task of establishing a minimal set of descriptions the GSC has evolved into an active standards-setting body that currently has 18 ongoing projects, with additional projects regularly proposed from within and outside the GSC. Here we describe our recently enacted policy for proposing new activities that are intended to be taken on by the GSC, along with the template for proposing such new activities.