cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
SQuARE: Semantics-based Question Answering and Reasoning Engine
Creators: name: Basu, Kinjal
name: Varanasi, Sarat Chandra
name: Shakerin, Farhad
name: Gupta, Gopal
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Computation and Language (cs.CL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) and from its early days, it has received significant attention through question answering (QA) tasks. We introduce a general semantics-based framework for natural language QA and also describe the SQuARE system, an application of this framework. The framework is based on the denotational semantics approach widely used in programming language research. In our framework, valuation function maps syntax tree of the text to its commonsense meaning represented using basic knowledge primitives (the semantic algebra) coded using answer set programming (ASP). We illustrate an application of this framework by using VerbNet primitives as our semantic algebra and a novel algorithm based on partial tree matching that generates an answer set program that represents the knowledge in the text. A question posed against that text is converted into an ASP query using the same framework and executed using the s(CASP) goal-directed ASP system. Our approach is based purely on (commonsense) reasoning. SQuARE achieves 100% accuracy on all the five datasets of bAbI QA tasks that we have tested. The significance of our work is that, unlike other machine learning based approaches, ours is based on "understanding" the text and does not require any training. SQuARE can also generate an explanation for an answer while maintaining high accuracy.
description: In Proceedings ICLP 2020, arXiv:2009.09158
Composite self-similar solutions for relativistic shocks: the transition to cold fluid temperatures
Creators: name: Pan, Margaret
name: Sari, Re'em
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The flow resulting from a strong ultrarelativistic shock moving through a stellar envelope with a polytrope-like density profile has been studied analytically and numerically at early times while the fluid temperature is relativistic--that is, just before and just after the shock breaks out of the star. Such a flow should expand and accelerate as its internal energy is converted to bulk kinetic energy; at late enough times, the assumption of relativistic temperatures becomes invalid. Here we present a new self-similar solution for the post-breakout flow when the accelerating fluid has bulk kinetic Lorentz factors much larger than unity but is cooling through $p/n$ of order unity to subrelativistic temperatures. This solution gives a relation between a fluid element's terminal Lorentz factor and that element's Lorentz factor just after it is shocked. Our numerical integrations agree well with the solution. While our solution assumes a planar flow, we show that corrections due to spherical geometry are important only for extremely fast ejecta originating in a region very close to the stellar surface. This region grows if the shock becomes relativistic deeper in the star.
description: 25 pages, 8 figures; submitted to Physics of Fluids
Drepanomonas pauciciliata Foissner 1987
Creators: name: Durán-Ramírez, Carlos Alberto
name: Dias, Roberto Júnio Pedroso
name: Estrada, Rosaura Mayén-
Publisher: name: Zenodo
Year: 2020
Subjects: Biodiversity
Taxonomy
Chromista
Ciliophora
Nassophorea
Nassulida
Microthoracidae
Drepanomonas
Drepanomonas pauciciliata

description: Drepanomonas pauciciliata Foissner, 1987
Distribution. MEXICO: Coffee plantation La Onza, near Coatepec (Durán-Ramírez et al. 2015), (Th); Coffee plantation Virginia Armand, near Coatepec (Durán-Ramírez et al. 2015), (Th); Santuario del Bosque de Niebla, near Xalapa (Durán-Ramírez et al. 2015), (Th). VENEZUELA: South margin of the Henri Pittier National Park, Biological Station Rancho Grande (Foissner 2016); North border of the Henri Pittier National Park, surroundings of the village of Choroni (Foissner 2016), (Ts).
description: Published as part of Durán-Ramírez, Carlos Alberto, Dias, Roberto Júnio Pedroso & Estrada, Rosaura Mayén-, 2020, Checklist of ciliates (Alveolata: Ciliophora) that inhabit in bromeliads from the Neotropical Region, pp. 1-36 in Zootaxa 4895 (1) on page 20, DOI: 10.11646/zootaxa.4895.1.1, http://zenodo.org/record/4321437
Discusson of Hupa speakers and language work
Creators: name: Parker, Verdena
name: Newbold, Lindsey
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2022
Subjects: subject: hup

