cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Formal verification of high-level synthesis
Creators: name: Herklotz Grave, Yann
Publisher: name: Imperial College London
Year: 2024

description: Latency, throughput, and energy efficiency are becoming increasingly important, leading to custom hardware accelerators being designed for numerous applications instead of using less efficient general processors. Alas, designing these accelerators can be an error-prone process, especially when using hardware description languages (HDLs) such as Verilog, which operate at the register transfer level. An attractive alternative is high-level synthesis (HLS), where hardware designs are automatically compiled from software written in a high-level language like C. This way, hardware designers can benefit from mature software development tools. HLS tools promise designs with comparable performance and energy-efficiency to those hand-written in HDLs, reducing the time needed to design new accelerators. Reasoning about behaviour at a higher level should also make the process less error-prone. Unfortunately, HLS tools are unreliable; Vivado HLS produces incorrect designs in 1.2% of randomly generated C programs, undermining testing performed at the higher level of abstraction. In an attempt to improve this situation, I propose a formally verified HLS tool called Vericert, providing a computer-checked proof that ensures it only generates hardware designs that behave like the input software program. Vericert extends CompCert, an established formally verified C Compiler, with a hardware back-end. One expects a verified tool to produce significantly worse hardware than existing optimising HLS tools, as each transformation has to be simple enough to be proven correct. Indeed, an initial version of Vericert was up to 8x slower than a state-of-the-art HLS tool called Bambu. However, by verifying hyperblock scheduling in Vericert, a transformation which parallelises instructions in regions of code without loops, hardware produced by Vericert becomes only 1.6x slower than Bambu without optimisations and 3.6x slower than optimised Bambu. This is encouraging, showing that a verified HLS tool is comparable with an existing HLS tool, while being guaranteed to generate correct hardware designs.
Peter Martin Biggs - Bibliography from PETER MARTIN BIGGS. 13 August 1926 — 27 December 2021
Creators: name: Nair, Venugopal
name: Shirley, Martin W.
Publisher: name: The Royal Society
Year: 2024
Subjects: classificationCode: 420299
subject: Epidemiology not elsewhere classified

description: Peter Biggs was a towering figure in poultry health research, making substantial contributions in avian infectious diseases in the second half of the twentieth century and first two decades of the twenty-first century. The world's poultry industry owes an immense debt to his pioneering research into Marek's disease (MD), a major threat to poultry health in the early years of intensive poultry production. On graduating from the Royal Veterinary College, London, in 1953, Peter chose a research career studying avian diseases. Peter's dedicated research in the 1960s led to the identification of the MD virus and the subsequent development of a vaccine against MD. The development of MD vaccine, the first ever vaccine against a virus-induced cancer, had a major impact on sustaining the fledgling poultry farming that was crucial for the thriving modern poultry industry. Later, as the director of the Houghton Poultry Research Station in Cambridgeshire, UK, Peter led a programme of innovative scientific research exploiting scientific developments and technological advances to meet the needs of the rapidly expanding poultry industry. In addition to his outstanding leadership on research, Peter also contributed immensely to the formation of the World Veterinary Poultry Association, a global professional association for avian health specialists, and establishment of the journal Avian Pathology. Even after retirement, Peter continued to make valuable contributions to avian science through august bodies such as the Royal Society, Animal Health Trust, British Egg Marketing Board, British Veterinary Association and Houghton Trust. Peter was also a great mentor to many scientists who went on to leading roles.
Ein zielgruppenspezifisches Brückenangebot für Jugendliche mit psychischen und sozialen Schwierigkeiten - worauf kommt es an? Eine Befragung direkt betroffener Jugendlicher aus dem Brückenangebot «Üeins»
Creators: name: Halter, Tuba
Publisher: name: Interkantonale Hochschule für Heilpädagogik
Year: 2024
Subjects: Sonderpädagogik
Masterarbeit
Brückenangebot
zielgruppenspezifisch
Jugendliche
psychische Schwierigkeiten
soziale Schwierigkeiten
Befragung
Üeins

description: Der Übergang von der Schule in das Berufsleben ist für Jugendliche prägend und trägt massgeblich zu ihrer Identitätsbildung bei. Die vorliegende Masterarbeit widmet sich dem Brückenangebot Üeins, das darauf ausgerichtet ist, Jugendliche mit psychischen und sozialen Schwierigkeiten während eines Jahres bei der Berufswahl und dem Übergang in die berufliche Bildung zu unterstützen. Gerade für diese Zielgruppe kann der Berufsfindungsprozess besonders anspruchsvoll sein. Die Teilnehmenden wurdendurch eine Kombination von quantitativer und qualitativer Forschungsmethoden befragt und ihre subjektive Sichtweise in den Mittelpunkt der Betrachtung gerückt. Die Arbeit untersucht die Ziele und Erwartungen, welche die Jugendlichen an das Angebot stellen und beleuchtet die für sie bedeutsamen Themen. Die Ergebnisse verdeutlichen, dass es keinen universellen Ansatz für ein Brückenangebot für Jugendliche mit psychischen und sozialen Schwierigkeiten gibt, sich aber dennoch Erfolgskriterien für das Brückenangebot Üeins ableiten lassen.
Indarbela Fletcher 1922
Creators: name: Ahmad, Jalil
name: Joshi, Rahul
name: Singh, Navneet
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Metarbelidae
Indarbela

