Conditional Propositions and Conditional Assertions by Stalnaker, Robert

Get full text

Robust Online Motion Planning with Regions of Finite Time Invariance by Majumdar, Anirudha, Tedrake, Russell L

Get full text

Direct Trajectory Optimization of Rigid Body Dynamical Systems through Contact by Posa, Michael, Tedrake, Russ

Get full text

The Need for Technology Policy Programs: Example of Big Data by de Neufville, Richard

Get full text

From Battlefields to Elections: Winning Strategies of Blotto and Auditing Games by Behnezhad, Soheil, Blum, Avrim, Derakhshan, Mahsa, HajiAghayi, MohammadTaghi, Mahdian, Mohammad, Papadimitriou, Christos H., Rivest, Ronald L., Seddighin, Saeed, Stark, Philip B.

Get full text

BatchVote: Voting Rules Designed for Auditability by Rivest, Ronald L, Stark, Philip B., Perumal, Zara (Zara Alexandra)

Get full text

Extracting and Optimizing Formally Verified Code for Systems Programming by Ioannidis, Eleftherios, Kaashoek, M. Frans, Zeldovich, Nickolai

Get full text

Revisiting the Physics of Spider Ballooning by Sheldon, Kimberly S., Zhao, Longhua, Chuang, Angela, Panayotova, Iordanka N., Miller, Laura A., Bourouiba, Lydia

Get full text

Tight Hardness for Shortest Cycles and Paths in Sparse Graphs by Lincoln, Andrea I, Williams, Virginia Vassilevska, Williams, Richard Ryan

Get full text

One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile by Demaine, Erik D, Demaine, Martin L, Fekete, Sándor P., Patitz, Matthew J., Schweller, Robert T., Winslow, Andrew, Woods, Damien

Get full text

Blood Pressure and the Risk of Acute Kidney Injury in the ICU: Case-Control Versus Case-Crossover Designs by Lehman, Li-wei H., Feng, Mengling, Yang, Yijun, Mark, Roger G

Get full text

In Vitro Modeling of Complex Neurological Diseases by Soldner, Frank, Jaenisch, Rudolf

Get full text

Seeing Tree Structure from Vibration by Xue, Tianfan, Wu, Jiajun, Zhang, Zhoutong, Zhang, Chengkai, Tenenbaum, Joshua B, Freeman, William T

Get full text

Segmentation of Cerebrovascular Pathologies in Stroke Patients with Spatial and Shape Priors by Dalca, Adrian Vasile, Sridharan, Ramesh, Cloonan, Lisa, Fitzpatrick, Kaitlin M., Kanakis, Allison, Furie, Karen L., Rosand, Jonathan, Wu, Ona, Sabuncu, Mert, Rost, Natalia S., Golland, Polina

Get full text

How Many Subpopulations Is Too Many?: Exponential Lower Bounds for Inferring Population Histories by Kim, Younhun, Koehler, Frederic, Moitra, Ankur, Mossel, Elchanan, Ramnarayan, Govind

Get full text

Utilizing Economic Value, Resource Availability, and Environmental Impact Metrics to Improve the WEEE and Battery Directives and Promote Alignment with the European Commission Circ... by Ford, Patrick Benjamin, Santos, Eduardo, Ferrão, Paulo, Margarido, Fernanda, Van Vliet, Krystyn J, Olivetti, Elsa A.

Get full text

The Scantegrity Voting System and Its Use in the Takoma Park Elections by Carback, Richard T., Chaum, David, Clark, Jeremy, Essex, Aleksander, Mayberry, Travis, Popoveniuc, Stefan, Rivest, Ronald L, Shen, Emily H., Sherman, Alan T., Vora, Poorvi L., Wittrock, John, Zagórski, Filip

Get full text

Upward Partitioned Book Embeddings by Akitaya, Hugo A., Demaine, Erik D, Hesterberg, Adam Classen, Liu, Quanquan C.

Get full text

Learning and Learnability in Phonology by Albright, Adam, Hayes, Bruce

Get full text

Physical Primitive Decomposition by Liu, Zhijian, Freeman, William T, Tenenbaum, Joshua B, Wu, Jiajun

Get full text