cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Radio Observations of SN 1980K: Evidence for Rapid Presupernova Evolution
Creators: name: Montes, Marcos J.
name: Van Dyk, Schuyler D.
name: Weiler, Kurt W.
name: Sramek, Richard A.
name: Panagia, Nino
Publisher: name: arXiv
Year: 1998
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: New observations of SN 1980K made with the VLA at 20 and 6 cm from 1994 April through 1996 October show that the supernova (SN) has undergone a significant change in its radio emission evolution, dropping by a factor of ~2 below the flux density S \propto t^{-0.73} power-law decline with time t observed earlier. However, although S at all observed frequencies has decreased significantly, its current spectral index of α= -0.42\pm0.15 (S \propto ν^{+α}) is consistent with the previous spectral index of α=-0.60_{-0.07}^{+0.04}. It is suggested that this decrease in emission may be due to the SN shock entering a new region of the circumstellar material which has a lower density than that expected for a constant speed (w), constant mass-loss rate (Mdot) wind from the progenitor. If such an interpretation is correct, the difference in wind and shock speeds appears to indicate a significant evolution in the mass-loss history of the SN progenitor ~10^4 years before explosion, with a change in circumstellar density (\propto Mdot/w) occurring over a time span of \lesssim 4 kyr. Such features could be explained in terms of a fast ``blue-loop'' evolutionary phase of a relatively massive pre-SN progenitor star. If so, we may, for the first time, provide a stringent constraint on the mass of the SN progenitor based solely on the SN's radio emission.
description: 22 pages, 3 figures, to appear in ApJ
Studies of Liquid-Liquid Two-Phase Flows Using Laser-Based Methods
Creators: name: Morgan, Rhys Gareth
Publisher: name: Imperial College London
Year: 2012

description: The research described in this thesis has been focused on the detailed investigation of horizontal co-current liquid-liquid two-phase flows. The experiments were carried out in channels of square and circular cross section and involved the use of two immiscible liquids of matched refractive index; namely an oil (Exxol™D80) and a 81.7 wt% glycerol-water solution. The experiments were carried out in a refurbished liquid-liquid flow facility (TOWER) and the focus was on examining the flows using high-speed laser-based visualisation methods which allowed both qualitative evaluation of the nature of the flows (i.e. the flow patterns) and quantitative measurements of parameters such as drop size and velocity distribution. The laser-based techniques used included Planar Laser Induced Fluorescence (PLIF), Particle Tracking Velocimetry (PTV) and Particle Image Velocimetry (PIV). Using these techniques, it was possible to obtain high spatial and temporal resolution measurements of velocity and phase distribution of liquid-liquid flows which enabled the detailed diagnostic inspection to an extent that has not been previously possible. 144 experiments were carried out in three experimental campaigns. In the first campaign, a square cross section channel was used in order to avoid image distortion by the channel walls. In the second and third campaigns, a circular tube was employed and a graticule correction method was used to correct the distortion to the PLIF and PTV/PIV images which occurs when the circular cross-section visualisation cell is used. In the two circular tube experiments, two methods of injection of the phases were used: (1) the heavier (glycerol solution) phase was injected in its natural location at the bottom of the channel, and (2) in the second case the heavier phase was injected at the top of the channel. The PLIF images gave a clear indication of the distribution of the phases at the channel centre line and have been used qualitatively in obtaining information about the flow patterns occurring. The PLIF images have also been used quantitatively in generating data on phase distribution, insitu phase fraction, interface level and drop size distribution. Much of the data on in-situ phase fraction and interface level fits well with a simple laminar-laminar stratified flow model. The PTV/PIV method provided extensive data on velocity profiles; in the lower (aqueous glycerol solution) phase, the profile usually showed the curved shape characteristic of laminar flow and in the upper (Exxol™D80) phase, the velocity profile often showed the flattened form characteristic of turbulent flow.
Estimating Risk-Aware Flexibility Areas for EV Charging Pools via Stochastic AC-OPF
Creators: name: Giraldo, Juan S.
name: Arias, Nataly Banol
name: Vergara, Pedro P.
name: Vlasiou, Maria
name: Hoogsteen, Gerwin
name: Hurink, Johann L.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This paper introduces a stochastic AC-OPF (SOPF) for the flexibility management of electric vehicle (EV) charging pools in distribution networks under uncertainty. The SOPF considers discrete utility functions from charging pools as a compensation mechanism for eventual energy not served to their charging tasks. An application of the proposed SOPF is described where a distribution system operator (DSO) requires flexibility to each charging pool in a day-ahead time frame, minimizing the cost for flexibility while guaranteeing technical limits. Flexibility areas are defined for each charging pool and calculated as a function of a risk parameter involving the solution's uncertainty. Results show that all players can benefit from this approach, i.e., the DSO obtains a risk-aware solution, while charging pools/tasks perceive a reduction in the total energy payment due to flexibility services.
title: Can technology-based monitoring deliver timely, cost-effective, and high quality fishery-dependent data?
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session H
Year: 2024
Subjects: Technologies and data
Ecosystem observation, processes and dynamics

