cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
General notions of indexability for queueing control and asset management
Creators: name: Glazebrook, Kevin D.
name: Hodge, David J.
name: Kirkbride, Chris
Publisher: name: arXiv
Year: 2012
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: We develop appropriately generalized notions of indexability for problems of dynamic resource allocation where the resource concerned may be assigned more flexibility than is allowed, for example, in classical multi-armed bandits. Most especially we have in mind the allocation of a divisible resource (manpower, money, equipment) to a collection of objects (projects) requiring it in cases where its over-concentration would usually be far from optimal. The resulting project indices are functions of both a resource level and a state. They have a simple interpretation as a fair charge for increasing the resource available to the project from the specified resource level when in the specified state. We illustrate ideas by reference to two model classes which are of independent interest. In the first, a pool of servers is assigned dynamically to a collection of service teams, each of which mans a service station. We demonstrate indexability under a natural assumption that the service rate delivered is increasing and concave in the team size. The second model class is a generalization of the spinning plates model for the optimal deployment of a divisible investment resource to a collection of reward generating assets. Asset indexability is established under appropriately drawn laws of diminishing returns for resource deployment. For both model classes numerical studies provide evidence that the proposed greedy index heuristic performs strongly.
description: Published in at http://dx.doi.org/10.1214/10-AAP705 the Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Lignocellulosic Biomasses from Agricultural Wastes Improved the Quality and Physicochemical Properties of Frying Oils
Creators: name: Ahmed, Eman
name: Zeitoun, Ashraf
name: Hamad, Gamal
name: Zeitoun, Mohamed A. M.
name: Taha, Ahmed
name: Korma, Sameh A.
name: Esatbeyoglu, Tuba
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: fried oil
subject: adsorbent
subject: lignocellulosic biomass
subject: fatty acid
subject: food waste
subject: oil regeneration
subject: oil quality
subject: sustainability
subject: Dewey Decimal Classification::600 | Technik::630 | Landwirtschaft, Veterinärmedizin
subject: Dewey Decimal Classification::600 | Technik::640 | Hauswirtschaft und Familienleben

description: In this work, the effects of using natural lignocellulosic-based adsorbents from sugarcane bagasse (SC), cornstalk piths (CP), and corn cob (CC) on the physicochemical properties and quality of fried oils were studied. The properties of lignocellulosic biomasses were examined using X-ray diffraction (XRD), scanning electron microscope (SEM), and Fourier transform infrared spectroscopy (FTIR). Moreover, the changes in the physicochemical properties of fresh, fried oils (for 4, 8, 12, 16 and 20 h) and adsorbents-treated oils were examined. The XRD results revealed that SC and CP biomasses have more amorphous regions than CC biomass, which had the highest crystallinity percentage. The results also showed that lignocellulosic biomasses enhanced the quality of the used oils. SC was the most effective biomass to enhance the properties of the used sunflower oil. For instance, the acid value of oil samples fried for 20 h reduced from 0.63 ± 0.02 to 0.51 ± 0.02 mg KOH/g oil after SC biomass treatment. For the peroxide value, the SC biomass treatment reduced it from 9.45 ± 0.56 (fried oil for 20 h) to 6.91 ± 0.12 meq O2/kg. Similarly, SC biomass adsorbent reduced the p-Anisidine Value (p-AV) of the used oil (20 h) from 98.45 ± 6.31 to 77.92 ± 3.65. Moreover, SC adsorbents slightly improved the lightness of the used oils (20 h). In conclusion, natural lignocellulosic biomasses, particularly SC, could be utilized as natural adsorbents to improve the oil quality. The results obtained from this study could help in developing sustainable methods to regenerate used oils using natural and cheap adsorbents.
Right-angled Artin groups as normal subgroups of mapping class groups
Creators: name: Clay, Matt
name: Mangahas, Johanna
name: Margalit, Dan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Geometric Topology (math.GT)
subject: Group Theory (math.GR)
subject: FOS: Mathematics
subject: 57K20 57M07 20F65

description: We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara.
description: 40 pages, 8 figures; v2: incorporates comments from referee; v3: minor edits, final version
Additional file 3 of Transcriptomic alterations underlying metaplasia into specific metaplastic components in metaplastic breast carcinoma
Creators: name: Lien, Huang-Chun
name: Hsu, Chia-Lang
name: Lu, Yen-Shen
name: Chen, Tom Wei-Wu
name: Chen, I.-Chun
name: Li, Yu-Chia
name: Huang, Chiun-Sheng
name: Cheng, Ann-Lii
name: Lin, Ching-Hung
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 3. Fig. S3: Differentially expressed genes between NST components with and without nodal metastasis and their impact on survival.
Even cycles and perfect matchings in claw-free plane graphs
Creators: name: Zhang, Shanshan
name: Wang, Xiumei
name: Yuan, Jinjiang
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C70

