Extended Abstract: Risk-Sensitive Planning with Dynamic Uncertainty Liana Marinescu Department of Informatics, King’s College London

Source URL: icaps16.icaps-conference.org

• Probability and statistics
• Mathematical analysis
• Probability theory
• Measurement
• Automated planning and scheduling
• Planning Domain Definition Language
• Confidence interval
• Heuristic
• Normal distribution
• Uncertainty

A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2

Source URL: csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• Conflict-driven clause learning
• Solver

RAINBOW MATCHINGS IN PROPERLY-COLOURED MULTIGRAPHS arXiv:1710.03041v1 [math.CO] 9 Oct 2017 PETER KEEVASH AND LIANA YEPREMYAN Mathematical Institute, University of Oxford.

Source URL: arxiv.org

X Encontro Nacional da Rede MOVA-BRASIL – A alfabetização de Jovens e Adultos em movimento Liana Borges Coordenação Nacional da Rede MOVA-BRASIL O Movimento de Alfabetização de Jovens e Adultos tem sua origem no

Source URL: www.ceaal.org

Disparities in STEM Employment by Sex, Race, and Hispanic Origin American Community Survey Reports By Liana Christin Landivar Issued September 2013 ACS-24

Source URL: fortunedotcom.files.wordpress.com

The Cost of Engagement: Politics and Participatory Practices in the U.S. Liberty Movement Liana Gamber Thompson, Ph.D.

Source URL: dmlcentral.net

The Supplemental Poverty Measure: 2015 Current Population Reports Trudi Renwick and Liana Fox Issued September 2016 Revised September 2016 P60-258 (RV)

Source URL: www.census.gov

A Concurrency Problem with Exponential DPLL(T ) Proofs Liana Hadarean1 Alex Horn1

Source URL: forsyte.at

Opinion Piece: NT footage reminds us the end result of a ‘tough on crime’ approach to children Liana Buchanan, Principal Commissioner for Children and Young People; and Andrew Jackomos, Commissioner for Aboriginal C

Source URL: www.ccyp.vic.gov.au

Liana leaves in crown: 0 Trunk

Source URL: www.rainfor.org