description: No abstracts are to be cited without prior reference to the author.Conveners: Brett Alger (USA), Lisa Borges (Portugal), Helen Holah (UK)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Searching for Lindbladians obeying local conservation laws and showing thermalization
Creators: name: Tupkary, Devashish
name: Dhar, Abhishek
name: Kulkarni, Manas
name: Purkayastha, Archak
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We investigate the possibility of a Markovian quantum master equation (QME) that consistently describes a finite-dimensional system, a part of which is weakly coupled to a thermal bath. In order to preserve complete positivity and trace, such a QME must be of Lindblad form. For physical consistency, it should additionally preserve local conservation laws and be able to show thermalization. We search of Lindblad equations satisfying these additional criteria. First, we show that the microscopically derived Bloch-Redfield equation (RE) violates complete positivity unless in extremely special cases. We then prove that imposing complete positivity and demanding preservation of local conservation laws enforces the Lindblad operators and the lamb-shift Hamiltonian to be `local', i.e, to be supported only on the part of the system directly coupled to the bath. We then cast the problem of finding `local' Lindblad QME which can show thermalization into a semidefinite program (SDP). We call this the thermalization optimization problem (TOP). For given system parameters and temperature, the solution of the TOP conclusively shows whether the desired type of QME is possible up to a given precision. Whenever possible, it also outputs a form for such a QME. For a XXZ chain of few qubits, fixing a reasonably high precision, we find that such a QME is impossible over a considerably wide parameter regime when only the first qubit is coupled to the bath. Remarkably, we find that when the first two qubits are attached to the bath, such a QME becomes possible over much of the same paramater regime, including a wide range of temperatures.
title: Co-existence of sustainable fisheries and offshore wind energy development – lessons learned
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session C
Year: 2024
Subjects: Fisheries and aquaculture
The sea and human culture and societies

description: No abstracts are to be cited without prior reference to the author. Conveners: Vanessa Stelzenmüller (Germany), Antje Gimpel (Germany), Annie Hawkins (US)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Near-optimal stochastic MIMO signal detection with a mixture of t-distribution prior
Creators: name: Hagiwara, Junichiro
name: Matsumura, Kazushi
name: Asumi, Hiroki
name: Kasuga, Yukiko
name: Nishimura, Toshihiko
name: Sato, Takanori
name: Ogawa, Yasutaka
name: Ohgane, Takeo
Publisher: name: arXiv
Year: 2023
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Information Theory (cs.IT)
subject: FOS: Computer and information sciences

description: Multiple-input multiple-output (MIMO) systems will play a crucial role in future wireless communication, but improving their signal detection performance to increase transmission efficiency remains a challenge. To address this issue, we propose extending the discrete signal detection problem in MIMO systems to a continuous one and applying the Hamiltonian Monte Carlo method, an efficient Markov chain Monte Carlo algorithm. In our previous studies, we have used a mixture of normal distributions for the prior distribution. In this study, we propose using a mixture of t-distributions, which further improves detection performance. Based on our theoretical analysis and computer simulations, the proposed method can achieve near-optimal signal detection with polynomial computational complexity. This high-performance and practical MIMO signal detection could contribute to the development of the 6th-generation mobile network.
description: Published in the 2023 IEEE Global Communications Conference (GLOBECOM)
Site Descriptions from Collagen fingerprinting traces the introduction of caprines to island Eastern Africa
Creators: name: Culley, Courtney
name: Janzen, Anneke
name: Brown, Samantha
name: Prendergast, Mary E.
name: Wolfhagen, Jesse
name: Abderemane, Bourhane
name: Ali, Abdallah K.
name: Haji, Othman
name: Horton, Mark C.
name: Shipton, Ceri
name: Swift, Jillian
name: Tabibou, Tabibou A.
name: Wright, Henry T.
name: Boivin, Nicole
name: Crowther, Alison
Publisher: name: The Royal Society
Year: 2021

description: Environmental background and chronology
Apis longicornis Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Apis
Apis longicornis

description: Apis longicornis [spec. nov.]
A. antennis filiformibus longitudine corporis hirsuti fulvique.
Swamm. bibl. t. 26. f. 6.
Habitat in Europa.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 574, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
The effect of stress, pore fluid and pore structure on elastic wave velocities in sandstones
Creators: name: David, Emmanuel Charles
Publisher: name: Imperial College London
Year: 2012