description: Genus Indarbela Fletcher, 1922: 231
Type species: Arbela tetraonis Moore, 1879a.
= Arbela Moore, 1879: 411 (TS: Arbela tetraonis Moore, 1879: 411).
= Lepidarbela Dalla Torre in Strand, 1923: [3] (TS: Arbela tetraonis Moore, 1879: 411).
description: Published as part of Ahmad, Jalil, Joshi, Rahul & Singh, Navneet, 2023, An updated Catalogue of Cossoidea (Lepidoptera) from India, pp. 301-348 in Zootaxa 5330 (3) on page 319, DOI: 10.11646/zootaxa.5330.3.1, http://zenodo.org/record/8254738
Social-ecological systems approach for adaptation to climate change
Creators: name: Hossain, Md Sarwar
name: Basak, Sayantani M.
name: Amin, Md Nurul
name: Anderson, Carl C.
name: Cremin, Emilie
name: Renaud, Fabrice G.
Publisher: name: New York, NY [u.a.] : Wiley
Year: 2023
Subjects: subject: adaptation
subject: limits
subject: resilience
subject: social and ecological systems (SES)
subject: sustainable development
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft

description: Adaptation to climate change has become part of national development programs (e.g., National Adaptation Planning). Though communities are adapting to climate change across the world, this perspective argues that understanding social and ecological systems requires greater attention to enhance resilience for achieving and moving beyond the Sustainable Development Goals (SDGs) in response to climate change across the world. In addition, based on a systematic literature review, this perspective identifies key research gaps and addresses relevant key challenges and future research direction for social and ecological systems (SES) adaptation to climate change. Ultimately, this may also help move from the existing limits to adaptation (intolerable risks through adaptive actions) concept to social-ecological limits to adaptation and offers an opportunity to integrate adaptation to climate change in development planning by considering both SES.
Markets, market algorithms, and algorithmic bias
Creators: name: Van Basshuysen, Philippe
Publisher: name: London : Routledge
Year: 2022
Subjects: subject: algorithms
subject: bias
subject: market design
subject: Markets
subject: transparency
subject: Konferenzschrift
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft

description: Where economists previously viewed the market as arising from a ‘spontaneous order’, antithetical to design, they now design markets to achieve specific purposes. This paper reconstructs how this change in what markets are and can do came about and considers some consequences. Two decisive developments in economic theory are identified: first, Hurwicz’s view of institutions as mechanisms, which should be designed to align incentives with social goals; and second, the notion of marketplaces–consisting of infrastructure and algorithms–which should be designed to exhibit stable properties. These developments have empowered economists to create marketplaces for specific purposes, by designing appropriate algorithms. I argue that this power to create marketplaces requires a shift in ethical reasoning, from whether markets should reach into certain spheres of life, to how market algorithms should be designed. I exemplify this shift, focusing on bias, and arguing that transparency should become a goal of market design.
Investigating magnetospheric dynamics driven by the solar wind at Mercury
Creators: name: Zomerdijk-Russell, Sophia
Publisher: name: Imperial College London
Year: 2024

description: This thesis presents an exploration of Mercury’s strongly solar wind-driven, dynamic magnetosphere, revealing how external factors, including variability of the solar wind ram pressure and embedded interplanetary magnetic field (IMF), and magnetic reconnection processes, influence the planet’s magnetopause boundary and how electromagnetic induction techniques could be used to probe Mercury’s interior. The first work chapter investigates the relationship between solar wind ram pressure variability and the resulting motion of Mercury’s magnetopause, examining its influence on the magnetopause’s inducing magnetic field. Analysis of Helios data suggests BepiColombo will experience highly unpredictable ram pressure conditions that will drive a non-uniform inducing field. Example inducing field spectra generated reveal a potential method that could allow conductivity profiles within Mercury’s crust and mantle to be derived with BepiColombo’s two spacecraft. The second study explores the effects of changing IMF direction on Mercury’s magnetopause currents. Observations from MESSENGER are used to reveal that the magnetopause current direction is changed by up to 100◦ when introducing an external IMF. Analytical modelling indicates that IMF variability has some impact on Mercury’s magnetopause current flow and the resulting inducing magnetic field. In the third work chapter, magnetic reconnection at Mercury’s dayside magnetosphere is investigated using flux rope (FR) observations from MESSENGER. Analytical modelling of 201 FRs reveals that most are associated with high-magnetic shear regions on Mercury’s magnetopause. However, several FRs were observed to have formed with very low shear, supporting the idea that reconnection can occur over a wide range of shears and may not be restricted to maximum shear points on Mercury’s magnetopause. This research serves as a precursor to the BepiColombo mission’s arrival at Mercury. We offer insights into magnetospheric processes driven by interactions with the solar wind at Mercury and establish essential groundwork for electromagnetic induction techniques to probe the planet’s interior structure.
Structural mechanics analysis of fabric-reinforced membranes in proton exchange membrane water electrolysis
Creators: name: Kink, Julian
name: Ise, Martin
name: Bensmann, Boris
name: Junker, Philipp
name: Hanke-Rauschenbach, Richard
Publisher: name: Bristol : IOP Publishing
Year: 2023
Subjects: subject: Cells
subject: Cytology
subject: Elasticity
subject: Electrolysis
subject: Proton exchange membrane fuel cells (PEMFC)
subject: Reinforcement
subject: Strain
subject: Structural design
subject: Tensile testing
subject: Electrolysis cell
subject: Exposed to
subject: Industrial strategies
subject: Mechanical reinforcement
subject: Proton exchange membranes
subject: Reinforced membranes
subject: Structural mechanics
subject: Structural mechanics analysis
subject: Water electrolysis
subject: Web layer
subject: Membranes
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau
subject: Dewey Decimal Classification::500 | Naturwissenschaften::540 | Chemie
subject: Dewey Decimal Classification::600 | Technik::660 | Technische Chemie

