cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Franz von Pulsky, Denkmäler der Völkerwanderung
Creators: name: Schaaffhausen, Hermann
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Franz von Pulsky, Denkmäler der Völkerwanderung. (Ungarische Revue, Budapest 1890. Heft II S. 81).
description: Bonner Jahrbücher, Bd. 90 (1891): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Computable Measures for the Entanglement of Indistinguishable Particles
Creators: name: Iemini, Fernando
name: Vianna, Reinaldo O.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We discuss particle entanglement in systems of indistinguishable bosons and fermions, in finite Hilbert spaces, with focus on operational measures of quantum correlations. We show how to use von Neumann entropy, Negativity and entanglement witnesses in these cases, proving interesting relations. We obtain analytic expressions to quantify quantum correlations in homogeneous D-dimensional Hamiltonian models with certain symmetries.
description: 9 pages
Soest, seine Alterthümer und Sehenswürdigkeiten
Creators: name: Nordhoff, Josef Bernhard
Publisher: name: Bonner Jahrbücher
Year: 2018

description: Rezension zu: Soest, seine Alterthümer und Sehenswürdigkeiten. Mit Abbildungen und Stadtplan. Soest, Druck und Verlag der Nasse’schen Buchdruckerei (1890). 121 S.
description: Bonner Jahrbücher, Bd. 93 (1892): Jahrbücher des Vereins von Alterthumsfreunden im Rheinlande
Der Kölner Festkalender. Seine Entwicklung und seine Verwendung zu Urkundendatierungen. Ein Beitrag zur Heortologie und Chronologie des Mittelalters
Creators: name: Zilliken, Georg
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 119 (1910): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Coverability, Termination, and Finiteness in Recursive Petri Nets
Creators: name: Finkel, Alain
name: Haddad, Serge
name: Khmelnitsky, Igor
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: FOS: Computer and information sciences

