cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
title: Formal Synthesis of Uncertainty Reduction Controllers
Creators: name: Carwehl, Marc
name: Imrie, Calum
name: Vogel, Thomas
name: Rodrigues, Genaina
name: Calinescu, Radu
name: Grunske, Lars
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: controller synthesis
subject: uncertainty
subject: self-adaptive systems

description: In this extended abstract, we summarise our work on the Parley approach and uncertainty reduction controllers. This work has been published under the title “Formal Synthesis of Uncertainty Reduction Controllers” at the Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’24).
Molecular, Cell and Tissue Studies of Galectin-3:CD98 Interactions in IPF and COVID Pneumonitis
Creators: name: Miah, Mohammed A.
Publisher: name: University of Leicester
Year: 2022
Subjects: Uncategorized

description: Galectin-3 critically mediates experimental fibrosis and is implicated in idiopathic pulmonary fibrosis (IPF). It can bind multiple proteins through protein:glycan as well as protein:protein interactions, including self-oligomerisation. It binds to TGF-β receptor (TGF-βR) II and potentiates TGF-β1 signalling. It also interacts with CD98, a mediator of innate inflammatory responses in such cells. I tested the gal-3-fibrosome hypothesis, that galectin-3 mediates IPF pathogenesis by nucleating a macromolecular complex of pro-fibrotic factors including CD98:integrin complex and TGF-βRII at the cell surface, in lung tissue, cell lines, and primary human lung cells.Co-localisation of galectin-3, β1-integrin and CD98 was supported by proximity ligation assay and immunohistochemistry in human lung tissue, and confocal microscopy and co-immunoprecipitation studies in cells. TGF-β1 stimulation increased expression and co-localisation of all three proteins in A549 cells. CD98 silencing abrogated epithelial wound healing similarly to galectin-3 knockdown. In myofibroblasts TGF-β1 stimulation increased protein levels of β1-integrin and CD98 whilst reducing galectin-3. However, co-localisation of galectin-3 with β1-integrin and CD98 appeared relatively preserved in IPF myofibroblasts. Galectin-3 oligomerisation was most tractable to electron microscopy (EM) analysis by cross-linking ligand-induced oligomers and peptide N-glycosidase treatment, but further optimisation is required ahead of cryo-EM studies. I successfully extracted endogenous CD98-containing complexes from cell membranes within nanodiscs, using styrene maleic acid (SMA). CD98 co-immunoprecipitated with galectin-3 in nanodiscs. Both CD98 and galectin-3 were essential for interleukin (IL)-6 and IL-8 responses to SARS-CoV-2 Spike receptor binding domain in lung epithelial and macrophage cell lines.Together, my data support a gal-3-fibrosome response to disease-relevant stimuli in tissue and cells. In myofibroblasts, they suggest a negative feedback loop that is overridden in IPF. Extensive work has defined promising conditions for future structural studies. CD98-dependent inflammatory responses are observed across cell types as well as diverse injury stimuli. Galectin-3 interactions with CD98:β1-integrin may transduce acute injury responses to pro-fibrotic behaviour in lung tissue, e.g. in acute exacerbations of IPF.
title: Benchmarking Requirement Template Systems
Creators: name: Großer, Katharina
name: Ahmadian, Amir Shayan
name: Rukavitsyna, Marina
name: Ramadan, Qusai
name: Jürjens, Jan
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Requirement Syntax Templates
subject: Readability
subject: Quality Metrics
subject: Phrasing Guidelines
subject: Ontological Expressiveness
subject: Formality

description: Our publication 2024 in the Requirements Engineering Journal concerns the multiple semi-formal syntax templates for natural language requirements, that foster to reduce ambiguity while preserving readability. Yet, existing studies on their effectiveness do not allow to systematically investigate quality benefits and compare different notations. Extending previous work, we strive for a comparative benchmark and evaluation of template systems to support practitioners in selecting template systems and enable researchers to work on pinpoint improvements and domain-specific adaptions. We conduct experiments with five popular template systems—EARS, Adv-EARS, Boilerplates, MASTER, and SPIDER. First, we compare a control group of free-text requirements and treatment groups of their variants following the different templates. Second, we compare MASTER and EARS in user experiments for reading and writing. Third, we analyse all five meta-models’ formality and ontological expressiveness based on the Bunge-Wand-Weber (BWW) reference ontology. It shows that templates can generally improve various quality factors compared to free text. Although MASTER leads the field, there is no conclusive favourite choice, as most effect sizes are relatively similar.
Measuring the Radiative Histories of QSOs with the Transverse Proximity Effect
Creators: name: Adelberger, Kurt L.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Since the photons that stream from QSOs alter the ionization state of the gas they traverse, any changes to a QSO's luminosity will produce outward-propagating ionization gradients in the surrounding intergalactic gas. This paper shows that at redshift z~3 the gradients will alter the gas's Lyman-alpha absorption opacity enough to produce a detectable signature in the spectra of faint background galaxies. By obtaining noisy (S:N~4) low-resolution (~7A) spectra of a several dozen background galaxies in an R~20' field surrounding an isotropically radiating 18th magnitude QSO at z=3, it should be possible to detect any order-of-magnitude changes to the QSO's luminosity over the previous 50--100 Myr and to measure the time t_Q since the onset of the QSO's current luminous outburst with an accuracy of ~5 Myr for t_Q
description: Accepted for publication in the ApJ. 16 pages
Structure of S. pombe telomerase protein Pof8 C-terminal domain is an xRRM conserved among LARP7 proteins
Creators: name: Ritwika Basu
name: Eichhorn, Catherine D.
name: Cheng, Ryan
name: Peterson, Robert D.
name: Feigon, Juli
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Biophysics
subject: Biochemistry
subject: 29999 Physical Sciences not elsewhere classified
subject: FOS: Physical sciences
subject: Medicine
subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: Plant Biology
subject: Computational Biology