description: Audio files VP-070412-05a/c: Discussion of Frances Love, another speaker of Hupa who had recently passed away, and Verdena's recent visits to Hoopa Valley for language work, in English.
Gapless Fermi Surfaces in anisotropic multiband superconductors in magnetic field
Creators: name: Barzykin, V.
name: Gor'kov, L. P.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We propose that a new state with a fully gapless Fermi surface appears in quasi-2D multiband superconductors in magnetic field applied parallel to the plane. It is characterized by a paramagnetic moment caused by a finite density of states on the open Fermi surface. We calculate thermodynamic and magnetic properties of the gapless state for both s-wave and d-wave cases, and discuss the details of the 1-st order metamagnetic phase transition that accompanies the appearance of the new phase in s-wave superconductors. We suggest possible experiments to detect this state both in the s-wave (2-H NbSe2) and d-wave (CeCoIn5) superconductors.
description: 4 pages, 2 figures
The Simons Observatory: Overview of data acquisition, control, monitoring, and computer infrastructure
Creators: name: Koopman, Brian J.
name: Lashner, Jack
name: Saunders, Lauren J.
name: Hasselfield, Matthew
name: Bhandarkar, Tanay
name: Bhimani, Sanah
name: Choi, Steve K.
name: Duell, Cody J.
name: Galitzki, Nicholas
name: Harrington, Kathleen
name: Hincks, Adam D.
name: Ho, Shuay-Pwu Patty
name: Newburgh, Laura
name: Reichardt, Christian L.
name: Seibert, Joseph
name: Spisak, Jacob
name: Westbrook, Benjamin
name: Xu, Zhilei
name: Zhu, Ningfeng
Publisher: name: arXiv
Year: 2020
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: The Simons Observatory (SO) is an upcoming polarized cosmic microwave background (CMB) survey experiment with three small-aperture telescopes and one large-aperture telescope that will observe from the Atacama Desert in Chile. In total, SO will field over 60,000 transition-edge sensor (TES) bolometers in six spectral bands centered between 27 and 280 GHz to achieve the sensitivity necessary to measure or constrain numerous cosmological parameters, including the tensor-to-scalar ratio, effective number of relativistic species, and sum of the neutrino masses. The SO scientific goals require coordination and control of the hardware distributed among the four telescopes on site. To meet this need, we have designed and built an open-sourced platform for distributed system management, called the Observatory Control System (ocs). This control system interfaces with all subsystems including the telescope control units, the microwave multiplexing readout electronics, and the cryogenic thermometry. We have also developed a system for live monitoring of housekeeping data and alerting, both of which are critical for remote observation. We take advantage of existing open source projects, such as crossbar for RPC and PubSub, twisted for asynchronous events, grafana for online remote monitoring, and docker for containerization. We provide an overview of the SO software and computer infrastructure, including the integration of SO-developed code with open source resources and lessons learned while testing at SO labs developing hardware systems as we prepare for deployment.
description: 19 pages, 7 figures
Condensation in a zero range process on weighted scale-free networks
Creators: name: Tang, Ming
name: Liu, Zonghua
name: Zhou, Jie
Publisher: name: arXiv
Year: 2008
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We study the condensation phenomenon in a zero range process on weighted scale-free networks in order to show how the weighted transport influences the particle condensation. Instead of the approach of grand canonical ensemble which is generally used in a zero range process, we introduce an alternate approach of the mean field equations to study the dynamics of particle transport. We find that the condensation on scale-free network is easier to occur in the case of weighted transport than in the case of weight-free. In the weighted transport, especially, a dynamical condensation is even possible for the case of no interaction among particles, which is impossible in the case of weight-free.
description: 6 pages, 4 figures
Automated Aggregator -- Rewriting with the Counting Aggregate
Creators: name: Dingess, Michael
name: Truszczynski, Miroslaw
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1;I.2.2;I.2.3

description: Answer set programming is a leading declarative constraint programming paradigm with wide use for complex knowledge-intensive applications. Modern answer set programming languages support many equivalent ways to model constraints and specifications in a program. However, so far answer set programming has failed to develop systematic methodologies for building representations that would uniformly lend well to automated processing. This suggests that encoding selection, in the same way as algorithm selection and portfolio solving, may be a viable direction for improving performance of answer-set solving. The necessary precondition is automating the process of generating possible alternative encodings. Here we present an automated rewriting system, the Automated Aggregator or AAgg, that given a non-ground logic program, produces a family of equivalent programs with complementary performance when run under modern answer set programming solvers. We demonstrate this behavior through experimental analysis and propose the system's use in automated answer set programming solver selection tools.
description: In Proceedings ICLP 2020, arXiv:2009.09158
How well can (renormalized) perturbation theory predict dark matter clustering properties?
Creators: name: Afshordi, Niayesh
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: There has been some recent activity in trying to understand the dark matter clustering properties in the quasilinear regime, through resummation of perturbative terms, otherwise known as the renormalized perturbation theory (astro-ph/0509418), or the renormalization group method (astro-ph/0606028). While it is not always clear why such methods should work so well, there is no reason for them to capture non-perturbative events such as shell-crossing. In order to estimate the magnitude of non-perturbative effects, we introduce a (hypothetical) model of sticky dark matter, which only differs from collisionless dark matter in the shell-crossing regime. This enables us to show that the level of non-perturbative effects in the dark matter power spectrum at k ~ 0.1 Mpc^{-1}, which is relevant for baryonic acoustic oscillations, is about a percent, but rises to order unity at k ~ 1 Mpc^{-1}.
description: 3 pages, 3 figures, submitted to PRD (rapid communication)
Rezeption und Bedeutung der Menschenrechtsidee in der evangelischen Kirche
Creators: name: Tobler, Stefan
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 59 Nr. 3 (2010): Ökumenische Rundschau, Band 59, Heft 3
Transcription of the Questionnaire on Information Structure
Creators: name: Parker, Verdena
name: Newbold, Lindsey
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2022
Subjects: subject: hup