description: In the early two-thousands, Recursive Petri nets have been introduced in order to model distributed planning of multi-agent systems for which counters and recursivity were necessary. Although Recursive Petri nets strictly extend Petri nets and context-free grammars, most of the usual problems (reachability, coverability, finiteness, boundedness and termination) were known to be solvable by using non-primitive recursive algorithms. For almost all other extended Petri nets models containing a stack, the complexity of coverability and termination are unknown or strictly larger than EXPSPACE. In contrast, we establish here that for Recursive Petri nets, the coverability, termination, boundedness and finiteness problems are EXPSPACE-complete as for Petri nets. From an expressiveness point of view, we show that coverability languages of Recursive Petri nets strictly include the union of coverability languages of Petri nets and context-free languages. Thus we get a more powerful model than Petri net for free.
Self-regulation of human brain activity using simultaneous real-time fMRI and EEG neurofeedback
Creators: name: Zotev, Vadim
name: Phillips, Raquel
name: Yuan, Han
name: Misaki, Masaya
name: Bodurka, Jerzy
Publisher: name: arXiv
Year: 2013
Subjects: subject: Medical Physics (physics.med-ph)
subject: Instrumentation and Detectors (physics.ins-det)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: Neurofeedback is a promising approach for non-invasive modulation of human brain activity with applications for treatment of mental disorders and enhancement of brain performance. Neurofeedback techniques are commonly based on either electroencephalography (EEG) or real-time functional magnetic resonance imaging (rtfMRI). Advances in simultaneous EEG-fMRI have made it possible to combine the two approaches. Here we report the first implementation of simultaneous multimodal rtfMRI and EEG neurofeedback (rtfMRI-EEG-nf). It is based on a novel system for real-time integration of simultaneous rtfMRI and EEG data streams. We applied the rtfMRI-EEG-nf to training of emotional self-regulation in healthy subjects performing a positive emotion induction task based on retrieval of happy autobiographical memories. The participants were able to simultaneously regulate their BOLD fMRI activation in the left amygdala and frontal EEG power asymmetry in the high-beta band using the rtfMRI-EEG-nf. Our proof-of-concept results demonstrate the feasibility of simultaneous self-regulation of both hemodynamic (rtfMRI) and electrophysiological (EEG) activity of the human brain. They suggest potential applications of rtfMRI-EEG-nf in the development of novel cognitive neuroscience research paradigms and enhanced cognitive therapeutic approaches for major neuropsychiatric disorders, particularly depression.
description: 13 pages, 5 figures, to appear in NeuroImage
CounterNet: End-to-End Training of Prediction Aware Counterfactual Explanations
Creators: name: Guo, Hangzhi
name: Nguyen, Thanh Hong
name: Yadav, Amulya
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: This work presents CounterNet, a novel end-to-end learning framework which integrates Machine Learning (ML) model training and the generation of corresponding counterfactual (CF) explanations into a single end-to-end pipeline. Counterfactual explanations offer a contrastive case, i.e., they attempt to find the smallest modification to the feature values of an instance that changes the prediction of the ML model on that instance to a predefined output. Prior techniques for generating CF explanations suffer from two major limitations: (i) all of them are post-hoc methods designed for use with proprietary ML models -- as a result, their procedure for generating CF explanations is uninformed by the training of the ML model, which leads to misalignment between model predictions and explanations; and (ii) most of them rely on solving separate time-intensive optimization problems to find CF explanations for each input data point (which negatively impacts their runtime). This work makes a novel departure from the prevalent post-hoc paradigm (of generating CF explanations) by presenting CounterNet, an end-to-end learning framework which integrates predictive model training and the generation of counterfactual (CF) explanations into a single pipeline. Unlike post-hoc methods, CounterNet enables the optimization of the CF explanation generation only once together with the predictive model. We adopt a block-wise coordinate descent procedure which helps in effectively training CounterNet's network. Our extensive experiments on multiple real-world datasets show that CounterNet generates high-quality predictions, and consistently achieves 100% CF validity and low proximity scores (thereby achieving a well-balanced cost-invalidity trade-off) for any new input instance, and runs 3X faster than existing state-of-the-art baselines.
Secondary Heavy Quark Production in Jets through Mass Modes
Creators: name: Gritschacher, Simon
name: Hoang, Andre H.
name: Jemos, Ilaria
name: Pietrulewicz, Piotr
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: We present an effective field theory method to determine secondary massive quark effects in jet production taking the thrust distribution for e+ e- collisions in the dijet limit as a concrete example. The method is based on the field theoretic treatment of collinear and soft mass modes which have to be separated coherently from the collinear and ultrasoft modes related to massless quarks and gluons. For thrust the structure of the conceptual setup is closely related to the production of massive gauge bosons and involves four different effective field theories to describe all possible kinematic situations. The effective field theories merge into each other continuously and thus allow for a continuous description from infinitely heavy to arbitrarily small masses keeping the exact mass dependence of the most singular terms treated through factorization. The mass mode field theory method we present here is in the spirit of the variable fermion number scheme originally proposed by Aivazis, Collins, Olness and Tung and can also be applied in hadron collisions.
description: Mass mode presentation refined, treatment of rapidity divergences added, a number of typos eliminated, 27 pages, 12 figures
3d TQFT from 6d SCFT
Creators: name: Yagi, Junya
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study the six-dimensional (2,0) superconformal field theory on S^1 x S^2 x M via compactification to five dimensions, where M is a three-manifold. Twisted along M, the five-dimensional theory has a half of N = (2,2) supersymmetry on S^2, the other half being broken by a superpotential. We show that in the limit where M is infinitely large, the twisted theory reduces to a three-dimensional topological quantum field theory which is closely related to Chern-Simons theory for the complexified gauge group.
description: 25 pages. v2: minor changes, typos corrected. v3. typos corrected, published version
title: "Xoženie Afonas'evo": A black-and-white facsimile of the 'Arxivskij spisok'
Creators: name: Kempgen, Sebastian
Publisher: name: Otto-Friedrich-Universität
Year: 2020

description: Ergänzung zu: Afanasij Nikitin: Reise über drei Meere (Xoženie za tri morja, 1468-1474) ; Bd. 1 / hrsg. von Sebastian Kempgen. - Bamberg, 2020. - (Bamberger interdisziplinäre Mittelalterstudien; 14). – DOI: 10.20378/irb-47251
description: Das Paper enthält ein vollständiges schwarz-weiß Facsimile des sog. 'Arxivskij spisok' der altrussischen Reisebeschreibung Afanasij Nikitins (Mitte des 16. Jh.s), dazu eine Reproduktion der Erstausgabe von 1821, besorgt durch Pavel Stroev.
Kosten nachhaltiger Ernährung
Creators: name: Engels, Oskar
name: Pläschke, Annemarie
Publisher: name: Universität Hamburg
Year: 2019
Subjects: sustainability
food
sociology

description: Working Paper Series "Sustainable Lives - Food Choices" Project website Dieses Working Paper entstand als Projektbericht im Seminar „Nachhaltige Lebensführung.
 Ernährung“ (M.A. Soziologie) im Wintersemester 2018/2019 unter der Leitung von Stefanie
 Kley und Alicia Dunker.
Small Promise CSPs that reduce to large CSPs
Creators: name: Kazda, Alexandr
name: Mayr, Peter
name: Zhuk, Dmitriy
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computational Complexity (cs.CC)
subject: Logic in Computer Science (cs.LO)
subject: Rings and Algebras (math.RA)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: G.2; F.2.2
subject: 08A70, 68R07, 05C25

