cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Stochastic Games with Disjunctions of Multiple Objectives
Creators: name: Winkler, Tobias
name: Weininger, Maximilian
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences

description: Stochastic games combine controllable and adversarial non-determinism with stochastic behavior and are a common tool in control, verification and synthesis of reactive systems facing uncertainty. Multi-objective stochastic games are natural in situations where several - possibly conflicting - performance criteria like time and energy consumption are relevant. Such conjunctive combinations are the most studied multi-objective setting in the literature. In this paper, we consider the dual disjunctive problem. More concretely, we study turn-based stochastic two-player games on graphs where the winning condition is to guarantee at least one reachability or safety objective from a given set of alternatives. We present a fine-grained overview of strategy and computational complexity of such disjunctive queries (DQs) and provide new lower and upper bounds for several variants of the problem, significantly extending previous works. We also propose a novel value iteration-style algorithm for approximating the set of Pareto optimal thresholds for a given DQ.
description: In Proceedings GandALF 2021, arXiv:2109.07798. arXiv admin note: substantial text overlap with arXiv:2108.04604
A matrix-valued point interactions model
Creators: name: Boumaza, Hakim
Publisher: name: arXiv
Year: 2008
Subjects: subject: Mathematical Physics (math-ph)
subject: Spectral Theory (math.SP)
subject: FOS: Physical sciences
subject: FOS: Mathematics
subject: 47B80; 37H15

description: We study a matrix-valued Schrödinger operator with random point interactions. We prove the absence of absolutely continuous spectrum for this operator by proving that away from a discrete set its Lyapunov exponents do not vanish. For this we use a criterion by Gol'dsheid and Margulis and we prove the Zariski denseness, in the symplectic group, of the group generated by the transfer matrices. Then we prove estimates on the transfer matrices which lead to the Hölder continuity of the Lyapunov exponents. After proving the existence of the integrated density of states of the operator, we also prove its Hölder continuity by proving a Thouless formula which links the integrated density of states to the sum of the positive Lyapunov exponents.
A history of Chʻeng-Han
Creators: name: Kleeman, Terry F.
Publisher: name: University of British Columbia
Year: 2010

description: This thesis centers on a family surnamed Li in the first half of the fourth century. The Lis were originally inhabitants of the eastern Szechwan region and belonged to the Indigenous non-Chinese grouping of that area, the Pa people, also referred to as the Lin Chun Man. They moved to the Shensi area around the beginning of the third century and returned to Szechwan a century later in a large group of migrants fleeing internal disorders and famine. In Szechwan they came into conflict with the local officials representing the Chin dynasty and eventually established an independent state there which existed from 306 to 347. The state was known first as Ch'eng and then, after 338, as Han. My thesis consists of introductory material followed by an annotated translation. In the introduction I first present a general overview of the history of the period and Ch'eng-Han's place in it. I then go on to discuss several aspects of the history of the state. First the Pa people and their origin myth centering on Lin Chun is discussed, then an investigation is made of the various sources for the history of Ch'eng-Han. It is determined that the primary surces are the works of Ch'ang Ch'ü, the Hua-yang kuo-chih and the Shu Li Shu, and that this Shu Li Shu or a section of the Shih-Liu kuo ch'un-ch'iu based upon it is the ultimate source of the Chin Shu account. Next the scale and historical import of the migrations of the period are considered and finally the relation of the Li family to religious Taoism, particularly with regard to Fan Ch'ang-sheng, is dealt with. This is followed by the translation. It is a conflation of a basic text, Chin Shu 120 and 121, with chapters 8 and 9 of the Hua-yang kuo-chih as well as occasional passages from other portions of these two works and the Wei Shu and the Shih-liu kuo ch'un-ch'iu, the last work being preserved only in quotations in later encyclopedia. My purpose in making this translation has been to present as complete as possible a record of the events important in the history of the Ch'eng-Han state.
L'accompagnement des chercheurs aux données à l'Université de Lorraine, une affaire d'équipe
Creators: name: Bracco, Laetitia
Publisher: name: Zenodo
Year: 2021
Subjects: données de la recherche
DMP
PGD
plan de gestion des données
data management plan

description: L’Université de Lorraine s’est dotée d’un comité opérationnel des données de la recherche commun à plusieurs directions (documentation, numérique, recherche…) qui accompagne les chercheurs sur tous les aspects liés aux données. La formation au PGD en est un axe principal. Cette présentation a été réalisée lors d'une visioconférence du mardi 26 janvier 2021 consacrée à la sensibilisation au plan de gestion des données et organisée par le GTSO Données de Couperin : https://visiodata3.sciencesconf.org/
Nonlinear density response from imaginary-time correlation functions: Ab initio path integral Monte Carlo simulations of the warm dense electron gas
Creators: name: Dornheim, Tobias
name: Moldabekov, Zhandos A.
name: Vorberger, Jan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Computational Physics (physics.comp-ph)
subject: FOS: Physical sciences

