cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Towards Evaluating Size Reduction Techniques for Software Model Checking
Creators: name: Sallai, Gyula
name: Hajdu, Ákos
name: Tóth, Tamás
name: Micskei, Zoltán
Publisher: name: arXiv
Year: 2017
Subjects: subject: Software Engineering (cs.SE)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.g. that no erroneous state can occur during execution). Unfortunately, transformations from source code to a formal model often yield large and complex models, making the verification process inefficient and costly. In order to reduce the size of the resulting model, optimization transformations can be used. Such optimizations include common algorithms known from compiler design and different program slicing techniques. Our paper describes a framework for transforming C programs to a formal model, enhanced by various optimizations for size reduction. We evaluate and compare several optimization algorithms regarding their effect on the size of the model and the efficiency of the verification. Results show that different optimizations are more suitable for certain models, justifying the need for a framework that includes several algorithms.
description: In Proceedings VPT 2017, arXiv:1708.06887
Tropaeolum peregrinum Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Capparales
Tropaeolaceae
Tropaeolum
Tropaeolum peregrinum

description: Tropaeolum peregrinum, spec. nov.
3. Tropaeolum foliis palmatis, petalis multifidis.
 Cardamindum quinquefolii folio, vulgo Malla. Few. peruv. 2. p. 756. t.42.
 Habitat in Peru , nondum mihi visa in Europa. ☉
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 345, DOI: 10.5281/zenodo.3931989
Influence of strongly coupled, hidden scalars on Higgs signals
Creators: name: Binoth, T.
name: van der Bij, J. J.
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: To investigate the possible effects of a light hidden sector on Higgs boson detection, we discuss a model of scalar singlets coupled to the Standard Model. The model effectively makes the Higgs width a free parameter due to additional invisible decay modes. This width can become arbitrarily large. Theoretical and experimental bounds on model parameters are presented. It is shown, how Standard Model predictions change and that in the case of large coupling, Higgs signals will be diluted. We study, to which extent such a strongly coupled, hidden sector can be excluded by present and future Higgs search experiments.
description: 22 pages, Latex, 12 figures embedded with epsf.sty and epsfig.sty, to appear in Z. Phys. C
Decoy state quantum key distribution with imperfect source
Creators: name: Huang, Anqi
name: Sun, Shi-Hai
name: Liu, Zhihong
name: Makarov, Vadim
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The decoy state protocol has been considered to be one of the most important methods to protect the security of quantum key distribution (QKD) with a weak coherent source. Here we test two experimental approaches to generating the decoy states with different intensities: modulation of the pump current of a semiconductor laser diode, and external modulation by an optical intensity modulator. The former approach shows a side-channel in the time domain that allows an attacker to distinguish s signal state from a decoy state, breaking a basic assumption in the protocol. We model a photon-number-splitting attack based on our experimental data, and show that it compromises the system's security. Then, based on the work of K. Tamaki et al. [New J. Phys. 18, 065008 (2016)], we obtain two analytical formulas to estimate the yield and the error rate of single-photon pulses when the signal and decoy states are distinguishable. The distinguishability reduces the secure key rate below that of a perfect decoy-state protocol. To mitigate this reduction, we propose to calibrate the transmittance of the receiver (Bob's) unit. We apply our method to three QKD systems and estimate their secure key rates.
description: 14 pages, 7 figures
Chemical composition and in vitro anticancer, antimicrobial and antioxidant activities of essential oil and methanol extract from Rumex nervosus
Creators: name: Quradha, Mohammed Mansour
name: Rasool Khan
name: Mujeeb-Ur- Rehman
name: Abdulrahman Abohajeb
Publisher: name: Taylor & Francis
Year: 2018
Subjects: subject: Biochemistry
subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Pharmacology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Developmental Biology
subject: Cancer
subject: Inorganic Chemistry

description: Chemical composition, antioxidant, anticancer, and antimacrobial activities of essential oil obtained from leaves of Rumex nervosus has been evaluated here for the first time. GC/MS analysis reveals the presence of Palmitoleic Acid (28.35%) and Palmitic acid, (25. 37%) as their methyl ester as major components. The essential oil showed significant DPPH radical scavenging activity (94.907 ± 0.1089% and 94.003 ± 0.0749%) at concentration (100 and 80) μg/mL respectively. The oil showed promising activity against staph aureus, while showed weak activity against (Hela and 3T3) cell lines. The crude extract / fractions of R. nervosus (leaves) showed significant antioxidant activity at dose (100 and 80) μg/mL. Futhermore the crude showed significant activity against (MCF-7 and MDA-MB-231) cell lines with IC50 (20.5138 ± 0.933 and 25.1728 ± 0.9176) μg/mL respectively, and chloroform fraction showed good activity against (MCF-7 and MDA-MB-231) cell lines with IC50 (31.154 ± 0.965 and 42.269 ± 2.1045) μg/mL.
6.2 Knowing Your Customer- Shaping Library Strategy
Creators: name: Hicks, Penny
Publisher: name: Zenodo
Year: 2016
Subjects: library, strategy, customer

description: The results, conclusions and actions from the Manchester University Library’s three-year Knowing Your Customer perception tracking project have provided an extremely valuable engagement tool and influenced the thinking of both the Library and the University leadership teams. Measuring changes in perception amongst both engaged and disengaged customers has provided an objective view of the service we offer. The results have been an interesting mix of pain and pleasure, and directly inform resource priorities for our people and our budgets. Our approach has been to track perceptions over time on a wide variety of services and behaviours, and to map these to a range of customer demographics. As a result, we have rich and robust longitudinal survey data to inform our decision-making. Assessed alongside our business analytics, this customer perception study provides valuable, and often intriguing, insights. The approach we have taken to our customer perception studies, employing a range of research techniques, repeating them regularly, and applying them to both physical and digital library services, delivers reliable and holistic results. This provides us with confidence in our strategic decision-making and injects agility into our operations, which we adjust rapidly and regularly in response to our findings. Some of the changes informed by the results, for example, the reallocation and refocusing of staff resources, developments in staff training, communications campaigns, investment in new furniture and layouts, online discovery and access improvements have led to 32% of customers stating the Library had improved over the previous 12 months. But can improvement be sustained? Does the ‘wow’ factor get absorbed in to customer expectations. How do we keep the conversation open to be able to delight rather than just satisfy our customers? Penny Hicks is Head of Strategic Marketing and Communications in the University of Manchester Library, and leads the recently formed Academic Engagement team and the Marketing and Communications team. From a creative design background, Penny worked in marketing in the private sector before entering marketing for HE at the University of Warwick. As Head of Corporate Marketing at the University of Salford, Penny led on the PR and communications for the new campus at MediaCityUK before moving to the University of Manchester in 2013.
Thermally stable multipartite entanglements in the frustrated Heisenberg hexagon
Creators: name: Deb, Moumita
name: Ghosh, Asim Kumar
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Thermally stable quantum states with multipartite entanglements led by frustration are found in the antiferromagnetic spin-1/2 Heisenberg hexagon. The model has been solved exactly to obtain all analytic expressions of eigenvalues and eigenfunctions. Detection and characterizations for various types of entanglements have been carried out in terms of concurrence and entanglement witnesses based on several thermodynamic observables. Variations of entanglement properties with respect to temperature and frustration are discussed. Even though the frustration opposes the bipartite entanglement, it favors the multipartite entanglement. Entangled states exhibit robustness against the thermal effects in the presence of frustration and they are found to survive at any temperature.
description: 25 pages, double space, single column, 5 figures
Kronecker product identities from D-finite symmetric functions
Creators: name: Mishna, Marni
Publisher: name: arXiv
Year: 2006
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05E05

description: Using an algorithm for computing the symmetric function Kronecker product of D-finite symmetric functions we find some new Kronecker product identities. The identities give closed form formulas for trace-like values of the Kronecker product.
description: 6 pages
Large closed queueing networks in semi-Markov environment and its application
Creators: name: Abramov, Vyacheslav M.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Probability (math.PR)
subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 60K25, 60K30, 60H30, 60H35

description: The paper studies closed queueing networks containing a server station and $k$ client stations. The server station is an infinite server queueing system, and client stations are single-server queueing systems with autonomous service, i.e. every client station serves customers (units) only at random instants generated by a strictly stationary and ergodic sequence of random variables. The total number of units in the network is $N$. The expected times between departures in client stations are $(Nμ_j)^{-1}$. After a service completion in the server station, a unit is transmitted to the $j$th client station with probability $p_{j}$ $(j=1,2,...,k)$, and being processed in the $j$th client station, the unit returns to the server station. The network is assumed to be in a semi-Markov environment. A semi-Markov environment is defined by a finite or countable infinite Markov chain and by sequences of independent and identically distributed random variables. Then the routing probabilities $p_{j}$ $(j=1,2,...,k)$ and transmission rates (which are expressed via parameters of the network) depend on a Markov state of the environment. The paper studies the queue-length processes in client stations of this network and is aimed to the analysis of performance measures associated with this network. The questions risen in this paper have immediate relation to quality control of complex telecommunication networks, and the obtained results are expected to lead to the solutions to many practical problems of this area of research.
description: 35 pages, 1 figure, 12pt, accepted: Acta Appl. Math
Osbeckia chinensis Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Melastomataceae
Osbeckia
Osbeckia chinensis

description: Osbeckia chinensis, spec. nov.
1. Osbeckia.
 Echinophora maderaspatana, sideritis non serratis nervosis foliis, fructu capsulari caucalidis aemulo. Pluk. alm. 132. t.173. f.4.
 Kadali maderaspatanum minus, capsulis pilosis. Raj. suppl. app. 236.
 Habitat in India ; in honorem Petr. Osbeck , Sveci, qui 1751. plantas Chinae & Javae periculoso itinere adiit, legit, examinavit, descripsit, communicavit.
 Habitus Melastomae. Caulis erectus, brachiatus, acute tetragonus. 346 Folia angusto-lanceolata, trinervia, opposita, scabra, subsessilia. Flores terminales aliquot, sessiles, cincti foliis 4 flore longioribus patentibus.
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 345, DOI: 10.5281/zenodo.3931989
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Cart. 193 (11 H 78), f. 0115r
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2012
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0115r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IX, Archives départementales de la Côte-d'Or, Cart. 193 (11 H 78), f. 0115r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
title: ADCO, Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Cart. 167 (11 H 67), f. 0073r
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2010
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: cartulaire
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge

description: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 167 (11 H 67), f. 0073r, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de l'abbaye de Cîteaux dit Cartulare Antiquum t.2 (2e moitié XIIIe siècle), Archives départementales de la Côte-d'Or, Cart. 167 (11 H 67), f. 0073r, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study
Creators: name: Horpácsi, Dániel
name: Kőszegi, Judit
name: Horváth, Zoltán
Publisher: name: arXiv
Year: 2017
Subjects: subject: Software Engineering (cs.SE)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever increasing as only formal verification can provide true confidence in applying tool-automated refactoring to industrial-scale code. By using our strategic rewriting based refactoring specification language, we present the decomposition of a complex transformation into smaller steps that can be expressed as instances of refactoring schemes, then we demonstrate the semi-automatic formal verification of the components based on a theoretical understanding of the semantics of the programming language. The extensible and verifiable refactoring definitions can be executed in our interpreter built on top of a static analyser framework.
description: In Proceedings VPT 2017, arXiv:1708.06887
Memories of evacuation and return to London
Creators: name: Project Team, Their Finest Hour
Publisher: name: University of Oxford
Year: 2024
Subjects: classificationCode: 430304
subject: British history
classificationCode: 430308
subject: European history (excl. British, classical Greek and Roman)
classificationCode: 430316
subject: International history

description: The memories are of my uncle (my mother's youngest brother) on a recording. He was evacuated to Wokingham at the same time as my mother Hilda was. His first placement was in a large country house owned by a retired Admiral, whereas my mother was placed with a woman in a two-up, two-down mid-terrace house close to the centre of Wokingham. My uncle made the recording on a cassette tape for my daughter when her primary school did a project on evacuation; this was back in the 1990s. I've copied the tape to send to you.My mother, who was 3-4 years older than her brother, told me of her experiences. First, she was evacuated with this uncle and younger sister and mother to Wales, but because the host, a man on his own, was none too pleasant, my Nan refused to stay or leave the children in his care. Then, when the bombing in London increased, my mother was later evacuated at the same time as my uncle to Wokingham. Her memories did not appear to be as pleasant as those of her brother. She told me that her host said if she wasn't in by a certain time, she would miss her tea. She was expected to do chores. The little money she received from her mother was to be split with her brother, and her share had to be used for writing paper to send letters back home and also to buy her own sanitary towels. Unfortunately, I did not get as detailed a description of her memories as those on my uncle's recording. However, she did remember the house she had been evacuated to when I took her to Wokingham. She clearly had strong memories of this time and wanted to revisit the area where she had been evacuated.
Oenothera biennis Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Oenothera
Oenothera biennis

description: Oenothera biennis, spec. nov.
 1. Oenothera foliis ovato-lanceolatis planis. Vir. cliff. 33. Hort. ups. 94. Gron. virg. 254. Roy. lugdb. 251. Gort. gelr. 78.
 Oenothera foliis ovato-lanceolatis denticulatis, floribus lateralibus in summo caulis. Hort. cliff. 144.
 Lysimachia lutea corniculata. Bauh. pin. 245. 516. * Moris. hist. 2. p. 271. s. 3. t. 11. f. 7.
 Habitat in Virginia unde 1614, nunc vulgaris Europae. ♂
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 346, DOI: 10.5281/zenodo.3931989
The Three Families from $SU(4)_A\otimes SU(3)_C\otimes SU(2)_L\otimes U(1)_X$ SM-like Chiral Models
Creators: name: Kong, Otto C. W.
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We give a detailed description of the model construction procedures about our new approach to the family structure of the standard model. SM-like chiral fermion spectra, largely "derivable" from the gauge anomaly constraints, are formulated in a $SU(N)\otimes SU(3)\otimes SU(2)\otimes U(1)$ symmetry framework as an extension of the SM symmetry. The $N=4$ case gives naturally three families as a result, with $U(1)_Y$ nontrivially embedded into the $SU(4)_A\otimes U(1)_X$. Such a spectrum has extra vector-like quarks and leptons. We illustrate how an acceptable symmetry breaking pattern can be obtained through a relatively simple scalar sector which gives naturally hierarchical quark mass matrices. Compatibility with various FCNC constraints and some interesting aspects of the possible phenomenological features are discussed, from a non-model specific perspective. The question of incorporating supersymmetry without putting in the Higgses as extra supermultiplet is also addressed.
description: 43 pages RevTex, including 9 tables and 3 figures
title: 03_0273
Creators: name: Wesley Baldwin, John
name: Baldwin, John W.
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2018
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: L'ensemble de ces notes ont été crée par John Baldwin lors d'une de ses premières périodes de résidence à Paris. Ces documents comprennent tous les magistri qu’il avait pu rencontrer dans ses sources. Aux XIIème et XIIIème siècles, les universités n'existant pas encore, le titre de magister s'il évoque certainement une compétence n'est pas rattaché de façon systématique au passage par les écoles. De surcroît, les magistris sont le plus souvent désignés par leur seul prénom. La lecture de ces données est donc difficile et suppose un long travail pour tenter d'identifier un individu auquel on pourrait rattacher plusieurs mentions. John Baldwin avait donc renoncé à utiliser ces données pour donner un prolongement à sa magnifique étude sur les gradués d'université et leur emploi par les Capétiens et les Plantagenêts. Néanmoins, il a conservé ces données et elles sont potentiellement très utile dans le cadre de Studium, comme le sont toutes les mentions dans les volumes des Fasti Ecclesiae Gallicanae de chanoines portant ce titre de magister sans autres précisions. L'ampleur des dépouillements rend ces données très utiles et nous devons une grande reconnaissance à John Baldwin pour avoir pris la peine de faire photocopier ses fiches et de nous les avoir transmises amicalement.
Les données ainsi que les images des fiches sont accessibles sur le site Internet à l'adresse suivante : http://studium-baldwin.lamop.fr/.
Les transcriptions des fiches ont été effectuées par des étudiants de Paris 1 Panthéon - Sorbonne mais elles n'ont pas été corrigées par la suite.
description: Relation: https://lamop.hypotheses.org/
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation
Creators: name: Blanchard, Allan
name: Loulergue, Frédéric
name: Kosmatov, Nikolai
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Frama-C is a software analysis framework that provides a common infrastructure and a common behavioral specification language to plugins that implement various static and dynamic analyses of C programs. Most plugins do not support concurrency. We have proposed Conc2Seq, a Frama-C plugin based on program transformation, capable to leverage the existing huge code base of plugins and to handle concurrent C programs. In this paper we formalize and sketch the proof of correctness of the program transformation principle behind Conc2Seq, and present an effort towards the full mechanization of both the formalization and proofs with the proof assistant Coq.
description: In Proceedings VPT 2017, arXiv:1708.06887
Redshift evolution of clustering
Creators: name: Matarrese, Sabino
name: Coles, Peter
name: Lucchin, Francesco
name: Moscardini, Lauro
Publisher: name: arXiv
Year: 1996
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We discuss how the redshift dependence of the observed two-point correlation function of various classes of objects can be related to theoretical predictions. This relation involves first a calculation of the redshift evolution of the underlying matter correlations. The next step is to relate fluctuations in mass to those of any particular class of cosmic objects; in general terms, this means a model for the bias and how it evolves with cosmic epoch. Only after these two effects have been quantified can one perform an appropriate convolution of the non-linearly evolved two-point correlation function of the objects with their redshift distribution to obtain the `observed' correlation function for a given sample. This convolution in itself tends to mask the effect of evolution by mixing amplitudes at different redshifts. We develop a formalism which incorporates these requirements and, in particular, a set of plausible models for the evolution of the bias factor. We apply this formalism to the spatial, angular and projected correlation functions from different samples of high-redshift objects, assuming a simple phenomenological model for the initial power-spectrum and an Einstein-de Sitter cosmological model. We find that our model is roughly consistent with data on the evolution of QSO and galaxy clustering, but only if the effective degree of biasing is small. We discuss the differences between our analysis and other theoretical studies of clustering evolution and argue that the dominant barrier to making definitive predictions is uncertainty about the appropriate form of the bias and its evolution with cosmic epoch.
description: 16 pages, 7 postscript figures, uses mn.sty, submitted to MNRAS
Bonding Under a Pandemic: Forming and Maintaining Friendships Through Mostly Online Interaction in U.S. Higher Education
Creators: name: Lee, Soyoung
Publisher: name: My University
Year: 2022
Subjects: subject: information science
subject: social science

description: University life under COVID-19 forced students not only to take classes remotely but also to meet and interact with peers online. Through semi-structured interviews with 17 graduate/professional students at a large midwestern U.S. university, this study investigates how students navigated and maintained new friendships under interactions that occurred primarily online. The findings reveal a seven-level online friendship formation process that extends a model introduced in Levinger and Snoek’s pair relatedness theory. Remote learning mode inhibited friendship formation across the board, but especially in two of the seven levels. Friendships took more effort and time to form, leading to some mental distress. Nevertheless, students also demonstrated workarounds, finding ways to accomplish all levels of the friendship formation process even in the absence of frequent in-person interaction. The findings contribute to 1) friendship formation theories, 2) an understanding of online-first friendship, and 3) the impact of remote learning on university student social life.
Oenothera mollissima Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Oenothera
Oenothera mollissima

description: Oenothera mollissima, spec. nov.
 2. Oenothera foliis lanceolatis undulatis. Vir. cliff. 33. Gron. virg. 42. Roy. lugdb. 251.
 Oenothera foliis lineari-lanceolatis dentatis, floribus e medio caule. Hort. ups. 144.
 Onagra bonariensis villosa, flore mutabili. Dill. elth. 297. t. 219. f.286.
 Habitat in agro Bonariensi . ☉
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 346, DOI: 10.5281/zenodo.3931989
Gene expression and RNA splicing explain large proportions of the heritability for complex traits in cattle
Creators: name: Xiang, Ruidong
name: Fang, L
name: Liu, S
name: MacLeod, Iona
name: Liu, Z
name: Breen, EJ
name: Gao, Y
name: Liu, GE
name: Tenesa, A
name: Mason, BA
name: Chamberlain, Amanda
name: Wray, NR
name: Goddard, ME
Publisher: name: La Trobe
Year: 2024
Subjects: classificationCode: 300305
subject: Animal reproduction and breeding

description: Many quantitative trait loci (QTLs) are in non-coding regions. Therefore, QTLs are assumed to affect gene regulation. Gene expression and RNA splicing are primary steps of transcription, so DNA variants changing gene expression (eVariants) or RNA splicing (sVariants) are expected to significantly affect phenotypes. We quantify the contribution of eVariants and sVariants detected from 16 tissues (n = 4,725) to 37 traits of ∼120,000 cattle (average magnitude of genetic correlation between traits = 0.13). Analyzed in Bayesian mixture models, averaged across 37 traits, cis and trans eVariants and sVariants detected from 16 tissues jointly explain 69.2% (SE = 0.5%) of heritability, 44% more than expected from the same number of random variants. This 69.2% includes an average of 24% from trans e-/sVariants (14% more than expected). Averaged across 56 lipidomic traits, multi-tissue cis and trans e-/sVariants also explain 71.5% (SE = 0.3%) of heritability, demonstrating the essential role of proximal and distal regulatory variants in shaping mammalian phenotypes.
التجربة الدينية والتجربة الصوفية: دراسة مقارنة في ضوء علم تاريخ الأديان
Creators: name: Elbakly, Amr
Publisher: name: Manara - Qatar Research Repository
Year: 2025
Subjects: classificationCode: 50
subject: Philosophy and religious studies

description: ملخصإن هذه النزعة الروحية التي خلقها الله ـ تعالى ـ في بني البشر ضرورة نفسية ملحة ومطلب ديني، ونزعة فلسفية في الإنسان، ويتطرق البحث إلى جذور ومنابع هذه الحياة الروحية في التاريخ الإنساني بصفة عامة وفي التاريخ الإسلامي بصفة خاصة، ليقودنا للتأمل في التجربة الدينية في جزيرة العرب قبل الإسلام ثم بالحياة الروحية لنبي الإسلام محمد ـ صلى الله عليه وسلم ـ قبل البعثة وبعدها، وملاحظة تطور هذه النزعة الروحية في التاريخ الإسلامي، وتسليط الضوء على أصولها وجذورها، ليقود الباحث بالضرورة إلى فهم التجربة الصوفية التي هي أحد نتاجات الغلو في تلك النزعة الروحية. تعد التجربة الصوفية أحد نتاجات التجربة الدينية التي عاشها الكثير من الناس قديمًا وحديثًا في مختلف الحضارات والأديان، وقد حاول الباحث تسليط الضوء عليها من خلال مقارنتها بالتجربة الدينية في الأديان بصفة عامة وفي الإسلام بصفة خاصة لإبراز أهم النقاط التي تتقاطع وتتداخل مع الأديان الأخرى.وقد سلّط الباحث الضوء على النظرية الإسلامية للتجربة الدينية التي صاغها مؤرخ الأديان د: محمد خليفه حسن ـ حفظه الله ـ ولا قت قبولًا واستحسانًا لدى علماء وباحثي مقارنة الأديان وجعلها الإطار العام الذي سينطلق منه في محاولة فهم التجربة الدينية في الإسلام أولًا ومن ثم إجراء مقارنة ومقاربة بينها وبين التجربة الصوفية، وذلك في ضوء علم تاريخ الأديان.
Oenothera fruticosa Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Oenothera
Oenothera fruticosa

description: Oenothera fruticosa, spec. nov.
3. Oenothera foliis lanceolatis, capsulis acutangulis.
 Oenothera florum calyce monophyllo, hinc tantum aperto. Gron. virg. 42.
 Onagra angustifolia, caule rubro, flore minore. Tournef. inst. 302.
 Habitat in Virginia . ♃
 Calyx purpurascens, tetraphyllus, sed rumpitur altero saepius & unico latere. Tubus filiformis, angustissimus. Capsula angulis 4 acutis compressis. Folia rarius denticulata.
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on pages 346-347, DOI: 10.5281/zenodo.3931989
The distance function from the boundary in a Minkowski space
Creators: name: Crasta, G.
name: Malusa, A.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35A30, 26B05, 32F45, 35C05, 49L25, 58J60

description: Let the space $\mathbb{R}^n$ be endowed with a Minkowski structure $M$ (that is $M\colon \mathbb{R}^n \to [0,+\infty)$ is the gauge function of a compact convex set having the origin as an interior point, and with boundary of class $C^2$), and let $d^M(x,y)$ be the (asymmetric) distance associated to $M$. Given an open domain $Ω\subset\mathbb{R}^n$ of class $C^2$, let $d_Ω(x) := \inf\{d^M(x,y); y\in\partialΩ\}$ be the Minkowski distance of a point $x\inΩ$ from the boundary of $Ω$. We prove that a suitable extension of $d_Ω$ to $\mathbb{R}^n$ (which plays the röle of a signed Minkowski distance to $\partial Ω$) is of class $C^2$ in a tubular neighborhood of $\partial Ω$, and that $d_Ω$ is of class $C^2$ outside the cut locus of $\partialΩ$ (that is the closure of the set of points of non--differentiability of $d_Ω$ in $Ω$). In addition, we prove that the cut locus of $\partial Ω$ has Lebesgue measure zero, and that $Ω$ can be decomposed, up to this set of vanishing measure, into geodesics starting from $\partialΩ$ and going into $Ω$ along the normal direction (with respect to the Minkowski distance). We compute explicitly the Jacobian determinant of the change of variables that associates to every point $x\in Ω$ outside the cut locus the pair $(p(x), d_Ω(x))$, where $p(x)$ denotes the (unique) projection of $x$ on $\partialΩ$, and we apply these techniques to the analysis of PDEs of Monge-Kantorovich type arising from problems in optimal transportation theory and shape optimization.
description: 34 pages
Gaura biennis Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Gaura
Gaura biennis

description: Gaura biennis, spec. nov.
 1. Gaura. Gen. nov. 1111.
 Lysimachia lutea angustifolia virginiana, flore minore. Pluk. alm. 235. t.202. f.7. mala.
 Habitat in Virginia , Pensylvania . ♂
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 347, DOI: 10.5281/zenodo.3931989
Improvements to the APBS biomolecular solvation software suite
Creators: name: Jurrus, Elizabeth
name: Engel, Dave
name: Star, Keith
name: Monson, Kyle
name: Brandi, Juan
name: Felberg, Lisa E.
name: Brookes, David H.
name: Wilson, Leighton
name: Chen, Jiahui
name: Liles, Karina
name: Chun, Minju
name: Li, Peter
name: Gohara, David W.
name: Dolinsky, Todd
name: Konecny, Robert
name: Koes, David R.
name: Nielsen, Jens Erik
name: Head-Gordon, Teresa
name: Geng, Weihua
name: Krasny, Robert
name: Wei, Guo Wei
name: Holst, Michael J.
name: McCammon, J. Andrew
name: Baker, Nathan A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Biomolecules (q-bio.BM)
subject: FOS: Biological sciences

description: The Adaptive Poisson-Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that has provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses three key technology challenges for understanding solvation and electrostatics in biomedical applications: accurate and efficient models for biomolecular solvation and electrostatics, robust and scalable software for applying those theories to biomolecular systems, and mechanisms for sharing and analyzing biomolecular electrostatics data in the scientific community. To address new research applications and advancing computational capabilities, we have continually updated APBS and its suite of accompanying software since its release in 2001. In this manuscript, we discuss the models and capabilities that have recently been implemented within the APBS software package including: a Poisson-Boltzmann analytical and a semi-analytical solver, an optimized boundary element solver, a geometry-based geometric flow solvation model, a graph theory based algorithm for determining p$K_a$ values, and an improved web-based visualization tool for viewing electrostatics.
Major Hugh Robertson, life after the war
Creators: name: Project Team, Their Finest Hour
Publisher: name: University of Oxford
Year: 2024
Subjects: classificationCode: 430304
subject: British history
classificationCode: 430308
subject: European history (excl. British, classical Greek and Roman)
classificationCode: 430316
subject: International history

description: One piece which has not seen the light of day is my account of when my father, Major Hugh Robertson, returned 40 years after D-Day to the beaches with me. He talked to me many times of his exploits in the war. But one event he refused to describe was the D-Day Landings. He arrived in 1944 on D-Day +1, and his main concentration and effort was to keep his men's spirits up, as he led them through the carnage of their fallen comrades. When I made to get out of the car with him at the beaches, he said, "Not here, dear. I must do this alone." He stood for the longest time... but then having to lead his men through what he found there, he was never able to express.My visit there with him was truly moving... and it might help people to understand how, even after 40 years, this memory was still so very, very painful. He would not even allow me to stand with him there. These were HIS memories. Yet, the discipline taught by the Army enabled one man to forward this order.My father was an extraordinary man indeed, widely respected. The stories of the war have been with me always. Mum would not listen, but it was fascinating to me. Subjects like how he did not know he was going to land on the beaches in France until his money was changed into French Francs! The object, that I no longer have, but which was very much loved, was his Luger, which he had taken from a dead German. He reckoned that, being dead, the German would have no further use for it. And he was angry. The concentration camps had been discovered. But, when the amnesty came, he could not hand that item to the Government. To keep it was to break the law, which was not an option either. So, one morning, he walked out into Nigg Bay and put it in a channel of water they call "The Pot". It is said to be virtually impossible to retrieve something from The Pot. The Luger held all his wartime memories. But I also remember my father's lighter stories, funny anecdotes, pipers getting drunk and having half their beard shaved off.
$V_{ub}$ from the Hadron Energy Spectrum in Inclusive Semileptonic B Decays
Creators: name: Greub, Christoph
name: Rey, Soo-Jong
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A measurement of the hadron energy spectrum in inclusive semileptonic $B$ decays is proposed as a viable method for extracting $|V_{ub}|$. Compared to the traditional energy spectrum of the charged lepton, the hadron energy spectrum exhibits kinematical advantages such as a wider energy window and a larger signal branching fraction. It is emphasized that the hadron energy spectrum method is most suited for symmetric $B$ factories, such as CLEO. The hadron energy distribution is calculated in the approach of the Altarelli et al. model and of the heavy-quark effective field theory. In both methods, perturbative QCD corrections, the Fermi motion of the $b$-quark in the $B$-meson, and the recoil momentum of the $B$-meson (stemming from the $Υ(4S)$ resonance) are taken into account. We have found excellent agreement between the spectra calculated in both methods, especially in the relevant kinematical region below the charmed meson threshold. The theoretical error to $|V_{ub}|$, which is dominated by the uncertainty of the $b$-quark mass, is estimated to be at the $\pm 12 \%$ level.
description: 16 pages, 4 Figures included in the text (uses epsfig.sty), 1 table
On a system of partial differential equations of Monge-Kantorovich type
Creators: name: Crasta, G.
name: Malusa, A.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics
subject: 35C15

description: We consider a system of PDEs of Monge-Kantorovich type arising from models in granular matter theory and in electrodynamics of hard superconductors. The existence of a solution of such system (in a regular open domain $Ω\subset\mathbb{R}^n$), whose construction is based on an asymmetric Minkowski distance from the boundary of $Ω$, was already established in [G. Crasta and A. Malusa, The distance function from the boundary in a Minkowski space, to appear in Trans. Amer. Math. Soc.]. In this paper we prove that this solution is essentially unique. A fundamental tool in our analysis is a new regularity result for an elliptic nonlinear equation in divergence form, which is of some interest by itself.
description: 20 pages
Deuteron Electromagnetic Form Factors in the Intermediate Energy Region
Creators: name: Cao, Jun
name: Wu, Hui-fang
Publisher: name: arXiv
Year: 1996
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Based on a Perturbative QCD analysis of the deuteron form factor, a model for the reduced form factor is suggested. The numerical result is consistent with the data in the intermediate energy region.
description: 9 pages, to appear in Phys.Rev.C
Epilobium angustifolium Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Epilobium
Epilobium angustifolium

description: Epilobium angustifolium, spec. nov.
1. Epilobium foliis sparsis lineari-lanceolatis.
 Epilobium floribus difformibus, pistillo declinato. Fl. suec. 304.
 Epilobium foliis lanceolatis integerrimis. Fl. lapp. 146. Hort. cliff. 154. Roy. lugdb. 250.
 Lysimachia Chamaenerion dicta angustifolia. Bauh. pin. 245.
 β. Lysimachia Chamaenerion dicta latifolia. Bauh. pin. 245.
 γ. Lysimachia Chamaenerion dicta alpina. Bauh. pin. 245. prodr. 116.
 Habitat in Europa boreali. ♃
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 347, DOI: 10.5281/zenodo.3931989
A Story of Parametric Trace Slicing, Garbage and Static Analysis
Creators: name: Reger, Giles
Publisher: name: arXiv
Year: 2017
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), namely parametric trace slicing. Monitoring algorithms for parametric trace slicing depend on garbage collection to (i) cleanup data-structures storing monitored objects, ensuring they do not become unmanageably large, and (ii) anticipate the violation of (non-safety) properties that cannot be satisfied as a monitored object can no longer appear later in the trace. The proposal is that both usages can be improved by making the unreachability of monitored objects explicit in the parametric property and statically introducing additional instrumentation points generating related events. The ideas presented in this paper are still exploratory and the intention is to integrate the described techniques into the MarQ monitoring tool for quantified event automata.
description: In Proceedings PrePost 2017, arXiv:1708.06889
title: ADCO, Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Cart. 184 (11 H 987), 105 folios, f. 0142
Creators: name: de la Côte d'Or, Archives départementales
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
name: CG21/F.PETOT/2015
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0142, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions de Tontenant (c. 1504), Archives départementales de la Côte-d'Or, Cart. 184 (11 H 987), 105 folios, f. 0142, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
Epilobium latifolium Linnaeus, 1753, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1753
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Myrtales
Onagraceae
Epilobium
Epilobium latifolium

description: Epilobium latifolium, spec. nov.
2. Epilobium foliis alternis lanceolato-ovatis.
 Habitat in Sibiria . ♃
 Differt a praecedenti floribus duplo majoribus, foliis lanceolato-ovatis, alternis nec sparsis, utrinque laevissimo tomento mollissimis. Haec & antecedens differunt a sequentibus in non paucis, his enim Flores inaequales petalis integris; Pistillum declinatum; Folia alterna; Folia erumpentia revoluta contra ac in reliquis.    * Staminibus erectis regularibus, petalis bifidis.
description: Published as part of Linnaeus, Carolus, 1753, Species plantarum: exhibentes plantas rite cognitas, ad genera relatas, cum differentiis specificis, nominibus trivialibus, synonymis selectis, locis natalibus, secundum systema sexuale digestas, Stockholm :Laurentius Salvius on page 347, DOI: 10.5281/zenodo.3931989