cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Moduli of curve families and (quasi-)conformality of power-law entropies
Creators: name: Kalogeropoulos, Nikos
Publisher: name: arXiv
Year: 2015
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We present aspects of the moduli of curve families on a metric measure space which may prove useful in calculating, or in providing bounds to, non-additive entropies having a power-law functional form. We use as paradigmatic cases the calculations of the moduli of curve families for a cylinder and for an annulus in $\mathbb{R}^n$. The underlying motivation for these studies is that the definitions and some properties of the modulus of a curve family resembles those of the Tsallis entropy, when the latter is seen from a micro-canonical viewpoint. We comment on the origin of the conjectured invariance of the Tsallis entropy under Möbius transformations of the non-extensive (entropic) parameter. Needing techniques applicable to both locallly Euclidean and fractal classes of spaces, we examine the behavior of the Tsallis functional, via the modulus, under quasi-conformal maps. We comment on properties of such maps and their possible significance for the dynamical foundations of power-law entropies.
description: 33 pages, No pictures, Standard LaTeX. Version2: Minor corrections and few additional references. Accepted for publication by the International Journal of Geometric Methods in Modern Physics
Additional file 3 of Comparing outcomes of ILD patients managed in specialised versus non-specialised centres
Creators: name: Marijic, Pavo
name: Schwarzkopf, Larissa
name: Maier, Werner
name: Trudzinski, Franziska
name: Kreuter, Michael
name: Schwettmann, Lars
Publisher: name: figshare
Year: 2022
Subjects: subject: Cell Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 3: Table S7. Estimates of unweighted Cox Proportional Hazard Models for 2-year mortality and 1-year hospitalisation after confirmed diagnosis for main analysis and subgroups. Table S8. IPTW-weighted model estimated expenditures of 1-year costs and related cost differences for patients with idiopathic interstitial pneumonia. Table S9. IPTW-weighted model estimated expenditures of 1-year costs and related cost differences for patients with sarcoidosis. Table S10. IPTW-weighted model estimated expenditures of 1-year costs and related cost differences for patients with other interstitial lung diseases.
Tagging $b$ quarks at extreme energies without tracks
Creators: name: Huffman, B. Todd
name: Jackson, Charles
name: Tseng, Jeff
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We describe a new hit-based $b$-tagging technique for high energy jets and study its performance with a Geant4-based simulation. The technique uses the fact that at sufficiently high energy a B meson or baryon can live long enough to traverse the inner layers of pixel detectors such as those in the ATLAS, ALICE, or CMS experiments prior to decay. By first defining a "jet" via the calorimeter, and then counting hits within that jet between pixel layers at increasing radii, we show it is possible to identify jets that contain $b$-quarks by detecting a jump in the number of hits. We show that the technique maintains its efficiency at energies beyond the range of conventional $b$-taggers.
description: 11 pages, 6 figures
Eine vierte Missionsreise des Paulus im Osten?
Creators: name: Fuchs, Rüdiger
Publisher: name: Jahrbuch für evangelikale Theologie
Year: 2025

description: 1646967666
description: Jahrbuch für evangelikale Theologie, V. 25 (2011): Jahrbuch für evangelikale Theologie, Band 25
The social organization of restaurant work : gender, emotional labor, and tipping
Creators: name: Uthgenannt, Alanna Jeanine
name: 0009-0007-9189-8723
Publisher: name: The University of Texas at Austin
Year: 2023
Subjects: Emotional labor
Gender
Interactive service work
Restaurants
Tipping

description: This study examines how restaurant servers and bartenders perceive and construct their relationships with customers and coworkers as they work for tips. I maintain theoretical grounding in emotional labor, deep acting, intimate labor, and tip work to deepen our understanding of the interactive service of restaurant workers from both front-stage and back-stage perspectives. Through semi-structured in-depth interviews, I find that scripts of “good service” are gendered and emotional labor and deep acting are performed at different intensities for men and women waitpeople. I also interrogate the how relationships between coworkers can become more collaborative or tense depending on whether servers/bartenders work at a restaurant with tip-pooling or tip-competition. I examine how two different structures of tipping influence the emotional labor that restaurant workers perform in their relationships with customers and coworkers. Analyzing the connection between gendered expectations of good service and the two models of tipping offers rich insights for the meaning of emotional labor.
title: Energy From Waste : WP1.2 - Initial Waste Assessment
Creators: name: Wagland, S.T.
name: Longhurst, P.J.
Publisher: name: ETI
Year: 2010
Subjects: subject: Bioenergy
subject: OTHER POWER and STORAGE TECHNOLOGIES (Electric power conversion)

description: This deliverable is number 2 of 3 in Work Package 1 and presents the initial results of waste sampling, including physical composition of waste materials and the detailed laboratory analysis.The report is intended to enable the reader to understand the main energetic waste flows over the initial 2 seasons of analysis of the project (November 2009 to January 2010 and February 2010 to May 2010). In all 4 seasons of sampling will be carried out.The information is based on the assessed sites only and at this stage only a preliminary attempt has been made to aggregate the derived results over the UK.The initial conclusions of the analysis undertaken for season 1 and 2 are presented in this report.
Strong Lensing In The Inner Halo Of Galaxy Clusters
Creators: name: Saez, C.
name: Campusano, L. E.
name: Cypriano, E. S.
name: Sodré, L.
name: Kneib, J. -P.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We present an axially symmetric formula to calculate the probability of finding gravitational arcs in galaxy clusters, being induced by their massive dark matter haloes, as a function of clusters redshifts and virial masses. The formula includes the ellipticity of the clusters dark matter potential by using a pseudo-elliptical approximation. The probabilities are calculated and compared for two dark-matter halo profiles, the Navarro, Frenk and White (NFW) and the Non-Singular-Isothermal-Sphere (NSIS). We demonstrate the power of our formulation through a Kolmogorov-Smirnov (KS) test on the strong lensing statistics of an X-ray bright sample of low redshift Abell clusters. This KS test allows to establish limits on the values of the concentration parameter for the NFW profile ($c_Δ$) and the core radius for the NSIS profile (\rc), which are related to the lowest cluster redshift ($z_{\rm cut}$) where strong arcs can be observed. For NFW dark matter profiles, we infer cluster haloes with concentrations that are consistent to those predicted by $Λ$CDM simulations. As for NSIS dark matter profiles, we find only upper limits for the clusters core radii and thus do not rule out a purely SIS model. For alternative mass profiles, our formulation provides constraints through $z_{\rm cut}$ on the parameters that control the concentration of mass in the inner region of the clusters haloes. We find that $z_{\rm cut}$ is expected to lie in the 0.0--0.2 redshift, highlighting the need to include very low-$z$ clusters in samples to study the clusters mass profiles.
description: 15 pages, 14 figures, MNRAS accepted
All by Myself: Learning Individualized Competitive Behaviour with a Contrastive Reinforcement Learning optimization
Creators: name: Barros, Pablo
name: Sciutti, Alessandra
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: In a competitive game scenario, a set of agents have to learn decisions that maximize their goals and minimize their adversaries' goals at the same time. Besides dealing with the increased dynamics of the scenarios due to the opponents' actions, they usually have to understand how to overcome the opponent's strategies. Most of the common solutions, usually based on continual learning or centralized multi-agent experiences, however, do not allow the development of personalized strategies to face individual opponents. In this paper, we propose a novel model composed of three neural layers that learn a representation of a competitive game, learn how to map the strategy of specific opponents, and how to disrupt them. The entire model is trained online, using a composed loss based on a contrastive optimization, to learn competitive and multiplayer games. We evaluate our model on a pokemon duel scenario and the four-player competitive Chef's Hat card game. Our experiments demonstrate that our model achieves better performance when playing against offline, online, and competitive-specific models, in particular when playing against the same opponent multiple times. We also present a discussion on the impact of our model, in particular on how well it deals with on specific strategy learning for each of the two scenarios.
A multidimensional analogue of the Rademacher-Gaussian tail comparison
Creators: name: Nayar, Piotr
name: Tkocz, Tomasz
Publisher: name: arXiv
Year: 2016
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics
subject: 60E15

description: We prove a dimension-free tail comparison between the Euclidean norms of sums of independent random vectors uniformly distributed in centred Euclidean spheres and properly rescaled standard Gaussian random vectors.
description: 9 pages
A Randomized Controlled Trial on the Effects of EmbeddedComputer Language Switching Replication Packet
Creators: name: Uesbeck, P. Merlin
name: Stefik, Andreas
name: Sharif, Bonita
name: Peterson, Cole
Publisher: name: Zenodo
Year: 2020

description: A replication packet for the paper "A Randomized Controlled Trial on the Effects of EmbeddedComputer Language Switching" please review the readme inside the zip archive.
Full particle orbit effects in regular and stochastic magnetic fields
Creators: name: Ogawa, Shun
name: Cambon, Benjamin
name: Leoncini, Xavier
name: Vittot, Michel
name: del Castillo-Negrete, Diego
name: Dif-Pradalier, Guilhem
name: Garbet, Xavier
Publisher: name: arXiv
Year: 2016
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: We present a numerical study of charged particle motion in a time-independent magnetic field in cylindrical geometry. The magnetic field model consists of an unperturbed reversed-shear helical part and a perturbation consisting of a superposition of modes. Contrary to most of the previous studies, the particle trajectories are computed by directly solving the full Lorentz force equations of motion in a six-dimensional phase space using a sixth-order, implicit, symplectic Gauss-Legendre method. The level of stochasticity in the particle orbits is diagnosed using averaged, effective Poincare sections. It is shown that when only one mode is present the particle orbits can be stochastic even though the magnetic field line orbits are not stochastic. The lack of integrability of the particle orbits in this case is related to separatrix crossing and the breakdown of the global conservation of the magnetic moment. Some perturbation consisting of two modes creates resonance overlapping, leading to Hamiltonian chaos in magnetic field lines. Then, the particle orbits exhibit a nontrivial dynamics depending on their energy and pitch angle. It is shown that the regions where the particle motion is stochastic decrease as the energy increases. The non-monotonicity of the $q$-profile implies the existence of magnetic ITBs which correspond to shearless flux surfaces located in the vicinity of the $q$-profile minimum. It is shown that depending on the energy, these magnetic ITBs might or might not confine particles. That is, magnetic ITBs act as an energy-dependent particle confinement filter. Magnetic field lines in reversed-shear configurations exhibit topological bifurcations due to separatrix reconnection. We show that a similar but more complex scenario appears in the case of particle orbits that depends in a non-trivial way on the energy and pitch angle of the particles.
description: 25 pages, accepted for publication in Phys. Plasmas
On the critical boundary RSOS \mathcal{M}(3,5) model
Creators: name: Deeb, Omar El
Publisher: name: arXiv
Year: 2015
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We consider the critical non-unitary minimal model {\cal M}(3,5) with integrable boundaries. We analyze the patterns of zeros of the eigenvalues of the transfer matrix and then determine the spectrum of the critical theory through the Thermodynamic Bethe Ansatz (TBA) equations. By solving the TBA functional equation satisfied by the transfer matrices of the associated A_{4} RSOS lattice model of Forrester and Baxter in Regime III in the continuum scaling limit, we derive the integral TBA equations for all excitations in the (r=1,s=1) sector then determine their corresponding energies. The excitations are classified in terms of (m,n) systems.
description: 17 pages, 2 figures and 1 table
On Two- and Three-valued Semantics for Impure Simplicial Complexes
Creators: name: van Ditmarsch, Hans
name: Kuznets, Roman
name: Randrianomentsoa, Rojo
Publisher: name: arXiv
Year: 2023
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Simplicial complexes are a convenient semantic primitive to reason about processes (agents) communicating with each other in synchronous and asynchronous computation. Impure simplicial complexes distinguish active processes from crashed ones, in other words, agents that are alive from agents that are dead. In order to rule out that dead agents reason about themselves and about other agents, three-valued epistemic semantics have been proposed where, in addition to the usual values true and false, the third value stands for undefined: the knowledge of dead agents is undefined and so are the propositional variables describing their local state. Other semantics for impure complexes are two-valued where a dead agent knows everything. Different choices in designing a semantics produce different three-valued semantics, and also different two-valued semantics. In this work, we categorize the available choices by discounting the bad ones, identifying the equivalent ones, and connecting the non-equivalent ones via a translation. The main result of the paper is identifying the main relevant distinction to be the number of truth values and bridging this difference by means of a novel embedding from three- into two-valued semantics. This translation also enables us to highlight quite fundamental modeling differences underpinning various two- and three-valued approaches in this area of combinatorial topology. In particular, pure complexes can be defined as those invariant under the translation.
description: In Proceedings GandALF 2023, arXiv:2309.17318
TSO Games -- On the decidability of safety games under the total store order semantics
Creators: name: Spengler, Stephan
name: Sil, Sanchari
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: D.2.4