description: The \emph{ab initio} path integral Monte Carlo (PIMC) approach is one of the most successful methods in quantum many-body theory. A particular strength of this method is its straightforward access to imaginary-time correlation functions (ITCF). For example, the well-known density-density ITCF $F(\mathbf{q},τ)$ allows one to estimate the linear response of a given system for all wave vectors $\mathbf{q}$ from a single simulation of the unperturbed system. Moreover, it constitutes the basis for the reconstruction of the dynamic structure factor $S(\mathbf{q},ω)$ -- a key quantity in state-of-the-art scattering experiments. In this work, we present analogous relations between the nonlinear density response in quadratic and cubic order of the perturbation strength and generalized ITCFs measuring correlations between up to four imaginary-time arguments. As a practical demonstration of our new approach, we carry out simulations of the warm dense electron gas and find excellent agreement with previous PIMC results that had been obtained with substantially larger computational effort. In addition, we give a relation between a cubic ITCF and the triple dynamic structure factor $S(\mathbf{q}_1,ω_1;\mathbf{q}_2,ω_2)$, which evokes the enticing possibility to study dynamic three-body effects on an \emph{ab initio} level.
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (184)]
Creators: name: Nicolinus De Franchis
name: Pedianus De Franchis
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1382
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Die Brüder Nicolinus und Pedianus de Franchis, Söhne des verstorbenen Zohaninus, wohnhaft in Pessina [Cremonese], verkaufen dem Alarius de Carenzonibus, Sohn des verstorbenen Magisters Ambrosius, aus der Nachbarschaft von St. Johannis novi [in Cremona] ein Stück Land, gelegen bei Cremona in einer Gegend, genannt ad fedum. Es schließt sich ein weiterer Rechtsakt an, in dem Alarius den Brüdern das oben genannte Stück Land für einen Zeitraum von sechs Jahren verpachtet.
Anomalous Spin Response in Non-centrosymmetric Compounds
Creators: name: Takimoto, Tetsuya
Publisher: name: arXiv
Year: 2008
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: We examine static spin susceptibilities $χ_{αβ}({\bf q})$ of spin components $S_α$ and $S_β$ in the non-centrosymmetric tetragonal system. These show anomalous momentum dependences like $χ_{xx}({\bf q})-χ_{yy}({\bf q})\sim q_x^2-q_y^2$ and $χ_{xy}({\bf q})+χ_{yx}({\bf q})\sim q_x q_y$, which vanish in centrosymmetric systems. The magnitudes of the anomalous spin susceptibilities are enhanced by the on-site Coulomb interaction, especially, around an ordering wave vector. The significant and anomalous momentum dependences of these susceptibilities are explained by a group theoretical analysis. As the direct probe of the anomalous spin susceptibility, we propose a polarized neutron scattering experiment.
description: 4 pages, 1 table, 4 figures
The Optimal Way to Play the Most Difficult Repeated Coordination Games
Creators: name: Kuusisto, Antti
name: Rönnholm, Raine
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: G.2.0; G.2.2; I.2.11; F.2.2

description: This paper investigates repeated win-lose coordination games (WLC-games). We analyse which protocols are optimal for these games, covering both the worst case and average case scenarios, i,e., optimizing the guaranteed and expected coordination times. We begin by analysing Choice Matching Games (CM-games) which are a simple yet fundamental type of WLC-games, where the goal of the players is to pick the same choice from a finite set of initially indistinguishable choices. We give a fully complete classification of optimal expected and guaranteed coordination times in two-player CM-games and show that the corresponding optimal protocols are unique in every case - except in the CM-game with four choices, which we analyse separately. Our results on CM-games are essential for proving a more general result on the difficulty of all WLC-games: we provide a complete analysis of least upper bounds for optimal expected coordination times in all two-player WLC-games as a function of game size. We also show that CM-games can be seen as the most difficult games among all two-player WLC-games, as they turn out to have the greatest optimal expected coordination times.
description: In Proceedings GandALF 2021, arXiv:2109.07798. A preprint with full proofs and further examples can be found at arXiv:2004.07381v1
Transmission phase evolution in fully screened and overscreened Kondo impurities
Creators: name: Karki, D. B.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study the coherent properties of fully screened and overscreened Kondo effects based on the Nozieres local Fermi-liquid theory and Affleck-Ludwig boundary conformal-field-theory approach, respectively. Coherent transports through an SU($N)$ generalization of fully screened and the multi-$\mathcal{K}$-channel overscreened Kondo impurities at and beyond the particle-hole (PH) symmetric point are thoroughly investigated. We report distinctive Fermi-liquid coefficients characterizing the finite temperature correction to the transmission phase shift and normalized visibility in fully screened Kondo regime, which can be measured with the existing experimental setups. Our work equally uncovers the significance of temperature correction to the transmission phase shift and visibility in non Fermi-liquid regime associated with the PH asymmetric overscreened Kondo effects with an arbitrary number of conduction channels $\mathcal{K}$. We propose viable roots of verifying our predictions in connection to the recent experiments, in particular with the experiments studying highly symmetric forms of fully screened Kondo effects and two-channel overscreened Kondo effects realized in quantum dot nano-structures.
Experiences without for-me-ness? Reconsidering alleged counter examples from psychopathology and psychedelics
Creators: name: Henriksen, Mads Gram
name: Parnas, Josef
Publisher: name: Thaumàzein | Rivista di Filosofia
Year: 2020
Subjects: Minimal Self; For-me-ness; Schizophrenia; Thought Insertion; Psychedelics; Consciousness