description: Membranes are a key component of proton exchange membrane water electrolysis (PEMWE) cells and are exposed to various stressors during operation, which can significantly reduce cell lifetime. PEMWE membranes incorporating woven web layers within the membrane structure for mechanical reinforcement are a promising, commonly used industrial strategy to mitigate the formation of membrane defects. Within this study the structural mechanics of a PEMWE cell is investigated, specifically the woven web reinforced membrane. Experimental tensile tests are conducted on the membrane to obtain stress-strain data. These measurements were utilized to parameterize a geometrically simplified model of the woven web reinforced membrane through a tensile test simulation. The validated model is applied in a 2D-cell simulation to identify resulting stresses and strains in the membrane during various electrolysis operation modes. The results herein allow the used PEMWE cell geometry to be systematically evaluated and optimized with respect to mechanical membrane stability. For the applied PEMWE cell setup, no failure is to expect during normal operation, including varied temperatures and differential pressure. Increasing the gap size at the edge of the electrochemically active cell area, however, leads to large deformations when the gap becomes larger than 0.2 mm.
Runner re-identification from single-view running video in the open-world setting
Creators: name: Suzuki, Tomohiro
name: Tsutsui, Kazushi
name: Takeda, Kazuya
name: Fujii, Keisuke
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: In many sports, player re-identification is crucial for automatic video processing and analysis. However, most of the current studies on player re-identification in multi- or single-view sports videos focus on re-identification in the closed-world setting using labeled image dataset, and player re-identification in the open-world setting for automatic video analysis is not well developed. In this paper, we propose a runner re-identification system that directly processes single-view video to address the open-world setting. In the open-world setting, we cannot use labeled dataset and have to process video directly. The proposed system automatically processes raw video as input to identify runners, and it can identify runners even when they are framed out multiple times. For the automatic processing, we first detect the runners in the video using the pre-trained YOLOv8 and the fine-tuned EfficientNet. We then track the runners using ByteTrack and detect their shoes with the fine-tuned YOLOv8. Finally, we extract the image features of the runners using an unsupervised method with the gated recurrent unit autoencoder and global and local features mixing. To improve the accuracy of runner re-identification, we use shoe images as local image features and dynamic features of running sequence images. We evaluated the system on a running practice video dataset and showed that the proposed method identified runners with higher accuracy than some state-of-the-art models in unsupervised re-identification. We also showed that our proposed local image feature and running dynamic feature were effective for runner re-identification. Our runner re-identification system can be useful for the automatic analysis of running videos.
description: 20 pages, 7 figures
Project Dinos I: A joint lensing-dynamics constraint on the deviation from the power law in the mass profile of massive ellipticals
Creators: name: Tan, Chin Yi
name: Shajib, Anowar J.
name: Birrer, Simon
name: Sonnenfeld, Alessandro
name: Treu, Tommaso
name: Wells, Patrick
name: Williams, Devon
name: Buckley-Geer, Elizabeth J.
name: Drlica-Wagner, Alex
name: Frieman, Joshua
Publisher: name: arXiv
Year: 2023
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The mass distribution in massive elliptical galaxies encodes their evolutionary history, thus providing an avenue to constrain the baryonic astrophysics in their evolution. The power-law assumption for the radial mass profile in ellipticals has been sufficient to describe several observables to the noise level, including strong lensing and stellar dynamics. In this paper, we quantitatively constrained any deviation, or the lack thereof, from the power-law mass profile in massive ellipticals through joint lensing-dynamics analysis of a large statistical sample with 77 galaxy-galaxy lens systems. We performed an improved and uniform lens modelling of these systems from archival Hubble Space Telescope imaging using the automated lens modelling pipeline dolphin. We combined the lens model posteriors with the stellar dynamics to constrain the deviation from the power law after accounting for the line-of-sight lensing effects, a first for analyses on galaxy-galaxy lenses. We find that the Sloan Lens ACS Survey (SLACS) lens galaxies with a mean redshift of 0.2 are consistent with the power-law profile within 1.1$σ$ (2.8$σ$) and the Strong Lensing Legacy Survey (SL2S) lens galaxies with a mean redshift of 0.6 are consistent within 0.8$σ$ (2.1$σ$), for a spatially constant (Osipkov-Merritt) stellar anisotropy profile. We adopted the spatially constant anisotropy profile as our baseline choice based on previous dynamical observables of local ellipticals. However, spatially resolved stellar kinematics of lens galaxies are necessary to differentiate between the two anisotropy models. Future studies will use our lens models to constrain the mass distribution individually in the dark matter and baryonic components.
description: 31 pages, 20 figures, 9 tables. This version: accepted to MNRAS
From port-based teleportation to Frobenius reciprocity theorem: partially reduced irreducible representations and their applications
Creators: name: Mozrzymas, Marek
name: Horodecki, Michał
name: Studziński, Michał
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: In this paper, we present the connection of two concepts as induced representation and partially reduced irreducible representations (PRIR) appear in the context of port-based teleportation protocols. Namely, for a given finite group $G$ with arbitrary subgroup $H$, we consider a particular case of matrix irreducible representations, whose restriction to the subgroup $H$, as a matrix representation of $H$, is completely reduced to diagonal block form with an irreducible representation of $H$ in the blocks. The basic properties of such representations are given. Then as an application of this concept, we show that the spectrum of the port-based teleportation operator acting on $n$ systems is connected in a very simple way with the spectrum of the corresponding Jucys-Murphy operator for the symmetric group $S(n-1)\subset S(n)$. This shows on the technical level relation between teleporation and one of the basic objects from the point of view of the representation theory of the symmetric group. This shows a deep connection between the central object describing properties of deterministic PBT schemes and objects appearing naturally in the abstract representation theory of the symmetric group. In particular, we present a new expression for the eigenvalues of the Jucys-Murphy operators based on the irreducible characters of the symmetric group. As an additional but not trivial result, we give also purely matrix proof of the Frobenius reciprocity theorem for characters with explicit construction of the unitary matrix that realizes the reduction of the natural basis of induced representation to the reduced one.
description: 17 pages, 5 figures, 1 table
Optimal Inflationary Potentials
Creators: name: Sousa, Tomás
name: Bartlett, Deaglan J.
name: Desmond, Harry
name: Ferreira, Pedro G.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Machine Learning (cs.LG)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: Inflation is a highly favoured theory for the early Universe. It is compatible with current observations of the cosmic microwave background and large scale structure and is a driver in the quest to detect primordial gravitational waves. It is also, given the current quality of the data, highly under-determined with a large number of candidate implementations. We use a new method in symbolic regression to generate all possible simple scalar field potentials for one of two possible basis sets of operators. Treating these as single-field, slow-roll inflationary models we then score them with an information-theoretic metric ("minimum description length") that quantifies their efficiency in compressing the information in current data. We explore two possible priors on the parameter space of potentials, one related to the functions' structural complexity and one that uses a Katz back-off language model to prefer functions that may be theoretically motivated. This enables us to identify the inflaton potentials that optimally balance simplicity with accuracy at explaining current data, which may subsequently find theoretical motivation. Our exploratory study opens the door to extraction of fundamental physics directly from data, and may be augmented with more refined theoretical priors in the quest for a complete understanding of the early Universe.
description: 13+4 pages, 4 figures; Accepted for publication in Physical Review D
Hypselostoma srakeoense
Creators: name: Gojšina, Vukašin
name: Hunyadi, András
name: Sutcharit, Chirasak
name: Tongkerd, Piyoros
name: Auffenberg, Kurt
name: Grego, Jozef
name: Vermeulen, Jaap J.
name: Reischütz, Alexander
name: Páll-Gergely, Barna
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Stylommatophora
Hypselostomatidae
Hypselostoma
Hypselostoma srakeoense