description: We consider an extension of the classical Total Store Order (TSO) semantics by expanding it to turn-based 2-player safety games. During her turn, a player can select any of the communicating processes and perform its next transition. We consider different formulations of the safety game problem depending on whether one player or both of them transfer messages from the process buffers to the shared memory. We give the complete decidability picture for all the possible alternatives.
description: In Proceedings GandALF 2023, arXiv:2309.17318. A full version of this paper, containing the appendix, appears at arXiv:2309.02862
Stringy Horizons II
Creators: name: Giveon, Amit
name: Itzhaki, Nissan
name: Kutasov, David
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that the spectrum of normalizable states on a Euclidean SL(2,R)/U(1) black hole exhibits a duality between oscillator states and wound strings. This duality generalizes the FZZ correspondence, which can be thought of as an identification between a normalizable mode of dilaton gravity and a mode of the tachyon with winding number one around the Euclidean time circle. It implies that normalizable states on a large Euclidean black hole have support at widely separated scales. In particular, localized states that are extended over the cap of the cigar (the Euclidian analog of the black hole atmosphere) have a component that is localized near the tip of the cigar (the analog of the stretched horizon). As a consequence of this duality, the states exhibit a transition as a function of radial excitation level. From the perspective of a low energy probe, low lying states are naturally thought of as oscillator states in the black hole atmosphere, while at large excitation level they are naturally described as wound strings. As the excitation level increases, the size of the states first decreases and then increases. This behavior is expected to be a general feature of black hole horizons in string theory.
A Uniform One-Dimensional Fragment with Alternation of Quantifiers
Creators: name: Kieroński, Emanuel
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The uniform one-dimensional fragment of first-order logic was introduced a few years ago as a generalization of the two-variable fragment of first-order logic to contexts involving relations of arity greater than two. Quantifiers in this logic are used in blocks, each block consisting only of existential quantifiers or only of universal quantifiers. In this paper we consider the possibility of mixing quantifiers in blocks. We identify a non-trivial variation of the logic with mixed blocks of quantifiers which retains some good properties of the two-variable fragment and of the uniform one-dimensional fragment: it has the finite (exponential) model property and hence decidable, NExpTime-complete satisfiability problem.
description: In Proceedings GandALF 2023, arXiv:2309.17318
FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
Creators: name: Nalbach, Jasper
name: Promies, Valentin
name: Ábrahám, Erika
name: Kobialka, Paul
Publisher: name: arXiv
Year: 2023
Subjects: subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: In this paper we introduce a novel quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to reduce the worst-case complexity from doubly to singly exponential. The adaption of the procedure for SMT solving has strong correspondence to the simplex algorithm, therefore we name it FMplex. Besides the theoretical foundations, we provide an experimental evaluation in the context of SMT solving.
description: In Proceedings GandALF 2023, arXiv:2309.17318. The extended version of this paper can be found at arXiv:2309.03138
title: Consumer Response and Behaviour - Synthesis Report - “Smart” Starts with the Consumer
Creators: name: Energy Endeavours Consortium
Publisher: name: ETI
Year: 2013
Subjects: subject: Smart Systems and Heat
subject: ENERGY EFFICIENCY (Residential and commercial)
subject: OTHER CROSS-CUTTING TECHNOLOGIES or RESEARCH (Other Supporting Data)

description: The delivery of consumer energy requirements is a key focus of the Smart Systems and Heat Programme.The Consumer Response and Behavior Project will identify consumer requirements and predict consumer response to Smart Energy System proposals, providing a consumer focus for the other Work Areas. This project involved thousands of respondents providing insight into consumer requirements for heat and energy services, both now and in the future. Particular focus was given to identifying the behaviour that leads people to consume energy - in particular heat and hot water. This £3m project was led by PRP Architects, experts in the built environment. It involved a consortium of academia and industry - UCL Energy Institute,Frontier Economics, the Technology Partnership, the Peabody Trust, National Centre for Social Research and Hitachi Europe

In this report, the project teamaim to draw together findings from different parts of the Energy Technology Institute’s two year Consumer Response and Behaviour programme. This programme aimed to better understand the needs, behaviours and attitudes of consumers in order to design more effective and more attractive solutions. It deployed a wide range of methods to help those designing new and compelling energy solutions.The report highlights the importance of considering a wider range of needs and benefits offered by solutions.The report covers:Heat and HumansThe UK Heat LandscapeThe ChallengeMeeting the ChallengeWhat do consumers need from heat?What needs drive consumer use of heat?What do consumers do to heat their homes, heat water and keep warm?How do needs drive behaviours?How do consumer behaviours impact energy consumption?How do we design better solutions?What are the challenges?How to improve uptake/generate demand?What are the potential impacts of better solutions?Implications for the marketAppendix: Detailed Needs LinkagesThis report was prepared for the ETI by the consortium that delivered the project in 2013 and whose contents may be out of date and may not represent current thinking.
Additional file 4 of Comparing outcomes of ILD patients managed in specialised versus non-specialised centres
Creators: name: Marijic, Pavo
name: Schwarzkopf, Larissa
name: Maier, Werner
name: Trudzinski, Franziska
name: Kreuter, Michael
name: Schwettmann, Lars
Publisher: name: figshare
Year: 2022
Subjects: subject: Cell Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 4: Table S11. Explorative analysis for change in pharmaceutical treatment patterns in the 3 month after confirmed diagnosis.
Handling of Past and Future with Phenesthe+
Creators: name: Pitsikalis, Manolis
name: Lisitsa, Alexei
name: Totzke, Patrick
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1; I.2.4

