Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.

 | 
Item hits:
Publication DateArticle TitleAuthor(s)
2018Risk-sensitive inverse reinforcement learning via semi- and non-parametric methodsSingh, S; Lacotte, J; Majumdar, Anirudha; Pavone, M
Jun-2015Contractualism and social riskFrick, Johann
11-Nov-2019The intragenus and interspecies quorum-sensing autoinducers exert distinct control over Vibrio cholerae biofilm formation and dispersalBridges, Andrew A; Bassler, Bonnie L
2014WeFold: A coopetition for protein structure predictionKhoury, George A; Liwo, Adam; Khatib, Firas; Zhou, Hongyi; Chopra, Gaurav, et al
Dec-2011Encore: low-cost, fine-grained transient fault recoveryFeng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I
2019Learning to Prove Theorems via Interacting with Proof AssistantsYang, Kaiyu; Deng, Jia
Jul-2016Linear Arithmetic Satisfiability Via Strategy ImprovementFarzan, Azadeh; Kincaid, Zachary
2019Representing Movie Characters in DialoguesAzab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada
2019Spreading and oscillation dynamics of drop impacting liquid filmTang, X; Saha, A; Sun, C; Law, Chung K
Aug-2018Numerical Invariants via Abstract MachinesKincaid, Zachary