cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
On Higher-Order Probabilistic Subrecursion
Creators: name: Breuvart, Flavien
name: Lago, Ugo Dal
name: Herrou, Agathe
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like Gödel's $\mathbb{T}$ with various forms of probabilistic choice operators may result in calculi which are not equivalent as for the class of distributions they give rise to, although they all guarantee almost-sure termination. Along the way, we introduce a probabilistic variation of the classic reducibility technique, and we prove that the simplest form of probabilistic choice leaves the expressive power of $\mathbb{T}$ essentially unaltered. The paper ends with some observations about the functional expressive power: expectedly, all the considered calculi capture the functions which $\mathbb{T}$ itself represents, at least when standard notions of observations are considered.
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Creators: name: Ahn, Ki Yung
name: Horne, Ross
name: Tiu, Alwen
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: Open bisimilarity is defined for open process terms in which free variables may appear. The insight is, in order to characterise open bisimilarity, we move to the setting of intuitionistic modal logics. The intuitionistic modal logic introduced, called $\mathcal{OM}$, is such that modalities are closed under substitutions, which induces a property known as intuitionistic hereditary. Intuitionistic hereditary reflects in logic the lazy instantiation of free variables performed when checking open bisimilarity. The soundness proof for open bisimilarity with respect to our intuitionistic modal logic is mechanised in Abella. The constructive content of the completeness proof provides an algorithm for generating distinguishing formulae, which we have implemented. We draw attention to the fact that there is a spectrum of bisimilarity congruences that can be characterised by intuitionistic modal logics.
An Improved Measurement of Electron Antineutrino Disappearance at Daya Bay
Creators: name: Webber, David M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The theory of neutrino oscillations explains changes in neutrino flavor, count rates, and spectra from solar, atmospheric, accelerator, and reactor neutrinos. These oscillations are characterized by three mixing angles and two mass-squared differences. The solar mixing angle, θ_12, and the atmospheric mixing angle, θ_23, have been well measured, but until recently the neutrino mixing angle θ_13 was not well known. The Daya Bay experiment, located northeast of Hong Kong at the Guangdong Nuclear Power Complex in China, has made a precise measurement of electron antineutrino disappearance using six functionally-identical gadolinium-doped liquid scintillator-based detectors at three sites with distances between 364 and 1900 meters from six reactor cores. This proceeding describes the Daya Bay updated result, using 127 days of good run time collected between December 24, 2011 and May 11, 2012. For the far site, the ratio of the observed number of events to the expected number of events assuming no neutrino oscillation is 0.944 +/- 0.007(stat) +/- 0.003(syst). A fit for θ_13 in the three-neutrino framework yields sin^2 2θ_13 = 0.089 +/- 0.010(stat) +/- 0.005(syst).
description: Presented at BEACH 2012 on behalf of the Daya Bay Collaboration
Transport Characterization of Kondo-Correlated Single Molecule Devices
Creators: name: Scott, Gavin D.
name: Natelson, Douglas
name: Kirchner, Stefan
name: Muñoz, Enrique
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: A single molecule break junction device serves as a tunable model system for probing the many body Kondo state. The low-energy properties of this state are commonly described in terms of a Kondo model, where the response of the system to different perturbations is characterized by a single emergent energy scale, k_B*T_K. Comparisons between different experimental systems have shown issues with numerical consistency. With a new constrained analysis examining the dependence of conductance on temperature, bias, and magnetic field simultaneously, we show that these deviations can be resolved by properly accounting for background, non-Kondo contributions to the conductance that are often neglected. We clearly demonstrate the importance of these non-Kondo conduction channels by examining transport in devices with total conductances exceeding the theoretical maximum due to Kondo-assisted tunneling alone.
description: 9 pages, 4 figures
Tidal tails of dwarf galaxies on different orbits around the Milky Way
Creators: name: Lokas, Ewa L.
name: Gajda, Grzegorz
name: Kazantzidis, Stelios
Publisher: name: arXiv
Year: 2013
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present a phenomenological description of the properties of tidal tails forming around dwarf galaxies orbiting the Milky Way. For this purpose we use collisionless N-body simulations of dwarfs initially composed of a disk embedded in an NFW dark matter halo. The dwarfs are placed on seven orbits around the Milky Way-like host, differing in size and eccentricity, and their evolution is followed for 10 Gyr. In addition to the well-studied morphological and dynamical transformation of the dwarf's main body, the tidal stripping causes them to lose a substantial fraction of mass both in dark matter and stars which form pronounced tidal tails. We focus on the properties of the stellar component of the tidal tails thus formed. We first discuss the break radii in the stellar density profile defining the transition to tidal tails as the radii where the profile becomes shallower and relate them to the classically defined tidal radii. We then calculate the relative density and velocity of the tails at a few break radii as a function of the orbital phase. Next, we measure the orientation of the tails with respect to an observer placed at the centre of the Milky Way. The tails are perpendicular to this line of sight only for a short period of time near the pericentre. For most of the time the angles between the tails and this line of sight are low, with orbit-averaged medians below 42 degrees for all, even the almost circular orbit. The median angle is typically lower while the maximum relative density higher for more eccentric orbits. The combined effects of relative density and orientation of the tails suggest that they should be easiest to detect for dwarf galaxies soon after their pericentre passage.
description: 12 pages, 10 figures, published in MNRAS
Low & High scale MSSM inflation, gravitational waves and constraints from Planck
Creators: name: Choudhury, Sayantan
name: Mazumdar, Anupam
name: Pal, Supratik
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we will analyze generic predictions of an inflection-point model of inflation with Hubble-induced corrections and study them in light of the Planck data. Typically inflection-point models of inflation can be embedded within Minimal Supersymmetric Standard Model (MSSM) where inflation can occur below the Planck scale. The flexibility of the potential allows us to match the observed amplitude of the TT-power spectrum of the cosmic microwave background radiation with low and high multipoles, spectral tilt, and virtually mild running of the spectral tilt, which can put a bound on an upper limit on the tensor-to-scalar ratio, $r \leq 0.12$. Since the inflaton within MSSM carries the Standard Model charges, therefore it is the minimal model of inflation beyond the Standard Model which can reheat the universe with the right thermal degrees of freedom without any dark-radiation.
description: 11 pages, 6 figures, Accepted for publication in JCAP
Ologisms
Creators: name: Pagnan, Ruggero
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.4; F.4.1; H.2.1

description: We introduce ologisms. They generate from ologs by extending their logical expressivity, from the possibility of considering constraints of equational nature only to the possibility of considering constraints of syllogistic nature, in addition. This is obtained by taking advantage of the peculiar features of an original diagrammatic logical calculus for the syllogistic, that make it well-behaved with respect to the design of ologs.
Metal-insulator transition and orbital reconstruction in Mott quantum wells of NdNiO$_{3}$
Creators: name: Liu, Jian
name: Kareev, M.
name: Meyers, D.
name: Gray, B.
name: Ryan, P.
name: Freeland, J. W.
name: Chakhalian, J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The metal-insulator transition (MIT) and the underlying electronic and orbital structure in $e_{g}^{1}$ quantum wells based on NdNiO$_{3}$ was investigated by d.c. transport and resonant soft x-ray absorption spectroscopy. By comparing quantum wells of the same dimension but with two different confinement structures, we explicitly demonstrate that the quantum well boundary condition of correlated electrons is critical to selecting the many-body ground state. In particular, the long-range orderings and the MIT are found to be strongly enhanced under quantum confinement by sandwiching NdNiO$_{3}$ with the wide-gap dielectric LaAlO$_{3}$, while they are suppressed when one of the interfaces is replaced by a surface (interface with vacuum). Resonant spectroscopy reveals that the reduced charge fluctuations in the sandwich structure are supported by the enhanced propensity to charge ordering due to the suppressed $e_g$ orbital splitting when interfaced with the confining LaAlO$_{3}$ layer.
Römische Heerstrassen zwischen Maas und Rhein
Creators: name: Schneider, Jacob
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 66 (1879): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Lax orthogonal factorisations in monad-quantale-enriched categories
Creators: name: Clementino, Maria Manuel
name: Franco, Ignacio Lopez
Publisher: name: arXiv
Year: 2017
Subjects: subject: Category Theory (math.CT)
subject: FOS: Mathematics

description: We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. This provides a method of constructing weak factorisation systems on some well-known examples of topological categories over $\mathsf{Set}$.
description: 13 pages. Minor changes from previous version
Characterizations of minimal dominating sets and the well-dominated property in lexicographic product graphs
Creators: name: Gözüpek, Didem
name: Hujdurović, Ademir
name: Milanič, Martin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics

description: A graph is said to be well-dominated if all its minimal dominating sets are of the same size. The class of well-dominated graphs forms a subclass of the well studied class of well-covered graphs. While the recognition problem for the class of well-covered graphs is known to be co-NP-complete, the recognition complexity of well-dominated graphs is open. In this paper we introduce the notion of an irreducible dominating set, a variant of dominating set generalizing both minimal dominating sets and minimal total dominating sets. Based on this notion, we characterize the family of minimal dominating sets in a lexicographic product of two graphs and derive a characterization of the well-dominated lexicographic product graphs. As a side result motivated by this study, we give a polynomially testable characterization of well-dominated graphs with domination number two, and show, more generally, that well-dominated graphs can be recognized in polynomial time in any class of graphs with bounded domination number. Our results include a characterization of dominating sets in lexicographic product graphs, which generalizes the expression for the domination number of such graphs following from works of Zhang et al. (2011) and of Šumenjak et al. (2012).
Additional file 1 of Application of fused-grid-based CYP-Template systems for genotoxic substances to understand the metabolisms
Creators: name: Yamazoe, Yasushi
name: Murayama, Norie
name: Kawamura, Tomoko
name: Yamada, Takashi
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Chemical Sciences not elsewhere classified
subject: Biological Sciences not elsewhere classified
subject: Cancer
subject: Virology

description: Supplement Fig. 1 Typical hexagonal-fused grid Templates of CYP enzymes. Template systems of CYP1A1 (A and B), CYP1A2 (C and D), CYP2E1 (E), CYP3A4 (F), CYP2C9 (G), and CYP2C19 (H) are shown with their Ring and Position numbers. Allowable width of ligands is indicated as Width-gauge. Ligands are shown as 3D-structures as indicated in B and D. Thick grey arrows at the bottom of Width-gauge indicate the access points of heme-oxygen
Gamma Ray Bursts and their links with Supernovae and Cosmology
Creators: name: Mészáros, Peter
name: Gehrels, Neil
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Gamma-ray bursts are the most luminous explosions in the Universe, whose origin and mechanism is the focus of intense interest. They appear connected to supernova remnants from massive stars or the merger of their remnants, and their brightness makes them temporarily detectable out to the larges distances yet explored in the Universe. After pioneering breakthroughs from space and ground experiments, their study is entering a new phase with observations from the recently launched \fermi satellite, as well as the prospect of detections or limits from large neutrino and gravitational wave detectors. The interplay between such observations and theoretical models of gamma-ray bursts is reviewed, as well as their connections to supernovae and cosmology.
description: 36 pages, 7 figures; prepared for the XXVIIIth General Assembly Int. Ast. Union, Beijing, Aug. 2012
Additional file 2 of Single institution retrospective study evaluating the frequency of implant removal and associated risk factors following open fracture fixation in 80 cases (2010–2020)
Creators: name: Sandness, Brea M.
name: Perry, Karen L.
name: Bruce, Mieghan
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Mathematical Sciences not elsewhere classified
subject: Cancer
subject: Mental Health
subject: Hematology
subject: Computational Biology

description: Supplementary Material 2: Baseline distribution of risk factors for explantation in open fractures stabilised using internal fixation.
Retractability, games and orchestrators for session contracts
Creators: name: Barbanera, Franco
name: de'Liguoro, Ugo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such contracts are hence adaptable, or as we say "affectible". In client/server systems, in general, compliance stands for the satisfaction of all client's requests by the server. We define an abstract notion of "affectible compliance" and show it to have a precise three-party game-theoretic interpretation. This in turn is shown to be equivalent to a compliance based on interactions that can undergo a sequence of failures and rollbacks, as well as to a compliance based on interactions which can be mediated by an orchestrator. Besides, there is a one-to-one effective correspondence between winning strategies and orchestrators. The relation of subcontract for affectible contracts is also investigated.
Optimizing tree decompositions in MSO
Creators: name: Bojańczyk, Mikołaj
name: Pilipczuk, Michał
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: The classic algorithm of Bodlaender and Kloks [J. Algorithms, 1996] solves the following problem in linear fixed-parameter time: given a tree decomposition of a graph of (possibly suboptimal) width k, compute an optimum-width tree decomposition of the graph. In this work, we prove that this problem can also be solved in mso in the following sense: for every positive integer k, there is an mso transduction from tree decompositions of width k to tree decompositions of optimum width. Together with our recent results [LICS 2016], this implies that for every k there exists an mso transduction which inputs a graph of treewidth k, and nondeterministically outputs its tree decomposition of optimum width. We also show that mso transductions can be implemented in linear fixed-parameter time, which enables us to derive the algorithmic result of Bodlaender and Kloks as a corollary of our main result.
A Conjuntura pós-pandêmica no continente Africano: uma análise da cooperação internacional e integração regional.
Creators: name: NASCENTES, Débora Lemos
name: GUILLEN, Yasmin Mello
Publisher: name: Zenodo
Year: 2021

