cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
A characterization of finite vector bundles on Gauduchon astheno-Kahler manifolds
Creators: name: Biswas, Indranil
name: Pingali, Vamsi Pritham
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 32L10, 53C55, 14D21

description: A vector bundle E on a projective variety X is called finite if it satisfies a nontrivial polynomial equation with integral coefficients. A theorem of Nori implies that E is finite if and only if the pullback of E to some finite etale Galois covering of X is trivial. We prove the same statement when X is a compact complex manifold admitting a Gauduchon astheno-Kahler metric.
Eine spätpaläolithische Fundstelle am Ufer des Federsees: Bad Buchau-Kappel, Flurstück Gemeindebeunden
Creators: name: Jochim, Michael A.
name: Kind, Claus-Joachim
name: Kleinmann, Angelika
name: Merkt, Josef
name: Stephan, Elisabeth
Publisher: name: Fundberichte aus Baden-Württemberg
Year: 2018

description: [nicht vorhanden / not available]
description: Fundberichte aus Baden-Württemberg, Bd. 35 (2015): Fundberichte aus Baden-Württemberg
Multi-objective Analysis of Sustainable Generation Expansion Planning based on Renewable Energy Potential: A case study of Bali Province of Indonesia
Creators: name: Al Hasibi, Rahmat Adiprasetya
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: This article analyzes the role of renewable energy in producing sustainable generation expansion planning. The generation expansion planning is carried out using an optimization model which has two objective functions, namely the objective function of planning costs and the objective function of emissions. Multi-objective analysis was performed using the epsilon constraint method to produce the Pareto set. Solution points are selected from the Pareto set generated using the fuzzy decision making method. The process of determining the best solution points is based on three scenarios. Furthermore, calculations were carried out to obtain 7 indicators of sustainability covering economic, social, and environmental aspects. The sustainability index is calculated based on several predetermined policy options. The model is implemented using data obtained from the electricity system in Bali Province, Indonesia. From the analysis, the planning scenario by implementing renewable energy sources in the generation of electrical energy, namely scenario 3, results in an increase in the sustainability index with the highest value during the planning period. However, scenario 3 produces two sustainability indices from the economic aspect, namely the unit cost of generation and shared electricity cost to GDP, which is the lowest when compared to other scenarios.
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
Measurement of the t t-bar production cross section in the all-jet final state in pp collisions at sqrt(s) = 7 TeV
Creators: name: CMS Collaboration
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A measurement is presented of the t t-bar cross section (sigma[ttbar]) in proton-proton collisions at a centre-of-mass energy of 7 TeV, in the all-jet final state that contains at least six jets, two of which are tagged as originating from b quarks. The data correspond to an integrated luminosity of 3.54 inverse femtobarns, collected with the CMS detector at the LHC. The cross section is determined through an unbinned maximum likelihood fit of background and t t-bar signal to the reconstructed mass spectrum of t t-bar candidates in the data, in which events are subjected to a kinematic fit assuming a t t-bar to W+ b W- b-bar to 6 jets hypothesis. The measurement yields sigma[ttbar] = 139 +/- 10 (stat.) +/- 26 (syst.) +/- 3 (lum.) pb, a result consistent with those obtained in other t t-bar decay channels, as well as with predictions of the standard model.
description: Replaced with published version. Added journal reference and DOI
Unidentified Galactic High-Energy Sources as Ancient Pulsar Wind Nebulae in the light of new high energy observations and the new code
Creators: name: Tibolla, O.
name: Vorster, M.
name: de Jager, O.
name: Ferreira, S. E. S.
name: Kaufmann, S.
name: Venter, C.
name: Mannheim, K.
name: Giordano, F.
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: In a Pulsar Wind Nebula (PWN), the lifetime of inverse Compton (IC) emitting electrons exceeds the lifetime of its progenitor pulsar (as well as its shell-type remnant), but it also exceeds the age of those that emit via synchrotron radiation. Therefore, during its evolution, the PWN can remain bright in IC so that its GeV-TeV gamma-ray flux remains high for timescales much larger (for 10^5 - 10^6 yrs) than the pulsar lifetime and the X-ray PWN lifetime. In this scenario, the magnetic field in the cavity induced by the wind of the progenitor star plays a crucial role. This scenario is in line with the discovery of several unidentified or "dark" sources in the TeV gamma-ray band without X-ray counterparts; and it is also finding confirmation in the recent discoveries at GeV gamma rays. Moreover, these consequences could be also important for reinterpreting the detection of starburst galaxies in the TeV gamma-ray band when considering a leptonic origin of the gamma-ray signal. Both theoretical aspects and their observational proofs will be discussed, as well as the first results of our new modeling code.
description: Proceedings of the 5th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma2012)
Is local always best? Social acceptance of small hydropower projects in Norway.
Creators: name: Rygg, Bente Johnsen
name: Ryghaug, Marianne
name: Yttri, Gunnar
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: Small-scale development of renewable energy has been identified as one possible solution to meet future energy needs and is well aligned with the general European trend towards further development of community energy projects. Increased local energy production will move energy plants closer to habitation, placing aspects related to social acceptance at the center stage [1, 2]. Until recently, small hydro power [3] projects in Norway have been owned by local farmers and others with property rights to rivers. As the profitability of these projects has decreased, international investors have taken interest in SHP projects as part of their long-term investment strategy. In this paper, we study what influences social acceptance of SHP projects in Norway based on interviews and qualitative data from different SHP projects in Norway. We find that community energy projects often are attributed positive qualities when ownership is local. Thus, we argue that there is a need to consider more thoroughly how to organize ownership of small-scale renewables in the future, if it is to uphold its position as a popular and viable solution to meet future energy needs [3].
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Creators: name: Creignou, Nadia
name: Pichler, Reinhard
name: Woltran, Stefan
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems. We consider here the CardMinSat problem which asks, given a propositional formula $ϕ$ and an atom $x$, whether $x$ is true in some cardinality-minimal model of $ϕ$. This problem is easy for the Horn fragment, but, as we will show in this paper, remains $Θ_2$-complete (and thus $\mathrm{NP}$-hard) for the Krom fragment (which is given by formulas in CNF where clauses have at most two literals). We will make use of this fact to study the complexity of reasoning tasks in belief revision and logic-based abduction and show that, while in some cases the restriction to Krom formulas leads to a decrease of complexity, in others it does not. We thus also consider the CardMinSat problem with respect to additional restrictions to Krom formulas towards a better understanding of the tractability frontier of such problems.
Two generalizations of the Busche-Ramanujan identities
Creators: name: Tóth, László
Publisher: name: arXiv
Year: 2013
Subjects: subject: Number Theory (math.NT)
subject: FOS: Mathematics
subject: 11A25, 11C08

description: We derive two new generalizations of the Busche-Ramanujan identities involving the multiple Dirichlet convolution of arithmetic functions of several variables. The proofs use formal multiple Dirichlet series and properties of symmetric polynomials of several variables.
description: 10 pages, revised
Lefschetz (1,1)-theorem in tropical geometry
Creators: name: Jell, Philipp
name: Rau, Johannes
name: Shaw, Kristin
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14T05 (Primary), 52B40, 55N35, 14C25, 14C22 (Secondary)

description: For a tropical manifold of dimension n we show that the tropical homology classes of degree (n-1, n-1) which arise as fundamental classes of tropical cycles are precisely those in the kernel of the eigenwave map. To prove this we establish a tropical version of the Lefschetz (1, 1)-theorem for rational polyhedral spaces that relates tropical line bundles to the kernel of the wave homomorphism on cohomology. Our result for tropical manifolds then follows by combining this with Poincaré duality for integral tropical homology.
description: 27 pages, 6 figures, POSTpublished version with minor corrections and improvements; the published version is arxiv.org/abs/1711.07900v3
Latest Developments in 4th generation district heating and smart energy systems
Creators: name: Østergaard, Poul Alberg
name: Johannsen, Rasmus Magni
name: Lund, Henrik
name: Mathiesen, Brian Vad
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: This editorial introduces the 31st volume of the International Journal of Sustainable Energy Planning and Management. This volume reports some of the latest developments in energy systems analyses of smart energy systems and of district heating as well as in methods and analyses using multi-objective optimisation. In one of the analyses, the authors investigate the effects of decentralised storage in district heating systems, finding positive effects on grid design as the impact of peaks can be reduced. Three contributions address the more sociological factors influencing acceptance and energy system development such as ownership, awareness, and moral.
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
Prime Fano threefolds of genus 12 with a $G_m$-action
Creators: name: Kuznetsov, Alexander
name: Prokhorov, Yuri
Publisher: name: arXiv
Year: 2017
Subjects: subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics

description: We give an explicit construction of prime Fano threefolds of genus 12 with a $G_m$-action, describe their isomorphism classes and automorphism groups.
description: 14 pages, LaTeX, updated version, to appear in \'Epijournal de G\'eom\'etrie Alg\'ebrique, Vol. 2 (2018), Article Nr. 3
A generalization of a theorem of Hurewicz for quasi-Polish spaces
Creators: name: de Brecht, Matthew
Publisher: name: arXiv
Year: 2017
Subjects: subject: General Topology (math.GN)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Mathematics
subject: FOS: Computer and information sciences