description: La-related proteins 7 (LARP7) are a class of RNA chaperones that bind the 3′ ends of RNA and are constitutively associated with their specific target RNAs. In metazoa, Larp7 binds to the long non-coding 7SK RNA as a core component of the 7SK RNP, a major regulator of eukaryotic transcription. In the ciliate Tetrahymena the LARP7 protein p65 is a component of telomerase, an essential ribonucleoprotein complex that maintains the telomeric DNA at eukaryotic chromosome ends. p65 is important for the ordered assembly of telomerase RNA (TER) with telomerase reverse transcriptase. Unexpectedly, Schizosaccharomyces pombe Pof8 was recently identified as a LARP7 protein and a core component of fission yeast telomerase essential for biogenesis. LARP7 proteins have a conserved N-terminal La motif and RRM1 (La module) and C-terminal RRM2 with specific RNA substrate recognition attributed to RRM2, first structurally characterized in p65 as an atypical RRM named xRRM. Here we present the X-ray crystal structure and NMR studies of S. pombe Pof8 RRM2. Sequence and structure comparison of Pof8 RRM2 to p65 and human Larp7 xRRMs reveals conserved features for RNA binding with the main variability in the length of the non-canonical helix α3. This study shows that Pof8 has conserved xRRM features, providing insight into TER recognition and the defining characteristics of the xRRM.
A panchromatic spatially resolved study of the inner 500pc of NGC1052 -- II: Gas excitation and kinematics
Creators: name: Dahmer-Hahn, Luis G.
name: Riffel, Rogério
name: Ricci, Tiago V.
name: Steiner, João E.
name: Storchi-Bergmann, Thaisa
name: Riffel, Rogemar A.
name: Menezes, Roberto B.
name: Dametto, Natacha Z.
name: Diniz, Marlon R.
name: Motter, Juliana C.
name: Ruschel-Dutra, Daniel
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We map the optical and near-infrared (NIR) emission-line flux distributions and kinematics of the inner 320$\times$535pc$^2$ of the elliptical galaxy NGC1052. The integral field spectra were obtained with the Gemini Telescope using the GMOS-IFU and NIFS instruments, with angular resolutions of 0''88 and 0''1 in the optical and NIR, respectively. We detect five kinematic components: (1 and 2) Two spatially unresolved components, being a broad line region visible in H$α$, with a FWHM of $\sim$3200km s$^{-1}$ and an intermediate-broad component seen in the [OIII]$λλ$4959,5007 doublet; (3) an extended intermediate-width component with 280
description: Accepted at MNRAS. 17 pages, 17 figures
title: Total Recall? How Good Are Static Call Graphs Really?
Creators: name: Helm, Dominik
name: Keidel, Sven
name: Kampkötter, Anemone
name: Düsing, Johannes
name: Roth, Tobias
name: Hermann, Ben
name: Mezini, Mira
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Call Graph
subject: Static Analysis
subject: Dynamic Analysis
subject: Precision
subject: Recall

