cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Stephanitis (Stephanitis) pyri
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Stephanitis
Stephanitis pyri

description: Stephanitis (Stephanitis) pyri (Fabricius, 1775)
Material examined: ASIAN TURKEY: Amasya province: Centru m, 13.05.2010, 400 m, 4♀♀, 3♂♂; Artvin province: Borçka, Düzenli, 1850 m, 23.07.2005, 1♀; 13.07.2009, 1♀; EUROPEAN TURKEY: Tekirdağ province: Malkara, Izgar, 04.10.2014, 145 m, 2♀♀, 2♂♂.
Asian Turkey: Reuter (1890), Puton & Noualhier (1895), Escherich (1897), Horváth (1906), Hoberlandt (1956), Önder & Adıgüzel (1979), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Gülperçin & Önder (1999), Önder et al. (2006).
European Turkey: Péricart & Golub (1996), Kment & Jindra (2006), this study.
Comments: This Holomediterranean species has been found for the first time from Asia Minor (= Anatolia) by Horváth (1906) without a locality detail. It was found in this study on cherry leaf in Amasya, on Rosa sp. in Artvin and on pear leaf in Tekirdağ. Turkish records prior to Kment c Jindra (2006) needs revision due to possible misidentification of S. oschanini.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 480, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
Trombiculindus griselda
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus griselda

description: Trombiculindus griselda (Schluger, Grochovskaja, Ngu, Hoe and Tung, 1963):
ORI
Trombicula (Trombiculindus) griselda Schluger, Grochovskaja, Ngu, Hoe and Tung, 1963
Leptotrombidium (Trombiculindus) griselda, Vercammen-Grandjean & Langston 1976
Trombiculindus griselda, Kudryashova 2004; Stekolnikov 2021
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Predicting the Geolocation of Tweets Using transformer models on Customized Data
Creators: name: Lutsai, Kateryna
name: Lampert, Christoph H.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: Information Retrieval (cs.IR)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: I.2.7
subject: 68T50

description: This research is aimed to solve the tweet/user geolocation prediction task and provide a flexible methodology for the geotagging of textual big data. The suggested approach implements neural networks for natural language processing (NLP) to estimate the location as coordinate pairs (longitude, latitude) and two-dimensional Gaussian Mixture Models (GMMs). The scope of proposed models has been finetuned on a Twitter dataset using pretrained Bidirectional Encoder Representations from Transformers (BERT) as base models. Performance metrics show a median error of fewer than 30 km on a worldwide-level, and fewer than 15 km on the US-level datasets for the models trained and evaluated on text features of tweets' content and metadata context. Our source code and data are available at https://github.com/K4TEL/geo-twitter.git
description: 31 pages, 5 tables, 9 figures
Trombiculindus gateri
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus gateri

description: Trombiculindus gateri (Traub and Nadchatram, 1967a):
ORI
Leptotrombidium (Trombiculindus) gateri Traub and Nadchatram, 1967 a
Trombiculindus gateri, Chaisiri et al. 2016; Stekolnikov 2021
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Tingis (Neolasiotropis) ballotae Seidenstucker 1972
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis ballotae

