cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Making Maps from Planck LFI 30GHz Data with Asymmetric Beams and Cooler Noise
Creators: name: Ashdown, M. A. J.
name: Baccigalupi, C.
name: Bartlett, J. G.
name: Borrill, J.
name: Cantalupo, C.
name: de Gasperis, G.
name: de Troia, G.
name: Gorski, K. M.
name: Hivon, E.
name: Huffenberger, K.
name: Keihanen, E.
name: Keskitalo, R.
name: Kisner, T.
name: Kurki-Suonio, H.
name: Lawrence, C. R.
name: Natoli, P.
name: Poutanen, T.
name: Prezeau, G.
name: Reinecke, M.
name: Rocha, G.
name: Sandri, M.
name: Stompor, R.
name: Villa, F.
name: Wandelt, B.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The Planck satellite will observe the full sky at nine frequencies from 30 to 857 GHz. The goal of this paper is to examine the effects of four realistic instrument systematics in the 30 GHz frequency maps: non-axially-symmetric beams, sample integration, sorption cooler noise, and pointing errors. We simulated one year long observations of four 30 GHz detectors. The simulated timestreams contained CMB, foreground components (both galactic and extra-galactic), instrument noise (correlated and white), and the four instrument systematic effects. We made maps from the timelines and examined the magnitudes of the systematics effects in the maps and their angular power spectra. We also compared the maps of different mapmaking codes to see how they performed. We used five mapmaking codes (two destripers and three optimal codes). None of our mapmaking codes makes an attempt to deconvolve the beam from its output map. Therefore all our maps had similar smoothing due to beams and sample integration. Temperature to polarization cross-coupling due to beam mismatch causes a detectable bias in the TE spectrum of the CMB map. The effects of cooler noise and pointing errors did not appear to be major concerns for the 30 GHz channel. The only essential difference found so far between mapmaking codes that affects accuracy (in terms of residual RMS) is baseline length. All optimal codes give essentially indistinguishable results. A destriper gives the same result as the optimal codes when the baseline is set short enough. For longer baselines destripers require less computing resources but deliver a noisier map.
description: 32 pages, 25 figures. Published in A&A 493, 753-783 (2009)
title: Front Matter, Table of Contents, Foreword, Conference Organization, Additional Reviewers, Acknowledgement of Support, Invited Talks
Creators: name: Speckmann, Bettina
name: Tóth, Csaba D.
Publisher: name: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Year: 2018
Subjects: subject: Front Matter
subject: Table of Contents
subject: Foreword
subject: Conference Organization
subject: Additional Reviewers
subject: Acknowledgement of Support
subject: Invited Talks

description: Front Matter, Table of Contents, Foreword, Conference Organization, Additional Reviewers, Acknowledgement of Support, Invited Talks
description: LIPIcs, Vol. 99, 34th International Symposium on Computational Geometry (SoCG 2018), pages 0:i-0:xi
Formation control of a leader-follower structure in three dimensional space using bearing measurements
Creators: name: Tang, Zhiqi
name: Cunha, Rita
name: Hamel, Tarek
name: Silvestre, Carlos
Publisher: name: arXiv
Year: 2021
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This paper addresses the problem of bearing leader-follower formation control in three-dimensional space by exploring the persistence of excitation (PE) of the desired formation. Using only bearing and relative velocity measurements, distributed control laws are derived for a group of agents with double-integrator dynamics. The key contribution is that the exponential stabilization of the actual formation to the desired one in terms of both shape and scale is guaranteed as long as the PE conditions on the desired formation are satisfied. The approach generalizes stability results provided in prior work for leader-first follower (LFF) structures which are based on bearing rigidity and constraint consistency to ensure the exponential stabilization of the actual formation to a desired static geometric pattern up to a scale factor. Simulations results are provided to illustrate the performance of the proposed control method.
description: arXiv admin note: text overlap with arXiv:2103.06024, arXiv:2009.00209
Using descriptive mark-up to formalize translation quality assessment
Creators: name: Kutuzov, Andrey
Publisher: name: arXiv
Year: 2008
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: The paper deals with using descriptive mark-up to emphasize translation mistakes. The author postulates the necessity to develop a standard and formal XML-based way of describing translation mistakes. It is considered to be important for achieving impersonal translation quality assessment. Marked-up translations can be used in corpus translation studies; moreover, automatic translation assessment based on marked-up mistakes is possible. The paper concludes with setting up guidelines for further activity within the described field.
description: 9 pages
Le collezioni delle biblioteche e le Shadow Libraries: luci ed ombre
Creators: name: Meliti, Francesco Giuseppe
Publisher: name: Zenodo
Year: 2019
Subjects: subject: shadow libraries
subject: pirate libraries
subject: Library Genesis
subject: LibGen
subject: e-books
subject: academic publishers
subject: Sci-Hub
subject: academic journals
subject: library collections
subject: academic libraries
subject: library collection
subject: open access
subject: http://vocabularies.unesco.org/browser/thesaurus/en/page/concept1249
subject: https://www.oclc.org/content/dam/oclc/webdewey/help/000.pdf