description: Static call graphs are a fundamental building block of program analysis. However, differences in callgraph construction and the use of specific language features can yield unsoundness and imprecision. Call-graph analyses are evaluated using measures of precision and recall, but this is hard when a ground truth for real-world programs is generally unobtainable. We propose to use dynamic baselines based on fixed entry points and input corpora. The creation of this dynamic baseline is posed as an approximation of the ground truth—an optimization problem. We use manual extension and coverage-guided fuzzing for creating suitable input corpora. With these dynamic baselines, we study call-graph quality of multiple algorithms and implementations using four real-world Java programs. We find that our methodology provides insights into call-graph quality and how to measure it. We provide a novel methodology to advance the field of static program analysis as we assess the computation of one of its core data structures—the call graph.
The subgiant HR 7322 as an asteroseismic benchmark star
Creators: name: Stokholm, Amalie
name: Nissen, Poul Erik
name: Aguirre, Victor Silva
name: White, Timothy R.
name: Lund, Mikkel N.
name: Mosumgaard, Jakob Rørsted
name: Huber, Daniel
name: Jessen-Hansen, Jens
Publisher: name: arXiv
Year: 2019
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We present an in-depth analysis of the bright subgiant HR 7322 (KIC 10005473) using Kepler short-cadence photometry, optical interferometry from CHARA, high-resolution spectra from SONG, and stellar modelling using GARSTEC grids and the Bayesian grid-fitting algorithm BASTA. HR 7322 is only the second subgiant with high-quality Kepler asteroseismology for which we also have interferometric data. We find a limb-darkened angular diameter of $0.443 \pm 0.007$ mas, which, combined with a distance derived using the parallax from Gaia DR2 and a bolometric flux, yields a linear radius of $2.00 \pm 0.03$ R$_{\odot}$ and an effective temperature of $6350 \pm 90$ K. HR 7322 exhibits solar-like oscillations, and using the asteroseismic scaling relations and revisions thereof, we find good agreement between asteroseismic and interferometric stellar radius. The level of precision reached by the careful modelling is to a great extent due to the presence of an avoided crossing in the dipole oscillation mode pattern of HR 7322. We find that the standard models predict radius systematically smaller than the observed interferometric one and that a sub-solar mixing length parameter is needed to achieve a good fit to individual oscillation frequencies, interferometric temperature, and spectroscopic metallicity.
description: 13 pages, 9 figures, 5 tables, accepted for publication in MNRAS
Sliding Singlet Mechanism Revisited
Creators: name: Maekawa, Nobuhiro
name: Yamashita, Toshifumi
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We show that the unification of the doublet Higgs in the standard model (SM) and the Higgs to break the grand unified theory (GUT) group stabilizes the sliding singlet mechanism which can solve the doublet-triplet (DT) splitting problem. And we generalize this attractive mechanism to apply it to many unified scenarios. In this paper, we try to build various concrete E_6 unified models by using the generalized sliding singlet mechanism.
description: 13 pages
Type 0A 2D Black Hole Thermodynamics and the Deformed Matrix Model
Creators: name: Danielsson, Ulf H.
name: Gregory, James P.
name: Olsson, Martin E.
name: Rajan, Peter
name: Vonk, Marcel
Publisher: name: arXiv
Year: 2004
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Recently, it has been proposed that the deformed matrix model describes a two-dimensional type 0A extremal black hole. In this paper, the thermodynamics of 0A charged non-extremal black holes is investigated. We observe that the free energy of the deformed matrix model to leading order in 1/q can be seen to agree to that of the extremal black hole. We also speculate on how the deformed matrix model is able to describe the thermodynamics of non-extremal black holes.
description: 12 pages
Multiwavelength observations of GRB 140629A. A long burst with an achromatic jet break in the optical and X-ray afterglow
Creators: name: Hu, Y. -D.
name: Oates, S. R.
name: Lipunov, V. M.
name: Zhang, B. -B.
name: Castro-Tirado, A. J.
name: Jeong, S.
name: Sánchez-Ramírez, R.
name: Tello, J. C.
name: Cunniffe, R.
name: Gorbovskoy, E.
name: Caballero-García, M. D.
name: Pandey, S. B.
name: Kornilov, V. G.
name: Tyurina, N. V.
name: Kuznetsov, A. S.
name: Balanutsa, P. V.
name: Gress, O. A.
name: Gorbunov, I.
name: Vlasenko, D. M.
name: Vladimirov, V. V.
name: Budnev, N. M.
name: Balakin, F.
name: Ershova, O.
name: Krushinski, V. V.
name: Gabovich, A. V.
name: Yurkov, V. V.
name: Gorosabel, J.
name: Moskvitin, A. S.
name: Burenin, R. A.
name: Sokolov, V. V.
name: Delgado, I.
name: Guziy, S.
name: Fernandez-García, E. J.
name: Park, I. H.
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: We investigate the long GRB140629A through multiwavelength observations, which cover optical, infrared and X-rays between 40s and 3yr after the burst, to derive the properties of the dominant jet and its host galaxy. Polarisation observations by the MASTER telescope indicate that this burst is weakly polarised. The optical spectrum contains absorption features, from which we confirm the redshift of the GRB as originating at z=2.276. We performed spectral fitting of the X-rays to optical afterglow data and find there is no strong spectral evolution. We determine the hydrogen column density to be 7.2x10^21cm^-2 along the line of sight. The afterglow in this burst can be explained by a blast wave jet with a long-lasting central engine expanding into a uniform medium in the slow cooling regime. At the end of energy injection, a normal decay phase is observed in both the optical and X-ray bands. An achromatic jet break is also found in the afterglow light curves 0.4d after trigger. We fit the multiwavelength data simultaneously with a model based on a numerical simulation and find that the observations can be explained by a narrow uniform jet in a dense environment with an opening angle of 6.7deg viewed 3.8deg off-axis, which released a total energy of 1.4x10^54erg. Using the redshift and opening angle, we find GRB 140629A follows both the Ghirlanda and Amati relations. From the peak time of the light curve, identified as the onset of the forward shock (181s after trigger), the initial Lorentz factor is constrained in the range 82-118. Fitting the host galaxy photometry, we find the host to be a low mass, star-forming galaxy with a star formation rate of logSFR=1.1^+0.9_-0.4Myr^-1. We obtain a value of the neutral hydrogen density by fitting the optical spectrum, logN(HI)=21.0+-0.3, classifying this host as a damped Lyman-alpha. High ionisation lines are also detected in the spectrum.
description: 18 pages, 13 figures, 8 tables, accepted for publication in A&A
ISOCAM-CVF spectroscopy of the circumstellar environment of young stellar objects
Creators: name: Alexander, R. D.
name: Casali, M. M.
name: Andre, P. M.
name: Persi, P.
name: Eiroa, C.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present the results of a mid-infrared imaging spectroscopy survey of Young Stellar Objects (YSOs) and their surrounding environment in four low-mass star formation regions: RCrA, Rho Ophiuchi, Serpens and Chamaeleon I. This survey was performed using ISOCAM and its Circular Variable Filters (CVF) and observed 42 YSO candidates. A number of spectral features were measured, most notably the 9.7um silicate feature, the bending modes of both water and CO2 ices at 6.0 and 15.2um respectively and the well-known unidentified feature at 6.8um. The strength of the unidentified feature was observed to correlate very well with that of the water ice bending mode and far less strongly with the CO2 ice bending mode. This suggests, in a manner consistent with previous observations, that the carrier of the unidentified feature is a strongly polar ice. Absorption profiles of the bending mode of CO2 ice are observed to show a significant long wavelength wing, which suggests that a significant fraction of the CO2 ice observed exists in a polar (H2O-rich) phase. The sources observed in RCrA, Rho Oph and Serpens show similar spectral characteristics, whilst the sources observed in Cha I are somewhat anomalous. However this is consistent with previous studies of this region of the Cha I cloud, which contains an unusual cluster of YSOs. We detect an apparent under-abundance of water ice towards the sources in Rho Oph. This may be indicative of differences in chemical composition between the different clouds, or may be due to evaporation. Finally the CO2:H2O ice ratios observed towards the sources in Rho Oph show significantly greater scatter than in the other regions, possibly due to varying local conditions around the YSOs in Rho Oph. (Abridged)
description: 15 pages, 9 figures. Accepted for publication in Astronomy & Astrophysics. Version including appendix containing atlas of spectra available at http://www.ast.cam.ac.uk/~rda/cvfpaper.ps.gz
title: Actionable Light-weight Process Guidance
title: approach, prototype, and industrial user study
titleType: Subtitle
Creators: name: Mayr-Dorn, Christoph
name: Ratju, Cosmina-Cristina
name: Marchezan de Paula, Luciano
name: Keplinger, Felix
name: Egyed, Alexander
name: Walden, Gala
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: process
subject: constraints
subject: quality assurance
subject: traceability
subject: engineering guidance
subject: repairs

