Recursed is not recursive: A jarring result by Demaine, ED, Kopinsky, J, Lynch, J

“…Our reduction is “practical”: the reduction from PCP results in fully playable levels that abide by all constraints governing levels (including the 15 × 20 room size) designed for the main game. …”
Get full text

SyGuS-Comp 2017: Results and Analysis by Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

“…This paper presents and analyses the results of SyGuS-Comp'17.…”
Get full text

SyGuS-Comp 2016: Results and Analysis by Alur, Rajeev, Fisman, Dana, Singh, Rishabh, Solar-Lezama, Armando

“…This paper presents and analyses the results of SyGuS-Comp'16.…”
Get full text

Some Results on Greedy Embeddings in Metric Spaces by Moitra, Ankur, Leighton, Frank Thomson

“…We also prove a combinatorial condition that guarantees nonembeddability. We use this result to construct graphs that can be greedily embedded into the Euclidean plane, but for which no spanning tree admits such an embedding.…”
Get full text
Get full text
Get full text

Better GP benchmarks: community survey results and proposals by McDermott, James, Castelli, Mauro, Manzoni, Luca, Kronberger, Gabriel, Jaśkowski, Wojciech, Luke, Sean, White, David R., Goldman, Brian W., O'Reilly, Una-May

“…We present the results of a community survey regarding genetic programming benchmark practices. …”
Get full text

Results on a Super Strong Exponential Time Hypothesis by Vyas, Nikhil, Williams, Ryan

“…This hypothesis has been called the “Super-Strong Exponential Time Hypothesis” (Super Strong ETH), modeled after the ETH and the Strong ETH. We prove two results concerning the Super-Strong ETH:1. It has also been hypothesized that k-SAT is hard to solve for randomly chosen instances near the “critical threshold”, where the clause-to-variable ratio is 2k ln 2 −Θ(1). …”
Get full text

Expressive Query Construction through Direct Manipulation of Nested Relational Results by Bakke, Eirik, Karger, David R

“…We consider three requirements to be essential to a successful alternative: (1) query specification through direct manipulation of results, (2) the ability to view and modify any part of the current query without departing from the direct manipulation interface, and (3) SQL-like expressiveness. …”
Get full text
Get full text
Get full text

Approximation algorithms via structural results for apex-minor-free graphs by Demaine, Erik D., Hajiaghayi, Mohammad Taghi, Kawarabayashi, Ken-ichi

“…We develop new structural results for apex-minor-free graphs and show their power by developing two new approximation algorithms. …”
Get full text
Get full text

Transdichotomous Results in Computational Geometry, I: Point Location in Sublogarithmic Time by Chan, Timothy M., Patrascu, Mihai

“…Though computational geometry with bounded precision input has been investigated for a long time, improvements have been limited largely to problems of an orthogonal flavor. Our results surpass this long-standing limitation, answering, for example, a question of Willard (SODA'92).…”
Get full text

VX Hydrolysis by Human Serum Paraoxonase 1: A Comparison of Experimental and Computational Results by Peterson, Matthew W., Fairchild, Steven Z., Otto, Tamara C., Mohtashemi, Mojdeh, Cerasoli, Douglas M., Chang, Wenling E.

“…The analysis showed that only conformations which have the attacking hydroxyl group of VXts coordinated by the sidechain oxygen of D269 have a significant correlation with experimental results. The results from this study can be used for further characterization of how HuPON1 hydrolyzes VX and design of HuPON1 variants with increased activity against VX.…”
Get full text

Unlocking the Secrets of the Genome by Celniker, Susan E., Dillon, Laura A. L., Gerstein, Mark B., Gunsalus, Kristin C., Henikoff, Steven, Karpen, Gary H., Kellis, Manolis, Lai, Eric C., Lieb, Jason D., MacAlpine, David M., Micklem, Gos, Piano, Fabio, Snyder, Michael, Stein, Lincoln, White, Kevin P., Waterston, Robert H.

“…The primary objective of the Human Genome Project was to produce high-quality sequences not just for the human genome but also for those of the chief model organisms: Escherichia coli, yeast (Saccharomyces cerevisiae), worm (Caenorhabditis elegans), fly (Drosophila melanogaster) and mouse (Mus musculus). Free access to the resultant data has prompted much biological research, including development of a map of common human genetic variants (the International HapMap Project)1, expression profiling of healthy and diseased cells2 and in-depth studies of many individual genes. …”
Get full text

A measurement distribution framework for cooperative navigation using multiple AUVs by Fallon, Maurice Francis, Papadopoulos, Georgios, Leonard, John Joseph

“…The approach is independent of the resultant application-such as recursive state estimation or full pose optimization. …”
Get full text
Get full text

Efficient AUV Navigation Fusing Acoustic Ranging and Side-scan Sonar by Fallon, Maurice Francis, Kaess, Michael, Johannsson, Hordur, Leonard, John Joseph

“…Extension of the paradigm to multiple missions via the optimization of successive survey missions (and the resultant sonar mosaics) is also demonstrated.…”
Get full text
Get full text

A comparison of thin-plate spline deformation and finite element modeling to compensate for brain shift during tumor resection by Frisken, Sarah, Luo, Ma, Juvekar, Parikshit, Bunevicius, Adomas, Machado, Ines, Unadkat, Prashin, Bertotti, Melina M, Toews, Matt, Wells, William M, Miga, Michael I, Golby, Alexandra J

“…The spline-based method was simpler and tended to give better results for small deformations. However, large variability in the spline results and relatively small brain shift prevented this study from demonstrating a statistically significant difference between the results of the two methods.…”
Get full text

Effect of Depth and Width on Local Minima in Deep Learning by Kawaguchi, Kenji, Huang, Jiaoyang, Kaelbling, Leslie P

“…The proofs of these results are derived under mild assumptions. Accordingly, the proven results are directly applicable to many machine learning models, including practical deep neural networks, without any modification of practical methods. …”
Get full text

Every Local Minimum Value Is the Global Minimum Value of Induced Model in Nonconvex Machine Learning by Kawaguchi, Kenji, Huang, Jiaoyang, Kaelbling, Leslie P

“…The proofs of these results are derived under mild assumptions. Accordingly, the proven results are directly applicable to many machine learning models, including practical deep neural networks, without any modification of practical methods. …”
Get full text

Learning Multi-Item Auctions with (or without) Samples by Cai, Yang, Daskalakis, Constantinos

“…Our bounds result in exponential savings in sample complexity compared to bounds derived by bounding the VC dimension and are of independent interest.…”
Get full text

Approximate computation with outlier detection in Topaz by Rinard, Martin C, Achour, Sara

“…We present Topaz, a new task-based language for computations that execute on approximate computing platforms that may occasionally produce arbitrarily inaccurate results. Topaz maps tasks onto the approximate hardware and integrates the generated results into the main computation. …”
Get full text
Get full text
Get full text

ProSecCo: progressive sequence mining with convergence guarantees by Servan-Schreiber, Sacha, Riondato, Matteo, Zgraggen, Emanuel

“…Our correctness analysis uses the Vapnik–Chervonenkis (VC) dimension, a key concept from statistical learning theory. The results of our experimental evaluation of ProSecCo on real and artificial datasets show that it produces fast-converging high-quality results almost immediately. …”
Get full text

Automation in Interior Space Planning: Utilizing Conditional Generative Adversarial Network Models to Create Furniture Layouts by Tanasra, Hanan, Rott Shaham, Tamar, Michaeli, Tomer, Austern, Guy, Barath, Shany

“…The numerical results indicate that BicycleGAN outperformed the two other models. …”
Get full text