Article | CU Experts | CU Boulder

Article RDF

pages:

FORM-FACTOR RATIO MEASUREMENT IN LAMBDA(+)(C)-]LAMBDA-E(+)NU(E) Journal Article
Forma e Militância em “O Moleque,” de Lima Barreto Journal Article
Formal Abstraction of General Stochastic Systems via Noise Partitioning Journal Article
Formal Alder-ene reaction of a bicyclo[1.1.0]butane in the synthesis of the tricyclic quaternary ammonium core of daphniglaucins Journal Article
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes Journal Article
Formal Control Synthesis for Stochastic Neural Network Dynamic Models Journal Article
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Conference Proceeding
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning Journal Article
Formal evaluation of construction safety performance metrics and a case for a balanced approach Journal Article
FORMAL GROUPS IN GENUS 2 Journal Article
Formal Policy Learning from Demonstrations for Reachability Properties Conference Proceeding
Formal properties of gene assembly: Equivalence problem for overlap graphs Journal Article
Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach Journal Article
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning Conference Proceeding
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning Journal Article
Formal Synthesis of Stochastic Systems via Control Barrier Certificates Journal Article
Formal systems for gene assembly in ciliates Journal Article
Formal Uncertainty Analysis of a Lagrangian Photochemical Air Pollution Model Journal Article
Formal Verification and Synthesis for Discrete-Time Stochastic Systems Journal Article
Formal Verification of a Multi-Basal Insulin Infusion Control Model Conference Proceeding
Formal verification of digital systems by automatic reduction of data paths Journal Article
Formal Verification of Hyperproperties for Control Systems Conference Proceeding
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach Journal Article
Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression Journal Article
FORMALDEHYDE ANTI-INVERSION AT z=0.68 IN THE GRAVITATIONAL LENS B0218+357 Journal Article
Formaldehyde columns from the Ozone Monitoring Instrument: Urban versus background levels and evaluation using aircraft data and a global model Journal Article
Formaldehyde densitometry of starburst galaxies Journal Article
FORMALDEHYDE DENSITOMETRY OF STARBURST GALAXIES: DENSITY-INDEPENDENT GLOBAL STAR FORMATION Journal Article
Formaldehyde evolution in US wildfire plumes during the Fire Influence on Regional to Global Environments and Air Quality experiment (FIREX-AQ) Journal Article
Formaldehyde in human cancer cells: Detection by preconcentration-chemical ionization mass spectrometry Journal Article

pages: