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.

The Sandy Hook Elementary School shooting as tipping point: "This Time Is Different".

Abstract: Among rampage shooting massacres, the Sandy Hook Elementary School shooting on December 14, 2012 galvanized public attention. In this Commentary we examine the features of this episode of gun violence that has sparked strong reactions and energized discourse that may ultimately lead toward constructive solutions to diminish high rates of firearm deaths and injuries in the United States.

Utility accrual real-time scheduling under variable cost functions

Abstract: We present a real-time scheduling algorithm called VCUA, for tasks whose execution times are functions of their starting times. We model such variable execution times with variable cost functions (or VCFs). The algorithm considers application activities that are subject to time/utility function time constraints, VCFs, and the scheduling objective of assuring that the maximum interval between any two consecutive successful completions of jobs of a task must not exceed a specified bound, and maximizing the system's total utility. We establish that VCUA achieves optimal timeliness during under-loads, and identify the conditions under which timeliness assurances hold. Our simulation experiments illustrate VCUA's effectiveness and superiority.

Small-Mammal Associations in Forested and Old-field Habitats: A Quantitative Comparison

Abstract: Population densities, physical condition, and several parameters (diversity, niche breadth, and ratio of dominance) of small-mammal communities were documented for two old-field and two forested sites from fall 1974 to spring 1977. White-footed mice (Peromyscus leucopus) were the most numerous species in forested habitats, and populations fluctuated asynchronously and were noncyclic. Physical condition indices were not significantly different between the two forested sites, but values were significantly higher for adults than juveniles and significantly different between different sample periods. Seasonal changes in phys- ical condition were not correlated with population fluctuations. Meadow voles (Microtus pennsylvanicus) were the most numerous species in old-field habitats, and populations were cyclic and fluctuated synchronously with a 2-yr duration between peaks. Phys- ical condition indices were not significantly different between different census periods, but were significantly higher for adults than juveniles. Seasonal changes in physical condition were not signif- icantly correlated with population fluctuations. There was a negative correlation between average niche breadth and the number of species oc- curring in each census period for both Peromyscus- and Microtus-dominated communities, which suggested the occurrence of species packing. Niche breadth of species was positively correlated with their abundance in both forested and old-field habitats. Species diversity was negatively correlated with meadow vole density, suggesting that at high densities voles competitively excluded other species of small mammals. Species diversity of small-mammal communities in both habitats were extremely variable spatially and temporally. There were significant differences in diversity indices between sites within the same habitat but not between habitats.

Towards a multilevel secure database management system for real-time applications

Abstract: Database systems for real-time applications must satisfy timing constraints associated with transactions, in addition to maintaining data consistency. In addition to real-time requirements, security is usually required in many applications, because sensitive information must be safeguarded. Multilevel security requirements introduce a new dimension to transaction processing in real-time database systems. The paper addresses issues that must be investigated in order to design and develop a multilevel secure database management system for real-time applications. >

Adapting GOMS to model human-robot interaction

Abstract: A formal interaction modeling technique known as Goals, Operators, Methods, and Selection rules (GOMS) is well-established in human-computer interaction as a cost-effective way of evaluating designs without the participation of end users. This paper explores the use of GOMS for evaluating human-robot interaction. We provide a case study in the urban search-and-rescue domain and raise issues for developing GOMS models that have not been previously addressed. Further, we provide rationale for selecting different types of GOMS modeling techniques to help the analyst model human-robot interfaces.