description: Hypselostoma srakeoense (Panha & J. B. Burch, 2004)
Figs 186 M, 211, 223
Anauchen srakeoensis Panha & Burch in Panha et al. 2004: 62–63, fig. 4.
Anauchen srakeoensis — Panha and Burch 2008: 52–53, fig. 48; Dumrongrojwattana and Wongkamhaeng 2024: 323, fig. 7.
Hypselostoma srakeoensis — Sutcharit et al. 2023: 1291–1293, fig. 2.
Type material examined.
Thailand • 1 paratype; from the type locality; S. Panha leg.; SMF 331473.
Additional material examined.
Thailand • 1 shell; Srakeo Province, Khaochakan District, Wat Khao Chakan; 22 June 2014; P. Dumrongrojwattana leg.; ex. coll. Maassen; coll. PGB.
Type locality.
“ Plubpluengtong limestone hills, Srakeo Province, 13°48'02"N, 102°12'49"E, 110 meters elevation ” (Thailand).
Differential diagnosis.
This species is superficially similar to several congeners with strongly enlarged last whorl which is also sharply descending. The two most similar species are H. torticollis and H. fungus sp. nov. However, H. torticollis has separated lamellae on the parietal side and it is also less depressed with clearly narrower umbilicus. Hypselostoma fungus sp. nov. has more rounded last whorl, wider umbilicus, more apertural barriers and is spirally striated. See also under H. pendulum.
Distribution.
This species is known from four sampling sites, two in Sa Kaeo province (Thailand) and two in Banteay Meanchey province (Cambodia) (Sutcharit et al. 2023).
description: Published as part of Gojšina, Vukašin, Hunyadi, András, Sutcharit, Chirasak, Tongkerd, Piyoros, Auffenberg, Kurt, Grego, Jozef, Vermeulen, Jaap J., Reischütz, Alexander & Páll-Gergely, Barna, 2025, A new start? Revision of the genera Anauchen, Bensonella, Gyliotrachela and Hypselostoma (Gastropoda, Eupulmonata, Hypselostomatidae) of Southeast Asia with description of 46 new species, pp. 1-338 in ZooKeys 1235 on pages 1-338, DOI: 10.3897/zookeys.1235.145281
Gravitational Wave Probe of Primordial Black Hole Origin via Superradiance
Creators: name: Banerjee, Indra Kumar
name: Dey, Ujjal Kumar
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this article we have used stochastic gravitational wave background as a unique probe to gain insight regarding the creation mechanism of primordial black holes. We have considered the cumulative gravitational wave background which consists of the primary part coming from the creation mechanism of the primordial black holes and the secondary part coming from the different mechanisms the primordial black holes go through. We have shown that in the presence of light or ultra light scalar bosons, superradiant instability generates the secondary part of the gravitational wave background which is the most detectable. In order to show the unique features of the cumulative background, we have considered the delayed vacuum decay during a first order phase transition as the origin of primordial black holes. We have shown the dependence of the features of the cumulative background, such as the mass of the relevant light scalars, peak frequencies, etc. on the transition parameters. We have also generated the cumulative background for a few benchmark cases to further illustrate our claim.
description: 18 pages, 8 figures, 1 table; slight change in the title; minor updates in the discussion; references added; matches published version
title: Trap Manifested Behavior Trap Reflected Density Trap Reflected Distribution and Foods Consumed by Raccoons (Procyon Lotor L.) in Two Natural Areas of Virginia
Creators: name: Winslow, Elton L.
Publisher: name: Old Dominion University
publisherIdentifier: https://ror.org/04zjtrb98
publisherIdentifierScheme: ROR
Year: 1971