description: Lov{á}sz showed that a matching covered graph $G$ has an ear decomposition starting with an arbitrary edge of $G$. Let $G$ be a graph which has a perfect matching. We call $G$ cycle-nice if for each even cycle $C$ of $G$, $G-V(C)$ has a perfect matching. If $G$ is a cycle-nice matching covered graph, then $G$ has ear decompositions starting with an arbitrary even cycle of $G$. In this paper, we characterize cycle-nice claw-free plane graphs. We show that the only cycle-nice simple 3-connected claw-free plane graphs are $K_4$, $W_5$ and $\overline C_6$. Furthermore, every cycle-nice 2-connected claw-free plane graph can be obtained from a graph in the family ${\cal F}$ by a sequence of three types of operations, where ${\cal F}$ consists of even cycles, a diamond, $K_4$, and $\overline C_6$.
description: 12 pages
Additional file 4 of Adaptation of the Australian Palliative Care Phase concept to the German palliative care context: a mixed-methods approach using cognitive interviews and cross-sectional data
Creators: name: Lehmann, Eva
name: Hodiamont, Farina
name: Landmesser, Mirjam
name: Knobloch, Carina S.
name: Nauck, Friedemann
name: Ostgathe, Christoph
name: Grüne, Bettina
name: Bausewein, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 4. German version of palliative care phase definitions
title: COSMO Technical Report No. 15: COSMO Priority Project “Tackle deficiencies in quantitative precipitation forecast (QPF)”: Final Report
Creators: name: Dierer, S.
name: Arpagaus, M.
name: Damrath, U.
name: Seifert, A.
name: Avgoustoglou, E.
name: Andreadis, T.
name: Baldauf, M.
name: Dumitrache, R.
name: Fragkouli, V.
name: Grazzini, F.
name: Interewicz, W.
name: Louka, P.
name: Mercogliano, P.
name: Mezzasalma, P.
name: Milelli, M.
name: Mironov, D.
name: Morgillo, A.
name: Oberto, E.
name: Parodi, A.
name: Pescaru, I. V.
name: Pflüger, U.
name: Schubiger, F.
name: Starosta, K.
name: Tesini, M. S.
Publisher: name: Deutscher Wetterdienst
Year: 2009

description: The Technical Reports are intended mainly for internal use within the COSMO group (COSMO = Consortium for Small Scale Modeling), but also to inform other groups on model changes and research activities. The purpose of the Technical Reports is 1. to document scientific research activities, 2. to document technical changes to the model system, 3. to give an overview on new components of the model system.
Comparison Study of Classification Model for Forest Cover Type Prediction
Creators: name: Lingqi Meng
Publisher: name: The University of North Carolina at Chapel Hill University Libraries
Year: 2019

description: Forest is one of the most important natural resource that correlate to biodiversity, climate, geochemical aspect. Forest cover type is a dominant kind of tree cover in certain area. This study is addressing a multiclass classification problem of forest cover type via supervised learning method. The cartographic feature of forest will be retrieved from dataset of Roosevelt National forest. There exist seven types of trees and fifty-five environmental features in the area. Six machine learning models, K-NN, linearSVC, logisticRegression, GaussianNB, DecisionTree and RandomForest classifier are implemented and compared. K-NN algorithm gains the best prediction accuracy and best overall performance over all the classes.
Experimental Investigation on the Use of a PEI Foam as Core Material for the In-Situ Production of Thermoplastic Sandwich Structures Using Laser-Based Thermoplastic Automated Fiber Placement
Creators: name: Denkena, Berend
name: Schmidt, Carsten
name: Schmitt, Christopher
name: Kaczemirzk, Maximilian
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: thermoplastic automated fiber placement
subject: thermoplastic sandwich composites
subject: PEI foam
subject: additive manufacturing
subject: VCSEL
subject: in-situ
subject: Dewey Decimal Classification::600 | Technik

