Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Coastal zone management (1)
- Computer software -- Development (1)
- Condensed matter (1)
- Crystals -- Identification (1)
- Electronic data processing (1)
-
- Environmental conditions (1)
- Fluid mechanics (1)
- Functional programming (Computer science) (1)
- Indexing (1)
- Laminar flow (1)
- Laplacian operator (1)
- Nanostructured materials (1)
- Nanotechnology (1)
- Particles (1)
- Querying (Computer science) (1)
- Rocky Mountains (1)
- Semantic differential technique (1)
- Semantic integration (Computer systems) (1)
- Streaming technology (Telecommunications) (1)
- Transmission electron microscopes (1)
- Type theory (1)
- Urban ecology (Biology) (1)
- Publication
- Publication Type
Articles 1 - 7 of 7
Full-Text Articles in Engineering
Irrelevance, Polymorphism, And Erasure In Type Theory, Richard Nathan Mishra-Linger
Irrelevance, Polymorphism, And Erasure In Type Theory, Richard Nathan Mishra-Linger
Dissertations and Theses
Dependent type theory is a proven technology for verified functional programming in which programs and their correctness proofs may be developed using the same rules in a single formal system. In practice, large portions of programs developed in this way have no computational relevance to the ultimate result of the program and should therefore be removed prior to program execution. In previous work on identifying and removing irrelevant portions of programs, computational irrelevance is usually treated as an intrinsic property of program expressions. We find that such an approach forces programmers to maintain two copies of commonly used datatypes: a …
Progress Toward Meeting The Challenges Of Our Coastal Urban Future, Juile Pullen, Jason Ching, David J. Sailor, William Thompson, Bob Bornstein, Darko Koracin
Progress Toward Meeting The Challenges Of Our Coastal Urban Future, Juile Pullen, Jason Ching, David J. Sailor, William Thompson, Bob Bornstein, Darko Koracin
Mechanical and Materials Engineering Faculty Publications and Presentations
The article provides information on the Seventh Conference on Coastal Atmospheric and Oceanic Prediction and Processes, and the Seventh Symposium on the Urban Environment in San Diego, California on September 9-13, 2008. Topics include the heterogeneity of urban areas, coastal vulnerabilities, urban planning, and emergency response modeling. The conference featured several speakers including Walter Dabberdt and James Voogt.
Window Queries Over Data Streams, Jin Li
Window Queries Over Data Streams, Jin Li
Dissertations and Theses
Evaluating queries over data streams has become an appealing way to support various stream-processing applications. Window queries are commonly used in many stream applications. In a window query, certain query operators, especially blocking operators and stateful operators, appear in their windowed versions. Previous research work in evaluating window queries typically requires ordered streams and this order requirement limits the implementations of window operators and also carries performance penalties. This thesis presents efficient and flexible algorithms for evaluating window queries. We first present a new data model for streams, progressing streams, that separates stream progress from physical-arrival order. Then, we …
A Better Nondimensionalization Scheme For Slender Laminar Flows: The Laplacian Operator Scaling Method, Mark M. Weislogel, Yongkang Chen, D. Bolleddula
A Better Nondimensionalization Scheme For Slender Laminar Flows: The Laplacian Operator Scaling Method, Mark M. Weislogel, Yongkang Chen, D. Bolleddula
Mechanical and Materials Engineering Faculty Publications and Presentations
A scaling of the two-dimensional Laplacian operator is demonstrated for certain solutions (at least) to Poisson’s equation. It succeeds by treating the operator as a single geometric scale entity. The belated and rather subtle method provides an efficient assessment of the geometrical dependence of the problem and is preferred when practicable to the hydraulic diameter or term-by-term scaling for slender fully developed laminar flows. The improved accuracy further reduces the reliance of problems on widely varying numerical data or cumbersome theoretical forms and improves the prospects of exact or approximate theoretical analysis. Simple example problems are briefly described that demonstrate …
Structural Identification Of Cubic Iron-Oxide Nanocrystal Mixtures: X-Ray Powder Diffraction Versus Quasi-Kinematic Transmission Electron Microscopy, Peter Moeck
Physics Faculty Publications and Presentations
Two novel (and proprietary) strategies for the structural identification of a nanocrystal from either a single high-resolution (HR) transmission electron microscopy (TEM) image or a single precession electron diffraction pattern are proposed and their advantages discussed in comparison to structural fingerprinting from powder X-ray diffraction patterns. Simulations for cubic magnetite and maghemite nanocrystals are used as examples.
Semantic Components: A Model For Enhancing Retrieval Of Domain- Specific Information, Susan Loucette Price
Semantic Components: A Model For Enhancing Retrieval Of Domain- Specific Information, Susan Loucette Price
Dissertations and Theses
Despite the success of general Internet search engines, information retrieval remains an incompletely solved problem. Our research focuses on supporting domain experts when they search domain-specific libraries to satisfy targeted information needs. The semantic components model introduces a schema specific to a particular document collection. A semantic component schema consists of a two-level hierarchy, document classes and semantic components. A document class represents a document grouping, such as topic type or document purpose. A semantic component is a characteristic type of information that occurs in a particular document class and represents an important aspect of the document’s main topic. …
New Particle Formation In The Front Range Of The Colorado Rocky Mountains, Micahel Boy, Thomas Karl, Andrew Turnipseed, Roy Lee Mauldin, Edward Kosciuch, James Greenberg, Jeff Rathbone, James Smith, Andreas Held, Kelley Barsanti, Alex Guenther
New Particle Formation In The Front Range Of The Colorado Rocky Mountains, Micahel Boy, Thomas Karl, Andrew Turnipseed, Roy Lee Mauldin, Edward Kosciuch, James Greenberg, Jeff Rathbone, James Smith, Andreas Held, Kelley Barsanti, Alex Guenther
Civil and Environmental Engineering Faculty Publications and Presentations
New particle formation is of interest because of its influence on the properties of aerosol population, and due to the possible contribution of newly formed particles to cloud condensation nuclei. Currently no conclusive evidence exists as to the mechanism or mechanisms of nucleation and subsequent particle growth. However, nucleation rates exhibit a clear dependence on ambient sulphuric acid concentrations and particle growth is often attributed to the condensation of organic vapours. A detailed study of new particle formation in the Front Range of the Colorado Rocky Mountains is presented here. Gas and particle measurement data for 32 days was analyzed …