description: We identify four countable topological spaces $S_2$, $S_1$, $S_D$, and $S_0$ which serve as canonical examples of topological spaces which fail to be quasi-Polish. These four spaces respectively correspond to the $T_2$, $T_1$, $T_D$, and $T_0$-separation axioms. $S_2$ is the space of rationals, $S_1$ is the natural numbers with the cofinite topology, $S_D$ is an infinite chain without a top element, and $S_0$ is the set of finite sequences of natural numbers with the lower topology induced by the prefix ordering. Our main result is a generalization of Hurewicz's theorem showing that a co-analytic subset of a quasi-Polish space is either quasi-Polish or else contains a countable $Π^0_2$-subset homeomorphic to one of these four spaces.
Casimir Friction Between Dense Polarizable Media
Creators: name: Høye, Johan S.
name: Brevik, Iver
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistics Theory (math.ST)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The present paper - a continuation of our recent series of papers on Casimir friction for a pair of particles at low relative particle velocity - extends the analysis so as to include dense media. The situation becomes in this case more complex due to induced dipolar correlations, both within planes, and between planes. We show that the structure of the problem can be simplified by regarding the two half-planes as a generalized version of a pair of particles. It turns out that macroscopic parameters such as permittivity suffice to describe the friction also in the finite density case. The expression for the friction force per unit surface area becomes mathematically well-defined and finite at finite temperature. We give numerical estimates, and compare them with those obtained earlier by Pendry (1997) and by Volokitin and Persson (2007). We also show in an appendix how the statistical methods that we are using, correspond to the field theoretical methods more commonly in use.
description: 20 pages, latex2e, no figures. To appear in Entropy
Distances between States and between Predicates
Creators: name: Jacobs, Bart
name: Westerbaan, Abraham
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1

description: This paper gives a systematic account of various metrics on probability distributions (states) and on predicates. These metrics are described in a uniform manner using the validity relation between states and predicates. The standard adjunction between convex sets (of states) and effect modules (of predicates) is restricted to convex complete metric spaces and directed complete effect modules. This adjunction is used in two state-and-effect triangles, for classical (discrete) probability and for quantum probability.
title: Метод перехвата приоритетной цели, сопровождаемой истребителями охранения
Creators: name: ., В.С. Верба – чл.-корр. РАН, Засл. деятель науки РФ, д.т.н., профессор,  ген. конструктор - первый зам. ген. директора АО «Концерн радиостроения «Вега» (Москва)  E-mail: vvs.msk@gmail.com  Д.И. Иевлев – инженер,  АО «Концерн радиостроения «Вега» (Москва)  E-mail: idi.96@mail.ru  В.И. Меркулов – Засл. деятель науки РФ, д.т.н., профессор, зам. ген. конструктора,  АО «Концерн радиостроения «Вега» (Москва)  E-mail: from_fn@mail.ru
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. Уничтожение приоритетных целей, к которым прежде всего относятся авиационные комплексы радиолокационного дозора и наведения, самолеты-ретрансляторы и самолеты-топливозаправщики, является одной из наиболее востребованных и сложных задач воздушно-космического противоборства. Сложность решения этой задачи обусловлена наличием большого числа истребителей охранения, предназначенных для устранения угроз поражения приоритетных целей, в первую очередь ракетами «воздух-воздух» большой дальности.

Цель. Разработать метод наведения ракеты-перехватчика большой дальности действия, обеспечивающий одновременно как срыв ее сопровождения радиолокационными системами истребителей охранения и их ракет, так и поражение приоритетной цели.

Результат. Разработан комбинированный метод наведения ракеты-перехватчика, обеспечивающий на начальном участке полета по квазигармонической траектории со случайной амплитудой и периодом срыв сопровождения радиолокационных систем истребителей охранения и их ракет, а на конечном – перехват приоритетной цели в процессе минимизации линейного промаха.

Практическая значимость. Качественное снижение числа потерь истребителей и ракет в процессе перехвата приоритетных целей.
Disruption, Disaster and Transition: Analysis of Electricity Usage in Japan from 2005 to 2016
Creators: name: D'Alessandro, Kelly
name: Dargusch, Paul
name: Chapman, Andrew
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: This research analyzes the changes to electricity generation and demand in Japan following both the Global Financial Crisis and Disaster of March 2011. Monthly electricity demand and generation data for all regions of Japan from April 2005 to March 2016 were reviewed to identify differences in disruption-response between different types of electricity users. We apply inferential statistics to identify underlying trends, which we find are dominated by differences in user scale response. Higher capacity users reduced demand in response to the Global Financial Crisis, whereas smaller domestic scale users reduced electricity demand after the Disaster. Analysis reveals that regions within the 50Hz grid that were directly impacted by the Fukushima event and resulting load restrictions showed a statistically significant sustained reduction in monthly electricity demand post-disaster. However, Kansai and Shikoku, regions that are both outside the area directly impacted by the Fukushima event, also showed the same sorts of sustained significant reductions. By considering two disruptions to the same sociotechnical system we can draw conclusions that add to the discourse of electricity use behaviors, which informs both disaster response planning and policy for the broader issues of electricity demand reduction for climate stabilisation. In particular, the results highlight the importance of tailoring engagement and intervention actions to the preferences and needs of different types of electricity users.
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
Efficient reduction of nondeterministic automata with application to language inclusion testing
Creators: name: Clemente, Lorenzo
name: Mayr, Richard
Publisher: name: arXiv
Year: 2017
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; F.1.1

