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.

Cell transformation by chemical agents--a review and analysis of the literature. A report of the U.S. Environmental Protection Agency Gene-Tox Program.

Abstract: The literature on cell transformation by chemical carcinogens has been critically reviewed. This subject is highly relevant to carcinogenesis in vivo, because the phenotypic changes that are collectively referred to as cell transformation usually involve the acquisition of tumorigenicity on inoculation into suitable rodent hosts. The systems chosen for review fall into 3 categories: cell strains (cells with a limited lifespan); cell lines (cells with an unlimited lifespan); and oncogenic viral-chemical interactions involving cells (Fischer rat embryo cells expressing an endogenous retrovirus, mouse embryo cells expressing the AKR leukemia virus, chemical enhancement of a simian adenovirus, SA7 transformation of Syrian hamster or rat embryo cells). Of the entire literature reviewed, 117 papers have been accepted for data abstraction by pre-defined criteria; these include 41 references to cell strains, 40 in cell lines, and 38 in viral-chemical interactions including cells. Because different systems have been reviewed, it would be meaningless to group all the compounds. The overall summary of the systems is as follows (many compounds have been tested in more than one system and, hence, are duplicated in these totals). (Chart: see text) In general, there is a reasonably good correlation between the results of the cell transformation systems and in vivo carcinogenesis. However, the many deficiencies of the EPA Merged Carcinogen List preclude definitive comparisons. Moreover, a number of 'false negatives' were obtained in systems that did not employ external metabolic activation. Further validation of all systems is required, but it seems very probable that several cell transformation systems will become valuable in assaying (with reasonable time and cost) the carcinogenic potential of environmental chemicals.

Andes : A coached problem solving environment for physics

Abstract: Andes is an Intelligent Tutoring System for introductory college physics. The fundamental principles underlying the design of Andes are: (1) encourage the student to construct new knowledge by providing hints that require them to derive most of the solution on their own, (2) facilitate transfer from the system by making the interface as much like a piece of paper as possible, (3) give immediate feedback after each action to maximize the opportunities for learning and minimize the amount of time spent going down wrong paths, and (4) give the student flexibility in the order in which actions are performed, and allow them to skip steps when appropriate. This paper gives an overview of Andes, focusing on the overall architecture and the student's experience using the system.

Approximation by fully complex multilayer perceptrons

Abstract: We investigate the approximation ability of a multilayer perceptron (MLP) network when it is extended to the complex domain. The main challenge for processing complex data with neural networks has been the lack of bounded and analytic complex nonlinear activation functions in the complex domain, as stated by Liouville's theorem. To avoid the conflict between the boundedness and the analyticity of a nonlinear complex function in the complex domain, a number of ad hoc MLPs that include using two real-valued MLPs, one processing the real part and the other processing the imaginary part, have been traditionally employed. However, since nonanalytic functions do not meet the Cauchy-Riemann conditions, they render themselves into degenerative backpropagation algorithms that compromise the efficiency of nonlinear approximation and learning in the complex vector field. A number of elementary transcendental functions (ETFs) derivable from the entire exponential function ez that are analytic are defined as fully complex activation functions and are shown to provide a parsimonious structure for processing data in the complex domain and address most of the shortcomings of the traditional approach. The introduction of ETFs, however, raises a new question in the approximation capability of this fully complex MLP. In this letter, three proofs of the approximation capability of the fully complex MLP are provided based on the characteristics of singularity among ETFs. First, the fully complex MLPs with continuous ETFs over a compact set in the complex vector field are shown to be the universal approximator of any continuous complex mappings. The complex universal approximation theorem extends to bounded measurable ETFs possessing a removable singularity. Finally, it is shown that the output of complex MLPs using ETFs with isolated and essential singularities uniformly converges to any nonlinear mapping in the deleted annulus of singularity nearest to the origin.

Objective image quality measure derived from digital image power spectra

Abstract: An objective image quality measure based on the digital image power spectrum of normally acquired arbitrary scenes is developed. This image quality measure, which does not require imaging either designed targets or a constant scene, utilizes the previously known invariance property for the power spectra of arbitrary scenes. The measure incorporates a representation of the human visual system, a novel approach to account for directional differences in perspective (scale) for obliquely acquired scenes, and a filter developed to account for imaging system noise as specifically evidenced in the image power spectra. The primary application is to assess the quality of digital images relevant to the image task of detection, recognition, and identification of man-made objects from softcopy displayed versions of visible spectral region digital aerial images. Experimental verification is presented demonstrating very good correlation (r=0.9) of this objective quality measure with visual quality assessments.

The Interrogator: Protocol Secuity Analysis

Abstract: The Interrogator is a Prolog program that searches for security vulnerabilities in network protocols for automatic cryptographic key distribution. Given a formal specification of the protocol, it looks for message modification attacks that defeat the protocol objective. It is still under developement, but is has been able to rediscover a known vulnerability in a published protocol. It is implemented in LM-Prolog on a Lisp Machine, with a graphical user interface.