description: Our work addresses software engineering organizations working in safety-critical fields who need rigorous processes with defined software quality assurance (QA) measures to ensure high-quality and safe engineering outputs. A significant challenge engineers face is following the correct process for their specific work context—understanding when steps are ready to begin, identifying any actions still needed to complete a step, and recognizing when rework is required. This paper introduces and evaluates ProGuide, a framework offering practical, lightweight process guidance by continually checking preconditions, postconditions, and QA constraints. When a violation occurs, it suggests concrete repair actions. Evaluations conducted on a safety-critical open-source system and with engineers from our industry partner ACME-Automotive demonstrated that ProGuide’s repair suggestions were comprehensive and limited in number, reducing both frustration and errors compared to having no process guidance.
title: Learning From Each Other
title: How Are Architectural Mistakes Communicated in Industry?
titleType: Subtitle
Creators: name: Wiese, Marion
name: Brand, Axel-Frederik
name: van Hoorn, André
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Software Architecture
subject: Software Architecture Knowledge
subject: Software Architecture Decisions
subject: Software Architecture Communication

description: Own experiences and faulty decisions can be an important source of information for software architects. The experiences and mistakes of other architects can also be valuable information sources. Under the assumption that the knowledge about faulty decisions, i.e., mistakes, regarding software architecture is not shared adequately in practice, this work qualitatively investigates the handling and particularly communication of those mistakes by software architects. We conducted a grounded-theory study in which we interviewed ten German software architects from various domains. We identified software architects’ definitions of architectural mistakes, their handling of these mistakes, and their preferred communication strategies regarding these mistakes. We found that architects communicate mistakes mainly within their project teams and seldom within or across companies. We derived strategies to make learning and prevention of mistakes more effective. To share experiences and knowledge beyond architects’ peer groups, companies should invest more effort in discussing mistakes more consciously and create an environment where mistakes can be discussed openly.
Synergistic regulation of Rgs4 mRNA by HuR and miR-26/RISC in neurons
Creators: name: Ehses, Janina
name: Fernández-Moya, Sandra M.
name: Schröger, Luise
name: Kiebler, Michael A.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Biophysics
subject: Cell Biology
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: FOS: Biological sciences
subject: Pharmacology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: 110309 Infectious Diseases
subject: Computational Biology