description: We present efficient algorithms to reduce the size of nondeterministic Büchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages. Additionally, we describe methods to solve PSPACE-complete automata problems like language universality, equivalence, and inclusion for much larger instances than was previously possible ($\ge 1000$ states instead of 10-100). This can be used to scale up applications of automata in formal verification tools and decision procedures for logical theories. The algorithms are based on new techniques for removing transitions (pruning) and adding transitions (saturation), as well as extensions of classic quotienting of the state space. These techniques use criteria based on combinations of backward and forward trace inclusions and simulation relations. Since trace inclusion relations are themselves PSPACE-complete, we introduce lookahead simulations as good polynomial time computable approximations thereof. Extensive experiments show that the average-case time complexity of our algorithms scales slightly above quadratically. (The space complexity is worst-case quadratic.) The size reduction of the automata depends very much on the class of instances, but our algorithm consistently reduces the size far more than all previous techniques. We tested our algorithms on NBA derived from LTL-formulae, NBA derived from mutual exclusion protocols and many classes of random NBA and NFA, and compared their performance to the well-known automata tool GOAL.
description: 69 pages. arXiv admin note: text overlap with arXiv:1210.6624
Additional file 1 of Access to support during childbirth?: women’s preferences and experiences of support person integration in a cross-sectional facility-based survey
Creators: name: Nakphong, Michelle K.
name: Afulani, Patience A.
name: Opot, James
name: Sudhinaraset, May
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Supplementary Material 1: : Appendix A
Behavioural equivalences for timed systems
Creators: name: Brengos, Tomasz
name: Peressotti, Marco
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.1.1

description: Timed transition systems are behavioural models that include an explicit treatment of time flow and are used to formalise the semantics of several foundational process calculi and automata. Despite their relevance, a general mathematical characterisation of timed transition systems and their behavioural theory is still missing. We introduce the first uniform framework for timed behavioural models that encompasses known behavioural equivalences such as timed bisimulations, timed language equivalences as well as their weak and time-abstract counterparts. All these notions of equivalences are naturally organised by their discriminating power in a spectrum. We prove that this result does not depend on the type of the systems under scrutiny: it holds for any generalisation of timed transition system. We instantiate our framework to timed transition systems and their quantitative extensions such as timed probabilistic systems.
Solving the kernel perfect problem by (simple) forbidden subdigraphs for digraphs in some families of generalized tournaments and generalized bipartite tournaments
Creators: name: Galeana-Sánchez, H.
name: Olsen, M.
Publisher: name: arXiv
Year: 2017
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C20, 05C69, 05C75

description: A digraph such that every proper induced subdigraph has a kernel is said to be \emph{kernel perfect} (KP for short) (\emph{critical kernel imperfect} (CKI for short) resp.) if the digraph has a kernel (does not have a kernel resp.). The unique CKI-tournament is $\overrightarrow{C}_3$ and the unique KP-tournaments are the transitive tournaments, however bipartite tournaments are KP. In this paper we characterize the CKI- and KP-digraphs for the following families of digraphs: locally in-/out-semicomplete, asymmetric arc-locally in-/out-semicomplete, asymmetric $3$-quasi-transitive and asymmetric $3$-anti-quasi-transitive $TT_3$-free and we state that the problem of determining whether a digraph of one of these families is CKI is polynomial, giving a solution to a problem closely related to the following conjecture posted by Bang-Jensen in 1998: the kernel problem is polynomially solvable for locally in-semicomplete digraphs.
description: 13 pages and 5 figures
title: Построение карты глубины с использованием камеры с широкоугольным объективом типа «рыбий глаз»
Creators: name: ., В.П. Кирнос – ст. преподаватель,  кафедра инфокоммуникаций и радиофизики физического факультета, Ярославский государственный университет им. П.Г. Демидова  E-mail: crafter76@gmail.com  В.А. Антипов – аспирант,  кафедра инфокоммуникаций и радиофизики физического факультета, Ярославский государственный университет им. П.Г. Демидова  E-mail: valant777@gmail.com  В.А. Коковкина – ассистент,  кафедра инфокоммуникаций и радиофизики физического факультета, Ярославский государственный университет им. П.Г. Демидова  E-mail: thief_rus@yahoo.com  А.Л. Приоров – д.т.н., профессор,  кафедра инфокоммуникаций и радиофизики физического факультета, Ярославский государственный университет им. П.Г. Демидова  E-mail: andcat@yandex.ru  Е.Д. Гурьянов – аспирант,  кафедра инфокоммуникаций и радиофизики физического факультета, Ярославский государственный университет им. П.Г. Демидова  E-mail: guryanoved@yandex.ru
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. В последнее время в области технического зрения перспективным и быстро развивающимся направлением является стереозрение, в том числе с использованием всенаправленных оптических систем.

Цель. Описать и исследовать алгоритм построения карты глубины из изображений, полученных с использованием камеры с широкоугольным объективом типа «рыбий глаз».

Результаты. Исследования выполнены на реальном оборудовании с использованием ряда специально организованных тестовых сцен, направленных на определение точности алгоритма построения карты глубины. В результате исследования было предложено использовать сферическую модель камеры, которая основана на сферической проекции. Представлена реализация алгоритма построения карты глубины. По полученной карте глубины и по сферической модели камеры была построена трехмерная сцена.

Практическая значимость. Приведена методика калибровки камеры типа «рыбий глаз» для ее дальнейшего использования в задаче получения стереоизображения. Полученная алгоритмом карта глубины позволяет успешно реконструировать трехмерную сцену.
Vibrations of a Columnar Vortex in a Trapped Bose-Einstein Condensate
Creators: name: Koens, Lyndon
name: Simula, Tapio P.
name: Martin, Andrew M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We derive a governing equation for a Kelvin wave supported on a vortex line in a Bose-Einstein condensate, in a rotating cylindrically symmetric parabolic trap. From this solution the Kelvin wave dispersion relation is determined. In the limit of an oblate trap and in the absence of longitudinal trapping our results are consistent with previous work. We show that the derived Kelvin wave dispersion in the general case is in quantitative agreement with numerical calculations of the Bogoliubov spectrum and offer a significant improvement upon previous analytical work.
description: 5 pages with 1 figure
The Impact of Local Climate Policy on District Heating Development in a Nordic city – a Dynamic Approach
Creators: name: Vilén, Karl
name: Selvakkumaran, Sujeetha
name: Ahlgren, Erik O.
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: On a national level, Sweden has announced plans to have no net emissions of greenhouse gases in 2045. Furthermore, Gothenburg, a city in southwestern Sweden, has plans to phase out the use of fossil fuels in its heat and electricity production by 2030. Given that the development of a district heating (DH) system under dynamic and different climate policies and climate goals is a nontrivial problem, this study investigates two different policies of phasing out fossil fuels, either by introducing a fossil fuel ban, or by increasing the carbon tax to phase out the fossil fuel use in 2030 or 2045. The effects of the different phase out strategies on the future development of the existing DH system in Gothenburg has been investigated. The study is based on a system-wide approach covering both the supply and demand side developments. A TIMES system cost optimization model representing the DH system of Gothenburg was developed and applied for calculations. The results show that the total amount of heat supplied by the DH system is unaffected by the phase out policies. The amount of natural gas used to supply the DH system is however dependent on what kind of phase out policy is implemented. A yearly linearly increasing carbon tax policy introduced in 2021 phases out fossil fuel use earlier than the target year, while a ban phases out the fossil fuel only from the actual target year.
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
Additional file 3 of Access to support during childbirth?: women’s preferences and experiences of support person integration in a cross-sectional facility-based survey
Creators: name: Nakphong, Michelle K.
name: Afulani, Patience A.
name: Opot, James
name: Sudhinaraset, May
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Cell Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: Supplementary Material 3: : Appendix C
Supersymmetric Cubic Galileons Have Ghosts
Creators: name: Koehn, Michael
name: Lehners, Jean-Luc
name: Ovrut, Burt
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Galileons are higher-derivative theories of a real scalar which nevertheless admit second order equations of motion. They have interesting applications as dark energy models and in early universe cosmology, and have been conjectured to arise as descriptions of brane dynamics in string theory. In the present paper, we study the bosonic sector of globally N=1 supersymmetric extensions of the cubic Galileon Lagrangian in detail. Supersymmetry requires that the Galileon scalar now becomes paired with a second real scalar field. We prove that the presence of this second scalar causes the equations of motion to become higher than second order, thus leading to the appearance of ghosts. We also analyze the energy scales up to which, in an effective field theory description, the ghosts can be tamed.
description: 18 pages, v4: discussion updated in light of arXiv:1306.2961 by Farakos et al
Muchnik degrees and cardinal characteristics
Creators: name: Monin, Benoit
name: Nies, André
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03D30, 03E17