description: For relational structures A, B of the same signature, the Promise Constraint Satisfaction Problem PCSP(A,B) asks whether a given input structure maps homomorphically to A or does not even map to B. We are promised that the input satisfies exactly one of these two cases. If there exists a structure C with homomorphisms $A\to C\to B$, then PCSP(A,B) reduces naturally to CSP(C). To the best of our knowledge all known tractable PCSPs reduce to tractable CSPs in this way. However Barto showed that some PCSPs over finite structures A, B require solving CSPs over infinite C. We show that even when such a reduction to finite C is possible, this structure may become arbitrarily large. For every integer $n>1$ and every prime p we give A, B of size n with a single relation of arity $n^p$ such that PCSP(A, B) reduces via a chain of homomorphisms $ A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In a second family of examples, for every prime $p\geq 7$ we construct A, B of size $p-1$ with a single ternary relation such that PCSP(A, B) reduces via $A\to C\to B$ to a tractable CSP over some C of size p but not over any smaller structure. In contrast we show that if A, B are graphs and PCSP(A,B) reduces to tractable CSP(C) for some finite digraph C, then already A or B has a tractable CSP. This extends results and answers a question of Deng et al.
Verfasserverzeichnis der Bibliothekszugänge in Germania 32, 1954
Creators: name: Redaktion, Die
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2018

description: -
description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 32, Nr. 4 (1954)
Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
Creators: name: Wehler, Joachim
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.2; F.3.2; F.4.3

description: Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods.
description: Published by Fundamenta Informaticae
A Flexible Proof Format for SAT Solver-Elaborator Communication
Creators: name: Baek, Seulkee
name: Carneiro, Mario
name: Heule, Marijn J. H.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT solver developers to balance implementation effort against elaboration time, with little to no overhead on solver time. We benchmark our FRAT toolchain against a comparable DRAT toolchain and confirm >84% median reduction in elaboration time and >94% median decrease in peak memory usage.
The derivative discontinuity in the strong-interaction limit of density functional theory
Creators: name: Mirtschink, André
name: Seidl, Michael
name: Gori-Giorgi, Paola
Publisher: name: arXiv
Year: 2013
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Chemical Physics (physics.chem-ph)
subject: FOS: Physical sciences

description: We generalize the exact strong-interaction limit of the exchange-correlation energy of Kohn-Sham density functional theory to open systems with fluctuating particle numbers. When used in the self-consistent Kohn-Sham procedure on strongly-interacting systems, this functional yields exact features crucial for important applications such as electronic transport. In particular, the step-like structure of the highest-occupied Kohn-Sham eigenvalue is very well captured, with accurate quantitative agreement with exact many-body chemical potentials. Whilst it can be shown that a sharp derivative discontinuity is only present in the infinitely strong-correlated limit, at finite correlation regimes we observe a slightly-smoothened discontinuity, with qualitative and quantitative features that improve with increasing correlation. From the fundamental point of view, our results obtain the derivative discontinuity without making the assumptions used in its standard derivation, offering independent support for its existence.
description: 5 pages, 4 figures; new version + supplemental material
In Memoriam Wilhelm von Bode
Creators: name: Schlosser, Julius Von
Publisher: name: Mitteilungen des Kunsthistorischen Institutes in Florenz
Year: 2018

description: -
description: Mitteilungen des Kunsthistorischen Institutes in Florenz, Bd. 3, Nr. 4 (1930): Mitteilungen des Kunsthistorischen Institutes in Florenz
Dark Matter Gravitinos and Baryons via Q-ball decay in the Gauge-Mediated MSSM
Creators: name: Doddato, Francesca
name: McDonald, John
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We show that late Q-ball decay in the MSSM with gauge-mediated SUSY breaking can provide a natural source of non-thermal NLSPs which subsequently decay to gravitino dark matter without violating nucleosynthesis constraints. To show this, we perform a global analysis of Q-ball formation and decay in Affleck-Dine baryogenesis for a d = 6 (u^{c}d^{c}d^{c})^2 flat direction of the gauge-mediated MSSM. A general phenomenological potential for the flat-direction is studied and the Q-ball decay properties are obtained as a function of its parameters. The corresponding gravitino mass necessary to account for dark matter is then determined for the case of stau NLSPs. The decay temperature depends on the charge of the Q-balls, which is determined by the fragmentation of the AD condensate. Different fragmentation scenarios are considered, and the final non-thermal NLSP density from Q-ball decay and NLSP annihilation is determined. Particular care is taken to establish that NLSPs from Q-ball decay become homogeneous and non-relativistic prior to annihilation. The gravitino mass necessary for dark matter is naturally consistent with the theoretical gravitino mass in the gauge-mediation model.
description: 16 pages, LaTeX, 2 figures
Disentangling centrality bias and final state effects on high pT pi0 using direct photons in d+Au at 200 GeV
Creators: name: Drees, Axel
Publisher: name: Zenodo
Year: 2023
Subjects: hp23
phenix
d+au
photon
direct photon
π0
centrality
raa
nuclear
modification
small systems
p+p

