Article | CU Experts | CU Boulder

Article RDF

pages:

Automatic Synthesis of Controllers from Specifications using Control Certificates Journal Article
Automatic Voltage and Dead Time Control for Efficiency Optimization in a Dual Active Bridge Converter Conference Proceeding
Automatically assembling a full census of an academic field Journal Article
Automatically Assessing Resource Quality for Educational Digital Libraries Conference Proceeding
Automatically Characterizing Resource Quality for Educational Digital Libraries Conference Proceeding
Automatically deriving readers' knowledge structures from texts Journal Article
Automatically learning construction injury precursors from text Journal Article
Automatically Measuring Question Authenticity in Real-World Classrooms Journal Article
Automating Analysis and Feedback to Improve Mathematics Teachers' Classroom Discourse Conference Proceeding
Automating Analysis of Neutron Scattering Time-of-Flight Single Crystal Phonon Data Journal Article
Automating Collection Development of Non-Latin Script Materials With Macros Journal Article
Automating open educational resources assessments Conference Proceeding
Automating Recommender Systems Experimentation with librec-auto Conference Proceeding
Automating the Generation of Composed Linear Algebra Kernels Conference Proceeding
Automating the Identification of Cartographic Lines Journal Article
Automating the McIntosh Classification System using Machine Learning Conference Proceeding
Automating vertical profiling Journal Article
Automation in SHM using damage measure and laser Doppler vibrometer Conference Proceeding
Automation of the SomaLogic Proteomics Assay: A Platform for Biomarker Discovery Journal Article
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications Conference Proceeding
Automodification switches PARP-1 function from chromatin architectural protein to histone chaperone Journal Article
AUTOMORPHISM GROUPS OF DENUMERABLE BOOLEAN ALGEBRAS Journal Article
AUTOMORPHISM GROUPS OF DENUMERABLE BOOLEAN ALGEBRAS Journal Article
Automorphism groups of squares and of free algebras Journal Article
AUTOMORPHISM-GROUPS AND FUNCTIONAL COMPLETENESS Journal Article
Automotive LED Driver Based On High Frequency Zero Voltage Switching Integrated Magnetics Cuk Converter Conference Proceeding
Automotive LED Driver based on Resonant DC-DC Converter with Wide Input and Output Voltage Ranges Conference Proceeding
Autonomic closure for turbulence simulations Journal Article
Autonomic Closure for Turbulent Flows Using Approximate Bayesian Computation Conference Proceeding
Autonomic correlates of children's concern and disregard for others Journal Article

pages: