cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Complexity Hierarchies and Higher-order Cons-free Term Rewriting
Creators: name: Kop, Cynthia
name: Simonsen, Jakob Grue
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Constructor rewriting systems are said to be cons-free if, roughly, constructor terms in the right-hand sides of rules are subterms of the left-hand sides; the computational intuition is that rules cannot build new data structures. In programming language research, cons-free languages have been used to characterize hierarchies of computational complexity classes; in term rewriting, cons-free first-order TRSs have been used to characterize the class PTIME. We investigate cons-free higher-order term rewriting systems, the complexity classes they characterize, and how these depend on the type order of the systems. We prove that, for every K $\geq$ 1, left-linear cons-free systems with type order K characterize E$^K$TIME if unrestricted evaluation is used (i.e., the system does not have a fixed reduction strategy). The main difference with prior work in implicit complexity is that (i) our results hold for non-orthogonal term rewriting systems with no assumptions on reduction strategy, (ii) we consequently obtain much larger classes for each type order (E$^K$TIME versus EXP$^{K-1}$TIME), and (iii) results for cons-free term rewriting systems have previously only been obtained for K = 1, and with additional syntactic restrictions besides cons-freeness and left-linearity. Our results are among the first implicit characterizations of the hierarchy E = E$^1$TIME $\subsetneq$ E$^2$TIME $\subsetneq$ ... Our work confirms prior results that having full non-determinism (via overlapping rules) does not directly allow for characterization of non-deterministic complexity classes like NE. We also show that non-determinism makes the classes characterized highly sensitive to minor syntactic changes like admitting product types or non-left-linear rules.
description: extended version of a paper submitted to FSCD 2016. arXiv admin note: substantial text overlap with arXiv:1604.08936
Additional file 4 of Baloxavir safety and clinical and virologic outcomes in influenza virus-infected pediatric patients by age group: age-based pooled analysis of two pediatric studies conducted in Japan
Creators: name: Hirotsu, Nobuo
name: Sakaguchi, Hiroki
name: Fukao, Keita
name: Kojima, Satoshi
name: Piedra, Pedro A.
name: Tsuchiya, Kenji
name: Uehara, Takeki
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 4: Table S3. Adverse events occurring in ≥2% of patients in any age group (safety population).
Disjoint-union partial algebras
Creators: name: Hirsch, Robin
name: McLean, Brett
Publisher: name: arXiv
Year: 2016
Subjects: subject: Rings and Algebras (math.RA)
subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: Disjoint union is a partial binary operation returning the union of two sets if they are disjoint and undefined otherwise. A disjoint-union partial algebra of sets is a collection of sets closed under disjoint unions, whenever they are defined. We provide a recursive first-order axiomatisation of the class of partial algebras isomorphic to a disjoint-union partial algebra of sets but prove that no finite axiomatisation exists. We do the same for other signatures including one or both of disjoint union and subset complement, another partial binary operation we define. Domain-disjoint union is a partial binary operation on partial functions, returning the union if the arguments have disjoint domains and undefined otherwise. For each signature including one or both of domain-disjoint union and subset complement and optionally including composition, we consider the class of partial algebras isomorphic to a collection of partial functions closed under the operations. Again the classes prove to be axiomatisable, but not finitely axiomatisable, in first-order logic. We define the notion of pairwise combinability. For each of the previously considered signatures, we examine the class isomorphic to a partial algebra of sets/partial functions under an isomorphism mapping arbitrary suprema of pairwise combinable sets to the corresponding disjoint unions. We prove that for each case the class is not closed under elementary equivalence. However, when intersection is added to any of the signatures considered, the isomorphism class of the partial algebras of sets is finitely axiomatisable and in each case we give such an axiomatisation.
description: 30 pages
Bilayer graphene encapsulated within monolayers of WS₂ or Cr₂Ge₂Te₆: Tunable proximity spin-orbit or exchange coupling
Creators: name: Zollner, Klaus
name: Fabian, Jaroslav
Publisher: name: Universität Regensburg
Year: 2021
Subjects: subject: spintronics, bilayer graphene, heterostructures, proximity spin-orbit coupling, proximity exchange
subject: 530 Physik