description: Extract from speech at the conference "Convegno delle Stelline" «La biblioteca che cresce», in the Section "Collections building" (Milano, Palazzo delle Stelline, 14-15 marzo 2019). https://www.editricebibliografica.it/scheda-ebook/aa-vv/la-biblioteca-che-cresce-9788893570763-579263.html In the complex and "fragmented" information ecosystem, which also includes the world of academic publishing, are emerging controversially and illegally "shadow" channels, defined as Shadow Libraries, "duplicate or substitute copies" and "counterparts" of the official ones, with the "pirate libraries" Library Genesis (LibGen) for e-books and "Scientific Hub" (Sci-Hub) for articles in academic periodicals. https://www.editricebibliografica.it/scheda-ebook/aa-vv/la-biblioteca-che-cresce-9788893570763-579263.html For full version of this presentation or for full text published, please send email: f.giuseppe.meliti@gmail.com Estratto dalla Relazione tenuta al Convegno delle Stelline dedicato alla «La biblioteca che cresce», nella sessione relativa alla "Costruzione delle raccolte" (Milano, Palazzo delle Stelline, 14-15 marzo 2019). Nel complesso e “frammentato” ecosistema informativo, che comprende anche il mondo dell’editoria accademica, stanno “emergendo” alquanto controversi ed illegali canali “ombra” definiti Shadow Libraries, “copie duplicate o sostitutive” e “controparti” di quelle “ufficiali”, con le “biblioteche pirata” Library Genesis (LibGen) per gli e-book e “Scientific Hub” (Sci-Hub) per gli articoli di periodici accademici. https://www.editricebibliografica.it/scheda-ebook/aa-vv/la-biblioteca-che-cresce-9788893570763-579263.html For full version of this presentation or for full text published, please send email: f.giuseppe.meliti@gmail.com
description: Relazione tenuta al Convegno delle Stelline dedicato alla «La biblioteca che cresce», nella sessione relativa alla "Costruzione delle raccolte" (Milano, Palazzo delle Stelline, 14-15 marzo 2019)
Quantitative and Stream Extensions of Answer Set Programming
Creators: name: Kiesel, Rafael
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Computational Complexity (cs.CC)
subject: FOS: Computer and information sciences

description: Answer Set Programming has separately been extended with constraints, to the streaming domain, and with capabilities to reason over the quantities associated with answer sets. We propose the introduction and analysis of a general framework that incorporates all three directions of extension by exploiting the strengths of Here-and-There Logic and Weighted Logic.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Le collezioni delle biblioteche e le Shadow Libraries: luci ed ombre
Creators: name: Meliti, Francesco Giuseppe
Publisher: name: Zenodo
Year: 2019
Subjects: subject: shadow libraries
subject: pirate libraries
subject: Library Genesis
subject: LibGen
subject: e-books
subject: academic publishers
subject: Sci-Hub
subject: academic journals
subject: library collections
subject: academic libraries
subject: library collection
subject: open access
subject: http://vocabularies.unesco.org/browser/thesaurus/en/page/concept1249
subject: https://www.oclc.org/content/dam/oclc/webdewey/help/000.pdf

description: Nel complesso e “frammentato” ecosistema informativo, che comprende anche il mondo dell’editoria accademica, stanno “emergendo” alquanto controversi ed illegali canali “ombra” definiti Shadow Libraries, “copie duplicate o sostitutive” e “controparti” di quelle “ufficiali”, con le “biblioteche pirata” Library Genesis (LibGen) per gli e-book e “Scientific Hub” (Sci-Hub) per gli articoli di periodici accademici. https://www.editricebibliografica.it/scheda-ebook/aa-vv/la-biblioteca-che-cresce-9788893570763-579263.html For access to this presentation or for full text published, please send email: f.giuseppe.meliti@gmail.com
description: Relazione tenuta al Convegno delle Stelline dedicato alla «La biblioteca che cresce», nella sessione relativa alla "Costruzione delle raccolte" (Milano, Palazzo delle Stelline, 14-15 marzo 2019)
Adaptive finite element eye model for the compensation of biometric influences on acoustic tonometry
Creators: name: Osmers, Jan
name: Kaiser, Nils
name: Sorg, Michael
name: Fischer, Andreas
Publisher: name: Elsevier Science
Year: 2021
Subjects: subject: Corneal vibration
subject: Transient simulation
subject: FEM
subject: Eye model
subject: Intraocular pressure
subject: Glaucoma
subject: 600