description: NASCENTES, Débora Lemos; GUILLEN, Yasmin Mello. A Conjuntura pós-pandêmica no continente Africano: uma análise da cooperação internacional e integração regional. In: Democracia na Pós-Pandemia, SANTANO, A.C.; DOTTA, A.G.; OLIVEIRA, V. Q. (Orgs.). Curitiba: Transparência Eleitoral Brasil / Editora GRD, ISBN: 978-65-995278-0-7, 2021. Disponível em: https://journal.nuped.com.br/index.php/teleitoral/article/view/173 p. 61-64. DOI: http://dx.doi.org/105281/zenodo.5136374
description: {"references": ["NASCENTES, D\u00e9bora Lemos; GUILLEN, Yasmin Mello. A Conjuntura p\u00f3s-pand\u00eamica no continente Africano: uma an\u00e1lise da coopera\u00e7\u00e3o internacional e integra\u00e7\u00e3o regional. In: Democracia na P\u00f3s-Pandemia, SANTANO, A.C.; DOTTA, A.G.; OLIVEIRA, V. Q. (Orgs.). Curitiba: Transpar\u00eancia Eleitoral Brasil / Editora GRD, ISBN: 978-65-995278-0-7, 2021. Dispon\u00edvel em: https://journal.nuped.com.br/index.php/teleitoral/article/view/173 p. 61-64. DOI: http://dx.doi.org/105281/zenodo.5136374"]}
On an extension of the two-parameter Lindley distribution
Creators: name: Jiju Gillariose
name: Lishamol Tomy
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Exponential distribution
Generalized family
Lindley distribution
Marshall-Olkin extended distribution
Maximum likelihood estimation

description: AIM: Lindley distribution has been widely studied in statistical literature because it accommodates several interesting properties. In lifetime data analysis contexts, Lindley distribution gives a good description over exponential distribution. It has been used for analysing copious real data sets, specifically in applications of modeling stress-strength reliability. This paper proposes a new generalized two-parameter Lindley distribution and provides a comprehensive description of its statistical properties such as order statistics, limiting distributions of order statistics, Information theory measures, etc. METHODS: We study shapes of the probability density and hazard rate functions, quantiles, moments, moment generating function, order statistic, limiting distributions of order statistics, information theory measures, and autoregressive models are among the key characteristics and properties discussed. The two-parameter Lindley distribution is then subjected to statistical analysis. The paper uses methods of maximum likelihood to estimate the parameters of the proposed distribution. The usefulness of the proposed distribution for modeling data is illustrated using a real data set by comparison with other generalizations of the exponential and Lindley distributions and is depicted graphically. RESULTS/FINDINGS: This paper presents relevant characteristics of the proposed distribution and applications. Based on this study, we found that the proposed model can be used quite effectively to analyzing lifetime data. CONCLUSIONS: In this article, we proffered a new customized Lindley distribution. The proposed distribution enfolds exponential and Lindley distributions as sub-models. Some properties of this distribution such as quantile function, moments, moment generating function, distributions of order statistics, limiting distributions of order statistics, entropy, and autoregressive time series models are studied. This distribution is found to be the most appropriate model to fit the carbon fibers data compared to other models. Consequently, we propose the MOTL distribution for sketching inscrutable lifetime data sets.
Additional file 1 of Single institution retrospective study evaluating the frequency of implant removal and associated risk factors following open fracture fixation in 80 cases (2010–2020)
Creators: name: Sandness, Brea M.
name: Perry, Karen L.
name: Bruce, Mieghan
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Mathematical Sciences not elsewhere classified
subject: Cancer
subject: Mental Health
subject: Hematology
subject: Computational Biology

description: Supplementary Material 1: Details of open fractures requiring explantation or amputation (Polytrauma cases have the open fracture highlighted in bold).
ON GOMPERTZ EXPONENTIATED INVERSE RAYLEIGH DISRIBUTION
Creators: name: Sule Omeiza Bashiru
name: Yusuf, Halid Omobolaji
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Maximum likelhood estimation
Skewness
Kurtosis
Probability density function
Cummulative probability distribution

description: In this paper, we proposed a four parameter Gompertz Exponentiated Inverse Rayleigh Distribution. The proposed distribution is an extention of the Exponentiated Inverse Rayleigh Distribution which was compounded with the Gompertz generated family of distribution. Several of its statistical and mathematical properties including quantiles, median, moments, skewness and kurtosis are derived. Also, the reliability and hazard rate functions are derived. To estimate the new model parameters, the maximum likelihood technique is used. To evaluate the effectiveness of the estimators in this model, a simulation study was carried out and the result of the simulation study indicated that the model is consistent since the value of the mean square error decrease as sample size increases. Finally, the usefulness of the proposed distribution is illustrated with two datasets and it is discovered that this model is more adaptable when compared to well-known models.
Olshanski spherical functions for infinite dimensional motion groups of fixed rank
Creators: name: Rösler, Margit
name: Voit, Michael
Publisher: name: arXiv
Year: 2012
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Representation Theory (math.RT)
subject: FOS: Mathematics
subject: 43A90, 33C80, 43A85, 22E66

description: Consider the Gelfand pairs $(G_p,K_p):=(M_{p,q} \rtimes U_p,U_p)$ associated with motion groups over the fields $\mathbb F=\mathbb R,\mathbb C,\mathbb H$ with $p\geq q$ and fixed $q$ as well as the inductive limit $p\to\infty$,the Olshanski spherical pair $(G_\infty,K_\infty)$. We classify all Olshanski spherical functions of $(G_\infty,K_\infty)$ as functions on the cone $Π_q$ of positive semidefinite $q\times q$-matrices and show that they appear as (locally) uniform limits of spherical functions of $(G_p,K_p)$ as $p\to\infty$. The latter are given by Bessel functions on $Π_q$. Moreover, we determine all positive definite Olshanski spherical functions and discuss related positive integral representations for matrix Bessel functions. We also extend the results to the pairs $(M_{p,q} \rtimes (U_p\times U_q),(U_p\times U_q))$ which are related to the Cartan motion groups of non-compact Grassmannians. Here Dunkl-Bessel functions of type B (for finite $p$) and of type A (for $p\to\infty$) appear as spherical functions.
Kleine Beiträge zur Numismatik
Creators: name: Aus'm Weerth, Ernst
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 66 (1879): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Additional file 1 of High relative amount of nodular calcification in femoral plaques is associated with milder lower extremity arterial disease
Creators: name: Azeez, Mae
name: Laivuori, Mirjami
name: Tolva, Johanna
name: Linder, Nina
name: Lundin, Johan
name: Albäck, Anders
name: Venermo, Maarit
name: Mäyränpää, Mikko I.
name: Lokki, Marja-Liisa
name: Lokki, A. Inkeri
name: Sinisalo, Juha
Publisher: name: figshare
Year: 2023
Subjects: subject: Biophysics
subject: Space Science
subject: Medicine
subject: Physiology
subject: FOS: Biological sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 60506 Virology

description: Additional file 1.
On Reliability: A Mathematical Fault Tree
Creators: name: M.S. Fahmy
name: A.I. Ahmed
name: M. Khalil
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Reliability
Mathematical Modeling
Analysis of Fault Tree
Serial and Parallel Systems

description: Fault tree analysis (FTA) is a top down approach that was initially used and developed in Bell laboratories in the year 1962 by H Watson and A Mearns for the intercontinental ballistic missile (ICBM) system for the US air force called the Minuteman System. Since then, the technique has been adopted and adapted by many companies who are interested in reliability engineering and dangerous technology. Today FTA is widely used in system safety and reliability engineering, aerospace, nuclear power, chemical and process, pharmaceutical, petrochemical and other high-hazard industries; but is also used in fields as diverse as risk factor identification relating to social service system failure and in software engineering for debugging purposes and is closely related to cause-elimination technique used to detect bugs. Now FTA is considered as one of the most important system reliability and safety analysis techniques. Fault tree analysis has proved to be a useful analytical tool to analyze the potential for system or machine failure by graphically and mathematically representing the system itself. It is a top-down approach that reverse-engineers the root causes of a potential failure through the root cause analysis process. Our main contribution is to develop a mathematical theory of fault tree analysis using some statistical concepts relating to probability of series and parallel systems to set up a mathematical model that represent any hierarchical control system to calculate its reliability for both homogeneous and non-homogeneous structures. A Fault Tree is a hierarchical model used to analyze the probability that an event will occur. Fault Tree provides all the tools needed to build graphic representations of large-scale problems gracefully so we can use it to set up a mathematical model that represent any hierarchical control system and evaluate its reliability using our general mathematical formula that represent the structure in its two cases. The graphical representation (fault tree diagram) for a hierarchical controlled system enabled us to set up a mathematical general formula that help us to evaluate the reliability of the system in general case (non-homogeneous structure) and another derived formula for the special case (homogeneous structure). This analysis may help to understand how one or more small failure events lead to a catastrophic failure.
Zur Urgeschichte von Mainz, Castel und Heddernheim
Creators: name: Becker, Jakob
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 67 (1879): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Refined Enumeration of Corners in Tree-like Tableaux
Creators: name: Yan, Sherry H. F.
name: Zhou, Robin D. P.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics

description: Tree-like tableaux are certain fillings of Ferrers diagrams originally introduced by Aval et al., which are in simple bijections with permutation tableaux coming from Postnikov's study of totally nonnegative Grassmanian and alternative tableaux introduced by Viennot. In this paper, we confirm two conjectures of Gao et al. on the refined enumeration of non-occupied corners in tree-like tableaux and symmetric tree-like tableaux via intermediate structures of alternative tableaux, linked partitions, type $B$ alternative tableaux and type $B$ linked partitions.
ON STRESS STRENGTH RELIABILITY ESTIMATION OF EXPONENTIAL INTERVENED POISSON DISTRIBUTION
Creators: name: K. Jayakumar
name: C.J. Rehana
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: maximum likelihood estimation
percentile ranked set sampling
ranked set sampling
stress strength reliability

description: Aim. Inferences on stress strength reliability has many applications in reliability theory. In this paper, we made a comparative study of Simple random sampling, Ranked set sampling and Percentile ranked set sampling by considering the estimation of stress strength reliability when the stress and strength are independently following Exponential Intervened Poisson distribution. Methods. We used the method of Maximum likelihood estimation for finding the estimate of stress strength reliability. The efficiency of the proposed estimators of stress strength reliability using three sampling schemes are compared via a Monte Carlo simulation study. Also at the end of the study a real life data set is analyzed to understand the usefulness of the study. Results. The findings in this study are the stress strength reliability estimates under Percentile ranked set sampling performs better than the corresponding ones under Simple random sampling and Ranked set sampling. Conclusion. So we can conclude that making refinements in Ranked set sampling increases the efficiency of estimators by minimizing the chance of incorrect ranking.
Some remarks on connectors and groupoids in Goursat categories
Creators: name: Gran, Marino
name: Rodelo, Diana
name: Nguefeu, Idriss Tchoffo
Publisher: name: arXiv
Year: 2017
Subjects: subject: Category Theory (math.CT)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 08C05, 08B05, 08A30, 08B10, 18C05, 18E10

description: We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb C$ is. This implies that Goursat categories can be characterised in terms of a simple property of internal groupoids.
description: 14 pages, revised version (minor corrections)
In welche Zeit ist der Bau der Römerstrasse über den Hunsrücken zu setzen?
Creators: name: Möller, Fritz
Publisher: name: Bonner Jahrbücher
Year: 2017

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 68 (1880): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Is there vacuum when there is mass? Vacuum and non-vacuum solutions for massive gravity
Creators: name: Martin-Moruno, Prado
name: Visser, Matt
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Massive gravity is a theory which has a tremendous amount of freedom to describe different cosmologies; but at the same time the various solutions one encounters must fulfill some rather nontrivial constraints. Most of the freedom comes not from the Lagrangian, which contains only a small number of free parameters (typically 3 depending on counting conventions), but from the fact that one is in principle free to choose the background reference metric almost arbitrarily --- which effectively introduces a non-denumerable infinity of free parameters. In the current paper we stress that although changing the reference metric would lead to a different cosmological model, this does not mean that the dynamics of the universe can be entirely divorced from its matter content. That is, while the choice of reference metric certainly influences the evolution of the physically observable foreground metric, the effect of matter cannot be neglected. Nevertheless, the relation between matter and geometry can be significantly changed in some specific models; effectively since the graviton would be able to curve the spacetime by itself, without the need of matter. Thus, even the set of vacuum solutions for massive gravity can have significant structure. On the other hand, in some cases the effect of the reference metric could be so strong that no conceivable material content would be able to drastically affect the cosmological evolution.
description: V1: 9 pages. V2: 10 pages, 5 references added. V3: 11 pages, some discussion added. This version accepted for publication in Classical and Quantum Gravity
Spectra of random graphs with arbitrary expected degrees
Creators: name: Nadakuditi, Raj Rao
name: Newman, M. E. J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Social and Information Networks (cs.SI)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: We study random graphs with arbitrary distributions of expected degree and derive expressions for the spectra of their adjacency and modularity matrices. We give a complete prescription for calculating the spectra that is exact in the limit of large network size and large vertex degrees. We also study the effect on the spectra of hubs in the network, vertices of unusually high degree, and show that these produce isolated eigenvalues outside the main spectral band, akin to impurity states in condensed matter systems, with accompanying eigenvectors that are strongly localized around the hubs. We also give numerical results that confirm our analytic expressions.
description: 14 pages, 5 figures
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Creators: name: Castiglioni, Valentina
name: Gebler, Daniel
name: Tini, Simone
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.2