description: A study was undertaken comparing populations of raccoons (Procyon lotor L.) in two natural areas of Virginia, one in the Piedmont physiographic province at Montpelier and the other in the coastal plain at Newport News. Comparisons were made with respect to differences in: (1) capture and recapture success, (2) relative trap reflected density, (3) trap reflected distribution with respect to aquatic habitat, and (4) in food consumption. Comparison of capture data indicated that capture success per 100 trap nights was much higher at Newport News (1.58) than at Montpelier (.76). However a similar comparison of recapture success per 100 trap nights indicated a much higher recapture incidence at Montpelier (.38) than at Newport News (.07). Age and sex ratios indicated a bias toward males in both areas and a relatively low proportion of juveniles (12% for Montpelier, 23% for Newport News). Density estimates suggested that the Montpelier study area was only average raccoon habitat (one raccoon/14.3 acres). Although a thematical density estimate was impossible for the Newport News study area, comparison of other factors suggested a higher density than at Montpelier. Trap reflected distribution in both areas was found to be on-random. At Newport News the animals were found to be concentrated along the shoreline with few upland captures during all seasons. At the Montpelier study area two large concentrations of raccoons were observed, one along the water's edge the other 800-1000 ft. upland. The data suggested that there are two behaviorally distinct groups within the raccoon population at Montpelier, one remaining near the water’s edge, the other roaming farther upland. Seasonal fluctuations were observed in raccoon distribution at the Montpelier study area roughly corresponding to availability of food in various sections of the habitat. Comparison of food consumption in the two areas revealed that raccoons at Newport News were consuming mostly natural foods primarily insects found in the water and in rotten logs found in lowland areas adjacent to the shoreline. At Montpelier the main food consumed was corn which was found in upland fields.
Book review of Brian Tobin: The Legal Reconition of Same-Sex Relationships: Emerging Families in Ireland and Beyond
Creators: name: O'Sullivan, Kathryn
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 480402
subject: Family law

description: Kathryn O'Sullivan, ‘Book Review of Brian Tobin: The Legal Reconition of Same-Sex Relationships: Emerging Families in Ireland and Beyond (2023) 37 International Journal of Law, Policy & the Family
Indarbela quadrinotata
Creators: name: Ahmad, Jalil
name: Joshi, Rahul
name: Singh, Navneet
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Metarbelidae
Indarbela
Indarbela quadrinotata

description: 3. Indarbela quadrinotata (Walker, 1856a: 1521)
Cossus
= Cossus abruptus (Walker, 1865b): 584 (TL: Hindostan).
Type locality: Sri Lanka.
Distribution in India: West Bengal (Darjeeling), Orissa (Ganjam), Maharashtra (Bombay), Karnataka (Bangalore), Kerala, Rajashthan. Global records: Sri Lanka (Hampson 1893a; Chandra et al. 2021).
description: Published as part of Ahmad, Jalil, Joshi, Rahul & Singh, Navneet, 2023, An updated Catalogue of Cossoidea (Lepidoptera) from India, pp. 301-348 in Zootaxa 5330 (3) on page 319, DOI: 10.11646/zootaxa.5330.3.1, http://zenodo.org/record/8254738
title: Realisierung eines Document-Retrieval-Systems mit Large Language Models
Creators: name: Pöhlsen, Mathis
Publisher: name: Hochschule Hannover
Year: 2024
Subjects: subject: 004 Informatik