description: For $p \in [0,1]$ let $\mathcal D(p)$ be the mass problem of infinite bit sequences~$y$ (i.e., $\{0,1\}$-valued functions) such that for each computable bit sequence $x$, the bit sequence $ x \leftrightarrow y$ has asymptotic lower density at most $p$ (where $x \leftrightarrow y$ has a $1$ in position $n$ iff $x(n) = y(n)$). We show that all members of this family of mass problems parameterized by a real $p$ with $0 < p<1/2 $ have the same complexity in the sense of Muchnik reducibility. We prove this by showing Muchnik equivalence of the problems $\mathcal D(p)$ with the mass problem $\mathrm{IOE}(2^ { 2^ n})$. As a dual of the problem $\mathcal D(p)$, define $\mathcal B(p)$, for $0 \le p < 1/2$, to be the set of bit sequences $y$ such that $\underline ρ(x \leftrightarrow y) > p$ for each computable set~$x$. We prove that the Medvedev (and hence Muchnik) complexity of the mass problems $\mathcal B(p)$ is the same for all $p \in (0, 1/2)$, by showing that they are Medvedev equivalent to the mass problem of functions bounded by $2^{2^ n}$ that are almost everywhere different from each computable function. Together with Joseph Miller, we obtain a proper hierarchy of the mass problems of type $\mathrm{IOE}$: We study cardinal characteristics in the sense of set theory that are analogous to the highness properties above.
description: Updated April 2020, to appear in J. Symb. Logic
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
Creators: name: Beyersdorff, Olaf
name: Blinkhorn, Joshua
name: Hinde, Luke
Publisher: name: arXiv
Year: 2017
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: As a natural extension of the SAT problem, an array of proof systems for quantified Boolean formulas (QBF) have been proposed, many of which extend a propositional proof system to handle universal quantification. By formalising the construction of the QBF proof system obtained from a propositional proof system by adding universal reduction (Beyersdorff, Bonacina & Chew, ITCS `16), we present a new technique for proving proof-size lower bounds in these systems. The technique relies only on two semantic measures: the cost of a QBF, and the capacity of a proof. By examining the capacity of proofs in several QBF systems, we are able to use the technique to obtain lower bounds based on cost alone. As applications of the technique, we first prove exponential lower bounds for a new family of simple QBFs representing equality. The main application is in proving exponential lower bounds with high probability for a class of randomly generated QBFs, the first `genuine' lower bounds of this kind, which apply to the QBF analogues of resolution, Cutting Planes, and Polynomial Calculus. Finally, we employ the technique to give a simple proof of hardness for the prominent formulas of Kleine Büning, Karpinski and Flögel.
Methodology to design district heating systems with respect to local energy potentials, CO2-emission restrictions, and federal subsidies using oemof
Creators: name: Kersten, Mathias
name: Bachmann, Max
name: Guo, Tong
name: Kriegel, Martin
Publisher: name: International Journal of Sustainable Energy Planning and Management
Year: 2021

description: To combine a variety of different heat generating technologies, static design methods will not be sufficient to design future heat supply systems. New energy system design approaches are being developed with consideration of fluctuating renewable energy sources, different subsidy measures, as well as CO2-emission reduction targets. The motive of this study is to develop a new methodology to design and optimise an energy system considering these constraints. The methodology is developed based on the Open Energy Modelling Framework (oemof) and applied on a sub-urban region in northern Germany. Local specifics of energy source potentials are taken into account. It adapts the boundary conditions of a German federal funding program for innovative heat supply networks “Heating Network Systems 4.0.” Federal funding restrictions of combined heat and power systems and self-consumption are also considered. An economic optimisation was conducted considering a variety of energy sources. Cost optimal energy system design was computed regarding investments costs, energy prices and annual CO2-emission restrictions. The integration of combined heat and power (CHP), photovoltaic (PV) and heat pump (HP) systems in combination with storage size optimisation can reduce CO2-emission of heat production by approx. 69% compared to the current state of heat production.
description: International Journal of Sustainable Energy Planning and Management, Vol. 31 (2021)
title: Модель процесса обучения специалистов с использованием учебно-тренировочных средств
Creators: name: ., В.Я. Пророк – д.т.н., профессор,  Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)  E-mail: val_prorok@mail.ru  А.В. Тимофеев – адъюнкт кафедры,  Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)  E-mail: alexonwork@gmail.com  С.Г. Ворона – к.т.н., доцент, преподаватель,  кафедра средств предупреждения о ракетном нападении,  Военно-космическая академия имени А.Ф. Можайского (Санкт-Петербург)  E-mail: vorona_1953@mail.ru
Publisher: name: Издательство Радиотехника
Year: 2020

description: Постановка проблемы. Для формирования профессиональных компетенций в процессе подготовки специалистов широко используются учебно-тренировочные средства (УТС). Использование математической модели позволяет проследить процесс становления специалиста с использованием УТС.

Цель. Провести анализ временных и стоимостных затрат на формирование высокопрофессионального специалиста в зависимости от уровня развития его способностей.

Результаты. Построена модель обучения с использованием УТС и учетом такой особенности, как способность полученных обучающимся знаний к самоорганизации и созданию новых знаний. Данный подход делает возможным прогнозирование процесса формирования знаний и умений обучающегося в профессиональной сфере деятельности. Характерной особенностью предложенной модели является использование трансформационной теории обучения и расчет коэффициента скорости обучения с использованием нечеткого логического вывода.

Практическая значимость. Одним из способов решения задачи эффективного обучения является выбор таких УТС и такой стратегии обучения конкретного специалиста, при которой коэффициент скорости его обучения принимает максимальные значения.
F\olner sequences and finite operators
Creators: name: Lledó, Fernando
name: Yakubovich, Dmitry V.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Operator Algebras (math.OA)
subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 47B20, 47A65, 43A07, 46L05

description: This article analyzes F\olner sequences of projections for bounded linear operators and their relationship to the class of finite operators introduced by Williams in the 70ies. We prove that each essentially hyponormal operator has a proper F\olner sequence (i.e. a F\olner sequence of projections strongly converging to 1). In particular, any quasinormal, any subnormal, any hyponormal and any essentially normal operator has a proper F\olner sequence. Moreover, we show that an operator is finite if and only if it has a proper F\olner sequence or if it has a non-trivial finite dimensional reducing subspace. We also analyze the structure of operators which have no F\olner sequence and give examples of them. For this analysis we introduce the notion of strongly non-F\olner operators, which are far from finite block reducible operators, in some uniform sense, and show that this class coincides with the class of non-finite operators.
description: 15 pages
Efficient enumeration of solutions produced by closure operations
Creators: name: Mary, Arnaud
name: Strozecki, Yann
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computational Complexity (cs.CC)
subject: Discrete Mathematics (cs.DM)
subject: Data Structures and Algorithms (cs.DS)
subject: FOS: Computer and information sciences

description: In this paper we address the problem of generating all elements obtained by the saturation of an initial set by some operations. More precisely, we prove that we can generate the closure of a boolean relation (a set of boolean vectors) by polymorphisms with a polynomial delay. Therefore we can compute with polynomial delay the closure of a family of sets by any set of "set operations": union, intersection, symmetric difference, subsets, supersets $\dots$). To do so, we study the $Membership_{\mathcal{F}}$ problem: for a set of operations $\mathcal{F}$, decide whether an element belongs to the closure by $\mathcal{F}$ of a family of elements. In the boolean case, we prove that $Membership_{\mathcal{F}}$ is in P for any set of boolean operations $\mathcal{F}$. When the input vectors are over a domain larger than two elements, we prove that the generic enumeration method fails, since $Membership_{\mathcal{F}}$ is NP-hard for some $\mathcal{F}$. We also study the problem of generating minimal or maximal elements of closures and prove that some of them are related to well known enumeration problems such as the enumeration of the circuits of a matroid or the enumeration of maximal independent sets of a hypergraph. This article improves on previous works of the same authors.
description: 30 pages, 1 figure. Long version of the article arXiv:1509.05623 of the same name which appeared in STACS 2016. Final version for DMTCS journal
Additional file 1 of Continuous nerve block versus thoracic epidural analgesia for post-operative pain of pectus excavatum repair: a systematic review and meta-analysis
Creators: name: Chen, Li-Jung
name: Chen, Shih-Hong
name: Hsieh, Yung-Lin
name: Yu, Po-Chuan
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Environmental Sciences not elsewhere classified
subject: Science Policy
subject: Mental Health

description: Supplementary Material 1
Finite-size effect in shot noise in hopping conduction
Creators: name: Tikhonov, E. S.
name: Khrapai, V. S.
name: Shovkun, D. V.
name: Schuh, D.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study a current shot noise in a macroscopic insulator based on a two-dimensional electron system in GaAs in a variable range hopping (VRH) regime. At low temperature and in a sufficiently depleted sample a shot noise close to a full Poissonian value is measured. This suggests an observation of a finite-size effect in shot noise in the VRH conduction and demonstrates a possibility of accurate quasiparticle charge measurements in the insulating regime.
description: accepted to JETP Letters
title: Πολιτικές διαχείρισης και προστασίας των ιστορικών κέντρων. Περίπτωση μελέτης: Μεσαιωνική πόλη (Παλιά Πόλη) Ρόδου.
title: Management and preservation policies of historic centers.The case of Medieval city of Rhodes
Creators: name: Κακκαρη Μαρινα
Publisher: name: Technical University of Crete
Year: 2020

description: Στόχος της παρούσας ερευνητικής είναι η μελέτη των μεθόδων και πρακτικών που οδηγούν στην  αποτελεσματική  προστασία  και  διατήρηση  των  ιστορικών  πόλεων.  Αυτό, επιτυγχάνεται μέσα από τη μελέτη της εξέλιξης των εννοιολογικών και θεωρητικών προσεγγίσεων των προηγούμενων αιώνων,  που αφορούσαν αρχικά τα μεμονωμένα μνημεία και μεταγενέστερα την ιστορική πόλη. Για το σκοπό αυτό, επιχειρείται η μελέτη και η ανάλυση της Μεσαιωνικής Πόλης (Παλιά πόλη) της Ρόδου στο πέρασμα του χρόνου. Για την επίτευξη του συγκεκριμένου σκοπού πραγματοποιείται σύντομη αναφορά στην ιστορική και πολεοδομική εξέλιξη της Ρόδου, καθώς και στο νομοθετικό πλαίσιο που εφαρμόζεται. Τέλος, εξετάζονται οι παράγοντες και οι ρυθμίσεις που οδήγησαν στη σημερινή της μορφή.
Tunneling of massive and charged particles from noncommutative Reissner-Nordström black hole
Creators: name: Nozari, Kourosh
name: Islamzadeh, Sara
Publisher: name: arXiv
Year: 2012
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Massive charged and uncharged particles tunneling from commutative Reissner-Nordstrom black hole horizon has been studied with details in literature. Here, by adopting the coherent state picture of spacetime noncommutativity, we study tunneling of massive and charged particles from a noncommutative inspired Reissner-Nordstrom black hole horizon. We show that Hawking radiation in this case is not purely thermal and there are correlations between emitted modes. These correlations may provide a solution to the information loss problem. We also study thermodynamics of noncommutative horizon in this setup.
description: 10 pages, 2 figures
Zu einigen bosnisch-herzegowinischen Bronzen in Griechenland
Creators: name: Maier, Ferdinand
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2017

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 34, Nr. 1/2 (1956)
Additional file 1 of Sweat-permeable electronic skin with a pattern of eyes for body temperature monitoring
Creators: name: Kim, Jeong  Hyeon
name: Joe, Daniel J.
name: Lee, Han  Eol
Publisher: name: figshare
Year: 2023
Subjects: subject: Molecular Biology
subject: Physiology
subject: FOS: Biological sciences
subject: Environmental Sciences not elsewhere classified
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Developmental Biology
subject: Science Policy

description: Additional file 1: Figure S1. Photographs of color-changed litmus papers and images of tool analysis results. Table S1. FEA simulation results of the designed pattern and other patterns.
MKID development for SuperSpec: an on-chip, mm-wave, filter-bank spectrometer
Creators: name: Shirokoff, Erik
name: Barry, Peter S.
name: Bradford, Charles M.
name: Chattopadhyay, Goutam
name: Day, Peter
name: Doyle, Simon
name: Hailey-Dunsheath, Steve
name: Hollister, Matthew I.
name: Kovács, Attila
name: McKenney, Christopher
name: Leduc, Henry G.
name: Llombart, Nuria
name: Marrone, Daniel P.
name: Mauskopf, Philip
name: O'Brient, Roger
name: Padin, Stephen
name: Reck, Theodore
name: Swenson, Loren J.
name: Zmuidzinas, Jonas
Publisher: name: arXiv
Year: 2012
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: SuperSpec is an ultra-compact spectrometer-on-a-chip for millimeter and submillimeter wavelength astronomy. Its very small size, wide spectral bandwidth, and highly multiplexed readout will enable construction of powerful multibeam spectrometers for high-redshift observations. The spectrometer consists of a horn-coupled microstrip feedline, a bank of narrow-band superconducting resonator filters that provide spectral selectivity, and Kinetic Inductance Detectors (KIDs) that detect the power admitted by each filter resonator. The design is realized using thin-film lithographic structures on a silicon wafer. The mm-wave microstrip feedline and spectral filters of the first prototype are designed to operate in the band from 195-310 GHz and are fabricated from niobium with at Tc of 9.2K. The KIDs are designed to operate at hundreds of MHz and are fabricated from titanium nitride with a Tc of 2K. Radiation incident on the horn travels along the mm-wave microstrip, passes through the frequency-selective filter, and is finally absorbed by the corresponding KID where it causes a measurable shift in the resonant frequency. In this proceedings, we present the design of the KIDs employed in SuperSpec and the results of initial laboratory testing of a prototype device. We will also briefly describe the ongoing development of a demonstration instrument that will consist of two 500-channel, R=700 spectrometers, one operating in the 1-mm atmospheric window and the other covering the 650 and 850 micron bands.
description: As submitted, except that "in prep" references have been updated