description: A model of elastic wave propagation in fluid-saturated sandstones is developed that takes into account pore fluid properties, and stress. It is based on the assumption that the pore space can be represented by a distribution of crack-like spheroidal pores having a distribution of aspect ratios, and a single family of non-closable spheroidal pores. The Eshelby-Wu formalism is used to find exact expressions for the bulk and shear compliances of the pores. Asymptotic analytical expressions are obtained for the compliances of both dry and fluid-saturated spheroidal pores that are crack-like, needle-like, or nearly spherical. These expressions are incorporated into two commonly used effective medium theories, the Mori-Tanaka and the Differential schemes, to obtain expressions for the effective elastic properties of dry and fluid-saturated rocks containing spheroids of a given aspect ratio, as a function of porosity or crack density. The stress dependence of the elastic velocities is modelled by considering that the elastic moduli vary with stress due to crack closure. This pore structure model is able to explain successfully the pressure dependence of ultrasonic dry velocities on many sets of laboratory data. Predictions of saturated velocities are made using either the Gassmann equation, or using an effective medium theory in conjunction with the aspect ratio distribution found from the dry data. For ultrasonic velocities obtained at high frequencies (MHz), the predictions of effective medium theories are more accurate than the Gassmann predictions. Low-frequency measurements (0.02 Hz) of the bulk modulus were obtained on Fontainebleau sandstone, under pressure, and with different pore fluids. For water and glycerin-saturated samples, both the 4% and 13% porosity rock specimens were more compliant at low frequencies than at high frequencies. Finally, a model is proposed for the frequency dependence of the wave velocities, assuming that at a given frequency, some pores obey the Gassmann equation, and others are isolated, with a critical aspect ratio demarcating the two families that depends on frequency and fluid viscosity.
title: ADCO, Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Cart. 32 (G 136), 745 folios, f. 0533
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
name: Petot, Frédéric
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2020
Subjects: subject: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: cartulaire

description: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0533, Numérisation en mode image.
description: Relation: http://www.cbma-project.eu/
description: Bibliographic citation: Neuvième cartulaire de Saint-Étienne de Dijon (1661 - 1684), Archives départementales de la Côte-d'Or, Cart. 32 (G 136), 745 folios, f. 0533, 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 birational rigidity of singular del Pezzo fibrations of degree 1
Creators: name: Okada, Takuzo
Publisher: name: arXiv
Year: 2018
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We give a sufficient condition for birational superrigidity of del Pezzo fibrations of degree $1$ with only $\frac{1}{2} (1,1,1)$ singular points, generalizing the so called $K^2$-condition. As an application, we also prove that a del Pezzo fibrations of degree $1$ with only $\frac{1}{2} (1,1,1)$ singular points embedded in a toric $\mathbb{P} (1,1,2,3)$-bundle over $\mathbb{P}^1$ is birationally superrigid if and only if it satisfies the $K$-condition.
description: 20 pages, Discussion on subtle differences of definitions of birational rigidity is added
title: Beyond recruitment correlations accounting for environmental change in single-species advice
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session G
Year: 2024
Subjects: Pressures, impacts, conservation, and management
Ecosystem observation, processes and dynamics
Fisheries and aquaculture

description: No abstracts are to be cited without prior reference to the author.Conveners: Robyn Forrest (Canada), Meaghan Bryan (USA), Sean Anderson (Canada)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Braid group statistics in two-dimensional quantum field theory
Creators: name: Adler, C.
Publisher: name: arXiv
Year: 1995
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Within the framework of algebraic quantum field theory, we construct explicitly localized morphisms of a Haag-Kastler net in 1+1-dimensional Minkowski space showing abelian braid group statistics. Moreover, we investigate the scattering theory of the corresponding quantum fields.
description: 19 pages, latex2e
Canonical Formalism of Non-Relativistic Theories Coupled to Newton-Cartan Gravity
Creators: name: Kluson, J.
Publisher: name: arXiv
Year: 2018
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this short note we perform canonical analysis of Schrodinger field and non-relativistic electrodynamics coupled to Newton-Cartan gravity. We identify physical degrees of freedom and analyze constraints structure of these theories.
description: 17 pages
title: Top predators, food webs, and ecosystem-based fisheries management (EBFM)
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session A
Year: 2024
Subjects: Fisheries and aquaculture
Pressures, impacts, conservation, and management

description: No abstracts are to be cited without prior reference to the author.Conveners:Chris Lynam (UK), Anita Gilles (Germany), Ian Mitchell (UK), Andrew W. Trites (PICES)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Quasar Image Shifts due to Gravitational Microlensing
Creators: name: Lewis, Geraint F.
name: Ibata, Rodrigo A.
Publisher: name: arXiv
Year: 1998
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Gravitational microlensing of quasars by stars in external galaxies can introduce fluctuations in the centroid of the ``point-like'' macro--images. The induced shifts are extremely small, on micro--arcsecond scales, below the limits of current optical observations. However, such shifts will become measurable with the proposed ``Space Interferometry'' mission, due to fly in 2005. The degree of the centroid shifts and their application as probes of both quasar structure and the stellar mass function in the lensing galaxy are discussed.
description: 16 Pages, 4 Figures. Accepted for publication in The Astrophysical Journal
Responses to, and bioindicators of, atmospheric nitrogen deposition on lowland heathland ecosystems at both experimental and field-scale levels
Creators: name: Southon, Georgina Elizabeth
Publisher: name: Imperial College London
Year: 2012

description: Reactive nitrogen (N) as a result of anthropogenic activities (e.g. fossil fuel combustion, fertiliser manufacturing and intensive agricultural practices), now dominates the global nitrogen cycle. For sensitive ecosystems across the globe, perturbation of the nitrogen cycle as a result of increased inputs of reactive N, has been seen to have a profoundly detrimental impact on biodiversity and ecosystem structure and function. Concerns surrounding the conservation and protection of both natural and semi-natural habitats from the damaging effects of N deposition, have prompted widescale research, that aims to understand and quantify ecosystem responses to elevated N inputs. Much of this research is in the experimental domain, based upon the simulation of N deposition within controlled conditions. The research outlined in this thesis, is principally focused on the findings of a long-term experimental approach on a lowland heathland system in the south east of England. N additions of 30 kg N, ha⁻¹, yr⁻¹ were seen to cause large, persistent effects on Calluna growth, phenology and chemistry, retard the development of lower plant groups and alter soil biogeochemical processes. Interactions between N inputs and climatic stress were also observed, with N additions seen to significantly modify Calluna’s response to drought conditions. Interactions between N deposition and climate were also evident at a larger scale, following a nationwide survey of UK heathlands across broad pollution, climatic and geographic gradients. Representing one of the first surveys to test both above and below ground responses to ambient N deposition across UK heathlands, the findings provide compelling evidence that many N driven changes observed within an experimental context, are also occurring at a nationwide scale. Such findings facilitate the identification of robust bioindicators of N deposition that could be successfully integrated into heathland conservation measures. Given that current emissions and deposition rates of N are predicted to double by 2050, and in regard to the future climate changes that are expected, research of the kind presented within this field of research is of the upmost importance if heathlands, and other sensitive ecosystems, are to be preserved.
Role of chemical potential at kinetic freeze-out using Tsallis non-extensive statistics in proton-proton collisions at the Large Hadron Collider
Creators: name: Pradhan, Girija Sankar
name: Sahu, Dushmanta
name: Rath, Rutuparna
name: Sahoo, Raghunath
name: Cleymans, Jean
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: Nuclear Experiment (nucl-ex)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The charged-particle transverse momentum spectra ($p_{\rm T}$-spectra) measured by the ALICE collaboration for $pp$ collisions at $\sqrt {s} =$ 7 and 13 TeV have been studied using a thermodynamically consistent form of Tsallis non-extensive statistics. The Tsallis distribution function is fitted to the $p_{\rm T}$-spectra and the results are analyzed as a function of final state charged-particle multiplicity for various light flavor and strange particles, such as $π^{\pm}, K^{\pm}, p+\bar{p}, ϕ, Λ+\barΛ, Ξ+\barΞ, Ω+\barΩ$. At the LHC energies, particles and antiparticles are produced in equal numbers. However, the equality of particle and antiparticle yields at the kinetic freeze-out may imply that they have the same but opposite chemical potential which is not necessarily zero. We use an alternative procedure that makes use of parameter redundancy, by introducing a finite chemical potential at the kinetic freeze-out stage. This article emphasizes the importance of the chemical potential of the system produced in $pp$ collisions at the LHC energies using the Tsallis distribution function which brings the system to a single freeze-out scenario.
description: Same as the published version in EPJA
Inovasi Modul dan Aplikasi Keselamatan Emergensi Dasar Berbasis Website untuk Penurunan Kematian Ibu dan Anak
Creators: name: Nursal, Dien Gusta Anggraini
Publisher: name: figshare
Year: 2018
Subjects: subject: 160511 Research, Science and Technology Policy
subject: FOS: Political science
subject: 111711 Health Information Systems (incl. Surveillance)
subject: FOS: Health sciences
subject: 80702 Health Informatics
subject: FOS: Media and communications

description: Orasi Ilmiah yang di sampaikan oleh Dr. dr. Dien Gusta Anggraini Nursal, MKM pada acara Dies Natalis ke-61 Universitas Andalas
Apis tumulorum Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Apis
Apis tumulorum

description: Apis tumulorum [spec. nov.]
A. antennis filiformibus longitudine corporis nigri, pedibus maxillisque flavescentibus.
Fn. svec. 1000. Apis nigra, pedibus maxillisque flavis.
It. gotl. 336.
Habitat in Wisingsoae Tumulis sepulchralibus.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 574, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
Arkenstone I: A Novel Method for Robustly Capturing High Specific Energy Outflows In Cosmological Simulations
Creators: name: Smith, Matthew C.
name: Fielding, Drummond B.
name: Bryan, Greg L.
name: Kim, Chang-Goo
name: Ostriker, Eve C.
name: Somerville, Rachel S.
name: Stern, Jonathan
name: Su, Kung-Yi
name: Weinberger, Rainer
name: Hu, Chia-Yu
name: Forbes, John C.
name: Hernquist, Lars
name: Burkhart, Blakesley
name: Li, Yuan
Publisher: name: arXiv
Year: 2023
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Arkenstone is a new model for multiphase, stellar feedback driven galactic winds designed for inclusion in coarse resolution cosmological simulations. In this first paper of a series, we describe the features that allow Arkenstone to properly treat high specific energy wind components and demonstrate them using idealised non-cosmological simulations of a galaxy with a realistic CGM, using the Arepo code. Hot, fast gas phases with low mass loadings are predicted to dominate the energy content of multiphase outflows. In order to treat the huge dynamic range of spatial scales involved in cosmological galaxy formation at feasible computational expense, cosmological volume simulations typically employ a Lagrangian code or else use adaptive mesh refinement with a quasi-Lagrangian refinement strategy. However, it is difficult to inject a high specific energy wind in a Lagrangian scheme without incurring artificial burstiness. Additionally, the low densities inherent to this type of flow result in poor spatial resolution. Arkenstone addresses these issues with a novel scheme for coupling energy into the ISM/CGM transition region which also provides the necessary level of refinement at the base of the wind. In the absence of our improvements, we show that poor spatial resolution near the sonic point of a hot, fast outflow leads to an underestimation of gas acceleration as the wind propagates. We explore the different mechanisms by which low and high specific energy winds can regulate the SFR of galaxies. In future work, we will demonstrate other aspects of the Arkenstone model.
description: Published MNRAS, 27 pages, 17 figures; updated for consistency with journal version
Structural Separation Logic
Creators: name: Wright, Adam
Publisher: name: Imperial College London
Year: 2013

description: This thesis presents structural separation logic, a novel program reasoning approach for software that manipulates both standard heaps and structured data such as lists and trees. Structural separation logic builds upon existing work in both separation logic and context logic. It considers data abstractly, much as it is exposed by library interfaces, ignoring implementation details. We provide a programming language that works over structural heaps, which are similar to standard heaps but allow data to be stored in an abstract form. We introduce abstract heaps, which extend structural heaps to enable local reasoning about abstract data. Such data can be split up with structural addresses. Structural addresses allow sub-data (e.g. a sub-tree within a tree) to be abstractly allocated, promoting the sub-data to an abstract heap cell. This cell can be analysed in isolation, then re-joined with the original data. We show how the tight footprints this allows can be refined further with promises, which enable abstract heap cells to retain information about the context from which they were allocated. We prove that our approach is sound with respect to a standard Hoare logic. We study two large examples. Firstly, we present an axiomatic semantics for the Docu- ment Object Model in structural separation logic. We demonstrate how structural separa- tion logic allows abstract reasoning about the DOM tree using tighter footprints than were possible in previous work. Secondly, we give a novel presentation of the POSIX file system library. We identify a subset of the large POSIX standard that focuses on the file system, including commands that manipulate both the file heap and the directory structure. Axioms for this system are given using structural separation logic. As file system resources are typically identified by paths, we use promises to give tight footprints to commands, so that that they do not require all the resource needed to explain paths being used. We demonstrate our reasoning using a software installer example.
The Araucaria Project: High-precision Cepheid astrophysics from the analysis of variables in double-lined eclipsing binaries
Creators: name: Pilecki, Bogumił
name: Gieren, Wolfgang
name: Pietrzyński, Grzegorz
name: Thompson, Ian B.
name: Smolec, Radosław
name: Graczyk, Dariusz
name: Taormina, Mónica
name: Udalski, Andrzej
name: Storm, Jesper
name: Nardetto, Nicolas
name: Gallenne, Alexandre
name: Kervella, Pierre
name: Soszyński, Igor
name: Górski, Marek
name: Wielgórski, Piotr
name: Suchomska, Ksenia
name: Karczmarek, Paulina
name: Zgirski, Bartłomiej
Publisher: name: arXiv
Year: 2018
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Based on new observations and improved modeling techniques, we have reanalyzed seven Cepheids in the Large Magellanic Cloud. Improved physical parameters have been determined for the exotic system OGLE LMC-CEP-1718 composed of two first-overtone Cepheids and a completely new model was obtained for the OGLE LMC-CEP-1812 classical Cepheid. This is now the shortest period Cepheid for which the projection factor is measured. The typical accuracy of our dynamical masses and radii determinations is 1%. The radii of the six classical Cepheids follow period--radius relations in the literature. Our very accurate physical parameter measurements allow us to calculate a purely empirical, tight period--mass--radius relation that agrees well with theoretical relations derived from non-canonical models. This empirical relation is a powerful tool to calculate accurate masses for single Cepheids for which precise radii can be obtained from Baade--Wesselink-type analyses. The mass of the type-II Cepheid $κ$ Pav, $0.56 \pm 0.08 M_\odot$, determined using this relation is in a very good agreement with theoretical predictions. We find large differences between the p-factor values derived for the Cepheids in our sample. Evidence is presented that a simple period--p-factor relation shows an intrinsic dispersion, hinting at the relevance of other parameters, such as the masses, radii, and radial velocity variation amplitudes. We also find evidence that the systematic blueshift exhibited by Cepheids, is primarily correlated with their gravity. The companion star of the Cepheid in the OGLE LMC-CEP-4506 system has a very similar temperature and luminosity, and is clearly located inside the Cepheid instability strip, yet it is not pulsating.
description: 30 pages, 20 figures, 14 tables, published in ApJ
title: Past, present, and future of marine plankton assemblages and communities
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session D
Year: 2024
Subjects: Ecosystem observation, processes and dynamics

