skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Nomenclatural changes in the family Membracidae (Hemiptera, Auchenorrhyncha, Membracoidea)
Nomenclatural changes are provided for names in the family Membracidae. The following replacement names are proposed: Gargara (Gargara) discoidea nom.nov. for Gargara (Gargara) discoidalis Ananthasubramanian, 1980; Tricentrus substitutus nom.nov. for Tricentrus yunnanensis (Yuan & Li, 2002); Indicopleustes esakii nom.nov. for Indicopleustes typicus Esaki, 1932; Neoproterpia nom.nov. for Proterpia Stål, 1867; Membracis expansa Walker, 1851 status revised is reinstated as valid on taxonomic grounds. The correct original spelling is fixed for Leptocentrus florifacialis Yuan in Yuan & Chou, 2002, and seven incorrect original spellings are documented for five additional species in which a correct spelling was later adopted by one or more of the original authors. The name Micrutalis minutus Buckton, 1902 is emended to Micrutalis minuta Buckton, 1902 and Brachytalis punctulatus Ramos is emended to Brachytalis punctulata Ramos in both cases to agree with the feminine gender of Micrutalis Fowler, 1895 and Brachytalis Metcalf & Bruner, 1925.  more » « less
Award ID(s):
1639601 1458285
PAR ID:
10048203
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Zootaxa
Volume:
4365
Issue:
1
ISSN:
1175-5334
Page Range / eLocation ID:
94-98
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Romanach, Stephanie S. (Ed.)
    Massive biological databases of species occurrences, or georeferenced locations where a species has been observed, are essential inputs for modeling present and future species distributions. Location accuracy is often assessed by determining whether the observation geocoordinates fall within the boundaries of the declared political divisions. This otherwise simple validation is complicated by the difficulty of matching political division names to the correct geospatial object. Spelling errors, abbreviations, alternative codes, and synonyms in multiple languages present daunting name disambiguation challenges. The inability to resolve political division names reduces usable data, and analysis of erroneous observations can lead to flawed results. Here, we present the Geographic Name Resolution Service (GNRS), an application for correcting, standardizing, and indexing world political division names. The GNRS resolves political division names against a reference database that combines names and codes from GeoNames with geospatial object identifiers from the Global Administrative Areas Database (GADM). In a trial resolution of political division names extracted from >270 million species occurrences, only 1.9%, representing just 6% of occurrences, matched exactly to GADM political divisions in their original form. The GNRS was able to resolve, completely or in part, 92% of the remaining 378,568 political division names, or 86% of the full biodiversity occurrence dataset. In assessing geocoordinate accuracy for >239 million species occurrences, resolution of political divisions by the GNRS enabled the detection of an order of magnitude more errors and an order of magnitude more error-free occurrences. By providing a novel solution to a significant data quality impediment, the GNRS liberates a tremendous amount of biodiversity data for quantitative biodiversity research. The GNRS runs as a web service and is accessible via an API, an R package, and a web-based graphical user interface. Its modular architecture is easily integrated into existing data validation workflows. 
    more » « less
  2. Spellchecking functionality embedded in existing search tools can assist children by offering a list of spelling alternatives when a spelling error is detected. Unfortunately, children tend to generally select the first alternative when presented with a list of options, as opposed to the one that matches their intent. In this paper, we describe a study we conducted with 191 children ages 6-12 in order to offer empirical evidence of: (1) their selection habits when identifying spelling suggestions that match the word they meant to type, and (2) the degree of influence multimodal cues, i.e., synthesized speech and images, have in prompting children to select the correct spelling suggestion. The results from our study reveal that multimodal cues, primarily synthesized speech, have a positive impact on the children's ability to identify their intended word from a list of spelling suggestions. 
    more » « less
  3. Simulating the properties of many-body fermionic systems is an outstanding computational challenge relevant to material science, quantum chemistry, and particle physics.-5.4pc]Please note that the spelling of the following author names in the manuscript differs from the spelling provided in the article metadata: D. González-Cuadra, D. Bluvstein, M. Kalinowski, R. Kaubruegger, N. Maskara, P. Naldesi, T. V. Zache, A. M. Kaufman, M. D. Lukin, H. Pichler, B. Vermersch, Jun Ye, and P. Zoller. The spelling provided in the manuscript has been retained; please confirm. Although qubit-based quantum computers can potentially tackle this problem more efficiently than classical devices, encoding nonlocal fermionic statistics introduces an overhead in the required resources, limiting their applicability on near-term architectures. In this work, we present a fermionic quantum processor, where fermionic models are locally encoded in a fermionic register and simulated in a hardware-efficient manner using fermionic gates. We consider in particular fermionic atoms in programmable tweezer arrays and develop different protocols to implement nonlocal gates, guaranteeing Fermi statistics at the hardware level. We use this gate set, together with Rydberg-mediated interaction gates, to find efficient circuit decompositions for digital and variational quantum simulation algorithms, illustrated here for molecular energy estimation. Finally, we consider a combined fermion-qubit architecture, where both the motional and internal degrees of freedom of the atoms are harnessed to efficiently implement quantum phase estimation as well as to simulate lattice gauge theory dynamics. 
    more » « less
  4. Variable names are critical for conveying intended program behavior. Machine learning-based program analysis methods use variable name representations for a wide range of tasks, such as suggesting new variable names and bug detection. Ideally, such methods could capture semantic relationships between names beyond syntactic similarity, e.g., the fact that the names average and mean are similar. Unfortunately, previous work has found that even the best of previous representation approaches primarily capture "relatedness" (whether two variables are linked at all), rather than "similarity" (whether they actually have the same meaning). We propose VarCLR, a new approach for learning semantic representations of variable names that effectively captures variable similarity in this stricter sense. We observe that this problem is an excellent fit for contrastive learning, which aims to minimize the distance between explicitly similar inputs, while maximizing the distance between dissimilar inputs. This requires labeled training data, and thus we construct a novel, weakly-supervised variable renaming dataset mined from GitHub edits. We show that VarCLR enables the effective application of sophisticated, general-purpose language models like BERT, to variable name representation and thus also to related downstream tasks like variable name similarity search or spelling correction. VarCLR produces models that significantly outperform the state-of-the-art on IdBench, an existing benchmark that explicitly captures variable similarity (as distinct from relatedness). Finally, we contribute a release of all data, code, and pre-trained models, aiming to provide a drop-in replacement for variable representations used in either existing or future program analyses that rely on variable names. 
    more » « less
  5. The nomenclature and status of the fossil-genus Sparganiaceaepollenites Thiergart 1937 and several of its species are problematic. We confirm the status of the genus and provide an emended description for it to accommodate new characters that were recently described in some species. We note that (i) the name Sparganiaceaepollenites microreticulatus Grabowska and Wa?y?ska 2009 from the Miocene of Poland is illegitimate according to the rules of the International Code of Nomenclature for algae, fungi, and plants, as a later homonym of Sparganiaceaepollenites microreticulatus Kar and Jain 1981 from the Miocene of India; (ii) the name Sparganiaceaepollenites reticulatus Samant et al. 2022 from the Maastrichtian of India is illegitimate as a later homonym of Sparganiaceaepollenites reticulatus Doktorowicz-Hrebnicka 1960 ex Krutzsch and Vanhoorne 1977 from the Miocene of Poland; and (iii) the name Sparganiaceaepollenites annulatus Thakre et al. 2024 from the Danian of India is illegitimate as a later homonym of Sparganiaceaepollenites annulatus De Benedetti 2023 from the Maastrichtian?Danian of Argentina. We propose the new names (i) Sparganiaceaepollenites oczkowicensis nom. nov. subst. pro Sparganiaceaepollenites microreticulatus Grabowska and Wa?y?ska; and (ii) Sparganiaceaepollenites intertrappeansis nom. nov. subst. pro S. reticulatus Samant et al. (an emended description is provided). Additionally, Sparganiaceaepollenites annulatus Thakre et al. is considered a heterotypic synonym of Sparganiaceaepollenites intertrappeansis nom. nov. 
    more » « less