description: Background and objective: Glaucoma is currently a major cause for irreversible blindness worldwide. A risk factor and the only therapeutic control parameter is the intraocular pressure (IOP). The IOP is determined with tonometers, whose measurements are inevitably influenced by the geometry of the eye. Even though the corneal mechanics have been investigated to improve accuracy of Goldmann and air pulse tonometry, influences of geometric properties of the eye on an acoustic self-tonometer approach are still unresolved. Methods: In order to understand and compensate for measurement deviations resulting from the geometric uniqueness of eyes, a finite element eye model is designed that considers all relevant eye components and is adjustable to all physiological shapes of the human eye. Results: The general IOP-dependent behavior of the eye model is validated by laboratory measurements on porcine eyes. The difference between simulation and measurement is below 8 µm for IOP levels from 5 to 40 mmHg. The adaptive eye model is then used to quantify systematic uncertainty contributions of a variation of eye length and central corneal thickness based on input statistics of a clinical trial series. The adaptive eye model provides the required relation between biometric eye parameters and the corneal deflection amplitude, which here is the measured quantity to trace back to the IOP. Implementing the relations provided by the eye model in a Gaussian uncertainty propagation calculation now allows the quantification of the uncertainty contributions of the biometric parameters on the overall measurement uncertainty of the acoustic self-tonometer. As a result, a systematic uncertainty contribution resulting from deviations in eye length dominate stochastic deviations of the sensor equipment by a factor of 3.5. Conclusion: As perspective, the proposed adaptive eye model provides the basis to compensate for systematic deviations of (but not only) the acoustic self-tonometer.
Colloidal suspensions in modulated light fields
Creators: name: Jenkins, Matthew C.
name: Egelhaaf, Stefan U.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Periodically-modulated potentials in the form of light fields have previously been applied to induce reversible phase transitions in dilute colloidal systems with long-range interactions. Here we investigate whether similar transitions can be induced in very dense systems, where inter-particle contacts are important. Using microscopy we show that particles in such systems are indeed strongly affected by modulated potentials. We discuss technical aspects relevant to generating the light-induced potentials and to imaging simultaneously the particles. We also consider what happens when the particle size is comparable with the modulation wavelength. The effects of selected modulation wavelengths as well as pure radiation pressure are illustrated.
description: Accepted by J. Phys.: Condens. Matter, CODEF II Special Issue. 23 pages, 12 figures
Orbital mixing in few-layer graphene and non-Abelian Berry phase
Creators: name: Shizuya, K.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: In a magnetic field few-layer graphene supports, at the lowest Landau level, a multiplet of zero-mode levels nearly degenerate in orbitals as well as in spins and valleys. Those pseudo-zero-mode (PZM) levels are generally sensitive to interactions and external perturbations, and have a crossing among themselves or with other higher Landau levels when an external field is swept over a certain range. A close study is made of how such PZM levels evolve when they are gradually brought from empty to filled levels under many-body interactions. It is pointed out that the level spectra generally avoid a crossing via orbital level mixing and that orbital mixing is governed by a non-Abelian Berry phase that derives from an approximate degeneracy and interactions. A look is also taken into evolution/crossing of many-body ground states with increasing external bias in bilayer graphene.
description: 11 pages, 6 figures
Evaluation of the silage additive nutrolac sila-aid
Creators: name: Zürcher, Philipp
Publisher: name: University of British Columbia
Year: 2010

description: Two silages were prepared from mature orchardgrass ensiled at 19% dry matter. The additive NutroLac Sila-Aid, containing a dry culture, of lactobacilli, was added to one silage at a rate of 0.5 kg per tonne of fresh herbage, the other silage remained untreated. A wooden stave silo of 40-tonne capacity was filled with each silage. Silage effluent was collected daily for 30 days and the silage temperature was recorded daily for 2.5 months. These two silages comprised the only forage in a two-period crossover design feeding trial. The silages were fed ad libitum (10% feed refusal) and grain was fed at a rate of 1 kg per 3.5 kg milk yield. Twelve Holstein cows in early to mid lactation were subdivided in two groups and allocated to the treated or untreated silage. The cows were fed the assigned forage for a 7-day adjustment period and a 7-week experimental period. The treatments were reversed during a 7-day change-over period and the alternate forage fed for a further 6 weeks. Three cows from each group were assigned to a 7-day digestion trial for total collection of feces and urine during the second last week of each experimental period. The herbage ensiled had the same composition for both silos, the dry matter and protein contents being 19.0 and 14.4% respectively. The treated silage lost almost twice as much effluent compared to the control. Dry matter and protein loss accounted for 2.5 and 4.2% of the ensiled dry matter and protein in the treated silage and 1.5 and 2.3% in the control silage. Peak silage temperatures of 30.3 and 29.1°C for treated and untreated silage were recorded on the ninth day after ensiling. The resulting silage had a dry matter and protein content of 22.8 and 13.2% (treated) and 23.8 and 13.0% (untreated). There was no significant difference (P^.05) between the two treatments with regards to intake, body weight change and milk production. On the average the cows consumed 10.1 kg forage and 8.0 kg grain on a dry matter basis and yielded 2 28.0 kg milk containing 3.2% fat. The animals fed NutroLac silage gained an average of 3.7 kg per period whereas the cows on control silage lost 5.6 kg over the same time. The rumen pH and the acetate/propionate ratio of the ruminal fluid was the same for both treatments, the values being 6.6 and 2.4. The apparent dry matter digestibility of the total ration was significantly higher (P≤.05) for the control silage (70.7%) compared to the treated (69.1). The digestibility of organic matter and protein was not different (P≤.05) between treatments, the average being 7 3.3 and 74.4%. The results from the present experiment tended to be in favour of the control silage and indicated that there was no advantage, and perhaps even a disadvantage, in terms of dry matter digestibility and increased ensiling losses when NutroLac was added to the grass at ensiling time.
Physical results from 2+1 flavor Domain Wall QCD
Creators: name: Scholz, Enno E.
Publisher: name: arXiv
Year: 2008
Subjects: subject: High Energy Physics - Lattice (hep-lat)
subject: FOS: Physical sciences