description: Writing temporal logic formulae for properties that combine instantaneous events with overlapping temporal phenomena of some duration is difficult in classical temporal logics. To address this issue, in previous work we introduced a new temporal logic with intuitive temporal modalities specifically tailored for the representation of both instantaneous and durative phenomena. We also provided an implementation of a complex event processing system, Phenesthe, based on this logic, that has been applied and tested on a real maritime surveillance scenario. In this work, we extend our temporal logic with two extra modalities to increase its expressive power for handling future formulae. We compare the expressive power of different fragments of our logic with Linear Temporal Logic and dyadic first-order logic. Furthermore, we define correctness criteria for stream processors that use our language. Last but not least, we evaluate empirically the performance of Phenesthe+, our extended implementation, and show that the increased expressive power does not affect efficiency significantly.
description: In Proceedings GandALF 2023, arXiv:2309.17318
Genuine T, CP, CPT asymmetry parameters for the entangled $\boldsymbol{B_d}$ system
Creators: name: Bernabeu, Jose
name: Botella, Francisco J.
name: Nebot, Miguel
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: The precise connection between the theoretical T, CP, CPT asymmetries, in terms of transition probabilities between the filtered neutral meson $B_d$ states and the experimental asymmetries between the double decay rate intensities for Flavour-CP eigenstate decay products in a B-factory of entangled states, is established. This allows the identification of genuine Asymmetry Parameters in the time distribution of the asymmetries and their measurability by disentangling genuine and possible fake terms. We express the nine asymmetry parameters -- three different observables for each one of the three symmetries -- in terms of the ingredients of the Weisskopf-Wigner dynamical description of the entangled $B_d$-meson states and we obtain a global fit to their values from the BaBar collaboration experimental results. The possible fake terms are all compatible with zero and the information content of the nine asymmetry parameters is indeed different. The non-vanishing $Δ\mathscr S_c^{\rm T} =-0.687\pm 0.020 $ and $Δ\mathscr S_c^{\rm CP}=-0.680\pm 0.021$ are impressive separate direct evidence of Time-Reversal-violation and CP-violation in these transitions and compatible with Standard Model expectations. An intriguing 2$σ$ effect for the Re($θ$) parameter responsible of CPT-Violation appears which, interpreted as an upper limit, leads to $|M_{\bar B^0\bar B^0}-M_{B^0B^0}| < 4.0\times 10^{-5}$ eV at 95\% C.L. for the diagonal flavour terms of the mass matrix. It contributes to the CP-violating $Δ\mathscr C_c^{\rm CP}$ asymmetry parameter in an unorthodox manner -- in its $\cos(ΔM\,t)$ time dependence --, and it is accessible in facilities with non-entangled $B_d$'s, like the LHCb experiment.
description: 26 pages, 5 figures; minor changes, matches published version
Interactions and thermoelectric effects in a parallel-coupled double quantum dot
Creators: name: Sierra, Miguel A.
name: Saiz-Bretin, M.
name: Dominguez-Adame, F.
name: Sanchez, David
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We investigate the nonequilibrium transport properties of a double quantum dot system connected in parallel to two leads, including intradot electron-electron interaction. In the absence of interactions the system supports a bound state in the continuum. This state is revealed as a Fano antiresonance in the transmission when the energy levels of the dots are detuned. Using the Keldysh nonequilibrium Green's function formalism, we find that the occurrence of the Fano antiresonance survives in the presence of Coulomb repulsion. We give precise predictions for the experimental detection of bound states in the continuum. First, we calculate the differential conductance as a function of the applied voltage and the dot level detuning and find that crossing points in the diamond structure are revealed as minima due to the transmission antiresonances. Second, we determine the thermoelectric current in response to an applied temperature bias. In the linear regime, quantum interference gives rise to sharp peaks in the thermoelectric conductance. Remarkably, we find interaction induced strong current nonlinearities for large thermal gradients that may lead to several nontrivial zeros in the thermocurrent. The latter property is especially attractive for thermoelectric applications.
description: 9 pages, 8 figures
title: Consumer Response and Behaviour - Smart Energy Solutions -The Consumer Perspective - Final Report WA5
Creators: name: Energy Endeavours Consortium
Publisher: name: ETI
Year: 2014
Subjects: subject: Smart Systems and Heat
subject: ENERGY EFFICIENCY (Residential and commercial)
subject: OTHER CROSS-CUTTING TECHNOLOGIES or RESEARCH (Other Supporting Data)

description: The delivery of consumer energy requirements is a key focus of the Smart Systems and Heat Programme.The Consumer Response and Behavior Project will identify consumer requirements and predict consumer response to Smart Energy System proposals, providing a consumer focus for the other Work Areas. This project involved thousands of respondents providing insight into consumer requirements for heat and energy services, both now and in the future. Particular focus was given to identifying the behaviour that leads people to consume energy - in particular heat and hot water. This £3m project was led by PRP Architects, experts in the built environment. It involved a consortium of academia and industry - UCL Energy Institute,Frontier Economics, the Technology Partnership, the Peabody Trust, National Centre for Social Research and Hitachi Europe