description: In contemporary consciousness studies, a central question concerns the nature of the most primitive and fundamental features of phenomenal consciousness. Some authors (e.g., Zahavi) have argued that for-me-ness (or minimal selfhood) is a fundamental and necessary feature of phenomenal consciousness. The concept of for-me-ness articulates that experiences are first-personally manifest, i.e. they are always given to the subject of experience in a way in which they are not given to anybody else. Several authors have challenged this claim by presenting what they take to be counter examples, i.e. experiences, which, in their view, lack for-me-ness, thereby seemingly rebutting the claim that for-me-ness is a necessary feature of phenomenal consciousness. In this study, (i) we present the account of for-me-ness, (ii) present three alleged counter examples that come from the domains of psychopathology and psychedelics, and (iii) critically discuss these examples and eventually refute them all. Thus, we maintain that for-me-ness is a necessary, ineliminable feature of phenomenal consciousness.
description: Thaumàzein | Rivista di Filosofia, Vol 7 (2019): Psychopathology and Philosophy in Relation to the Existence of Human Being Part II
Expressiveness of Extended Bounded Response LTL
Creators: name: Cimatti, Alessandro
name: Geatti, Luca
name: Gigante, Nicola
name: Montanari, Angelo
name: Tonetta, Stefano
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment of Linear Temporal Logic with Past (LTL+P) that has been recently introduced in the context of reactive synthesis. The strength of LTLEBR+P is a fully symbolic compilation of formulas into symbolic deterministic automata. Its syntax is organized in four levels. The first three levels feature (a particular combination of) future temporal modalities, the last one admits only past temporal operators. At the base of such a structuring there are algorithmic motivations: each level corresponds to a step of the algorithm for the automaton construction. The complex syntax of LTLEBR+P made it difficult to precisely characterize its expressive power, and to compare it with other LTL+P safety fragments. In this paper, we first prove that LTLEBR+P is expressively complete with respect to the safety fragment of LTL+P, that is, any safety language definable in LTL+P can be formalized in LTLEBR+P, and vice versa. From this, it follows that LTLEBR+P and Safety-LTL are expressively equivalent. Then, we show that past modalities play an essential role in LTLEBR+P: we prove that the future fragment of LTLEBR+P is strictly less expressive than full LTLEBR+P.
description: In Proceedings GandALF 2021, arXiv:2109.07798
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (185)]
Creators: name: Francischus
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1383
Subjects: subject: Sonstige geistliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Francischus de Buschis, praepositus der Kirche St. Nazarii in Brollio in Mailand, bestätigt, von Baldinus de Mussello, Sohn des verstorbenen Ugollinus und Erbe seines verstorbenen Bruders Andriollus de Mussello, wohnhaft an der porta Ticinese in der parochia St. Eufemiae in Mailand, den Pachtzins für das vergangene Jahr erhalten zu haben.
Shortest path to a segment and quickest visibility queries
Creators: name: Arkin, Esther M
name: Efrat, Alon
name: Knauer, Christian
name: Mitchell, Joseph SB
name: Polishchuk, Valentin
name: Rote, Günter
name: Schlipf, Lena
name: Talvitie, Topi
Publisher: name: Journal of Computational Geometry
Year: 2016