description: We review recent results for the chiral behavior of meson masses and decay constants and the determination of the light quark masses by the RBC and UKQCD collaborations. We find that one-loop SU(2) chiral perturbation theory represents the behavior of our lattice data better than one-loop SU(3) chiral perturbation theory in both the pion and kaon sectors. The simulations have been performed using the Iwasaki gauge action at two different lattice spacings with the physical spatial volume held approximately fixed at (2.7 fm)^3. The Domain Wall fermion formulation was used for the 2+1 dynamical quark flavors: two (mass degenerate) light flavors with masses as light as roughly 1/5 the mass of the physical strange quark mass and one heavier quark flavor at approximately the value of the physical strange quark mass. On the ensembles generated with the coarser lattice spacing, we obtain for the physical average up- and down-quark and strange quark masses m_ud(MSbar,2GeV)=3.72(0.16)_stat(0.33)_ren(0.18)_syst MeV and m_s(MSbar,2GeV)=107.3(4.4)_stat(9.7)_ren(4.9)_syst MeV, respectively, while we find for the pion and kaon decay constants f_pi=124.1(3.6)_stat(6.9)_syst MeV, f_K=149.6(3.6)_stat(6.3)_syst MeV. The analysis for the finer lattice spacing has not been fully completed yet, but we already present some first (preliminary) results.
description: 7 pages, 3 figures, 1 table, talk presented at the XXVI International Symposium on Lattice Field Theory, 14-19 July 2008, Williamsburg, VA, USA
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs
Creators: name: Azzolini, Damiano
name: Riguzzi, Fabrizio
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: D.1.6;F.4.1;D.3.1

description: Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distributions. The semantics for this type of programs is crucial since it ensures that a probability can be assigned to every query. Here, following one recent semantics proposal, we illustrate a concrete syntax, and we analyse the syntactic requirements needed to preserve the well-definedness.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Complete Einstein metrics are geodesically rigid
Creators: name: Kiosak, Volodymyr
name: Matveev, Vladimir S.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Differential Geometry (math.DG)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 83C10, 53C27, 53A20, 53B21, 53C22, 53C50, 70H06, 58J60, 53D25, 70G45