description: Tingis (Neolasiotropis) ballotae Seidenstücker, 1972
Asian Turkey: Seidenstücker (1972), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Kothe et al. (2004), Önder et al. (2006).
Comments: This endemic species has been described from Baraj (Ankara) by Seidenstücker (1972) and is rarely distributed only in Central Anatolia.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 481, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
GUTS: Generalized Uncertainty-Aware Thompson Sampling for Multi-Agent Active Search
Creators: name: Bakshi, Nikhil Angad
name: Gupta, Tejus
name: Ghods, Ramina
name: Schneider, Jeff
Publisher: name: arXiv
Year: 2023
Subjects: subject: Robotics (cs.RO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Robotic solutions for quick disaster response are essential to ensure minimal loss of life, especially when the search area is too dangerous or too vast for human rescuers. We model this problem as an asynchronous multi-agent active-search task where each robot aims to efficiently seek objects of interest (OOIs) in an unknown environment. This formulation addresses the requirement that search missions should focus on quick recovery of OOIs rather than full coverage of the search region. Previous approaches fail to accurately model sensing uncertainty, account for occlusions due to foliage or terrain, or consider the requirement for heterogeneous search teams and robustness to hardware and communication failures. We present the Generalized Uncertainty-aware Thompson Sampling (GUTS) algorithm, which addresses these issues and is suitable for deployment on heterogeneous multi-robot systems for active search in large unstructured environments. We show through simulation experiments that GUTS consistently outperforms existing methods such as parallelized Thompson Sampling and exhaustive search, recovering all OOIs in 80% of all runs. In contrast, existing approaches recover all OOIs in less than 40% of all runs. We conduct field tests using our multi-robot system in an unstructured environment with a search area of approximately 75,000 sq. m. Our system demonstrates robustness to various failure modes, achieving full recovery of OOIs (where feasible) in every field run, and significantly outperforming our baseline.
description: 7 pages, 5 figures, 1 table, for associated video see: https://youtu.be/K0jkzdQ_j2E , published in International Conference on Robotics and Automation (ICRA) 2023. Outstanding Deployed Systems Paper Winner
Tingis (Neolasiotrapis) marrubii Vallot 1829
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis marrubii

description: Tingis (Neolasiotrapis) marrubii Vallot, 1829
Asian Turkey: Horváth (1906, as Tingis kiesenwetteri), Hoberlandt (1956, as T. kiesenwetteri). European Turkey: Péricart (1983), Péricart & Golub (1996).
Comments: This Mediterranean species has been found for the first time from Angora (= Ankara) by Horváth (1906) as Tingis kiesenwetteri.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 481, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
Designing a Framework for Solving Multiobjective Simulation Optimization Problems
Creators: name: Chang, Tyler H.
name: Wild, Stefan M.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Optimization and Control (math.OC)
subject: Mathematical Software (cs.MS)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Multiobjective simulation optimization (MOSO) problems are optimization problems with multiple conflicting objectives, where evaluation of at least one of the objectives depends on a black-box numerical code or real-world experiment, which we refer to as a simulation. While an extensive body of research is dedicated to developing new algorithms and methods for solving these and related problems, it is challenging and time consuming to integrate these techniques into real world production-ready solvers. This is partly due to the diversity and complexity of modern state-of-the-art MOSO algorithms and methods and partly due to the complexity and specificity of many real-world problems and their corresponding computing environments. The complexity of this problem is only compounded when introducing potentially complex and/or domain-specific surrogate modeling techniques, problem formulations, design spaces, and data acquisition functions. This paper carefully surveys the current state-of-the-art in MOSO algorithms, techniques, and solvers; as well as problem types and computational environments where MOSO is commonly applied. We then present several key challenges in the design of a Parallel Multiobjective Simulation Optimization framework (ParMOO) and how they have been addressed. Finally, we provide two case studies demonstrating how customized ParMOO solvers can be quickly built and deployed to solve real-world MOSO problems.
Trombiculindus hastatum
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus hastatum

description: Trombiculindus hastatum (Gater, 1932):
ORI
Trombicula hastata Gater, 1932
Neoschoengastia hastata, Womersley & Heaslip 1943
Ascoschoengastia hastata, Womersley & Kohls 1947
Trombicula (Trombicula) hastata, Thor & Willmann 1947; Wharton & Fuller 1952
Trombicula (Neotrombicula) hastata, Womersley 1952
Neotrombicula hastata, Radford 1954a
Euschoengastia hastata, Radford 1954a
Trombicula (Trombiculindus) hastata, Womersley & Audy 1957
Leptotrombidium (Trombiculindus) hastatum, Traub & Nadchatram 1967 a
Trombiculindus hastatum, Stekolnikov 2021
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Skein module dimensions of mapping tori of the 2-torus
Creators: name: Kinnear, Patrick
Publisher: name: arXiv
Year: 2023
Subjects: subject: Geometric Topology (math.GT)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics
subject: 57K31, 57K16, 57R56 (Primary), 57R22, 16E40 (Secondary)

description: We determine the dimension of the Kauffman bracket skein module at generic $q$ for mapping tori of the 2-torus, generalising the well-known computation of Carrega and Gilmer. In the process, we give a decomposition of the twisted Hochschild homology of the $G$-skein algebra for $G = \mathrm{SL}_N$ or $\mathrm{GL}_N$, which is a direct summand of the whole skein module, and from which the dimensions follow easily in the cases $G = \mathrm{SL}_2$ and $G = \mathrm{GL}_1$.
description: Final version, to appear in Quantum Topology
Leveraging Large Language Models to Power Chatbots for Collecting User Self-Reported Data
Creators: name: Wei, Jing
name: Kim, Sungdong
name: Jung, Hyunhoon
name: Kim, Young-Ho
Publisher: name: arXiv
Year: 2023
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Artificial Intelligence (cs.AI)
subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences
subject: H.5.2; I.2.7

description: Large language models (LLMs) provide a new way to build chatbots by accepting natural language prompts. Yet, it is unclear how to design prompts to power chatbots to carry on naturalistic conversations while pursuing a given goal, such as collecting self-report data from users. We explore what design factors of prompts can help steer chatbots to talk naturally and collect data reliably. To this aim, we formulated four prompt designs with different structures and personas. Through an online study (N = 48) where participants conversed with chatbots driven by different designs of prompts, we assessed how prompt designs and conversation topics affected the conversation flows and users' perceptions of chatbots. Our chatbots covered 79% of the desired information slots during conversations, and the designs of prompts and topics significantly influenced the conversation flows and the data collection performance. We discuss the opportunities and challenges of building chatbots with LLMs.
description: 22 pages including Appendix, 7 figures, 7 tables. Accepted to PACM HCI (CSCW 2024)
Tingis (Neolasiotrapis) ottomana Pericart & Onder 1982
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis ottomana

description: Tingis (Neolasiotrapis) ottomana Péricart & Önder, 1982
Asian Turkey: Péricart & Önder (1982), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006).
Comments: This species was described from Malatya in Easten Anatolia.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 481, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
Curvature-induced valley-dependent spin-orbit interaction
Creators: name: Yamakage, A.
name: Sato, T.
name: Okuyama, R.
name: Funato, T.
name: Izumida, W.
name: Sato, K.
name: Kato, T.
name: Matsuo, M.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We construct a general theoretical framework for describing curvature-induced spin-orbit interactions on the basis of group theory. Our theory can systematically determine the emergence of spin splitting in the band structure according to symmetry in the wavenumber space and the bending direction of the material. As illustrative examples, we derive the curvature-induced spin-orbit coupling for carbon and silicon nanotubes. Our theory offers a strategy for designing valley-contrasting spin-orbit coupled materials by tuning their curvatures.
description: 13 pages, 7 figures
QUICK$^3$ -- Design of a satellite-based quantum light source for quantum communication and extended physical theory tests in space
Creators: name: Ahmadi, Najme
name: Schwertfeger, Sven
name: Werner, Philipp
name: Wiese, Lukas
name: Lester, Joseph
name: Da Ros, Elisa
name: Krause, Josefine
name: Ritter, Sebastian
name: Abasifard, Mostafa
name: Cholsuk, Chanaprom
name: Krämer, Ria G.
name: Atzeni, Simone
name: Gündoğan, Mustafa
name: Sachidananda, Subash
name: Pardo, Daniel
name: Nolte, Stefan
name: Lohrmann, Alexander
name: Ling, Alexander
name: Bartholomäus, Julian
name: Corrielli, Giacomo
name: Krutzik, Markus
name: Vogl, Tobias
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Applied Physics (physics.app-ph)
subject: Optics (physics.optics)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: Modern quantum technologies have matured such that they can now be used in space applications, e.g., long-distance quantum communication. Here, we present the design of a compact true single photon source that can enhance the secure data rates in satellite-based quantum key distribution scenarios compared to conventional laser-based light sources. Our quantum light source is a fluorescent color center in hexagonal boron nitride. The emitter is off-resonantly excited by a diode laser and directly coupled to an integrated photonic processor that routes the photons to different experiments performed directly on-chip: (i) the characterization of the single photon source and (ii) testing a fundamental postulate of quantum mechanics, namely the relation of the probability density and the wave function (known as Born's rule). The described payload is currently being integrated into a 3U CubeSat and scheduled for launch in 2024 into low Earth orbit. We can therefore evaluate the feasibility of true single photon sources and reconfigurable photonic circuits in space. This provides a promising route toward a high-speed quantum network.
Trombiculindus heishuiense
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus heishuiense

description: Trombiculindus heishuiense (Zhou, Chen and Wang, 1986):
PAL
Leptotrombidium (Trombiculindus) heishuiense Zhou, Chen and Wang, 1986
Trombiculindus heshuiense, Peng et al. 2016
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Quantifying the magnetic interactions governing chiral spin textures using deep neural networks
Creators: name: Kong, Jian Feng
name: Ren, Yuhua
name: Tey, M. S. Nicholas
name: Ho, Pin
name: Khoo, Khoong Hong
name: Chen, Xiaoye
name: Soumyanarayanan, Anjan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The interplay of magnetic interactions in chiral multilayer films gives rise to nanoscale topological spin textures, which form attractive elements for next-generation computing. Quantifying these interactions requires several specialized, time-consuming, and resource-intensive experimental techniques. Imaging of ambient domain configurations presents a promising avenue for high-throughput extraction of the parent magnetic interactions. Here we present a machine learning-based approach to determine the key interactions -- symmetric exchange, chiral exchange, and anisotropy -- governing chiral domain phenomenology in multilayers. Our convolutional neural network model, trained and validated on over 10,000 domain images, achieved $R^2 > 0.85$ in predicting the parameters and independently learned physical interdependencies between them. When applied to microscopy data acquired across samples, our model-predicted parameter trends are consistent with independent experimental measurements. These results establish ML-driven techniques as valuable, high-throughput complements to conventional determination of magnetic interactions, and serve to accelerate materials and device development for nanoscale electronics.
description: 7 pages, 6 figures
Tingis (Neolasiotrapis) pauperata
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis pauperata

description: Tingis (Neolasiotrapis) pauperata (Puton, 1879)
Material examined: ASIAN TURKEY: Sivas province: Koyulhisar, 700 m, 24.05.2007, 1♀; Tokat province: Erbaa, Karanlıkdere, 385 m, 29.06.2005, 2♀♀; 27.08.2005, 1♀; Reşadiye, 508 m, 08.08.2007, 1♀.
Asian Turkey: Seidenstücker (1957), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006), this study.
Comments: This Holomediterranean species is distributed in Anatolia and was found for the first time from Black Sea region within the present study.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 481, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
A note on Bohr's theorem for Beurling integer systems
Creators: name: Broucke, Frederik
name: Kouroupis, Athanasios
name: Perfekt, Karl-Mikael
Publisher: name: arXiv
Year: 2023
Subjects: subject: Number Theory (math.NT)
subject: Complex Variables (math.CV)
subject: Functional Analysis (math.FA)
subject: FOS: Mathematics