description: Van der Waals (vdW) heterostructures consisting of bilayer graphene (BLG) encapsulated within monolayers of strong spin-orbit semiconductor WS$_2$ or ferromagnetic semiconductor Cr$_2$Ge$_2$Te$_6$ (CGT), are investigated. By performing realistic first-principles calculations we capture the essential BLG band structure features, including layer- and sublattice-resolved proximity spin-orbit or exchange couplings. For different relative twist angles (0 or 60$^{\circ}$) of the WS$_2$ layers, and the magnetizations (parallel or antiparallel) of the CGT layers, with respect to BLG, the low energy bands are found and characterized by a series of fit parameters of model Hamiltonians. These effective models are then employed to investigate the tunability of the relevant energy dispersions by a gate field. For WS$_2$/BLG/WS$_2$ encapsulation we find that twisting allows to turn off the spin splittings away from the $K$ points, due to opposite proximity-induced valley-Zeeman couplings in the two sheets of BLG. Close to the $K$ points the electron spins are polarized out of the plane. This polarization can be flipped by applying a gate field. As for magnetic CGT/BLG/CGT structures, we realize the recently proposed spin-valve effect, whereby a gap opens for antiparallel magnetizations of the CGT layers. Furthermore, we find that for the antiferromagnetic orientation the electron states away from $K$ have vanishingly weak proximity exchange, while the states close to $K$ remain spin polarized in the presence of an electric field. The induced magnetization can be flipped by changing the gate field. These findings should be useful for spin transport, spin filtering, and spin relaxation anisotropy studies of BLG-based vdW heterostructures.
Analysing Random Censored Data from Discrete Teissier Model
Creators: name: Abhishek Tyagi
name: Bhupendra Singh
name: Varun Agiwal
name: Nayal, Amit Singh
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Bayesian estimation
Classical estimation
Discrete Teissier distribution
Random censoring

description: This paper deals with the classical and Bayesian estimation of the discrete Teissier distribution with randomly censored data. We have obtained the maximum likelihood point and interval estimator for the unknown parameter. Under the squared error loss function, a Bayes estimator is also computed utilising informative and non-informative priors. Furthermore, an algorithm to generate randomly right-censored data from the proposed model is presented. The performance of various estimation approaches is compared through comprehensive simulation studies. Finally, the applicability of the suggested discrete model has been demonstrated using two real datasets. The results show that the suggested discrete distribution fits censored data adequately and can be used to analyse randomly right-censored data generated from various domains.
Mass growth of objects and categorical entropy
Creators: name: Ikeda, Akishi
Publisher: name: arXiv
Year: 2016
Subjects: subject: Category Theory (math.CT)
subject: Dynamical Systems (math.DS)
subject: FOS: Mathematics

description: In the pioneer work by Dimitrov-Haiden-Katzarkov-Kontsevich, they introduced various categorical analogies from classical theory of dynamical systems. In particular, they defined the entropy of an endofunctor on a triangulated category with a split generator. In the connection between categorical theory and classical theory, a stability condition on a triangulated category plays the role of a measured foliation so that one can measure the "volume" of objects, called the mass, via the stability condition. The aim of this paper is to establish fundamental properties of the growth rate of mass of objects under the mapping by the endofunctor and to clarify the relationship between the entropy and that. We also show that they coincide under a certain condition.
description: 25 pages, 3 figures
Exploiting lens aberrations to create electron vortex beams
Creators: name: Clark, L.
name: Béché, A.
name: Guzzinati, G.
name: Lubk, A.
name: Mazilu, M.
name: Van Boxem, R.
name: Verbeeck, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A model for a new electron vortex beam production method is proposed and experimentally demonstrated. The technique calls on the controlled manipulation of the degrees of freedom of the lens aberrations to achieve a helical phase front. These degrees of freedom are accessible by using the corrector lenses of a transmission electron microscope. The vortex beam is produced through a particular alignment of these lenses into a specifically designed astigmatic state and applying an annular aperture in the condensor plane. Experimental results are found to be in good agreement with simulations.
description: 5 pages, 4 figures
Inhaltsverzeichnis
Creators: name: Redaktion, Die
Publisher: name: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz
Year: 2018

description: [nicht vorhanden / not available]
description: Jahrbuch des Römisch-Germanischen Zentralmuseums Mainz, Bd. 44, Nr. 1 (1997)
Gerlinde Prüssing: Die Bronzegefäße in Österreich
Creators: name: Jacob, Christina
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2017

description: Rezension zu: Gerlinde Prüssing: Die Bronzegefäße in Österreich. Prähistorische Bronzefunde, Abteilung II, 5. Band. Franz Steiner Verlag, Stuttgart 1991. 117 Seiten, 2 Abbildungen, 158 Tafeln.
description: Fundberichte aus Baden-Württemberg, Bd. 18 (1993): Fundberichte aus Baden-Württemberg
Additional file 5 of Baloxavir safety and clinical and virologic outcomes in influenza virus-infected pediatric patients by age group: age-based pooled analysis of two pediatric studies conducted in Japan
Creators: name: Hirotsu, Nobuo
name: Sakaguchi, Hiroki
name: Fukao, Keita
name: Kojima, Satoshi
name: Piedra, Pedro A.
name: Tsuchiya, Kenji
name: Uehara, Takeki
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 5: Table S4. Duration of symptoms and fever by age group and influenza virus type (subtype) (ITTI population N = 137).
Egon Gersbach: Ausgrabungsmethodik und Stratigraphie der Heuneburg
Creators: name: Wieland, Günther
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2017