This report seeks to synthesise evidence from across the different strands of the Consumer Response and Behaviour project in order to improve our understanding of how consumers currently use solutions for heating and cooling the home, and for providing hot water, and how consumers might respond to different characteristics of future smart energy solutions. Evidence is drawn from the full range of sources across the project, including existing literature, qualitative field research and quantitative survey data.
The report covers the following areas, with a needs-focussed summary for each:What is a Smart Energy Solution?The Baseline PerspectiveHow important is heat to consumers?Are consumers willing to change their system?How can solutions better appeal to consumers?Controls and FeedbackHeat Delivery and Localised HeatRadiatorsStorage HeatersUnderfloor HeatingWarm/Forced AirSecondary and other localised heatBody heat retentionaryCentralised Heat GenerationHeat PumpsCommunal HeatingHot WaterWhat Do People Want From Hot Water?On-demand Hot WaterStored Hot WaterNeeds-Focussed SummaryCooling and VentilationThe Importance of Cooling and VentilationActive CoolingNatural VentilationMechanical VentilationPortable Ventilation/CoolingInsulation and Building Fabric ImprovementsInsulation SolutionsGlazing SolutionsPreserving AppearanceInstallation ProcessCurrent Approaches to Home ImprovementsBuilding Improvements Into Existing PlansWhole-House Approach .Reducing HassleAdviceAdvice on current systemAdvice on potential upgradesBuilding MOTPaying for EnergyCurrent payment models"Paying for Comfort"Communal and Community EnergyConsumer-led Solution Evaluation and DesignAppendix A - Large Size Assessment TablesThis report was prepared for the ETI by the consortium that delivered the project in 2013 and whose contents may be out of date and may not represent current thinking.
GPU performance analysis of a nodal discontinuous Galerkin method for acoustic and elastic models
Creators: name: Modave, Axel
name: St-Cyr, Amik
name: Warburton, Tim
Publisher: name: arXiv
Year: 2016
Subjects: subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: Finite element schemes based on discontinuous Galerkin methods possess features amenable to massively parallel computing accelerated with general purpose graphics processing units (GPUs). However, the computational performance of such schemes strongly depends on their implementation. In the past, several implementation strategies have been proposed. They are based exclusively on specialized compute kernels tuned for each operation, or they can leverage BLAS libraries that provide optimized routines for basic linear algebra operations. In this paper, we present and analyze up-to-date performance results for different implementations, tested in a unified framework on a single NVIDIA GTX980 GPU. We show that specialized kernels written with a one-node-per-thread strategy are competitive for polynomial bases up to the fifth and seventh degrees for acoustic and elastic models, respectively. For higher degrees, a strategy that makes use of the NVIDIA cuBLAS library provides better results, able to reach a net arithmetic throughput 35.7% of the theoretical peak value.
description: Paper submitted to Computers & Geosciences, 21 pages
Additional file 5 of Comparing outcomes of ILD patients managed in specialised versus non-specialised centres
Creators: name: Marijic, Pavo
name: Schwarzkopf, Larissa
name: Maier, Werner
name: Trudzinski, Franziska
name: Kreuter, Michael
name: Schwettmann, Lars
Publisher: name: figshare
Year: 2022
Subjects: subject: Cell Biology
subject: 59999 Environmental Sciences not elsewhere classified
subject: FOS: Earth and related environmental sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: FOS: Biological sciences
subject: Cancer
subject: Science Policy

description: Additional file 5: Table S12. Sensitivity analyses with unweighted and IPTW-weighted Cox Proportional Hazard models for 2-year mortality and 1-year all-cause and respiratory-related hospitalisation.
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
Creators: name: Bernardo, Marco
name: Esposito, Andrea
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Reversible systems feature both forward computations and backward computations, where the latter undo the effects of the former in a causally consistent manner. The compositionality properties and equational characterizations of strong and weak variants of forward-reverse bisimilarity as well as of its two components, i.e., forward bisimilarity and reverse bisimilarity, have been investigated on a minimal process calculus for nondeterministic reversible systems that are sequential, so as to be neutral with respect to interleaving vs. truly concurrent semantics of parallel composition. In this paper we provide logical characterizations for the considered bisimilarities based on forward and backward modalities, which reveals that strong and weak reverse bisimilarities respectively correspond to strong and weak reverse trace equivalences. Moreover, we establish a clear connection between weak forward-reverse bisimilarity and branching bisimilarity, so that the former inherits two further logical characterizations from the latter over a specific class of processes.
description: In Proceedings GandALF 2023, arXiv:2309.17318
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Creators: name: Carlsen, Falke B. Ø.
name: Frydenskov, Lars Bo P.
name: Jensen, Nicolaj Ø.
name: Rasmussen, Jener
name: Sørensen, Mathias M.
name: Weirsøe, Asger G.
name: Jensen, Mathias C.
name: Larsen, Kim G.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.1; D.2.4