description: Talk presented at the Hard and Electromagnetic Probes of High-energy Nuclear Collisions 2023 conference
Wechselwirkungen zwischen digitalen und analogen Repräsentationslogiken
Creators: name: Felsing, Ulrike
Publisher: name: NEUE kunstwissenschaftliche forschungen
Year: 2017
Subjects: Bildhandeln, Ausstellungsjournal; Facebook; Repräsentation

description: In diesem Beitrag werden Wechselwirkungen zwischen analogen und digitalen Repräsentationsformen untersucht. Dabei werden zunächst die Unterschiede der medialen Bezugsrahmen ‚Druck’ und ‚Internet’ herausgearbeitet und anschließend in Beziehung zu Differenzen von gedruckten und digitalen Bildern gesetzt. Diese Differenzen werden in Hinsicht ihrer Einflussnahme auf unterschiedliche Formen des Handelns mit Bildern – wie Repräsentieren und Rezipieren – bezüglich analoger und digitaler Umgebungen analysiert. Das ‚Wie’ des ‚Zu-Sehen-Gebens’ und des Wahrnehmens der gleichen Bilder in Facebook und im gedruckten Ausstellungsjournal f/stop stehen sich nahezu diametral entgegen, so die These. Während Bilder beim Gestalten eines gedruckten Journals immer wieder angeschaut und das Angeschaute reflektiert werden muss, um es dann in einer neuen Ordnung zu präsentieren, fallen in Facebook ‚Zu-Sehen-Geben’ und Wahrnehmen fast in eins.

–––Ulrike Felsing lehrt an der Hochschule der Künste Bern HKB / Haute école des arts de Berne HEAB und der Berner Fachhochschule BFH / Haute école spécialisée bernoise.–––

This essay will analyze interactions between digital and analogue forms of representation. First, the differences between the frames of reference (“print” and “Internet”) will be worked through and then placed in relation to differences between print and digital images. These differences will be investigated with regard to the way they influence various ways of dealing with images, such as presentation and reception, in both analogue and digital environments. According to this thesis, the processes of presenting and perceiving a picture on different media, such as Facebook and in the print exhibition journal f/stop, are nearly diametrically opposed. When designing a print journal, pictures are repeatedly looked at, and what is looked at has to be reflected upon, so that they can be presented in a new composition. On Facebook, however, the processes of presenting and perceiving pictures are almost indistinguishable identical.

–––Ulrike Felsing teaches at the Hochschule der Künste Bern HKB / Haute école des arts de Berne HEAB and at the Berner Fachhochschule BFH / Haute école spécialisée bernoise.–––
description: NEUE kunstwissenschaftliche forschungen, Nr. 3 (2017): Digitalisierung
On the $2$-domination number of cylinders with small cycles
Creators: name: Garzón, E. M.
name: Martínez, J. A.
name: Moreno, J. J.
name: Puertas, M. L.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Discrete Mathematics (cs.DM)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: G.2.2; F.2.2

description: Domination-type parameters are difficult to manage in Cartesian product graphs and there is usually no general relationship between the parameter in both factors and in the product graph. This is the situation of the domination number, the Roman domination number or the $2$-domination number, among others. Contrary to what happens with the domination number and the Roman domination number, the $2$-domination number remains unknown in cylinders, that is, the Cartesian product of a cycle and a path and in this paper, we will compute this parameter in the cylinders with small cycles. We will develop two algorithms involving the $(\min,+)$ matrix product that will allow us to compute the desired values of $γ_2(C_n\Box P_m)$, with $3\leq n\leq 15$ and $m\geq 2$. We will also pose a conjecture about the general formulae for the $2$-domination number in this graph class.
description: 15 pages, 1 figure
Orthogonality of Macdonald polynomials with unitary parameters
Creators: name: van Diejen, J. F.
name: Emsiz, E.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Representation Theory (math.RT)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 33D52, 11C08, 20C08

description: For any admissible pair of irreducible reduced crystallographic root systems, we present discrete orthogonality relations for a finite-dimensional system of Macdonald polynomials with parameters on the unit circle subject to a truncation relation.
description: 26 pages, updated references, correction of typos. To appear in Math. Z
New Instantons in AdS_4/CFT_3 from D4-Branes Wrapping Some of CP^3
Creators: name: Naghdi, M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: With use of a 6-form field strength of ten-dimensional type IIA supergravity over AdS_4 x CP^3, when S^7/Z_k is considered as a S^1 Hopf fibration on CP^3, we earn a fully localized solution in the bulk of Euclideanized AdS_4. Indeed, this object appears in the external space because of wrapping a D4(M5)-brane over some parts of the respective internal spaces. Interestingly, this supersymmetry breaking SU(4)x U(1)-singlet mode exists in already known spectra when one uses the 8_c gravitino representation of SO(8). To adjust the boundary theory, we should swap the original 8_s and 8_c representations for supercharges and fermions in the Aharony-Bergman-Jafferis-Maldacena model. The procedure could later be interpreted as adding an anti-D4(M5)-brane to the prime N=6 membrane theory resulting in a N=0 antimembrane theory while other symmetries are preserved. Then, according to the well-known state-operator correspondence rules, we find a proper dual operator with the conformal dimension of Δ=3 that matches to the bulk massless pseudoscalar state. After that, by making use of some fitting ansatzs for the used matter fields, we arrive at an exact boundary solution and comment on the other related issues as well.
description: 21 pages, than the previous v2 edition, typos fixed
Pairs of Fan-type heavy subgraphs for pancyclicity of 2-connected graphs
Creators: name: Ning, Bo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Combinatorics (math.CO)
subject: FOS: Mathematics
subject: 05C38, 05C45

description: A graph $G$ on $n$ vertices is Hamiltonian if it contains a spanning cycle, and pancyclic if it contains cycles of all lengths from 3 to $n$. In 1984, Fan presented a degree condition involving every pair of vertices at distance two for a 2-connected graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of $G$ is $f_1$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies $\max\{d(u),d(v)\}\geq (n+1)/2$. For a given graph $R$, $G$ is called $R$-$f_1$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f_1$-heavy. In this paper we show that for a connected graph $S$ with $S\neq P_3$ and a 2-connected claw-$f_1$-heavy graph $G$ which is not a cycle, $G$ being $S$-$f_1$-heavy implies $G$ is pancyclic if $S=P_4,Z_1$ or $Z_2$, where claw is $K_{1,3}$ and $Z_i$ is the path $a_1a_2a_3... a_{i+2}a_{i+3}$ plus the edge $a_1a_3$. Our result partially improves a previous theorem due to Bedrossian on pancyclicity of 2-connected graphs.
description: 11 pages; 2 figures; accepted by Australasian J. Combin
Cluster-based Mention Typing for Named Entity Disambiguation
Creators: name: Çelebi, Arda
name: Özgür, Arzucan
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: An entity mention in text such as "Washington" may correspond to many different named entities such as the city "Washington D.C." or the newspaper "Washington Post." The goal of named entity disambiguation is to identify the mentioned named entity correctly among all possible candidates. If the type (e.g. location or person) of a mentioned entity can be correctly predicted from the context, it may increase the chance of selecting the right candidate by assigning low probability to the unlikely ones. This paper proposes cluster-based mention typing for named entity disambiguation. The aim of mention typing is to predict the type of a given mention based on its context. Generally, manually curated type taxonomies such as Wikipedia categories are used. We introduce cluster-based mention typing, where named entities are clustered based on their contextual similarities and the cluster ids are assigned as types. The hyperlinked mentions and their context in Wikipedia are used in order to obtain these cluster-based types. Then, mention typing models are trained on these mentions, which have been labeled with their cluster-based types through distant supervision. At the named entity disambiguation phase, first the cluster-based types of a given mention are predicted and then, these types are used as features in a ranking model to select the best entity among the candidates. We represent entities at multiple contextual levels and obtain different clusterings (and thus typing models) based on each level. As each clustering breaks the entity space differently, mention typing based on each clustering discriminates the mention differently. When predictions from all typing models are used together, our system achieves better or comparable results based on randomization tests with respect to the state-of-the-art levels on four defacto test sets.
description: 46 pages, 11 figures, 14 tables
title: Structural transformation of HCP metallic nanowireusing cleri-rosato potential
Creators: name: Aish, M.M.
Publisher: name: Peter the Great St. Petersburg Polytechnic University
Year: 2020