description: Laser-based thermoplastic automated fiber placement (TAFP) is nowadays mainly used to produce pure carbon fiber-reinforced plastic (CFRP) structures. This paper investigates the feasibility of a novel application: The deposition of thermoplastic prepreg tapes onto a thermoplastic foam for the production of thermoplastic sandwich structures. Therefore, simple deposition experiments of thermoplastic PEEK/CF prepreg tapes on a PEI closed-cell foam were carried out. 3D surface profile measurements and peel tests according to DIN EN 28510-1 standard were used to investigate the joining area and bonding quality. The results show that a cohesive bond is formed between the deposited tapes and the foam core, however the foam structure in the area of the deposited tapes deforms in dependence of the process parameters, and increasingly with higher deposition temperatures. Due to the deformations that occur during tape deposition, the thermomechanical foam behavior under the TAFP process conditions was investigated in more detail in a subsequent study for an extensive parameter space using a simple experimental setup. Results show that for suitable process parameters, namely a short contact time and a high temperature, the foam deformation can be minimized with the simultaneous formation of a thin melting layer required for cohesive bonding. The inner foam core structure remains unaffected.
The relationship between semi-classical Laguerre polynomials and the fourth Painlevé equation
Creators: name: Clarkson, Peter A.
name: Jordaan, Kerstin
Publisher: name: arXiv
Year: 2013
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 34M55, 33E17, 33C47

description: We discuss the relationship between the recurrence coefficients of orthogonal polynomials with respect to a semi-classical Laguerre weight and classical solutions of the fourth Painlevé equation. We show that the coefficients in these recurrence relations can be expressed in terms of Wronskians of parabolic cylinder functions which arise in the description of special function solutions of the fourth Painlevé equation.
description: 23 pages
Criteria for periodicity and an application to elliptic functions
Creators: name: de Shalit, Ehud
Publisher: name: arXiv
Year: 2020
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 12H10, 39A10

description: Let P and Q be relatively prime integers greater than 1, and f a real valued discretely supported function on a finite dimensional real vector space V. We prove that if f_{P}(x)=f(Px)-f(x) and f_{Q}(x)=f(Qx)-f(x) are both Λ-periodic for some lattice Λ\subset V, then so is f (up to a modification at 0). This result is used to prove a theorem on the arithmetic of elliptic function fields. In the last section we discuss the higher rank analogue of this theorem and explain why it fails in rank 2. A full discussion of the higher rank case will appear in a forthcoming work.
description: 9 pages
Additional file 4 of Transcriptomic alterations underlying metaplasia into specific metaplastic components in metaplastic breast carcinoma
Creators: name: Lien, Huang-Chun
name: Hsu, Chia-Lang
name: Lu, Yen-Shen
name: Chen, Tom Wei-Wu
name: Chen, I.-Chun
name: Li, Yu-Chia
name: Huang, Chiun-Sheng
name: Cheng, Ann-Lii
name: Lin, Ching-Hung
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 4. Table S1: The treatment and outcome of the patients.
Annihilator varieties of distinguished modules of reductive Lie algebras
Creators: name: Gourevitch, Dmitry
name: Sayag, Eitan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 20G05, 22E46, 22E47, 22E45

description: We provide a micro-local necessary condition for distinction of admissible representations of real reductive groups in the context of spherical pairs. Let $\bf G$ be a complex algebraic reductive group, and $\bf H\subset G$ be a spherical algebraic subgroup. Let $\mathfrak{g},\mathfrak{h}$ denote the Lie algebras of $\bf G$ and $\bf H$, and let $\mathfrak{h}^{\bot}$ denote the annihilator of $\mathfrak{h}$ in $\mathfrak{g}^*$. A $\mathfrak{g}$-module is called $\mathfrak{h}$-distinguished if it admits a non-zero $\mathfrak{h}$-invariant functional. We show that the maximal $\bf G$-orbit in the annihilator variety of any irreducible $\mathfrak{h}$-distinguished $\mathfrak{g}$-module intersects $\mathfrak{h}^{\bot}$. This generalizes a result of Vogan. We apply this to Casselman-Wallach representations of real reductive groups to obtain information on branching problems, translation functors and Jacquet modules. Further, we prove in many cases that as suggested by Prasad, if $H$ is a symmetric subgroup of a real reductive group $G$, the existence of a tempered $H$-distinguished representation of $G$ implies the existence of a generic $H$-distinguished representation of $G$. Many models studied in the theory of automorphic forms involve an additive character on the unipotent radical of $\bf H$, and we devised a twisted version of our theorem that yields necessary conditions for the existence of those mixed models. Our method of proof here is inspired by the theory of W-algebras. As an application we derive necessary conditions for the existence of Rankin-Selberg, Bessel, Klyachko and Shalika models. Our results are compatible with the recent Gan-Gross-Prasad conjectures for non-generic representations. We also prove more general results that ease the sphericity assumption on the subgroup, and apply them to local theta correspondence in type II and to degenerate Whittaker models.
description: 33p. v3: added results for non-spherical subgroups, and applications to local theta correspondence in type II and to degenerate Whittaker models. Also added an appendix by Ido Karshon. v4: minor corrections in the proof of Theorem B and the generality of Theorem 9.2
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Creators: name: Bulychev, Peter
name: David, Alexandre
name: Larsen, Kim Gulstrand
name: Mikučionis, Marius
name: Poulsen, Danny Bøgsted
name: Legay, Axel
name: Wang, Zheng
Publisher: name: arXiv
Year: 2012
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In particular, uppaalsmc relies on a series of extensions of the statistical model checking approach generalized to handle real-time systems and estimate undecidable problems. uppaalsmc comes together with a friendly user interface that allows a user to specify complex problems in an efficient manner as well as to get feedback in the form of probability distributions and compare probabilities to analyze performance aspects of systems. The focus of the survey is on the evolution of the tool - including modeling and specification formalisms as well as techniques applied - together with applications of the tool to case studies.
description: In Proceedings QAPL 2012, arXiv:1207.0559
A Double Exponential Lower Bound for the Distinct Vectors Problem
Creators: name: Pilipczuk, Marcin
name: Sorge, Manuel
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Complexity (cs.CC)
subject: Discrete Mathematics (cs.DM)
subject: FOS: Computer and information sciences

