Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
Dec-2011 | Encore: low-cost, fine-grained transient fault recovery | Feng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I |
2019 | Learning to Prove Theorems via Interacting with Proof Assistants | Yang, Kaiyu; Deng, Jia |
Dec-2011 | Does Moral Ignorance Exculpate? | Harman, Elizabeth |
Jul-2016 | Linear Arithmetic Satisfiability Via Strategy Improvement | Farzan, Azadeh; Kincaid, Zachary |
2019 | Representing Movie Characters in Dialogues | Azab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada |
2019 | Spreading and oscillation dynamics of drop impacting liquid film | Tang, X; Saha, A; Sun, C; Law, Chung K |
Aug-2018 | Numerical Invariants via Abstract Machines | Kincaid, Zachary |
Dec-2016 | Scaling probabilistic models of genetic variation to millions of humans | Gopalan, Prem; Hao, Wei; Blei, David M; Storey, John D |
Dec-2016 | Designing networks: A mixed-integer linear optimization approach | Gounaris, Chrysanthos E.; Rajendran, Karthikeyan; Kevrekidis, Yannis G.; Floudas, Christodoulos A. |
2013 | Novel compstatin family peptides inhibit complement activation by drusen-like deposits in human retinal pigmented epithelial cell cultures | Gorham, Ronald D; Forest, David L; Tamamis, Phanourios; López de Victoria, Aliana; Kraszni, Márta, et al |