description: We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS). We present how our tool encodes ATL as extended dependency graphs with negation edges and employs the distributed on-the-fly algorithm by Dalsgaard et al. Our tool offers multiple novel search strategies for the algorithm, including DHS which is inspired by PageRank and uses the in-degree of configurations as a heuristic, IHS which estimates instability of assignment values, and LPS which estimates the distance to a state satisfying the constituent property using linear programming. CGS are input using our modelling language LCGS, where composition and synchronisation are easily described. We prove the correctness of our encoding, and our experiments show that our tool CGAAL is often one to three orders of magnitude faster than the popular tool PRISM-games on case studies from PRISM's documentation and among case studies we have developed. In our evaluation, we also compare and evaluate our search strategies, and find that our custom search strategies are often significantly faster than the usual breadth-first and depth-first search strategies.
description: In Proceedings GandALF 2023, arXiv:2309.17318
(Un)Decidability Bounds of the Synthesis Problem for Petri Games
Creators: name: Hannibal, Paul
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Petri games are a multi-player game model for the automatic synthesis of distributed systems, where the players are represented as tokens on a Petri net and are grouped into environment players and system players. As long as the players move in independent parts of the net, they do not know of each other; when they synchronize at a joint transition, each player gets informed of the entire causal history of the other players. We show that the synthesis problem for two-player Petri games under a global safety condition is NP-complete and it can be solved within a non-deterministic exponential upper bound in the case of up to 4 players. Furthermore, we show the undecidability of the synthesis problem for Petri games with at least 6 players under a local safety condition.
description: In Proceedings GandALF 2023, arXiv:2309.17318
Die "Cantica" der lukanischen Kindheitsgeschichte
Creators: name: Stenschke, Christoph W.
Publisher: name: Jahrbuch für evangelikale Theologie
Year: 2025

description: 1646967550
description: Jahrbuch für evangelikale Theologie, V. 25 (2011): Jahrbuch für evangelikale Theologie, Band 25
Morphology and kinematics of the gas envelope of Mira Ceti
Creators: name: Nhung, P. T.
name: Hoai, D. T.
name: Diep, P. N.
name: Phuong, N. T.
name: Thao, N. T.
name: Tuan-Anh, P.
name: Darriulat, P.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: Observations of 12CO(3-2) emission of the circumbinary envelope of Mira Ceti, made by ALMA are analysed. The observed Doppler velocity distribution is made of three components: a blue-shifted south-eastern arc, which can be described as a ring in slow radial expansion, ~1.7 km/s, making an angle of ~50 deg with the plane of the sky and born some 2000 years ago; a few arcs, probably born at the same epoch as the blue-shifted arc, all sharing Doppler velocities red-shifted by approximately 3 +/- 2 km/s with respect to the main star; the third, central region dominated by the circumbinary envelope, displaying two outflows in the south-western and north-eastern hemispheres. At short distances from the star, up to ~1.5", these hemispheres display very different morphologies: the south-western outflow covers a broad solid angle, expands radially at a rate between 5 and 10 km/s and is slightly red shifted; the north-eastern outflow consists of two arms, both blue-shifted, bracketing a broad dark region where emission is suppressed. At distances between ~1.5" and ~2.5" the asymmetry between the two hemispheres is significantly smaller and detached arcs, particularly spectacular in the north-eastern hemisphere are present. Close to the stars, we observe a mass of gas surrounding Mira B, with a size of a few tens of AU, and having Doppler velocities with respect to Mira B reaching +/-1.5 km/s, which we interpret as gas flowing from Mira A toward Mira B.
description: 16 pages, 21 figures
title: Consumer Response and Behaviour - Quantifying heat energy needs and behaviours - Final Report
Creators: name: Energy Endeavours Consortium
Publisher: name: ETI
Year: 2014
Subjects: subject: Smart Systems and Heat
subject: ENERGY EFFICIENCY (Residential and commercial)
subject: OTHER CROSS-CUTTING TECHNOLOGIES or RESEARCH (Other Supporting Data)

description: The delivery of consumer energy requirements is a key focus of the Smart Systems and Heat Programme.The Consumer Response and Behavior Project will identify consumer requirements and predict consumer response to Smart Energy System proposals, providing a consumer focus for the other Work Areas. This project involved thousands of respondents providing insight into consumer requirements for heat and energy services, both now and in the future. Particular focus was given to identifying the behaviour that leads people to consume energy - in particular heat and hot water. This £3m project was led by PRP Architects, experts in the built environment. It involved a consortium of academia and industry - UCL Energy Institute,Frontier Economics, the Technology Partnership, the Peabody Trust, National Centre for Social Research and Hitachi Europe