description: Sub-atomic Dynamic simulations have been carried out on some single-crystal
hexagonal metals, HCP nanowires (Cd, Co, Mg, Ti, and Zr) upon application of uniaxial
tension with a speed of 20 m/s and to investigate the nature of deformation and fracture. The
deformation corresponds to the direction <0001> plane. A many-body interatomic potential
for HCP nanowires within the second-moment approximation of the tight-binding model (the
Cleri-Rosato potentials) was employed to carry out three dimensional MD simulations.
A computer experiment is performed at a temperature 300K. The stored energy diagrams
obtained at various time by the MD simulations of the tensile specimens of these metallic
nanowires show a rapid increase in stress up to a maximum followed by a gradual drop to
zero when the specimen fails by ductile fracture. The feature of deformation energy can be
divided into three regions: quasi-elastic, plastic and failure. The nature of deformation,
slipping, twinning and necking were studied. Stress decreased with increasing volume and the
breaking position increases. The results showed that breaking position depended on the
nanowire length. From this, it appears that Cleri-Rosato potentials make good represent for
the deformation behavior of HCP metallic nanowires.
Optical Study of the Stripe-Ordered State
Creators: name: Tajima, Setsuko
name: Uchida, Shin-ichi
Publisher: name: arXiv
Year: 2012
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The effects of the stripe order on the optical spectra of La-based cuprates are reviewed. The main effect on the high Tc superconducting cuprates is to rapidly reduce the Josephson plasma frequency in the c-axis spectrum as a consequence of weakening of the Josephson coupling between CuO2 layers. This points toward a two dimensional (2D) superconductivity in the stripe phase, although it is difficult to realize a 2D superconductivity in real materials. We also discuss the experimental results suggesting the presence of stripe effect in other cuprates even if they do not show the static stripe phase. Compared to the c-axis spectra, the in-plane spectra are not so dramatically affected by the stripe order, showing a weak gap-like feature and reducing the condensate spectral weight.
description: in press, Physica C(2012)
title: Homogeneous horizontal and vertical seismic barriers: mathematical foundations and dimensional analysis
Creators: name: Bratov, V.A.
name: Ilyashenko, A.V.
name: Kuznetsov, S.V.
name: Lin, T.-K.
name: Morozov,  N.F.
Publisher: name: Peter the Great St. Petersburg Polytechnic University
Year: 2020

description: The concept of a vertical barrier embedded in soil to protect from seismic waves of
the Rayleigh type is discussed. Horizontal barriers are also analyzed. The principle idea for
such a barrier is to reflect and scatter energy of an oncoming wave by the barrier, thus
decreasing the amplitude of surface vibrations beyond the barrier. Numerical FE simulations
of a plane model are presented and discussed.
From resolvents to generalized equations and quasi-variational inequalities: existence and differentiability
Creators: name: Wachsmuth, Gerd
Publisher: name: arXiv
Year: 2021
Subjects: subject: Optimization and Control (math.OC)
subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 49J53, 47J22, 49J50

description: We consider a generalized equation governed by a strongly monotone and Lipschitz single-valued mapping and a maximally monotone set-valued mapping in a Hilbert space. We are interested in the sensitivity of solutions w.r.t. perturbations of both mappings. We demonstrate that the directional differentiability of the solution map can be verified by using the directional differentiability of the single-valued operator and of the resolvent of the set-valued mapping. The result is applied to quasi-generalized equations in which we have an additional dependence of the solution within the set-valued part of the equation.
Grassmannian Connection Between Three- and Four-Qubit Observables, Mermin's Contextuality and Black Holes
Creators: name: Levay, Peter
name: Planat, Michel
name: Saniga, Metod
Publisher: name: arXiv
Year: 2013
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: Combinatorics (math.CO)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We invoke some ideas from finite geometry to map bijectively 135 heptads of mutually commuting three-qubit observables into 135 symmetric four-qubit ones. After labeling the elements of the former set in terms of a seven-dimensional Clifford algebra, we present the bijective map and most pronounced actions of the associated symplectic group on both sets in explicit forms. This formalism is then employed to shed novel light on recently-discovered structural and cardinality properties of an aggregate of three-qubit Mermin's 'magic' pentagrams. Moreover, some intriguing connections with the so-called black-hole--qubit correspondence are also pointed out.
description: 25 pages, one figure, published in the Oberwolfach Preprint Series (OWP-2013-17); a slightly extended version to appear in JHEP
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Creators: name: Bisping, Benjamin
name: Jansen, David N.
name: Nestmann, Uwe
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: F.2.2; F.4.1

description: We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language in van Glabbeek's linear-time--branching-time spectrum between two finite-state processes. We identify the relevant dimensions that measure expressive power to yield formulas belonging to the coarsest distinguishing behavioral preorders and equivalences; the compared processes are equivalent in each coarser behavioral equivalence from the spectrum. We prove that the induced algorithm can determine the best fit of (in)equivalences for a pair of processes.
title: Hyperbolic two temperature fractional order one dimensional thermoelastic model heated by a pulse of laser
Creators: name: Bassiouny, E.
Publisher: name: Peter the Great St. Petersburg Polytechnic University
Year: 2020

description: The behaviour of an isotropic homogeneous thermoelastic semi-infinite medium is
investigated based on the acceleration of conductive and thermodynamic temperatures. A
half-space x ≥ 0 , under stress-free boundary condition at the near end, is considered. At this
near end, a laser pulse decaying exponentially with time is applied. In the framework of
fractional order generalized thermoelasticity theory, a one-dimensional coupled model is
reduced using Laplace transform and corresponding thermally-induced temperature, stress
and strain distribution functions are determined in the Laplace domain. Different inverse field
functions are investigated numerically through a complex inversion formula of Laplace
transform. The behavior of the field functions with different parameters are studied and
presented graphically. Comparisons with the classical two temperature model are discussed.
Universality of stretching separation
Creators: name: Baumgartner, David
name: Brenn, Günter
name: Planchette, Carole
Publisher: name: arXiv
Year: 2021
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We develop a parameter-free model for the fragmentation of drops colliding off-center. The prediction is excellent over a wide range of liquid properties. The so-called stretching separation is attributed to the extension of the merged drop above a critical aspect ratio of {3.25}. The evolution of this aspect ratio {is influenced by the liquid viscosity} and can be interpreted via an energy balance. This approach is then adapted to drop-jet collisions, which we model as consecutive drop-drop collisions. {The fragmentation criterion is similar the one observed at drop-drop collisions}, while the evolution of the stretched jet aspect ratio is modified to account for the different flow fields and geometry.
description: 11 pages, 4 figures and supplementary material
Resultater fra den strategisk analyse af en fast forbindelse mellem Helsingør og Helsingborg
Creators: name: Nielsen, Thomas A.S.
name: Bernström, Peter
Publisher: name: Proceedings from the Annual Transport Conference at Aalborg University
Year: 2021

description: Vejdirektoratet, Trafik-, Bygge- og Boligstyrelsen og Trafikverket afsluttede i januar 2021 en strategisk analyse af en fast forbindelse mellem Helsingør og Helsingborg (HH-forbindelsen). En fast vejforbindelse og en baneforbindelse for persontog kan anlægges som to adskilte, borede tunneller under Øresund. Anlægsomkostningerne vurderes at være mellem 21 og 23 mia. danske kr. for en ren vejforbindelse, mens vej og baneforbindelse samlet vurderes at koste 41-42 mia. danske kr. Forbindelsen forventes at få en vejtrafik på ca. 15.000 køretøjer og ca. 19.000 rejsende med kollektiv trafik pr. hverdagsdøgn i 2040. Samfundsøkonomiske beregninger for hhv. Danmark og Sverige peger på at en ren vejforbindelse er samfundsøkonomisk rentabel og kan finansieres af brugerne af den nye forbindelse. En vej- og baneforbindelse får dog en intern rente på 2,9% og en nettoværdikvote på -0,2 i hhv. Danske og Svenske analyser. Den bliver dermed ikke samfundsøkonomisk rentabel og får behov for væsentlige tilskud til finansieringen ud over bidraget fra brugerfinansieringen.
description: Proceedings from the Annual Transport Conference at Aalborg University, Vol. 28 No. 1 (2021): Proceedings from the Annual Transport Conference at Aalborg University
Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
Creators: name: Bouyer, Patricia
name: Randour, Mickael
name: Vandenhove, Pierre
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computer Science and Game Theory (cs.GT)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We consider zero-sum games on infinite graphs, with objectives specified as sets of infinite words over some alphabet of colors. A well-studied class of objectives is the one of $ω$-regular objectives, due to its relation to many natural problems in theoretical computer science. We focus on the strategy complexity question: given an objective, how much memory does each player require to play as well as possible? A classical result is that finite-memory strategies suffice for both players when the objective is $ω$-regular. We show a reciprocal of that statement: when both players can play optimally with a chromatic finite-memory structure (i.e., whose updates can only observe colors) in all infinite game graphs, then the objective must be $ω$-regular. This provides a game-theoretic characterization of $ω$-regular objectives, and this characterization can help in obtaining memory bounds. Moreover, a by-product of our characterization is a new one-to-two-player lift: to show that chromatic finite-memory structures suffice to play optimally in two-player games on infinite graphs, it suffices to show it in the simpler case of one-player games on infinite graphs. We illustrate our results with the family of discounted-sum objectives, for which $ω$-regularity depends on the value of some parameters.
description: A previous conference version appeared in STACS 2022. 48 pages, 14 figures
title: Hybrid acoustic panel: the effect of fiber volume fraction and panel thickness
Creators: name: Suardana, NPG.
name: Sugita, IKG.
name: Wardana, IGN.
Publisher: name: Peter the Great St. Petersburg Polytechnic University
Year: 2020

description: The composite panel test were made of gypsum, pumice powder, and glue with
composition of 1:2:1/2 and coconut fiber with volume fraction variation of 10%, 15%, 20%,
25%, and 30% by using Hand lay-up technique. The sound absorption panel was tested for
acoustic and mechanical characteristic using test standard with ASTM E1050, ASTM D256,
and ASTM D790, respectively. The result of data analysis was presented graphically and the
bounding of composite materials was analysed by using SEM photograph. From the data
analysis for 10mm thickness of composite with 30% fiber volume fraction gained the highest
sound absorption coefficient, the highest impact strength occurred on composite with 25%
fiber volume fraction. Meanwhile, the strength and modulus of bending occurred on
composite with 15% fiber volume fraction. Sound absorption coefficient for composite with
15mm thickness was higher than 10mm for 10% fiber volume fraction.
title: Environment Department Doesn’t Have a Clue on Housing
Creators: name: Sirr, Lorcan
Publisher: name: Technological University Dublin
Year: 2016