description: We show how to preprocess a polygonal domain with a fixed starting point $s$ in order to answer efficiently the following queries: Given a point $q$, how should one move from $s$ in order to see $q$ as soon as possible? This query resembles the well-known shortest-path-to-a-point query, except that the latter asks for the fastest way to reach $q$, instead of seeing it. Our solution methods include a data structure for a different generalization of shortest-path-to-a-point queries, which may be of independent interest: to report efficiently a shortest path from $s$ to a query segment in the domain.
description: Journal of Computational Geometry, Vol. 7 No. 2 (2016): Special Issue of Selected Papers from SoCG 2015
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (189)]
Creators: name: Visconti, Jacobinus
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1383
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Jacobinus Visconti, Sohn des verstorbenen Maffiollus, wohnhaft an der porta Romana in der parochia St. Johannis Ytollani in Mailand, bestätigt, von Anrigollus Caymus, Sohn des Ubizollus, wohnhaft an der porta Cumana in der parochia St. Thomae in Terramara in Mailand, einen geschuldeten Geldbetrag erhalten zu haben.
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
Creators: name: Bozzelli, Laura
name: Montanari, Angelo
name: Peron, Adriano
name: Sala, Pietro
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the satisfiability problem for HS (the temporal logic of Allen's relations) is highly undecidable over any reasonable class of linear orders. In order to recover decidability, one can restrict the set of temporal modalities and/or the class of models. In the following, we focus on the satisfiability problem for HS fragments under the homogeneity assumption, according to which any proposition letter holds over an interval if only if it holds at all its points. The problem for full HS with homogeneity has been shown to be non-elementarily decidable, but its only known lower bound is EXPSPACE (in fact, EXPSPACE-hardness has been shown for the logic of prefixes and suffixes BE, which is a very small fragment of it. The logic of prefixes and infixes BD has been recently shown to be PSPACE-complete. In this paper, we prove that the addition of the Allen relation Meets to BD makes it EXPSPACE-complete.
description: In Proceedings GandALF 2021, arXiv:2109.07798
Electro-magnetic field fluctuation and its correlation with the participant plane in Au+Au and isobaric collisions at $\sqrt{s_{NN}}=200$ GeV
Creators: name: Alam, Sk Noor
name: Roy, Victor
name: Ahmad, Shakeel
name: Chattopadhyay, Subhasis
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: Intense transient electric ({\bf E}) and magnetic ({\bf B}) fields are produced in the high energy heavy-ion collisions. The electromagnetic fields produced in such high-energy heavy-ion collisions are proposed to give rise to a multitude of exciting phenomenon including the Chiral Magnetic Effect. We use a Monte Carlo (MC) Glauber model to calculate the electric and magnetic fields, more specifically their scalar product $\bf{E}\cdot\bf{B}$, as a function of space-time on an event-by-event basis for the Au+Au collisions at $\sqrt{s_{NN}}=200$ GeV for different centrality classes. We also calculate the same for the isobars Ruthenium and Zirconium at $\sqrt{s_{NN}}=200$ GeV. In the QED sector $\bf{E}\cdot\bf{B}$ acts as a source of Chiral Separation Effect, Chiral Magnetic Wave, etc., which are associated phenomena to the Chiral Magnetic Effect. We also study the relationships between the electromagnetic symmetry plane angle defined by $\bf{E}\cdot\bf{B}$ ($ψ_{E.B}$) and the participant plane angle $ψ_{P}$ defined from the participating nucleons for the second-fifth order harmonics.
A simultaneous explanation of the large phase in B_s-\bar B_s mixing and B --> ππ/ πK puzzles in R-parity violating supersymmetry
Creators: name: Bhattacharyya, Gautam
name: Chatterjee, Kalyan Brata
name: Nandi, Soumitra
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Recent data on $B$ meson mixings and decays are, in general, in accord with the standard model expectations, except showing a few hiccups: (i) a large phase in $B_s$ mixing, (ii) a significant difference ($> 3.5 σ$) between CP-asymmetries in $B^\pm \to π^0 K^\pm$ and $B_d \to π^\mp K^\pm$ channels, and (iii) a larger than expected branching ratio in $B_d \to π^0π^0$ channel. We show that selective baryon number violating Yukawa couplings in R-parity violating supersymmetry can reconcile all the measurements.
description: 8 pages, 4 eps figs; v2: minor errors corrected, fig.2a redrawn with correct y-axis labels, footnote on updated UTfit result on Bs mixing phase added, References and Acknowledgements sections updated
Extended Tidal Tails of IC 4756 detected by {\it Gaia} EDR3
Creators: name: Ye, Xianhao
name: Zhao, Jinkun
name: Zhang, Jiajun
name: Yang, Yong
name: Zhao, Gang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We report the discovery of emerged tidal tails around open cluster IC 4756 ($\sim$ 1 Gyr) based on 644 members identified from {\it Gaia} EDR3. Three-dimensional spatial positions, two-dimensional tangential velocities $\left( x, y, z, κ\cdot μ_α^{*}/\varpi, κ\cdot μ_δ/\varpi \right)$ are utilized to determine the co-moving member candidates of IC 4756. Using a Bayesian method, we correct the distance for each cluster member. Two tidal tails extend up to 180 pc and display a S-shape in $X^{\prime}Y^{\prime}$ space (Cartesian coordinates focused on cluster center). A clean sequence of our members in Color-Absolute-Magnitude Diagram (CAMD) indicates the coeval population and matches perfectly with the PARSEC isochrone with age from Bossini et al. (2019). Mass segregation is detected in this cluster as well. Finally, we derive the tidal radius and core radius of IC 4756 about $12.13$ pc and $4.33 \pm 0.75$ pc, respectively.
description: AJ published version -- https://iopscience.iop.org/article/10.3847/1538-3881/ac1f1f
Filtration and canonical completeness for continuous modal mu-calculi
Creators: name: Rooduijn, Jan
name: Venema, Yde
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.4.1

description: The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By game-theoretic means, we show that this relatively expressive fragment still allows two important techniques of basic modal logic, which notoriously fail for the full modal mu-calculus: filtration and canonical models. In particular, we show that the Filtration Theorem holds for formulas in the language of the continuous modal mu-calculus. As a consequence we obtain the finite model property over a wide range of model classes. Moreover, we show that if a basic modal logic L is canonical and the class of L-frames admits filtration, then the logic obtained by adding continuous fixpoint operators to L is sound and complete with respect to the class of L-frames. This generalises recent results on a strictly weaker fragment of the modal mu-calculus, viz. PDL.
description: In Proceedings GandALF 2021, arXiv:2109.07798
Moduli stabilization and the pattern of sparticle spectra
Creators: name: Choi, Kiwoon
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We discuss the pattern of low energy sparticle spectra which appears in some class of moduli stabilization scenario. In case that light moduli are stabilized by non-perturbative effects encoded in the superpotential and a phenomenologically viable de Sitter vacuum is obtained by a sequestered supersymmetry breaking sector, the anomaly-mediated soft terms become comparable to the moduli-mediated ones, leading to a quite distinctive pattern of low energy spacticle masses dubbed the mirage mediation pattern. We also discuss low energy sparticle masses in more general mixed-mediation scenario which includes a comparable size of gauge mediation in addition to the moduli and anomaly mediations.
description: 6 pages, talk given at SUSY08
Phenomenological Psychopathology of Common Sense and Medicalization Blankenburg and Kimura on Schizophrenia and Depersonalization
Creators: name: Ishihara, Kohji
Publisher: name: Thaumàzein | Rivista di Filosofia
Year: 2020
Subjects: Common Sense; Schizophrenia; Depersonalization; Medicalization; B. Kimura; W. Blankenburg; K. Nishida; I. Kant

description: In the tradition of phenomenological psychopathology, common sense has been focused upon as a key term. Blankenburg characterizes schizophrenia as a lack of common sense that enables an individual to understand a situation and cope with the environment and other people. The Japanese psychopathologist Kimura Bin has adapted the common sense approach to depersonalization, drawing on Blankenburg’s theory and Nishida Kitaro’s concept of “active intuition”. Phenomenological psychopathology of common sense theory risks medicalizing common sense by focusing overly on fundamental phenomena. In this paper, I rethought the achievements and the disadvantage of phenomenological psychopathology of common sense and envision a non-medicalizing common sense theory.
description: Thaumàzein | Rivista di Filosofia, Vol 7 (2019): Psychopathology and Philosophy in Relation to the Existence of Human Being Part II
The politics of language education : a case study of West Malaysia, 1930-1971
Creators: name: Kalimuthu, K. Ramanathan
Publisher: name: University of British Columbia
Year: 2010

description: In July, 1969, the Malaysian Minister of Education announced 'a new education policy' under which English, Chinese and Tamil schools were required to begin the process of conversion to Malay medium instruction in stages, beginning in 1970. This policy to introduce Malay as the medium of instruction took roughly forty years to evolve. The aim of this study is to examine how this was achieved through four phases of politics and government in West Malaysia: (i) The British Colonial Administration, 1930-1941; (ii) The Post-War Colonial Administration, 1945-1954; (iii) The Alliance Government, 1955-1961, and (iv) The Alliance Government, 1962-1971. It was observed in this study that though non-Malay demands for the preservation of their vernacular schools were persistent and consistent they lacked political unity and cohesiveness in successfully pursuing their demands. The Malays, in contrast were initially apathetic towards the language question. They became politicized during the period preceding Independence, however and were able to establish their political supremacy. A consequence of this was that they were able to pursue a communally oriented language policy with great effectiveness so that Malay became established as the medium of instruction. The policy was successfully pursued by a series of Government Ordinances and Acts that were designed to ensure that the provisions of the Constitution with regards to the Malay language were adhered to while permitting flexibility in their implementation. However, it was found that the constitutional contract between the Malays and the non-Malays was an important and integral aspect of the policy making Malay the medium of instruction. Perhaps the most important reason for the successful establishment of the policy lies in the gradualistic and incremental nature in which the policy was implemented.
title: Front Matter, Table of Contents, Preface, Conference Organization
Creators: name: Servedio, Rocco A.
Publisher: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Year: 2018
Subjects: subject: Front Matter
subject: Table of Contents
subject: Preface
subject: Conference Organization

description: Front Matter, Table of Contents, Preface, Conference Organization
description: LIPIcs, Vol. 102, 33rd Computational Complexity Conference (CCC 2018), pages 0:i-0:xi
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (214)]
Creators: name: Giangaleazzo
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1389
Subjects: subject: Sonstige weltliche Aussteller
subject: Urkunde
subject: 090

description: [Gian Galeazzo Visconti,] Herr von Mailand etc., comes virtutum und imperialis vicarius generalis, entscheidet in einem Rechtsstreit um den Antritt des Erbes des Thomasinus de Uimcerate zwischen Thomaxinus de Uernaziis aus Cremona, syndicus und procurator des Konvents der Brüder des Klosters Beati Antonii diocesis Uianensis, auf der einen und der Cipriana, Witwe des Thomasinus, sowie der Brüder Franciscus, Cominus und Stefanus de Arditis auf der anderen Seite zugunsten des Konvents.
Path Integrals for Potential Scattering
Creators: name: Rosenfelder, R.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Nuclear Theory (nucl-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Two path integral representations for the $T$-matrix in nonrelativistic potential scattering are derived and proved to produce the complete Born series when expanded to all orders. They are obtained with the help of "phantom" degrees of freedom which take away explicit phases that diverge for asymptotic times. In addition, energy conservation is enforced by imposing a Faddeev-Popov-like constraint in the velocity path integral. These expressions may be useful for attempts to evaluate the path integral in real time and for alternative multiple scattering expansions. Standard and novel eikonal-type high-energy approximations and systematic expansions immediately follow.
description: 31 pages, 3 figures, Latex;v2: typo in eq. (4.6) corrected, references updated;v3: misprints corrected, small changes in text following referee comments and PR style conventions (except some idiosyncrasies), matches published version + typo correction in eq. (88)
New Algorithms for Combinations of Objectives using Separating Automata
Creators: name: Anand, Ashwani
name: Fijalkow, Nathanaël
name: Goubault-Larrecq, Aliénor
name: Leroux, Jérôme
name: Ohlmann, Pierre
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: The notion of separating automata was introduced by Bojanczyk and Czerwinski for understanding the first quasipolynomial time algorithm for parity games. In this paper we show that separating automata is a powerful tool for constructing algorithms solving games with combinations of objectives. We construct two new algorithms: the first for disjunctions of parity and mean payoff objectives, matching the best known complexity, and the second for disjunctions of mean payoff objectives, improving on the state of the art. In both cases the algorithms are obtained through the construction of small separating automata, using as black boxes the existing constructions for parity objectives and for mean payoff objectives.
description: In Proceedings GandALF 2021, arXiv:2109.07798. arXiv admin note: substantial text overlap with arXiv:2104.05262
Symplectic-dilation mixed wavelet transform and its correspondence in quantum optics
Creators: name: Fan, Hong-yi
name: Liu, Shu-guang
name: Hu, Li-yun
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: The symplectic wavelet transformation [Opt. Lett. 31 (2006) 3432], which is related to quantum optical Fresnel transform, is developed to the symplectic-dilation mixed wavelet transform (SDWT). The SDWT involves both a real-variable dilation-transform and a complex-variable symplectic transform, and possesses well-behaved properties such as Parseval theorem and inversion formula. The entangled-coherent state representation (ESCR) not only underlies the SDWT, but also helps to derive the corresponding quantum transform operator whose counterpart in classical optics is the lens-Fresnel mixed transform [Phys. Lett. A 357 (2006) 163].
description: 5 pages, no figure, review4
Absolute dimensions of eclipsing binaries. XXVI. Setting a new standard: Masses, radii, and abundances for the F-type systems AD Bootis, VZ Hydrae, and WZ Ophiuchi
Creators: name: Clausen, J. V.
name: Torres, G.
name: Bruntt, H.
name: Andersen, J.
name: Nordström, B.
name: Stefanik, R. P.
name: Latham, D. W.
name: Southworth, J.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We determine absolute dimensions and abundances for the three F-type main-sequence detached eclipsing binaries AD Boo, VZ Hya, and WZ Oph and perform a detailed comparison with results from recent stellar evolutionary models. uvby light curves and standard photometry were obtained at ESO,radial velocity observations at CfA facilities, and high-resolution spectra with ESO's FEROS spectrograph. State-of-the-art methods were applied for the analyses. Masses and radii that are precise to 0.5-0.7% and 0.4-0.9%, respectively, have been established for the components, which span the ranges of 1.1 to 1.4 M_sun and 1.1 to 1.6 R_sun. The [Fe/H] abundances are from -0.27 to +0.10, with uncertainties between 0.07 and 0.15 dex. We find indications of a slight alpha-element overabundance of [alpha/Fe] ~ +0.1$ for WZ Oph. The secondary component of AD Boo and both components of WZ Oph appear to be slightly active. Yale-Yonsai and Victoria-Regina evolutionary models fit the components of AD Boo and VZ Hya almost equally well, assuming coeval formation, at ages of about 1.75/1.50 Gyr (AD Boo) and 1.25/1.00 Gyr (VZ Hya). BaSTI models, however, predict somewhat different ages for the primary and secondary components. For WZ Oph, the models from all three grids are significantly hotter than observed. A low He content, decreased envelope convection coupled with surface activity, and/or higher interstellar absorption would remove the discrepancy, but its cause has not been definitively identified. We have demonstrated the power of testing and comparing recent stellar evolutionary models using eclipsing binaries, provided their abundances are known. The strongest limitations and challenges are set by T_eff and interstellar absorption determinations, and by their effects on and correlation with abundance results.
description: Only revision is: Bottom lines (hopefully) not truncated anymore. Accepted for publication in Astronomy and Astrophysics
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Creators: name: Grabolle, Gustav
Publisher: name: arXiv
Year: 2021
Subjects: subject: Formal Languages and Automata Theory (cs.FL)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: In this paper, we give a Nivat-like characterization for weighted alternating automata over commutative semirings (WAFA). To this purpose we prove that weighted alternating can be characterized as the concatenation of weighted finite tree automata (WFTA) and a specific class of tree homomorphism. We show that the class of series recognized by weighted alternating automata is closed under inverses of homomorphisms, but not under homomorphisms. We give a logical characterization of weighted alternating automata, which uses weighted MSO logic for trees. Finally we investigate the strong connection between weighted alternating automata and polynomial automata. Using the corresponding result for polynomial automata, we are able to prove that the ZERONESS problem for weighted alternating automata with the rational numbers as weights is decidable.
description: In Proceedings GandALF 2021, arXiv:2109.07798
Quantum Entropy Function from AdS(2)/CFT(1) Correspondence
Creators: name: Sen, Ashoke
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We review and extend recent attempts to find a precise relation between extremal black hole entropy and degeneracy of microstates using AdS_2/CFT_1 correspondence. Our analysis leads to a specific relation between degeneracy of black hole microstates and an appropriately defined partition function of string theory on the near horizon geometry, -- named the quantum entropy function. In the classical limit this reduces to the usual relation between statistical entropy and Wald entropy.
description: LaTeX file, 27 pages, A modified and extended version of the talk given at Strings 2008
Virtual synchronous generator of PV generation without energy storage for frequency support in autonomous microgrid
Creators: name: Zhong, Cheng
name: Li, Huayi
name: Zhou, Yang
name: Lv, Yueming
name: Chen, Jikai
name: Li, Yang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Systems and Control (eess.SY)
subject: Signal Processing (eess.SP)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: In autonomous microgrids frequency regulation (FR) is a critical issue, especially with a high level of penetration of the photovoltaic (PV) generation. In this study, a novel virtual synchronous generator (VSG) control for PV generation was introduced to provide frequency support without energy storage. PV generation reserve a part of the active power in accordance with the pre-defined power versus voltage curve. Based on the similarities of the synchronous generator power-angle characteristic curve and the PV array characteristic curve, PV voltage Vpv can be analogized to the power angle δ. An emulated governor (droop control) and the swing equation control is designed and applied to the DC-DC converter. PV voltage deviation is subsequently generated and the pre-defined power versus voltage curve is modified to provide the primary frequency and inertia support. A simulation model of an autonomous microgrid with PV, storage, and diesel generator was built. The feasibility and effectiveness of the proposed VSG strategy are examined under different operating conditions.
description: Accepted by International Journal of Electrical Power and Energy Systems
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (191)]
Creators: name: Guarnerius Guiycinus
name: Federichus
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1385
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Die Brüder Guarnerius Guiycinus, genannt Ponchinus, und Federichus, genannt Fra, Söhne und Erben des verstorbenen Grafen Bettinus de Comittibus de Caleppio sowie Erben des Grafen Sozaylus de Comittibus, verkaufen den Brüdern und Grafen Antonius und Coradinus, Söhne des verstorbenen Grafen Zilbardus de Comittibus de Caleppio, Güter, gelegen in Sarnico, an einem Ort, genannt super Castrum de Sarnicho oder super terralium ipsius castri.
Dynamics of F/D networks: the role of bound states
Creators: name: Sakellariadou, Mairi
name: Stoica, Horace
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Astrophysics (astro-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We study, via numerical experiments, the role of bound states in the evolution of cosmic superstring networks, being composed by p F-strings, q D-strings and (p,q) bound states. We find robust evidence for scaling of all three components of the network, independently of initial conditions. The novelty of our numerical approach consists of having control over the initial abundance of bound states. This indeed allows us to identify the effect of bound states on the evolution of the network. Our studies also clearly show the existence of an additional energy loss mechanism, resulting to a lower overall string network energy, and thus scaling of the network. This new mechanism consists of the formation of bound states with an increasing length.
description: 8 pages, 13 figures
Games for Succinctness of Regular Expressions
Creators: name: Vilander, Miikka
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We present a version of so called formula size games for regular expressions. These games characterize the equivalence of languages up to expressions of a given size. We use the regular expression size game to give a simple proof of a known non-elementary succinctness gap between first-order logic and regular expressions. We also use the game to only count the number of stars in an expression instead of the overall size. For regular expressions this measure trivially gives a hierarchy in terms of expressive power. We obtain such a hierarchy also for what we call RE over star-free expressions, where star-free expressions, that is ones with complement but no stars, are combined using the operations of regular expressions.
description: In Proceedings GandALF 2021, arXiv:2109.07798
Decision Tree Learning with Spatial Modal Logics
Creators: name: Pagliarini, Giovanni
name: Sciavicco, Guido
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Symbolic learning represents the most straightforward approach to interpretable modeling, but its applications have been hampered by a single structural design choice: the adoption of propositional logic as the underlying language. Recently, more-than-propositional symbolic learning methods have started to appear, in particular for time-dependent data. These methods exploit the expressive power of modal temporal logics in powerful learning algorithms, such as temporal decision trees, whose classification capabilities are comparable with the best non-symbolic ones, while producing models with explicit knowledge representation. With the intent of following the same approach in the case of spatial data, in this paper we: i) present a theory of spatial decision tree learning; ii) describe a prototypical implementation of a spatial decision tree learning algorithm based, and strictly extending, the classical C4.5 algorithm; and iii) perform a series of experiments in which we compare the predicting power of spatial decision trees with that of classical propositional decision trees in several versions, for a multi-class image classification problem, on publicly available datasets. Our results are encouraging, showing clear improvements in the performances from the propositional to the spatial models, which in turn show higher levels of interpretability.
description: In Proceedings GandALF 2021, arXiv:2109.07798. This is partially dedicated to Alice
[Halle (Saale), Universitäts- und Landesbibliothek Sachsen-Anhalt, Morbio 5 (193)]
Creators: name: Truffeus De Lacanale
Publisher: name: Universitäts- und Landesbibliothek Sachsen-Anhalt
Year: 1385
Subjects: subject: Sonstige weltliche Aussteller
subject: Notarsurkunde
subject: Urkunde
subject: 090

description: Truffeus, genannt Traffa de Lacanale, Sohn des verstorbenen Bertollus, wohnhaft in Civate im Bistum Mailand, zahlt an den Abt des Klosters St. Petri in Civate den Jahreszins für ein Stück Land, gelegen ebendort.
Methodology for Evaluating a Domain-Specific Model Transformation Language
Creators: name: Gleitze, Joshua
Publisher: name: Karlsruher Institut für Technologie (KIT)
Year: 2021

description: Sobald ein System durch mehrere Modelle beschrieben wird, können sich diese verschiedenen Beschreibungen auch gegenseitig widersprechen. Modelltransformationen sind ein geeignetes Mittel, um das selbst dann zu vermeiden, wenn die Modelle von mehreren Parteien parallel bearbeitet werden. Es gibt mittlerweile reichhaltige Forschungsergebnisse dazu, Änderungen zwischen zwei Modellen zu transformieren. Allerdings ist die Herausforderung, Modelltransformationen zwischen mehr als zwei Modellen zu entwickeln, bislang unzureichend gelöst. Die Gemeinsamkeiten-Sprache ist eine deklarative, domänenspezifische Programmiersprache, mit der multidirektionale Modelltransformationen programmiert werden können, indem bidirektionale Abbildungsspezifikationen kombiniert werden. Da sie bis jetzt jedoch nicht empirisch validiert wurde, stellt es eine offene Frage dar, ob die Sprache dazu geeignet ist, realistische Modelltransformationen zu entwickeln, und welche Vorteile die Sprache gegenüber einer alternativen Programmiersprache für Modelltransformationen bietet. In dieser Abschlussarbeit entwerfe ich eine Fallstudie, mit der die Gemeinsamkeiten-Sprache evaluiert wird. Ich bespreche die Methodik und die Validität dieser Fallstudie. Weiterhin präsentiere ich Kongruenz, eine neue Eigenschaft für bidirektionale Modelltransformationen. Sie stellt sicher, dass die beiden Richtungen einer Transformation zueinander kompatibel sind. Ich leite aus praktischen Beispielen ab, warum wir erwarten können, dass Transformationen normalerweise kongruent sein werden. Daraufhin diskutiere ich die Entwurfsentscheidungen hinter einer Teststrategie, mit der zwei Modelltransformations- Implementierungen, die beide dieselbe Konsistenzspezifikation umsetzen, getestet werden können. Die Teststrategie beinhaltet auch einen praktischen Einsatzzweck von Kongruenz. Zuletzt stelle ich Verbesserungen der Gemeinsamkeiten-Sprache vor. Die Beiträge dieser Abschlussarbeit ermöglichen gemeinsam, eine Fallstudie zu Programmiersprachen für Modelltransformationen umzusetzen. Damit kann ein besseres Verständnis der Vorteile dieser Sprachen erzielt werden. Kongruenz kann die Benutzerfreundlichkeit beliebiger Modelltransformationen verbessern und könnte sich als nützlich herausstellen, um Modelltransformations-Netzwerke zu konstruieren. Die Teststrategie kann auf beliebige Akzeptanztests für Modelltransformationen angewendet werden.