cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
The Foundation of a Generic Theorem Prover
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: Isabelle is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a meta-logic (or `logical framework') in which the object-logics are formalized. Isabelle is now based on higher-order logic -- a precise and well-understood foundation. Examples illustrate use of this meta-logic to formalize logics and proofs. Axioms for first-order logic are shown sound and complete. Backwards proof is formalized by meta-reasoning about object-level entailment. Higher-order logic has several practical advantages over other meta-logics. Many proof techniques are known, such as Huet's higher-order unification procedure.
Functional Generative Design: An Evolutionary Approach to 3D-Printing
Creators: name: Tutum, Cem C.
name: Chockchowwat, Supawit
name: Vouga, Etienne
name: Miikkulainen, Risto
Publisher: name: arXiv
Year: 2018
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: FOS: Computer and information sciences

description: Consumer-grade printers are widely available, but their ability to print complex objects is limited. Therefore, new designs need to be discovered that serve the same function, but are printable. A representative such problem is to produce a working, reliable mechanical spring. The proposed methodology for discovering solutions to this problem consists of three components: First, an effective search space is learned through a variational autoencoder (VAE); second, a surrogate model for functional designs is built; and third, a genetic algorithm is used to simultaneously update the hyperparameters of the surrogate and to optimize the designs using the updated surrogate. Using a car-launcher mechanism as a test domain, spring designs were 3D-printed and evaluated to update the surrogate model. Two experiments were then performed: First, the initial set of designs for the surrogate-based optimizer was selected randomly from the training set that was used for training the VAE model, which resulted in an exploitative search behavior. On the other hand, in the second experiment, the initial set was composed of more uniformly selected designs from the same training set and a more explorative search behavior was observed. Both of the experiments showed that the methodology generates interesting, successful, and reliable spring geometries robust to the noise inherent in the 3D printing process. The methodology can be generalized to other functional design problems, thus making consumer-grade 3D printing more versatile.
description: 8 pages, 12 figures, GECCO'18
Search for Duality Symmetries in p-Brane Theories
Creators: name: Sezgin, E.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The requirement of an $SL(2)$ duality symmetry, mixing the worldvolume field equations with Bianchi identities, leads to a highly nonlinear equation involving the transformation parameters and certain worldvolume currents. In general, this equation seems to admit a solution only for a two parameter subgroup of the seeked $SL(2)$. These transformations also leave invariant the first class constraints generating the worldvolume reparametrizations. In the special case of $p$--branes in $p+1$ dimensions, the full $SL(2)$ is realized.
description: 7 pages, plain tex, contribution to the Proc. of the Gursey Memorial Conf. I on Strings and Symmetries, Istanbul, Turkey, June 6-10, 1994
Helical vortices generated by flapping wings of bumblebees
Creators: name: Engels, T.
name: Kolomenskiy, D.
name: Schneider, K.
name: Farge, M.
name: Lehmann, F. -O.
name: Sesterhenn, J.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: High resolution direct numerical simulations of rotating and flapping bumblebee wings are presented and their aerodynamics is studied focusing on the role of leading edge vortices and the associated helicity production. We first study the flow generated by only one rotating bumblebee wing in circular motion with $45^{\circ}$ angle of attack. We then consider a model bumblebee flying in a numerical wind tunnel, which is tethered and has rigid wings flapping with a prescribed generic motion. The inflow condition of the wind varies from laminar to strongly turbulent regimes. Massively parallel simulations show that inflow turbulence does not significantly alter the wings' leading edge vortex (LEV), which enhances lift production. Finally, we focus on studying the helicity of the generated vortices and analyze their contribution at different scales using orthogonal wavelets.
Supplementary data 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.
Bulletin of the Natural History Society of British Columbia
Creators: name: Natural History Society Of British Columbia
Publisher: name: Victoria : Richard Wolfenden
Year: 2016

description: "Bulletin. no.[1]-[3]; 1893-1910" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 119.
Isabelle: The Next 700 Theorem Provers
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: Isabelle is a generic theorem prover, designed for interactive reasoning in a variety of formal theories. At present it provides useful proof procedures for Constructive Type Theory, various first-order logics, Zermelo-Fraenkel set theory, and higher-order logic. This survey of Isabelle serves as an introduction to the literature. It explains why generic theorem proving is beneficial. It gives a thorough history of Isabelle, beginning with its origins in the LCF system. It presents an account of how logics are represented, illustrated using classical logic. The approach is compared with the Edinburgh Logical Framework. Several of the Isabelle object-logics are presented.
Sigma Models And The ADHM Construction Of Instantons
Creators: name: Witten, Edward
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: This paper is devoted to the construction of a family of linear sigma models with $(0,4)$ supersymmetry which should flow in the infrared to the stringy version of Yang-Mills instantons on ${\bf R}^4$. The family depends on the full set of expected parameters and is obtained by using the data that appear in the ADHM construction of instantons.
description: 14 pp, harvmac
Low thermal conductivity in La-filled cobalt antimonide skutterudites with an inhomogeneous filling factor prepared under high-pressure conditions
Creators: name: Serrano-Sánchez, F.
name: Prado-Gonjal, J.
name: Nemes, N. M.
name: Biskup, N.
name: Varela, M.
name: Dura, O. J.
name: Martínez, J. L.
name: Fernández-Díaz, M. T.
name: Fauth, F.
name: Alonso, J. A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: La-filled skutterudites LaxCo4Sb12 (x : 0.25 and 0.5) have been synthesized and sintered in one step under high-pressure conditions at 3.5 GPa in a piston-cylinder hydrostatic press. The structural properties of the reaction products were characterized by synchrotron X-ray powder diffraction, clearly showing an uneven filling factor of the skutterudite phases, confirmed by transmission electron microscopy. The non-homogeneous distribution of La filling atoms is adequate to produce a significant decrease in lattice thermal conductivity, mainly due to strain field scattering of high-energy phonons. Furthermore, the lanthanum filler primarily acts as an Einstein-like vibrational mode having a strong impact on the phonon scattering. Extra-low thermal conductivity values of 2.39 W/mK and 1.30 W/mK are measured for La0.25Co4Sb12 and La0.5Co4Sb12 nominal compositions at 780 K, respectively. Besides this, lanthanum atoms have contributed to increase the charge carrier concentration in the samples. In the case of La0.25Co4Sb12, there is an enhancement of the power factor and an improvement of the thermoelectric properties.
A Formulation of the Simple Theory of Types (for Isabelle)
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: Simple type theory is formulated for use with the generic theorem prover Isabelle. This requires explicit type inference rules. There are function, product, and subset types, which may be empty. Descriptions (the eta-operator) introduce the Axiom of Choice. Higher-order logic is obtained through reflection between formulae and terms of type bool. Recursive types and functions can be formally constructed. Isabelle proof procedures are described. The logic appears suitable for general mathematics as well as computational problems.
Behring Sea arbitration. Award of 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 : Harrison and Sons
Year: 2016

description: "([Great Britain. Parliament. Command papers] C. 7107) At head of title : United States, no. 10 (1893)" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 113.

 "Presented to both Houses of Parliament by command of Her Majesty, August 1893" -- Title page
Behring Sea arbitration. Counter-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: Bering Sea Tribunal Of Arbitration
Publisher: name: London : Harrison and Sons
Year: 2016

description: "([Great Britain. Parliament. Command papers] C. 6920) At head of title: United States, no. 3 (1893)" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 115.

"Presented to both Houses of Parliament by command of Her Majesty" -- Title page
Supplementary Figure 1 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.
title: Verfahren für die Berechnung und Abschätzung der Tourenlänge des Handlungsreisendenproblems mit wenigen Orten
Creators: name: Blümel, Christian
Publisher: name: BTU  Cottbus - Senftenberg
Year: 2019
Subjects: subject: 510 Mathematik

description: Eines der am intensivsten untersuchten Probleme aus dem Bereich der Optimierung stellt das sogenannte Traveling Salesman Problem (TSP, in deutsch: Handlungsreisendenproblem) dar. Die Aufgabe hinter dem Handlungsreisendenproblem besteht darin, für eine gegebene Anzahl an Orten eine Route zu entwickeln, sodass die Gesamtlänge der Route minimal ist. Zudem darf kein Ort, bis auf den ersten, mehrmals besucht werden. Ziel der vorliegenden Bachelorarbeit ist es, statistische Untersuchungen bezüglich der Tourlänge des TSP in Abhängig der Anzahl der besuchten Städte vorzunehmen, wobei der Fokus auf einer kleinen Anzahl von Städten liegt. Dazu wurde das Problem einerseits numerisch gelöst und die Verteilung der Lösungen analysiert. Für Teilaspekte wurden analytische Lösungen berechnet.
description: One of the most intensively studied problems in the area of optimization is the so-called Traveling Salesman Problem (TSP). The task behind the traveling salesman problem is to develop a route for a given number of locations so that the total length of the Route is minimal. Also, no place, except the first one, can be visited several times. The present bachelor thesis aims to carry out statistical investigations regarding the tour length of the TSP in dependence on the number of visited cities, whereby the focus is on a small number of cities. On the one hand, the problem was solved numerically and the distribution of the solutions was analyzed. For some subproblems, analytic solutions were calculated.
description: Cottbus Mathematical Preprints, 7, 2019
Automatic Prediction of Building Age from Photographs
Creators: name: Zeppelzauer, Matthias
name: Despotovic, Miroslav
name: Sakeena, Muntaha
name: Koch, David
name: Döller, Mario
Publisher: name: arXiv
Year: 2018
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: FOS: Computer and information sciences

description: We present a first method for the automated age estimation of buildings from unconstrained photographs. To this end, we propose a two-stage approach that firstly learns characteristic visual patterns for different building epochs at patch-level and then globally aggregates patch-level age estimates over the building. We compile evaluation datasets from different sources and perform an detailed evaluation of our approach, its sensitivity to parameters, and the capabilities of the employed deep networks to learn characteristic visual age-related patterns. Results show that our approach is able to estimate building age at a surprisingly high level that even outperforms human evaluators and thereby sets a new performance baseline. This work represents a first step towards the automated assessment of building parameters for automated price prediction.
description: Preprint of paper to appear in ACM International Conference on Multimedia Retrieval (ICMR) 2018 Conference
Behring Sea arbitration. Papers relating to the proceedings of the tribunal of arbitration, constituted under Article I of the treaty concluded at Washington on the 29th of February 1892, between Her Britannic Majesty and the United States of America
Creators: name: Bering Sea Tribunal Of Arbitration
Publisher: name: London : Harrison and Sons
Year: 2016

description: "([Great Britain. Parliament. Command papers] C. 7161) At head of title: United States, no. 11 (1893)" -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 117.

"Presented to both Houses of Parliament by command of Her Majesty, September 1893" -- Title page
Controlling magnetism in 2D CrI3 by electrostatic doping
Creators: name: Jiang, Shengwei
name: Li, Lizhong
name: Wang, Zefang
name: Mak, Kin Fai
name: Shan, Jie
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The atomic thickness of two-dimensional (2D) materials provides a unique opportunity to control material properties and engineer new functionalities by electrostatic doping. Electrostatic doping has been demonstrated to tune the electrical and optical properties of 2D materials in a wide range, as well as to drive the electronic phase transitions. The recent discovery of atomically thin magnetic insulators has opened up the prospect of electrical control of magnetism and new devices with unprecedented performance. Here we demonstrate control of the magnetic properties of monolayer and bilayer CrI3 by electrostatic doping using a dual-gate field-effect device structure. In monolayer CrI3, doping significantly modifies the saturation magnetization, coercive force and Curie temperature, showing strengthened (weakened) magnetic order with hole (electron) doping. Remarkably, in bilayer CrI3 doping drastically changes the interlayer magnetic order, causing a transition from an antiferromagnetic ground state in the pristine form to a ferromagnetic ground state above a critical electron density. The result reveals a strongly doping-dependent interlayer exchange coupling, which enables robust switching of magnetization in bilayer CrI3 by small gate voltages.
description: 12 pages and 4 figures
Poisson Algebra of Wilson Loops in Four-Dimensional Yang-Mills Theory
Creators: name: Rajeev, S. G.
name: Turgut, O. T.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We formulate the canonical structure of Yang--Mills theory in terms of Poisson brackets of gauge invariant observables analogous to Wilson loops. This algebra is non--trivial and tractable in a light--cone formulation. For U(N) gauge theories the result is a Lie algebra while for SU(N) gauge theories it is a quadratic algebra. We also study the identities satsfied by the gauge invariant observables. We suggest that the phase space of a Yang--Mills theory is a co--adjoint orbit of our Poisson algebra; some partial results in this direction are obtained.
description: 32 Pages, 7 figures upon request
Dual Polarized Modulation and Receivers for Mobile Communications in Urban Areas
Creators: name: Henarejos, Pol
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: Achieving an increase in the spectral efficiency (SE) has always been a major driver in the design of communication systems. The use of MIMO techniques in mobile communications has achieved significant benefits in improving the system throughput. The basic underlying concept of MIMO is to exploit the signal and channel characteristics to eliminate interference between multiple transmissions. Departing from the work carried out under the industrial projects \cite{NGW,Henarejos}, we extend the results provided in their respective reports. The goal is to increase the SE without an increment of radiated energy without any Channel State Information at Transmitter (CSIT) and feedback at the transmitter and maintaining a very low computational complexity at the receiver. Although a priori additional power is required to increase the SE, we demonstrate that the proposed Polarized Modulation (PMod) scheme exploits the polarization diversity reducing the required EbN0 and adding an extra bit. We also introduce two receivers to demodulate this scheme of different computational complexities. We describe a Near Optimal Detector (NOD) which achieves almost the same performance as the optimal detector based on the Maximum Likelihood Detection (MLD), but with lower computational complexity. Finally, the results demonstrate that the PMod requires less EbN0 compared with the single polarization case, guarantees the robustness in the presence of the cross-polarization and validates that PMod can multiplex two streams of different Quality of Service (QoS).
The Williams official British Columbia directory 1893. Containing general information and directories of the various cities and settlements in the province, with a classified business directory
Creators: name: Williams' B.C. Directory Co., Ltd.
Publisher: name: Victoria : Victoria Printing Company
Year: 2015

description: "Printer varies. Issued for the year 1882/83, 1884/85, 1889, 1891, 1892, 1894, 1895, 1897-98, and 1899. Title varies: 1882/83 and 1884/85 as The British Columbia directory; 1889 as Williams' British Columbia directory. Binder's title, 1889-94: Williams' British Columbia directory and street index. Incorporated into Henderson's British Columbia gazetteer and directory, 1900. Subtitles vary. Provides lists of government officials, teachers, officers of armed forces, societies, consuls, members of the Legislative Assembly, and judges, as well as providing a wide range of information about various B.C. localities." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 71.
Comet C/2017 K2 (PANSTARRS): dynamically old or new?
Creators: name: Marcos, R. de la Fuente
name: Marcos, C. de la Fuente
Publisher: name: arXiv
Year: 2018
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: At discovery time, C/2017 K2 (PANSTARRS) was the second most distant inbound active comet ever observed. It has been argued that this object is in the process of crossing the inner Solar System for the first time, but other authors have concluded that it is dynamically old. We have performed full N-body simulations for 3 Myr into the past using the latest public orbit determination for this object and most of them, 67%, are consistent with a bound and dynamically old Oort cloud comet, but about 29% of the studied orbits are compatible with an interstellar origin. Our independent calculations strongly suggest that C/2017 K2 is not a dynamically new Oort cloud comet.
description: 3 pages, 1 figure. Accepted for publication in Research Notes of the AAS
A Higher-Order Implementation of Rewriting
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.1.1, D.2.4, F.4.1

description: Many automatic theorem-provers rely on rewriting. Using theorems as rewrite rules helps to simplify the subgoals that arise during a proof. LCF is an interactive theorem-prover intended for reasoning about computation. Its implementation of rewriting is presented in detail. LCF provides a family of rewriting functions, and operators to combine them. A succession of functions is described, from pattern matching primitives to the rewriting tool that performs most inferences in LCF proofs. The design is highly modular. Each function performs a basic, specific task, such as recognizing a certain form of tautology. Each operator implements one method of building a rewriting function from simpler ones. These pieces can be put together in numerous ways, yielding a variety of rewrit- ing strategies. The approach involves programming with higher-order functions. Rewriting functions are data values, produced by computation on other rewriting functions. The code is in daily use at Cambridge, demonstrating the practical use of functional programming.
Data4Ag
Creators: name: Addison, Chris
Publisher: name: F1000 Research Limited
Year: 2019

description: Working in partnership
Developing the data ecosystem through capacity building to support smallholder agriculture in Africa, the Caribbean and the Pacific.
Presentation during CFS 46 Information & Predictive Analytics 4 Innovation in Food Security and Agriculture: Partnering to enhance access to research and open data for Development and to harness the power of predictive analytics for food security monitoring
Some Properties of Large $N$ Two Dimensional Yang--Mills Theory
Creators: name: Gross, David J.
name: Matytsin, Andrei
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Large $N$ two-dimensional QCD on a cylinder and on a vertex manifold (a sphere with three holes) is investigated. The relation between the saddle-point description and the collective field theory of QCD$_2$ is established. Using this relation, it is shown that the Douglas--Kazakov phase transition on a cylinder is associated with the presence of a gap in the eigenvalue distributions for Wilson loops. An exact formula for the phase transition on disc with an arbitrary boundary holonomy is found. The role of instantons in inducing such transitions is discussed. The zero-area limit of the partition function on a vertex manifold is studied. It is found that this partition function vanishes unless the boundary conditions satisfy a certain selection rule which is an analogue of momentum conservation in field theory.
description: 48 pages, preprint PUPT-1503
Logic Programming, Functional Programming, and Inductive Definitions
Creators: name: Paulson, Lawrence C.
name: Smith, Andrew W.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.1.1, D.1.6

description: An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design based on these considerations is sketched and a prototype implementation discussed.
Electron beam-plasma interaction and electron-acoustic solitary waves in a plasma with suprathermal electrons
Creators: name: Danehkar, Ashkbiz
Publisher: name: arXiv
Year: 2018
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Suprathermal electrons and inertial drifting electrons, so called electron beam, are crucial to the nonlinear dynamics of electrostatic solitary waves observed in several astrophysical plasmas. In this paper, the propagation of electron-acoustic solitary waves is investigated in a collisionless, unmagnetized plasma consisting of cool inertial background electrons, hot suprathermal electrons (modeled by a $κ$-type distribution), and stationary ions. The plasma is penetrated by a cool electron beam component. A linear dispersion relation is derived to describe small-amplitude wave structures that shows a weak dependence of the phase speed on the electron beam velocity and density. A (Sagdeev-type) pseudopotential approach is employed to obtain the existence domain of large-amplitude solitary waves, and investigate how their nonlinear structures depend on the kinematic and physical properties of the electron beam and the suprathermality (described by $κ$) of the hot electrons. The results indicate that the electron beam can largely alter the electron-acoustic solitary waves, but can only produce negative polarity solitary waves in this model. While the electron beam co-propagates with the solitary waves, the soliton existence domain (Mach number range) becomes narrower (nearly down to nil) with increasing the beam speed and the beam-to-hot electron temperature ratio, and decreasing the beam-to-cool electron density ratio in high suprathermality (low $κ$). It is found that the electric potential amplitude largely declines with increasing the beam speed and the beam-to-cool electron density ratio for co-propagating solitary waves, but is slightly decreased by raising the beam-to-hot electron temperature ratio.
description: 23 pages, 10 figures, accepted for publication in Plasma Physics and Controlled Fusion
MOESM1 of NaCl-responsive ROS scavenging and energy supply in alkaligrass callus revealed from proteomic analysis
Creators: name: Zhang, Yongxue
name: Zhang, Yue
name: Yu, Juanjuan
name: Zhang, Heng
name: Wang, Liyue
name: Wang, Sining
name: Guo, Siyi
name: Miao, Yuchen
name: Chen, Sixue
name: Li, Ying
name: Dai, Shaojun
Publisher: name: figshare
Year: 2019
Subjects: Biochemistry
Molecular Biology
Pharmacology
Biological Sciences not elsewhere classified

description: Additional file 1: Figure S1. Three biological replicates of 2DE gels of proteins extracted in from the alkaligrass calli under NaCl treatments.
Moduli Dependent Non-Holomorphic Contributions of Massive States to Gravitational Couplings and $C^2$-Terms in $Z_N$-Orbifold Compactifications
Creators: name: Cardoso, Gabriel Lopes
name: Lüst, Dieter
name: Ovrut, Burt A.
Publisher: name: arXiv
Year: 1994
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: It is pointed out that massive states in D=4, N=1 supergravity-matter theories can, in general, at the 1-loop level contribute non-holomorphic terms to quadratic gravitational couplings. It is then shown in the context of $(2,2)$-symmetric $Z_N$-orbifold theories that, for constant moduli backgrounds, the inclusion of such contributions can result in the cancellation of naked $C^2$-terms. ${\cal R}^2$-terms can also arise but, being ghost free, need not cancel.
description: 38 pages, HUB-IEP-94/20, UPR-634T (references added)
Comparison of the Magnetic properties of Mn3Fe2Si3O12 as a crystalline garnet and as a glass
Creators: name: Cevallos, F. Alex
name: Cava, R. J.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The crystalline garnet Mn3Fe2Si3O12 and an amorphous phase of the same nominal composition are synthesized at high pressure. The magnetic properties of the two forms are reported. Both phases order antiferromagnetically. The crystalline phase exhibits a Curie-Weiss theta of -47.2 K, with a sharp ordering transition at 12 K. The glassy phase exhibits a larger antiferromagnetic Curie-Weiss theta, of -83.0 K, with a broad ordering transition observed at 2.5 K. Both phases can be classified as magnetically frustrated, although the amorphous phase shows a much higher degree of frustration. The amorphous phase exhibits spin-glass behavior and is determined to have an actual composition of Mn3Fe2Si3O13.
description: 14 pages, 7 figures, 2 tables
Classified digest of the records of the Society for the Propagation of the Gospel in Foreign Parts. 1701-1892
Creators: name: Pascoe, C. F. (Charles Frederick), 1854-
Publisher: name: London : The Society for the Propagation of the Gospel in Foreign Parts
Year: 2015

description: "Chapter 22 deals with British Columbia. After passing through seven editions the book was revised and appeared as Two hundred years of the S. P. G.; an historical account of the Society for the Propagation of the Gospel in Foreign Parts, 1701-1900 (London, 1901). In xli, 1429 pages. List of references: p. 1301-1389." -- Lowther, B. J., & Laing, M. (1968). A bibliography of British Columbia: Laying the foundations, 1849-1899. Victoria, BC: University of Victoria, p. 129.

"(With much supplementary information)" -- Title page.
Johanna Spyri an [Anna Ulrich]
Creators: name: Spyri, Johanna
Publisher: name: [s.n.]
Year: 1893

description: Textincipit: "Liebe Nichte! / Du siehst, / ich bin noch daheim u. habe / deinen Brief also noch hier / erhalten. [...]" / Adressatin nicht eindeutig identifiziert.
Jan Anderson - Bibliography from Joan Mary Anderson. 12 May 1932 — 28 August 2015
Creators: name: Horton, Peter
name: Wah Soon Chow
name: Barrett, Christopher
Publisher: name: The Royal Society
Year: 2018
Subjects: Molecular Biology

description: Joan Mary (Jan) Anderson pioneered the investigation of the molecular organization of the plant thylakoid membrane, making seminal discoveries that laid the foundations for the current understanding of photosynthesis. She grew up in Queenstown, New Zealand, obtaining a BSc and MSc at the University of Otago in Dunedin. After completing her PhD at the University of California, she embarked on a glittering career at CSIRO and then the Australian National University in Canberra. Not only a gifted experimentalist, Jan was a creative thinker, not afraid to put her insightful and prophetic hypotheses into the public domain. Her many notable achievements include establishing the details and the physiological significance of lateral heterogeneity in the distribution of the two photosystems between stacked and unstacked thylakoid membranes and the dynamic changes in the extent of stacking that occur in response to changes in the light environment. Her investigations brought her into collaboration with leading researchers throughout the world. Recognized with many honours as a leading scientist in Australia, international recognition included the Lifetime Achievement Award from the International Society of Photosynthesis Research and honorary fellowships at universities in the UK and USA.
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Cart. 189 (11 H 74), 316 folios, f. 0008r
Creators: name: de la Côte d'Or, Archives départementales
name: CG21/F.PETOT/2012
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: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0008r, 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 V, Archives départementales de la Côte-d'Or, Cart. 189 (11 H 74), 316 folios, f. 0008r, 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
Designing a Theorem Prover
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.4.1, I.2.3, D.1.1

description: A step-by-step presentation of the code for a small theorem prover introduces theorem-proving techniques. The programming language used is Standard ML. The prover operates on a sequent calculus formulation of first-order logic, which is briefly explained. The implementation of unification and logical inference is shown. The prover is demonstrated on several small examples, including one that shows its limitations. The final part of the paper is a survey of contemporary research on interactive theorem proving.
Forward Link Interference Mitigation in Mobile Interactive Satellite Systems
Creators: name: Henarejos, Pol
name: Vázquez, Miguel Ángel
name: Cocco, Giuseppe
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: We present the results of the performance evaluation of polarization-time coding and soft interference cancellation in multi-beam satellite systems affected by co-channel interference in realistic setups. The standard of Broadband Global Area Network service (BGAN) has been considered as reference for the physical layer and realistic interference and channel models have been adopted. The work has been carried out in the framework of the Next Generation Waveform for Increased Spectral Efficiency (NGWISE) project founded by the European Space Agency (ESA).
title: Paratexte_L'amateur d'abîmes
Creators: name: AmateurS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2021

description: Paratexte
description: ID_PARA_01009
Evidence accumulation account of human operators’ decisions in intermittent control during inverted pendulum balancing
Creators: name: Zgonnikov, Arkady
name: Markkula, Gustav
Publisher: name: figshare
Year: 2018
Subjects: subject: 170202 Decision Making
subject: FOS: Psychology
subject: Neuroscience and Physiological Psychology

description: Figures from the conference paper to be published soon in the proceedings of IEEE Conference on Systems, Man, and Cybernetics 2018
An SDR Implementation of a Visible Light Communication System Based on the IEEE 802.15.7 Standard
Creators: name: Baranda, Jorge
name: Henarejos, Pol
name: George-Gavrincea, Ciprian
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 aim of this paper is to present an implementation of a functional IEEE 802.15.7 real-time testbed based on the Software Defined Radio (SDR) concept. This implementation is built with low cost commercial off-the-shelf (COTS) analog devices and the use of Universal Software Radio Peripheral version 2 (USRP2) equipment combined with a generic object-oriented framework that takes advantage of several open source software libraries. The prototype is validated in a controlled laboratory environment with an over-the-air measurement campaign.
title: ADCO, Cartulaire général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IV, Cart. 188 (11 H 73), f. 0107v
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: 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 général de Cîteaux, dit de Jean de Cirey, (XVe siècle), tome IV, Archives départementales de la Côte-d'Or, Cart. 188 (11 H 73), f. 0107v, 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 IV, Archives départementales de la Côte-d'Or, Cart. 188 (11 H 73), f. 0107v, 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
Flexible Software for Rigorous Simulations of Magnetic Particle Imaging Systems
Creators: name: Natorf Quelhas, Klaus
name: Henn, Mark-Alexander
name: Q. Bui, Thinh
name: R. Wages, Hunter
name: L. Tew, Weston
name: I. Woods, Solomon
Publisher: name: International Journal on Magnetic Particle Imaging
Year: 2022

description: Modeling of Magnetic Particle Imaging (MPI) systems allows for developing and testing novel methods for image reconstruction and simulating various setups without the need of real-life measurement data. Here we describe the the initial development of a C++ simulation software designed to provide more realistic MPI simulation data, by accounting for effects like non-linear gradient fields, non-uniform drive fields, space-dependent coil sensitivity, temperature gradients and particle relaxation, as well as the results of the comparison of the simulated signals against real-life Magnetic Particle Spectroscopy (MPS) measurements. In addition to MPI, the software is also suitable for simulating other applications, e.g. MPS, AC susceptibility and pulsed relaxometry measurements.
description: International Journal on Magnetic Particle Imaging, Vol 8 No 1 Suppl 1 (2022)
Behring Sea arbitration. Appendix to case of Her Majesty's Government. Vol. III
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.
Additional file 1 of COVID-19 vaccines in patients with decompensated cirrhosis: a retrospective cohort on safety data and risk factors associated with unvaccinated status
Creators: name: Cao, Zhujun
name: Zhang, Chenxi
name: Zhao, Shuang
name: Sheng, Zike
name: Xiang, Xiaogang
name: Li, Ruokun
name: Qian, Zhuping
name: Wang, Yinling
name: Chen, Bin
name: Li, Ziqiang
name: Liu, Yuhan
name: An, Baoyan
name: Zhou, Huijuan
name: Cai, Wei
name: Wang, Hui
name: Gui, Honglian
name: Xin, Haiguang
name: Xie, Qing
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: Chemical Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: Science Policy
subject: Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. List of abbreviations, the vaccination campaign in China and the supplementary Figure 1 for the total confirmed COVID-19 cases as of 7 Feb 2022 in the five major areas involved in the current study.
Johanna Spyri an Ernst Kappeler
Creators: name: Spyri, Johanna
Publisher: name: [s.n.]
Year: 1896

description: Textincipit: "Mein lieber Freund! / Ist das nicht / sonderbar! Diesen Augenblick / habe ich ein  Packet an Sie fer- / tig gestellt, [...]"
Symmetry breaking and localization in a random Schwinger model with commensuration
Creators: name: Akhtar, A. A.
name: Nandkishore, Rahul M.
name: Sondhi, S. L.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We numerically investigate a lattice regularized version of quantum electrodynamics in one spatial dimension (Schwinger model). We work at a density where lattice commensuration effects are important, and preclude analytic solution of the problem by bosonization. We therefore numerically investigate the interplay of confinement, lattice commensuration, and disorder, in the form of a random chemical potential. We begin by pointing out that the ground state at commensurate filling spontaneously breaks the translational symmetry of the lattice. This feature is absent in the conventional lattice regularization, which breaks the relevant symmetry explicitly, but is present in an alternative (symmetric) regularization that we introduce. Remarkably, the spontaneous symmetry breaking survives the addition of a random chemical potential (which explicitly breaks the relevant symmetry) in apparent contradiction of the Imry-Ma theorem, which forbids symmetry breaking in one dimension with this kind of disorder. We identify the long range interaction as the key ingredient enabling the system to evade Imry-Ma constraints. We examine spatially resolved energy level statistics for the disordered system, and demonstrate that the low energy Hilbert space exhibits ergodicity breaking, with level statistics that fail to follow random matrix theory. A careful examination of the structure of low lying excited states reveals that disorder induced localization is responsible for the deviations from random matrix theory, and further reveals that the elementary excitations are charge neutral, and therefore not long range interacting.
Dynamic Backtracking
Creators: name: Ginsberg, M. L.
Publisher: name: arXiv
Year: 1993
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: Because of their occasional need to return to shallow points in a search tree, existing backtracking methods can sometimes erase meaningful progress toward solving a search problem. In this paper, we present a method by which backtrack points can be moved deeper in the search space, thereby avoiding this difficulty. The technique developed is a variant of dependency-directed backtracking that uses only polynomial space while still providing useful control information and retaining the completeness guarantees provided by earlier approaches.
description: See http://www.jair.org/ for an online appendix and other files accompanying this article