This study, conducted as part ofthe Consumer Response and Behaviour project, comprised a quantitative social survey of 2,313 British households which took place in January and February 2014. A quota sampling approach was followed to generate a nationally representative sample, with quotas set on tenure, property type and the presence of children. Respondents completed a face-to-face interview lasting around an hour in which they answered questions relating to their facilities for heating, cooling and hot water, their heat energy needs and their behaviour in relation to use of heat energy. Crucially, respondents completed a card sort exercise in which they organised a range of pre-defined heat energy needs into factors that had big, small or no influences on their heat energy behaviour.The items on the cards were informed by a literature review and qualitative research. Where respondents consented (89% of cases), interviewers conducted observations of the heating and hot water systems and physical features of the property. Respondents were given a paper self-completion questionnaire (covering mainly their recent and desired renovation activities); 78% of respondents returned the self-completion questionnaire.

Conclusions are drawn in answer to the following:Heat energy needsHeating the home and keeping warmWhat do people do to keep warm?Keeping coolHeating water and using hot waterHeat energy solutionsA technical appendix contains supporting information on sampling , questionnaire design, briefings, fieldwork, editing and coding, data weighting, and analysis and reporting.This report was prepared for the ETI by the consortium that delivered the project in 2013 and whose contents may be out of date and may not represent current thinking
Additional file 3 of An efficient CRISPR-Cas9 enrichment sequencing strategy for characterizing complex and highly duplicated genomic regions. A case study in the Prunus salicina LG3-MYB10 genes cluster
Creators: name: Fiol, Arnau
name: Jurado-Ruiz, Federico
name: López‑Girona, Elena
name: Aranzana, Maria José
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 3. Details of the crRNAs designed for the Japanese plum LG3-MYB10 region enrichment. The SNPs identified are underlined and crRNAs were designed including each variant.
Detection of low energy antimatter with emulsions
Creators: name: Aghion, S.
name: Ariga, A.
name: Ariga, T.
name: Bollani, M.
name: Cas, E. Dei
name: Ereditato, A.
name: Evans, C.
name: Ferragut, R.
name: Giammarchi, M.
name: Pistillo, C.
name: Romé, M.
name: Sala, S.
name: Scampoli, P.
Publisher: name: arXiv
Year: 2016
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: Emulsion detectors feature a very high position resolution and consequently represent an ideal device when particle detection is required at the micrometric scale. This is the case of quantum interferometry studies with antimatter, where micrometric fringes have to be measured. In this framework, we designed and realized a new emulsion based detector characterized by a gel enriched in terms of silver bromide crystal contents poured on a glass plate. We tested the sensitivity of such a detector to low energy positrons in the range 10-20 keV. The obtained results prove that nuclear emulsions are highly efficient at detecting positrons at these energies. This achievement paves the way to perform matter-wave interferometry with positrons using this technology.
description: 9 pages, 6 figures
Counterfactual Causality for Reachability and Safety based on Distance Functions
Creators: name: Parreaux, Julie
name: Piribauer, Jakob
name: Baier, Christel
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Investigations of causality in operational systems aim at providing human-understandable explanations of why a system behaves as it does. There is, in particular, a demand to explain what went wrong on a given counterexample execution that shows that a system does not satisfy a given specification. To this end, this paper investigates a notion of counterfactual causality in transition systems based on Stalnaker's and Lewis' semantics of counterfactuals in terms of most similar possible worlds and introduces a novel corresponding notion of counterfactual causality in two-player games. Using distance functions between paths in transition systems, this notion defines whether reaching a certain set of states is a cause for the violation of a reachability or safety property. Similarly, using distance functions between memoryless strategies in reachability and safety games, it is defined whether reaching a set of states is a cause for the fact that a given strategy for the player under investigation is losing. The contribution of the paper is two-fold: In transition systems, it is shown that counterfactual causality can be checked in polynomial time for three prominent distance functions between paths. In two-player games, the introduced notion of counterfactual causality is shown to be checkable in polynomial time for two natural distance functions between memoryless strategies. Further, a notion of explanation that can be extracted from a counterfactual cause and that pinpoints changes to be made to the given strategy in order to transform it into a winning strategy is defined. For the two distance functions under consideration, the problem to decide whether such an explanation imposes only minimal necessary changes to the given strategy with respect to the used distance function turns out to be coNP-complete and not to be solvable in polynomial time if P is not equal to NP, respectively.
description: In Proceedings GandALF 2023, arXiv:2309.17318. An extended version can be found at arXiv:2308.11385v1