description: Over the past two years Sherlock Holmes’s evil foe Professor Moriarty has been wandering the corridors of the Department of the Environment, Community and Local Government, wreaking sublime havoc and leaving several reputation-damaging debacles in his wake. The damage has been so bad that in late 2014 an internal review was carried out. Released to RTE under freedom of information laws, the report was critical of the housing capabilities and activities of the department. Given its findings were from an internal probe, one wonders what an external investigation would have made of it. A lot more damning?
Rerunning OCR: A Machine Learning Approach to Quality Assessment and Enhancement Prediction
Creators: name: Schneider, Pit
name: Maurer, Yves
Publisher: name: arXiv
Year: 2021
Subjects: subject: Computation and Language (cs.CL)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences
subject: I.2.7

description: Iterating with new and improved OCR solutions enforces decision making when it comes to targeting the right candidates for reprocessing. This especially applies when the underlying data collection is of considerable size and rather diverse in terms of fonts, languages, periods of publication and consequently OCR quality. This article captures the efforts of the National Library of Luxembourg to support those targeting decisions. They are crucial in order to guarantee low computational overhead and reduced quality degradation risks, combined with a more quantifiable OCR improvement. In particular, this work explains the methodology of the library with respect to text block level quality assessment. Through extension of this technique, a regression model, that is able to take into account the enhancement potential of a new OCR engine, is also presented. They both mark promising approaches, especially for cultural institutions dealing with historical data of lower quality.
description: Journal of Data Mining and Digital Humanities; Minor revision
Understanding the structural insights of enzymatic conformations for adenylosuccinate lyase receptor in malarial parasite Plasmodium falciparum
Creators: name: Al-Malki, Esam S.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Microbiology
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 69999 Biological Sciences not elsewhere classified
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Computational Biology

description: The dreadful disease malaria is one among the infectious diseases that comes in third number after the tuberculosis and HIV. This disease is spread by female Anopheles mosquito and caused by the malarial parasite sp notably Plasmodium falciparum. In this, the organism has several enzymes for processing the infection and growth mechanism and among that, the adenylosuccinate lyase is an enzyme that plays a critical role in metabolism and cellular replication via its action in the de novo purine biosynthetic pathway. Adenylosuccinate has been studied for two reaction mechanisms, and in that, the adenylosuccinate to AMP and fumarate is core important. As of now, there have been several studies indicating the reaction mechanism of adenylosuccinate lyase, this study projects the conformations of the reactant and product changes through molecular docking and molecular dynamic simulations. Adenylosuccinate bound complex involves His role in the product than the reactant complex, and the complex shows high flexibility due to fumarate. Thus, identifying the core inhibitor that binds to His rings could be a standard adenylosuccinate lyase inhibitor, that can block the malarial diseases in humans. In addition to the competitive inhibition site, we also predicted the uncompetitive ligand binding site, which suggest the alternate region to be targeted. Thus, from this work, we suggest both competitive and uncompetitive binding regions for the purpose identifying the malarial inhibitors.
title: AutoFoci, an automated high-throughput foci detection approach for analyzing low-dose DNA double-strand break repair
Creators: name: Lengert, Nicor
name: Mirsch, Johanna
name: Weimer, Ratna N.
name: Schumann, Eik
name: Haub, Peter
name: Drossel, Barbara
name: Löbrich, Markus
Publisher: name: Springer Nature
Year: 2021

description: Double-strand breaks (DSBs) are the most lethal DNA damages induced by ionising radiation (IR) and their efficient repair is crucial to limit genomic instability. The cellular DSB response after low IR doses is of particular interest but its examination requires the analysis of high cell numbers. Here, we present an automated DSB quantification method based on the analysis of γH2AX and 53BP1 foci as markers for DSBs. We establish a combination of object properties, combined in the object evaluation parameter (OEP), which correlates with manual object classification. Strikingly, OEP histograms show a bi-modal distribution with two maxima and a minimum in between, which correlates with the manually determined transition between background signals and foci. We used algorithms to detect the minimum, thus separating foci from background signals and automatically assessing DSB levels. To demonstrate the validity of this method, we analyzed over 600.000 cells to verify results of previous studies showing that DSBs induced by low doses are less efficiently repaired compared with DSBs induced by higher doses. Thus, the automated foci counting method, called AutoFoci, provides a valuable tool for high-throughput image analysis of thousands of cells which will prove useful for many biological screening approaches.