description: In der Bachelorarbeit wird ein Document-Retrieval-System zur Suche von geeigneten Kandidaten anhand von Lebensläufen (CVs) entwickelt. Das System soll die CVs dabei nach semantischer Ähnlichkeit zu der Anfrage suchen und nicht nach dem Vorkommen der Anfragewörter. Dafür werden Large Language Models verwendet, die mit ihrer erlernten Sprachfähigkeit neben generativen Aufgaben auch Texte semantisch in Embeddings abbilden können.
A relation between Krylov and Nielsen complexity
Creators: name: Craps, Ben
name: Evnin, Oleg
name: Pascuzzi, Gabriele
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Krylov complexity and Nielsen complexity are successful approaches to quantifying quantum evolution complexity that have been actively pursued without much contact between the two lines of research. The two quantities are motivated by quantum chaos and quantum computation, respectively, while the relevant mathematics is as different as matrix diagonalization algorithms and geodesic flows on curved manifolds. We demonstrate that, despite these differences, there is a relation between the two quantities. Namely, the time average of Krylov complexity of state evolution can be expressed as a trace of a certain matrix, which also controls an upper bound on Nielsen complexity with a specific custom-tailored penalty schedule adapted to the Krylov basis.
description: v2: published version
THE IMPORTANCE OF THE DIGITAL INFORMATION SPACE IN THE SOCIAL SPACE.
Creators: name: Rajabov, Shuxratjon
Publisher: name: Zenodo
Year: 2024

description: Today, the widespread use of the Internet and information and communication technologies in the world is one of the most important conditions for the socio-economic and cultural development of society, this process is reflected in the formation of a new direction of socio-cultural dynamics. The rapid development of information and communication technologies has led to a further expansion of the types of human activity. With the formation of the digital space, social relations have developed rapidly in it, including such transformational processes as a moral worldview, self-promotion and self-identification, and the perception of moral and philosophical reality by the individual. Nowadays, it is becoming necessary to study such phenomena as axiological paradigms, moral criteria and norms, communication methods, and rapid and sharp changes in views in the digital information space.
Empowering Minds: Understanding Algorithmic Literacy
Creators: name: Oliveira D., M. Jorge
Publisher: name: Empowerverse Media & Communication Agency
Year: 2024
Subjects: algorithmic
literacy
digital

description: In the ever-expanding digital landscape, where algorithms govern our online experiences, the concept of algorithmic literacy has become increasingly crucial. Algorithmic literacy refers to the ability to understand, interpret, and critically engage with the algorithms that shape our digital interactions. From social media feeds to search engine results, algorithms play a significant role in curating the content we consume, influencing our perceptions, decisions, and behaviours.
Evolution of Search From Lexical Methods to Semantic Technologies With AI-Driven Vector Models
Creators: name: Andrei Ivanouski
Publisher: name: Zenodo
Year: 2024

description: The article is devoted to the evolution of search technologies, which is caused by the development oftechnological processes. Because of this, a transition was made from simple lexical methods to modernsemantic technologies based on vector models controlled by artificial intelligence. Initially, search enginesrelied on keyword selection, which, despite its simplicity, often did not allow them to assess the contextualsignificance of queries. The main purpose of the work is to consider the historical process of development ofsearch technologies, as well as to study the role of artificial intelligence, which is used in vector models.The article provides an overview of various search models, starting with logical, vector spatial, andending with modern semantic search technologies based on artificial intelligence. It also describes how theseachievements have improved the accuracy and relevance of search results.The information presented in the framework of the work will be useful for consideration by otherscientific authors, as well as programmers and employees working in the field of information retrieval, machinelearning and artificial intelligence. Due to the fact that it gives an idea of the evolution of search engines,thereby provides a basis for understanding future trends in the development of search technologies.
Hypselostoma surakiti
Creators: name: Gojšina, Vukašin
name: Hunyadi, András
name: Sutcharit, Chirasak
name: Tongkerd, Piyoros
name: Auffenberg, Kurt
name: Grego, Jozef
name: Vermeulen, Jaap J.
name: Reischütz, Alexander
name: Páll-Gergely, Barna
Publisher: name: Zenodo
Year: 2025
Subjects: Biodiversity
Taxonomy
Animalia
Mollusca
Gastropoda
Stylommatophora
Hypselostomatidae
Hypselostoma
Hypselostoma surakiti

description: Hypselostoma surakiti (Panha & J. B. Burch, 2003)
Figs 186 N, 212, 223
Gyliotrachela surakiti Panha & Burch in Burch et al. 2003: 162–169, figs 12, 13.
Gyliotrachela surakiti — Tongkerd et al. 2004: 143, fig. 2; Panha and Burch 2008: 82–84, fig. 72; Dumrongrojwattana and Wongkamhaeng 2024: 324, fig. 8.
Type material examined.
Thailand • 2 paratypes; from the type locality; SMF 331450 • 1 paratype; from the type locality; CUMZ ver 078.
Type locality.
“ South of Puttabanpot Temple, Pajoh Village, Nawang District, Nongbualumpoo Province, 17°19'1"N, 102°7'3"E, 320 meters elevation, Thailand ”.
Differential diagnosis.
This species is by the level of its last whorl ascension similar to H. kohrin and H. diarmaidi. It can be separated from H. kohrin and H. diarmaidi by the absence of typical spiral striation on the shell which is present in the latter two.
Distribution.
This species is known only from the type locality.
Remarks.
In H. surakiti, we could observe some irregular and weak spiral striae on the last whorl although they are not in form of typical raised spiral striae.
description: Published as part of Gojšina, Vukašin, Hunyadi, András, Sutcharit, Chirasak, Tongkerd, Piyoros, Auffenberg, Kurt, Grego, Jozef, Vermeulen, Jaap J., Reischütz, Alexander & Páll-Gergely, Barna, 2025, A new start? Revision of the genera Anauchen, Bensonella, Gyliotrachela and Hypselostoma (Gastropoda, Eupulmonata, Hypselostomatidae) of Southeast Asia with description of 46 new species, pp. 1-338 in ZooKeys 1235 on pages 1-338, DOI: 10.3897/zookeys.1235.145281
Tearbela Yakovlev & Zolotuhin 2021
Creators: name: Ahmad, Jalil
name: Joshi, Rahul
name: Singh, Navneet
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Metarbelidae
Tearbela