description: Given a sequence of frequencies $\{λ_n\}_{n\geq1}$, a corresponding generalized Dirichlet series is of the form $f(s)=\sum_{n\geq 1}a_ne^{-λ_ns}$. We are interested in multiplicatively generated systems, where each number $e^{λ_n}$ arises as a finite product of some given numbers $\{q_n\}_{n\geq 1}$, $1 < q_n \to \infty$, referred to as Beurling primes. In the classical case, where $λ_n = \log n$, Bohr's theorem holds: if $f$ converges somewhere and has an analytic extension which is bounded in a half-plane $\{\Re s> θ\}$, then it actually converges uniformly in every half-plane $\{\Re s> θ+\varepsilon\}$, $\varepsilon>0$. We prove, under very mild conditions, that given a sequence of Beurling primes, a small perturbation yields another sequence of primes such that the corresponding Beurling integers satisfy Bohr's condition, and therefore the theorem. Applying our technique in conjunction with a probabilistic method, we find a system of Beurling primes for which both Bohr's theorem and the Riemann hypothesis are valid. This provides a counterexample to a conjecture of H. Helson concerning outer functions in Hardy spaces of generalized Dirichlet series.
Bureschia Verhoeff 1926
Creators: name: Karaman, Ivo
name: Horvatović, Mladen
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Isopoda
Trichoniscidae
Bureschia