description: No abstracts are to be cited without prior reference to the author.Conveners: Dafne Eerkes-Medrano (UK), Piotr Margoński (Poland), Todd D. O'Brien (USA)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
title: Aquaculture health management – moving the needle forward from science to advice
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session F
Year: 2024
Subjects: Fisheries and aquaculture

description: No abstracts are to be cited without prior reference to the author.Conveners: Janet Whaley (USA), Ryan Carnegie (USA)

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Metastability of Spherical Membranes in Supermembrane and Matrix Theory
Creators: name: Axenides, M.
name: Floratos, E. G.
name: Perivolaropoulos, L.
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Motivated by recent work we study rotating ellipsoidal membranes in the framework of the light-cone supermembrane theory. We investigate stability properties of these classical solutions which are important for the quantization of super membranes. We find the stability modes for all sectors of small multipole deformations. We exhibit an isomorphism of the linearized membrane equation with that of the SU(N) matrix model for every value of $N$. The boundaries of the linearized stability region are at a finite distance and they appear for finite size perturbations.
description: 7 pages (two column)
Evaluations versus stereotypes in emotion recognition: a replication and extension of Craig and Lipp’s (2018) study on facial age cues
Creators: name: Bijlstra, Gijsbert
name: Kleverwal, Désirée
name: Tjits Van Lent
name: Holland, Rob W.
Publisher: name: Taylor & Francis
Year: 2018
Subjects: Neuroscience
Science Policy

description: Recently, Cognition and Emotion published an article demonstrating that age cues affect the speed and accuracy of emotion recognition. The authors claimed that the observed effect of target age on emotion recognition is better explained by evaluative than stereotype associations. Although we agree with their conclusion, we believe that with the research method the authors employed, it was impossible to detect a stereotype effect to begin with. In the current research, we successfully replicate previous findings (Study 1). Furthermore, by changing the comparative context, Study 2 provides a first test of age-stereotypes affecting emotions recognition. We discuss recommendations for future studies in the domain of social categorisation and emotion recognition.
title: Biomass, biodiversity, ecosystem services, and potential fisheries in the mesopelagic zone
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session B
Year: 2024
Subjects: Fisheries and aquaculture
Ecosystem observation, processes and dynamics

description: No abstracts are to be cited without prior reference to the author.Conveners: Tom Langbehn (Norway), Helena McMonagle (USA), Peter H. Wiebe

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
Quadrupole transitions and quantum gates protected by continuous dynamic decoupling
Creators: name: Martínez-Lahuerta, V. J.
name: Pelzer, L.
name: Dietze, K.
name: Krinner, L.
name: Schmidt, P. O.
name: Hammerer, K.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Dynamical decoupling techniques are a versatile tool for engineering quantum states with tailored properties. In trapped ions, nested layers of continuous dynamical decoupling by means of radio-frequency field dressing can cancel dominant magnetic and electric shifts and therefore provide highly prolonged coherence times of electronic states. Exploiting this enhancement for frequency metrology, quantum simulation or quantum computation, poses the challenge to combine the decoupling with laser-ion interactions for the quantum control of electronic and motional states of trapped ions. Ultimately, this will require running quantum gates on qubits from dressed decoupled states. We provide here a compact representation of nested continuous dynamical decoupling in trapped ions, and apply it to electronic $S$ and $D$ states and optical quadrupole transitions. Our treatment provides all effective transition frequencies and Rabi rates, as well as the effective selection rules of these transitions. On this basis, we discuss the possibility of combining continuous dynamical decoupling and Mølmer-Sørensen gates.
Apis surinamensis Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Apis
Apis surinamensis

description: Apis surinamensis [spec. nov.]
A. atra, alis atro-caerulescentibus, abdominis petiolo obovato.
Habitat in America. Rolander.
Magna, facie Sphegis, sed lingua instructa.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 575, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
title: Connecting economic, social science, and interdisciplinary research and management advice
Creators: name: ICES
Publisher: name: ASC 2021 - Theme session E
Year: 2024
Subjects: The sea and human culture and societies
Fisheries and aquaculture
Pressures, impacts, conservation, and management