description: In the (binary) Distinct Vectors problem we are given a binary matrix A with pairwise different rows and want to select at most k columns such that, restricting the matrix to these columns, all rows are still pairwise different. A result by Froese et al. [JCSS] implies a 2^2^(O(k)) * poly(|A|)-time brute-force algorithm for Distinct Vectors. We show that this running time bound is essentially optimal by showing that there is a constant c such that the existence of an algorithm solving Distinct Vectors with running time 2^(O(2^(ck))) * poly(|A|) would contradict the Exponential Time Hypothesis.
Additional file 5 of Adaptation of the Australian Palliative Care Phase concept to the German palliative care context: a mixed-methods approach using cognitive interviews and cross-sectional data
Creators: name: Lehmann, Eva
name: Hodiamont, Farina
name: Landmesser, Mirjam
name: Knobloch, Carina S.
name: Nauck, Friedemann
name: Ostgathe, Christoph
name: Grüne, Bettina
name: Bausewein, Claudia
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 5. Australian Palliative Care Phase definitions.
Plague Dot Text: Text mining and annotation of outbreak reports of the Third Plague Pandemic (1894-1952)
Creators: name: Casey, Arlene
name: Bennett, Mike
name: Tobin, Richard
name: Grover, Claire
name: Walker, Iona
name: Engelmann, Lukas
name: Alex, Beatrice
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: The design of models that govern diseases in population is commonly built on information and data gathered from past outbreaks. However, epidemic outbreaks are never captured in statistical data alone but are communicated by narratives, supported by empirical observations. Outbreak reports discuss correlations between populations, locations and the disease to infer insights into causes, vectors and potential interventions. The problem with these narratives is usually the lack of consistent structure or strong conventions, which prohibit their formal analysis in larger corpora. Our interdisciplinary research investigates more than 100 reports from the third plague pandemic (1894-1952) evaluating ways of building a corpus to extract and structure this narrative information through text mining and manual annotation. In this paper we discuss the progress of our ongoing exploratory project, how we enhance optical character recognition (OCR) methods to improve text capture, our approach to structure the narratives and identify relevant entities in the reports. The structured corpus is made available via Solr enabling search and analysis across the whole collection for future research dedicated, for example, to the identification of concepts. We show preliminary visualisations of the characteristics of causation and differences with respect to gender as a result of syntactic-category-dependent corpus statistics. Our goal is to develop structured accounts of some of the most significant concepts that were used to understand the epidemiology of the third plague pandemic around the globe. The corpus enables researchers to analyse the reports collectively allowing for deep insights into the global epidemiological consideration of plague in the early twentieth century.
description: Journal of Data Mining & Digital Humanities 2021
A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes
Creators: name: Danner, Julian
name: Kreuzer, Martin
Publisher: name: arXiv
Year: 2020
Subjects: subject: Information Theory (cs.IT)
subject: Algebraic Geometry (math.AG)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: E.3
subject: 94A60, 14G50