description: Genus Bureschia Verhoeff, 1926
Type species
Bureschia bulgarica Verhoeff, 1926.
description: Published as part of Karaman, Ivo & Horvatović, Mladen, 2022, A new amphibious species of the subterranean genus Bureschia Verhoeff, 1926 (Isopoda: Oniscidea: Trichoniscidae) from Serbia, pp. 145-159 in European Journal of Taxonomy 847 (1) on page 148, DOI: 10.5852/ejt.2022.847.1989, http://zenodo.org/record/7400273
State-based Modal Logics for Free Choice
Creators: name: Aloni, Maria
name: Anttila, Aleksi
name: Yang, Fan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 03B65 (Primary) 03B60, 03B45 (Secondary)

description: We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction axiomatizations for the three logics.
description: 46 pages; corrected a typo in the truth conditions and cleaned up the references
Trombiculindus hunanye Wen 1984
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus hunanye

description: Trombiculindus hunanye Wen, 1984k:
PAL
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Diffusion-Based Audio Inpainting
Creators: name: Moliner, Eloi
name: Välimäki, Vesa
Publisher: name: arXiv
Year: 2023
Subjects: subject: Audio and Speech Processing (eess.AS)
subject: Sound (cs.SD)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Audio inpainting aims to reconstruct missing segments in corrupted recordings. Most of existing methods produce plausible reconstructions when the gap lengths are short, but struggle to reconstruct gaps larger than about 100 ms. This paper explores recent advancements in deep learning and, particularly, diffusion models, for the task of audio inpainting. The proposed method uses an unconditionally trained generative model, which can be conditioned in a zero-shot fashion for audio inpainting, and is able to regenerate gaps of any size. An improved deep neural network architecture based on the constant-Q transform, which allows the model to exploit pitch-equivariant symmetries in audio, is also presented. The performance of the proposed algorithm is evaluated through objective and subjective metrics for the task of reconstructing short to mid-sized gaps, up to 300 ms. The results of a formal listening test show that the proposed method delivers comparable performance against the compared baselines for short gaps, such as 50 ms, while retaining a good audio quality and outperforming the baselines for wider gaps that are up to 300 ms long. The method presented in this paper can be applied to restoring sound recordings that suffer from severe local disturbances or dropouts, which must be reconstructed.
description: Submitted for publication to the Journal of Audio Engineering Society on January 30th, 2023
Tingis (Neolasiotrapis) pilosa Hummel 1825
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis pilosa