description: The negative regulator of G-protein signalling 4 (Rgs4) is linked to several neurologic diseases, e.g. schizophrenia, addiction, seizure and pain perception. Consequently, Rgs4 expression is tightly regulated, resulting in high mRNA and protein turnover. The post-transcriptional control of gene expression is mediated via RNA-binding proteins (RBPs) that interact with mRNAs in a combinatorial fashion. Here, we show that in neurons the RBP HuR reduces endogenous Rgs4 expression by destabilizing Rgs4 mRNA. Interestingly, in smooth muscle cells, Rgs4 is stabilized by HuR, indicating tissue-dependent differences in HuR function. Using in vitro RNA-based pulldown experiments, we identify the functional AU-rich element (ARE) within the Rgs4 3ʹ-UTR that is recognized and bound by HuR. Bioinformatic analysis uncovered that this ARE lies within a highly conserved area next to a miR-26 binding site. We find that the neuronal-enriched miR-26 negatively influences Rgs4 expression in neurons. Further, HuR and miR-26 act synergistically in fluorescent reporter assays. Together, our data suggest a regulatory mechanism, in which an RBP selectively destabilizes a target mRNA in cooperation with a miRNA and the RISC machinery.
Fair Sampling by Simulated Annealing on Quantum Annealer
Creators: name: Yamamoto, Masayuki
name: Ohzeki, Masayuki
name: Tanaka, Kazuyuki
Publisher: name: arXiv
Year: 2019
Subjects: subject: Quantum Physics (quant-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Conventional quantum annealing does not sample all ground states fairly. We demonstrate that fair sampling can be achieved by performing simulated annealing on a quantum annealer. We discuss the problems that occur when implementing this method and propose an alternative way to overcome them. We numerically verify the fair sampling ability of our method in a small-scale toy model.
description: 2 pages, 2 figures. Submitted to J. Phys. Soc. Jpn
New insights for setting up contractual options for demand side flexibility
Creators: name: Chicco, Gianfranco
name: Mazza, Andrea
Publisher: name: arXiv
Year: 2019
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This paper exploits the Duration-of-Use of the demand patterns as a key concept for dealing with demand side flexibility. Starting from the consideration that fine-grained energy metering is not used at the point of supply of the electricity consumers, i.e., the granularity of the energy measured (at time steps of 15 minutes, 30 minutes or one hour), the event-based energy metering (EDM) is indicated as a viable option to provides a very detailed reconstruction of the demand patterns. The use of EDM enables high-quality tracking of the demand peaks with a reduced number of data with respect to the ones needed to measure energy at regular time steps for reaching a similar peak tracking capability. From the EDM outcomes, a new class of options for setting up tariffs or contracts for flexibility, based on the demand duration curve, is envisioned.
The Mysterious Absence of Neutral Hydrogen within One Mpc of a Luminous Quasar at Redshift 2.168
Creators: name: Francis, Paul J.
name: Bland-Hawthorn, Joss
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The intense UV radiation from a highly luminous QSO should excite fluorescent Ly-alpha emission from any nearby neutral hydrogen clouds. We present a very deep narrow-band search for such emission near the z=2.168 quasar PKS 0424-131, obtained with the Taurus Tunable Filter on the Anglo-Australian Telescope. By working in the UV, at high spectral resolution and by using charge shuffling, we have been able to reach surface brightness limits as faint as 4.7E-19 erg/cm^2/s/arcsec^2. No fluorescent Ly-alpha emission is seen, whereas QSO absorption-line statistics suggest that we should have seen ~6 clouds, unless the clouds are larger than ~ 100 kpc in size. Furthermore, we do not even see the normal population of Ly-alpha emitting galaxies found by other surveys at this redshift. This is very different fromobservations of high redshift radio galaxies, which seem to be surrounded by clusters of Ly-alpha emitters. We tentatively conclude that there is a deficit of neutral hydrogen close to this quasar, perhaps due to the photo-evaporation of nearby dwarf galaxies.
description: Accepted for publication in MNRAS
The Discovery of a Twelfth Wolf-Rayet Star in the Small Magellanic Cloud
Creators: name: Massey, Philip
name: Olsen, K. A. G.
name: Parker, J. Wm.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We report the discovery of a relatively faint (V=15.5) early-type WN star in the SMC. The line strength and width of He II lambda 4686 emission is similar to that of the other SMC WNs, and the presense of N V lambda 4603,19 emission (coupled with the lack of N III) suggests this star is of spectral type WN3-4.5, and thus is similar in type to the other SMC WRs. Also like the other SMC WN stars, an early-type absorption spectrum is weakly present. The absolute magnitude is comparable to that of other (single) Galactic early-type WNs. The star is located in the Hodge 53 OB association, which is also the home of two other SMC WNs. This star, which we designate SMC-WR12, was actually detected at a high significance level in an earlier interference-filter survey, but the wrong star was observed as part of a spectroscopic followup, and this case of mistaken identity resulted in its Wolf-Rayet nature not being recognized until now.
description: Accepted by PASP (November 2003 issue)
title: JPlag
title: Detecting Obfuscated Software Plagiarism using Token Normalization Graphs
titleType: Subtitle
Creators: name: Schmid, Larissa
name: Hahner, Sebastian
name: Sağlam, Timur
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Software Plagiarism Detection
subject: Plagiarism Obfuscation
subject: Obfuscation Attacks
subject: Jplag

description: While software plagiarism detectors have been used for decades, the assumption that evading detection requires programming proficiency is challenged by the emergence of automated plagiarism generators. These generators enable effortless obfuscation attacks, exploiting vulnerabilities in existing detectors by inserting statements to disrupt the matching. We present a language-independent defense mechanism that leverages program dependence graphs, rendering such attacks infeasible. We evaluate our approach with multiple real-world datasets and show that it defeats plagiarism generators by offering resilience against automated obfuscation while maintaining a low rate of false positives.
title: Software Reconfiguration in Robotics
Creators: name: Peldszus, Sven
name: Brugali, Davide
name: Strüber, Daniel
name: Pelliccione, Patrizio
name: Berg, Thorsten
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: software reconfiguration
subject: robotics
subject: state of the art
subject: state of practice

description: We present our article on our empirical study of software reconfiguration in robotics, which was published as a journal-first article in Empirical Software Engineering (EMSE). In this article, we assessed and compared the state of the art and practice in automated software reconfiguration in robotic systems at runtime. To operate in diverse environments, robotic systems need to reconfigure their software, e.g., by loading/unloading software modules or changing their parameters, to cope with changing missions and conditions. We identified a significant mismatch between how reconfiguration is considered in the state-of-the-art, derived from a review of 78 academic publications on reconfiguration in robotics, and the state-of-practice, derived from a review of how reconfiguration is supported by four popular robotics frameworks and what is implemented in 48 robotics (sub)systems on GitHub. While research focuses on complex structural reconfiguration, considering advanced triggers and constraints, in practice only parameter reconfiguration has been widely adopted. We provide practitioners with best practices for developing reconfigurable robotic systems, and researchers with the insights needed to focus on reconfiguration techniques that are applicable in practice.
title: Requirements Classification for Traceability Link Recovery
Creators: name: Hey, Tobias
name: Keim, Jan
name: Corallo, Sophie
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Requirements Classification
subject: Traceability Link Recovery
subject: Requirements Engineering
subject: Machine Learning
subject: Information Retrieval
subject: Large Language Models (LLM)

description: The paper assesses the potential of requirements classification approaches to identify parts of requirements that are irrelevant for automated traceability link recovery between requirements and code. We were able to show that automatic identification of parts of requirements that do not describe functional aspects can significantly improve the recovery performance and that the parts can be identified with an F1-score of 84 %.
title: Detecting Usage of Deprecated Web APIs via Tracing
Creators: name: van Hoorn, André
name: Bonorden, Leif
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025

description: While deprecation for local APIs is well-researched and supported by tools, web and other remote APIs have scarcely been studied. The few previous approaches focused on static analysis, accepting essential limitations. We introduce a dynamic approach that first detects calls to web APIs using tracing and, subsequently, checks the called APIs for deprecation using an API specification, response meta-data, or a knowledge base.
Boundary non-local charges from the open spin chain
Creators: name: Doikou, Anastasia
Publisher: name: arXiv
Year: 2004
Subjects: subject: Mathematical Physics (math-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences
subject: 81R50, 17B37

description: The $N$ site open XXZ quantum spin chain with a right non-diagonal boundary and special diagonal left boundary is considered. The boundary non-local charges originally obtained from a field theoretical viewpoint, for the sine Gordon model on the half line, are recovered from the spin chain point of view. Furthermore, the symmetry of the open spin chain is exhibited. More specifically, we show that certain non--local charges commute with the transfer matrix of the open spin chain, depending on the choice of boundary conditions. In addition, we show explicitly that for a special choice of the left boundary, one of the non--local charges, in a particular representation, commutes with each one of the generators of the blob algebra, and hence with the corresponding local Hamiltonian.
description: 14 pages, LATEX, revised version appearing in JSTAT
THE ROLE OF PHYSICS IN THE TEACHING OF EXACT AND NATURAL SCIENCES
Creators: name: I. U. Tadjibaev
name: N. B. Otojonova
name: J. U. Begaliyev
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: physics
mathematics
chemistry
interdisciplinary communication
educational technologies
efficiency.

description: This article shows how to use integrated learning technologies in teaching physics in general secondary education and secondary special education. It also shows how important the study of concepts in physics is in the study of other sciences.
title: UMLsecRT
title: Reactive Security Monitoring of Java Applications With Round-Trip Engineering
titleType: Subtitle
Creators: name: Peldszus, Sven
name: Bürger, Jens
name: Jürjens, Jan
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Security by Design
subject: Runtime Monitoring
subject: Model-based Engineering
subject: UML
subject: Java

description: We present our article on UMLsecRT, a model-based security engineering technique that allows monitoring of Java-based systems for compliance with their security design, that was published as journal-first article in the Transactions on Software Engineering (TSE) [PBJ24a]. Despite a significant focus on security by design in academia and practice, OWASP continues to highlight insecure design as a major threat. Current runtime security monitors are cumbersome to configure and rarely used in practice. UMLsecRT simplifies this process by allowing security experts to annotate design models with security properties, which are automatically synchronized with corresponding source code annotations for efficient run-time monitoring. This technique allows to detect and react to security violations at runtime and facilitates the improvement of a system’s security design based on detected security violations. We evaluated the effectiveness, applicability, and scalability of UMLsecRT in experiments based on the DaCapo benchmark, real-world vulnerabilities, and open-source projects of various sizes. We conducted user studies on usability and practical feasibility. Two case studies, the Eclipse Secure Storage and the iTrust electronic health record system, demonstrate the potential of UMLsecRT to improve security engineering practices.
title: Rola mediacji w ochronie prawa dziecka do kontaktu z rodzicem w sytuacji rozpadu małżeństwa lub związku nieformalnego rodziców dziecka
Creators: name: Rajewska de Mezer, Joanna
Publisher: name: EDUsfera. Ewa Jurczyk-Romanowska
Year: 2020

description: Socjalizujący wpływ rodziców, tzw. znaczących innych, ma zasadnicze znaczenie dla kształtowania jednostki, sposobu jej funkcjonowania w społeczeństwie i prawidłowego wykonywania ról społecznych (Modrzewski, 2012; Szacka, 2003). Wpływ ten jest możliwy dzięki styczności występującej między rodzicami a dzieckiem podczas sprawowania pieczy rodzicielskiej - opieki nad dzieckiem i wzajemnego kontaktu, który kształtuje obie strony relacji. W przypadku rozpadu małżeństwa lub związku nieformalnego i konfliktu między rodzicami, konieczne jest właściwe uregulowanie kontaktów dziecka z rodzicem opuszczającym dom, mając na względzie dobro dziecka (Fagan, Churchill 2012). Jest to możliwe dzięki zastosowaniu instytucji mediacji.
INTERNETNING YOSH AVLODGA SALBIY TA’SIRI VA OQIBATLARI
Creators: name: Muhriddin Erkin О’g’li Orziqulov
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: 1G
2G
3G
4G
inson omili
Nimofobiya
Igromaniya
sun’iy olam

description: Hozirgi globallashuv deb nomlanayotgan davrda inson ko’proq ijtimoiy tarmoqlarga vaqt sarflashi odat tusiga aylandi .Bu bir qaraganda odatiy holatdek tuyulsada aslida juda ham o’ylashga va fikr yuritishimiz kerak bo’lgan holat va muammodir. Ruhshunoslarning ma’lumotlariga qaraganda, yoshlarda buzg’unchi, destruktiv g’oyalarga qarshi mafkuraviy Immunitet to’la shakllanmagani uchun o’qigan yoki ko’rgan ma’lumotlariga tez ishonishadi. Bunday hollarda yoshlarning ma’naviyatiga, ruhiyatiga salbiy ta’sir ko’rsatishi ko’rinib turgan va isbot talab qilmaydigan haqiqatdir.
title: Recovering Trace Links Between Software Documentation And Code
Creators: name: Keim, Jan
name: Corallo, Sophie
name: Fuchß, Dominik
name: Hey, Tobias
name: Telge, Tobias
name: Koziolek, Anne
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: software traceability
subject: software architecture
subject: documentation
subject: transitive links
subject: intermediate artifacts
subject: information retrieval

description: Our paper [Ke24] that was published at the 2024 46th IEEE International Conference on Software Engineering (ICSE) is about Traceability Link Recovery (TLR) between Software Architecture Documentations and Code using Software Architecture Models as intermediate Artifacts.
`Thermal' SiO radio line emission towards M-type AGB stars: a probe of circumstellar dust formation and dynamics
Creators: name: Delgado, D. Gonzalez
name: Olofsson, H.
name: Kerschbaum, F.
name: Schoeier, F. L.
name: Lindqvist, M.
name: Groenewegen, M. A. T.
Publisher: name: arXiv
Year: 2003
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: An extensive radiative transfer analysis of circumstellar SiO `thermal' radio line emission from a large sample of M-type AGB stars has been performed. The sample contains 18 irregulars of type Lb (IRV), 7 and 34 semiregulars of type SRa and SRb (SRV), respectively, and 12 Miras. New observational material, which contains data in several SiO rotational lines in the ground vibrational state, is presented for the IRV/SRVs. The detection rate was about 60%. SiO fractional abundances have been determined through radiative transfer modelling. The abundance distribution of the IRV/SRV sample has a median value of 8E-6. The high mass loss rate Miras have a bimodal abundance distribution, a low abundance group (on average 4E-7) and a high abundance group (on average 7E-6). The derived SiO abundances are in all cases well below the abundance expected from stellar atmosphere chemistry, on average by a factor of ten. In addition, there is a trend of decreasing SiO abundance with increasing mass loss rate. This is interpreted in terms of depletion of SiO molecules by the formation of silicate grains in the circumstellar envelopes, with an efficiency which increases with the mass loss rate. The SiO and CO radio line profiles differ in shape. In general, the dominating part of the SiO profiles are narrower than the CO profiles, but they have low-intensity wings which cover the full velocity range of the CO profile. This is interpreted (as has been done also by others) as due to the influence of gas acceleration in the region which produces a significant fraction of the SiO line emission. Finally, a number of sources which have peculiar CO line profiles are discussed from the point of view of their SiO line properties.
description: 25 pages, 13 figures, A&A in press
title: Role-based Modeling of Business Processes with RBPMN
Creators: name: Skouti, Tarek
name: Sieger, Ronny
name: Furrer, Frank J.
name: Strahringer, Susanne
Publisher: name: Gesellschaft für Informatik, Bonn
Year: 2025
Subjects: subject: Business Process Modeling
subject: Role-based Modeling
subject: Cyber-physical Systems

description: Traditionally, companies use business process (BP) models to describe and design their organizational processes involving digital entities and humans. Advances in the development of Cyber-physical Systems (CPS) allow companies to expand their BPs into the physical world. While this expansion might contribute to higher degrees of automation and efficiency of an organization’s BPs, it could also negatively affect the complexity of the BP models. Existing BP notations show shortcomings when modeling interactions and responsibilities within modern dynamic processes that involve digital, human, and non-human work performers. In this work, we extend the Business Process Model and Notation (BPMN 2.0) standard with a modern understanding of Roles to highlight responsibilities and interactions of entities performing work in BPs. We apply the proposed extension–RBPMN–to BPs in a smart factory context. By using roles we achieve an improved expressiveness for modeling complex and context-sensitive BPs with a high degree of variability to tame complexity.
ДЕЙКСИС ҲОДИСАСИНИНГ ЛИНГВИСТИК ТАЛҚИНИ
Creators: name: Г. Ф. Болтақулова
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: дейксис
замон
анафора
контекст
мулоқот
нутқ маркази
сўзловчи
тингловчи

description: Мазкур мақолада дейксис ҳодисаси лингвистик талқин қилиниб, бунда дейктик бирликларнинг турлари ҳамда лексик-семантик хусусиятлари таҳлил қилинган.
ФРАЗЕОЛОГИК БИРЛИКЛАРНИНГ ИНГЛИЗ ВА ЎЗБЕК ТИЛЛАРИДА ТАРЖИМА ҚИЛИНИШ ТАРАҚҚИЁТИ
Creators: name: Дильноза Исмоил Қизи Абдукабирова
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: ходисалар
фразеологик бирликлар
нутқ
умумлаштирилган маьно
лексик – семантик бирлик
метафора
парадигма

description: Ҳаѐтимиз давомида атрофимизда кўплаб воқеа – ҳодисаларга дуч келамиз. Шундай ҳолатларда ҳар сафар биз ўзимиз учун янгиликлар олишни хоҳлаймиз ва уларнинг тарихи ҳақида қизиқамиз. Aслида биз ўзига хос миллий характерга ега бўлган ижтимоий-тарихий, интеллектуал ва ҳиссий маълумотларни тўплаймиз. Ҳозирги кунда бизнинг мулоқотимизга ўзгача кўрк берувчи фразеология бўлими кўплаб олимлар диққат еътиборига тушиб улгурган десам адашмайман. Aслида фразеология турли хил филологик текширувларнинг машҳур соҳаси ҳисобланади. Олимларнинг фикрларига кўра фразеологик бирликлар маданият ҳодисалари сифатида тушуниш билан боғлиқ бўлиб, уларнинг маданий хусусиятлари улар иштирок етган гапларда ўрганилади. Шундай қилиб, “фразеологизм” сўзи социолингвистика фани доирасига киритилди. Фразеологик бирликларнинг енг яхши таърифларидан бири қуйидагича: бу қисман ѐки тўлиқ мажозий маънога ега сўзларнинг барқарор, изчил бирикмасидир.
TALABA YOSHLARNI TOLERANTLIK RUHIDA TARBIYALASHNING PSIXOLOGIK TAMOILLARI
Creators: name: Aloxon Arabjon Qizi Xoldaraliyeva
name: Usmonov, Sherzod Axmadjonovich
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: Tolerantlik
raqobatchilik
hamkorlik
kelishuvchanlik
ziddiyatdan qochish
moslashuvchanlik

description: Ushbu maqolada talaba yoshlarni tolerantlik ruhida bugungi kunning dolzar mavzulardan ekanligi, Sharq mutafakkirlarining tolerantlik haqidagi qarashlari, bugunki kunda talaba yoshlarda bag’rikenglik tamoillarining xulq-atvorda namoyon bo’lishi ilmiy o’rganilgan.
QCD Condensates for the Light Quark V-A Correlator
Creators: name: Cirigliano, V.
name: Golowich, E.
name: Maltman, K.
Publisher: name: arXiv
Year: 2003
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We use the procedure of pinched-weight Finite Energy Sum Rules (pFESR) to determine the OPE coefficients a_6, ...,a_16 of the flavor ud V-A correlator in terms of existing hadronic tau decay data. We show by appropriate weight choices that the error on the dominant d=6 contribution, which is known to be related to the K -> Pi Pi matrix elements of the electroweak penguin operator in the chiral limit, may be reduced to below the ~15% level. The values we obtain for the OPE coefficients with d>8 are shown to naturally account for the discrepancies between our results for the d=6 and d=8 terms and those of previous analyses, which were obtained neglecting d>8 contributions.
description: 43 pages, 8 figures (higher definition plots available from authors), 2 tables, comment added in Sect. IVC
Integral Field Spectroscopy of Green Peas (I): Disentangling disk-like, turbulence and strong outflow kinematics in SDSSJ083843.63+385350.5
Creators: name: Bosch, G.
name: Hägele, G. F.
name: Amorín, R.
name: Firpo, V.
name: Cardaci, M. V.
name: Vílchez, J. M.
name: Pérez-Montero, E.
name: Papaderos, P.
name: Dors, O. L.
name: Krabbe, A. C.
name: Campuzano-Castro, F.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Integral Field Spectroscopy (IFS) is well known for providing detailed insight of extended sources thanks to the possibility of handling space resolved spectroscopic information. Simple and straightforward analysis such as single line fitting yield interesting results, although it might miss a more complete picture in many cases. Violent star forming regions, such as starburst galaxies, display very complex emission line profiles due to multiple kinematic components superposed in the line of sight. We perform a spatially resolved kinematical study of a single Green Pea (GP) galaxy, SDSSJ083843.63+385350.5, using a new method for analyzing Integral Field Unit (IFU) observations of emission line spectra. The method considers the presence of multiple components in the emission-line profiles and makes use of a statistical indicator to determine the meaningful number of components to fit the observed profiles. We are able to identify three distinct kinematic features throughout the field and discuss their link with a rotating component, a strong outflow and a turbulent mixing layer. We also derive an updated star formation rate for \ourobj and discuss the link between the observed signatures of a large scale outflow and of the Lyman continuum (LyC) leakage detected in GP galaxies.
description: Accepted for publication in MNRAS
ҚЎҚОН ХОНЛИГИ ВА РОССИЯ ЎРТАСИДАГИ ДИПЛОМАТИК АЛОҚАЛАР ТАРИХИНИНГ ЎРГАНИЛИШИ БЎЙИЧА АЙРИМ МУЛОҲАЗАЛАР
Creators: name: А. К. Нафасов
name: С. А. Тоштемирова
Publisher: name: Academic research in educational sciences
Year: 2021
Subjects: Қўқон хонлиги
Россия империяси
даврлаштириш
таҳлил
тарихнавислик
манбалар
тадқиқот ишлари
сиѐсий тарих
савдо алоқалари
дипломатик алоқалар
элчилик муносабатлари
ички ва ташқи савдо
мафкуравий тазийқ
гурухбозлик
тарихийлик
илмийлик
объективлик
ишончлилик

description: Мазкур мақолада Қўқон хонлигининг Россия империяси билан олиб борилган ўзаро сиѐсий ҳамда дипломатик алоқалар тарихининг тарихшунослиги бўйича манбалар даврлаштирилган ҳолда таҳлил қилинган. Қўқон хонлиги дипломатик муносабатлари тарихшунослигидаги манбаларнинг ўзига хос жиҳатлари, турли даврларда яратилган тарихий-илмий асарларда келтирилган илмий мулоҳазалардаги турлича ѐндашувлар баѐн этилган.