description: Rezension zu: Egon Gersbach: Ausgrabungsmethodik und Stratigraphie der Heuneburg. Mit Beiträgen von W. Kimmig, R. German, A. von den Driesch, J. Boessneck, S. Münzel und S. Hopert. Heuneburgstudien VI (Hrsg. W. Kimmig). Römisch-Germanische Forschungen Bd. 45. Verlag Philipp von Zabern, Mainz 1989. Teil 1: Textband, 164 Seiten mit 65 Abbildungen und 16 Tabellen. Teil 2: Fundstellenverzeichnis, 191 Seiten und 1 Tabelle. Teil 3: 1 Karte und 32 Beilagen.
description: Fundberichte aus Baden-Württemberg, Bd. 18 (1993): Fundberichte aus Baden-Württemberg
A New Pi-Exponentiated Method for Constructing Distributions with an Application to Weibull Distribution
Creators: name: M.A. Lone
name: T.R. Jan
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Pi-Exponentiated Transformation
Quantile Function
Reliability Function
Mean Waiting Time
Maximum Likelihood Estimation

description: A novel method for generating families of continuous distributions is presented by introducing a new parameter referred as Pi-Exponentiated Transformation (PET). Various properties of the PET method have been obtained. The method has been specialized on two-parameter Weibull distribution, and a new distribution called Pi-Exponentiated Weibull (PEW) is attained. A comprehensive mathematical treatment of the new proposal is provided. Closed-form expressions for the density function, distribution function, reliability function, hazard rate function have been provided. The PEW distribution is quite flexible, and it can be used to model data with decreasing, increasing or bathtub shaped hazard rates. Simulation study has been carried out to assess the behavior of the model parameters. Finally, the effectiveness of the suggested method is demonstrated by examining two real-life data sets.
Mixed powerdomains for probability and nondeterminism
Creators: name: Keimel, Klaus
name: Plotkin, Gordon D.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider mixed powerdomains combining ordinary nondeterminism and probabilistic nondeterminism. We characterise them as free algebras for suitable (in)equation-al theories; we establish functional representation theorems; and we show equivalencies between state transformers and appropriately healthy predicate transformers. The extended nonnegative reals serve as `truth-values'. As usual with powerdomains, everything comes in three flavours: lower, upper, and order-convex. The powerdomains are suitable convex sets of subprobability valuations, corresponding to resolving nondeterministic choice before probabilistic choice. Algebraically this corresponds to the probabilistic choice operator distributing over the nondeterministic choice operator. (An alternative approach to combining the two forms of nondeterminism would be to resolve probabilistic choice first, arriving at a domain-theoretic version of random sets. However, as we also show, the algebraic approach then runs into difficulties.) Rather than working directly with valuations, we take a domain-theoretic functional-analytic approach, employing domain-theoretic abstract convex sets called Kegelspitzen; these are equivalent to the abstract probabilistic algebras of Graham and Jones, but are more convenient to work with. So we define power Kegelspitzen, and consider free algebras, functional representations, and predicate transformers. To do so we make use of previous work on domain-theoretic cones (d-cones), with the bridge between the two of them being provided by a free d-cone construction on Kegelspitzen.
Syzygies of Prym and paracanonical curves of genus 8
Creators: name: Colombo, Elisabetta
name: Farkas, Gavril
name: Verra, Alessandro
name: Voisin, Claire
Publisher: name: arXiv
Year: 2016
Subjects: subject: Algebraic Geometry (math.AG)
subject: Commutative Algebra (math.AC)
subject: FOS: Mathematics

description: By analogy with Green's Conjecture on syzygies of canonical curves, the Prym-Green conjecture predicts that the resolution of a general level p paracanonical curve of genus g is natural. The Prym-Green Conjecture is known to hold in odd genus for almost all levels. Probabilistic arguments strongly suggested that the conjecture might fail for level 2 and genus 8 or 16. In this paper, we present three geometric proofs of the surprising failure of the Prym-Green Conjecture in genus 8, hoping that the methods introduced here will shed light on all the exceptions to the Prym-Green Conjecture for genera with high divisibility by 2.
description: 23 pages; to appear in EPIGA Vol 1, paper no. 7
Video Data Visualization System: Semantic Classification And Personalization
Creators: name: Slimi, Jamel
name: Ammar, Anis Ben
name: Alimi, Adel M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Information Retrieval (cs.IR)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Multimedia (cs.MM)
subject: FOS: Computer and information sciences

description: We present in this paper an intelligent video data visualization tool, based on semantic classification, for retrieving and exploring a large scale corpus of videos. Our work is based on semantic classification resulting from semantic analysis of video. The obtained classes will be projected in the visualization space. The graph is represented by nodes and edges, the nodes are the keyframes of video documents and the edges are the relation between documents and the classes of documents. Finally, we construct the user's profile, based on the interaction with the system, to render the system more adequate to its references.
description: graphics
Phenacoccus bromi Moghaddam
Creators: name: MOGHADDAM, MASUMEH
name: WATSON, GILLIAN W.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Pseudococcidae
Phenacoccus
Phenacoccus bromi

description: Phenacoccus bromi Moghaddam
(Fig. 38, Plate 2 B, distribution map Fig. 69 A)
 Phenacoccus bromi Moghaddam, 2018: 185.
 Field characteristics: Body broadly oval, greyish, covered with white powdery wax, with 1 pair of short waxy filaments at posterior end of body; body segmentation apparent.
 Microscopic diagnosis: Slide-mounted adult female oval to broadly oval. Anal lobes moderately developed. Antennae each with 9 segments. Legs well developed; tarsal and claw digitules knobbed; translucent pores difficult to observe, present on hind tibia; claw with a distinct denticle; tarsal digitules pointed at tip and shorter than claw. Cerarii numbering 18 pairs; anal lobe cerarii (C 18) each with 5 lanceolate setae, 4 or 5 spine-like auxiliary setae and 12‒18 trilocular pores, all situated on a sclerotized area; penultimate cerarii (C 17) each with 3 or 4 lanceolate setae and 4 or 5 trilocular pores; anterior cerarii each with 2 lanceolate setae and 2 trilocular pores, except for frontal and ocular cerarii (C 1 and C 3) each with 3 setae. Circulus oval, sclerotized, situated between abdominal segments III and IV, divided by an intersegmental line. Ostioles well developed. Anal ring with 2 rows pores and 6 setae.
 Dorsum with lanceolate setae, some with a trilocular pore situated near setal collar; some minute setae present. Trilocular pores and minute discoidal pores scattered throughout. Oral collar tubular ducts and multilocular disc pores absent.
 Venter with normal flagellate setae, except for some short lanceolate setae present on margins. Multilocular disc pores and quinquelocular pores absent. Trilocular pores and minute discoidal pores scattered throughout. Oral collar tubular ducts few, numbering 1‒3 on abdominal segments VI‒VIII.
 Distribution: Phenacoccus bromi is known only from Iran, Markazi province (Moghaddam 2018).
 Host-plants: The species has been recorded on Bromus sp. (Poaceae) (Moghaddam 2018).
 Economic importance: None.
 Natural enemies: None recorded.
 Comments: Phenacoccus bromi is an unusual species of Phenacoccus in that it lacks multilocular and quinquelocular pores, and has tarsal digitules that are capitate.
 The accompanying illustration is reproduced from Moghaddam (2018), page 186, Fig. 4, with kind permission from the Chief Editor of Zootaxa.
description: Published as part of MOGHADDAM, MASUMEH & WATSON, GILLIAN W., 2022, The Scale Insects Of Iran (Hemiptera: Coccomorpha) Part 2 The Mealybugs (Pseudococcidae And Rhizoecidae) And Putoidae, pp. 1-169 in Zootaxa 5126 (1) on pages 91-92, DOI: 10.11646/zootaxa.5126.1.1, http://zenodo.org/record/6460412
Boiling Heat Transfer on Superhydrophilic, Superhydrophobic, and Superbiphilic Surfaces
Creators: name: Betz, Amy Rachel
name: Jenkins, James
name: Kim, Chang-Jin 'CJ'
name: Attinger, Daniel
Publisher: name: arXiv
Year: 2012
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: With recent advances in micro- and nanofabrication, superhydrophilic and superhydrophobic surfaces have been developed. The statics and dynamics of fluids on these surfaces have been well characterized. However, few investigations have been made into the potential of these surfaces to control and enhance other transport phenomena. In this article, we characterize pool boiling on surfaces with wettabilities varied from superhydrophobic to superhydrophilic, and provide nucleation measurements. The most interesting result of our measurements is that the largest heat transfer coefficients are reached not on surfaces with spatially uniform wettability, but on biphilic surfaces, which juxtapose hydrophilic and hydrophobic regions. We develop an analytical model that describes how biphilic surfaces effectively manage the vapor and liquid transport, delaying critical heat flux and maximizing the heat transfer coefficient. Finally, we manufacture and test the first superbiphilic surfaces (juxtaposing superhydrophobic and superhydrophilic regions), which show exceptional performance in pool boiling, combining high critical heat fluxes over 100 W/cm2 with very high heat transfer coefficients, over 100 kW/m2K.
description: accepted Oct 31, 2012, in International Journal of Heat and Mass Transfer
A Novel Extended Version of the Ailamujia Inverted Weibull Distribution
Creators: name: Idzhar A. Lakibul
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Ailamujia distribution
Ailamujia Inverted Weibull distribution
Cubic transmuted family of distributions

description: Statististical distributions with support on the set of non-negative real numbers are important in modelling and describing the behaviour of lifetime data. Ailamujia distribution is one of the non-negative continuous distribution that has an application in lifetime data. In this paper, a new three-parameter non-negative continuous distribution which is an extension of the Ailamujia Inverted Weibull distribution is introduced. This extended distribution is labeled as the Cubic Transmuted Ailamujia Inverted Weibull distribution. The proposed distribution is derived from the cubic transmuted family of distributions by specifying Ailamujia Inverted Weibull distribution as a baseline distribution. The probability density function of the proposed distribution is derived and some of its plots are presented. It can be observed that the proposed distribution can model the data which are exponentially and skewed unimodal right tailed data. In addition, survival and hazard functions of the proposed distribution are derived. It reveals that the hazard function of the proposed distribution can model both monotonic and non-monotonic decreasing failure rate behaviour of the data. Some properties of the proposed distribution such as its moments, moment generating function, mean, variance are derived. The Maximum Likelihood approach is used to estimate the proposed distribution parameters. Furthermore, parameter estimates as well as the performance of the proposed distribution is investigated by utilizing two sets of lifetime data. For point of comparison, this paper uses the following criteria: Akaike Information Criterion, Bayesian Information Criterion, Kolmogorov Smirnov statistics, Anderson-Darling and Cramer-von Mises. Results show that for both sets of data, the proposed distribution produce better estimate as compared to the Quasi Suja and the Weibull-Lindley distributions. So, the proposed distribution consider as the best model for modelling the given two real datasets.
A NONPARAMETRIC CONTROL CHART FOR JOINT MONITORING OF LOCATION AND SCALE
Creators: name: Vijaykumar Ghadage
name: Ghute, Vikas
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Control chart
average run length
joint monitoring
nonparametric tests
location parameter
scale parameter

description: Traditional control charts are based on the assumption that the process observations are normally distributed. However, in many applications, there is insufficient information to justify this assumption. Thus, nonparametric control charts have been designed in literature to monitor location parameter and scale parameter of a process. In this paper, a single nonparametric control chart based on modified Lepage test is proposed for simultaneously monitoring of location and scale parameters of any continuous process distribution. The charting statistic combines two nonparametric test statistics namely Baumgartner test for location and Ansari-Bradely test for scale. The performance of the proposed chart is examined through simulation studies in terms of the mean, the standard deviation, the median and some percentiles of the run length distribution. The average run length (ARL) performance of the proposed chart is compared with that of the existing nonparametric Shewhart-Cucconi (SC) and Shewhart-Lepage (SL) charts for joint monitoring of location and scale.
Globular: an online proof assistant for higher-dimensional rewriting
Creators: name: Bar, Krzysztof
name: Kissinger, Aleks
name: Vicary, Jamie
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Category Theory (math.CT)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visualizations of higher-dimensional proofs, assists in their construction with a point-and- click interface, and performs type checking to prevent incorrect rewrites. Hosted on the web, it has a low barrier to use, and allows hyperlinking of formalized proofs directly from research papers. It allows the formalization of proofs from logic, topology and algebra which are not formalizable by other methods, and we give several examples.
Zisterzienserbauten in der Schweiz. Neue Forschungsergebnisse zur Archäologie und Kunstgeschichte
Creators: name: Röber, Ralph
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2017

description: Rezension zu: Zisterzienserbauten in der Schweiz. Neue Forschungsergebnisse zur Archäologie und Kunstgeschichte. Veröffentlichungen des Instituts für Denkmalpflege an der Eidgenössischen Technischen Hochschule Zürich Bd. 10/1—2. Verlag Habelt, Zürich 1990. Bd. 1 Frauenklöster: 349 Seiten mit 379 Abbildungen; Bd. 2 Männerklöster: 201 Seiten mit 232 Abbildungen.
description: Fundberichte aus Baden-Württemberg, Bd. 18 (1993): Fundberichte aus Baden-Württemberg
Focusing in Orthologic
Creators: name: Laurent, Olivier
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1

description: We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and to optimise proof search. We demonstrate how to take benefits from the new systems in automatic proof search for orthologic.
description: Small rewritings. Updated benchmark section. Updated coq and ocaml files
Additional file 6 of Baloxavir safety and clinical and virologic outcomes in influenza virus-infected pediatric patients by age group: age-based pooled analysis of two pediatric studies conducted in Japan
Creators: name: Hirotsu, Nobuo
name: Sakaguchi, Hiroki
name: Fukao, Keita
name: Kojima, Satoshi
name: Piedra, Pedro A.
name: Tsuchiya, Kenji
name: Uehara, Takeki
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 6: Table S5. List of IRBs that gave ethical approval for the clinical trials JapicCTI-163,417 and JapicCTI-173,811.
Wigner-function formalism applied to semiconductor quantum devices: Failure of the conventional boundary-condition scheme
Creators: name: Rosati, Roberto
name: Dolcini, Fabrizio
name: Iotti, Rita Claudia
name: Rossi, Fausto
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The Wigner-function formalism is a well known approach to model charge transport in semiconductor nanodevices. Primary goal of the present article is to point out and explain intrinsic limitations of the conventional quantum-device modeling based on such Wigner-function paradigm, providing a definite answer to open questions related to the application of the conventional spatial boundary-condition scheme to the Wigner transport equation. Our analysis shows that (i) in the absence of energy dissipation (coherent limit) the solution of the Wigner equation equipped with given boundary conditions is not unique, and (ii) when decoherence/dissipation phenomena are taken into account via a relaxation-time approximation the solution, although unique, is not necessarily a physical Wigner function.
description: 18 pages, 8 figures, accepted by Phys. Rev. B
Beschreibung von Novaesium
Creators: name: Koenen, Constantin
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 111/112 (1904): Bonner Jahrbücher. Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
APPLICATION OF FUZZY LINEAR PROGRAMMING APPROACH FOR SOLVING MIX-PRODUCT SELECTION PROBLEM
Creators: name: Janolkar, Mahesh M.
name: Kirankumar L. Bondar
name: Pandit U. Chopade
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Linear Programming
Uncertainty
Fuzzy constraint
Mix-Product Selection

description: In this paper, the modified SMF system is used in the real MPS problem. This problem occurs in the production planning process where the decision maker plays an important role in making decisions in an uncertain environment. As researchers, we are trying to find the best solution for the final decision maker. SMF analyzed FLP production equipment using data actually collected from chocolate production companies. The problem of MPS incompatibility has been described. The aim of this article is to find the best UOP with high satisfaction and nonsense as the main thing. Since there are so many decisions to make, the best UOP table is defined in terms of insensitivity and satisfaction to find a solution with a high UOP level and a high level of satisfaction. OF indicates that a high UOP will not lead to a high level of satisfaction. The results of this work suggest that the best decision is based on the negative impact on the FS of the MPS. In addition, a high level of UOP is achieved when the blur is low.
On Free $ω$-Continuous and Regular Ordered Algebras
Creators: name: Esik, Zoltan
name: Kozen, Dexter
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study varieties of certain ordered $Σ$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $Σ$-coterms. Varieties of this form are called \emph{quasi-regular}. For example, we show that if $E$ is a set of inequalities between finite $Σ$-terms, and if $\mathcal{V}_ω$ and $\mathcal{V}_\mathrm{reg}$ denote the varieties of all $ω$-continuous ordered $Σ$-algebras and regular ordered $Σ$-algebras satisfying $E$, respectively, then the free $\mathcal{V}_\mathrm{reg}$-algebra $F_\mathrm{reg}(X)$ on generators $X$ is the subalgebra of the corresponding free $\mathcal{V}_ω$-algebra $F_ω(X)$ determined by those elements of $F_ω(X)$ denoted by the regular $Σ$-coterms. This is a special case of a more general construction that applies to any quasi-regular family. Examples include the *-continuous Kleene algebras, context-free languages, $ω$-continuous semirings and $ω$-continuous idempotent semirings, OI-macro languages, and iteration theories.
Harmonic analysis operators related to symmetrized Jacobi expansions
Creators: name: Langowski, Bartosz
Publisher: name: arXiv
Year: 2012
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 42C10 (Primary) 42C05, 42C20 (Secondary)

description: Following a symmetrization procedure proposed recently by Nowak and Stempak, we consider the setting of symmetrized Jacobi expansions. In this framework we investigate mapping properties of several fundamental harmonic analysis operators, including Riesz transforms, Poisson semigroup maximal operator, Littlewood-Paley-Stein square functions and multipliers of Laplace and Laplace-Stieltjes transform type. Our paper delivers also some new results in the original setting of classical Jacobi expansions.
description: 30 pages. arXiv admin note: text overlap with arXiv:1011.3615, arXiv:1011.0898, arXiv:1012.5638 by other authors
Quantum continuous measurements: The stochastic Schroedinger equations and the spectrum of the output
Creators: name: Barchielli, Alberto
name: Gregoratti, Matteo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Probability (math.PR)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The stochastic Schrödinger equation, of classical or quantum type, allows to describe open quantum systems under measurement in continuous time. In this paper we review the link between these two descriptions and we study the properties of the output of the measurement. For simplicity we deal only with the diffusive case. Firstly, we discuss the quantum stochastic Schrödinger equation, which is based on quantum stochastic calculus, and we show how to transform it into the classical stochastic Schrödinger equation by diagonalization of suitable quantum observables, based on the isomorphism between Fock space and Wiener space. Then, we give the a posteriori state, the conditional system state at time $t$ given the output up to that time and we link its evolution to the classical stochastic Schrödinger equation. Finally, we study the output of the continuous measurement, which is a stochastic process with probability distribution given by the rules of quantum mechanics. When the output process is stationary, at least in the long run, the spectrum of the process can be introduced and its properties studied. In particular we show how the Heisenberg uncertainty relations give rise to characteristic bounds on the possible spectra and we discuss how this is related to the typical quantum phenomenon of squeezing. We use a simple quantum system, a two-level atom stimulated by a laser, to discuss the differences between homodyne and heterodyne detection and to explicitly show squeezing and anti-squeezing and the Mollow triplet in the fluorescence spectrum.
description: 17 pages, 2 figures. Enlarged version. To appear in Quantum Measurement and Quantum Metrology
Applications and Some Characteristics of Inverse Power Cauchy Distribution
Creators: name: Sapkota, Laxmi Prasad
name: Kumar, Vijay
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Entropy
Maximum likelihood estimation
Moment
order statistics
Power Cauchy distribution

description: Based on the power Cauchy distribution, we have purposed a new distribution called inverse power Cauchy distribution that offers greater modeling flexibility for lifetime data. Real-world data can be efficiently analyzed using the suggested model because it is analytically sound. Its density function can take on a number of different shapes, including reversed-J, symmetrical, and right-skewed. Depending on the different values of the parameters, it can adapt to different hazard forms, such as an upside-down bathtub, a monotonically increasing or decreasing curve, and others. Its moments, quantile, reliability, hazard, order statistics with density function, moment generating function, and entropy are all given with various explicit forms. The observed information matrix is created when the new model’s parameters are calculated through maximum likelihood technique. A simulation study is conducted to investigate the behaviour of maximum likelihood estimators. The proposed model gets a superior fit compared to certain well-known distributions, according to the test of goodness-of-fit we conducted. The significance of the purposed distribution is demonstrated empirically using two real-world data sets.
Additional file 1 of Pneumococcal vaccine schedules (PVS) study: a cluster-randomised, non-inferiority trial of an alternative versus standard schedule for pneumococcal conjugate vaccination—statistical analysis plan
Creators: name: Mackenzie, Grant A.
name: Palmu, Arto A.
name: Jokinen, Jukka
name: Osei, Isaac
name: Flasche, Stefan
name: Greenwood, Brian
name: Mulholland, Kim
name: Nguyen, Cattram
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology
subject: FOS: Biological sciences

description: Additional file 1: Supplementary Table 1. Clinical definitions for suspected pneumonia, septicaemia, and meningitis. Supplementary Table 2. Guideline for investigation of patients. Supplementary Table 3. Disease endpoints in children aged 0 – 59 months. Supplementary Table 4. Individual-level baseline characteristics of all infants enrolled at EPI clinics. Supplementary Table 5. Individual-level baseline characteristics of infants enrolled at EPI clinics, by year. Supplementary Table 6. Cluster-level baseline characteristics of infants enrolled at EPI clinics. Supplementary Figure 1. Monthly number of infants screened, eligible, and enrolled at EPI clinics. Supplementary Figure 2. Cumulative number of infants screened, eligible, and enrolled at EPI clinics. Supplementary Figure 3. Flowchart of patient presentation and eligibility for measurement of the primary endpoint at health facilities. Supplementary Figure 4. Flowchart of patient investigation and results of primary endpoint surveillance at health facilities. Supplementary Table 7. Baseline information on clinical endpoint surveillance at health facilities, at the individual-level. Supplementary Table 8. Baseline information on endpoint surveillance at health facilities, at the cluster level.
Normalisation by Evaluation for Type Theory, in Type Theory
Creators: name: Altenkirch, Thorsten
name: Kaposi, Ambrus
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated in the metalanguage of type theory using quotient inductive types. We use a typed presentation hence there are no preterms or realizers in our construction, and every construction respects the conversion relation. NBE for simple types uses a logical relation between the syntax and the presheaf interpretation. In our construction, we merge the presheaf interpretation and the logical relation into a proof-relevant logical predicate. We prove normalisation, completeness, stability and decidability of definitional equality. Most of the constructions were formalized in Agda.
Asymptotic volume in Hilbert Geometries
Creators: name: Vernicos, Constantin
Publisher: name: arXiv
Year: 2012
Subjects: subject: Metric Geometry (math.MG)
subject: Differential Geometry (math.DG)
subject: Symplectic Geometry (math.SG)
subject: FOS: Mathematics
subject: 53C60, 53C24, 58B20, 53A20

description: We prove that the metric balls of a Hilbert geometry admit a volume growth at least polynomial of degree their dimension. We also characterise the convex polytopes as those having exactly polynomial volume growth of degree their dimension.
APPROXIMATE OPTIMUM STRATA BOUNDARIES FOR PROPORTIONAL ALLOCATION USING RANKED SET SAMPLING
Creators: name: Rather, Khalid Ul Islam
name: S.E.H Rizvi
name: Sharma, Manish
name: M. Iqbal Jeelani
name: Faizan Danish
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Ranked set Sampling
approximately optimum strata boundaries
auxiliary variable optimum strata width

description: Ranked set sampling is an approach to data collection originally combines simple random sampling with the field investigator's professional knowledge and judgment to pick places to collect samples. Alternatively, field screening measurements can replace professional judgment when appropriate and analysis that continues to stimulate substantial methodological research. The use of ranked set sampling increases the chance that the collected samples will yield representative measurements. This results in better estimates of the mean as well as improved performance of many statistical procedures. Moreover, ranked set sampling can be more cost-efficient than simple random sampling because fewer samples need to be collected and measured. The use of professional judgment in the process of selecting sampling locations is a powerful incentive to use ranked set sampling. Optimum stratification is the method of choosing the best boundaries that make strata internally homogeneous, given some sample allocation. In order to make the strata internally homogenous, the strata should be constructed in such a way that the strata variances for the characteristic under study be as small as possible. This could be achieved effectively by having the distribution of the study variable known and create strata by cutting the range of the distribution at suitable points. If the frequency distribution of the study variable is unknown, it may be approximated from the past experience or some prior knowledge (auxiliary information) obtained at a recent study. The present investigation deals with paper the problem of optimum stratification on an auxiliary variable for proportional allocation under ranked set sampling (RSS), when the form of the regression of the estimation variable on the stratification variable given the variance function is known. A cum rule of finding approximately optimum strata boundaries has been developed. Further, empirical study has been made and presented along with relative efficiency which showed remarkable gain in efficiency as compared to unstratified RSS.
Phenacoccus insularis Danzig (Danzig & Gavrilov 2014
Creators: name: MOGHADDAM, MASUMEH
name: WATSON, GILLIAN W.
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hemiptera
Pseudococcidae
Phenacoccus
Phenacoccus insularis

description: Phenacoccus insularis Danzig
(Fig. 41, distribution map Fig. 69 D)
 Phenacoccus insularis Danzig, 1971: 378. Phenacoccus iranica Moghaddam, 2013a: 54‒55.
 Field characteristics: Not recorded.
 Microscopic diagnosis: Slide-mounted adult female broadly oval. Anal lobes poorly or not developed. Antennae slender, each with 9 segments. Legs well developed; hind leg with translucent pores on dorsal surface of tibia; claw stout, with a distinct denticle; tarsal digitules pointed at tip and shorter than claw. Cerarii numbering 18 pairs. Anal lobe cerarii each with 2 lanceolate-to-conical setae and 5 or 6 trilocular pores. Anterior cerarii each bearing 2 setae and about 2–4 trilocular pores; head and ocular cerarii (C 3) each with 3 setae and about 4 trilocular pores. Circulus present, produced laterally, not divided by intersegmental line. Ostioles well developed, with inner edges of lips weakly sclerotized, each lip with 1–4 setae and a few trilocular pores.
 Dorsum with short lanceolate setae. Multilocular disc pores absent. Trilocular pores evenly distributed. Oral collar tubular ducts numerous, distributed in wide bands across head, thorax and abdominal segments.
 Venter with normal flagellate setae in median areas, and short lanceolate setae around margins. Multilocular disc pores each with 10 loculi, present medially and submedially, mostly in single or double rows on posterior edges of abdominal segments I‒VIII, and posterior to vulva. Quinquelocular pores numerous medially on head, thorax and segments I–VIII. Trilocular pores evenly dispersed. Oral collar ducts, same as those on dorsum, present on head, thorax and segments I–VIII + IX.
 Distribution: Phenacoccus insularis has been recorded from Romania, Russia and Iran; in Iran it has been found in Kerman and Kohgilouyeh & Boyerahmad provinces (Moghaddam 2013a).
 Host-plants: This species has been recorded on host-plants in nine genera belonging to six families; in Iran it occurs on Acer cinerascens (Sapindaceae) (Moghaddam 2013a).
 Economic importance: None.
 Natural enemies: None recorded.
 Comments: Phenacoccus insularis has an anvil-shaped circulus, a characteristic often found in Phenacoccus species native to the New World, e.g., P. solenopsis.
 The accompanying illustration is reproduced from Moghaddam (2013a), page 55, Fig. 29, with kind permission from the Chief Editor of Zootaxa.
description: Published as part of MOGHADDAM, MASUMEH & WATSON, GILLIAN W., 2022, The Scale Insects Of Iran (Hemiptera: Coccomorpha) Part 2 The Mealybugs (Pseudococcidae And Rhizoecidae) And Putoidae, pp. 1-169 in Zootaxa 5126 (1) on pages 96-98, DOI: 10.11646/zootaxa.5126.1.1, http://zenodo.org/record/6460412
Bayesian and Non-Bayesian Inference of Exponentiated Moment Exponential Distribution with Progressive Censored Samples
Creators: name: Hassan, Amal S.
name: Atia, Samah A.
name: Muhammed, Hiba Z.
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Exponentiated moment exponential
gamma prior
credible interval
Metropolis-Hastings
Progressive censorning

description: In this paper, a progressive type-II censoring strategy is used to estimate the parameters, reliability and hazard rate functions of the exponentiated moment exponential distribution. The maximum likelihood and Bayesian techniques have been used to estimate the proposed estimators. Gamma (informative) and uniform (non-informative) priors are taken into account under the squared error loss function to produce the Bayesian estimators. The highest posterior density interval estimations and the 95% approximate confidence intervals along with coverage probability are calculated. In order to evaluate the effectiveness of estimates produced by the Metropolis-Hastings sampling algorithms, we provide a numerical research. According to the study's findings, the Bayes estimates under informative priors are typically more accurate than other estimates.
Doubly commuting submodules of the Hardy module over polydiscs
Creators: name: Sarkar, Jaydeb
name: Sasane, Amol
name: Wick, Brett D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Functional Analysis (math.FA)
subject: Complex Variables (math.CV)
subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: 47A15, 47A13, 30H05, 47A56, 46J15, 47A56

description: In this note we establish a vector-valued version of Beurling's Theorem (the Lax-Halmos Theorem) for the polydisc. As an application of the main result, we provide necessary and sufficient conditions for the completion problem in $H^\infty(\mathbb{D}^n)$.
description: 14 pages, revised, to appear in Studia Mathematica