cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Notes on Equitable Partitions into Matching Forests in Mixed Graphs and into $b$-branchings in Digraphs
Creators: name: Takazawa, Kenjiro
Publisher: name: arXiv
Year: 2020
Subjects: subject: Combinatorics (math.CO)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: An equitable partition into branchings in a digraph is a partition of the arc set into branchings such that the sizes of any two branchings differ at most by one. For a digraph whose arc set can be partitioned into $k$ branchings, there always exists an equitable partition into $k$ branchings. In this paper, we present two extensions of equitable partitions into branchings in digraphs: those into matching forests in mixed graphs; and into $b$-branchings in digraphs. For matching forests, Király and Yokoi (2022) considered a tricriteria equitability based on the sizes of the matching forest, and the matching and branching therein. In contrast to this, we introduce a single-criterion equitability based on the number of covered vertices, which is plausible in the light of the delta-matroid structure of matching forests. While the existence of this equitable partition can be derived from a lemma in Király and Yokoi, we present its direct and simpler proof. For $b$-branchings, we define an equitability notion based on the size of the $b$-branching and the indegrees of all vertices, and prove that an equitable partition always exists. We then derive the integer decomposition property of the associated polytopes.
Die römischen Befestigungen und Niederlassungen zwischen Obernburg a. M. und Neustadt i. O.
Creators: name: Hermann Wilhelm, Friedrich Seeger
Publisher: name: Bonner Jahrbücher
Year: 2018

description: [nicht vorhanden / not available]
description: Bonner Jahrbücher, Bd. 72 (1882): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Finite groups with the same join graph as a finite nilpotent group
Creators: name: Lucchini, Andrea
Publisher: name: arXiv
Year: 2020
Subjects: subject: Group Theory (math.GR)
subject: FOS: Mathematics

description: Given a finite group $G,$ we denote by $Δ(G)$ the graph whose vertices are the proper subgroups of $G$ and in which two vertices $H$ and $K$ are joined by an edge if and only if $G=\langle H,K\rangle.$ We prove that if there exists a finite nilpotent group $X$ with $Δ(G)\cong Δ(X),$ then $G$ is supersoluble.
Contribution of APCs to mucosal-associated invariant T cell activation in infectious disease and cancer
Creators: name: Shey, Muki Shehu
name: Balfour, Avuyonke
name: Wilkinson, Katalin Andrea
name: Meintjes, Graeme
Publisher: name: The Francis Crick Institute
Year: 2021
Subjects: subject: Model organisms
subject: Infectious Disease
subject: Human Biology & Physiology
subject: Immunology
subject: FOS: Clinical medicine