description: Genus Tearbela Yakovlev & Zolotuhin, 2021c: 44
Type species: Arbela theivora Hampson, 1910: 97.
description: Published as part of Ahmad, Jalil, Joshi, Rahul & Singh, Navneet, 2023, An updated Catalogue of Cossoidea (Lepidoptera) from India, pp. 301-348 in Zootaxa 5330 (3) on page 320, DOI: 10.11646/zootaxa.5330.3.1, http://zenodo.org/record/8254738
MTTDA TO'GARAK ISHLARINI TASHKIL ETISH
Creators: name: Kaxxarova, Ozoda
name: Ergasheva, Nargiza
Publisher: name: Zenodo
Year: 2024

description: Maqola “MTTda to‘garak ishlarini tashkil etish” mavzusida tayyorlangan bo‘lib, unda maktabgacha ta’lim tashkilotlarida to‘garaklarni  tashkil etishning pedagogik asoslari, bolalar ijodiy qobiliyatlarini shakllantirishda to‘garaklarning ahamiyati, MTTda bolalarni ijodiy faoliyatga o‘rgatishning o‘ziga xos xususiyatlari yoritib berilgan.
Semi-organized structures and turbulence in the atmospheric convection
Creators: name: Rogachevskii, I.
name: Kleeorin, N.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Atmospheric and Oceanic Physics (physics.ao-ph)
subject: Geophysics (physics.geo-ph)
subject: FOS: Physical sciences

description: The atmospheric convective boundary layer (CBL) consists of three basic parts: (i) the surface layer unstably stratified and dominated by small-scale turbulence of very complex nature; (ii) the CBL core dominated by the energy-, momentum- and mass-transport of semi-organized structures (large-scale circulations), with a small contribution from small-scale turbulence produced by local structural shears; and (iii) turbulent entrainment layer at the upper boundary, characterized by essentially stable stratification with negative (downward) turbulent flux of potential temperature. The energy- and flux budget (EFB) theory developed previously for atmospheric stably-stratified turbulence and the surface layer in atmospheric convective turbulence is extended to the CBL core using budget equations for turbulent energies and turbulent fluxes of buoyancy and momentum. For the CBL core, we determine global turbulent characteristics (averaged over the entire volume of the semi-organized structure) as well as kinetic and thermal energies of the semi-organized structures as the functions of the aspect ratio of the semi-organized structure, the scale separation parameter between the vertical size of the structures and the integral scale of turbulence and the degree of thermal anisotropy characterized the form of plumes. The obtained theoretical relationships are potentially useful in modeling applications in the atmospheric convective boundary-layer, and analysis of laboratory and field experiments, direct numerical simulations and large-eddy simulations of convective turbulence with large-scale semi-organized structures.
description: 18 pages, revtex 4-2, revised
Temporal and Spatial Correlations in the Cosmic Background Radiation with ALMA: A New Perspective on Cosmological Anomalies and Alternative Theories of Gravity
Creators: name: Cambi, Pietro
Publisher: name: Zenodo
Year: 2024

description: The large-scale anomalies observed in the cosmic background radiation (CMB),such as dipolar asymmetry and the directional preference known as the "axis of evil", challengethe predictions of the Lambda-CDM cosmological model. This article proposes ainnovative experiment that uses the ALMA radio telescope to study correlationsspatial and temporal in the CMB, looking for traces of primordial entanglementand space-time deformations linked to the so-called "entropic hysteresis". Therediscovery of primordial entangled particles would represent a significant breakthroughin our understanding of quantum physics and cosmology. If you confirm,these correlations could support alternative gravitational theories, such as theModified Newtonian Dynamics (MOND) and entropic gravity. Integration withdata from the South Pole Telescope (SPT) and the Planck satellite would increase the significanceresults statistics. Interdisciplinary collaboration and the development ofadvanced data analysis methodologies strengthen the potential impact of research,offering new perspectives on the nature of gravity and fundamental interactions.
description: Le anomalie su larga scala osservate nella radiazione cosmica di fondo (CMB),come l’asimmetria dipolare e la preferenza direzionale nota come "axis of evil", sfidanole previsioni del modello cosmologico Lambda-CDM. Questo articolo propone unesperimento innovativo che utilizza il radiotelescopio ALMA per studiare le correlazionispaziali e temporali nella CMB, cercando tracce di entanglement primordialee di deformazioni dello spazio-tempo legate alla cosiddetta "isteresi entropica". Lascoperta di particelle entangled primordiali rappresenterebbe una svolta significativanella nostra comprensione della fisica quantistica e della cosmologia. Se confermate,queste correlazioni potrebbero sostenere teorie gravitazionali alternative, come laModified Newtonian Dynamics (MOND) e la gravità entropica. L’integrazione condati del South Pole Telescope (SPT) e del satellite Planck aumenterebbe la significativitàstatistica dei risultati. La collaborazione interdisciplinare e lo sviluppo dimetodologie avanzate di analisi dei dati rafforzano l’impatto potenziale della ricerca,offrendo nuove prospettive sulla natura della gravità e delle interazioni fondamentali.
Indarbela tetraonis
Creators: name: Ahmad, Jalil
name: Joshi, Rahul
name: Singh, Navneet
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Metarbelidae
Indarbela
Indarbela tetraonis