description: We prove that every complete Einstein (Riemannian or pseudo-Riemannian) metric $g$ is geodesically rigid: if any other complete metric $\bar g$ has the same (unparametrized) geodesics with $g$, then the Levi-Civita connections of $g$ and $\bar g$ coincide.
description: misprints corrected, references updated. 22 pages, one .eps figure
Morphological classification of galaxies with deep learning: comparing 3-way and 4-way CNNs
Creators: name: Cavanagh, Mitchell K.
name: Bekki, Kenji
name: Groves, Brent A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Classifying the morphologies of galaxies is an important step in understanding their physical properties and evolutionary histories. The advent of large-scale surveys has hastened the need to develop techniques for automated morphological classification. We train and test several convolutional neural network architectures to classify the morphologies of galaxies in both a 3-class (elliptical, lenticular, spiral) and 4-class (+irregular/miscellaneous) schema with a dataset of 14034 visually-classified SDSS images. We develop a new CNN architecture that outperforms existing models in both 3 and 4-way classification, with overall classification accuracies of 83% and 81% respectively. We also compare the accuracies of 2-way / binary classifications between all four classes, showing that ellipticals and spirals are most easily distinguished (>98% accuracy), while spirals and irregulars are hardest to differentiate (78% accuracy). Through an analysis of all classified samples, we find tentative evidence that misclassifications are physically meaningful, with lenticulars misclassified as ellipticals tending to be more massive, among other trends. We further combine our binary CNN classifiers to perform a hierarchical classification of samples, obtaining comparable accuracies (81%) to the direct 3-class CNN, but considerably worse accuracies in the 4-way case (65%). As an additional verification, we apply our networks to a small sample of Galaxy Zoo images, obtaining accuracies of 92%, 82% and 77% for the binary, 3-way and 4-way classifications respectively.
description: 18 pages, 18 figures, accepted for publication in MNRAS
Tracing the Origin of Moving Groups. III. Detecting Moving Groups in The LAMOST DR7
Creators: name: Yang, Yong
name: Zhao, Jingkun
name: Zhang, Jiajun
name: Ye, Xianhao
name: Zhao, Gang
Publisher: name: arXiv
Year: 2021
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We revisit the moving groups (MGs) in the solar neighborhood with a sample of 91969 nearby stars constructed from LAMOST DR7. Using the wavelet technique and Monte Carlo simulations, five MGs together with a new candidate located at $V \simeq$ -130 km s$^{-1}$ are detected simultaneously in $V-\sqrt{U^2+2V^2}$ space. Taking into account the other known MGs, we conclude that MGs in the Galactic disk are spaced by approximately 15 $\sim$ 25 km s$^{-1}$ along $V$ velocity. The origin of detected MGs is analysed through the distributions of [Fe/H]$-$[Mg/Fe] and ages. Our results support attributing the origin to the continuous resonant mechanisms probably induced by the bar or spiral arms of the Milky Way.
description: Accepted for the publication in ApJ
How to Split a Logic Program
Creators: name: Ben-Eliyahu-Zohary, Rachel
Publisher: name: arXiv
Year: 2021
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Answer Set Programming (ASP) is a successful method for solving a range of real-world applications. Despite the availability of fast ASP solvers, computing answer sets demands a very large computational power, since the problem tackled is in the second level of the polynomial hierarchy. A speed-up in answer set computation may be attained, if the program can be split into two disjoint parts, bottom and top. Thus, the bottom part is evaluated independently of the top part, and the results of the bottom part evaluation are used to simplify the top part. Lifschitz and Turner have introduced the concept of a splitting set, i.e., a set of atoms that defines the splitting. In this paper, We show that the problem of computing a splitting set with some desirable properties can be reduced to a classic Search Problem and solved in polynomial time. This allows us to conduct experiments on the size of the splitting set in various programs and lead to an interesting discovery of a source of complication in stable model computation. We also show that for Head-Cycle-Free programs, the definition of splitting sets can be adjusted to allow splitting of a broader class of programs.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Rings of Dark Matter in Collisions Between Clusters of Galaxies
Creators: name: ZuHone, J. A.
name: Lamb, D. Q.
name: Ricker, P. M.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Several lines of evidence suggest that the galaxy cluster Cl0024+17, an apparently relaxed system, is actually a collision of two clusters, the interaction occurring along our line of sight. Recent lensing observations suggest the presence of a ring-like dark matter structure, which has been interpreted as the result of such a collision. In this paper we present $N$-body simulations of cluster collisions along the line of sight to investigate the detectability of such features. We use realistic dark matter density profiles as determined from cosmological simulations. Our simulations show a "shoulder" in the dark matter distribution after the collision, but no ring feature even when the initial particle velocity distribution is highly tangentially anisotropic ($σ_θ/σ_r >> 1$). Only when the initial particle velocity distribution is circular do our simulations show such a feature. Even modestly anisotropic velocity distributions are inconsistent with the halo velocity distributions seen in cosmological simulations, and would require highly fine-tuned initial conditions. Our investigation leaves us without an explanation for the dark matter ring-like feature in Cl 0024+17 suggested by lensing observations.
description: 7 pages (emulateapj), 9 figures. Expanded figures and text to match accepted version
Fixpoint Semantics for Recursive SHACL
Creators: name: Bogaerts, Bart
name: Jakubowski, Maxime
Publisher: name: arXiv
Year: 2021
Subjects: subject: Databases (cs.DB)
subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. The recommendation only specifies semantics for non-recursive SHACL; recently, some efforts have been made to allow recursive SHACL schemas. In this paper, we argue that for defining and studying semantics of recursive SHACL, lessons can be learned from years of research in non-monotonic reasoning. We show that from a SHACL schema, a three-valued semantic operator can directly be obtained. Building on Approximation Fixpoint Theory (AFT), this operator immediately induces a wide variety of semantics, including a supported, stable, and well-founded semantics, related in the expected ways. By building on AFT, a rich body of theoretical results becomes directly available for SHACL. As such, the main contribution of this short paper is providing theoretical foundations for the study of recursive SHACL, which can later enable an informed decision for an extension of the W3C recommendation.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Pulmonary Vessel Segmentation based on Orthogonal Fused U-Net++ of Chest CT Images
Creators: name: Cui, Hejie
name: Liu, Xinglong
name: Huang, Ning
Publisher: name: arXiv
Year: 2021
Subjects: subject: Image and Video Processing (eess.IV)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences
subject: I.2.10; J.3
subject: 68T45, 68T07