description: Tingis (Neolasiotrapis) pilosa Hummel, 1825
Asian Turkey: Horváth (1906), Hoberlandt (1956), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006). European Turkey: Lodos & Önder (1983), Péricart & Golub (1996), Önder et al. (2006). Comments: This Holomediterranean species has been found for the first time by Horváth (1906) in Ak-Chehir (= Akşehir, Konya province) in from Asia Minor. Péricart & Golub (1996) mentioned the species from Turkish Thrace without locality.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 481, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
A Table of Correspondences for the Mythological 'Takings of Ireland'
Creators: name: Graham, Lloyd
Publisher: name: Academia.edu
Year: 2021
Subjects: subject: Mythology, Celtic
subject: Irish literature--Middle Irish
subject: Cross-cultural studies
subject: Celtic antiquities

description: An annotated table which attempts to reconcile the mythological 'Takings of Ireland' from the Lebor Gabála Érenn (Book of Invasions) with real-world migrations to the island and/or cultural developments within it, as established by archaeology and population genetics (the latter drawn from recent aDNA analyses).
Pattern-avoiding stabilized-interval-free permutations
Creators: name: Birmajer, Daniel
name: Gil, Juan B.
name: Tirrell, Jordan O.
name: Weiner, Michael D.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05A05, 05A15

description: In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests.
description: 16 pages. Improved version with more details and better readability
Quantum complexity of the Kronecker coefficients
Creators: name: Bravyi, Sergey
name: Chowdhury, Anirban
name: Gosset, David
name: Havlicek, Vojtech
name: Zhu, Guanyu
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Computational Complexity (cs.CC)
subject: Combinatorics (math.CO)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: Whether or not the Kronecker coefficients of the symmetric group count some set of combinatorial objects is a longstanding open question. In this work we show that a given Kronecker coefficient is proportional to the rank of a projector that can be measured efficiently using a quantum computer. In other words a Kronecker coefficient counts the dimension of the vector space spanned by the accepting witnesses of a QMA verifier, where QMA is the quantum analogue of NP. This implies that approximating the Kronecker coefficients to within a given relative error is not harder than a certain natural class of quantum approximate counting problems that captures the complexity of estimating thermal properties of quantum many-body systems. A second consequence is that deciding positivity of Kronecker coefficients is contained in QMA, complementing a recent NP-hardness result of Ikenmeyer, Mulmuley and Walter. We obtain similar results for the related problem of approximating row sums of the character table of the symmetric group. Finally, we discuss an efficient quantum algorithm that approximates normalized Kronecker coefficients to inverse-polynomial additive error.
description: Added Journal Reference
Tingis (Neolasiotrapis) reuteri Horvath 1906
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis reuteri

description: Tingis (Neolasiotrapis) reuteri Horvath, 1906
Asian Turkey: Seidenstücker (1960), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006).
European Turkey: Hoberlandt (1956), Lodos & Önder (1983), Önder et al. (2006).
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on pages 481-482, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
Tingis (Neolasiotrapis) valida
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis valida