description: No abstracts are to be cited without prior reference to the author.Conveners: Alan Haynie (USA), Jörn Schmidt (Germany), Olivier Thébaud (France)​

Due to the cancellation of ICES ASC 2020, some contributions submitted that year were also included in ASC 2021.
title: ADCO, Ordre cistercien et abbaye de Cîteaux : comptes pour l'ordre (1337-1347), comptes du boursier (1377-1402) (11 H 1160), f. 00254
Creators: name: de la Côte-d'Or, Archives départementales
name: Petot, Frédéric
name: Archives Départementales De La Côte-D'Or
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: LaMOP
subject: Laboratoire de Médiévistique Occidentale de Paris
subject: Corpus Burgundiae Medii Aevi
subject: Chartes de la Bourgogne du Moyen Âge
subject: comptes

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. 00254, in Projet CBMA - Corpus Burgundiae Medii Aevi \[Ressource en ligne\], https:// manuscrits.cbma-project.eu/
description: Provenance: http://www.wikidata.org/entity/Q843261
description: Provenance: abbaye de Cîteaux
description: Provenance: https://www.geonames.org/3024876
description: Provenance: http://www.idref.fr/030974844/id
description: Provenance: https://catalogue.bnf.fr/ark:/12148/cb12228351v
Multi-particle States from the Effective Action for Local Composite Operators: Anharmonic Oscillator
Creators: name: Okopińska, Anna
Publisher: name: arXiv
Year: 1995
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The effective action for the local composite operator $Φ^2(x)$ in the scalar quantum field theory with $λΦ^4$ interaction is obtained in the expansion in two-particle-point-irreducible (2PPI) diagrams up to five-loops. The effective potential and 2-point Green's functions for elementary and composite fields are derived. The ground state energy as well as one- and two-particle excitations are calculated for space-time dimension $n=1$, when the theory is equivalent to the quantum mechanics of an anharmonic oscillator. The agreement with the exact spectrum of the oscillator is much better than that obtained within the perturbation theory.
description: 15 pages, plain Latex, 4 tared, compressed and uuencoded Postscript figures
Computing symmetries and recursion operators of evolutionary super-systems using the SsTools environment
Creators: name: Kiselev, Arthemy V.
name: Krutov, Andrey O.
name: Wolf, Thomas
Publisher: name: arXiv
Year: 2018
Subjects: subject: Exactly Solvable and Integrable Systems (nlin.SI)
subject: FOS: Physical sciences
subject: 35Q53, 37K10, 37K35,

description: At a very informal but practically convenient level, we discuss the step-by-step computation of nonlocal recursions for symmetry algebras of nonlinear coupled boson-fermion $N=1$ supersymmetric systems by using the SsTools environment.
description: 18 pages, accepted to Nonlinear Systems and Their Remarkable Mathematical Structures. (N.Euler ed) CRC Press, Boca Raton FL, USA
Long-term exposure to interleukin-8, lung remodelling and altered T cell immunity in the context of chronic infection with Pseudomonas aeruginosa in chronic lung disease.
Creators: name: Quigley, Kathryn
Publisher: name: Imperial College London
Year: 2014

