cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Material-separating regularizer for multi-energy X-ray tomography
Creators: name: Gondzio, Jacek
name: Lassas, Matti
name: Latva-Äijö, Salla-Maaria
name: Siltanen, Samuli
name: Zanetti, Filippo
Publisher: name: arXiv
Year: 2021
Subjects: subject: Numerical Analysis (math.NA)
subject: Medical Physics (physics.med-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: Dual-energy X-ray tomography is considered in a context where the target under imaging consists of two distinct materials. The materials are assumed to be possibly intertwined in space, but at any given location there is only one material present. Further, two X-ray energies are chosen so that there is a clear difference in the spectral dependence of the attenuation coefficients of the two materials. A novel regularizer is presented for the inverse problem of reconstructing separate tomographic images for the two materials. A combination of two things, (a) non-negativity constraint, and (b) penalty term containing the inner product between the two material images, promotes the presence of at most one material in a given pixel. A preconditioned interior point method is derived for the minimization of the regularization functional. Numerical tests with digital phantoms suggest that the new algorithm outperforms the baseline method, Joint Total Variation regularization, in terms of correctly material-characterized pixels. While the method is tested only in a two-dimensional setting with two materials and two energies, the approach readily generalizes to three dimensions and more materials. The number of materials just needs to match the number of energies used in imaging.
description: 31 pages, 11 figures, 4 tables
Soliton resolution and asymptotic stability of $N$-soliton solutions for the defocusing mKdV equation with a non-vanishing background
Creators: name: Zhang, Zechuan
name: Xu, Taiyang
name: Fan, Engui
Publisher: name: arXiv
Year: 2021
Subjects: subject: Analysis of PDEs (math.AP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 35Q51, 35Q15, 35C20, 37K15, 37K40

description: We analytically study the large-time asymptotics of the solution of the defocusing modified Korteweg-de Vries (mKdV) equation under a symmetric non-vanishing background, which supports the emergence of solitons. It is demonstrated that the asymptotic expansion of the solution at the large time could verify the renowned soliton resolution conjecture. Moreover, the asymptotic stability of $N$-soliton solution is also exhibited in the present work. We establish our results by performing a $\bar{\partial}$-nonlinear steepest descent analysis to the associated Riemann-Hilbert (RH) problem.
description: 39 pages. Minor corrections according to the anonymous referees' comments. To appear in Physica D
title: Interaktive Visualisierung von Qualitätsdefiziten komplexer Bauwerksinformationsmodelle auf Basis der Industry Foundation Classes (IFC) in einer webbasierten Umgebung
Creators: name: Theiler, Michael
Publisher: name: Bauhaus-Universität Weimar
Year: 2012
Subjects: subject: BIM
subject: IFC
subject: GTDS
subject: Visualisierung
subject: 000

description: Der inhaltlichen Qualitätssicherung von Bauwerksinformationsmodellen (BIM) kommt im Zuge einer stetig wachsenden Nutzung der verwendeten BIM für unterschiedliche Anwen-dungsfälle eine große Bedeutung zu. Diese ist für jede am Datenaustausch beteiligte Software dem Projektziel entsprechend durchzuführen. Mit den Industry Foundation Classes (IFC) steht ein etabliertes Format für die Beschreibung und den Austausch eines solchen Modells zur Verfügung. Für den Prozess der Qualitätssicherung wird eine serverbasierte Testumgebung Bestandteil des neuen Zertifizierungsverfahrens der IFC sein. Zu diesem Zweck wurde durch das „iabi - Institut für angewandte Bauinformatik” in Zusammenarbeit mit „buildingSMART e.V.“ (http://www.buildingsmart.de) ein Global Testing Documentation Server (GTDS) implementiert. Der GTDS ist eine, auf einer Datenbank basierte, Web-Applikation, die folgende Intentionen verfolgt: • Bereitstellung eines Werkzeugs für das qualitative Testen IFC-basierter Modelle • Unterstützung der Kommunikation zwischen IFC Entwicklern und Anwendern • Dokumentation der Qualität von IFC-basierten Softwareanwendungen • Bereitstellung einer Plattform für die Zertifizierung von IFC Anwendungen Gegenstand der Arbeit ist die Planung und exemplarische Umsetzung eines Werkzeugs zur interaktiven Visualisierung von Qualitätsdefiziten, die vom GTDS im Modell erkannt wurden. Die exemplarische Umsetzung soll dabei aufbauend auf den OPEN IFC TOOLS (http://www.openifctools.org) erfolgen.
Melita Leach 1814
Creators: name: Springthorpe, Roger T.
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Malacostraca
Amphipoda
Melitidae
Melita

description: Melita Leach, 1814
Melita Leach, 1814: 403.— Sars, 1895: 507 (part).— Stebbing, 1906: 421 (part).— Chevreux & Fage, 1925: 227 (part).— Gurjanova, 1951: 746 (part).— Karaman, 1981: 41.—Barnard J. L., 1969: 245 (part).— Bousfield, 1973: 64.— Barnard & Barnard, 1983: 663–666 (part).— Jarret & Bousfield, 1996: 51.— Labay, 2016: 47.
Caliniphargus Stout, 1913: 640.
Megamoera Bate, 1862: 224 (part).
Type species. Cancer palmatus Montagu, 1804.
Diagnosis. (Modified from Jarret & Bousfield, 1996 and Labay, 2016). Head, with antero-ventral notch or slit, anterior and posterior lobes rounded. Pleonite segments usually lacking dorsal teeth. Urosomite 1 with or without dorsal mid-line spine. Urosomite 2 with paired dorsal spines and/ or robust setae in 2 groups. Mandible left lacinia mobilis 4-dentate; palp well developed, 3-articulate, articles 2 and 3 with terminal and marginal setae. Maxilla 1, inner plate sub rectangular, elongate, with truncate or rounded distal margin, with apical setae, outer plate with 9 apical robust setae. Maxilla 2, inner plate with distal marginal setae, oblique setal row absent. Maxilliped plates strong; palp article 2 sublinear; article 3 bilobed; dactyl stout, curved. Gnathopod 1, sexually dimorphic or not, subchelate. Gnathopod 2 sexually dimorphic, subchelate; pereopod 6 coxa sexually dimorphic. Epimeron 3, hind corner moderately produced, acute or with small tooth, ventral margin smooth or weakly serrate. Uropod 1, peduncle with basofacial robust seta; Uropod 3, inner ramus scale-like; outer ramus, much longer than peduncle, 1 or 2-articulate, article 2 short. Telson deeply cleft, lobes terminally subacute, each with 2–3 robust setae.
Remarks. According to Labay (2016) and Horton et al. (2022) there are currently 57 species in the genus Melita. This paper reinstates one species and adds one new species to bring the total to 59 species. Further investigation of poorly described historical species of Melita is required to resolve some taxonomic issues but is outside the scope of this work.
description: Published as part of Springthorpe, Roger T., 2023, Melita lowryi, a New Species of Melitidae (Crustacea: Amphipoda: Senticaudata) from New Zealand, and the Redescription of Melita festiva (Chilton, 1885) from Australia, pp. 547-558 in Records of the Australian Museum (Rec. Aust. Mus.) (Rec. Aust. Mus.) 75 (4) on page 548, DOI: 10.3853/j.2201-4349.75.2023.1892, http://zenodo.org/record/10413575
Index bounded relative symplectic cohomology
Creators: name: Sun, Yuhan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics

description: We study the relative symplectic cohomology with the help of an index bounded contact form. For a Liouville domain with an index bounded boundary, we construct a spectral sequence which starts from its classical symplectic cohomology and converges to the relative symplectic cohomology of it inside a Calabi-Yau manifold.
description: Proofs clarified and simplified, accepted version
Perittia falciferella Sruoga & Prins, 2009, new species
Creators: name: Sruoga, Virginijus
name: Prins, Jurate De
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Elachistidae
Perittia
Perittia falciferella

description: Perittia falciferella, new species
(Figs. 4, 15, 33, 41–43)
Type material. Holotype: Ƥ, KENYA, Kakamega Forest, 1590 m, 00°21’N 034°51’E, mine 28.iii.2003, ex. p. 21.iv.2003, leg. J. & W. De Prins, specimen ID RMCA ENT 0 0 0 0 0 5178, gen. prep. MRAC / KMMA 0 0 477 (RMCA).
Paratypes: 2Ƥ, KENYA, Kakamega Forest, 1590m, 00°21’N 034°51’E, mine 28.iii.2003, ex. p. 21.iv.2003, leg. J. & W. De Prins, specimen IDs RMCA ENT 0 0 0 0 0 5179 and 0 0 0 0 0 5180, gen. prep. MRAC / KMMA 0 0 478 (RMCA).
Diagnosis. Perittia falciferella is a medium-sized and broad-winged species with the forewing mottled by the greyish-brown tips of its scales. In female genitalia, the peculiarly shaped signum separates this species well from all the other known Elachistinae species.
Female (Fig. 33). Forewing length 3.3–3.7 mm; wingspan 7.3–8.1 mm (n=3). Head: Frons whitish; vertex and neck tuft greyish brown, mottled due to white transversal streak before dark tips of scales; labial palpus very short and straight, greyish brown; scape broader than flagellum, greyish brown with white transversal streak before dark scale tips; flagellum greyish brown annulated with paler rings, in distal half with slightly raised scales. Thorax, tegula and forewing greyish brown, mottled with greyish-brown tips of scales; slightly raised blackish-brown scales forming two small spots on forewing: one at 1/3 and another, smaller one at 3/5; fringe brownish grey, mottled due to white transversal streak before dark tips of some scales. Hindwing including fringe brownish grey.
Male. Unknown.
Female genitalia (Figs. 41–43). Papillae anales short, with scattered long setae; posteriorly with zone of very short fine setae mixed with longer ones. Tergite 8 weakly sclerotized, apophyses posteriores slightly longer and thicker than apophyses posteriores. Ostium surrounded by longitudinal sclerotized plates. Antrum long and wide, with strong spines in posterior part; colliculum indistinct. Ductus bursae wide, with band of very small internal spines extending also in corpus bursae; signum elongate, sickle-shaped, with transverse, weakly sclerotized plate covered by tiny spines (Fig. 43).
Biology. The mined leaves of an unidentified, low growing monocot were collected in late March.
Flight period. April and probably May.
Distribution. This species is presently known only from Kakamega Forest in the Western Province of Kenya (Figs. 4, 15).
Etymology. The species name is derived from the Latin falcifera (carrying a scythe or sickle) in reference to the shape of the signum.
description: Published as part of Sruoga, Virginijus & Prins, Jurate De, 2009, The Elachistinae (Lepidoptera: Elachistidae) of Kenya with descriptions of eight new species, pp. 1-31 in Zootaxa 2172 on page 14, DOI: 10.5281/zenodo.189248
title: Untersuchung und Beurteilung des Rissverhaltens eines Betongelenkes anhand unterschiedlicher Methoden
Creators: name: Schumann, Alexander
Publisher: name: Bauhaus-Universität Weimar
Year: 2013
Subjects: subject: Finite-Elemente-Methode
subject: Extended Finite-Elemente-Methode
subject: Analytische Lösung
subject: Betongelenk
subject: Riss
subject: Kopplungsmethode
subject: 500

description: Die Bruchmechanik hat einen wichtigen Platz im modernen Bauingenieurwesen, um die Ausbreitung von Rissen in Bauteilen und ihre Gefährlichkeit einzuschätzen. Dabei kommen verschiedenste Methoden zum Einsatz. In dieser Arbeit soll die Qualitätsbewertung für einige dieser Methoden untersucht werden. Zu vergleichen sind u. a. die Genauigkeit, die Schnelligkeit, die Komplexität und die Stabilität. In den Vergleich sind die Finite Elemente Methode, die Extended Finite Elemente Methode und eine Kopplungsmethode (analytische Lösung für die Rissspitze und Finite Elemente Lösung für den Rest des Gebietes) einzubeziehen. Als reales Beispiel aus dem Bauingenieurwesen wird ein Betongelenk mit einem vorhandenen Riss betrachtet.
Heraeus hollyae Baranowski 2005
Creators: name: Powell, Erin C.
name: Halbert, Susan E.
name: Deeter, Lily
name: Keller, Oliver
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Rhyparochromidae
Heraeus
Heraeus hollyae

description: Heraeus hollyae Baranowski, 2005
Heraeus hollyae Baranowski in Baranowski & Slater, 2005: 141
Holotype: 1 ♁. ANTIGUA, B. W. I./ Collins. 20-VIII-95/ (under Bucida sp.)/ R.M. & H. V. Baranowski // [on red] HOLOTYPE/ Heraeus hollyae / Baranowski // [upside down barcode label] FSCA 00070618.
Conservation status: Good condition; point mounted (Fig. 121).
description: Published as part of Powell, Erin C., Halbert, Susan E., Deeter, Lily & Keller, Oliver, 2023, An annotated and illustrated catalog of the primary type material of Hemiptera deposited in the Florida State Collection of Arthropods, pp. 1-107 in Zootaxa 5355 (1) on page 72, DOI: 10.11646/zootaxa.5355.1.1, http://zenodo.org/record/10022197
Discrete, recurrent, and scalable patterns in human judgement underlie affective picture ratings
Creators: name: Azcona, Emanuel A.
name: Kim, Byoung-Woo
name: Vike, Nicole L.
name: Bari, Sumra
name: Lalvani, Shamal
name: Stefanopoulos, Leandros
name: Woodward, Sean
name: Block, Martin
name: Katsaggelos, Aggelos K.
name: Breiter, Hans C.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Human-Computer Interaction (cs.HC)
subject: Theoretical Economics (econ.TH)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Computer and information sciences
subject: FOS: Economics and business
subject: FOS: Biological sciences

description: Operant keypress tasks, where each action has a consequence, have been analogized to the construct of "wanting" and produce lawful relationships in humans that quantify preferences for approach and avoidance behavior. It is unknown if rating tasks without an operant framework, which can be analogized to "liking", show similar lawful relationships. We studied three independent cohorts of participants (N = 501, 506, and 4,019 participants) collected by two distinct organizations, using the same 7-point Likert scale to rate negative to positive preferences for pictures from the International Affective Picture Set. Picture ratings without an operant framework produced similar value functions, limit functions, and trade-off functions to those reported in the literature for operant keypress tasks, all with goodness of fits above 0.75. These value, limit, and trade-off functions were discrete in their mathematical formulation, recurrent across all three independent cohorts, and demonstrated scaling between individual and group curves. In all three experiments, the computation of loss aversion showed 95% confidence intervals below the value of 2, arguing against a strong overweighting of losses relative to gains, as has previously been reported for keypress tasks or games of chance with calibrated uncertainty. Graphed features from the three cohorts were similar and argue that preference assessments meet three of four criteria for lawfulness, providing a simple, short, and low-cost method for the quantitative assessment of preference without forced choice decisions, games of chance, or operant keypressing. This approach can easily be implemented on any digital device with a screen (e.g., cellphones).
Elachista planca Sruoga & Prins, 2009, new species
Creators: name: Sruoga, Virginijus
name: Prins, Jurate De
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Lepidoptera
Elachistidae
Elachista
Elachista planca

description: Elachista planca, new species
(Figs. 2, 10, 15, 29–31)
Type material. Holotype: Ƥ, KENYA, Aberdares National Park, Karuru Falls, 2980 m, 12.iv.2000, 00°22’S 36°54’E (N6), Ugo Dall’Asta, specimen ID RMCA ENT 0 0 0 0 0 5181, gen. prep. MRAC / KMMA 0 0 479 (RMCA).
Diagnosis. Elachista planca is a narrow-winged species with a white pattern on a brownish-grey forewing ground colour. The female genitalia of E. planca resemble only superficially those of E. oritropha Bradley, 1965, which is known from Uganda. The new species differs by the wing pattern, the less deeply incised ostium bursae and the irregularly diamond-shaped signum, which is heavily sclerotized.
Female (Fig. 10). Forewing length 4.4 mm; wingspan 9.6 mm (n=1). Head: Frons whitish, vertex and neck tuft brownish grey; labial palpus whitish with weak yellowish tint, third segment brownish grey below; antenna brownish grey, annulated with blackish brown. Thorax and tegula brownish grey. Forewing: ground colour brownish grey; indistinctly delimited whitish transverse fascia at 1/3 of wing, not reaching dorsal margin; white spot in 2/3 of costa, another similar spot slightly before it at tornus; fringe scales in apex white, otherwise grey. Hindwing including fringe pale brownish grey.
Male. Unknown.
Female genitalia (Figs. 29–31). Papillae anales elongate, covered with short setae, few long setae in lateral area and few long and stout ones near apices; basal sclerotized bar rather wide dorsad from apophyses posteriores. Apophyses posteriores distally curved outwards and apophyses anteriores S-shaped, only slightly longer than posteriores. Tergum 8 well sclerotized, posterior margin deeply concave. Ostium wide, dorsal wall covered with acute spines; antrum wide, gradually tapered, posterior part of antrum with internal spines, anteriorly gradually tapered into indistinct colliculum. Colliculum with several tiny internal spines. Membranous anterior part of ductus bursae gradually broadened towards corpus bursae. Corpus bursae pyriform, at most with few tiny internal spines medially; signum unevenly sclerotized and irregularly rounded plate without prominent teeth.
Biology. Unknown.
Flight period. Based upon the single specimen available, adults fly in April.
Distribution. So far this species is known only from Aberdares National Park in the Central Province of Kenya (Figs. 2, 15).
Etymology. The species name is derived from the Latin planca (broad board) in reference to the shape of the signum.
description: Published as part of Sruoga, Virginijus & Prins, Jurate De, 2009, The Elachistinae (Lepidoptera: Elachistidae) of Kenya with descriptions of eight new species, pp. 1-31 in Zootaxa 2172 on pages 12-14, DOI: 10.5281/zenodo.189248
Looped Pipelines Enabling Effective 3D Qubit Lattices in a Strictly 2D Device
Creators: name: Cai, Zhenyu
name: Siegel, Adam
name: Benjamin, Simon
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Many quantum computing platforms are based on a two-dimensional physical layout. Here we explore a concept called looped pipelines which permits one to obtain many of the advantages of a 3D lattice while operating a strictly 2D device. The concept leverages qubit shuttling, a well-established feature in platforms like semiconductor spin qubits and trapped-ion qubits. The looped pipeline architecture has similar hardware requirements to other shuttling approaches, but can process a stack of qubit arrays instead of just one. Even a stack of limited height is enabling for diverse schemes ranging from NISQ-era error mitigation through to fault-tolerant codes. For the former, protocols involving multiple states can be implemented with a space-time resource cost comparable to preparing one noisy copy. For the latter, one can realise a far broader variety of code structures; as an example we consider layered 2D codes within which transversal CNOTs are available. Under reasonable assumptions this approach can reduce the space-time cost of magic state distillation by two orders of magnitude. Numerical modelling using experimentally-motivated noise models verifies that the architecture provides this benefit without significant reduction to the code's threshold.
description: Fixed errors in Fig. 19 (which is Fig. 20 in the published version)
On a fourth order equation describing single-component film models
Creators: name: Magliocca, Martina
Publisher: name: arXiv
Year: 2022
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We study existence results for a fourth order problem describing single-component film models assuming initial data in Wiener spaces.
description: Final version, accepted in Nonlinear Analysis: Real World Applications
The coarse geometry of hexagon decomposition graphs
Creators: name: Gültepe, Funda
name: Parlier, Hugo
Publisher: name: arXiv
Year: 2022
Subjects: subject: Geometric Topology (math.GT)
subject: FOS: Mathematics

description: We define and study graphs associated to hexagon decompositions of surfaces by curves and arcs. One of the variants is shown to be quasi-isometric to the pants graph, whereas the other variant is quasi-isometric to (a Cayley graph of) the mapping class group.
description: 19 pages, 10 figures
Mimocolliuris Liebke 1933
Creators: name: Anichtchenko, Alexander
name: Sciaky, Riccardo
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Mimocolliuris

description: Genus Mimocolliuris Liebke, 1933
Type species: Ophionea chaudoiri Boheman, 1858 by original designation.
A genus with relatively low diversity, containing 17 species of rather uniform morphology. Zhao and Tian (2010), Baehr (2016), and more recently Anagha et al. (2024) have proposed keys to determine the species in this group, all of them, at least partly, inadequate. Zhao and Tian (2010) provide a vast distribution of M. pilifera (Cambodia, Laos, Vietnam, Myanmar, Thailand, Sri Lanka, India), without justifying it; Baehr (2016) mentions the characters of the same species on the basis of the original description, but without examining ant specimen. Eventually, Anagha et al. (2024) combined the two preceding keys without providing new data, but only repeated the distribution of M. pilifera given by Zhao and Tian (2010), with no more evidence or new material.
Mimocolliuris insulana Habu, 1979 is the type species of the subgenus Paramimocolliuris Habu, 1979, and is characterized by the occurrence of two supernumerary setae on the head; its known distribution includes Japan, China and Taiwan. The only other species belonging to this subgenus is C. sinuatiphallus Zhao & Tian, 2011 from China (Guangdong). This single character seems to us to be insufficient for a subgeneric separation. Therefore, in our opinion both Paramimocolliuris and Essora Liebke, 1933 (another low diversity subgenus characterized by very subtle diagnostic features) should be synonymized with Mimocolliuris s. str., because all their other characters fit well with those of the nominotypical subgenus. Additionally, Terada and Wu (2014) give some interesting observations on the extreme affinity of some species of Mimocolliuris to the known species of Paramimocolliuris. To finalize their taxonomic placement additional material is required.
description: Published as part of Anichtchenko, Alexander & Sciaky, Riccardo, 2024, Contribution to the knowledge of the Philippines species of the tribe Odacanthini Laporte, 1834 (Coleoptera: Carabidae), pp. 328-344 in Zootaxa 5493 (4) on page 333, DOI: 10.11646/zootaxa.5493.4.2, http://zenodo.org/record/13330255
Imaging stars with quantum error correction
Creators: name: Huang, Zixin
name: Brennen, Gavin K.
name: Ouyang, Yingkai
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: The development of high-resolution, large-baseline optical interferometers would revolutionize astronomical imaging. However, classical techniques are hindered by physical limitations including loss, noise, and the fact that the received light is generally quantum in nature. We show how to overcome these issues using quantum communication techniques. We present a general framework for using quantum error correction codes for protecting and imaging starlight received at distant telescope sites. In our scheme, the quantum state of light is coherently captured into a non-radiative atomic state via Stimulated Raman Adiabatic Passage, which is then imprinted into a quantum error correction code. The code protects the signal during subsequent potentially noisy operations necessary to extract the image parameters. We show that even a small quantum error correction code can offer significant protection against noise. For large codes, we find noise thresholds below which the information can be preserved. Our scheme represents an application for near-term quantum devices that can increase imaging resolution beyond what is feasible using classical techniques.
description: comments are welcome
title: Investigation of buckling behavior of carbon fiber-reinforced composite shell structures with openings
Creators: name: Herrmann, Annemarie
Publisher: name: Bauhaus-Universität Weimar
Year: 2013
Subjects: subject: buckling
subject: composite
subject: Abaqus
subject: cylindrical shell structures
subject: 600

description: Thin-walled cylindrical composite shell structures are often applied in aerospace for lighter and cheaper launcher transport system. These structures exhibit sensitivity to geometrical imperfection and are prone to buckling under axial compression. Today the design is based on NASA guidelines from the 1960’s [1] using a conservative lower bound curve embodying many experimental results of that time. It is well known that the advantages and different characteristics of composites as well as the evolution of manufacturing standards are not considered apporopriately in this outdated approach. The DESICOS project was initiated to provide new design guidelines regarding all the advantages of composites and allow further weight reduction of space structures by guaranteeing a more precise and robust design. Therefore it is necessary among other things to understand how a cutout with different dimensions affects the buckling load of a thin-walled cylindrical shell structure in combination with initial geometric imperfections. This work is intended to identify a ratio between the cutout characteristic dimension (in this case the cutout diameter) and the structure characteristic dimension (in this case the cylinder radius) that can be used to tell if the buckling structure is dominated by initial imperfections or is dominated by the cutout.
Kleidocerys hispaniola Baranowski 2005
Creators: name: Powell, Erin C.
name: Halbert, Susan E.
name: Deeter, Lily
name: Keller, Oliver
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Lygaeidae
Kleidocerys
Kleidocerys hispaniola

description: Kleidocerys hispaniola Baranowski, 2005
Kleidocerys hispaniola Baranowski in Baranowski & Slater, 2005: 51
Holotype: 1 ♁. DOMINICAN REPUBLIC:/ Prov. of LaVega / Ebano Verde Nat. Park / 28-VI-1999. R. E. Woodruff / & R. M. Baranowski // [on red] HOLOTYPE/ Kleidocerys hispaniola / Baranowski // [upside down barcode label] FSCA 00070617.
Conservation status: Good condition; point mounted (Fig. 122).
description: Published as part of Powell, Erin C., Halbert, Susan E., Deeter, Lily & Keller, Oliver, 2023, An annotated and illustrated catalog of the primary type material of Hemiptera deposited in the Florida State Collection of Arthropods, pp. 1-107 in Zootaxa 5355 (1) on page 72, DOI: 10.11646/zootaxa.5355.1.1, http://zenodo.org/record/10022197
title: Hygrothermische Gebäudesimulation – Experimentelle Bestimmung der Randparameter und Sorptionseigenschaften von historischen Räumen
Creators: name: Schuster, Siegbert
name: Schuster, Karl-Heinz
Publisher: name: Bauhaus-Universität Weimar
Year: 2013
Subjects: subject: Feuchtepufferung
subject: 600

description: Forscher prognostizieren in den kommenden Jahren eine Klimaerwärmung bis zu 6 ° C. Aus diesem Grund wurde das EU – Forschungsprojekt „ Climate for Culture“ ins Leben gerufen, um Auswirkungen dieses Klimawandels auf denkmalgeschützte, kulturhistorische Gebäude zu untersuchen. Ziel ist es, entsprechende Schutzmaßnahmen in konservatorischer Hinsicht zu erarbeiten. Aufgrund des Zusammenhanges zwischen Temperatur und Luftfeuchte führt diese Klimaerwärmung auch zu einer Änderung des Feuchtehaushaltes im Außenbereich und, bedingt durch einen immer vorhandenen Luftwechsel, schließlich auch im Innenbereich von Gebäuden. Die Fähigkeit eines Gebäudes, durch seine Beschaffenheit auf Feuchteeinflüsse zu reagieren, wird maßgeblich bestimmt durch seine Möglichkeit, in der Gebäudehülle und der vorhandenen Einrichtung anfallende Feuchte zwischenzuspeichern und diese zeitversetzt wieder an die Umgebung abzugeben. Diese Fähigkeit sorptiver Flächen zur Feuchtepufferung konnte bislang nur mit erheblichem Aufwand ermittelt werden. In der vorliegenden Arbeit wird versucht, durch einfachere Methoden mittels hygrothermischer Simulation einen „Zweizahlwert“ zu erhalten, mit dem sich diese Raumkompetenz schnell und nachvollziehbar darstellen lässt.
Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
Creators: name: Cristiá, Maximiliano
name: Rossi, Gianfranco
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: In this paper we show how prescritive type checking and constraint solving can be combined to increase automation during software verification. We do so by defining a type system and implementing a typechecker for {log} (read `setlog'), a Constraint Logic Programming (CLP) language and satisfiability solver based on set theory. Hence, we proceed as follows: a) a type system for {log} is defined; b) the constraint solver is proved to be safe w.r.t. the type system; c) the implementation of a concrete typechecker is presented; d) the integration of type checking and set constraint solving to increase automation during software verification is discussed; and f) two industrial-strength case studies are presented where this combination is used with very good results.
 Under consideration in Theory and Practice of Logic Programming (TPLP)
description: Under consideration in Theory and Practice of Logic Programming (TPLP)
Regular Model Checking Upside-Down: An Invariant-Based Approach
Creators: name: Esparza, Javier
name: Raskin, Michael
name: Welzel-Mohr, Christoph
Publisher: name: arXiv
Year: 2022
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we are studying applies to systems whose set of initial configurations is regular, and whose transition relation is captured by a length-preserving transducer. To verify safety properties, regular model checking iteratively computes automata recognizing increasingly larger regular sets of reachable configurations, and checks if they contain unsafe configurations. Since this procedure often does not terminate, acceleration, abstraction, and widening techniques have been developed to compute a regular superset of the reachable configurations.
 In this paper, we develop a complementary procedure. Instead of approaching the set of reachable configurations from below, we start with the set of all configurations and approach it from above. We use that the set of reachable configurations is equal to the intersection of all inductive invariants of the system. Since this intersection is non-regular in general, we introduce b-invariants, defined as those representable by CNF-formulas with at most b clauses. We prove that, for every $b\geq0$, the intersection of all inductive b-invariants is regular, and we construct an automaton recognizing it. We show that whether this automaton accepts some unsafe configuration is in EXPSPACE for every $b\geq0$, and PSPACE-complete for b=1. Finally, we study how large must b be to prove safety properties of a number of benchmarks.
Estomias – a importância de conhecer e orientar
Creators: name: Alves de Oliveira, João Batista
Publisher: name: Zenodo
Year: 2025
Subjects: Estomias
Cuidados Paliativos
Educação Saúde

description: A estomia além de uma solução clínica para muitos casos é também um fator de grande impacto físico, emocional, social e espiritual, não só para o paciente, como para os familiares. Conviver com uma estomia exige adaptações variadas além de cuidados contínuos e a finalidade deste trabalho é fazer uma releitura com essa abordagem, que conscientize profissionais de saúde, familiares, cuidadores e paciente, visando a melhor qualidade de vida.

 

Aviso legal

Esta apresentação é uma interpretação com o objetivo de melhorar a clareza e a compreensão das ideias expressas. Ela não substitui a orientação profissional, médica ou legal de cada paciente. As informações contidas no texto não devem ser consideradas como aconselhamento médico, diagnóstico ou tratamento. Para obter informações precisas e relevantes para suas necessidades individuais, é altamente recomendável buscar orientação de profissionais qualificados e experientes nas áreas pertinentes. Não nos responsabilizamos por quaisquer ações tomadas com base no conteúdo deste texto.
Bipartite polygon models: entanglement classes and their nonlocal behaviour
Creators: name: Kolangatt, Mayalakshmi
name: Muruganandan, Thigazholi
name: Naik, Sahil Gopalkrishna
name: Guha, Tamal
name: Banik, Manik
name: Saha, Sutapa
Publisher: name: arXiv
Year: 2022
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Hardy's argument constitutes an elegantly logical test for identifying nonlocal features of multipartite correlations. In this paper, we investigate Hardy's nonlocal behavior within a broad class of operational theories, including the qubit state space as a specific case. Specifically, we begin by examining a wider range of operational models with state space descriptions in the form of regular polygons. First, we present a systematic method to characterize the possible forms of entangled states within bipartite compositions of these models. Then, through explicit examples, we identify the classes of entangled states that exhibit Hardy-type nonlocality. Remarkably, our findings highlight a closer analogy between odd polygon models and the qubit state space in terms of their bipartite Hardy nonlocal behavior compared to even-sided polygons. Furthermore, we demonstrate that the emergence of mixed-state Hardy nonlocality in any operational model is determined by a specific symmetry inherent in its dynamic description. Finally, our results uncover an unexplored class of almost-quantum correlations that can be associated with an explicit operational model.
description: 22+8 pages (1 column), 7 figures; comments are welcome
Melanopleuroides dominicanus Slater & Baranowski 2001
Creators: name: Powell, Erin C.
name: Halbert, Susan E.
name: Deeter, Lily
name: Keller, Oliver
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Lygaeidae
Melanopleuroides
Melanopleuroides dominicanus

description: Melanopleuroides dominicanus Slater & Baranowski, 2001
Melanopleuroides dominicanus Slater & Baranowski, 2001: 132
Holotype: 1 ♁. DOMINICAN REPUBLIC / Pedernales, Parque Nacio-/ nal del Bahoruco, 10 July/ 1996, R. Turnbow // [on red] HOLOTYPE/ Melanopleuroides / dominicanus / Slater & Baranowski, 2001 // [upside down barcode label] FSCA 00071483.
Conservation status: Good condition; pinned; genitalia in micro vial pinned under first label (Fig. 123).
description: Published as part of Powell, Erin C., Halbert, Susan E., Deeter, Lily & Keller, Oliver, 2023, An annotated and illustrated catalog of the primary type material of Hemiptera deposited in the Florida State Collection of Arthropods, pp. 1-107 in Zootaxa 5355 (1) on page 72, DOI: 10.11646/zootaxa.5355.1.1, http://zenodo.org/record/10022197
Exponential Random Graph Models for Dynamic Signed Networks: An Application to International Relations
Creators: name: Fritz, Cornelius
name: Mehrl, Marius
name: Thurner, Paul W.
name: kauermann, Göran
Publisher: name: arXiv
Year: 2022
Subjects: subject: Social and Information Networks (cs.SI)
subject: Applications (stat.AP)
subject: FOS: Computer and information sciences

description: Substantive research in the Social Sciences regularly investigates signed networks, where edges between actors are either positive or negative. For instance, schoolchildren can be friends or rivals, just as countries can cooperate or fight each other. This research often builds on structural balance theory, one of the earliest and most prominent network theories, making signed networks one of the most frequently studied matters in social network analysis. While the theorization and description of signed networks have thus made significant progress, the inferential study of tie formation within them remains limited in the absence of appropriate statistical models. In this paper we fill this gap by proposing the Signed Exponential Random Graph Model (SERGM), extending the well-known Exponential Random Graph Model (ERGM) to networks where ties are not binary but negative or positive if a tie exists. Since most networks are dynamically evolving systems, we specify the model for both cross-sectional and dynamic networks. Based on structural hypotheses derived from structural balance theory, we formulate interpretable signed network statistics, capturing dynamics such as "the enemy of my enemy is my friend". In our empirical application, we use the SERGM to analyze cooperation and conflict between countries within the international state system.
Ninyas dominicanus Baranowski 2005
Creators: name: Powell, Erin C.
name: Halbert, Susan E.
name: Deeter, Lily
name: Keller, Oliver
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Lygaeidae
Ninyas
Ninyas dominicanus

description: Ninyas dominicanus Baranowski, 2005
Ninyas dominicanus Baranowski in Baranowski and Slater, 2005: 70
Holotype: 1 ♁. DOMINICAN REPUBLIC / 33 km N. San Jose / de Ocoa, 1-1X-1997 / R. M. Baranowski // [on red] HOLOTYPE/ Ninyas dominicanus / Baranowski // [upside down barcode label] FSCA 00070647.
Conservation status: Good condition; point mounted (Fig. 124).
description: Published as part of Powell, Erin C., Halbert, Susan E., Deeter, Lily & Keller, Oliver, 2023, An annotated and illustrated catalog of the primary type material of Hemiptera deposited in the Florida State Collection of Arthropods, pp. 1-107 in Zootaxa 5355 (1) on page 75, DOI: 10.11646/zootaxa.5355.1.1, http://zenodo.org/record/10022197
Ninyas obrieni Baranowski 2005
Creators: name: Powell, Erin C.
name: Halbert, Susan E.
name: Deeter, Lily
name: Keller, Oliver
Publisher: name: Zenodo
Year: 2023
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Lygaeidae
Ninyas
Ninyas obrieni

description: Ninyas obrieni Baranowski, 2005
Ninyas obrieni Baranowski in Baranowski and Slater, 2005: 71
Holotype: 1 ♀. PUERTO RICO, El / Yunque, Mt.Britton / Tr. viii-11-1999,/ C.W.O’Brien // [on red] HOLOTYPE/ Ninyas obrieni / Baranowski // [upside down barcode label] FSCA 00070633.
Conservation status: Good condition; point mounted (Fig. 125).
description: Published as part of Powell, Erin C., Halbert, Susan E., Deeter, Lily & Keller, Oliver, 2023, An annotated and illustrated catalog of the primary type material of Hemiptera deposited in the Florida State Collection of Arthropods, pp. 1-107 in Zootaxa 5355 (1) on page 75, DOI: 10.11646/zootaxa.5355.1.1, http://zenodo.org/record/10022197
The strong chromatic index of 1-planar graphs
Creators: name: Wang, Yiqiao
name: Song, Ning
name: Wang, Jianfeng
name: Wang, Weifan
Publisher: name: arXiv
Year: 2022
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: The chromatic index $χ'(G)$ of a graph $G$ is the smallest $k$ for which $G$ admits an edge $k$-coloring such that any two adjacent edges have distinct colors. The strong chromatic index $χ'_s(G)$ of $G$ is the smallest $k$ such that $G$ has an edge $k$-coloring with the condition that any two edges at distance at most 2 receive distinct colors. A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. In this paper, we show that every graph $G$ with maximum average degree $\bar{d}(G)$ has $χ'_{s}(G)\le (2\bar{d}(G)-1)χ'(G)$. As a corollary, we prove that every 1-planar graph $G$ with maximum degree $Δ$ has $χ'_{\rm s}(G)\le 14Δ$, which improves a result, due to Bensmail et al., which says that $χ'_{\rm s}(G)\le 24Δ$ if $Δ\ge 56$.
title: Hochschulwege 2015: Wie verändern Projekte die Hochschulen?
Creators: name: :None
Publisher: name: tredition GmbH
Year: 2018
Subjects: subject: Hochschule
subject: Hochschulplanung
subject: Projektmanagement
subject: Hochschulentwicklung
subject: Organisationsentwicklung
subject: 000

description: Die in diesem Tagungsband zusammengeführten Beiträge beschäftigen sich mit dem Spannungsfeld, das sich zwischen externen Förderprogrammen, Veränderungsprojekten und den Zielen, Strukturen und Bedingungen der jeweiligen Hochschule ergibt. In diesem Spannungsfeld kommt es unweigerlich zu Reibungen, da vorhandene Strukturen und Ziele in Konflikt mit neuen Vorhaben und Ideen geraten. Ein Teil der Projekte stellt allein durch ihr finanzielles Volumen und die daraus resultierende Wirkkraft die tradierten Verhältnisse zwischen Lehre, Forschung und den wissenschaftsstützenden Bereichen in Frage und teils auf den Kopf. Die leitenden Fragen der Tagung und der hier versammelten Beiträge waren daher: Wie bringen Hochschulen ihre individuellen Ziele mit denen der bundesweiten Programme oder länderspezfifischer Fördermaßnahmen überein? Wie gehen Hochschulen mit ihren Projekten um? Wie vollzieht sich Veränderung an den Hochschulen? Und schließlich: Was bleibt von den Impulsen, die Projekte setzen? Die in diesem Tagungsband versammelten Beiträge geben darauf erste, auf dem bisherigen Erfahrungswissen basierende Antworten. Sie setzen sich intensiv mit den Faktoren auseinander, die den Erfolg von Veränderungsprozessen und Projekten befördern oder behindern können und leiten daraus Empfehlungen für Gestaltungsprozesse an Hochschulen ab.
Models for the Cohomology of Certain Polyhedral Products
Creators: name: Bendersky, Martin
name: Grbić, Jelena
Publisher: name: arXiv
Year: 2022
Subjects: subject: Algebraic Topology (math.AT)
subject: FOS: Mathematics

description: For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$. Along the way, we prove that the integral cohomology $H^*((D^1, S^0)^K; \mathbb Z)$ of the real moment-angle complex is a Tor module, the one that does not come from a geometric setting. We also reveal that the apriori different cup product structures in $H^*((D^1, S^0)^K;\mathbb Z)$ and in $H^*((D^n, S^{n-1})^K; \mathbb Z)$ for $n\geq 2$ have the same origin.
 As an application, this work sets the stage for studying the based loop space of $(\underline{CX}, \underline X)^K$ in terms of the bar construction applied to the differential graded $\mathbb Z$-algebras $B(\mathcal C^*(\underline X; \mathbb Z), K) $ quasi-isomorphic to the singular cochain algebra $\mathcal C^*((\underline{CX},\underline X)^K;\mathbb Z)$.
description: 13 pages
Mimocolliuris philippinensis Anichtchenko & Sciaky 2024
Creators: name: Anichtchenko, Alexander
name: Sciaky, Riccardo
Publisher: name: Zenodo
Year: 2024
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Coleoptera
Carabidae
Mimocolliuris
Mimocolliuris philippinensis

description: Mimocolliuris (s. str.) philippinensis (Donabauer, 1996) comb. nov.
Figure 7
Colliuris philippinensis Donabauer, 1996 Loc. Typ.: Philippinen, Luzon, Olongapo, Subic.
Anacolliuris philippinensis (Donabauer, 1996) (Kirschenhofer, 1996)
Material: 1 ♀: “ Filippine, C Luzon, Norzagaray, Bulacan I.2023 ” (RSc); 1 ♂: idem but II.2023 (RSc).
Distribution. Philippines (Luzon).
Systematic notes: This species was described as Colliuris, but compared in the discussion with the subgenera Essora Liebke, 1933 and Mimocolliuris Liebke, 1938. Later, Kirschenhofer (1996) moved it to the genus Anacolliuris Liebke, 1938. Although in this species there is one unusual character, which is the occurrence of a single pronotal lateral seta instead of 3–4, we think that its correct systematic placement should be within Mimocolliuris. All of the remaining characters fit perfectly with those of this genus and we see no reason to exclude it.
description: Published as part of Anichtchenko, Alexander & Sciaky, Riccardo, 2024, Contribution to the knowledge of the Philippines species of the tribe Odacanthini Laporte, 1834 (Coleoptera: Carabidae), pp. 328-344 in Zootaxa 5493 (4) on page 334, DOI: 10.11646/zootaxa.5493.4.2, http://zenodo.org/record/13330255
Cosmic ray-driven bioenergetics for Life in Molecular Clouds
Creators: name: Feng, Lei
Publisher: name: arXiv
Year: 2022
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Popular Physics (physics.pop-ph)
subject: FOS: Physical sciences

description: According to models such as panspermia or the Nebula-Relay hypothesis, the ancestors of life on Earth once lived in molecular clouds. Then what are the energy source and bioenergetics for such lifeforms? In this paper, we propose a new bioenergetic mechanism powered by cosmic ray ionization of hydrogen molecules and we argue that it may relate to or be the origin of chemiosmosis. Based on this mechanism, we suggest that the Last Universal Common Ancestor is a type of lifeform that utilize hydrogen molecules as donors of electron transport chains.
description: 9 pages, 1 figure
Ostomías – la importancia de conocer y orientar
Creators: name: Alves de Oliveira, João Batista
Publisher: name: Zenodo
Year: 2025
Subjects: Ostomías
Cuidados Paliativos
Educación Salud

description: La ostomía además de ser una solución clínica para muchos casos es también un factor de gran impacto físico, emocional, social y espiritual para el paciente y familiares. Convivir con una ostomía obliga a adaptaciones variadas además de cuidados continuos y la finalidad de este trabajo es hacer una lectura que sensibilice profesionales sanitarios, familiares, cuidadores y pacientes, buscando la mejor calidad de vida.

 

Descargo de responsabilidad

Esta presentación es una interpretación destinada a mejorar la claridad y la comprensión de las ideas expresadas. No sustituye al asesoramiento profesional, médico o jurídico de cada paciente. La información contenida en el texto no debe considerarse como consejo médico, diagnóstico o tratamiento. Para obtener información precisa y pertinente a sus necesidades individuales, se recomienda encarecidamente buscar el asesoramiento de profesionales cualificados y con experiencia en los campos correspondientes. No asumimos responsabilidad alguna por las medidas adoptadas sobre la base del contenido de este texto.