description: 5. Indarbela tetraonis (Moore, 1879a: 411)
Arbela
Type locality: Bombay [India].
Distribution in India: Bombay (province?), Delhi, West Bengal, Madhya Pradesh, Karnataka, Maharshtra and Andhra Pradesh, Rajashthan, South India (Madurai). (Chandra et al. 2021; Moore 1879; Yakovlev & Zolotuhin 2020).
description: Published as part of Ahmad, Jalil, Joshi, Rahul & Singh, Navneet, 2023, An updated Catalogue of Cossoidea (Lepidoptera) from India, pp. 301-348 in Zootaxa 5330 (3) on page 319, DOI: 10.11646/zootaxa.5330.3.1, http://zenodo.org/record/8254738
title: Automated model analysis tools and techniques presented at FASE 2019
Creators: name: Hähnle, Reiner
name: Aalst, Wil van der
Publisher: name: Springer
Year: 2024

description: This special issue contains substantially revised and extended versions of some of the best papers presented at the 22nd International Conference on Fundamental Approaches to Software Engineering in 2019. All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.
Area Selective Chemical Vapor Deposition of Gold by Electron Beam Seeding
Creators: name: Tsarapkin, Aleksei
name: Maćkosz, Krzysztof
name: Jureddy, Chinmai Sai
name: Utke, Ivo
name: Höflich, Katja
Publisher: name: arXiv
Year: 2023
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: Chemical vapour deposition (CVD) is an established method for producing high-purity thin films, but it typically necessitates the pre- and post-processing of a mask to produce structures. This paper presents a novel maskless patterning technique that enables area selective CVD of gold. A focused electron beam is used to decompose the metal-organic precursor Au(acac)Me$_2$ locally, thereby creating an autocatalytically active seed layer for subsequent CVD with the same precursor. The procedure can be included in the same CVD cycle without the need for clean room lithographic processing. Moreover, it operates at low temperatures of 80 °C, over 200 K lower than standard CVD temperatures for this precursor, reducing thermal load on the specimen. Given that electron beam seeding operates on any even moderately conductive surface, the process does not constrain device design. This is demonstrated by the example of vertical nanostructures with high aspect ratios of around 40:1 and more. Written using a focused electron beam and the same precursor, these nanopillars exhibit catalytically active nuclei on their surface. Furthermore, they allow for the first time the precise determination of the local temperature increase caused by the writing of nanostructures with an electron beam.
description: v2 with Supporting Information
Healthcare practitioners’ experiences and perspectives of music in perinatal care in Ireland: An exploratory survey
Creators: name: Cheung, Pui Sze
name: McCaffrey, Tríona
name: Murphy Tighe, Sylvia
name: Mohamad, Mas Mahady
Publisher: name: University of Limerick
Year: 2024
Subjects: classificationCode: 42
subject: Health sciences
subject: FOS: Health sciences
classificationCode: 3603
subject: Music
classificationCode: 4205
subject: Nursing

description: Introduction: Evidence shows that music can promote the wellbeing of women and infants in the perinatal period. Ireland’s National Maternity Strategy (2016–2026) suggests a holistic approach to woman’s healthcare needs and music interventions are ideally placed as a non-pharmacological and cost-effective intervention to improve the quality of care offered to women and infants. This cross-sectional survey aimed to explore the healthcare practitioners’ personal and professional experiences of using music therapeutically and its impact and barriers in practice. The survey also investigated practitioners’ knowledge and attitudes towards the use of music as a therapeutic tool in perinatal care.Methods: A novel online survey was developed and distributed through healthcare practitioners’ electronic mailing lists, social media, Perinatal Mental Health staff App, and posters at the regional maternity hospital during 26th June and 26th October 2020. Survey items included demographics, personal and professional use of music, and perspectives on music intervention in perinatal care.Results: Forty-six healthcare practitioners from across 11 professions were recruited and 42 were included in this study. 98 % of perinatal practitioners used music intentionally to support their wellbeing and 75 % referred to using music in their work. While 90 % found music beneficial in their practice, 15 % reported some negative effect. Around two-thirds of the respondents were familiar with the evidence on music and perinatal wellbeing and 95 % thought there was not enough guidance. 40 % considered music therapy an evidence-based practice and 81 % saw a role for music therapy in standard maternity service in Ireland. The qualitative feedback on how music was used personally and professionally, its’ reported benefits, negative effects, and barriers are discussed.Discussion: This study offers insights into how healthcare practitioners viewed and applied music in perinatal practice. The findings indicate high interest and positive experiences in using music as a therapeutic tool in perinatal care which highlights the need for more evidence and guidance.