description: Pulmonary vessel segmentation is important for clinical diagnosis of pulmonary diseases, while is also challenging due to the complicated structure. In this work, we present an effective framework and refinement process of pulmonary vessel segmentation from chest computed tomographic (CT) images. The key to our approach is a 2.5D segmentation network applied from three orthogonal axes, which presents a robust and fully automated pulmonary vessel segmentation result with lower network complexity and memory usage compared to 3D networks. The slice radius is introduced to convolve the adjacent information of the center slice and the multi-planar fusion optimizes the presentation of intra- and inter- slice features. Besides, the tree-like structure of the pulmonary vessel is extracted in the post-processing process, which is used for segmentation refining and pruning. In the evaluation experiments, three fusion methods are tested and the most promising one is compared with the state-of-the-art 2D and 3D structures on 300 cases of lung images randomly selected from LIDC dataset. Our method outperforms other network structures by a large margin and achieves by far the highest average DICE score of 0.9272 and precision of 0.9310, as per our knowledge from the pulmonary vessel segmentation models available in the literature.
description: Published in Medical Image Computing and Computer Assisted Intervention (MICCAI 2019)
Two-Impurity Anderson model in an Antiferromagnetic metal: zero-bandwidth limit
Creators: name: Allub, R.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: We study the zero-bandwidth limit of the two-impurity Anderson model in an antiferromagnetic (AF) metal. We calculate, for different values of the model parameters, the lowest excitation energy, the magnetic correlation $$ between the impurities, and the magnetic moment at each impurity site, as a function of the distance between the impurities and the temperature. At zero temperature, in the region of parameters corresponding to the Kondo regime of the impurities, we observe an interesting competition between the AF gap and the Kondo physics of the two impurities. When the impurities are close enough, the AF splitting governs the physics of the system and the local moments of the impurities are frozen, in a state with very strong ferromagnetic correlation between the impurities and roughly independent of the distance. On the contrary, when the impurities are sufficiently far apart and the AF gap is not too large, the scenario of the Kondo physics take place: non-magnetic ground state and the possibility of spin-flip excitation emerges and the ferromagnetic $$ decreases as the distance increases, but the complete decoupling of the impurities never occurs. In adition, the presence of the AF gap gives a non-zero magnetic moment at each impurity site, showing a non complete Kondo screening of the impurities in the system. We observe that the residual magnetic moment decreases when the distance between the impurities is increased.
description: Paper has been accepted for publication in Journal of Physics: Condensed Matter, 7pages and 10 figures
Analytical Studies of the Magnetic Domain Wall Structure in the presence of Non-uniform Exchange Bias
Creators: name: Kao, Yee-Mou
name: Cheng, Chi-Ho
Publisher: name: arXiv
Year: 2021
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The pinning phenomena of the domain wall in the presence of exchange bias is studied analytically. The analytic solution of the domain wall spin configuration is presented. Unlike the traditional solution which is symmetric, our new solution could exhibit the asymmetry of the domain wall spin profile. Using the solution, the domain wall position, its width, its stability, and the depinning field are discussed analytically.
description: 6 pages, 5 figures
Fractional derivatives of random walks: Time series with long-time memory
Creators: name: Roman, H. Eduardo
name: Porto, Markus
Publisher: name: arXiv
Year: 2008
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Statistical Finance (q-fin.ST)
subject: FOS: Physical sciences
subject: FOS: Economics and business

description: We review statistical properties of models generated by the application of a (positive and negative order) fractional derivative operator to a standard random walk and show that the resulting stochastic walks display slowly-decaying autocorrelation functions. The relation between these correlated walks and the well-known fractionally integrated autoregressive (FIGARCH) models, commonly used in econometric studies, is discussed. The application of correlated random walks to simulate empirical financial times series is considered and compared with the predictions from FIGARCH and the simpler FIARCH processes. A comparison with empirical data is performed.
description: 10 pages, 14 figures
Localized electronic states induced by defects and possible origin of ferroelectricity in strontium titanate thin films
Creators: name: Kim, Yong Su
name: Kim, J.
name: Moon, S. J.
name: Choi, W. S.
name: Chang, Y. J.
name: Yoon, J. -G.
name: Yu, J.
name: Chung, J. -S.
name: Noh, T. W.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Several defect configurations including oxygen vacancies have been investigated as possible origins of the reported room-temperature ferroelectricity of strontium titanate (STO) thin films [Appl. Phys. Letts. 91, 042908 (2007)]. First-principles calculations revealed that the Sr-O-O vacancy complexes create deep localized states in the band gap of SrTiO3 without affecting its insulating property. These results are in agreement with electronic structural changes determined from optical transmission and X-ray absorption measurements. This work opens the way to exploiting oxygen vacancies and their complexes as a source of ferroelectricity in perovskite oxide thin films, including STO.
Qualitative symbolic perturbation: two applications of a new geometry-based perturbation framework
Creators: name: Devillers, Olivier
name: Karavelas, Menelaos
name: Teillaud, Monique
Publisher: name: Journal of Computational Geometry
Year: 2017