description: A fault injection framework for the decryption algorithm of the Niederreiter public-key cryptosystem using binary irreducible Goppa codes and classical decoding techniques is described. In particular, we obtain low-degree polynomial equations in parts of the secret key. For the resulting system of polynomial equations, we present an efficient solving strategy and show how to extend certain solutions to alternative secret keys. We also provide estimates for the expected number of required fault injections, apply the framework to state-of-the-art security levels, and propose countermeasures against this type of fault attack.
description: 20 pages
Non-equilibrium critical relaxation of the 3D Heisenberg magnets with long-range correlated disorder
Creators: name: Prudnikov, Pavel V.
name: Medvedeva, Maria A.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Monte Carlo simulations of the short-time dynamic behavior are reported for three-dimensional Heisenberg model with long-range correlated disorder at criticality, in the case corresponding to linear defects. The static and dynamic critical exponents are determined for systems starting from an ordered initial state. The obtained values of the exponents are in a good agreement with results of the field-theoretic description of the critical behavior of this model in the two-loop approximation.
description: 14 PTPTeX pages, 10 figures. arXiv admin note: substantial text overlap with arXiv:0709.0997, arXiv:1005.5218
Combinatorial proofs of two theorems of Lutz and Stull
Creators: name: Orponen, Tuomas
Publisher: name: arXiv
Year: 2020
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Computational Complexity (cs.CC)
subject: Metric Geometry (math.MG)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: 28A80 (primary), 28A78 (secondary)

description: Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatorial-geometric arguments, such as discretised versions of Kaufman's "potential theoretic" method, the pigeonhole principle, and a lemma of Katz and Tao. A secondary purpose is to slightly generalise Lutz and Stull's theorems: the versions in this paper apply to orthogonal projections to $m$-planes in $\mathbb{R}^{n}$, for all $0 < m < n$.
description: 11 pages. v2: Incorporated referee suggestions
Zwei eisenzeitliche Hofstellen bei Bad Wünnenberg
Creators: name: Messerschmidt, Wolfgang
name: Spiong, Sven
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Antikes Fundgut aus Schuttern. Beitrag zur Frage einer römerzeitlichen Vorbesiedlung
Creators: name: Marzolff, Peter
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 35 (2015): Fundberichte aus Baden-Württemberg
Spätbronzezeitliches Gräberfeld und kaiserzeitliche Siedlung in Legden-Haulingort
Creators: name: Jöns, Ines
name: Kunze, Felix
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
On wide Aronszajn trees in the presence of MA
Creators: name: Džamonja, Mirna
name: Shelah, Saharon
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03E05, 03E35, 03E50

