Article | CU Experts | CU Boulder

Article RDF

pages:

Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths Journal Article
Static analysis in disjunctive numerical domains Conference Proceeding
Static Analysis in the Continuously Changing World Conference Proceeding
Static Analysis of ReLU Neural Networks with Tropical Polyhedra Conference Proceeding
Static Analysis with Demand-Driven Value Refinement Journal Article
STATIC AND DYNAMIC BEHAVIOR NEAR THE ORDER DISORDER TRANSITION; OF NEMATIC LIQUID CRYSTALS Journal Article
Static and dynamic compressive strains influence nitric oxide production and chondrocyte bioactivity when encapsulated in PEG hydrogels of different crosslinking densities Journal Article
STATIC AND DYNAMIC CONTACT IMPACT PROBLEMS USING FICTITIOUS FORCES Journal Article
Static and Dynamic Micropolar Linear Elastic Beam Finite Element Formulation, Implementation, and Analysis Journal Article
STATIC AND DYNAMIC SOLVENT FACTORS IN DIPOLAR REACTIONS IN SOLUTION Journal Article
Static and Dynamic Strain in the 1886 Charleston, South Carolina, Earthquake Journal Article
Static fundamental solutions for a bi-material full-space Journal Article
Static Hopf Solitons and Knotted Emergent Fields in Solid-State Noncentrosymmetric Magnetic Nanostructures Journal Article
Static methods in hybrid branch prediction Conference Proceeding
STATIC PROPERTIES OF A NON-NEUTRAL BE-9+ -ION PLASMA Journal Article
STATIC PROPERTIES OF A NON-NEUTRAL BE-9+ -ION PLASMA Journal Article
Static three-dimensional topological solitons in fluid chiral ferromagnets and colloids Journal Article
Statins Block Calcific Nodule Formation of Valvular Interstitial Cells by Inhibiting alpha-Smooth Muscle Actin Expression Journal Article
Stationarity of the Reconnection X-Line at Earth's Magnetopause for Southward IMF Journal Article
Stationary Expansion Shocks for a Regularized Boussinesq System Journal Article
Stationary L-Band Radiometry for Seasonal Measurements of Soil Moisture Conference Proceeding
Statistical advising: Professional development opportunities for the biostatistician COMMENT Journal Article
Statistical analysis of control maneuvers in unstable orbital environments Journal Article
Statistical analysis of drainage density from digital terrain data Journal Article
Statistical Analysis of Equatorial Plasma Bubbles Climatology and Multi-Day Periodicity Using GOLD Observations Journal Article
Statistical analysis of MMS observations of energetic electron escape observed at/beyond the dayside magnetopause Journal Article
Statistical analysis of neural networks as applied to building energy prediction Journal Article
Statistical Analysis of Optimal Stationkeeping Location and Coast Duration Using Stretching Directions Journal Article
Statistical Analysis of Optimal Stationkeeping Location and Coast Duration using Stretching Directions Conference Proceeding
Statistical analysis of overlapping double ion energy dispersion events in the northern cusp Journal Article

pages: