Conference Proceeding | CU Experts | CU Boulder

Conference Proceeding RDF

pages:

Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
Poster: Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach
Poster: Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
Poster: Designing Navigation Aides for Wildland Firefighters
Poster: Discovery of a single-band Mott insulator in a van der Waals flat-band compound
Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach
Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach
Poster: Leadership in Language: Differential Impact of Media Language on Leadership Survey Responses
Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
Poster: OFX: Enabling OpenFlow Extensions for Switch-Level Security Applications
Poster: Parting the Flames: Interactions of a Flame Sheet with a Juncture Flow
Poster: Respondent Robotics: Simulating Responses to Likert-Scale Survey Items
Poster: Smart Cook: Making Cooking Easier with Multimodal Learning
Postmaneuver Collision Probability Estimation Using Sparse Polynomial Chaos Expansions
Postpartum haemorrhage and risk of cardiovascular disease in later life: A Scottish population-based record linkage cohort study
Postpartum haemorrhage occurring in UK midwifery units: A national population-based case-control study to investigate incidence, risk factors and outcomes
Potential effects of optical solar sail degradation on trajectory design
Potential energy surfaces and vibrational spectra of phosphine adsorption and decomposition om Si(100)-2x1.
Potential for Achieving Post-Disaster Functional Recovery for Existing Buildings: Lessons from Earthquakes for Other Hazards
Potential for Damage to Brittle Structures in Induced Earthquake
Potential for Mitigating Hurricane Wind Impact on Informally-Constructed Homes in Puerto Rico under Current and Future Climate Scenarios
Potential for Recoverable Power: Simulated Use of Distributed Power Converters and Various Levels in Partially Shaded Photovoltaic Arrays
Potential function as a variable: Advances in using simulations of multiple states to solve hard biomolecular problems
Potential Impact of Climate Change on Municipal Buildings in South Africa
Potential of Wind Power to Provide Flexible Ramping Products and Operating Reserve
Potential Opportunities and Challenges in the Integration of Executive Function Processes in Mathematics Education
Potential paths in space astronomy over the next 50 years
POWDER-BINDER JETTING LARGE-SCALE, METAL DIRECT-DRIVE GENERATORS: SELECTING THE POWDER, BINDER, AND PROCESS PARAMETERS
Power Amplifier Design Using Interactive Multi-Objective Visualization
Power Amplifier Design Using Interactive Multi-Objective Visualization

pages: