cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Conformal Field Theories, Representations and Lattice Constructions
Creators: name: Dolan, L.
name: Goddard, P.
name: Montague, P.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: An account is given of the structure and representations of chiral bosonic meromorphic conformal field theories (CFT's), and, in particular, the conditions under which such a CFT may be extended by a representation to form a new theory. This general approach is illustrated by considering the untwisted and $Z_2$-twisted theories, $H(Λ)$ and $\tilde H(Λ)$ respectively, which may be constructed from a suitable even Euclidean lattice $Λ$. Similarly, one may construct lattices $Λ_C$ and $\tildeΛ_C$ by analogous constructions from a doubly-even binary code $C$. In the case when $C$ is self-dual, the corresponding lattices are also. Similarly, $H(Λ)$ and $\tilde H(Λ)$ are self-dual if and only if $Λ$ is. We show that $H(Λ_C)$ has a natural ``triality'' structure, which induces an isomorphism $H(\tildeΛ_C)\equiv\tilde H(Λ_C)$ and also a triality structure on $\tilde H(\tildeΛ_C)$. For $C$ the Golay code, $\tildeΛ_C$ is the Leech lattice, and the triality on $\tilde H(\tildeΛ_C)$ is the symmetry which extends the natural action of (an extension of) Conway's group on this theory to the Monster, so setting triality and Frenkel, Lepowsky and Meurman's construction of the natural Monster module in a more general context. The results also serve to shed some light on the classification of self-dual CFT's. We find that of the 48 theories $H(Λ)$ and $\tilde H(Λ)$ with central charge 24 that there are 39 distinct ones, and further that all 9 coincidences are accounted for by the isomorphism detailed above, induced by the existence of a doubly-even self-dual binary code.
description: 65 pages
Figure A. Near real-time management of spectral interferences with portable XRF spectrometers: Application to Sc quantification in nickeliferous laterite ores
Creators: name: Lacroix, Elodie
name: Cauzid, Jean
name: Teitler, Yoram
name: Cathelineau, Michel
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure A: XRF signal attenuation on the pellets with a thickness of 0.5 and 2 mm for the matrices of quartz (SiO2) or hematite (Fe2O3).
Behring Sea arbitration. Report of the Behring Sea Commission, and report of British commissioners of June 21, 1892
Creators: name: Great Britain. Bering Sea Commissioners
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "At head of title: Printed for the use of the Foreign Office; June 1892; confidential. Commissioners: George Baden-Powell and George Mercer Dawson." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 109.

"With appendices." -- Title page.
Path Integral Solubility of a General Two-Dimensional Model
Creators: name: Das, Ashok
name: Hott, Marcelo
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The solubility of a general two dimensional model, which reduces to various models in different limits, is studied within the path integral formalism. Various subtleties and interesting features are pointed out.
description: 7 pages, UR1386, ER40685-835
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies
Creators: name: Carral, David
name: Feier, Cristina
name: Hitzler, Pascal
Publisher: name: arXiv
Year: 2018
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: Conjunctive query answering over expressive Horn Description Logic ontologies is a relevant and challenging problem which, in some cases, can be addressed by application of the chase algorithm. In this paper, we define a novel acyclicity notion which provides a sufficient condition for termination of the restricted chase over Horn-SRIQ TBoxes. We show that this notion generalizes most of the existing acyclicity conditions (both theoretically and empirically). Furthermore, this new acyclicity notion gives rise to a very efficient reasoning procedure. We provide evidence for this by providing a materialization based reasoner for acyclic ontologies which outperforms other state-of-the-art systems.
title: ADCO, Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402) (11 H 1160), f. 00402
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éric
name: Petot, Frédérique
name: Projet CBMA
name: CBMA/CG21/F.PETOT/2017
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: comptes
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris

description: Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402), Archives départementales de la Côte-d'Or, (11 H 1160). Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402), Archives départementales de la Côte-d'Or, (11 H 1160), f. 00402, 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
The seal arbitration
Creators: name: MacMaster, Donald, 1846-1922
Publisher: name: [Montreal] : [publisher not identified]
Year: 2015

description: "A summary from an anti-American point of view." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 129.
Figure E. Near real-time management of spectral interferences with portable XRF spectrometers: Application to Sc quantification in nickeliferous laterite ores
Creators: name: Lacroix, Elodie
name: Cauzid, Jean
name: Teitler, Yoram
name: Cathelineau, Michel
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure E: The Ca/Sc threshold ratios defined for the ‘20 Cu’ method (a) and the ‘18 Fe’ method (b). For the ‘20 Cu’ method (a), only one limit is visible (Limit 2 = 1822), which determines the field of the values where the Ca-Sc spectral interference is correctly resolved (below this limit) and the field of values where the spectral interference is never solved (above this limit). The same observation was made for the ‘18 Fe’ method with a limit 2 = 2887 (b). Diamonds with black edges correspond to the 11 standards used to build the calibration line. Diamonds without an edge line correspond to the samples used for checking the calculated calibration line. Blue diamonds correspond to standards or samples for which the average of their eight measurements falls within ±2σ around the Sc-calibration curve. Red diamonds correspond to standards or samples for which the average of their eight measurements falls outside the ±2σ interval around the Sc-calibration curve.
Link Adaptation Algorithms for Dual Polarization Mobile Satellite Systems
Creators: name: Tato, Anxo
name: Henarejos, Pol
name: Mosquera, Carlos
name: Pérez-Neira, Ana I.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Signal Processing (eess.SP)
subject: Information Theory (cs.IT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: The use of dual polarization in mobile satellite systems is very promising as a means for increasing the transmission capacity. In this paper we study a system which uses simultaneously two orthogonal polarizations in order to communicate with the users. The application of MIMO signal processing techniques along with Adaptive Coding and Modulation in the forward link can provide remarkable throughput gains up to 100 % when compared with the single polarization system. The gateway is allowed to vary the MIMO and Modulation and Coding Schemes for each frame. The selection is done by means of a link adaptation algorithm which uses a tunable margin to achieve a prede ned target Frame Error Rate.
Additional file 1 of Abnormal brain functional and structural connectivity between the left supplementary motor area and inferior frontal gyrus in moyamoya disease
Creators: name: Hu, Junwen
name: Li, Yin
name: Li, Zhaoqing
name: Chen, Jingyin
name: Cao, Yang
name: Xu, Duo
name: Zheng, Leilei
name: Bai, Ruiliang
name: Wang, Lin
Publisher: name: figshare
Year: 2022
Subjects: subject: Biochemistry
subject: Medicine
subject: Cell Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Mental Health

description: Additional file 1: Supplemental Figure 1. This matrix is a summary of 90 ROIs from the Anatomical Automatic Labeling template-based statistical parametric maps of functional connectivity analyzed between the MMD group and HC. The matrix is 90 x 90, and each voxel stores a T statistic value ranging from 6 to -6. The red voxels indicate the functional connectivity of the MMD group is greater than HC, and blue is the opposite. The color bar is located at the right. Supplemental Figure 2. A-C The correlation between functional connectivity and tensor metrics of the SMA-IFGorb in the left hemisphere of MMD patients and HC. Supplemental Table 1. Demographics and clinical characteristics of 22 MMD patients.
Strength in Numbers: Growing RSE Capacity at Imperial College London
Creators: name: Woodbridge, Mark
name: Cohen, Jeremy
Publisher: name: Zenodo
Year: 2019
Subjects: RSE

description: In this talk we explain how the the RSE team at Imperial has grown since its creation two years ago, and how this has complemented simultaneous expansion of the Research Software community and Research Computing training initiatives at the College, and external RSE activities. We also discuss how we're planning to address some emerging challenges and opportunities relating to research practices, technology development and other prevailing trends.
Heat Kernel and Scaling of Gravitational Constants
Creators: name: Dalvit, D. A. R.
name: Mazzitelli, F. D.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider the non-local energy-momentum tensor of quantum scalar and spinor fields in $2 w$-dimensional curved spaces. Working to lowest order in the curvature we show that, while the non-local terms proportional to $\Box {\cal R}$, $\Box \Box{\cal R}$, $\ldots, \Box^{w-2} {\cal R}$ are fully determined by the early-time behaviour of the heat kernel, the terms proportional to ${\cal R}$ depend on the asymptotic late-time behaviour. This fact explains a discrepancy between the running of the Newton constant dictated by the RG equations and the quantum corrections to the Newtonian potential.
description: 11 pages, latex file. Changes in the presentation and some references added
Comparative analysis of length of stay, hospitalization costs, opioid use, and discharge status among spine surgery patients with postoperative pain management including intravenous versus oral acetaminophen
Creators: name: Hansen, Ryan N.
name: Pham, An T.
name: Böing, Elaine A.
name: Lovelace, Belinda
name: Wan, George J.
name: Miller, Timothy E.
Publisher: name: Taylor & Francis
Year: 2018
Subjects: Medicine
Cell Biology
Pharmacology
Biotechnology
Science Policy

description: Background: Recovery from spine surgery is oriented toward restoring functional health outcomes while reducing resource use. Optimal pain management is a key to reaching these objectives. We compared outcomes of spine surgery patients who received standard pain management including intravenous (IV) acetaminophen (APAP) vs. oral APAP. Methods: We performed a retrospective analysis of the Premier database (January 2012 to September 2015) comparing spine surgery patients who received pain management with IV APAP to those who received oral APAP, with no exclusions based on additional pain management. We performed multivariable logistic regression for the discharge and all cause 30-day readmission to the same hospital outcomes and instrumental variable regressions using the quarterly rate of IV APAP use for all hospitalizations by hospital as the instrument in two-stage least squares regressions for length of stay (LOS), hospitalization costs, and average daily morphine equivalent dose (MED) outcomes. Models adjusted for age, gender, race, admission type, 3M All Patient Refined Diagnosis Related Group severity of illness and risk of mortality, hospital size, and indicators for whether the hospital was an academic center and whether it was urban or rural. Results: We identified 112,586 spine surgery patients with 51,835 (46%) having received IV APAP. Subjects averaged 57 and 59 years of age respectively in the IV APAP and oral APAP cohorts and were predominantly non-Hispanic Caucasians and female. In our adjusted models, IV APAP was associated with 0.68 days shorter LOS (95% CI: −0.76 to −0.59, p p p p Conclusions: Compared to oral APAP, managing post-spine-surgery pain with IV APAP is associated with less resource use, lower costs, lower doses of opioids, and improved discharge status.
Lattice models and generalized Rogers Ramanujan identities
Creators: name: Gepner, Doron
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We revisit the solvable lattice models described by Andrews Baxter and Forrester and their generalizations. The expressions for the local state probabilities were shown to be related to characters of the minimal models. We recompute these local state probabilities by a different method. This yields generalized Rogers Ramanujan identities, some of which recently conjectured by Kedem et al. Our method provides a proof for some cases, as well as generating new such identities.
Behring Sea arbitration. Supplementary report of the British Behring Sea commissioners, January 31, 1893
Creators: name: Great Britain. Bering Sea Commissioners
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "British commissioners: George Baden-Powell, George M. Dawson." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 116.
ALEKSANDR  FAYNBERG : O'ZBEK VA RUS ADABIYOTIDA UYG'UNLIK TIMSOLI
Creators: name: Bozorboyeva, Sabohat
Publisher: name: Zenodo
Year: 2025

description: Aleksandr Faynberg ijodi o’zbek va rus adabiyotlari o’rtasidagi madaniy bog’liqlikni ifodalovchi noyob hodisalardan biridir. Uning she’rlari va tarjimalari  milliy qadriyatlar va universallikni uyg’unlashtirib, ikki xalq adabiy me’rosini boyitgan. Faynbergning  poetik uslubi, tarjimonlik faoliyati va ssenariylari adabiy aloqalarni mustahkamlashda muhim ro’l o’ynagan. Ushbu maqolada uning ijodiy yo’li va adabiyotdagi o’rni yoritilib, bugungi adabiy jarayondagi ta’siri tahlil qilinadi.
Topological 2D String Theory: Higher-genus Amplitudes and W-infinity Identities
Creators: name: Ghoshal, Debashis
name: Imbimbo, Camillo
name: Mukhi, Sunil
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate Landau-Ginzburg string theory with the singular superpotential X^{-1} on arbitrary Riemann surfaces. This theory, which is a topological version of the c=1 string at the self-dual radius, is solved using results from intersection theory and from the analysis of matter Landau-Ginzburg systems, and consistency requirements. Higher-genus amplitudes decompose as a sum of contributions from the bulk and the boundary of moduli space. These amplitudes generate the W-infinity algebra.
description: harvmac, 20 pages in `b' option. Revised version has some Comments added and minor notational modifications for improved clarity
Non-abelian bosonization from factored coset models in path integrals
Creators: name: Theron, A. N.
name: Schaposnik, F. A.
name: Scholtz, F. G.
name: Geyer, H. B.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present a derivation of abelian and non-abelian bosonization in a path integral setting by expressing the generating functional for current-current correlation functions as a product of a $G/G$-coset model, which is dynamically trivial, and a bosonic part which contains the dynamics. A BRST symmetry can be identified which leads to smooth bosonization in both the abelian and non-abelian cases.
description: 19 pages, LaTex, La Plata 94-09
Figure D. Near real-time management of spectral interferences with portable XRF spectrometers: Application to Sc quantification in nickeliferous laterite ores
Creators: name: Lacroix, Elodie
name: Cauzid, Jean
name: Teitler, Yoram
name: Cathelineau, Michel
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure D: Calibration lines for Ca with the ‘20 Cu’ method (figure D.a) and with the ‘18 Fe’ method (figure D.b). Diamonds with black edges correspond to the 11 standards used to build the calibration line. Diamonds without an edge line correspond to the samples used for checking the calculated calibration line, and blue diamonds to standards or samples for which the average of their eight measurements falls within ±2σ around the calibration curve. The red diamonds correspond to standards or samples for which the average of their eight measurements falls outside the ±2σ interval around the calibration curve. The red diamonds in 2a correspond to samples with a >1% Ca content.
Advanced Signal Processing Techniques for Fixed and Mobile Satellite Communications
Creators: name: Henarejos, Pol
name: Pérez-Neira, Ana
name: Mazzali, Nicolò
name: Mosquera, Carlos
Publisher: name: arXiv
Year: 2018
Subjects: subject: Signal Processing (eess.SP)
subject: Information Theory (cs.IT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Enabling ultra fast systems has been widely investigated during recent decades. Although polarization has been deployed from the beginning in satellite communications, nowadays it is being exploited to increase the throughput of satellite links. More precisely, the application of diversity techniques to the polarization domain may provide reliable, robust, and fast satellite communications. Better and more flexible spectrum use is also possible if transmission and reception can take place simultaneously in close or even overlapping frequency bands. In this paper we investigate novel signal processing techniques to increase the throughput of satellite communications in fixed and mobile scenarios. First, we investigate four-dimensional (4D) constellations for the forward link. Second, we focus on the mobile scenario and introduce an adaptive algorithm which selects the optimal tuple of modulation order, coding rate, and MIMO scheme that maximizes the throughput constraint to a maximum packet error rate. Finally, we describe the operation of radio transceivers which cancel actively the self-interference posed by the transmit signal when operating in full-duplex mode.
title: ADCO, Cartulaire de Cîteaux pour les domaines de Beaune (XVe siècle), Cart. 177 (11 H 289), 197 folios, f. 0163
Creators: name: de la Côte d'Or, Archives départementales
name: CG21/F.PETOT/2015
name: Archives Départementales De La Côte-D'Or
name: Petot, Frédérique
name: Projet CBMA
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire
subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi

description: Cartulaire de Cîteaux pour les domaines de Beaune (XVe siècle), Archives départementales de la Côte-d'Or, Cart. 177 (11 H 289), 197 folios, f. 0163, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Cartulaire de Cîteaux pour les possessions d’Izeure (XVe siècle), Archives départementales de la Côte-d'Or, Cart. 177 (11 H 289), 197 folios, f. 0163, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https:// manuscrits.cbma-project.eu/
description: Provenance: abbaye de Cîteaux
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Integrable vertex and loop models on the square lattice with open boundaries via reflection matrices
Creators: name: Yung, C. M.
name: Batchelor, M. T.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The procedure for obtaining integrable vertex models via reflection matrices on the square lattice with open boundaries is reviewed and explicitly carried out for a number of two- and three-state vertex models. These models include the six-vertex model, the 15-vertex $A_2^{(1)}$ model and the 19-vertex models of Izergin-Korepin and Zamolodchikov-Fateev. In each case the eigenspectra is determined by application of either the algebraic or the analytic Bethe ansatz with inhomeogeneities. With suitable choices of reflection matrices, these vertex models can be associated with integrable loop models on the same lattice. In general, the required choices {\em do not} coincide with those which lead to quantum group-invariant spin chains. The exact solution of the integrable loop models -- including an $O(n)$ model on the square lattice with open boundaries -- is of relevance to the surface critical behaviour of two-dimensional polymers.
description: 35 pages, LaTeX with PostScript figures; minor corrections, version to appear in Nucl. Phys. B
Behring Sea arbitration. Appendix to case of Her Majesty's Government. Vol. I
Creators: name: Great Britain
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "At head of title of v. 2-3: Behring Sea arbitration." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 116.
Figure B. Near real-time management of spectral interferences with portable XRF spectrometers: Application to Sc quantification in nickeliferous laterite ores
Creators: name: Lacroix, Elodie
name: Cauzid, Jean
name: Teitler, Yoram
name: Cathelineau, Michel
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure B: Determination of the optimal analytical conditions in the scandium spectral region for the pXRF analysis. (a) Analysis of the optimal acquisition time of 30, 60, 90 and 120 seconds of the pXRF measurements on seven samples containing 71.7, 96.5, 117.5, 168.5, 185.9, 192.9 and 314.8 ppm of Sc determined with the whole-rock analysis by the SARM service. Each boxplot is based on six pXRF measurements for each sample represented by circles and their whiskers. (b) Analysis of the number of measurements necessary (from 3 to 8 randomly selected from a total of measurements) to carry out on the same sample showing the evolution of measurement uncertainties (standard deviation) for the calibration analyses with pXRF. Example on a sample containing 117.5 ppm of Sc determined from whole-rock analysis by the SARM service.
Supplementary Figure 1 from A giant dapediid from the Late Triassic of Switzerland and insights into neopterygian phylogeny
Creators: name: Latimer, Ashley E.
name: Giles, Sam
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 40308 Palaeontology (incl. Palynology)
subject: FOS: Earth and related environmental sciences
subject: 60301 Animal Systematics and Taxonomy
subject: 60310 Plant Systematics and Taxonomy

description: Results of phylogenetic analysis
Behring Sea arbitration. Appendix to case of Her Majesty's Government. Vol. II
Creators: name: Great Britain
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "At head of title of v. 2-3: Behring Sea arbitration." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 116.
Supplementary Data from A giant dapediid from the Late Triassic of Switzerland and insights into neopterygian phylogeny
Creators: name: Latimer, Ashley E.
name: Giles, Sam
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 40308 Palaeontology (incl. Palynology)
subject: FOS: Earth and related environmental sciences
subject: 60301 Animal Systematics and Taxonomy
subject: 60310 Plant Systematics and Taxonomy

description: large scale PDF of a single most parsimonious tree showing all character optimisations
Figure F. Near real-time management of spectral interferences with portable XRF spectrometers: Application to Sc quantification in nickeliferous laterite ores
Creators: name: Lacroix, Elodie
name: Cauzid, Jean
name: Teitler, Yoram
name: Cathelineau, Michel
Publisher: name: Geological Society of London
Year: 2021
Subjects: subject: Geology
subject: FOS: Earth and related environmental sciences

description: Figure F: Signal improvement for the quantification of Sc and Ca for an example of XRF spectrum (log scale of counts per second as a function of energy in keV) fitted with PyMCA (Solé et al., 2007) of the same laterite sample (containing 0.2% of Ca and 251.7 ppm of Sc) acquired with three pXRF spectrometers. The energy range is from 3 to 7 keV in the scandium spectral region for the pXRF analysis. (a) Spectrum acquired using the ‘20 Cu’ method (purple curve) and the ‘18 Fe’ method (green curve) for the same analysis time (90 seconds) in an energy range from 3 to 7 keV; (b) Zoom on this spectrum in an energy range from 3 to 5 keV showing the spectral lines of Ca and Sc (Ca-Kα, Ca-Kβ and Sc-Kα).
Verifying the Unification Algorithm in LCF
Creators: name: Paulson, Lawrence C.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1; F.4.1

description: Manna and Waldinger's theory of substitutions and unification has been verified using the Cambridge LCF theorem prover. A proof of the monotonicity of substitution is presented in detail, as an example of interaction with LCF. Translating the theory into LCF's domain-theoretic logic is largely straightforward. Well-founded induction on a complex ordering is translated into nested structural inductions. Correctness of unification is expressed using predicates for such properties as idempotence and most-generality. The verification is presented as a series of lemmas. The LCF proofs are compared with the original ones, and with other approaches. It appears difficult to find a logic that is both simple and flexible, especially for proving termination.
Supplementary Information from A giant dapediid from the Late Triassic of Switzerland and insights into neopterygian phylogeny
Creators: name: Latimer, Ashley E.
name: Giles, Sam
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Evolutionary Biology
subject: FOS: Biological sciences
subject: 40308 Palaeontology (incl. Palynology)
subject: FOS: Earth and related environmental sciences
subject: 60301 Animal Systematics and Taxonomy
subject: 60310 Plant Systematics and Taxonomy

description: Supplementary Information containing the anatomical character list
Case presented on the part of the Government of Her Britannic Majesty to the Tribunal of Arbitration constituted under Article I of the treaty concluded at Washington on the 29th February, 1892, between Her Britannic Majesty and the United States of America
Creators: name: Great Britain
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "At head of title of v. 2-3: Behring Sea arbitration." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 116.
HebrewPal : un outil numérique pour l'étude des écritures hébraïques
Creators: name: Olszowy-Schlanger, Judith
name: O'Hara, Joseph
Publisher: name: Zenodo
Year: 2024
Subjects: Paléographie
Base de données
Humanités numériques
Paléographie hébraïque

description: Présentation de HebrewPal, une base de données en ligne entièrement interrogeable de paléographie hébraïque, lors de la Journée d'étude Biblissima+ — 6e journée du Groupe de Recherches Transversales en Paléographie "Pour une Modélisation de l'Écriture".
Weyl Pair, Current Algebra and Shift Operator
Creators: name: Hu, Zhan-Ning
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The Abelian current algebra on the lattice is given from a series of the independent Weyl pairs and the shift operator is constructed by this algebra. So the realization of the operators of the braid group is obtained. For $|q|\neq 1$ the shift operator is the product of the theta functions of the generators $w_n$ of the current algebra. For $|q|=1$ it can be expressed by the quantum dilogarithm of $w_n$.
description: 8 pages, latex file, AS-ITP-94-52
Constructing Recursion Operators in Intuitionistic Type Theory
Creators: name: Paulson, Lawrence C.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1; F.4.1

description: Martin-Löf's Intuitionistic Theory of Types is becoming popular for formal reasoning about computer programs. To handle recursion schemes other than primitive recursion, a theory of well-founded relations is presented. Using primitive recursion over higher types, induction and recursion are formally derived for a large class of well-founded relations. Included are < on natural numbers, and relations formed by inverse images, addition, multiplication, and exponentiation of other relations. The constructions are given in full detail to allow their use in theorem provers for Type Theory, such as Nuprl. The theory is compared with work in the field of ordinal recursion over higher types.
title: ADCO, Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Cart. 21 (G 125), 71 folios, f. 00056
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: Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Archives départementales de la Côte-d'Or, Cart. 21 (G 125), 71 folios, f. 00056, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Premier cartulaire de Saint-Étienne de Dijon (XIIe siècle), Archives départementales de la Côte-d'Or, Cart. 21 (G 125), 71 folios, f. 00056, in Projet CBMA - Corpus Burgundiae Medii Aevi [Ressource en ligne], https://manuscrits.cbma-project.eu/
description: Provenance: abbaye Saint-Étienne de Dijon
description: Provenance: http://www.wikidata.org/entity/Q15945019
On a class of solutions to the generalized KdV type equation
Creators: name: Linares, Felipe
name: Miyazaki, Hayato
name: Ponce, Gustavo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: We consider the IVP associated to the generalized KdV equation with low degree of non-linearity \begin{equation*} \partial_t u + \partial_x^3 u \pm |u|^α\partial_x u = 0,\; x,t \in \mathbb{R},\;α\in (0,1). \end{equation*} By using an argument similar to that introduced by Cazenave and Naumkin [2] we establish the local well-posedness for a class of data in an appropriate weighted Sobolev space. Also, we show that the solutions obtained satisfy the propagation of regularity principle proven in [3] in solutions of the $k$-generalized KdV equation.
description: 19 pages
NOMA Assisted Joint Broadcast and Multicast Transmission in 5G Networks
Creators: name: Henarejos, Pol
name: Shaat, Musbah
name: Navarro, Mònica
Publisher: name: arXiv
Year: 2018
Subjects: subject: Signal Processing (eess.SP)
subject: Information Theory (cs.IT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: In this paper, we employ the non-orthogonal multiple access (NOMA) technique to convey joint broadcast and multicast streams to a set of users. Thanks to the spatial beamforming, different groups of users is able to receive different streams in addition to the common broadcast information. With the proposed scheme, the same time-frequency resources can be shared between different streams, without requiring additional bandwidth. The transmitter implementation is presented and two receiver classes are considered based on Successive Interference Cancellation (SIC) and Joint Decoding (JD) approaches. In addition to the performance assessment via simulation, a real hardware proof of concept implementation of the proposed technique is performed in order to show the practical viability of the proposed scheme.
Behring Sea arbitration. Report of the Behring Sea Commission, and report of British commissioners of June, 21, 1892. With appendices
Creators: name: Bering Sea Commission
Publisher: name: [London] : Harrison and Sons
Year: 2015

description: "([Great Britain. Parliament. Command papers] C. 6919) At head of title: United States, no. 2 (1893) British commissioners: George Baden-Powell and George M. Dawson. Copy in Canadian Archives has index (p. xxix-xliii) inserted between p. iv-v. Another copy has t. p. lacking imprint and only brief statement 'With Appendices.'" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 113.
Pushing for higher rates and efficiency in Satcom: the different perspectives within SatNExIV
Creators: name: Vázquez, Miguel Ángel
name: Pérez-Neira, Ana
name: Mosquera, Carlos
name: Shankar, Bhavanni
name: Henarejos, Pol
name: Panagopoulos, Athanasios D.
name: Giambere, Giovanni
name: Siris, Vasilios
name: Polyzos, George
name: Alagha, Nader
Publisher: name: arXiv
Year: 2018
Subjects: subject: Signal Processing (eess.SP)
subject: Information Theory (cs.IT)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: SatNEx IV project aims at studying medium and long term directions of satellite telecommunication systems for any of the commercial or institutional applications that can be considered appealing by key players although still not mature enough for attracting industry or initiating dedicated ESA R&D activities. This paper summarizes the first year activities identified as very promising techniques for next generation satellite communication systems. Concretely, very high throughput satellite trunking, physical layer advances for full-duplex and multipolarization systems, network coding applications and multiple access schemes for information centric networking are briefly presented. For all the activities, we identify the scenarios under study so as the preliminary technical solutions to be further investigated.
The symmetry structure of the anti-self-dual Einstein hierarchy
Creators: name: Strachan, I. A. B.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: An important example of a multi-dimensional integrable system is the anti-self-dual Einstein equations. By studying the symmetries of these equations, a recursion operator is found and the associated hierarchy constructed. Owing to the properties of the recursion operator one may construct a hierarchy of symmetries and find the algebra generated by them. In addition, the Lax pair for this hierarchy is constructed.
description: 13 pages, LaTeX
Proving Termination of Normalization Functions for Conditional Expressions
Creators: name: Paulson, Lawrence C.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.3.1; F.4.1

description: Boyer and Moore have discussed a recursive function that puts conditional expressions into normal form [1]. It is difficult to prove that this function terminates on all inputs. Three termination proofs are compared: (1) using a measure function, (2) in domain theory using LCF, (3) showing that its recursion relation, defined by the pattern of recursive calls, is well-founded. The last two proofs are essentially the same though conducted in markedly different logical frameworks. An obviously total variant of the normalize function is presented as the `computational meaning' of those two proofs. A related function makes nested recursive calls. The three termination proofs become more complex: termination and correctness must be proved simultaneously. The recursion relation approach seems flexible enough to handle subtle termination proofs where previously domain theory seemed essential.
Enhanced figure of merit in nanostructured (Bi, Sb) 2 Te 3 with optimized composition, prepared by a straightforward arc-melting procedure
Creators: name: Serrano-Sánchez, F
name: Gharsallah, M
name: Nemes, NM
name: Biskup, N
name: Varela, M
name: Martínez, JL
name: Fernández-Díaz, MT
name: Alonso, JA
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Sb-doped Bi2Te3 is known since the 1950s as the best thermoelectric material for near-room temperature operation. Improvements in material performance are expected from nanostructuring procedures. We present a straightforward and fast method to synthesize already nanostructured pellets that show an enhanced ZT due to a remarkably low thermal conductivity and unusually high Seebeck coefficient for a nominal composition optimized for arc-melting: Bi0.35Sb1.65Te3. We provide a detailed structural analysis of the Bi2-xSbxTe3 series based on neutron powder diffraction as a function of composition and temperature that reveals the important role played by atomic vibrations. Arc-melting produces layered platelets with less than 50 nm-thick sheets. The low thermal conductivity is attributed to the phonon scattering at the grain boundaries of the nanosheets. This is a fast and cost-effective production method of highly efficient thermoelectric materials.
Behring Sea arbitration. Argument of Her Majesty's government
Creators: name: Great Britain. Bering Sea Commissioners
Publisher: name: London : Harrison and Sons
Year: 2015

description: "([Great Britain. Parliament. Command papers] C. 6921) At head of title: United States, no. 4 (1893)" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 115.
Statistics of overtakes by a tagged agent
Creators: name: Das, Santanu
name: Dhar, Deepak
name: Sabhapandit, Sanjib
Publisher: name: arXiv
Year: 2018
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We consider a one-dimensional infinite lattice where at each site there sits an agent carrying a velocity, which is drawn initially for each agent independently from a common distribution. This system evolves as a Markov process where a pair of agents at adjacent sites exchange their positions with a specified rate, while retaining their respective velocities, only if the velocity of the agent on the left site is higher. We study the statistics of the net displacement of a tagged agent $m(t)$ on the lattice, in a given duration $t$, for two different kinds of rates: one in which a pair of agents at sites $i$ and $i+1$ exchange their sites with rate $1$, independent of the velocity difference between the neighbors, and another in which a pair exchange their sites with a rate equal to their relative speed. In both cases, we find $m(t)\sim t$ for large $t$. In the first case, for a randomly picked agent, $m/t$, in the limit $t\to \infty$, is distributed uniformly on $[-1,1]$ for all continuous distributions of velocities. In the second case, the distribution is given by the distribution of the velocities itself, with a Galilean shift by the mean velocity. We also find the large time approach to the limiting forms and compare the results with numerical simulations. In contrast, if the exchange of velocities occurs at unit rate, independent of their values, and irrespective of which is faster, $m(t)/t$ for large $t$ is has a gaussian distribution, whose width varies as $t^{-1/2}$.
description: 5 pages of main text + 10 pages of supplemental material
The Moyal bracket and the dispersionless limit of the KP hierarchy
Creators: name: Strachan, I. A. B.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: A new Lax equation is introduced for the KP hierarchy which avoids the use of pseudo-differential operators, as used in the Sato approach. This Lax equation is closer to that used in the study of the dispersionless KP hierarchy, and is obtained by replacing the Poisson bracket with the Moyal bracket. The dispersionless limit, underwhich the Moyal bracket collapses to the Poisson bracket, is particularly simple.
description: 9 pages, LaTeX
End-to-end 5G services via an SDN/NFV-based multi-tenant network and cloud testbed
Creators: name: Muñoz, Raul
name: Mangues-Bafalluy, Josep
name: Bartzoudis, Nikolaos
name: Vilalta, Ricard
name: Martínez, Ricardo
name: Casellas, Ramon
name: Baldo, Nicola
name: Núñez-Martínez, José
name: Requena-Esteso, Manuel
name: Font-Bach, Oriol
name: Miozzo, Marco
name: Henarejos, Pol
name: Pérez-Neira, Ana
name: Payaró, Miquel
Publisher: name: arXiv
Year: 2018
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: 5G has a main requirement of highly flexible, ultralow latency and ultra-high bandwidth virtualized infrastructure in order to deliver end-to-end services. This requirement can be met by efficiently integrating all network segments (radio access, aggregation and core) with heterogeneous wireless and optical technologies (5G, mmWave, LTE/LTE-A, Wi-Fi, Ethernet, MPLS, WDM, software-defined optical transmission, etc.), and massive computing and storage cloud services (offered in edge/core data centers). This paper introduces the preliminary architecture aiming at integrating three consolidated and standalone experimental infrastructures at CTTC, in order to deploy the required end-to-end top-to-bottom converged infrastructure pointed out above for testing and developing advanced 5G services.
Natural Deduction as Higher-Order Resolution
Creators: name: Paulson, Lawrence C.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1; F.4.1

description: An interactive theorem prover, Isabelle, is under development. In LCF, each inference rule is represented by one function for forwards proof and another (a tactic) for backwards proof. In Isabelle, each inference rule is represented by a Horn clause. Resolution gives both forwards and backwards proof, supporting a large class of logics. Isabelle has been used to prove theorems in Martin-Löf's Constructive Type Theory. Quantifiers pose several difficulties: substitution, bound variables, Skolemization. Isabelle's representation of logical syntax is the typed lambda-calculus, requiring higher- order unification. It may have potential for logic programming. Depth-first subgoaling along inference rules constitutes a higher-order Prolog.
Wah-kee-nah and her people. The curious customs, traditions, and legends of the North American Indians
Creators: name: Strong, James Clark, 1826-1915
Publisher: name: New York : G. P. Putnam's Sons
Year: 2015

description: "Mentions Indian tribes of the B.C. coast." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 120.
Supplementary methods from Membrane remodelling by a lipidated endosomal sorting complex required for transport-III chimera, in vitro
Creators: name: C. J. Marklew
name: A. Booth
name: P. A. Beales
name: B. Ciani
Publisher: name: The Royal Society
Year: 2018
Subjects: subject: Biophysics
subject: Biochemistry
subject: 60113 Synthetic Biology
subject: FOS: Biological sciences

description: The complexity of eukaryotic cells is underscored by the compartmentalization of chemical signals by phospholipid membranes. A grand challenge of synthetic biology is building life from the ‘bottom-up’, for the purpose of generating systems simple enough to precisely interrogate biological pathways or for adapting biology to perform entirely novel functions. Achieving compartmentalization of chemistries in an addressable manner is a task exquisitely refined by nature and embodied in a unique membrane remodelling machinery that pushes membranes away from the cytosol, the ESCRT-III (endosomal sorting complex required for transport-III) complex. Here, we show efforts to engineer a single ESCRT-III protein merging functional features from its different components. The activity of such a designed ESCRT-III is shown by its ability to drive the formation of compartments encapsulating fluorescent cargo. It appears that the modular nature of ESCRT-III allows its functional repurposing into a minimal machinery that performs sophisticated membrane remodelling, therefore enabling its use to create eukaryotic-like multi-compartment architectures.
New solution of vertex type tetrahedron equations
Creators: name: Mangazeev, V. V.
name: Sergeev, S. M.
name: Stroganov, Yu. G.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this paper we formulate a new N-state spin integrable model on a three-dimensional lattice with spins interacting round each elementary cube of the lattice. This model can be also reformulated as a vertex type model. Weight functions of the model satisfy tetrahedron equations.
description: 12 pages, LaTeX, IHEP-94-106
Behring Sea arbitration. Appendix to case of Her Majesty's Government. Vol. IV
Creators: name: Great Britain
Publisher: name: [London] : [publisher not identified]
Year: 2015

description: "At head of title of v. 2-3: Behring Sea arbitration." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 116.