description: A wide Aronszajn tree is a tree of size and height $ω_1$ with no uncountable branches. We prove that under $MA(ω_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and Väänänen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todorčevi{ć} from 2007 who proved the same under the assumption of BPFA for posets of size $\aleph_1$. Finally, we prove that under $MA(ω_1)$, every wide Aronszajn tree weakly embeds in an Aronszajn tree.
description: This is the author's final version of the paper accepted by publication by the Journal of Symbolic Logic
Additional file 7 of Transcriptomic alterations underlying metaplasia into specific metaplastic components in metaplastic breast carcinoma
Creators: name: Lien, Huang-Chun
name: Hsu, Chia-Lang
name: Lu, Yen-Shen
name: Chen, Tom Wei-Wu
name: Chen, I.-Chun
name: Li, Yu-Chia
name: Huang, Chiun-Sheng
name: Cheng, Ann-Lii
name: Lin, Ching-Hung
Publisher: name: figshare
Year: 2023
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 7. Table S4: List of log2 fold changes of the BC360-defined signatures and genes of the NST versus paired metaplastic components.
Additional file 1 of South African traditional values and beliefs regarding informed consent and limitations of the principle of respect for autonomy in African communities: a cross-cultural qualitative study
Creators: name: Akpa-Inyang, Francis
name: Chima, Sylvester C.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Interview guide. Original interview guide used for in-depth interviews.
On Wald entropy of black holes: logarithmic corrections and trace anomaly
Creators: name: Aros, R
name: Diaz, D E
name: Montecinos, A
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Quantum effects due to conformal matter in a black hole background result in universal logarithmic corrections to black-hole entropy. The universality resides in the connection of the log term coefficient with those of type-A and type-B Weyl anomalies, regularization-scheme independent quantities. We presently study the case of extremal black holes within Wald's Noether charge formalism. In the conformal class of flat metrics, we are again able to unveil the log term in the entropy from the horizon value of the solution to the Q-curvature uniformization problem. Beyond conformally flat backgrounds, type-B Weyl anomaly becomes an obstruction to considering flat space as the fiducial metric and the search for a metric of constant Q-curvature remains open. Notwithstanding, by a uniform scaling argument we show that the results based on heat kernel and euclidean computations (namely entropy function and conical defect) can also be derived as Wald entropy, that is, as Noether charge of the integrated anomaly or conformal index. We finally comment on the relation with entanglement entropy.
description: 10 pages, minor changes
Fun for life – designerly opportunities for lifetime extension in toys
Creators: name: Du Bois, Els
name: Veelaert, Lore
name: Vermeesch, Brecht
name: Zelck, Sander
name: Van Gogh, Dirk
Publisher: name: Technische Universität Berlin
Year: 2021
Subjects: subject: 500 Naturwissenschaften und Mathematik
subject: 600 Technik, Technologie
subject: 300 Sozialwissenschaften
subject: product lifetime extension
subject: toys
subject: design education

description: In order to broaden our understanding of product lifetimes in support of a circular economy, within this research, we focused on toys, which unfortunately often have a relative short lifetime of 3-4 years according to several studies. In addition to the huge amounts of toys that are discarded, another reason for focusing on toys is that while using toys, i.e. playing, children are influenced, generate certain behaviors and retrieve many values and norms. Consequently, toys with short lifetime might teach kids that it is normal that things are frequently replaced without questioning the value. Being in the transition towards a circular economy it is crucial to change people's behavior, so it is of large importance to consider children's environment as well. The aim of the research was to define designerly opportunities for extending the lifetime of toys. The research was done by means of an education-oriented approach in which an exploration was done to investigate and evaluate potentials for design-driven innovation to increase product lifetimes of toys. The resulting concepts that were generated by the students were categorized through a survey based on various criteria as well as semantically organized in categories. Next the results were discussed with a selection of experts. The concluding concepts were mostly tackling lifetime shortness by focusing on emotional value and the opportunity to grow, in addition to the technical maintenance and repair possibilities. To enlarge or convey values and norms, most concepts focused on the connectability of different types of toys as well as concepts that aim to inspire children related to understanding nature, and taking care of the environment.
Supplementary Content for Meta-analysis titled "Prevalence of antidiabetic medication non-adherence in low resource country Nepal: Systematic Review and Meta-analysis."
Creators: name: Pandey, Asim
Publisher: name: figshare
Year: 2025
Subjects: classificationCode: 420207
subject: Major global burdens of disease

description: This is a meta-analysis supplementary content that focuses on finding out the prevalence od antidiabetic medication non-adherence in low resource country Nepal.
neue eisenzeitliche Siedlung in Lemgo, Kleiner Schratweg – Befunde, Funde und Umfeld
Creators: name: Sicherl, Bernhard
name: Bohm, Steffen
Publisher: name: Archäologie in Westfalen-Lippe
Year: 2022

description: .
description: Archäologie in Westfalen-Lippe, ARCHÄOLOGIE IN WESTFALEN-LIPPE 2020 (2021)
Relating Apartness and Bisimulation
Creators: name: Geuvers, Herman
name: Jacobs, Bart
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences
subject: D.2.4; D.3.1; F.3.1

description: A bisimulation for a coalgebra of a functor on the category of sets can be described via a coalgebra in the category of relations, of a lifted functor. A final coalgebra then gives rise to the coinduction principle, which states that two bisimilar elements are equal. For polynomial functors, this leads to well-known descriptions. In the present paper we look at the dual notion of "apartness". Intuitively, two elements are apart if there is a positive way to distinguish them. Phrased differently: two elements are apart if and only if they are not bisimilar. Since apartness is an inductive notion, described by a least fixed point, we can give a proof system, to derive that two elements are apart. This proof system has derivation rules and two elements are apart if and only if there is a finite derivation (using the rules) of this fact. We study apartness versus bisimulation in two separate ways. First, for weak forms of bisimulation on labelled transition systems, where silent (tau) steps are included, we define an apartness notion that corresponds to weak bisimulation and another apartness that corresponds to branching bisimulation. The rules for apartness can be used to show that two states of a labelled transition system are not branching bismilar. To support the apartness view on labelled transition systems, we cast a number of well-known properties of branching bisimulation in terms of branching apartness and prove them. Next, we also study the more general categorical situation and show that indeed, apartness is the dual of bisimilarity in a precise categorical sense: apartness is an initial algebra and gives rise to an induction principle. In this analogy, we include the powerset functor, which gives a semantics to non-deterministic choice in process-theory.
Structural Performance of Additively Manufactured Cylinder Liner—A Numerical Study
Creators: name: Alshwawra, Ahmad
name: Abo Swerih, Ahmad
name: Sakhrieh, Ahmad
name: Dinkelacker, Friedrich
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: additive manufacturing
subject: additively manufactured cylinder liner
subject: finite element method
subject: engine design
subject: thermal deformation
subject: cylinder liner
subject: internal combustion engine
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: Climate change is exacerbated by vehicle emissions. Furthermore, vehicle pollution contributes to respiratory and cardiopulmonary diseases, as well as lung cancer. This requires a drastic reduction in global greenhouse gas emissions for the automobile industry. To address this issue, researchers are required to reduce friction, which is one of the most important aspects of improving the efficiency of internal combustion engines. One of the most important parts of an engine that contributes to friction is the piston ring cylinder liner (PRCL) coupling. Controlling the linear deformation enhances the performance of the engine and, as a result, contributes positively to its performance. The majority of the tests to study the conformability between cylinder liner and piston were carried out on cylinder liners made of cast iron. It is possible to improve the performance of piston ring cylinder liner couplings by implementing new and advanced manufacturing techniques. In this work, a validated finite element model was used to simulate the performance when advanced manufactured materials were adapted. The deformation of the cylinder liner due to thermal and mechanical loads is simulated with five different additive manufactured materials (Inconel 625, Inconel 718, 17-4PH stainless steel, AlSi10Mg, Ti6Al4V). Simulated roundness and straightness errors, as well as maximum deformation, are compared with conventional grey cast iron liner deformation. Some additive manufactured materials, especially Ti6Al4V, show a significant reduction in deformation compared to grey cast iron, both in bore and circumferential deformation. Results show that Ti6Al4V can reduce maximum liner deformation by 36%. In addition, the roundness improved by 36%. The straightness error when Ti6Al4V was used also improved by 44% on one side, with an average of 20% over the four sides. Numerical results indicate that additive manufactured materials have the potential to reduce friction within the piston liner arrangement of internal combustion engines.
Additional file 1 of Designing and development of multi-epitope chimeric vaccine against Helicobacter pylori by exploring its entire immunogenic epitopes: an immunoinformatic approach
Creators: name: Keshri, Anand K.
name: Kaur, Rimanpreet
name: Rawat, Suraj S.
name: Arora, Naina
name: Pandey, Rajan K.
name: Kumbhar, Bajarang V.
name: Mishra, Amit
name: Tripathi, Shweta
name: Prasad, Amit
Publisher: name: figshare
Year: 2023
Subjects: subject: Immunology
subject: FOS: Clinical medicine

description: Additional file 1. Supplementary figures and tables.
Theories of real addition with and without a predicate for integers
Creators: name: Bès, Alexis
name: Choffrut, Christian
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by obtaining a topological characterization of $\langle \mathbb{R}, +,<, 1 \rangle$-definable relations in the family of $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$-definable relations and then by following Muchnik's approach of showing that the characterization of the relation $X$ can be expressed in the logic of $\langle \mathbb{R}, +,<,1, X \rangle$. The above characterization allows us to prove that there is no intermediate structure between $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ and $\langle \mathbb{R}, +,<, 1 \rangle$. We also show that a $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$-definable relation is $\langle \mathbb{R}, +,<, 1 \rangle$-definable if and only if its intersection with every $\langle \mathbb{R}, +,<, 1 \rangle$-definable line is $\langle \mathbb{R}, +,<, 1 \rangle$-definable. This gives a noneffective but simple characterization of $\langle \mathbb{R}, +,<, 1 \rangle$-definable relations.
Additional file 2 of South African traditional values and beliefs regarding informed consent and limitations of the principle of respect for autonomy in African communities: a cross-cultural qualitative study
Creators: name: Akpa-Inyang, Francis
name: Chima, Sylvester C.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 2. COREQ checklist.
Additional file 3 of South African traditional values and beliefs regarding informed consent and limitations of the principle of respect for autonomy in African communities: a cross-cultural qualitative study
Creators: name: Akpa-Inyang, Francis
name: Chima, Sylvester C.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Genetics
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: Science Policy
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 3. Informed consent documents for participants.
Numerical Study on Planning Inductive Charging Infrastructures for Electric Service Vehicles on Airport Aprons
Creators: name: Pöch, Niklas
name: Nozinski, Inka
name: Broihan, Justine
name: Helber, Stefan
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: dynamic wireless charging
subject: electric vehicles
subject: airport apron
subject: airport infrastructure planning
subject: electric busses
subject: Dewey Decimal Classification::600 | Technik::620 | Ingenieurwissenschaften und Maschinenbau

description: Dynamic inductive charging is a contact-free technology to provide electric vehicles with energy while they are in motion, thus eliminating the need to conductively charge the batteries of those vehicles and, hence, the required vehicle downtimes. Airport aprons of commercial airports are potential systems to employ this charging technology to reduce aviation-induced CO2 emissions. To date, many vehicles operating on airport aprons are equipped with internal combustion engines burning diesel fuel, hence contributing to CO2 emissions and the global warming problem. However, airport aprons exhibit specific features that might make dynamic inductive charging technologies particularly interesting. It turns out that using this technology leads to some strategic infrastructure design questions for airport aprons about the spatial allocation of the required system components. In this paper, we experimentally analyze these design questions to explore under which conditions we can expect the resulting mathematical optimization problems to be relatively hard or easy to be solved, respectively, as well as the achievable solution quality. To this end, we report numerical results on a large-scale numerical study reflecting different types of spatial structures of terminals and airport aprons as they can be found at real-world airports.
title: COSMO Technical Report No. 14: COSMO Priority Project “Further Developments of the Runge-Kutta Time Integration Scheme (RK)”: Final Report
Creators: name: Baldauf, M.
name: Ceci, G.
name: Förstner, J.
name: Fuhrer, O.
name: Gassmann, A.
name: Herzog, H-J.
name: de Morsier, G.
name: Reinhardt, T.
name: Rivin, G.
name: Torrisi, L.
name: Vitagliano, P.L.
name: Zängl, G.
Publisher: name: Deutscher Wetterdienst
Year: 2009

description: The Technical Reports are intended mainly for internal use within the COSMO group (COSMO = Consortium for Small Scale Modeling), but also to inform other groups on model changes and research activities. The purpose of the Technical Reports is 1. to document scientific research activities, 2. to document technical changes to the model system, 3. to give an overview on new components of the model system.
Occurrence and potential mechanism of holin-mediated non-lytic protein translocation in bacteria
Creators: name: Brüser, Thomas
name: Mehner-Breitfeld, Denise
Publisher: name: Graz : Shared Science Publ.
Year: 2022
Subjects: subject: holins
subject: endolysins
subject: toxins
subject: Tat transport
subject: bacteriocins
subject: clostridia
subject: Dewey Decimal Classification::500 | Naturwissenschaften::570 | Biowissenschaften, Biologie

description: Holins are generally believed to generate large membrane lesions that permit the passage of endolysins across the cytoplasmic membrane of prokaryotes, ultimately resulting in cell wall degradation and cell lysis. However, there are more and more examples known for non-lytic holin-dependent secretion of proteins by bacteria, indicating that holins somehow can transport proteins without causing large membrane lesions. Phage-derived holins can be used for a non-lytic endolysin translocation to permeabilize the cell wall for the passage of secreted proteins. In addition, clostridia, which do not possess the Tat pathway for transport of folded proteins, most likely employ non-lytic holin-mediated transport also for secretion of toxins and bacteriocins that are incompatible with the general Sec pathway. The mechanism for non-lytic holin-mediated transport is unknown, but the recent finding that the small holin TpeE mediates a non-lytic toxin secretion in Clostridium perfringens opened new perspectives. TpeE contains only one short transmembrane helix that is followed by an amphipathic helix, which is reminiscent of TatA, the membrane-permeabilizing component of the Tat translocon for folded proteins. Here we review the known cases of non-lytic holin-mediated transport and then focus on the structural and functional comparison of TatA and TpeE, resulting in a mechanistic model for holin-mediated transport. This model is strongly supported by a so far not recognized naturally occurring holin-endolysin fusion protein.
Collaboration vs. choreography conformance in BPMN
Creators: name: Corradini, Flavio
name: Morichetta, Andrea
name: Polini, Andrea
name: Re, Barbara
name: Tiezzi, Francesco
Publisher: name: arXiv
Year: 2020
Subjects: subject: Software Engineering (cs.SE)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system. This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners.
Additional file 1 of Management of COVID-19-related challenges faced by EMS personnel: a qualitative study
Creators: name: Mohammadi, Fateme
name: Tehranineshat, Banafsheh
name: Bijani, Mostafa
name: Khaleghi, Ali Asghar
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Science Policy

description: Additional file 1. Interview Guide and Question.