description: Tingis (Neolasiotrapis) valida (Puton, 1878)
Asian Turkey: Horváth (1906), Hoberlandt (1956), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006).
Comments: This Eastmediterranean species has been found for the first time by Horváth (1906) in Tarsus (Mersin) in Asia Minor and is distributed only in Asia.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 482, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
UniPoll: A Unified Social Media Poll Generation Framework via Multi-Objective Optimization
Creators: name: Li, Yixia
name: Xiang, Rong
name: Song, Yanlin
name: Li, Jing
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Social media platforms are vital for expressing opinions and understanding public sentiment, yet many analytical tools overlook passive users who mainly consume content without engaging actively. To address this, we introduce UniPoll, an advanced framework designed to automatically generate polls from social media posts using sophisticated natural language generation (NLG) techniques. Unlike traditional methods that struggle with social media's informal and context-sensitive nature, UniPoll leverages enriched contexts from user comments and employs multi-objective optimization to enhance poll relevance and engagement. To tackle the inherently noisy nature of social media data, UniPoll incorporates Retrieval-Augmented Generation (RAG) and synthetic data generation, ensuring robust performance across real-world scenarios. The framework surpasses existing models, including T5, ChatGLM3, and GPT-3.5, in generating coherent and contextually appropriate question-answer pairs. Evaluated on the Chinese WeiboPolls dataset and the newly introduced English RedditPolls dataset, UniPoll demonstrates superior cross-lingual and cross-platform capabilities, making it a potent tool to boost user engagement and create a more inclusive environment for interaction.
description: Accepted by IEEE Transactions on Neural Networks and Learning Systems. Project page is live at https://uni-poll.github.io . Code are available at https://github.com/X1AOX1A/UniPoll
Symplectic cuts and open/closed strings I
Creators: name: Cassia, Luca
name: Longhi, Pietro
name: Zabzine, Maxim
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Algebraic Geometry (math.AG)
subject: Symplectic Geometry (math.SG)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: This paper introduces a concrete relation between genus zero closed Gromov-Witten invariants of Calabi-Yau threefolds and genus zero open Gromov-Witten invariants of a Lagrangian $A$-brane in the same threefold. Symplectic cutting is a natural operation that decomposes a symplectic manifold $(X,ω)$ with a Hamiltonian $U(1)$ action into two pieces glued along an invariant divisor. In this paper we study a quantum uplift of the cut construction defined in terms of equivariant gauged linear sigma models. The nexus between closed and open Gromov-Witten invariants is a quantum Lebesgue measure associated to a choice of cut, that we introduce and study. Integration of this measure recovers the equivariant quantum volume of the whole CY3, thereby encoding closed Gromov-Witten invariants. Conversely, the monodromies of the quantum measure around cycles in Kähler moduli space encode open Gromov-Witten invariants of a Lagrangian $A$-brane associated to the cut. Both in the closed and the open string sector we find a remarkable interplay between worldsheet instantons and semiclassical volumes regularized by equivariance. This leads to equivariant generating functions of GW invariants that extend smoothly across the entire moduli space, and which provide a unifying description of standard GW potentials. The latter are recovered in the non-equivariant limit in each of the different phases of the geometry.
description: 51 pages + appendix, 8 figures; v3: minor revision, version published in Commun. Math. Phys
Trombiculindus imbricatum Traub and Nadchatram 1967
Creators: name: Nielsen, David H.
name: Robbins, Richard G.
name: Rueda, Leopoldo M.
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Arachnida
Actinedida
Trombiculidae
Trombiculindus
Trombiculindus imbricatum

description: Trombiculindus imbricatum Traub and Nadchatram, 1967:
ORI
Leptotrombidium (Trombiculindus) imbricatum Traub and Nadchatram, 1967
Trombiculindus imbricatum, Chaisiri et al. 2016; Stekolnikov 2021
description: Published as part of Nielsen, David H., Robbins, Richard G. & Rueda, Leopoldo M., 2021, Annotated world checklist of the Trombiculidae and Leeuwenhoekiidae (1758 - 2021) (Acari: Trombiculoidea), with notes on nomenclature, taxonomy, and distribution, pp. 1-243 in Zootaxa 4967 (1) on page 187, DOI: 10.11646/zootaxa.4967.1.1, http://zenodo.org/record/4745510
Tingis (Tingis) angustata
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis angustata