description: In a classical Symbolic Perturbation scheme, degeneracies are handled by substituting some polynomials in $\varepsilon$ for the inputs of a predicate. Instead of a single perturbation, we propose to use a sequence of (simpler) perturbations. Moreover, we look at their effects geometrically instead of algebraically; this allows us to tackle cases that were not tractable with the classical algebraic approach.
description: Journal of Computational Geometry, Vol. 8 No. 1 (2017)
Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach
Creators: name: Giordano, Laura
name: Dupré, Daniele Theseider
Publisher: name: arXiv
Year: 2021
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.4

description: Weighted knowledge bases for description logics with typicality have been recently considered under a "concept-wise" multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional EL^bot knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights.
description: In Proceedings ICLP 2021, arXiv:2109.07914. arXiv admin note: text overlap with arXiv:2012.13421
APIA: An Architecture for Policy-Aware Intentional Agents
Creators: name: Meyer, John
name: Inclezan, Daniela
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This paper introduces the APIA architecture for policy-aware intentional agents. These agents, acting in changing environments, are driven by intentions and yet abide by domain-relevant policies. This work leverages the AIA architecture for intention-driven intelligent agents by Blount, Gelfond, and Balduccini. It expands AIA with notions of policy compliance for authorization and obligation policies specified in the language AOPL by Gelfond and Lobo. APIA introduces various agent behavior modes, corresponding to different levels of adherence to policies. APIA reasoning tasks are reduced to computing answer sets using the Clingo solver and its Python API.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Enhancement of CO detection in Al doped graphene
Creators: name: Ao, Z. M.
name: Yang, J.
name: Li, S.
name: Jiang, Q.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Other Condensed Matter (cond-mat.other)
subject: FOS: Physical sciences

description: A principle of enhancement CO adsorption was developed theoretically by using density functional theory through doping Al into graphene. The results show that the Al doped graphene has strong chemisorption of CO molecule by forming Al-CO bond, where CO onto intrinsic graphene remains weak physisorption. Furthermore, the enhancement of CO sensitivity in the Al doped graphene is determined by a large electrical conductivity change after adsorption, where CO absorption leads to increase of electrical conductivity upon via introducing large amount of shallow acceptor states. Therefore, this newly developed Al doped graphene would be an excellent candidate for sensing CO gas.
description: 16 pages and 4 figures
A model of the TeV flare of Cygnus X-1: electron acceleration and extended pair cascades
Creators: name: Zdziarski, A. A.
name: Malzac, J.
name: Bednarek, W.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We consider theoretical models of emission of TeV photons by Cyg X-1 during a flare discovered by the MAGIC detector. We study acceleration of electrons to energies sufficient for TeV emission, and find the emission site is allowed to be close to the black hole. We then consider pair absorption in the photon field of the central X-ray source and a surrounding accretion disc, and find its optical depth is <1, allowing emission close to the black hole. On the other hand, the optical depth in the stellar field is about 10 at 1 TeV. However, the optical depth drops with increasing energy, allowing a model with the initial energy of >3 TeV, in which photons travel far away from the star, initiating a spatially extended pair cascade. This qualitatively explains the observed TeV spectrum, though still not its exact shape.
description: MNRAS (Letters), in press
Low-frequency excess vibrational modes in two-dimensional glasses
Creators: name: Wang, Lijin
name: Szamel, Grzegorz
name: Flenner, Elijah
Publisher: name: arXiv
Year: 2021
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: Glasses possess more low-frequency vibrational modes than predicted by Debye theory. These excess modes are crucial for the understanding the low temperature thermal and mechanical properties of glasses, which differ from those of crystalline solids. Recent simulational studies suggest that the density of the excess modes scales with their frequency $ω$ as $ω^4$ in two and higher dimensions. Here, we present extensive numerical studies of two-dimensional model glass formers over a large range of glass stabilities. We find that the density of the excess modes follows $D_\text{exc}(ω)\sim ω^2 $ up to around the boson peak, regardless of the glass stability. The stability dependence of the overall scale of $D_\text{exc}(ω)$ correlates with the stability dependence of low-frequency sound attenuation. However, we also find that in small systems, where the first sound mode is pushed to higher frequencies, at frequencies below the first sound mode there are excess modes with a system size independent density of states that scales as $ω^3$.
description: 6 pages and Supplemental Material
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles
Creators: name: Pianpak, Poom
name: Son, Tran Cao
Publisher: name: arXiv
Year: 2021
Subjects: subject: Multiagent Systems (cs.MA)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Multi-Agent Path Finding (MAPF) is a problem of finding a sequence of movements for agents to reach their assigned location without collision. Centralized algorithms usually give optimal solutions, but have difficulties to scale without employing various techniques - usually with a sacrifice of optimality; but solving MAPF problems with the number of agents greater than a thousand remains a challenge nevertheless. To tackle the scalability issue, we present DMAPF - a decentralized and distributed MAPF solver, which is a continuation of our recently published work, ros-dmapf. We address the issues of ros-dmapf where it (i) only works in maps without obstacles; and (ii) has a low success rate with dense maps. Given a MAPF problem, both ros-dmapf and DMAPF divide the map spatially into subproblems, but the latter further divides each subproblem into disconnected regions called areas. Each subproblem is assigned to a distributed solver, which then individually creates an abstract plan - a sequence of areas that an agent needs to visit - for each agent in it, and interleaves agent migration with movement planning. Answer Set Programming, which is known for its performance in small but complex problems, is used in many parts including problem division, abstract planning, border assignment for the migration, and movement planning. Robot Operating System is used to facilitate communication between the solvers and to enable the opportunity to integrate with robotic systems. DMAPF introduces a new interaction protocol between the solvers, and mechanisms that together result in a higher success rate and better solution quality without sacrificing much of the performance. We implement and experimentally validate DMAPF by comparing it with other state-of-the-art MAPF solvers and the results show that our system achieves better scalability.
description: In Proceedings ICLP 2021, arXiv:2109.07914
Building interactive web applications in R using SHINY
Creators: name: Romaniuk, Andrzej
Publisher: name: Zenodo
Year: 2021
Subjects: CDCS, University of Edinburgh, Tutorial, Training, R, SHINY