description: In the lung, the fine balance between an appropriate immune response that defends against incoming pathogens while avoiding excessive inflammation leading to collateral tissue damage is dependent on appropriate and effective immune regulation. Lung disease can result in situations where the balance is tipped and excessive or inappropriate inflammation results in acute or chronic lung damage and impaired lung function. This is the case in non-CF bronchiectasis where enhanced inflammation and chronic lung infection are associated with irreversible tissue damage. Bronchiectasis is a pathological endpoint with several causes. It is often associated with chronic Pseudomonas aeruginosa infection and elevated levels of interleukin (IL)-8, a neutrophil chemoattractant, in bronchoalveolar lavage (BAL) and sputum. This thesis investigates the following hypotheses: 1) long-term exposure to high levels of IL-8 causes lung-remodeling and alters susceptibility to Pseudomonas aeruginosa infection; 2) individuals with bronchiectasis that are chronically infected with Pseudomonas aeruginosa have altered T cell immunity to the pathogen. To investigate the impact of long-term exposure to IL-8 on lung-remodelling and susceptibility to Pseudomonas, a transgenic model made by the Boyton lab was used. IL-8 transgenic mice show enhanced mucus secretion, lung fibrosis and remodelling with leaky tight junctions, but effectively clear Pseudomonas aeruginosa compared to controls. Differences in T cell immunity were tested in a cohort of patients with non-CF bronchiectasis, with or without Pseudomonas aeruginosa, to the outer membrane porin F (OprF) protein. A narrowed repertoire of T cell epitopes and different adaptive immune responses were observed in patients chronically infected with Pseudomonas aeruginosa. HLA-restricted OprF T cell epitopes were identified in HLA class II transgenics. The Boyton lab has previously identified a genetic susceptibility to idiopathic bronchiectasis associated with the presence of the HLA-Cw*03. In this thesis, the association between HLA-Cw*03 and functional immunity was investigated.
Data-Free/Data-Sparse Softmax Parameter Estimation with Structured Class Geometries
Creators: name: Ahmed, Nisar
Publisher: name: arXiv
Year: 2018
Subjects: subject: Machine Learning (stat.ML)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: Systems and Control (eess.SY)
subject: Signal Processing (eess.SP)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This note considers softmax parameter estimation when little/no labeled training data is available, but a priori information about the relative geometry of class label log-odds boundaries is available. It is shown that `data-free' softmax model synthesis corresponds to solving a linear system of parameter equations, wherein desired dominant class log-odds boundaries are encoded via convex polytopes that decompose the input feature space. When solvable, the linear equations yield closed-form softmax parameter solution families using class boundary polytope specifications only. This allows softmax parameter learning to be implemented without expensive brute force data sampling and numerical optimization. The linear equations can also be adapted to constrained maximum likelihood estimation in data-sparse settings. Since solutions may also fail to exist for the linear parameter equations derived from certain polytope specifications, it is thus also shown that there exist probabilistic classification problems over m convexly separable classes for which the log-odds boundaries cannot be learned using an m-class softmax model.
description: Final version accepted to IEEE Signal Processing Letters (double column), submitted July 21, 2018
title: Regionale Muskelaktivitätsunterschiede der Hamstrings unter Berücksichtigung des Sprunggelenkwinkels bei eingelenkigen Knieflexionsübungen
Creators: name: Hofer, Alexander
Year: 2024

description: Mit dem langfristigen Ziel, Trainingsmodalitäten zu identifizieren, die eine selektive Stärkung der verletzungsanfälligsten Regionen der ischiocruralen Muskulatur ermöglichen, wurde in dieser Studie die Variabilität der Muskelaktivität in den verschiedenen Regionen der ischiocruralen Muskulatur bei liegenden Legcurls untersucht. Sechzehn krafttrainierte Männer nahmen an der Studie teil, die sich das Ziel setzte, die regionale Muskelaktivität des M. biceps femoris und des M. semitendinosus in drei Regionen (proximal, zentral, distal) während isometrischer Kniebeugungen bei 0° und 90° Kniewinkel, mit dorsal- und plantarflekiertem Sprunggelenk zu vergleichen. Die Aktivität des M. gastrocnemius medialis wurde ebenfalls aufgezeichnet. Für jede Kombination von Hüft- und Sprunggelenkswinkel wurden drei maximale willentliche Kontraktionen (MVIC) durchgeführt. Die Ergebnisse zeigten signifikante Unterschiede in der Aktivität des M. semitendinosus. Er wies eine signifikant höhere Aktivität auf, wenn die Curls mit gestrecktem Knie durchgeführt wurden (p < 0,001) und war distal signifikant aktiver als proximal und zentral (p < 0,001). Während die Streckung im Kniegelenk tendenziell zu einer stärkeren Zunahme der distalen Aktivität im Vergleich zu den zentralen und proximalen Bereichen führte (p < 0,064), resultierte die Dorsalflexion in einer erhöhten distalen Muskelaktivität, während die Plantarflexion zu mehr Aktivität proximal und zentral führte (p < 0,027). Zusammenfassend lässt sich sagen, dass diese Studie Aufschluss darüber gibt, wie die Position des Sprunggelenks während des Beinbeugens im Liegen die regionale Muskelaktivität des M. semitendinosus beeinflussen kann. Es zeigte sich, dass die höchste Aktivierung im distalen Muskelbereich bei gestrecktem Knie und Dorsalflexion auftrat, während die zentralen und proximalen Regionen bei Plantarflexion stärker aktiviert werden.
Apis retusa Linnaeus, 1758, spec. nov.
Creators: name: Linnaeus, Carolus
Publisher: name: Laurentius Salvius
Year: 1758
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Hymenoptera
Apidae
Apis
Apis retusa

description: Apis retusa [spec. nov.]
A. nigra subhirta, abdominis basi retusa, tibiis posticis extus lanatis.
Habitat in Europa.
description: Published as part of Linnaeus, Carolus, 1758, Systema Naturae per regna tria naturae: secundum classes, ordines, genera, species, cum characteribus, differentiis, synonymis, locis, Stockholm :Laurentius Salvius on page 575, DOI: 10.5962/bhl.title.542, http://zenodo.org/record/3922206
Comment on Ambiguities in the Holographic Weyl Anomaly
Creators: name: Fukuma, M.
name: Sakai, T.
Publisher: name: arXiv
Year: 2000
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider possible ambiguities in the holographic Weyl anomaly that are caused by local terms in the flow equation. We point out that such ambiguities actually do not give physically meaningful contributions to the Weyl anomaly.
description: LaTeX file, 7 page