description: Tingis (Tingis) angustata (Herrich-Schaeffer, 1838)
Material examined: ASIAN TURKEY: Kastamonu province: Azdavay, 827 m, 21.06.2006, 1♀. Asian Turkey: Horváth (1901), Seidenstücker (1954), Hoberlandt (1956), Lodos & Önder (1983), Péricart (1983), Péricart & Golub (1996), Önder et al. (2006), Maral et al. (2013), this study.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 482, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
On rank one 2-representations of web categories
Creators: name: Tubbenhauer, Daniel
Publisher: name: arXiv
Year: 2023
Subjects: subject: Representation Theory (math.RT)
subject: Category Theory (math.CT)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics
subject: Primary: 18M05, 18M30, Secondary: 22E46, 22E47

description: We classify rank one 2-representations of SL2, GL2 and SO3 web categories. The classification is inspired by similar results about quantum groups, given by reducing the problem to the classification of bilinear and trilinear forms, and is formulated such that it can be adapted to other web categories.
description: 23 pages, many figures, revision, to appear in Algebr. Comb., comments welcome
Bridging MDE and AI: A Systematic Review of Domain-Specific Languages and Model-Driven Practices in AI Software Systems Engineering
Creators: name: Raedler, Simon
name: Berardinelli, Luca
name: Winter, Karolin
name: Rahimi, Abbas
name: Rinderle-Ma, Stefanie
Publisher: name: arXiv
Year: 2023
Subjects: subject: Software Engineering (cs.SE)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: A.1; H.1.0; I.2.4

description: Background:Technical systems are growing in complexity with more components and functions across various disciplines. Model-Driven Engineering (MDE) helps manage this complexity by using models as key artifacts. Domain-Specific Languages (DSL) supported by MDE facilitate modeling. As data generation in product development increases, there's a growing demand for AI algorithms, which can be challenging to implement. Integrating AI algorithms with DSL and MDE can streamline this process. Objective:This study aims to investigate the existing model-driven approaches relying on DSL in support of the engineering of AI software systems to sharpen future research further and define the current state of the art. Method:We conducted a Systemic Literature Review (SLR), collecting papers from five major databases resulting in 1335 candidate studies, eventually retaining 18 primary studies. Each primary study will be evaluated and discussed with respect to the adoption of MDE principles and practices and the phases of AI development support aligned with the stages of the CRISP-DM methodology. Results:The study's findings show that language workbenches are of paramount importance in dealing with all aspects of modeling language development and are leveraged to define DSL explicitly addressing AI concerns. The most prominent AI-related concerns are training and modeling of the AI algorithm, while minor emphasis is given to the time-consuming preparation of the data. Early project phases that support interdisciplinary communication of requirements, e.g., CRISP-DM Business Understanding phase, are rarely reflected. Conclusion:The study found that the use of MDE for AI is still in its early stages, and there is no single tool or method that is widely used. Additionally, current approaches tend to focus on specific stages of development rather than providing support for the entire development process.
description: 57 pages, 2 figures, 8 tables
Observation of reentrant metal-insulator transition in a random-dimer disordered SSH lattice
Creators: name: Xu, Ze-Sheng
name: Gao, Jun
name: Iovan, Adrian
name: Khaymovich, Ivan M.
name: Zwiller, Val
name: Elshaari, Ali W.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The interrelationship between localization, quantum transport, and disorder has remained a fascinating focus in scientific research. Traditionally, it has been widely accepted in the physics community that in one-dimensional systems, as disorder increases, localization intensifies, triggering a metal-insulator transition. However, a recent theoretical investigation [Phys. Rev. Lett. 126, 106803] has revealed that the interplay between dimerization and disorder leads to a reentrant localization transition, constituting a remarkable theoretical advancement in the field. Here, we present the experimental observation of reentrant localization using an experimentally friendly model, a photonic SSH lattice with random-dimer disorder, achieved by incrementally adjusting synthetic potentials. In the presence of correlated on-site potentials, certain eigenstates exhibit extended behavior following the localization transition as the disorder continues to increase. We directly probe the wave function in disordered lattices by exciting specific lattice sites and recording the light distribution. This reentrant phenomenon is further verified by observing an anomalous peak in the normalized participation ratio. Our study enriches the understanding of transport in disordered mediums and accentuates the substantial potential of integrated photonics for the simulation of intricate condensed matter physics phenomena.
Tingis (Tingis) auriculata
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis auriculata

