An official website of the United States government
We present a novel symbolic reasoning engine for SQL which can efficiently generate an inputIfornqueriesP1, ⋯,Pn, such that their outputs onIsatisfy a given property (expressed in SMT). This is useful in different contexts, such as disproving equivalence of two SQL queries and disambiguating a set of queries. Our first idea is to reason about an under-approximation of eachPi— that is, a subset ofPi’s input-output behaviors. While it makes our approach both semantics-aware and lightweight, this idea alone is incomplete (as a fixed under-approximation might miss some behaviors of interest). Therefore, our second idea is to perform search over an expressive family of under-approximations (which collectively cover all program behaviors of interest), thereby making our approach complete. We have implemented these ideas in a tool, Polygon, and evaluated it on over 30,000 benchmarks across two tasks (namely, SQL equivalence refutation and query disambiguation). Our evaluation results show that Polygon significantly outperforms all prior techniques.
more »
« less
This content will become publicly available on July 1, 2026
Cultural transmission of animal tool use driven by trade-offs: insights from sponge-using dolphins
Although tool use offers obvious benefits to the user, the role of costs in the spread of tool use has received scant attention. Sponge tool use is a foraging technique restricted to a small subpopulation of bottlenose dolphins (Tursiops aduncus) in Shark Bay, Australia, that carry basket sponges on their beaks to probe the seafloor and flush out camouflaged fish, widening the search area and protecting the beak from abrasion. While most instances of animal tool use extend the phenotype, we hypothesized that sponges interfere with echolocation, particularly reception of echoes along the lower jaw. To evaluate how echolocation signals change while travelling through sponge tissue, we simulated echolocation using finite-element analysis based on digital models of sponge species (Echinodictyum mesenterinumandIrciniaspp.). We find that acoustic properties of the echolocation signal are changed in the presence ofIrciniaspp. and, to a lesser extent,E. mesenterinum. Given distortions vary with each sponge, dolphins must adaptively and flexibly compensate during neural signal processing. This explains why sponging takes so long to learn, is strictly vertically transmitted and does not spread to others despite close association with tool users. Taken together, these findings provide a compelling look at the underlying intrinsic and extrinsic forces shaping tool use in wild populations.
more »
« less
- PAR ID:
- 10630158
- Publisher / Repository:
- Royal Society Publishing
- Date Published:
- Journal Name:
- Royal Society Open Science
- Volume:
- 12
- Issue:
- 7
- ISSN:
- 2054-5703
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The D1 subunit of photosystem II (PSII) is subject to light-induced damage. In plants, D1 photodamage activates translation of chloroplastpsbAmRNA encoding D1, providing D1 for PSII repair. Three D1 assembly factors have been implicated in the regulatory mechanism: HCF244 and RBD1 activatepsbAtranslation, whereas HCF136 repressespsbAtranslation in the dark. To clarify the regulatory circuit, we analyzedpsbAribosome occupancy in dark-adapted and illuminatedrbd1andrbd1;hcf136double mutants in Arabidopsis and in Zm-hcf244and Zm-hcf244;Zm-hcf136double mutants in maize. The results show that RBD1 is required for light-inducedpsbAtranslation but has only a small effect onpsbAribosome occupancy in the dark. RBD1 is not required forpsbAtranslation when HCF136 is absent, indicating that RBD1 activatespsbAtranslation in the light by inhibiting HCF136’s repressive effect. By contrast, HCF244 is required to recruit ribosomes topsbAmRNA in light, dark, and in the absence of HCF136. We demonstrate further that HCF244 is not required for the translational activator HCF173 to bind thepsbA5’UTR. These results show that RBD1 is central to the perception of the D1 photodamage that triggers D1 synthesis and that it activatespsbAtranslation by relieving repression by an HCF136-dependent assembly intermediate. HCF244 activates downstream of those events without impacting HCF173’s binding topsbAmRNA. The results implicate a feature of nascent D1 that is affected by both HCF136 and RBD1 as the signal that reports D1 photodamage to regulatepsbAtranslation rate as needed for PSII repair.more » « less
-
Sponges (Porifera) contain many peptide-specialized metabolites with potent biological activities and significant roles in shaping marine ecology. It is well established that symbiotic bacteria produce bioactive “sponge” peptides, both on the ribosome (RiPPs) and nonribosomally. Here, we demonstrate that sponges themselves also produce many bioactive macrocyclic peptides, such as phakellistatins and related proline-rich macrocyclic peptides (PRMPs). Using theStylissa carterisponge transcriptome, methods were developed to find sequences encoding 46 distinct RiPP-type core peptides, of which ten encoded previously identified PRMP sequences. With this basis set, the genome and transcriptome of the spongeAxinella corrugatawas interrogated to find 35 PRMP precursor peptides encoding 31 unique core peptide sequences. At least 11 of these produced cyclic peptides that were present in the sponge and could be characterized by mass spectrometry, including stylissamides A-D and seven previously undescribed compounds. Precursor peptides were encoded in theA. corrugatagenome, confirming their animal origin. The peptides contained signal peptide sequences and highly repetitive recognition sequence-core peptide elements with up to 25 PRMP copies in a single precursor. In comparison to sponges without PRMPs, PRMP sponges are incredibly enriched in potentially secreted polypeptides, with >23,000 individual signal peptide encoding genes found in a single transcriptome. The similarities between PRMP biosynthetic genes and neuropeptides in terms of their biosynthetic logic suggest a fundamental biology linked to circular peptides, possibly indicating a widespread and underappreciated diversity of signaling peptide post-translational modifications across the animal kingdom.more » « less
-
Infectious diseases have detrimental impacts across wildlife taxa. Despite this, we often lack information on the complex spatial and contact structures of host populations, reducing our ability to understand disease spread and our preparedness for epidemic response. This is also prevalent in the marine environment, where rapid habitat changes due to anthropogenic disturbances and human-induced climate change are heightening the vulnerability of marine species to disease. Recognizing these risks, we leveraged a collated dataset to establish a data-driven epidemiological metapopulation model for Tamanend’s bottlenose dolphins (Tursiops erebennus), whose populations are periodically impacted by deadly respiratory disease. We found their spatial distribution and contact is heterogeneous throughout their habitat and by ecotype, which explains differences in past infection burdens. With our metapopulation approach, we demonstrate spatial hotspots for epidemic risk during migratory seasons and that populations in some central estuaries would be the most effective sentinels for disease surveillance. These mathematical models provide a generalizable, non-invasive tool that takes advantage of routinely collected wildlife data to mechanistically understand disease transmission and inform disease surveillance tactics. Our findings highlight the heterogeneities that play a crucial role in shaping the impacts of infectious diseases, and how a data-driven understanding of these mechanisms enhances epidemic preparedness.more » « less
-
Freeform Fresnel optics represent an emerging category of modern optics that reproduces powerful optical functionalities while maintaining an ultra-compact volume. The existing ultra-precision machining (UPM) technique faces technical challenges in meeting the fabrication requirements for freeform Fresnel optics because of the absence of appropriate geometry definition and corresponding tool path planning strategy to overcome the extreme asymmetry and discontinuity. This study proposes a new scheme for ultra-precision machining using four axes (X,Y,Z,C) to fabricate freeform Fresnel optics, including a general geometry description for freeform Fresnel optics, the quasi-spiral tool path generation strategy to overcome the lack of rotary symmetry, and the adaptive tool pose manipulation method for avoiding tool interference. In addition, the tool edge compensation and the adaptive timestep determination are also introduced to enhance the performance and efficiency of the proposed scheme. The machining of two exemplary freeform Fresnel lenses is successfully demonstrated. Overall, this study introduces a comprehensive routine for the fabrication of freeform Fresnel optics and proposes the adaptive tool pose manipulation scheme, which has the potential for broader applications in the ultra-precision machining of complex or discontinuous surfaces.more » « less