description: We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to reduce the satisfaction problem of a formula for a process to verifying whether its subprocesses satisfy certain formulae obtained from the decomposition. To deal with the probabilistic behavior of processes, and thus with the decomposition of formulae characterizing it, we introduce a SOS-like machinery allowing for the specification of the behavior of open distribution terms. By our decomposition, we obtain (pre)congruence formats for probabilistic bisimilarity, ready similarity and similarity.
Hadronic Contribution to the muon $g-2$ factor
Creators: name: Bodenstein, S.
name: Dominguez, C. A.
name: Schilcher, K.
name: Spiesberger, H.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: The lowest order hadronic contribution to the $g-2$ factor of the muon is analyzed in the framework of the operator product expansion at short distances, and a QCD finite energy sum rule designed to quench the role of the $e^+ e^-$ data. This procedure reduces the discrepancy between experiment and theory, $Δa_μ\equiv a^{EXP}_μ- a^{SM}_μ$, from $Δa_μ= 28.7 (8.0) \times 10^{-10}$ to $Δa_μ= 19.2 (8.0) \times 10^{-10}$, i.e. without changing the uncertainty.
description: Revised version with additional paragraphs
An $ω$-Algebra for Real-Time Energy Problems
Creators: name: Cachera, David
name: Fahrenberg, Uli
name: Legay, Axel
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: We develop a $^*$-continuous Kleene $ω$-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on $^*$-continuous Kleene $ω$-algebras and computability of certain manipulations on real-time energy functions, it follows that reachability and Büchi acceptance in real-time energy automata can be decided in a static way which only involves manipulations of real-time energy functions.
Extensional Semantics for Higher-Order Logic Programs with Negation
Creators: name: Rondogiannis, Panos
name: Symeonidou, Ioanna
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01] for positive higher-order programs. In this way we provide an alternative extensional semantics for higher-order logic programs with negation to the one proposed in [CharalambidisER14]. As an immediate useful consequence of our developments, we define for the language we consider the notions of stratification and local stratification, which generalize the familiar such notions from classical logic programming. We demonstrate that for stratified and locally stratified higher-order logic programs, the proposed semantics never assigns the unknown truth value. We conclude the paper by providing a negative result: we demonstrate that the well-known stable model semantics of classical logic programming, if extended according to the technique of [Bezem99,Bezem01] to higher-order logic programs, does not in general lead to extensional stable models.
description: 24 pages. Submitted to Logical Methods in Computer Science
ON THE INFERENCES AND APPLICATIONS OF WEIBULL HALF LAPLACE{EXPONENTIAL} DISTRIBUTION
Creators: name: Adeyinka S. Ogunsanya
name: Obalowu Job
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Laplace distribution
Half-Laplace distribution
Weibull Half-Laplace distribution
Censored data
Lifetime data
Maximum likelihood estimation

description: The study of probability distribution has expanded the field of statistical modelling of real life data. It has also provided solution to the problems of skewed data which often violate the normality. This research work introduces a new T Half-Lapalace{Exponential} family with a novel Half-Laplace distribution as baseline distribution with specific interest in three-parameter lifetime model called the Weibull-Half-Lapalace{Exponential} (W-HLa{E}) distribution. The W-HLa{E} model is capable of modeling various shapes of aging events. The W-HLa{E} distribution is derived by combining Half-Laplace and Weibull distribution using the quartile function of Exponential distribution. Some of its statistical properties such as the mean, mode, quantile function, median, variance, standard deviation, skewness, and kurtosis are derived. Other statistical properties such as survival function, hazard rate, moments, asymptotic limit, order statistics, and entropy which is the measure of uncertainty of a random variable are derived and studied. The parameter estimation method adopted in this study is the maximum likelihood method. The graphs of W-HLa{E} at different values of shape and scale parameters show that the distribution is unimodal hence the mode is given as 𝑚𝑜𝑑𝑒 = 𝜃 + ((k-1)/k)¹/ᵏ and it is positively skewed with a steep peak. A simulation study is carried on the new proposed distribution using maximum likelihood estimation. The simulation also supported the theoretical expression of the statistical properties of the proposed distribution such as the location parameter does not affect the variance, skewness, and kurtosis of the new distribution. The importance and the flexibility of the proposed distribution in modeling some real life data sets is demonstrated in the research. The results of the study shows that the proposed W-HLa{E} distribution perform better than other disributions in the literature.
Agrippina (Minore) - La madre di Nerone imperatore pel Dr. V. Casagrandi
Creators: name: Düntzer, Heinrich
Publisher: name: Bonner Jahrbücher
Year: 2017

description: Rezension zu: Agrippina (Minore) - La madre di Nerone imperatore pel Dr. V. Casagrandi. - Firenze Tipographia della gazetta d'Italia 1878. S. 110. 8.
description: Bonner Jahrbücher, Bd. 68 (1880): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Some aspects of fluctuations of random walks on R and applications to random walks on R+ with non-elastic reflection at 0
Creators: name: Essifi, Rim
name: Peigné, Marc
name: Raschel, Kilian
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: Primary 60F05, 60G50, Secondary 31C05