description: Audio file VP-070412-04: Transcription of responses to the Questionnaire on Information Structure (file VP-161011-08), starting at 39:34 with items from page 176.
O DIREITO DE PROPRIEDADE E A DECLARAÇÃO DE DIREITOS DE LIBERDADE ECONÔMICA
Creators: name: Pegoraro de Araujo, Clayton Vinicius
name: Farias dos Santos, Henrique
name: Ndecky, Maxime
Publisher: name: Zenodo
Year: 2021

description: Esta nota técnica visa demonstrar análise histórica e utilidade do direito de propriedade, como necessária para preservação dos bens tangiveis ou intangiveis, além de possibilitar uma da função social com a imposição de conflitos com a Lei 13784/19 que implementou a Declaração de Direitos de Liberdade Econômica no Brasil.
Hyper-hybrid entanglement, indistinguishability, and two-particle entanglement swapping
Creators: name: Das, Soumya
name: Paul, Goutam
name: Banerji, Anindya
Publisher: name: arXiv
Year: 2021
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Hyper-hybrid entanglement for two indistinguishable bosons has been recently proposed by Li \textit{et al.} [Y. Li, M. Gessner, W. Li, and A. Smerzi, \href{https://doi.org/10.1103/PhysRevLett.120.050404}{Phys. Rev. Lett. 120, 050404 (2018)}]. In the current paper, we show that this entanglement exists for two indistinguishable fermions also. Next, we establish two {\em no-go} results: no hyper-hybrid entanglement for two {\em distinguishable} particles, and no unit fidelity quantum teleportation using {\em indistinguishable} particles. If either of these is possible, then the {\em no-signaling principle} would be violated. While several earlier works have attempted extending many results on distinguishable particles to indistinguishable ones, and vice versa, the above two no-go results establish a nontrivial separation between the two domains. Finally, we propose an efficient entanglement swapping using only two indistinguishable particles, whereas a minimum number of either three distinguishable or four indistinguishable particles is necessary for existing protocols.
Topological order and topological entropy in classical systems
Creators: name: Castelnovo, Claudio
name: Chamon, Claudio
name: .
Publisher: name: arXiv
Year: 2006
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We show that the concept of topological order, introduced to describe ordered quantum systems which cannot be classified by broken symmetries, also applies to classical systems. Starting from a specific example, we show how to use pure state density matrices to construct corresponding thermally mixed ones that retain precisely half the original topological entropy, a result that we generalize to a whole class of quantum systems. Finally, we suggest that topological order and topological entropy may be useful in characterizing classical glassy systems.
description: (5 pages, 1 figure) v2: minor changes
Testing the anarchy tenet : an empirical analysis of the anarchy-cooperation and anarchy-conflict relationships
Creators: name: Wong, Kelvin Richard
Publisher: name: University of British Columbia
Year: 2009

description: This research tests the validity and accuracy of the hypothesis which asserts that changes in levels of anarchy are positively associated with changes in levels of conflict and negatively associated with changes on cooperation. A model of anarchy as a variable is constructed with neorealist assumptions about the character of states and environment in which they exist. The model utilizes two variables, the similarity of states' ends and the similarity of states' means, to construct a variable which measures anarchy. The synthesis of these two variables yields the anarchy variable. After developing the theoretical framework which justifies the use of the similarity of ends and the similarity of means as measures for anarchy, anarchy's relationship to cooperation and conflict is tested. The hypothesis is tested with parallel analyses of data from the Behavioral Correlates of War and International Crisis Behavior data sets. Using nonparametric tests of significance and association, the research concludes that the test hypothesis is not accurate and must be rejected. Results show that hypothesized cooperation and conflict relationships to anarchy are not valid or accurate, and that different types of cooperation and conflict have different relationships to anarchy. These results provide empirical results which undermine neorealist assertions about anarchy and its consequences, as well as theories of inter-state cooperation whose foundation is built on the idea that an erosion of anarchy will increase inter-state cooperation. Aside from the empirical analyses and results, an important feature of the research is the development of anarchy as a measurable empirical variable.
Deriving Theorems in Implicational Linear Logic, Declaratively
Creators: name: Tarau, Paul
name: de Paiva, Valeria
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for linearity the proof terms associated by our Prolog-based theorem prover for Implicational Intuitionistic Logic. This works, but using for each formula a PSPACE-complete algorithm limits it to very small formulas. We take a few walks back and forth over the bridge between proof terms and theorems, provided by the Curry-Howard isomorphism, and derive step-by-step an efficient algorithm requiring a low polynomial effort per generated theorem. The resulting Prolog program runs in O(N) space for terms of size N and generates in a few hours 7,566,084,686 theorems in the implicational fragment of Linear Intuitionistic Logic together with their proof terms in normal form. As applications, we generate datasets for correctness and scalability testing of linear logic theorem provers and training data for neural networks working on theorem proving challenges. The results in the paper, organized as a literate Prolog program, are fully replicable. Keywords: combinatorial generation of provable formulas of a given size, intuitionistic and linear logic theorem provers, theorems of the implicational fragment of propositional linear intuitionistic logic, Curry-Howard isomorphism, efficient generation of linear lambda terms in normal form, Prolog programs for lambda term generation and theorem proving.
description: In Proceedings ICLP 2020, arXiv:2009.09158
Non-perturbative calculations for the effective potential of the $PT$ symmetric and non-Hermitian $(-gϕ^{4})$ field theoretic model
Creators: name: Shalaby, Abouzeid M.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the effective potential of the $PT$ symmetric $(-gϕ^{4}) $ field theory, perturbatively as well as non-perturbatively. For the perturbative calculations, we first use normal ordering to obtain the first order effective potential from which the predicted vacuum condensate vanishes exponentially as $G\to G^+$ in agreement with previous calculations. For the higher orders, we employed the invariance of the bare parameters under the change of the mass scale $t$ to fix the transformed form totally equivalent to the original theory. The form so obtained up to $G^3$ is new and shows that all the 1PI amplitudes are perurbative for both $G\ll 1$ and $G\gg 1$ regions. For the intermediate region, we modified the fractal self-similar resummation method to have a unique resummation formula for all $G$ values. This unique formula is necessary because the effective potential is the generating functional for all the 1PI amplitudes which can be obtained via $\partial^n E/\partial b^n$ and thus we can obtain an analytic calculation for the 1PI amplitudes. Again, the resummed from of the effective potential is new and interpolates the effective potential between the perturbative regions. Moreover, the resummed effective potential agrees in spirit of previous calculation concerning bound states.
description: 20 pages
Simulation-based Testing for Early Safety-Validation of Robot Systems
Creators: name: Huck, Tom P.
name: Ledermann, Christoph
name: Kröger, Torsten
Publisher: name: arXiv
Year: 2020
Subjects: subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Industrial human-robot collaborative systems must be validated thoroughly with regard to safety. The sooner potential hazards for workers can be exposed, the less costly is the implementation of necessary changes. Due to the complexity of robot systems, safety flaws often stay hidden, especially at early design stages, when a physical implementation is not yet available for testing. Simulation-based testing is a possible way to identify hazards in an early stage. However, creating simulation conditions in which hazards become observable can be difficult. Brute-force or Monte-Carlo-approaches are often not viable for hazard identification, due to large search spaces. This work addresses this problem by using a human model and an optimization algorithm to generate high-risk human behavior in simulation, thereby exposing potential hazards. A proof of concept is shown in an application example where the method is used to find hazards in an industrial robot cell.
A System for Explainable Answer Set Programming
Creators: name: Cabalar, Pedro
name: Fandinno, Jorge
name: Muñiz, Brais
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences
subject: D.1.6; I.2.3; B.1.3

description: We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of xclingo is a markup language written as ASP comment lines, so the programs annotated in this way can still be accepted by a standard ASP solver. xclingo translates the annotations into additional predicates and rules and uses the ASP solver clingo to obtain the extension of those auxiliary predicates. This information is used afterwards to construct derivation trees containing textual explanations. The language allows selecting which atoms to explain and, in its turn, which atoms or rules to include in those explanations. We illustrate the basic features through a diagnosis problem from the literature.
description: In Proceedings ICLP 2020, arXiv:2009.09158
A Systematic Study of Frame Sequence Operators and their Pseudoinverses
Creators: name: Balazs, P.
name: El-Gebeily, M. A.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Functional Analysis (math.FA)
subject: Operator Algebras (math.OA)
subject: FOS: Mathematics
subject: 41A58, 47A05, 46B15

description: In this note we investigate the operators associated with frame sequences in a Hilbert space $H$, i.e., the synthesis operator $T:\ell ^{2}(\mathbb{N}) \to H$, the analysis operator $T^{\ast}:H\to $ $% \ell ^{2}(\mathbb{N}) $ and the associated frame operator $S=TT^{\ast}$ as operators defined on (or to) the whole space rather than on subspaces. Furthermore, the projection $P$ onto the range of $T$, the projection $Q$ onto the range of $T^{\ast}$ and the Gram matrix $G=T^{\ast}T$ are investigated. For all these operators, we investigate their pseudoinverses, how they interact with each other, as well as possible classification of frame sequences with them. For a tight frame sequence, we show that some of these operators are connected in a simple way.
description: 11 pages
Elicitation of the Questionnaire on Information Structure
Creators: name: Parker, Verdena
name: Newbold, Lindsey
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2022
Subjects: subject: hup

description: Audio file VP-070412-03: Elicitation based on the Questionnaire on Information Structure (QUIS), starting with condition A on page 171 using sentences previously recorded in file VP-161011-06. Reference: Skopeteas, Stavros et al. 2006. Questionnaire on Information Structure. Interdisciplinary Studies on Information Structure, Volume 4. Potsdam: Universitätsverlag Potsdam.
Junction conditions in infinite derivative gravity
Creators: name: Kolář, Ivan
name: Torralba, Francisco José Maldonado
name: Mazumdar, Anupam
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The junction conditions for the infinite derivative gravity theory ${R{+}RF(\Box)R}$ are derived under the assumption that the conditions can be imposed by avoiding the `ill-defined expressions' in the theory of distributions term by term in infinite summations. We find that the junction conditions of such non-local theories are much more restrictive than in local theories, since the conditions comprise an infinite number of equations for the Ricci scalar. These conditions can constrain the geometry far beyond the matching hypersurface. Furthermore, we derive the junction field equations which are satisfied by the energy-momentum on the hypersurface. It turns out that the theory still allows some matter content on the hypersurface (without external flux and external tension), but with a traceless energy-momentum tensor. We also discuss the proper matching condition where no matter is concentrated on the hypersurface. Finally, we explore the possible applications and consequences of our results to the braneworld scenarios and star models. Particularly, we find that the internal tension is given purely by the trace of the energy-momentum tensor of the matter confined to the brane. Consequences of the junction conditions are illustrated on two simple examples of static and collapsing stars. It is demonstrated that even without solving the field equations the geometry on one side of the hypersurface can be determined to a great extent by the geometry on the other side if the Ricci scalar is analytic. We further show that some usual star models in the general relativity are no longer solutions of the infinite derivative gravity.
description: 18 pages, 2 figures
Tabling Optimization for Contextual Abduction
Creators: name: Dewoprabowo, Ridhwan
name: Saptawijaya, Ari
Publisher: name: arXiv
Year: 2020
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Tabling for contextual abduction in logic programming has been introduced as a means to store previously obtained abductive solutions in one context to be reused in another context. This paper identifies a number of issues in the existing implementations of tabling in contextual abduction and aims to mitigate the issues. We propose a new program transformation for integrity constraints to deal with their proper application for filtering solutions while also reducing the table memory usage. We further optimize the table memory usage by selectively picking predicates to table and by pragmatically simplifying the representation of the problem. The evaluation of our proposed approach, on both artificial and real world problems, shows that they improve the scalability of tabled abduction compared to previous implementations.
description: In Proceedings ICLP 2020, arXiv:2009.09158
Polynomial solutions of the Knizhnik-Zamolodchikov equations and Schur-Weyl duality
Creators: name: Felder, Giovanni
name: Veselov, Alexander P.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Representation Theory (math.RT)
subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics
subject: 05E10; 33C70

description: An integral formula for the solutions of Knizhnik-Zamolodchikov (KZ) equation with values in an arbitrary irreducible representation of the symmetric group S_N is presented for integer values of the parameter. The corresponding integrals can be computed effectively as certain iterated residues determined by a given Young diagram and give polynomials with integer coefficients. The derivation is based on Schur-Weyl duality and the results of Matsuo on the original SU(n) KZ equation. The duality between the spaces of solutions with parameters m and -m is discussed in relation with the intersection pairing in the corresponding homology groups.
description: 14 pages, reference added
Origin of the UV to X-ray emission of radio galaxy NGC 1275 explored by analyzing its variability
Creators: name: Imazato, Fumiya
name: Fukazawa, Yasushi
name: Sasada, Mahito
name: Sakamoto, Takanori
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We analyze the ultraviolet (UV) and X-ray data of NGC 1275 obtained with {\it Swift}/UVOT, XRT, BAT and {\it Fermi} Large Area Telescope over about 10 years to investigate the origin of the nuclear emission from NGC 1275. We confirm that the UV and soft/hard X-ray fluxes gradually increased along with the GeV gamma rays. At times, short-term variations in the UV or soft X-ray spectral regions showed rapid variations correlated with the GeV gamma-rays. However there was no significant correlation between the UV and soft X-rays. The UV spectrum had a narrow spectral shape that could be represented by single-temperature blackbody radiation. These results could possibly indicate that the long-term variability of UV and X-ray emissions is caused by the jet, while the emissions from the accretion disk contribute to the UV and X-ray bands to some extent.
description: 38 pages, 14 figures. Accepted in ApJ
Ecological classification of the amphibian and reptilian fauna in the City of Plovdiv
Creators: name: Mollov, Ivelin
name: Velcheva, Iliana
Publisher: name: F1000Research
Year: 2015

description: The current study attempts to classify the amphibian and reptilian fauna in urban environment, characterized by: ecological plasticity and habitat preferences; temperature regime; humidity and level of synanthropy. Totally seven amphibian species (Bufo bufo, Bufo viridis, Hyla arborea, Pelobates syriacus, Rana dalmatina and Pelophylax ridibundus) and eight species of reptiles (Mediodactylus kotschyi, Lacerta virdis, Lacerta trilineata, Podarcis tauricus, Emys orbicularis, Natrix natrix, N. tessellsta and Dolichophis caspius) are analyzed and classified in ecological groups according to the above mentioned characteristics.
Discussion of dogs and hearing aids
Creators: name: Parker, Verdena
name: Escamilla, Ramón
name: Newbold, Lindsey
name: Spence, Justin
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2022
Subjects: subject: hup

description: Audio file VP-070412-02b: Discussion of dogs that have been living on Verdena's property, followed by discussion of hearing aids, in English.
Burden of Persuasion in Argumentation
Creators: name: Calegari, Roberta
name: Sartor, Giovanni
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.1.6; I.2.3; I.2.5

description: This paper provides a formal model for the burden of persuasion in dialogues, and in particular, in legal proceedings. The model shows how an allocation of the burden of persuasion may induce single outcomes in dialectical contexts in which, without such an allocation, the status of conflicting arguments would remain undecided. Our approach is based on a two-stage labelling. The first-stage labelling determines what arguments are accepted, rejected or undecided, regardless of the allocation of burden. The second-stage labelling revises the dialectical status of first-stage undecided arguments, according to burdens of persuasion. The labelling is finally extended in such a way as to obtain a complete labelling. Our model combines two ideas that have emerged in the debate on the burden of persuasion: the idea that the burden of persuasion determines the solution of conflicts between arguments, and the idea that its satisfaction depends on the dialectical status of the arguments concerned. Our approach also addresses inversions of the burden of persuasion, namely, cases in which the burden of persuasion over an argument does not extend to its subarguments.
description: In Proceedings ICLP 2020, arXiv:2009.09158
Visible and Near-Infrared Spectrophotometry of the Deep Impact Ejecta of Comet 9P/Tempel 1
Creators: name: Hodapp, Klaus W.
name: Aldering, Greg
name: Meech, Karen J.
name: Cochran, Anita L.
name: Antilogus, Pierre
name: Pecontal, Emmanuel
name: Chickering, William
name: Blanc, Nathalie
name: Copin, Yannick
name: Lynch, David K.
name: Rudy, Richard J.
name: Mazuk, S.
name: Venturini, Catherine C.
name: Puetter, Richard C.
name: Perry, Raleigh B.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have obtained optical spectrophotometry of the evolution of comet 9P/Tempel 1 after the impact of the Deep Impact probe, using the Supernova Integral Field Spectrograph (SNIFS) at the UH 2.2m telescope, as well as simultaneous optical and infrared spectra using the Lick Visible-to-Near-Infrared Imaging Spectrograph (VNIRIS) spectrograph. The spatial distribution and temporal evolution of the "violet band" CN (0-0) emission and of the 630 nm [OI] emission was studied. We found that CN emission centered on the nucleus increased in the two hours after impact, but that this CN emission was delayed compared to the light curve of dust-scattered sunlight. The CN emission also expanded faster than the cloud of scattering dust. The emission of [OI] at 630 nm rose similarly to the scattered light, but then remained nearly constant for several hours after impact. On the day following the impact, both CN and [OI] emission concentrated on the comet nucleus had returned nearly to pre-impact levels. We have also searched for differences in the scattering properties of the dust ejected by the impact compared to the dust released under normal conditions. Compared to the pre-impact state of the comet, we find evidence that the color of the comet was slightly bluer during the post-impact rise in brightness. Long after the impact, in the following nights, the comet colors returned to their pre-impact values. This can be explained by postulating a change to a smaller particle size distribution in the ejecta cloud, in agreement with the findings from mid-infrared observatons, or by postulating a large fraction of clean ice particles, or by a combination of these two.
description: 28 pages of text and 8 figures. Paper is accepted for publication in Icarus
New Physics Constraints from Atomic Parity Violation in $^{133}$Cs
Creators: name: Sahoo, B. K.
name: Das, B. P.
name: Spiesberger, H.
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Our improved calculation of the nuclear spin-independent parity violating electric dipole transition amplitude ($E1_{PV}$) for $6s ~ ^2S_{1/2} - 7s ~ ^2S_{1/2}$ in $^{133}$Cs in combination with the most accurate (0.3\%) measurement of this quantity yields a new value for the nuclear weak charge $Q_W=-73.71(26)_{ex} (23)_{th}$ against the Standard Model (SM) prediction $Q_W^{\text{SM}}=-73.23(1)$. The advances in our calculation of $E1_{PV}$ have been achieved by using a variant of the perturbed relativistic coupled-cluster theory which treats the contributions of the core, valence and excited states to $E1_{PV}$ on the same footing unlike the previous high precision calculations. Furthermore, this approach resolves the controversy regarding the sign of the core correlation effects. We discuss the implications of the deviation of our result for $Q_W$ from the SM value by considering different scenarios of new physics.
description: 6 pages, 3 tables
AdS/CFT Correspondence and Strong Interactions
Creators: name: Boschi-Filho, Henrique
name: Braga, Nelson R. F.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: The AdS/CFT correspondence is an exact duality between string theory in anti-de Sitter space and conformal field theories on its boundary. Inspired in this correspondence some relations between strings and non conformal field theories have been found. Exact dualities in the non conformal case are intricate but approximations can reproduce important physical results. A simple approximation consists in taking just a slice of the AdS space with a size that can be related to the QCD energy scale. Here we will discuss how this approach can be used to obtain the scaling of high energy QCD scattering amplitudes, glueball masses and Regge trajectories, and the potential energy for a quark anti-quark pair. This set up is modified to include finite temperature effects and obtain a deconfining phase trasition.
description: 8 pages. Talk presented at the Fifth International Conference on Mathematical Methods in Physics, 24 - 28, April 2006, Rio de Janeiro, Brazil. To appear in the proceedings at http://pos.sissa.it/
Determination of the $ΔS = 1$ weak Hamiltonian in the SU(4) chiral limit through topological zero-mode wave functions
Creators: name: Hernandez, P.
name: Laine, M.
name: Pena, C.
name: Torro, E.
name: Wennekers, J.
name: Wittig, H.
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A new method to determine the low-energy couplings of the $ΔS=1$ weak Hamiltonian is presented. It relies on a matching of the topological poles in $1/m^2$ of three-point correlators of two pseudoscalar densities and a four-fermion operator, measured in lattice QCD, to the same observables computed in the $ε$-regime of chiral perturbation theory. We test this method in a theory with a light charm quark, i.e. with an SU(4) flavour symmetry. Quenched numerical measurements are performed in a 2 fm box, and chiral perturbation theory predictions are worked out up to next-to-leading order. The matching of the two sides allows to determine the weak low-energy couplings in the SU(4) limit. We compare the results with a previous determination, based on three-point correlators containing two left-handed currents, and discuss the merits and drawbacks of the two procedures.
description: 38 pages, 9 figures
A genre for our times: the Menippean satires of Russell Hoban and Murakami Haruki
Creators: name: Fisher, Susan Rosa
Publisher: name: University of British Columbia
Year: 2009

description: The thesis examines the novels of Anglo-American author Russell Hoban (1923-) and Japanese author Murakami Haruki [Chinese characters] (1949-) as Menippean satires. The Introduction defines the Menippean satire and considers possible sources for this genre as found in the works of Hoban and Murakami. Parts I and II examine several novels by Hoban and by Murakami respectively, demonstrating how their works conform to the conventions of the Menippean satire. In examining Murakami's fiction, Part II also considers possible antecedents in Japanese literature for tropes and topoi that appear Menippean in the light of Western genre theory; there is a special emphasis on Murakami's most recent work, [Chinese characters] Nejimakidori kuronikuru (1994-6, The Wind-up Bird Chronicles). The Conclusion examines why these two authors write Menippean satires. No claim is made that either author has chosen this genre in deliberate imitation of classical or Renaissance models. Rather, from the standpoint of cultural history, the thesis argues that the Menippean satire—or at least a form of postmodernist novel with notable affinities to the Menippean satire—has re-emerged as a genre for our times. Drawing on examples from the fiction of Murakami and Hoban, the conclusion demonstrates that central features of this genre—fantasy, crudity, philosophical dialogues, inserted genres, invented languages, and the descent into hell—are particularly appropriate for the fictional treatment of life in a postmodern world. Moreover, these features are serviceable not only in a Western context. Murakami Haruki, despite his Japanese cultural background and his avowed intention to write about Japan, relies on many of the same generic strategies as does Russell Hoban.
A computational tool for trend analysis and forecast of the COVID-19 pandemic
Creators: name: Paiva, Henrique Mohallem
name: Afonso, Rubens Junqueira Magalhaes
name: Caldeira, Fabiana Mara Scarpelli de Lima Alvarenga
name: Velasquez, Ester de Andrade
Publisher: name: arXiv
Year: 2020
Subjects: subject: Physics and Society (physics.soc-ph)
subject: Populations and Evolution (q-bio.PE)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Purpose: This paper proposes a methodology and a computational tool to study the COVID-19 pandemic throughout the world and to perform a trend analysis to assess its local dynamics. Methods: Mathematical functions are employed to describe the number of cases and demises in each region and to predict their final numbers, as well as the dates of maximum daily occurrences and the local stabilization date. The model parameters are calibrated using a computational methodology for numerical optimization. Trend analyses are run, allowing to assess the effects of public policies. Easy to interpret metrics over the quality of the fitted curves are provided. Country-wise data from the European Centre for Disease Prevention and Control (ECDC) concerning the daily number of cases and demises around the world are used, as well as detailed data from Johns Hopkins University and from the Brasil.io project describing individually the occurrences in United States counties and in Brazilian states and cities, respectively. U. S. and Brazil were chosen for a more detailed analysis because they are the current foci of the pandemic. Results: Illustrative results for different countries, U. S. counties and Brazilian states and cities are presented and discussed. Conclusion: The main contributions of this work lie in (i) a straightforward model of the curves to represent the data, which allows automation of the process without requiring interventions from experts; (ii) an innovative approach for trend analysis, whose results provide important information to support authorities in their decision-making process; and (iii) the developed computational tool, which is freely available and allows the user to quickly update the COVID-19 analyses and forecasts for any country, United States county or Brazilian state or city present in the periodic reports from the authorities.
description: 31 pages, 12 figures
A phonology of mbaham : reduction & contrast
Creators: name: Cottet, Fanny
Publisher: name: The Australian National University
Year: 2015

description: Mbaham is a non-Austronesian language spoken by approximately one thousand people, living in several villages in the Onin region of the Bomberai peninsula in West Papua, Indonesia. Mbaham and two related languages, Iha and Karas, are classified as West Bomberai languages of the Trans-New Guinea family (Ross 2005; Lewis, Simons & Fennig 2014). This thesis examines Mbaham phonology focusing on the language-internal conflict between effort reduction, on one hand, and distinctiveness on the other. These two forces have been shown to play a significant role in shaping phonological inventories and motivating phonological processes cross-linguistically (e.g. Lindblom 1983; 1990; Maddieson 2010; Kirchner 1998; 2001; Flemming 2004; Hayes, Kirchner & Steriade 2004). In the present dissertation, several topics are discussed in relation to this problematic, including vowel reduction, consonant lenition, assibilation, prenasalization and stop contrasts. The phonological analysis is supported by acoustic studies and articulatory observations. In Mbaham, some consonants and vowels are more reduced than others, depending on word position and stress placement. Immediately pretonic vowels are phonologically and phonetically reduced compared to stressed and post-tonic vowels. Non-initial consonants are lenited intervocalically and the inventory of word final obstruents is smaller than in the word initial position. Effort minimization in the production of consonants affects both oral and laryngeal gestures. Distinctiveness is enhanced for segments in strong positions, i.e. in stressed or word initial syllables; whereas gesture economy dominates in weaker positions. This study shows that there are language-specific rules that determine what phonetic principles are important for the phonology. It also finds that additional principles, such as feature economy, play a role in the language. By addressing several issues of Mbaham phonology, this analysis contributes to research on phonological typology that has often overlooked New Guinea languages and languages of the Pacific, representing almost 20% of the world's linguistic diversity (Foley 2000; Lewis et al. 2014). It is one of the few linguistic descriptions that propose a detailed phonological account of a non-Austronesian language of New Guinea, including the description of patterns typically found in other languages of the region, like prenasalization and dental discrepancy. It is also one of the few descriptions that present this level of phonetic details in support of the phonological analysis, for a language in this area. Finally, this study presents data collected with Mbaham informants during fieldwork in the Onin region. This new material will serve further descriptive and diachronic work on the under-studied West Bomberai language family.
Continuous Reasoning for Managing Next-Gen Distributed Applications
Creators: name: Forti, Stefano
name: Brogi, Antonio
Publisher: name: arXiv
Year: 2020
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: C.2.4; D.2.9

description: Continuous reasoning has proven effective in incrementally analysing changes in application codebases within Continuous Integration/Continuous Deployment (CI/CD) software release pipelines. In this article, we present a novel declarative continuous reasoning approach to support the management of multi-service applications over the Cloud-IoT continuum, in particular when infrastructure variations impede meeting application's hardware, software, IoT or network QoS requirements. We show how such an approach brings considerable speed-ups compared to non-incremental reasoning.
description: In Proceedings ICLP 2020, arXiv:2009.09158
AGN Heating of Cooling Flow Clusters: Problems with 3D Hydrodynamic Models
Creators: name: Vernaleo, John C.
name: Reynolds, Christopher S.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We have performed a set of high resolution, three dimensional simulations of a jetted AGN embedded in a relaxed cooling cluster. To the best of our knowledge, these are the first simulation to include both full jet dynamics and a feedback model. These ideal hydrodynamic simulations show that, although there is enough energy present to offset cooling on average, the jet heating is not spatially deposited in a way that can prevent catastrophic cooling of the cluster.
description: 3 pages. To appear in the Proceedings of "Heating vs. Cooling in Galaxies and Clusters of Galaxies", August 2006 - Garching, Germany