Article | CU Experts | CU Boulder

Article RDF

pages:

Venus-like interaction of the solar wind with Mars Journal Article
Vera Brittain: A feminist life - Gorham,D Journal Article
Verb Class Induction with Partial Supervision Conference Proceeding
VERB-INDIRECT OBJECT-DIRECT OBJECT and VERB-DIRECT OBJECT-INDIRECT OBJECT: A variationist analysis of oral Spanish Journal Article
Verb-object compounds with Spanish dar 'give': an emergent gustar 'like'-type construction Journal Article
Verbal Allusions in Milton's Samson Agonistes to his History of Britain and to Drayton's Poly-Olbion Journal Article
Verbal and spatial acquisition as a function of distributed practice and code-specific interference Journal Article
Verbal hygiene - Cameron,D Journal Article
Verbal learning and memory: Does the modal model still work? Journal Article
Verbing and Linguistic Innovation Journal Article
VerbNet Representations: Subevent Semantics for Transfer Verbs Conference Proceeding
Verdun: The Longest Battle of the Great War Journal Article
Verification and synthesis of interconnected embedded control systems under timing contracts Conference Proceeding
Verification of a fully implicit particle-in-cell method for the v(parallel to)-formalism of electromagnetic gyrokinetics in the XGC code Journal Article
Verification of a Many-Ion Simulator of the Dicke Model Through Slow Quenches across a Phase Transition Journal Article
Verification of a new NOAA/NSIDC passive microwave sea-ice concentration climate record Journal Article
Verification of an improved equation-free projective integration method for neoclassical plasma-profile evolution in tokamak geometry Journal Article
Verification of analog and mixed-signal circuits using timed hybrid Petri nets Conference Proceeding
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets Journal Article
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods Conference Proceeding
Verification of approximate infinite-step opacity using barrier certificates Conference Proceeding
Verification of approximate opacity for switched systems: A compositional approach Journal Article
Verification of Approximate Opacity via Barrier Certificates Journal Article
Verification of Approximate Opacity via Barrier Certificates Conference Proceeding
Verification of Automotive Control Applications using S-TaLiRo Conference Proceeding
Verification of Convection-Allowing WRF Model Forecasts of the Planetary Boundary Layer Using Sounding Observations Journal Article
Verification of delayed-reset domino circuits using ATACS Conference Proceeding
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates Conference Proceeding
Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis Conference Proceeding
Verification of gyrokinetic δf simulations of electron temperature gradient turbulence Journal Article

pages: