Browsing by Title
Now showing items 46385-46404 of 121333
-
(2019-11-20)Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact of multi-core hardware. Unfortunately, it is difficult to write correct concurrent programs. Stateless Model Checking (SMT) ...
-
(The Astrophysical Journal, 2013)
-
(2016-05-03)While concurrent programming is quickly gaining popularity lately, developing bug-free programs is still challenging. Although developers have a wide choice of race detection tools available, we have found that the majority ...
-
Fast And Ultimate Vibration Field Solution: From Problem Detection To Field Performance Validation (Texas A&M University. Turbomachinery Laboratories, 2010)
-
Fast and Ultimate Vibration Field Solution: From Problem Detection to Field Performance Validation (Turbomachinery Laboratory, Texas A&M Engineering Experiment Station, 2011)Summary: The case. Initial analysis. Root cause analysis. Solution implementation. Results. Conclusions.
-
Fast and Ultimate Vibration Field Solution: From Problem Detection to Field Performance Validation (Turbomachinery Laboratory, Texas A&M Engineering Experiment Station; Texas A & M University. Libraries, 2022)
-
(2012-10-19)Approximate convex decomposition (ACD) is a technique that partitions an input object into "approximately convex" components. Decomposition into approximately convex pieces is both more efficient to compute than exact ...
-
FAST CARS: Engineering a laser spectroscopic technique for rapid identification of bacterial spores (Proceedings of the National Academy of Sciences of the United States of America, 2002)
-
(2012-02-14)This dissertation studies the causes and mechanism of power system cascading outages and proposes the improved interactive scheme between system-wide and local levels of monitoring and control to quickly detect, classify ...
-
(Texas A&M University, 2005-02-17)This thesis presents an improved method for dynamic force computation applicable to both electrostatic and electromagnetic conductors with complex 3D geometries. During the transient simulation of electrostatic actuated ...
-
(Texas A&M University, 2006-08-16)More than a decade ago American fast food entered the Chinese market. Since then the number of fast food and organized chain restaurants in China has multiplied. Chinese consumers, especially those who live in large urban ...
-
(2018-08-02)In model-based fault detection, processed input and output time-series data are used to generate models and then perform on-line predictions. Many practical considerations in model-based fault detection systems rule out ...
-
(2011-02-22)Phylogenetic analysis can produce easily tens of thousands of equally plausible evolutionary trees. Consensus trees and topological distance matrices are often used to summarize the evolutionary relationships among the ...
-
(2009-05-15)Interconnects constitute a dominant source of circuit delay for modern chip designs. The variations of critical dimensions in modern VLSI technologies lead to variability in interconnect performance that must be fully ...
-
(Texas A&M University, 2006-10-30)Reconciling high-resolution geologic models to field production history is still a very time-consuming procedure. Recently streamline-based assisted and automatic history matching techniques, especially production data ...
-
(Texas A&M University, 2008-10-10)Integrated reservoir modeling has become an important part of day-to-day decision analysis in oil and gas management practices. A very attractive and promising technology is the use of time-lapse or 4D seismic as an ...
-
(2012-10-19)Seismic data have been established as a valuable source of information for the construction of reservoir simulation models, most commonly for determination of the modeled geologic structure, and also for population of ...
-
(2020-11-18)Gaussian processes (GPs) are widely used in geospatial analysis, machine learning and many application areas. We propose novel scalable methods to tackle two problems in Gaussian process modeling for large spatial datasets. In ...