The project has studied a number of questions related to data fusion. One is the investigation of zig-zag persistent homology, which is a tool which permits one to study the behavior of qualitative shape invariants (such as homology) across different samples from a larger data set, as well as understand time varying data sets. We have also demonstrated the utility of the Mapper methodology in the study of various different data types, by demonstrating that it provides insight into complex data...
Topics: DTIC Archive, STANFORD UNIV CA, *DATA FUSION, TOPOLOGY
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *KLYSTRONS
A gene encoding a heat-stable enterotoxin (ST) from an Escherichia coli strain isolated from a human with diarrhea has been cloned and characterized by nucleotide sequence analysis. The gene was found to be partially homologous to a previously characterized ST gene from an E. coli strain of bovine origin. Hybridization studies showed that most ST-producing strains of E. coli isolated from humans with diarrhea possess genes highly homologous to either the ST gene from the bovine strain or the ST...
Topics: DTIC Archive, Falkow, Stanley, STANFORD UNIV CA, *GENETIC ENGINEERING
Topics: DTIC Archive, STANFORD UNIV CA, *AEROELASTICITY, *FIGHTER AIRCRAFT, MODELS
This paper describes using adjacency lists to incrementally generate design rule spacing constraints. The algorithm generates the smallest complete set of constraints for a design, yielding fast compaction, and is as fast or faster than ordinary constraint generation methods even when the incremental features are not used. The adjacency list data structure allows one to very quickly move, insert or delete objects and generate an updated set of constraints.
Topics: DTIC Archive, Carpenter,Clyde W, STANFORD UNIV CA, *ALGORITHMS, *COMPACTING
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *LINEAR ACCELERATORS, *RADIOGRAPHY
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *LINEAR ACCELERATORS, *RADIOGRAPHY
This is the final report of the research conducted at the Stanford Electronics Laboratories under the Sponsorship of the Joint Services Electronics Program from May 1, 1985 through April 30, 1988. This report summarizes the areas of research, identifies the most significant results and lists the dissertations and publications sponsored by the contract DAAG29-85-K-0048.
Topics: DTIC Archive, Harris, J S, STANFORD UNIV CA, *ELECTRONICS, ELECTRONICS LABORATORIES
Issues discussed in this report are accelerated durability assessment, strain invariant failure theory, micromechanics analysis, accelerated testing methodology, analysis results and conclusions.
Topics: DTIC Archive, STANFORD UNIV CA, *COMPOSITE MATERIALS, ACCELERATED TESTING, MICROMECHANICS,...
Topics: DTIC Archive, WINKLER, RICHARD H., STANFORD UNIV CA MICROWAVE LAB, *KLYSTRONS
Our long-term goal is to employ numerical simulation to generate accurate predictions of nonhydrostatic internal-tide events, such as large internal waves and solitons, in the coastal areas of the ocean.
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF CIVIL AND ENVIRONMENTAL ENGINEERING
The operation of sorting the items of a Q-set according to their similarity to a given object is idealized by a system of axioms. As a consequence of this axiom system, a stochastic model of Q-sorting behavior is derived. This model, with its associated axioms, resembles in some respects the preference model of Luce; the two are compared at length.
Topics: DTIC Archive, Heavlin,William D, STANFORD UNIV CA DEPT OF STATISTICS
Topics: DTIC Archive, Chun, J, STANFORD UNIV CA, *LEAST SQUARES METHOD, DISPLACEMENT
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *ELECTRON TUBES, *MICROWAVE EQUIPMENT
Methods are studied of exciting solid materials for visible, and possibly ultraviolet, maser action, and of energy transfer processes between energy levels and between ions.
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *ELECTRONS, RUBY, ULTRAVIOLET RADIATION
Our goal for the overall research project was to obtain insight into the mechanism used by microbes to cleave the carbone to phosphorus (C-P) bond of organophosphonates. Escherichia coli whole cells and cell lysate were first examined by 31P NMR which did not reveal any degradation products. However, subsequent analysis of volatiles produced in sealed growths of E. coli cultured in medium where alkylphosphonic acids were the only source of phosphorus led to the discovery of hydrocarbons....
Topics: DTIC Archive, Frost, John W, STANFORD UNIV CA DEPT OF CHEMISTRY
A number of problems in the analysis and design of control systems may be reformulated as the problem of minimizing the largest generalized eigenvalue of a pair of symmetric matrices which depend affinely on the decision variables, subject to constraints that are linear matrix inequalities. For these generalized eigenvalue problems, there exist numerical algorithms that are guaranteed to be globally convergent, have polynomial worst-case complexity, and stopping criteria that guarantee desired...
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF ELECTRICAL ENGINEERING, *EIGENVALUES, *INTERPOLATION
The short-step interior-point methods that allow nice polynomial-time proofs of convergence for linear programming turn out to be much too slow for practical algorithms. Thus a number of long-step methods have been analyzed to date, most of which are aimed at proving the correctness of existing numerical implementations. In Section 3.1, however, we have presented a worst-case example in which the iterates x, y, z are not able to follow a long step in the reduction of the complementarity...
Topics: DTIC Archive, Jarre, Florian, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *LINEAR PROGRAMMING
Our objective is to create a multi-institutional tissue microarray resource from radical prostatectomy samples with detailed clinical information and follow-up and rigorous casecohort design for use as a platform for validating tissue biomarkers of prognosis. In addition, we have proposed testing a series of biomarkers of prognosis and a set of biomarkers that correlate with Gleason Score. We have made significant progress over the past year. We have completed the tissue microarrays and...
Topics: DTIC Archive, STANFORD UNIV CA, *PROSTATE CANCER, ALGORITHMS, CLINICAL MEDICINE, HISTOLOGY,...
Topics: DTIC Archive, MARGOLIS, JULIUS, STANFORD UNIV CA, *IRRIGATION SYSTEMS, UNITED STATES GOVERNMENT
We derive an exact p-value for testing a global null hypothesis in a general adaptive regression setting. Our approach uses the Kac-Rice formula (as described in Adler & Taylor 2007) applied to the problem of maximizing a Gaussian process. The resulting test statistic has a known distribution in finite samples, assuming Gaussian errors. We examine this test statistic in the case of the lasso, group lasso, principal components and matrix completion problems. For the lasso problem, our test...
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF STATISTICS, *STATISTICAL PROCESSES, REGRESSION ANALYSIS
This note is concerned with countably infinite product sigma-fields and their invariant, tail, and exchangeable sub-sigma-fields. Under an exchangeable probability the three sub-sigma-fields coincide as measure algebras (the theorems (1) and (7)). An immediate consequence is the Hewitt-Savage 0-1 law. A later section includes examples which by and large preclude extensions of (1) and (7) to probabilities merely invariant under the shift. However, at least one interesting conjecture of David...
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF STATISTICS, *ALGEBRA, *PROBABILITY, INVARIANCE, THEOREMS
Stereotactic ablative radiotherapy (SABR) has become a new standard of care for early stage lung cancer in patients who are not candidates for surgery because of excessive surgical risk, and will be an important treatment option for a growing segment of patients with lung cancer. This is particularly true as lung cancer screening efforts are expected to diagnose a greater proportion of lung cancers at earlier stages, yet the aging of the population will lead to a greater proportion of patients...
Topics: DTIC Archive, STANFORD UNIV CA, *LUNG CANCER, CANCER SCREENING, HYPOXIA, NEOPLASMS, RADIOTHERAPY
The general problem we will be concerned with in this paper is that of estimating the regression parameters alpha, beta(sub 1), ..., beta(sub q) in the general regression model.
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF STATISTICS, *REGRESSION ANALYSIS, PARAMETERS, VARIABLES
During the past three years, we have designed and constructed an easily modifiable mini-MBE system that is entirely dedicated to the study of novel materials thin film growth. Using this system, our group has demonstrated the high quality synthesis of three-dimensional topological insulator (TI) thin films the Bi2Te3 family. Bi2Te3 and Bi2Se3 have simple single Dirac cone surface band structures and relatively large bulk band gaps which make them particularly attractive for room temperature...
Topics: DTIC Archive, STANFORD UNIV CA, *MATERIALS, *TOPOLOGY, SINGLE CRYSTALS, SYNTHESIS, THIN FILMS
Topics: DTIC Archive, Wagner, Harvey M, STANFORD UNIV CA, *LINEAR PROGRAMMING, *REGRESSION ANALYSIS
Topics: DTIC Archive, WAGNER, HARVEY M, STANFORD UNIV CA, *SCHEDULING, LOGISTICS, MATHEMATICAL ANALYSIS
Cross layer Design: A New Paradigm. *Hardware, *Link, *Access, *Network, *Application, *Delay constraints, *Rate requirements, *Energy constraints, *Complexity constraints, *Robustness; Optimize and adapt across design layers; Provide robustness to uncertainty; Use scheduling to reserve resources.
Topics: DTIC Archive, Goldsmith, Andrea, STANFORD UNIV CA, *NETWORK TOPOLOGY, EFFICIENCY, ENERGY CONSUMPTION
Alternative descriptions of a decision problem often give rise to different preferences, contrary to the principle of invariance that underlies the rational theory of choice. Violations of this theory are traced to the rules that govern the framing of decisions and the psychophysical principles of evaluation embodied in prospect theory. Invariance and dominance are obeyed when their application is transparent and often violated in other situations. Because these rules are normatively essential...
Topics: DTIC Archive, Tversky,Amos, STANFORD UNIV CA, *DECISION MAKING, *REASONING, THEORY, INVARIANCE
This research deals with unsupervised learning of categories (UL) and how such learning is affected by the sequencing of training instances. Two general models of UL are described, one based on learning explicit associations between correlated features (associative model), and the other based on creating distinct schemas to represent each category without explicit learning of feature correlations (schema-triggering model). An attribute listing paradigm was used as an index of UL in three...
Topics: DTIC Archive, Clapper, John P, STANFORD UNIV CA DEPT OF PSYCHOLOGY, INDEXES, VALUE
A system compiling regular expressions into PLA;s or logic has been developed. The input language has been augmented recently to include state declaration when convenient; in the syntax, entering a state looks similar to the occurrence of an input symbol, while transfer to a state is akin to emitting an output symbol. The regular expression language is translated to a nondeterministic finite automaton (NFA) language by one of two different compiler strategies, called 'before' and after.' The...
Topics: DTIC Archive, Hennessy, J, STANFORD UNIV CA, *COMPUTER PROGRAMS, *COMPUTER GRAPHICS, LITHOGRAPHY,...
We demonstrate a sense in which the equivalence between blocks (subgraphs without articulation points) and biconnected components (subgraphs in which there are two edge-disjoint paths between any air of nodes) that holds in ordinary graph theory can be generalized to hypergraphs. The result has an interpretation for relational databases that the universal relations described by acyclic join dependencies are exactly those for which the connections among attributes are defined uniquely. We also...
Topics: DTIC Archive, Maier, David, STANFORD UNIV CA, *COMPUTER PROGRAMS, *DATA BASES, *GRAPHS, THEORY.
The main goal of the project was to develop and use algorithmic tools with a geometric underpinning to analyze large networks. For example, the Internet, social networks, connectivity properties between genes or proteins in a biological cell, and other types of data that may be viewed as finite metric spaces can all be fruitfully modeled as a network or a graph G = (V,E) consisting of nodes and edges. A general property of many of these networks is that there is some sort of very local...
Topics: DTIC Archive, STANFORD UNIV CA, *NETWORK ANALYSIS(MANAGEMENT), ALGORITHMS, CLUSTERING, GEOMETRY,...
The numerically stable loosely-coupled partitioned solution procedures for the fast steady and unsteady multidisciplinary thermal analysis of hot aerospace structures were further refined to accelerate convergence in the steady-state case and improve robustness in all cases. The refinement was obtained based on the mathematical analysis of the formulation of these algorithms for the continuous counterpart of the problem of interest. The resulting coupled solution methods were successfully...
Topics: DTIC Archive, STANFORD UNIV CA, *AEROSPACE SYSTEMS, *THERMAL ANALYSIS, ALGORITHMS, CONVERGENCE,...
In this study we propose to develop and validate pulmonary nodule elastometry imaging, a method complementary to CT that has the potential to increase the specificity of screening for early detection of lung cancer. We propose to address the need for greater specificity in lung cancer screening by characterizing a mechanical property of pulmonary lesions, specifically pulmonary nodule (PN) elasticity, in addition to standard anatomic features. We hypothesize that malignant and benign PN can be...
Topics: DTIC Archive, STANFORD UNIV CA, *LUNG CANCER, ALGORITHMS, ANATOMY, CANCER SCREENING, DETECTION,...
Experimentally determined buckle contours at initial instability for an axially compressed aluminum right circular cylinder of 3.35 inches in diameter and 0.0025 inch of wall thickness are presented and analyzed. The results show that for buckle amplitudes of as low as 2.8 times the wall thickness there is strong evidence of plastic deformation.
Topics: DTIC Archive, Horton, W H, STANFORD UNIV CA, *BUCKLING, *SHELLS(STRUCTURAL FORMS), DEFORMATION
Networks arising from social, technological and natural domains exhibit rich connectivity patterns and nodes in such networks are often labeled with attributes or features. We address the question of modeling the structure of networks where nodes have attribute information. We present a Multiplicative Attribute Graph (MAG) model that considers nodes with categorical attributes and models the probability of an edge as the product of individual attribute link formation affinities. We develop a...
Topics: DTIC Archive, STANFORD UNIV CA, *NETWORKS, INTERPERSONAL RELATIONS, MODELS, NODES, ORGANIZATION...
Prior-free auctions are robust auctions that assume no distribution over bidders' valuations and provide worst-case (input-by-input) approximation guarantees. In contrast to previous work on this topic, we pursue good prior-free auctions with non-identical bidders. Prior-free auctions can approximate meaningful benchmarks for non-identical bidders only when sufficient qualitative information about the bidder asymmetry is publicly known. We consider digital goods auctions where there is a total...
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, *ECONOMICS, ELECTRONIC COMMERCE,...
Having established tight bounds for the quotient of two different lub-norms of the same tri-diagonal matrix J, the author observes that these bounds could be of use in an error-analysis provided a suitable algorithm were found. Such an algorithm is exhibited, and its errors are thoroughly accounted for, including the effects of scaling, over/underflow and roundoff. A typical result is that, on a computer using rounded bloating point binary arithmetic, the biggest eigenvalue of J can be computed...
Topics: DTIC Archive, STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, *ALGORITHMS, *MATRICES(MATHEMATICS), ERRORS
Topics: DTIC Archive, Hogan,Michael, STANFORD UNIV CA DEPT OF STATISTICS, *PROBABILITY, CONVERGENCE,...
Consider an experiment which consists of n independent Bernoulli sequences, each of which is randomly terminated at either the kth success or the kth failure, whichever comes first. The goals are to make inferences about the per trial probability of success, as well as the probability that a sequence is terminated with a success. The latter is equivalent to the probability that if 2k-1 trials are accumulated, the majority will be successes. Various estimators are investigated, and the results...
Topics: DTIC Archive, Utts,Jessica, STANFORD UNIV CA DEPT OF STATISTICS, *STOPPING RULES(MATHEMATICS),...
Grain boundaries may influence high temperature strength in many ways: as barriers to disloca tion motion, as sources or sinks of vacancies and dislocations, and by grain boundary shearing. In all of these considerations the type of boundary must be taken into account. Experimental results on the influence of grain size on creep of alu minum suggest why coarse grain materials are often stronger in their steady state creep resist ance over fine grain materials. As-recrystallized fine grain...
Topics: DTIC Archive, Busboom, Herbert J, STANFORD UNIV CA, *CREEP, PARTICLE SIZE, DEFORMATION,...
Large scale stochastic linear programs can be efficiently solved by using a blending of classical Benders decomposition and a relatively new technique called importance sampling. The paper demonstrates how such an approach can be effectively implemented on a parallel (Hypercube) multicomputer. Numerical results are presented.
Topics: DTIC Archive, Dantzig, George B, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *SAMPLING, *NUMERICAL...
Fortus' generalization (1979) of asymptotic shapes of optimal testing regions for composite hypotheses does away with the restriction to exponential families originally imposed by us (1962). Here we survey his work critically, and suggest some improvements that may be crucial for its practical applicability to parametric problems, and point out its shortcomings for nonparametric ones. (Author)
Topics: DTIC Archive, Schwarz,Gideon, STANFORD UNIV CA DEPT OF STATISTICS, *STATISTICAL TESTS,...
Topics: DTIC Archive, STANFORD UNIV CA MICROWAVE LAB, *KLYSTRONS, S BAND, RELIABILITY, TRAVELING WAVE TUBES
Topics: DTIC Archive, ISAACSON, STANLEY, STANFORD UNIV CA APPLIED MATHEMATICS AND STATISTICS LABS,...
Non-radiative dissipation, such as friction and ohmic resistance, is not a loss of energy but its dispersal into a large number of degrees of freedom. irreversibility is the improbability of reconcentration of energy into its inital ordered form. one would therefore expect a network of very many undamped resonating circuits to exhibit resistive properties in its transient response. indeed, it should be possible to simulate resistances by such purely reactive elements, in close analogy with the...
Topics: DTIC Archive, BUNEMAN, O, STANFORD UNIV CA STANFORD ELECTRONICS LABS, *ELECTRICAL NETWORKS,...
We present a simple bisection algorithm to compute the H infinity norm of a transfer matrix. The bisection method is far more efficient than algorithms which involve a search over frequencies and moreover can compute the H infinity norm with guaranteed accuracy.
Topics: DTIC Archive, STANFORD UNIV CA INFORMATION SYSTEMS LAB, *ALGORITHMS, HAMILTONIAN FUNCTIONS,...
The temporal logics pCTL and pCTL* have been proposed as tools for the formal specification and verification of probabilistic systems; as they can express quantitative bounds on the probability of system evolution, they can be used to specify system properties such as reliability and performance. In this paper, we present model-checking algorithms for extensions of pCTL and pCTL* to systems in which the probabilistic behavior coexists with nondeterminism, and show that these algorithms have...
Topics: DTIC Archive, Bianco, Andrea, STANFORD UNIV CA, *PROBABILITY, ALGORITHMS, VERIFICATION,...
The Principal Pivoting Method (PPM) for the Linear Complementarity PRoblem (LCP) is shown to be applicable to the class of LCPs involving the newly identified class of sufficient matrices. The classes of row sufficient and column sufficient matrices were recently introduced in a paper by Cottle, Pang, and Venkateswaran. It was shown there that such matrices provide answers to natural theoretical questions concerning the linear complementarity problem (LCP). Further, on the algorithmic side, it...
Topics: DTIC Archive, Cottle, Richard W, STANFORD UNIV CA SYSTEMS OPTIMIZATION LAB, *MATRIX THEORY,...