description: APCs such as monocytes and dendritic cells are among the first cells to recognize invading pathogens and initiate an immune response. The innate response can either eliminate the pathogen directly, or through presentation of Ags to T cells, which can help to clear the infection. Mucosal-associated invariant T (MAIT) cells are among the unconventional T cells whose activation does not involve the classical co-stimulation during Ag presentation. MAIT cells can be activated either via presentation of unconventional Ags (such as riboflavin metabolites) through the evolutionarily conserved major histocompatibility class I-like molecule, MR1, or directly by cytokines such as IL-12 and IL-18. Given that APCs produce cytokines and can express MR1, these cells can play an important role in both pathways of MAIT cell activation. In this review, we summarize evidence on the role of APCs in MAIT cell activation in infectious disease and cancer. A better understanding of the interactions between APCs and MAIT cells is important in further elucidating the role of MAIT cells in infectious diseases, which may facilitate the design of novel interventions such as vaccines.
Fusible numbers and Peano Arithmetic
Creators: name: Erickson, Jeff
name: Nivasch, Gabriel
name: Xu, Junyan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Combinatorics (math.CO)
subject: Logic (math.LO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 03F30, 03B70, 03F40

description: Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: $0$ is fusible, and whenever $x,y$ are fusible with $|y-x|<1$, the number $(x+y+1)/2$ is also fusible. We prove that the set of fusible numbers, ordered by the usual order on $\mathbb R$, is well-ordered, with order type $\varepsilon_0$. Furthermore, we prove that the density of the fusible numbers along the real line grows at an incredibly fast rate: Letting $g(n)$ be the largest gap between consecutive fusible numbers in the interval $[n,\infty)$, we have $g(n)^{-1} \ge F_{\varepsilon_0}(n-c)$ for some constant $c$, where $F_α$ denotes the fast-growing hierarchy. Finally, we derive some true statements that can be formulated but not proven in Peano Arithmetic, of a different flavor than previously known such statements: PA cannot prove the true statement "For every natural number $n$ there exists a smallest fusible number larger than $n$." Also, consider the algorithm "$M(x)$: if $x<0$ return $-x$, else return $M(x-M(x-1))/2$." Then $M$ terminates on real inputs, although PA cannot prove the statement "$M$ terminates on all natural inputs."
A Clustering Framework for Lexical Normalization of Roman Urdu
Creators: name: Khan, Abdul Rafae
name: Karim, Asim
name: Sajjad, Hassan
name: Kamiran, Faisal
name: Xu, Jia
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computation and Language (cs.CL)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Roman Urdu is an informal form of the Urdu language written in Roman script, which is widely used in South Asia for online textual content. It lacks standard spelling and hence poses several normalization challenges during automatic language processing. In this article, we present a feature-based clustering framework for the lexical normalization of Roman Urdu corpora, which includes a phonetic algorithm UrduPhone, a string matching component, a feature-based similarity function, and a clustering algorithm Lex-Var. UrduPhone encodes Roman Urdu strings to their pronunciation-based representations. The string matching component handles character-level variations that occur when writing Urdu using Roman script.
Potentials for Sponge City Implementation in Sub-Saharan Africa
Creators: name: Thoms, Anna
name: Köster, Stephan
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: sponge city
subject: green infrastructure
subject: Sub-Saharan Africa
subject: urban rainwater management
subject: flood protection
subject: urban planning
subject: rainwater harvesting
subject: climate change
subject: urban growth
subject: African urbanization
subject: Dewey Decimal Classification::300 | Sozialwissenschaften, Soziologie, Anthropologie::330 | Wirtschaft::333 | Boden- und Energiewirtschaft::333,7 | Natürliche Ressourcen, Energie und Umwelt
subject: Dewey Decimal Classification::600 | Technik::690 | Hausbau, Bauhandwerk

description: Despite the growing interest in implementing sponge cities (SPC), their potential is not yet being tapped in many fast-growing Sub-Saharan African cities. This is remarkable because SPC interventions can contribute considerably to increasing water safety and availability in a city. By means of a three-stage potential assessment, this study provides the first analysis of what concrete options can be identified for implementing the SPC concept in Sub-Saharan cities. The methodology was filled with information obtained especially from expert interviews, literature reviews, and satellite imagery. Thus, the analysis also considers what obstacles impede SPC implementation, and, in particular, what technical and socioeconomic constraints need to be taken into account. The cities of Hawassa (Ethiopia), Beira (Mozambique), Kigali (Rwanda), Ouagadougou (Burkina Faso), and Cotonou (Benin) are examined in detail. Additionally, a local SPC implementation was conceptualized and evaluated for two districts in Ouagadougou and Cotonou. The first finding is that, when geographical and socioeconomic aspects such as climatic patterns, migration flows, health risks, and existing infrastructure are sufficiently taken into account, SPC interventions would massively help African cities to mitigate current and urgent challenges such as water scarcity and urban flooding. In terms of water safety, the second key finding is that rainwater harvesting solutions at the household level could be implemented quickly; however, there would be substantial difficulties such as lack of financing and maintenance as well as claims of ownership, especially in informal settlements and slums. Thus, it seems quite promising to directly strive for a rapid “centralization” of SPC implementation in individual neighborhoods. This neighborhood approach paves the way for SPC measures to receive public acceptance and constant maintenance. When this mosaic of implementations comes together, many individual instances of SPC implementation can help to improve urban resilience and living conditions for the city dwellers as is here demonstrated for the districts in Cotonou and Ouagadougou.
Axiomatizing Hybrid XPath with Data
Creators: name: Areces, Carlos
name: Fervari, Raul
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1
subject: 03B70

description: In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended with hybrid operators. First, we present HXPath=, a multi-modal version of XPath with data, extended with nominals and the hybrid operator @. Then, we introduce an axiomatic system for HXPath=, and we prove it is strongly complete with respect to the class of abstract data models, i.e., data models in which data values are abstracted as equivalence relations. We prove a general completeness result similar to the one presented in, e.g., [BtC06], that ensures that certain extensions of the axiomatic system we introduce are also complete. The axiomatic systems that can be obtained in this way cover a large family of hybrid XPath languages over different classes of frames, for which we present concrete examples. In addition, we investigate axiomatizations over the class of tree models, structures widely used in practice. We show that a strongly complete, finitary, first-order axiomatization of hybrid XPath over trees does not exist, and we propose two alternatives to deal with this issue. We finally introduce filtrations to investigate the status of decidability of the satisfiability problem for these languages.
The Bioactive Phenolic Agents Diaryl Ether CVB2-61 and Diarylheptanoid CVB4-57 as Connexin Hemichannel Blockers
Creators: name: Dierks, Anne
name: Vanucci-Bacqué, Corinne
name: Schäfer, Anne-Marie
name: Lehrich, Tina
name: Ruhe, Frederike
name: Schadzek, Patrik
name: Bedos-Belval, Florence
name: Ngezahayo, Anaclet
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: connexin channels
subject: inflammation signals
subject: dye uptake
subject: transepithelial electrical resistance (TEER)
subject: polyphenols
subject: curcuminoids
subject: Calu-3 cells
subject: Dewey Decimal Classification::600 | Technik::610 | Medizin, Gesundheit

description: Inflammation mediators enhance the activity of connexin (Cx) hemichannels, especially in the epithelial and endothelial tissues. As potential release routes for injury signals, such as (oligo)nucleotides, Cx hemichannels may contribute to long-lasting inflammation. Specific inhibition of Cx hemichannels may therefore be a mode of prevention and treatment of long-lasting, chronic sterile inflammation. The activity of Cx hemichannels was analysed in N2A and HeLa cells transfected with human Cx26 and Cx46 as well as in Calu-3 cells, using dye uptake as functional assay. Moreover, the possible impacts of the bioactive phenolic agents CVB2-61 and CVB4-57 on the barrier function of epithelial cells was analysed using Calu-3 cells. Both agents inhibited the dye uptake in N2A cells expressing Cx26 (>5 µM) and Cx46 (>20 µM). In Calu-3 cells, CVB2-61 and CVB4-57 reversibly inhibited the dye uptake at concentrations as low as 5 µM, without affecting the gap junction communication and barrier function, even at concentrations of 20 µM. While CVB2-61 or CVB4-57 maintained a reduced dye uptake in Calu-3 cells, an enhancement of the dye uptake in response to the stimulation of adenosine signalling was still observed after removal of the agents. The report shows that CVB2-61 and CVB4-57 reversibly block Cx hemichannels. Deciphering the mechanisms of the interactions of these agents with Cx hemichannels could allow further development of phenolic compounds to target Cx hemichannels for better and safer treatment of pathologies that involve Cx hemichannels.
Mittelalterliche Ordensbauten in Mainz. Die Kirchen der Dominikaner und Karmelitern. Von Friedrich Schneider
Creators: name: Otte, Heinrich
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Mittelalterliche Ordensbauten in Mainz. Die Kirchen der Dominikaner und Karmelitern. Von Friedrich Schneider. Mainz, Druck von Joh. Falk III, 1879. 4 u. 28 S. Imp.-4 nebst 5 Steindrucktafeln.
description: Bonner Jahrbücher, Bd. 72 (1882): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Antioxidant Effect of Ocimum basilicum Essential Oil and Its Effect on Cooking Qualities of Supplemented Chicken Nuggets
Creators: name: Nadeem, Hafiz Rehan
name: Akhtar, Saeed
name: Ismail, Tariq
name: Qamar, Muhammad
name: Sestili, Piero
name: Saeed, Wisha
name: Azeem, Muhammad
name: Esatbeyoglu, Tuba
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: antioxidant
subject: basil
subject: essential oil
subject: functional food
subject: meat
subject: microbial spoilage
subject: preservative
subject: sensory
subject: shelf life
subject: toxicity
subject: Dewey Decimal Classification::500 | Naturwissenschaften::540 | Chemie
subject: Dewey Decimal Classification::600 | Technik::610 | Medizin, Gesundheit

description: A commonly observed chicken meat issue is its lipid oxidation that leads to deterioration of its organoleptic and nutritional properties and its further-processed products. Basil (Ocimum basilicum L.) is one of the traditional culinary herbs exhibiting food preservation properties. The current study investigated the essential oil composition, antioxidant activity and in vitro cytotoxic capacity of the essential oil of basil indigenous to Pakistan. GC–MS analysis of the essential oil revealed the presence of 59 compounds that constituted 98.6% of the essential oil. O. basilicum essential oil (OB-EO) exhibited excellent antioxidant activity, i.e., IC50 5.92 ± 0.15 µg/mL as assayed by the DPPH assay, 23.4 ± 0.02 µmoL Fe/g by FRAP, and 14.6 ± 0.59% inhibition by H2O2. The brine shrimp lethality assay identified an average mortality of ~18% with OB-EO at 10–1000 µg/mL, while that of the same concentration range of the standard drug (etoposide) was 72%. OB-EO was found to be non-toxic to HeLa and PC-3 cell lines. TBARS contents were significantly decreased with increase of OB-EO in chicken nuggets. The lowest TBARS contents were recorded in nuggets supplemented with 0.3% OB-EO, whereas the highest overall acceptability score was marked to the treatments carrying 0.2% OB-EO. The results suggest OB-EO as a promising carrier of bioactive compounds with a broad range of food preservation properties, and which has a sensory acceptability threshold level for chicken nuggets falling between 0.2-0.3% supplementation. Future research must investigate the antibacterial impact of OB-EO on meat products preserved with natural rather than synthetic preservatives.
Additional file 1 of Is aggressive care appropriate for patients with cancer complicated by pneumonia? A retrospective chart review in a tertiary hospital
Creators: name: Aramrat, Chanchanok
name: Ratanasiri, Thawalrat
name: Gomutbutra, Patama
Publisher: name: figshare
Year: 2023
Subjects: Medicine
Pharmacology
Biotechnology
Marine Biology
Cancer
Science Policy
Computational Biology

description: Additional file 1.
Additional file 1 of Combining unsupervised, supervised and rule-based learning: the case of detecting patient allergies in electronic health records
Creators: name: Berge, Geir Thore
name: Granmo, Ole-Christoffer
name: Tveit, Tor Oddbjørn
name: Ruthjersen, Anna Linda
name: Sharma, Jivitesh
Publisher: name: figshare
Year: 2023
Subjects: subject: Artificial Intelligence and Image Processing
subject: FOS: Computer and information sciences
subject: Information Systems

description: Additional file 1.
An investigation into the role of self-control and self-regulation processes in endurance exercise performance
Creators: name: Bird, John
Publisher: name: Loughborough University
Year: 2021
Subjects: subject: 119999 Medical and Health Sciences not elsewhere classified
subject: FOS: Other medical sciences

description: Self-control is a complex topic in psychology and has been the subject of significant debate in recent years. This thesis presents four studies designed to investigate a variety of factors relevant to self-control in the context of endurance exercise. The propensity of self-control to diminish with use has been under critical investigation, and the precise mechanisms through which depletion occurs in different situations remain unclear. In endurance exercise, individuals generally regulate their effort through their experience of perceived exertion and affect, however the degree to which this is influenced by differing motivational stimuli and contexts has not been adequately investigated. Additionally, given the ideographic nature of self-control, the role of individual differences has yet to be fully appreciated, particularly with respect to the personal meaning ascribed to self-control tasks. At a fundamental level, core psychological experiences also differ between individuals, and appear likely to play an important role in the process of self-control.Following a literature review in the first chapter, Chapter Two investigated whether the depletion of self-control could be produced through different pathways depending on the particular demands of the depleting task. Following this, Chapter Three examined whether the valence of performance feedback would alter the processes through which cyclists pace their effort expenditure during an endurance time trial. Moving towards a focus on the role of individual differences in the process of self-control, Chapter Four investigated the role of task identity relevance on endurance exercise performance. Chapter Five examined core psychological experiences (i.e., individuals’ sense of agency, strength of identity, and causal attributions) and their perceived impact on active self-control strategies during endurance running. Lastly, Chapter Six discusses the main findings and implications of the thesis, and highlights areas for further research.The findings of this thesis indicate that attempts to replicate the depletion of self-control may be undermined by conflicting impacts of different pathways, with prior tasks simultaneously increasing and decreasing the chances of future self-control success. The relationship between perceived exertion and endurance exercise performance is variable depending on the exercise context. The identity relevance of a self-control task is an important determinant of self-control success, with an increase in the personal relevance of an endurance task producing greater performance. Lastly, the use of self-control strategies during an exercise bout is dependent on an individual’s sense of agency, with a high positive sense of agency, and low negative sense of agency beneficial for self-control.
What's Up in the Milky Way? The Orientation of the Disc Relative to the Triaxial Halo
Creators: name: Debattista, Victor P.
name: Roskar, Rok
name: Valluri, Monica
name: Quinn, Thomas
name: Moore, Ben
name: Wadsley, James
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: Models of the Sagittarius Stream have consistently found that the Milky Way disc is oriented such that its short axis is along the intermediate axis of the triaxial dark matter halo. We attempt to build models of disc galaxies in such an `intermediate-axis orientation'. We do this with three models. In the first two cases we simply rigidly grow a disc in a triaxial halo such that the disc ends up perpendicular to the global intermediate axis. We also attempt to coax a disc to form in an intermediate-axis orientation by producing a gas+dark matter triaxial system with gas angular momentum about the intermediate axis. In all cases we fail to produce systems which remain with stellar angular momentum aligned with the halo's intermediate axis, even when the disc's potential flattens the inner halo such that the disc is everywhere perpendicular to the halo's local minor axis. For one of these unstable simulations we show that the potential is even rounder than the models of the Milky Way potential in the region probed by the Sagittarius Stream. We conclude that the Milky Way's disc is very unlikely to be in an intermediate axis orientation. However we find that a disc can persist off one of the principal planes of the potential. We propose that the disc of the Milky Way must be tilted relative to the principal axes of the dark matter halo. Direct confirmation of this prediction would constitute a critical test of Modified Newtonian Dynamics.
description: 12 pages, 13 figures. Updated to reflect the accepted version which has some further discussion and more references, corrects an error in the literature which modifies figure 7 slightly, includes an additional figure, adds results from further evolution of one of the simulations and other minor changes. None of the conclusions of the paper are changed as a result
Accelerated Thermalisation of 39K atoms in a Magnetic Trap with Superimposed Optical Potential
Creators: name: Nath, Dipankar
name: Easwaran, R Kollengode
name: Rajalakshmi, G.
name: Unnikrishnan, C. S.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We report the rapid accelerated thermalisation of Potassium 39 K atoms loaded in a magnetic trap, in the presence of a single dipole trap beam. More than an order of magnitude reduction in the thermalisation time, to less than a second, is observed with the focused off- resonant beam occupying only 0.01% of the volume of the magnetic trap. The cold atoms are loaded from a Magneto-Optical Trap(MOT) of 39 K that has gone through a compressed MOT and sub-Doppler cooling stage. The atoms are prepared in the magnetically stretched |F = 2, mF = 2> state prior to loading into the hybrid trap. We also report a direct loading of 39 K atoms, prepared in the state |F = 1>, into a single beam dipole trap.
description: Submitted to Journal of Physics B: Atomic, Molecular and Optical Physics
Ytterbium in quantum gases and atomic clocks: van der Waals interactions and blackbody shifts
Creators: name: Safronova, M. S.
name: Porsev, S. G.
name: Clark, Charles W.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: Quantum Gases (cond-mat.quant-gas)
subject: Optics (physics.optics)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We evaluated the C_6 coefficients of Yb-Yb and Yb -alkali/group II van der Waals interactions with 2% uncertainty. The only existing results for such quantities are for the Yb-Yb dimer. Our value, C_6=1929(39) a.u., is in excellent agreement with the recent experimental determination of 1932(35) a.u. We have also developed a new approach for the calculation of the dynamic correction to the blackbody radiation shift. We have calculated this quantity for the Yb 6s^2 ^1S_0 - 6s6p ^3P_0 clock transition with 3.5% uncertainty. This reduces the fractional uncertainty due to the blackbody radiation shift in the Yb optical clock at 300 K to 10^{-18} level.
description: 5 pages
title: Prospect of the Combined Use of Lysosomotropic Agents, Gene-Editing and nNE Adjuvant Biogenic Clones for the Effective Prevention of Community Transmission of SARS-CoV-2/COVID-19 and Emerging Coronavirus Infections
Creators: name: Pulido-Cejudo, Gabriel
name: Humphries, Peter
name: El Abdaimi, Khadija
name: Kar, Bratati
name: Pulido-Cejudo, Abraham
Publisher: name: ICAHRIS
Year: 2020

description: Throughout the course of the last days of December, 2019, information first shared on public media described the emergence of new cases of pneumonia of unknown origin taking place in the city of Wuhan, capital of the Hubei province, located in central China, with an estimated population of 11 million inhabitants.  Some of these early broad-spectrum reports have been rightfully attributed to ophthalmologist Dr Li Wenliang, who had been working at Wuhan Central Hospital since 2014.  On December 30, 2019, Dr Wenliang unofficially and privately shared with some colleagues the emergence of a disease that shared some close resemblances to the severe acute respiratory syndrome (SARS) illness that first took place on December 16, 2002, in the Guangdong Province of China, near Hong Kong.
Additional file 1 of Myasthenia gravis - a retrospective analysis of e-mail inquiries made to a patient organisation and specialized center to uncover unmet needs from patients and caregivers
Creators: name: Stein, Maike
name: Hoffmann, Sarah
name: Gerischer, Lea
name: Stascheit, Frauke
name: Legg, David
name: Meisel, Andreas
name: Lehnerer, Sophie
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 1.
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Creators: name: Mannaa, Bassel
name: Møgelberg, Rasmus Ejlers
name: Veltri, Niccolò
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step-indexing. CloTT has previously been shown to enjoy a number of syntactic properties including strong normalisation, canonicity and decidability of the equational theory. In this paper we present a denotational semantics for CloTT useful, e.g., for studying future extensions of CloTT with constructions such as path types. The main challenge for constructing this model is to model the notion of ticks on a clock used in CloTT for coinductive reasoning about coinductive types. We build on a category previously used to model guarded recursion with multiple clocks. In this category there is an object of clocks but no object of ticks, and so tick-assumptions in a context can not be modelled using standard tools. Instead we model ticks using dependent right adjoint functors, a generalisation of the category theoretic notion of adjunction to the setting of categories with families. Dependent right adjoints are known to model Fitch-style modal types, but in the case of CloTT, the modal operators constitute a family indexed internally in the type theory by clocks. We model this family using a dependent right adjoint on the slice category over the object of clocks. Finally we show how to model the tick constant of CloTT using a semantic substitution. This work improves on a previous model by the first two named authors which not only had a flaw but was also considerably more complicated.
description: 31 pages. Second version is a minor revision. arXiv admin note: text overlap with arXiv:1804.06687
A message passing framework with multiple data integration for miRNA-disease association prediction
Creators: name: Dong, Thi Ngan
name: Schrader, Johanna
name: Mücke, Stefanie
name: Khosla, Megha
Publisher: name: [London] : Macmillan Publishers Limited, part of Springer Nature
Year: 2022
Subjects: subject: Algorithms
subject: Computational Biology
subject: MicroRNAs
subject: biology
subject: genetics
subject: Dewey Decimal Classification::500 | Naturwissenschaften
subject: Dewey Decimal Classification::600 | Technik

description: Micro RNA or miRNA is a highly conserved class of non-coding RNA that plays an important role in many diseases. Identifying miRNA-disease associations can pave the way for better clinical diagnosis and finding potential drug targets. We propose a biologically-motivated data-driven approach for the miRNA-disease association prediction, which overcomes the data scarcity problem by exploiting information from multiple data sources. The key idea is to enrich the existing miRNA/disease-protein-coding gene (PCG) associations via a message passing framework, followed by the use of disease ontology information for further feature filtering. The enriched and filtered PCG associations are then used to construct the inter-connected miRNA-PCG-disease network to train a structural deep network embedding (SDNE) model. Finally, the pre-trained embeddings and the biologically relevant features from the miRNA family and disease semantic similarity are concatenated to form the pair input representations to a Random Forest classifier whose task is to predict the miRNA-disease association probabilities. We present large-scale comparative experiments, ablation, and case studies to showcase our approach’s superiority. Besides, we make the model prediction results for 1618 miRNAs and 3679 diseases, along with all related information, publicly available at http://software.mpm.leibniz-ai-lab.de/ to foster assessments and future adoption.
Ratcheted molecular-dynamics simulations identify efficiently the transition state of protein folding
Creators: name: Tiana, Guido
name: Camilloni, Carlo
Publisher: name: arXiv
Year: 2012
Subjects: subject: Biomolecules (q-bio.BM)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Biological sciences
subject: FOS: Physical sciences

description: The atomistic characterization of the transition state is a fundamental step to improve the understanding of the folding mechanism and the function of proteins. From a computational point of view, the identification of the conformations that build out the transition state is particularly cumbersome, mainly because of the large computational cost of generating a statistically-sound set of folding trajectories. Here we show that a biasing algorithm, based on the physics of the ratchet-and-pawl, can be used to identify efficiently the transition state. The basic idea is that the algorithmic ratchet exerts a force on the protein when it is climbing the free-energy barrier, while it is inactive when it is descending. The transition state can be identified as the point of the trajectory where the ratchet changes regime. Besides discussing this strategy in general terms, we test it within a protein model whose transition state can be studied independently by plain molecular dynamics simulations. Finally, we show its power in explicit-solvent simulations, obtaining and characterizing a set of transition--state conformations for ACBP and CI2.
I’m fine with collecting data: Engagement profiles differ depending on scientific activities in an online community of a citizen science project
Creators: name: Bruckermann, Till
name: Greving, Hannah
name: Stillfried, Milena
name: Schumann, Anke
name: Brandt, Miriam
name: Harms, Ute
Publisher: name: San Francisco, California, US : PLOS
Year: 2022
Subjects: subject: Citizen Science
subject: Humans
subject: adult
subject: cluster analysis
subject: data analysis
subject: Dewey Decimal Classification::500 | Naturwissenschaften
subject: Dewey Decimal Classification::600 | Technik::610 | Medizin, Gesundheit

description: Digital technologies facilitate collaboration between citizens and scientists in citizen science (CS) projects. Besides the facilitation of data transmission and access, digital technologies promote novel formats for education in CS by including citizens in the process of collecting, analyzing, and discussing data. It is usually assumed that citizens profit more from CS the more they participate in the different steps of the scientific process. However, it has so far not been analyzed whether citizens actually engage in these steps. Therefore, we investigated citizens’ actual engagement in different scientific steps online (i.e., data collection and data analysis) in two field studies of a CS project. We then compared them with other CS projects. We analyzed behavioral engagement patterns of N = 273 participants with activity logs and cluster analyses. Opportunities to engage in different steps of the scientific process increased participants’ overall commitment compared to contributory CS projects. Yet, despite their increased commitment, participants’ engagement was only more active for data collection but not for data analysis. We discuss how participants’ perceived role as data collectors influenced their actual engagement in the scientific steps. To conclude, citizens may need support to change their role from data collectors to data inquirers.
Query-points visibility constraint minimum link paths in simple polygons
Creators: name: Zarrabi, Mohammad Reza
name: Charkari, Nasrollah Moghaddam
Publisher: name: arXiv
Year: 2020
Subjects: subject: Computational Geometry (cs.CG)
subject: FOS: Computer and information sciences

description: We study the query version of constrained minimum link paths between two points inside a simple polygon $P$ with $n$ vertices such that there is at least one point on the path, visible from a query point. The method is based on partitioning $P$ into a number of faces of equal link distance from a point, called a link-based shortest path map (SPM). Initially, we solve this problem for two given points $s$, $t$ and a query point $q$. Then, the proposed solution is extended to a general case for three arbitrary query points $s$, $t$ and $q$. In the former, we propose an algorithm with $O(n)$ preprocessing time. Extending this approach for the latter case, we develop an algorithm with $O(n^3)$ preprocessing time. The link distance of a $q$-$visible$ path between $s$, $t$ as well as the path are provided in time $O(\log n)$ and $O(m+\log n)$, respectively, for the above two cases, where $m$ is the number of links.
Chemical Profile of Cyperus laevigatus and Its Protective Effects against Thioacetamide-Induced Hepatorenal Toxicity in Rats
Creators: name: Ayoub, Iriny M.
name: El-Baset, Marawan A.
name: Elghonemy, Mai M.
name: Bashandy, Samir A. E.
name: Ibrahim, Fatma A. A.
name: Ahmed-Farid, Omar A. H.
name: El Gendy, Abd El-Nasser G.
name: Afifi, Sherif M.
name: Esatbeyoglu, Tuba
name: Farrag, Abdel Razik H.
name: Farag, Mohamed A.
name: Elshamy, Abdelsamed I.
Publisher: name: Basel : MDPI
Year: 2022
Subjects: subject: smooth flatsedge
subject: flavonoids
subject: aurones
subject: oxidative stress
subject: hepatorenal injuries
subject: inflammation markers
subject: histopathology
subject: Dewey Decimal Classification::500 | Naturwissenschaften::540 | Chemie

description: Cyperus species represent a group of cosmopolitan plants used in folk medicine to treat several diseases. In the current study, the phytochemical profile of Cyperus laevigatus ethanolic extract (CLEE) was assessed using UPLC-QTOF–MS/MS. The protective effect of CLEE at 50 and 100 mg /kg body weight (b.w.) was evaluated on hepatorenal injuries induced by thioacetamide (100 mg/kg) via investigation of the extract’s effects on oxidative stress, inflammatory markers and histopathological changes in the liver and kidney. UPLC-QTOF–MS/MS analysis of CLEE resulted in the identification of 94 compounds, including organic and phenolic acids, flavones, aurones, and fatty acids. CLEE improved the antioxidant status in the liver and kidney, as manifested by enhancement of reduced glutathione (GSH) and coenzyme Q10 (CoQ10), in addition to the reduction in malondialdehyde (MDA), nitric oxide (NO), and 8-hydroxy-2′-deoxyguanosine (8OHdG). Moreover, CLEE positively affected oxidative stress parameters in plasma and thwarted the depletion of hepatorenal ATP content by thioacetamide (TAA). Furthermore, treatment of rats with CLEE alleviated the significant increase in plasma liver enzymes, kidney function parameters, and inflammatory markers. The protective effect of CLEE was confirmed by a histopathological study of the liver and kidney. Our results proposed that CLEE may reduce TAA-hepatorenal toxicity via its antioxidant and anti-inflammatory properties suppressing oxidative stress.
Enhanced cognitive performance after multiple adaptations to visuomotor transformations
Creators: name: Schmitz, Gerd
Publisher: name: San Francisco, California, US : PLOS
Year: 2022
Subjects: subject: Adaptation, Physiological
subject: Cognition
subject: Feedback, Sensory
subject: Humans
subject: Movement
subject: Dewey Decimal Classification::500 | Naturwissenschaften
subject: Dewey Decimal Classification::600 | Technik::610 | Medizin, Gesundheit

description: Several studies reported that adaptation to a visuomotor transformation correlates with the performance in cognitive performance tests. However, it is unclear whether there is a causal relationship between sensorimotor adaptation and cognitive performance. The present study examined whether repeated adaptations to double steps and rotated feedback increase cognitive performance assessed by neuropsychological tests in a pre-post design. The participants of the intervention group adapted in 24 sessions their hand movements to visuomotor transformations with increasing size. Pre-post changes were significantly larger in the intervention group than in a control group without training. This result suggests a causal relationship between sensorimotor adaptation training and cognitive performance.
Additional file 1 of Neuropathology of yellow fever autopsy cases
Creators: name: Frassetto, Fernando Pereira
name: Rosemberg, Sergio
Publisher: name: figshare
Year: 2023
Subjects: subject: Biochemistry
subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Physiology
subject: Biotechnology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases

description: Additional file 1. Inclusion and exclusion criteria of cases and controls.
A limitation on the KPT interpolation
Creators: name: Krajíček, Jan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic (math.LO)
subject: Computational Complexity (cs.CC)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences
subject: F.4.1
subject: 03F20, 68Q15

description: We prove a limitation on a variant of the KPT theorem proposed for propositional proof systems by Pich and Santhanam (2020), for all proof systems that prove the disjointness of two NP sets that are hard to distinguish.
Zwei römische Thonlampen aus Köln
Creators: name: Herstatt, Ed.
name: Schaaffhausen, Hermann
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 88 (1889): Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Spatially partitioned embedded Runge-Kutta methods
Creators: name: Ketcheson, David I.
name: Macdonald, Colin B.
name: Ruuth, Steven J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics

description: We study spatially partitioned embedded Runge--Kutta (SPERK) schemes for partial differential equations (PDEs), in which each of the component schemes is applied over a different part of the spatial domain. Such methods may be convenient for problems in which the smoothness of the solution or the magnitudes of the PDE coefficients vary strongly in space. We focus on embedded partitioned methods as they offer greater efficiency and avoid the order reduction that may occur in non-embedded schemes. We demonstrate that the lack of conservation in partitioned schemes can lead to non-physical effects and propose conservative additive schemes based on partitioning the fluxes rather than the ordinary differential equations. A variety of SPERK schemes are presented, including an embedded pair suitable for the time evolution of fifth-order weighted non-oscillatory (WENO) spatial discretizations. Numerical experiments are provided to support the theory.
Bericht über die Verwaltung des Provinzialmuseums in Bonn vom 1. April 1922 bis 31. März 1923
Creators: name: Lehner, Hans
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Bonner Jahrbücher, Bd. 128 (1923): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Kinetic theory of jet dynamics in the stochastic barotropic and 2D Navier-Stokes equations
Creators: name: Bouchet, Freddy
name: Nardini, Cesare
name: Tangarife, Tomás
Publisher: name: arXiv
Year: 2013
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We discuss the dynamics of zonal (or unidirectional) jets for barotropic flows forced by Gaussian stochastic fields with white in time correlation functions. This problem contains the stochastic dynamics of 2D Navier-Stokes equation as a special case. We consider the limit of weak forces and dissipation, when there is a time scale separation between the inertial time scale (fast) and the spin-up or spin-down time (large) needed to reach an average energy balance. In this limit, we show that an adiabatic reduction (or stochastic averaging) of the dynamics can be performed. We then obtain a kinetic equation that describes the slow evolution of zonal jets over a very long time scale, where the effect of non-zonal turbulence has been integrated out. The main theoretical difficulty, achieved in this work, is to analyze the stationary distribution of a Lyapunov equation that describes quasi-Gaussian fluctuations around each zonal jet, in the inertial limit. This is necessary to prove that there is no ultraviolet divergence at leading order in such a way that the asymptotic expansion is self-consistent. We obtain at leading order a Fokker--Planck equation, associated to a stochastic kinetic equation, that describes the slow jet dynamics. Its deterministic part is related to well known phenomenological theories (for instance Stochastic Structural Stability Theory) and to quasi-linear approximations, whereas the stochastic part allows to go beyond the computation of the most probable zonal jet. We argue that the effect of the stochastic part may be of huge importance when, as for instance in the proximity of phase transitions, more than one attractor of the dynamics is present.
Additional file 1 of Design and development of a mobile-based self-care application for patients with depression and anxiety disorders
Creators: name: Moulaei, Khadijeh
name: Bahaadinbeigy, Kambiz
name: Mashoof, Esmat
name: Dinari, Fatemeh
Publisher: name: figshare
Year: 2023
Subjects: subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Supplementary Material 1
Creating and detecting micro-macro photon-number entanglement by amplifying and de-amplifying a single-photon entangled state
Creators: name: Ghobadi, Roohollah
name: Lvovsky, Alexander
name: Simon, Christoph
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We propose a scheme for the observation of micro-macro entanglement in photon number based on amplifying and de-amplifying a single-photon entangled state in combination with homodyne quantum state tomography. The created micro-macro entangled state, which exists between the amplification and de-amplification steps, is a superposition of two components with mean photon numbers that differ by approximately a factor of three. We show that for reasonable values of photon loss it should be possible to detect micro-macro photon-number entanglement where the macro system has a mean number of one hundred photons or more.
description: 4 pages, 4 figures
Bundles with even-dimensional spherical space form as fibers and fiberwise quarter pinched Riemannian metrics
Creators: name: Corro, Diego
name: Garcia, Karla
name: Günther, Martin
name: Kordaß, Jan-Bernhard
Publisher: name: arXiv
Year: 2020
Subjects: subject: Geometric Topology (math.GT)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 57R22, 53C10

description: Let $E$ be a smooth bundle with fiber an $n$-dimensional real projective space $\mathbb{R}P^n$. We show that, if every fiber carries a positively curved pointwise strongly $1/4$-pinched Riemannian metric that varies continuously with respect to its base point, then the structure group of the bundle reduces to the isometry group of the standard round metric on $\mathbb{R}P^n$.
description: 11 pages, to appear in Proceedings of the American Mathematical Society
Security Details for Bit Commitment by Transmitting Measurement Outcomes
Creators: name: Croke, Sarah
name: Kent, Adrian
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Cryptography and Security (cs.CR)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We spell out details of a simple argument for a security bound for the secure relativistic quantum bit commitment protocol of Ref. [1].
description: arXiv admin note: text overlap with arXiv:1108.2879
Computing with Continuous Objects: A Uniform Co-inductive Approach
Creators: name: Spreen, Dieter
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Dynamical Systems (math.DS)
subject: General Topology (math.GN)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: F.4.1
subject: 03D78, 03F60

description: A uniform approach to computing with infinite objects like real numbers, tuples of these, compacts sets, and uniformly continuous maps is presented. In work of Berger it was shown how to extract certified algorithms working with the signed digit representation from constructive proofs. Berger and the present author generalised this approach to complete metric spaces and showed how to deal with compact sets. Here, we unify this work and lay the foundations for doing a similar thing for the much more comprehensive class of compact Hausdorff spaces occurring in applications. The approach is of the same computational power as Weihrauch's Type-Two Theory of Effectivity.
description: 46 pages
Additional file 1 of Establishment of local diagnostic reference levels for common adult CT examinations: a multicenter survey in Addis Ababa
Creators: name: Kumsa, Marema Jebessa
name: Nguse, Teklehaimanot Mezgebe
name: Ambessa, Haleluya Biredaw
name: Gele, Tesfaye Tefera
name: Fantaye, Wondemu Geteye
name: Dellie, Seife Teferi
Publisher: name: figshare
Year: 2023
Subjects: subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Hematology

description: Additional file 1. Appendix A. Survey Questionnaire.
Cores over Ramsey structures
Creators: name: Mottet, Antoine
name: Pinsker, Michael
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic (math.LO)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We prove that if an $ω$-categorical structure has an $ω$-categorical homogeneous Ramsey expansion, then so does its model-complete core.
description: 9 pages