description: Tingis (Tingis) auriculata (A. Costa, 1847)
Material examined: ASIAN TURKEY: Giresun, Alucra, Arda, 1515 m, 17.05.2006, 1♀; Hatay province: Hassa, Aktepe, 320 m, 20.05.2010, 1♀; Sivas province: Akıncı, 859 m, 20.06.2006, 1♀; Koyulhisar, Dilekli, 707 m, 21.06.2007, 1♀; Tokat province: Erbaa, Karayaka, 285 m, 25.06.2005, 1♂; EUROPEAN TURKEY: Edirne province: Keşan, Akalan, 75 m, 2♀♀; Mecidiye, 50 m, 19.07.2016, 1♂; Kırklareli province: Kavaklı, 140 m, 09.06.2016, 1♀; Lüleburgaz-Pınarhisar, 180 m, 14.06.2016, 4♀♀, 1♂; Pınarhisar, 210 m, 14.06.2016, 1♂.
Asian Turkey: Puton (1892), Horváth (1883, 1901, 1906), Seidenstücker (1954), Hoberlandt (1956); Lodos & Önder (1983), Péricart (1981, 1983), Péricart & Golub (1996), Önder et al. (2006), Maral et al. (2013), this study.
European Turkey: Lodos & Önder (1983), this study.
Comments: This species has been mentioned first time from Akbés (= Akbez, Hassa, in Hatay province) by Horváth (1901) as Phyllontocheila auriculata Costa.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 482, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601
The ideal wavelength for daylight free-space quantum key distribution
Creators: name: Abasifard, Mostafa
name: Cholsuk, Chanaprom
name: Pousa, Roberto G.
name: Kumar, Anand
name: Zand, Ashkan
name: Riel, Thomas
name: Oi, Daniel K. L.
name: Vogl, Tobias
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Materials Science (cond-mat.mtrl-sci)
subject: Applied Physics (physics.app-ph)
subject: Optics (physics.optics)
subject: Space Physics (physics.space-ph)
subject: FOS: Physical sciences

description: Quantum key distribution (QKD) has matured in recent years from laboratory proof-of-principle demonstrations to commercially available systems. One of the major bottlenecks is the limited communication distance in fiber networks due to the exponential signal damping. To bridge intercontinental distances, low Earth orbit satellites transmitting the quantum signals over the atmosphere can be used. These free-space links, however, can only operate during the night, as the sunlight otherwise saturates the detectors used to measure the quantum states. For applying QKD in a global quantum internet with continuous availability and high data rates, operation during daylight is required. In this work, we model a satellite-to-ground quantum channel for different quantum light sources to identify the optimal wavelength for free-space QKD in ambient conditions. Daylight quantum communication is possible within the Fraunhofer lines or in the near-infrared spectrum, where the intrinsic background from the sun is comparably low. The highest annual secret key length considering the finite key effect is achievable at the H\textalpha\ Fraunhofer line. More importantly, we provide the full model that can be adapted in general to any other specific link scenario. We also propose a true single-photon source based on a color center in hexagonal boron nitride coupled to a microresonator that can implement such a scheme. Our results can also be applied in roof-to-roof scenarios and are therefore relevant for near-future quantum networks.
description: Updated version including finite key effects
Tingis (Tingis) cardui
Creators: name: Dursun, Ahmet
name: Fent, Meral
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Tingidae
Tingis
Tingis cardui

description: Tingis (Tingis) cardui (Linnaeus, 1758)
Material examined: ASIAN TURKEY: Gümüşhane province: Kelkit, Karaçayır, 142 m, 22.06.2007, 1♂; Sivas province: Akıncı, 859 m, 20.06.2006, 1♂; Gökdere, 450 m, 20.06.2006, 1♀; Tokat province: Erbaa, Yoldere, 300 m, 25.06.2005, 1♀; Değirmenli, 210 m, 25.06.2006, 1♂.
Asian Turkey: Horváth (1883, 1906); Hoberlandt (1956), Lodos & Önder (1983); Péricart (1981, 1983), Péricart & Golub (1996), Önder et al. (2006), Kıyak & Akar (2010), this study.
European Turkey: Péricart & Golub (1996).
Comments: This species has been reported for the first time from Asia Minor (= Anatolia) by Horváth (1906) withouth exact locality.
description: Published as part of Dursun, Ahmet & Fent, Meral, 2017, Annotated Checklist of Tingidae (Hemiptera: Heteroptera) in Turkey with new records for the faunas of Europe and Turkish Thrace, pp. 465-491 in Zootaxa 4347 (3) on page 482, DOI: 10.11646/zootaxa.4347.3.3, http://zenodo.org/record/1048601