description: This tutorial runs through and explains the stages involved in creating interactive web applications using R in SHINY. It was created for the Edinburgh Centre for Data, Culture & Society to complement the CDCS training programme.
Chaotic Fitness Dependent Optimizer for Planning and Engineering Design
Creators: name: Mohammed, Hardi M.
name: Rashid, Tarik A.
Publisher: name: arXiv
Year: 2021
Subjects: subject: Neural and Evolutionary Computing (cs.NE)
subject: FOS: Computer and information sciences

description: Fitness Dependent Optimizer (FDO) is a recent metaheuristic algorithm that mimics the reproduction behavior of the bee swarm in finding better hives. This algorithm is similar to Particle Swarm Optimization (PSO) but it works differently. The algorithm is very powerful and has better results compared to other common metaheuristic algorithms. This paper aims at improving the performance of FDO, thus, the chaotic theory is used inside FDO to propose Chaotic FDO (CFDO). Ten chaotic maps are used in the CFDO to consider which of them are performing well to avoid local optima and finding global optima. New technic is used to conduct population in specific limitation since FDO technic has a problem to amend population. The proposed CFDO is evaluated by using 10 benchmark functions from CEC2019. Finally, the results show that the ability of CFDO is improved. Singer map has a great impact on improving CFDO while the Tent map is the worst. Results show that CFDO is superior to GA, FDO, and CSO. Both CEC2013 and CEC2005 are used to evaluate CFDO. Finally, the proposed CFDO is applied to classical engineering problems, such as pressure vessel design and the result shows that CFDO can handle the problem better than WOA, GWO, FDO, and CGWO. Besides, CFDO is applied to solve the task assignment problem and then compared to the original FDO. The results prove that CFDO has better capability to solve the problem.
Rethinking Talent in SAP Consulting: A New Socio-Technical Approach to Learning and Delivery (SLITF)
Creators: name: YAZICI, Umut Ali
Publisher: name: Zenodo
Year: 2025
Subjects: SAP Consulting, Talent Development, Socio-Technical Systems, SLITF, ERP Ecosystem, Guided Learning, Distributed Teams, Knowledge Transfer, Organizational Design

description: This whitepaper addresses a growing and underexplored challenge in enterprise software: the systemic fragility of talent pipelines in the SAP consulting ecosystem. Despite rapid technological advancements — from S/4HANA migrations to AI-integrated architectures — organizations continue to struggle with outdated, fragmented models of sourcing, training, and deploying consultants. The result is not merely a shortage of skills, but a deeper socio-technical misalignment between human systems and technological infrastructures.

Drawing on Socio-Technical Systems (STS) theory, the paper argues that talent development should not be treated as a peripheral HR concern, but as a core element of systems design. The failure to embed learning, transparency, and responsible autonomy into delivery models has produced structural inefficiencies: project delays, inflated costs, and a chronic lack of junior talent integration.

Through a combination of theoretical grounding and practitioner insight, the paper introduces the STS Learning-Integrated Talent Framework (SLITF) — a new model that reimagines talent pipelines as dynamic, adaptive systems. SLITF proposes the integration of apprenticeship structures, transparent talent matching, AI-augmented learning, and feedback-driven role evolution into the heart of consulting delivery. Rather than offering one-off solutions, the framework positions talent sustainability as a systemic condition — one that can be designed, measured, and scaled.

This work is not a general commentary on enterprise skills gaps. It is a call to redesign how organizations build, deploy, and grow talent in alignment with the evolving complexity of SAP ecosystems.