description: In this article we refine well-known results concerning the fluctuations of one-dimensional random walks. More precisely, if $(S_n)_{n \geq 0}$ is a random walk starting from 0 and $r\geq 0$, we obtain the precise asymptotic behavior as $n\to\infty$ of $\mathbb P[τ^{>r}=n, S_n\in K]$ and $\mathbb P[τ^{>r}>n, S_n\in K]$, where $τ^{>r}$ is the first time that the random walk reaches the set $]r,\infty[$, and $K$ is a compact set. Our assumptions on the jumps of the random walks are optimal. Our results give an answer to a question of Lalley stated in [9], and are applied to obtain the asymptotic behavior of the return probabilities for random walks on $\mathbb R^+$ with non-elastic reflection at 0.
description: 17 pages, 1 figure
PERFORMABILITY OPTIMISATION OF MULTISTATE COAL HANDLING SYSTEM OF A THERMAL POWER PLANT HAVING SUBSYSTEMS DEPENDENCIES USING PSO AND COMPARATIVE STUDY BY PETRI NETS
Creators: name: Kumar, Sudhir
name: P.C. Tewari
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: Petri Nets
Particle Swarm Optimization
Performability
Decision Support System

description: This paper deals with an analysis methodology for evaluating the performance of a coal handling system utilized in a coal based thermal power plant. To simulate the interactions between the subsystems, a stochastic Petri nets technique is used. A licensed software package named Petri module of GRIF were used for computations. This work addresses the performability and cost multi-objective optimization problem for a series-parallel coal handling system of a thermal power plant having subsystem failure dependencies. Performability of subsystems has been examined in relation to variations in failure and repair rates. The Particle Swarm Optimization Technique, which is based on an algorithm discussed, has been used to optimize the results. Based upon the observation and criticality of failure, the subsystems of the coal handling system were given maintenance order priority. A decision support provided at last which will the maintenance personnel™s to take better and informed decision while forming the maintenance policies. It has been observed that the Crusher and Tippler are crucial components that demand the full attention of plant manager.
A non-local theory of massive gravity
Creators: name: Jaccard, Maud
name: Maggiore, Michele
name: Mitsou, Ermis
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We construct a fully covariant theory of massive gravity which does not require the introduction of an external reference metric, and overcomes the usual problems of massive gravity theories (fatal ghosts instabilities, acausality and/or vDVZ discontinuity). The equations of motion of the theory are non-local, but respect causality. The starting point is the quadratic action proposed in the context of the degravitation idea. We show that it is possible to extended it to a fully non-linear covariant theory. This theory describes the five degrees of freedom of a massive graviton plus a scalar ghost. However, contrary to generic non-linear extensions of Fierz-Pauli massive gravity, the ghost has the same mass m as the massive graviton, independently of the background, and smoothly goes into a non-radiative degree of freedom for m-> 0. As a consequence, for $m\sim H_0$ the vacuum instability induced by the ghost is irrelevant even over cosmological time-scales. We finally show that an extension of the model degravitates a vacuum energy density of order $M_{Planck}^4$ down to a value of order $M_{Planck}^2 m^2$, which for $m \sim H_0$ is of order of the observed value of the vacuum energy density.
description: 45 pages, 2 figs; v2: references and comments added. To appear in PRD
PERFORMANCE AND BEHAVIOR ANALYSIS OF WATER CIRCULATION SYSTEM OF A THERMAL POWER PLANT
Creators: name: Sharma, Seema
name: , Sushma
Publisher: name: Reliability: Theory & Applications
Year: 2023
Subjects: thermal power plant
water circulation system
fuzzy λ–τ technique
trapezoidal fuzzy number

description: This paper analyses the performance and behavior of water circulation system (WCS) of a thermal power plant in fuzzy environment. For this purpose, fuzzy λ–τ technique coupled with petrinet modelling has been used. To address the vagueness in data, trapezoidal fuzzy numbers have been employed in fuzzy λ–τ technique. Various reliability indicators of WCS viz. failure rate, repair time, expected number of failures, mean time between failures, reliability and availability have been computed at ±15%, ±25% and ±40% spreads using fuzzy λ–τ technique. Further, fuzzy values of reliability indicators have been defuzzified employing COA method and the failure dynamics of WCS have been studied on account of decreasing / increasing trends of reliability indicators. The outcomes of this study are of great importance for plant personnel / management to enhance the availability of WCS.