cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Program Derivation by Correctness Enhacements
Creators: name: Diallo, Nafi
name: Ghardallou, Wided
name: Desharnais, Jules
name: Mili, Ali
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P' refines program P if and only if P' is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by successive refinements: each step of this process mandates that we transform a program P into a program P' that refines P, i.e. P' is more-correct than P with respect to any specification. This raises the question: why should we want to make P' more-correct than P with respect to any specification, when we only have to satisfy specification R? In this paper, we discuss a process of program derivation that replaces traditional sequence of refinement-based correctness-preserving transformations starting from specification R by a sequence of relative correctness-based correctness-enhancing transformations starting from abort.
description: In Proceedings Refine'15, arXiv:1606.01344
Carbon membranes for efficient water-ethanol separation
Creators: name: Gravelle, Simon
name: Yoshida, Hiroaki
name: Joly, Laurent
name: Ybert, Christophe
name: Bocquet, Lydéric
Publisher: name: arXiv
Year: 2016
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: Chemical Physics (physics.chem-ph)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences

description: We demonstrate, on the basis of molecular dynamics simulations, the possibility of an efficient water-ethanol separation using nanoporous carbon membranes, namely carbon nanotube membranes, nanoporous graphene sheets, and multilayer graphene membranes. While these carbon membranes are in general permeable to both pure liquids, they exhibit a counter-intuitive "self-semi-permeability" to water in the presence of water-ethanol mixtures. This originates in a preferred ethanol adsorption in nanoconfinement that prevents water molecules from entering the carbon nanopores. An osmotic pressure is accordingly expressed across the carbon membranes for the water-ethanol mixture, which agrees with the classic van't Hoff type expression. This suggests a robust and versatile membrane-based separation, built on a pressure-driven reverse-osmosis process across these carbon-based membranes. In particular, the recent development of large-scale 'graphene-oxide' like membranes then opens an avenue for a versatile and efficient ethanol dehydration using this separation process, with possible application for bio-ethanol fabrication.
description: Accepted for publication in the Journal of Chemical Physics
Beam Characterization at the KAERI UED Beamline
Creators: name: Setiniyaz, Sadiq
name: Kim, Hyun Woo
name: Baek, In-Hyung
name: Nam, Jinhee
name: Chae, MoonSik
name: Han, Byung-Heon
name: Gudkov, Boris
name: Jang, Kyu Ha
name: Park, Sunjeong
name: Miginsky, Sergey
name: Vinokurov, Nikolay
name: Jeong, Young Uk
Publisher: name: arXiv
Year: 2016
Subjects: subject: Accelerator Physics (physics.acc-ph)
subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: The UED (ultrafast electron diffraction) beamline of the KAERI's (the Korea Atomic Energy Research Institute's) WCI (World Class Institute) Center has been successfully commissioned. We have measured the beam emittance by using the quadrupole scan technique and the charge by using a novel measurement system we have developed. In the quadrupole scan, a larger drift distance between the quadrupole and the screen is preferred because it gives a better thin-lens approximation. A high bunch-charge beam, however, will undergo emittance growth in the long drift caused by the space-charge force. We present a method that mitigates this growth by introducing a quadrupole scan with a short drift and without using the thin-lens approximation. The quadrupole in this method is treated as a thick lens, and the emittance is extracted by using the thick-lens equations. Apart from being precise, our method can be readily applied without making any change to the beamline and has no need for a big drift space. For charge measurement, we have developed a system consisting of an in-air Faraday cup (FC) and a preamplifier. Tests performed utilizing 3.3-MeV electrons show that the system was able to measure bunches with pulse durations of tens of femtoseconds at 10 fC sensitivity.
description: published on JKPS: http://link.springer.com/article/10.3938/jkps.69.1019#aboutarticle
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
Creators: name: Miyazawa, Alvaro
name: Cavalcanti, Ana
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Safety-Critical Java (SCJ) is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler architecture, and simpler concurrency and memory models. In this paper, we present SCJ-Circus, a refinement-oriented formal notation that supports the specification and verification of low-level programming models that include the new abstractions introduced by SCJ. SCJ-Circus is part of the family of state-rich process algebra Circus, as such, SCJ-Circus includes the Circus constructs for modelling sequential and concurrent behaviour, real-time and object orientation. We present here the syntax and semantics of SCJ-Circus, which is defined by mapping SCJ-Circus constructs to those of standard Circus. This is based on an existing approach for modelling SCJ programs. We also extend an existing Circus-based refinement strategy that targets SCJ programs to account for the generation of SCJ-Circus models close to implementations in SCJ.
description: In Proceedings Refine'15, arXiv:1606.01344
Magnetic fields in protoplanetary disks: from MHD simulations to ALMA observations
Creators: name: Bertrang, Gesa H. -M.
name: Flock, Mario
name: Wolf, Sebastian
Publisher: name: arXiv
Year: 2016
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: Magnetic fields significantly influence the evolution of protoplanetary disks and the formation of planets, following the predictions of numerous magnetohydrodynamic (MHD) simulations. However, these predictions are yet observationally unconstrained. To validate the predictions on the influence of magnetic fields on protoplanetary disks, we apply 3D radiative transfer simulations of the polarized emission of aligned aspherical dust grains that directly link 3D global non-ideal MHD simulations to ALMA observations. Our simulations show that it is feasible to observe the predicted toroidal large-scale magnetic field structures, not only in the ideal observations but also with high-angular resolution ALMA observations. Our results show further that high angular resolution observations by ALMA are able to identify vortices embedded in outer magnetized disk regions.
description: Accepted for publication in MNRAS Letters
Global topological control for synchronized dynamics on networks
Creators: name: Cencetti, Giulia
name: Bagnoli, Franco
name: Battistelli, Giorgio
name: Chisci, Luigi
name: Di Patti, Francesca
name: Fanelli, Duccio
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Adaptation and Self-Organizing Systems (nlin.AO)
subject: Pattern Formation and Solitons (nlin.PS)
subject: FOS: Physical sciences

description: A general scheme is proposed and tested to control the symmetry breaking instability of a homogeneous solution of a spatially extended multispecies model, defined on a network. The inherent discreteness of the space makes it possible to act on the topology of the inter-nodes contacts to achieve the desired degree of stabilization, without altering the dynamical parameters of the model. Both symmetric and asymmetric couplings are considered. In this latter setting the web of contacts is assumed to be balanced, for the homogeneous equilibrium to exist. The performance of the proposed method are assessed, assuming the Complex Ginzburg-Landau equation as a reference model. In this case, the implemented control allows one to stabilize the synchronous limit cycle, hence time-dependent, uniform solution. A system of coupled real Ginzburg-Landau equations is also investigated to obtain the topological stabilization of a homogeneous and constant fixed point.
title: Establishment of a reliable in-vivo model of implant-associated infection to investigate innovative treatment options
Creators: name: Kreis, Carolin Anna-Amalie
name: Aschenbrenner, Fania
name: Günther, D.
name: Tholema‑Hans, Nancy
name: Koeppe, Jeanette
name: Roßlenbroich, Steffen Bernd
name: Raschke, Michael J.
name: Fuchs, Thomas
Publisher: name: University of Muenster, Institutional Repository MIAMI
Year: 2023
Subjects: subject: 610 Medicine and health

description: The increasing number of implant-associated infections and of multiresistant pathogens is a major problem in the daily routine. In the field of osteomyelitis, it is difficult to manage a valid clinical study because of multiple influencing factors. Therefore, models of osteomyelitis with a simulation of the pathophysiology to evaluate treatment options for implant-associated infections are necessary. The aim of this study is to develop a standardized and reproducible osteomyelitis model in-vivo to improve treatment options. This study analyses the influence of a post-infectious implant exchange one week after infection and the infection progress afterward in combination with a systemic versus a local antibiotic treatment in-vivo. Therefore, the implant exchange, the exchange to a local drug-delivery system with gentamicin, and the implant removal are examined. Furthermore, the influence of an additional systemic antibiotic therapy is evaluated. An in-vivo model concerning the implant exchange is established that analyzes clinic, radiologic, microbiologic, histologic, and immunohistochemical diagnostics to obtain detailed evaluation and clinical reproducibility. Our study shows a clear advantage of the combined local and systemic antibiotic treatment in contrast to the implant removal and to a non-combined antibiotic therapy. Group genta/syst. showed the lowest infection rate with a percentage of 62.5% concerning microbiologic analysis, which is in accordance with the immunohistochemical, cytochemical, histologic, and radiologic analysis. Our in-vivo rat model has shown valid and reproducible results, which will lead to further investigations regarding treatment options and influencing factors concerning the therapy of osteomyelitis and implant-associated infections.
description: Finanziert über die DEAL-Vereinbarung mit Wiley 2019-2022.
Emissions and Energy Impacts of the Inflation Reduction Act
Creators: name: Bistline, John
name: Blanford, Geoffrey
name: Brown, Maxwell
name: Burtraw, Dallas
name: Domeshek, Maya
name: Farbes, Jamil
name: Fawcett, Allen
name: Hamilton, Anne
name: Jenkins, Jesse
name: Jones, Ryan
name: King, Ben
name: Kolus, Hannah
name: Larsen, John
name: Levin, Amanda
name: Mahajan, Megan
name: Marcy, Cara
name: Mayfield, Erin
name: McFarland, James
name: McJeon, Haewon
name: Orvis, Robbie
name: Patankar, Neha
name: Rennert, Kevin
name: Roney, Christopher
name: Roy, Nicholas
name: Schivley, Greg
name: Steinberg, Daniel
name: Victor, Nadejda
name: Wenzel, Shelley
name: Weyant, John
name: Wiser, Ryan
name: Yuan, Mei
name: Zhao, Alicia
Publisher: name: arXiv
Year: 2023
Subjects: subject: Physics and Society (physics.soc-ph)
subject: General Economics (econ.GN)
subject: FOS: Physical sciences
subject: FOS: Economics and business

description: If goals set under the Paris Agreement are met, the world may hold warming well below 2 C; however, parties are not on track to deliver these commitments, increasing focus on policy implementation to close the gap between ambition and action. Recently, the US government passed its most prominent piece of climate legislation to date, the Inflation Reduction Act of 2022 (IRA), designed to invest in a wide range of programs that, among other provisions, incentivize clean energy and carbon management, encourage electrification and efficiency measures, reduce methane emissions, promote domestic supply chains, and address environmental justice concerns. IRA's scope and complexity make modeling important to understand impacts on emissions and energy systems. We leverage results from nine independent, state-of-the-art models to examine potential implications of key IRA provisions, showing economy wide emissions reductions between 43-48% below 2005 by 2035.
Programming Language Features for Refinement
Creators: name: Koenig, Jason
name: Leino, K. Rustan M.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Programming Languages (cs.PL)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences
subject: D.2.4; D.3.2

description: Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but mainstream languages lack features for recording the sequence of refinement steps in the program text. To experiment with the combination of refinement, automated verification, and language design, refinement features have been added to the verification-aware programming language Dafny. This paper describes those features and reflects on some initial usage thereof.
description: In Proceedings Refine'15, arXiv:1606.01344
Mid-infrared time-resolved photoconduction in black phosphorus
Creators: name: Suess, Ryan J.
name: Leong, Edward
name: Garrett, Joseph L.
name: Zhou, Tong
name: Salem, Reza
name: Munday, Jeremy N.
name: Murphy, Thomas E.
name: Mittendorff, Martin
Publisher: name: arXiv
Year: 2016
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Black phosphorus has attracted interest as a material for use in optoelectronic devices due to many favorable properties such as a high carrier mobility, field-effect, and a direct bandgap that can range from 0.3 eV in its bulk crystalline form to 2 eV for a single atomic layer. The low bandgap energy for bulk black phosphorus allows for direct transition photoabsorption that enables detection of light out to mid-infrared frequencies. In this work we characterize the room temperature optical response of a black phosphorus photoconductive detector at wavelengths ranging from 1.56 $μ$m to 3.75 $μ$m. Pulsed autocorrelation measurements in the near-infrared regime reveal a strong, sub-linear photocurrent nonlinearity with a response time of 1 ns, indicating that gigahertz electrical bandwidth is feasible. Time resolved photoconduction measurements covering near- and mid-infrared frequencies show a fast 65 ps rise time, followed by a carrier relaxation with a time scale that matches the intrinsic limit determined by autocorrelation. The sublinear photoresponse is shown to be caused by a reduction in the carrier relaxation time as more energy is absorbed in the black phosphorus flake and is well described by a carrier recombination model that is nonlinear with excess carrier density. The device exhibits a measured noise-equivalent power of 530 pW/$\sqrt{\text{Hz}}$ which is the expected value for Johnson noise limited performance. The fast and sensitive room temperature photoresponse demonstrates that black phosphorus is a promising new material for mid-infrared optoelectronics.
description: 18 pages, 6 figures
Extended Nuclear Quadrupole Resonance Study of the Heavy-Fermion Superconductor PuCoGa$_5$
Creators: name: Koutroulakis, G.
name: Yasuoka, H.
name: Tobash, P. H.
name: Mitchell, J. N.
name: Bauer, E. D.
name: Thompson, J. D.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: PuCoGa$_5$ has emerged as a prototypical heavy-fermion superconductor, with its transition temperature ($T_c\simeq18.5$ K) being the highest amongst such materials. Nonetheless, a clear description as to what drives the superconducting pairing is still lacking, rendered complicated by the notoriously intricate nature of plutonium's 5$f$ valence electrons. Here, we present a detailed $^{69,71}$Ga nuclear quadrupole resonance (NQR) study of PuCoGa$_5$, concentrating on the system's normal state properties near to $T_c$ and aiming to detect distinct signatures of possible pairing mechanisms. In particular, the quadrupole frequency and spin-lattice relaxation rate were measured for the two crystallographically inequivalent Ga sites and for both Ga isotopes, in the temperature range 1.6 K - 300 K. No evidence of significant charge fluctuations is found from the NQR observables. On the contrary, the low-energy dynamics is dominated by anisotropic spin fluctuations with strong, nearly critical, in-plane character, which are effectively identical to the case of the sister compound PuCoIn$_5$. These findings are discussed within the context of different theoretical proposals for the unconventional pairing mechanism in heavy-fermion superconductors.
description: 7 pages, 8 figures
X-ray/H$α$ scaling relationships in stellar flares
Creators: name: Kawai, Hiroki
name: Tsuboi, Yohko
name: Iwakiri, Wataru B.
name: Maeda, Yoshitomo
name: Katsuda, Satoru
name: Sasaki, Ryo
name: Kohara, Junya
name: TEAM, MAXI
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We report on the results of our simultaneous observations of three large stellar flares with soft X-rays (SXRs) and an H$\mathrmα$ emission line from two binary systems of RS CVn type. The energies released in the X-ray and H$\mathrmα$ emissions during the flares were $10^{36}$--$10^{38}$ and $10^{35}$--$10^{37}$ erg, respectively. It renders the set of the observations as the first successful simultaneous X-ray/H$\mathrmα$ observations of the stellar flares with energies above $10^{35}$ erg; although the coverage of the H$\mathrmα$ observations of the stellar flares with energies above $10^{35}$ erg; although the coverage of the H$\mathrmα$ observations was limited, with $\sim$10\% of the $e$-folding time in the decay phase of the flares, that of the SXR ones was complete. Combining the obtained physical parameters and those in literature for solar and stellar flares, we obtained a good proportional relation between the emitted energies of X-ray and H$\mathrmα$ emissions for a flare energy range of $10^{29}$--$10^{38}$ erg. The ratio of the H$\mathrmα$-line to bolometric X-ray emissions was $\sim$0.1, where the latter was estimated by converting the observed SXR emission to that in the 0.1--100 keV band according to the best-fitting thin thermal model. We also found that the $e$-folding times of the SXR and H$\mathrmα$ light curves in the decaying phase of a flare are in agreement for a time range of $1$--$10^4$~s. Even very large stellar flares with energies of six orders of magnitude larger than the most energetic solar flares follow the same scaling relationships with solar and much less energetic stellar flares. This fact suggests that their physical parameters can be estimated on the basis of the known physics of solar and stellar flares.
description: 12 pages, 7 figures
Noise induces rare events in granular media
Creators: name: Khain, Evgeniy
name: Sander, Leonard M.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: The granular Leidenfrost effect (B. Meerson et al, Phys. Rev. Lett. {\bf 91}, 024301 (2003), P. Eshuis et al, Phys. Rev. Lett. {\bf 95}, 258001 (2005)) is the levitation of a mass of granular matter when a wall below the grains is vibrated giving rise to a hot granular gas below the cluster. We find by simulation that for a range of parameters the system is bistable: the levitated cluster can occasionally break and give rise to two clusters and a hot granular gas above and below. We use techniques from the theory of rare events to compute the mean transition time for breaking to occur. This requires the introduction of a two-component reaction coordinate.
Towards linking correctness conditions for concurrent objects and contextual trace refinement
Creators: name: Dongol, Brijesh
name: Groves, Lindsay
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for them have been developed. However, arguments about correctness are conducted with respect to an object in isolation. This is in contrast to real-world practice, where concurrent objects are often implemented as part of a programming language library (e.g., java.util.concurrent) and are instantiated within a client program. A natural question to ask, then is: How does a correctness condition for a concurrent object ensure correctness of a client program that uses the concurrent object? This paper presents the main issues that surround this question and provides some answers by linking different correctness conditions with a form of trace refinement.
description: In Proceedings Refine'15, arXiv:1606.01344
Robust spin transfer torque in antiferromagnetic tunnel junctions
Creators: name: Saidaoui, H.
name: Manchon, A.
name: Waintal, X.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We theoretically study the current-induced spin torque in antiferromagnetic tunnel junctions, composed of two semi-infinite antiferromagnetic layers separated by a tunnel barrier, in both clean and disordered regimes. We find that the torque enabling the electrical manipulation of the Néel antiferromagnetic order parameter is out of plane $\sim {\bf n}\times{\bf p}$, while the torque competing with the antiferromagnetic exchange is in-plane $\sim {\bf n}\times({\bf p}\times{\bf n})$. Here, ${\bf { p}}$ and ${\bf { n}}$ are the Néel order parameter direction of the reference and free layers, respectively. Their bias dependence shows similar behavior as in ferromagnetic tunnel junctions, the in-plane torque being mostly linear in bias while the out-of-plane torque is quadratic. Most importantly, we find that the spin transfer torque in antiferromagnetic tunnel junctions is much more robust against disorder than in antiferromagnetic metallic spin-valves due to the tunneling nature of spin transport.
description: 7 pages, 7 figures
title: Source rock type, maturation levels and hydrocarbon potential in a suite of samples from the Birrindudu Basin, Northern Territory
Creators: name: E., Grosjean
name: S.P., Ranasinghe
name: P.J., Crosdale
Publisher: name: Commonwealth of Australia (Geoscience Australia)
Year: 2023
Subjects: subject: EFTF – Exploring for the Future
subject: Officer-Musgrave-Birrindudu
subject: Organic petrology
subject: Thermal maturity
subject: Organic macerals
subject: Bitumen reflectance
subject: Alginite reflectance
subject: Birrindudu Basin
subject: Proterozoic
subject: Geology not elsewhere classified
subject: Exploration geochemistry
subject: Published_External

description: This study was commissioned by Geoscience Australia (GA) as part of the Exploring for the Future program to produce a report on the organic petrology for rock samples from drill holes of the Birrindudu Basin, Northern Territory, Australia. A suite of 130 drill core samples from 6 drill holes was analysed using standard organic petrological methods to identify the types of organic matter present, assess their relative abundances and determine the levels of thermal maturity attained by the sedimentary organic matter using the reflectance of organoclasts present.
Data Sustainability by Professionalization of Research Data Management
Creators: name: Behrens, Kathrin
Publisher: name: Zenodo
Year: 2022
Subjects: Research Data Management

description: Research data centres (RDCs) play an essential role when it comes to sustainable archiving and management of research data. The entire research data curation cycle is in their hands, ranging from the selection of suitable data in compliance with legal and ethical standards, to comprehensive archiving services, to ensuring user-friendly data access. These activities require basic and curation-specific research data management skills, especially with regard to the specificity of data from different scientific disciplines. Past experience shows that it is an enormous challenge for social science RDCs to attract sufficiently qualified staff. A working group from the Consortium for the Social, Behavioural, Educational and Economic Sciences therefore dedicated itself to the task of advancing professionalization in research data management, specifically on curation activities in RDCs. To this end, the working group has conducted a survey among the RDCs in order to ascertain the concrete needs with regard to the required development of competencies. The presentation is intended to provide insights into the competence needs for work in areas of research data management and to give an outlook on the measures planned by the working group. These include the development of a comprehensive research data management platform and the design of a certificate course for work in RDCs. They will be significantly involved in the design and implementation of the course to ensure a continuous exchange with the target group. From this, we expect a demand-oriented professionalization of research data management and curation activities in RDCs, with the conviction that highly qualified, competent staff is the basis for a sustainable data culture.
The ideal test for the divergence of a series
Creators: name: Filipów, Rafał
name: Kwela, Adam
name: Tryba, Jacek
Publisher: name: arXiv
Year: 2023
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Rings and Algebras (math.RA)
subject: FOS: Mathematics
subject: 40A05, 46B87, 40A35 (Primary) 15A03, 46B45 (Secondary)

description: We generalize the classical Olivier's theorem which says that for any convergent series $\sum_n a_n$ with positive nonincreasing real terms the sequence $(n a_n)$ tends to zero. Our results encompass many known generalizations of Olivier's theorem and give some new instances. The generalizations are done in two directions: we either drop the monotonicity assumption completely or we relax it to the monotonicity on a large set of indices. In both cases, the convergence of $(na_n)$ is replaced by ideal convergence. In the second part of the paper, we examine families of sequences for which the assertions of our generalizations of Olivier's theorem fail. Here, we are interested in finding large linear and algebraic substructures in these families.
A Theory of Service Dependency
Creators: name: Neovius, Mats
name: Petre, Luigia
name: Sere, Kaisa
Publisher: name: arXiv
Year: 2016
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.4; F.3.1; F.3.2;

description: Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.
description: In Proceedings Refine'15, arXiv:1606.01344
Almost everywhere convergence of Bochner-Riesz means on some Sobolev type spaces
Creators: name: Fan, Dashan
name: Zhao, Fayou
Publisher: name: arXiv
Year: 2016
Subjects: subject: Functional Analysis (math.FA)
subject: FOS: Mathematics
subject: 42B99, 41A35

description: In this paper, we investigate the convergence of the Bochner-Riesz means on some Sobolev type spaces including $L^p$-Sobolev spaces $(p\geq 1)$ and $H^q$-Sobolev spaces $(0
description: 25 pages
Leitlinie zum Umgang mit Forschungsdaten an der Universität Kassel
Creators: name: Universität Kassel
Publisher: name: Universität Kassel
Year: 2023
Subjects: subject: Forschungsdaten
subject: Leitlinie
subject: Policy
subject: Forschungsdatenmanagement
subject: Open Science
subject: Open Data
subject: Data Literacy
subject: Datenkompetenz
subject: 000
subject: Richtlinie
subject: Forschungsdaten
subject: Datenmanagement

description: Aus Gründen der Barrierearmut wurde das Dokument formal angepasst.
Quantum walks in commensurate off-diagonal Aubry-André-Harper model
Creators: name: Wang, Li
name: Liu, Na
name: Chen, Shu
name: Zhang, Yunbo
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: Due to the topological nature of Aubry-André-Harper (AAH) model, exotic edge states have been found existing in one-dimensional periodic and quasiperiodic lattices. In this article, we investigate continuous-time quantum walks of identical particles initially located on either edge of commensurate AAH lattices in detail. It is shown that the quantum walker is delocalized among the whole lattice until the strength of periodic modulation is strong enough. The inverse participation ratios (IPRs) for all of the eigenstates are calculated. It is found that the localization properties of the quantum walker is mainly determined by the IPRs of the topologically protected edge states. More interestingly, the edge states are shown to have an exotic `\emph{repulsion}' effect on quantum walkers initiated from the lattice sites inside the bulk. Furthermore, we examine the role of nearest-neighbour interaction on the quantum walks of two identical fermions. Clear enhancement of the `\emph{repulsion}' effect by strong interaction has been shown.
description: 7 pages, 9 figures
What is Base4NFDI?
Creators: name: Fritzsche, Franziska
name: Manske, Antje
name: Weimer, Lukas
Publisher: name: Zenodo
Year: 2023
Subjects: NFDI
Base4NFDI
Basisdienste
CoRDI 2023
Basic services

description: Poster presented at the first Conference on Research Data Infrastructure (CoRDI 2023) on September 12-14, 2023 in Karlsruhe, Germany.
description: Funded by DFG as part of NFDI. Grant Numbers: 521453681, 521460392, 521462155, 521463400, 521466146, 521471126, 521473512, 521474032, 521475185, 521476232
Knowledge Graph for NLG in the context of conversational agents
Creators: name: Ghanem, Hussam
name: Atmani, Massinissa
name: Cruz, Christophe
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: The use of knowledge graphs (KGs) enhances the accuracy and comprehensiveness of the responses provided by a conversational agent. While generating answers during conversations consists in generating text from these KGs, it is still regarded as a challenging task that has gained significant attention in recent years. In this document, we provide a review of different architectures used for knowledge graph-to-text generation including: Graph Neural Networks, the Graph Transformer, and linearization with seq2seq models. We discuss the advantages and limitations of each architecture and conclude that the choice of architecture will depend on the specific requirements of the task at hand. We also highlight the importance of considering constraints such as execution time and model validity, particularly in the context of conversational agents. Based on these constraints and the availability of labeled data for the domains of DAVI, we choose to use seq2seq Transformer-based models (PLMs) for the Knowledge Graph-to-Text Generation task. We aim to refine benchmark datasets of kg-to-text generation on PLMs and to explore the emotional and multilingual dimensions in our future work. Overall, this review provides insights into the different approaches for knowledge graph-to-text generation and outlines future directions for research in this area.
[ARTICLE] Gamma Derivatives for the Upgraded Mass-Spring Oscillatory System (Canadian Journal of Mathematics Research / 2023) - GAMMA TRIGONOMETRY
Creators: name: Teia, Luis
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 401702
subject: Dynamics, vibration and vibration control
classificationCode: 401799
subject: Mechanical engineering not elsewhere classified
classificationCode: 400802
subject: Electrical circuits and systems
classificationCode: 400899
subject: Electrical engineering not elsewhere classified
classificationCode: 490105
subject: Dynamical systems in applications
classificationCode: 490199
subject: Applied mathematics not elsewhere classified
classificationCode: 490104
subject: Complex systems
classificationCode: 490299
subject: Mathematical physics not elsewhere classified

description: ABSTRACTDerivatives in trigonometry have always been defined in orthogonal contexts (i.e., where the y-axis is set perpendicular to the x-axis). Within the context of trigonometry, the present work expands the concept of derivative (operating by the principle of 90 degrees phase shift when applicable to sine and cosine functions) to the realm where the y-axis is at a variable angle γ to the x-axis (i.e., non-orthogonal systems). This gives rise to the concept of the gamma derivative ― which expands the classical derivative to impart phase shifts of γ degrees. Hence, the ordinary derivative (with respect to α) or d/dα is a particular case of the more general gamma derivative or dγ/dγα. The formula for the nth gamma derivative of the extended sine and cosine functions is defined. For applied mathematics, the gamma derivatives of the extended sine function sin*(α,γ) and cosine function cos*(α,γ) determine the extended governing equation of the energy-coupled mass-spring oscillatory system, and by extended analogy that of the energy-coupled electrical LC (Inductance-Capacitance) circuit.
CopyrightsCopyright for this article is retained by the author(s), with first publication rights granted to the journal. This is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).-------------------------------------------------------------------------For more public data, please visit my Figshare profile: https://figshare.com/authors/Luis_Teia/10811244
An Ontology-based Collaborative Business Intelligence Framework
Creators: name: Fahad, Muhammad
name: Darmont, Jérôme
Publisher: name: arXiv
Year: 2023
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: Business Intelligence constitutes a set of methodologies and tools aiming at querying, reporting, on-line analytic processing (OLAP), generating alerts, performing business analytics, etc. When in need to perform these tasks collectively by different collaborators, we need a Collaborative Business Intelligence (CBI) platform. CBI plays a significant role in targeting a common goal among various companies, but it requires them to connect, organize and coordinate with each other to share opportunities, respecting their own autonomy and heterogeneity. This paper presents a CBI platform that hat democratizes data by allowing BI users to easily connect, share and visualize data among collaborators, obtain actionable answers by collaborative analysis, investigate and make collaborative decisions, and also store the analyses along graphical diagrams and charts in a collaborative ontology knowledge base. Our CBI framework supports and assists information sharing, collaborative decision-making and annotation management beyond the boundaries of individuals and enterprises.
[ARTICLE] Gamma Derivatives for the Upgraded Mass-Spring Oscillatory System (Canadian Journal of Mathematics Research / 2023) - GAMMA TRIGONOMETRY
Creators: name: Teia, Luis
Publisher: name: figshare
Year: 2023
Subjects: classificationCode: 401702
subject: Dynamics, vibration and vibration control
classificationCode: 401799
subject: Mechanical engineering not elsewhere classified
classificationCode: 400802
subject: Electrical circuits and systems
classificationCode: 400899
subject: Electrical engineering not elsewhere classified
classificationCode: 490105
subject: Dynamical systems in applications
classificationCode: 490199
subject: Applied mathematics not elsewhere classified
classificationCode: 490104
subject: Complex systems
classificationCode: 490299
subject: Mathematical physics not elsewhere classified

description: ABSTRACT Derivatives in trigonometry have always been defined in orthogonal contexts (i.e., where the y-axis is set perpendicular to the x-axis). Within the context of trigonometric, the present work expands the concept of derivative (operating by the principle of 90 degrees phase shift when applicable to sine and cosine functions) to the realm where the y-axis is at a variable angle γ to the x-axis (i.e., non-orthogonal systems). This gives rise to the concept of the gamma derivative ― which expands the classical derivative to impart phase shifts of γ degrees. Hence, the ordinary derivative (with respect to α) or d/dα is a particular case of the more general gamma derivative or dγ/dγα. The formula for the nth gamma derivative of the extended sine and cosine functions is defined. For applied mathematics, the gamma derivatives of the extended sine function sin*(α,γ) and cosine function cos*(α,γ) determine the extended governing equation of the energy-coupled mass-spring oscillatory system, and by extended analogy that of the energy-coupled electrical LC (Inductance-Capacitance) circuit. Copyrights Copyright for this article is retained by the author(s), with first publication rights granted to the journal. This is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/4.0/).
How does interference fall?
Creators: name: Orlando, Patrick J.
name: Pollock, Felix A.
name: Modi, Kavan
Publisher: name: arXiv
Year: 2016
Subjects: subject: Quantum Physics (quant-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We study how single- and double-slit interference patterns fall in the presence of gravity. First, we demonstrate that universality of free fall still holds in this case, i.e., interference patterns fall just like classical objects. Next, we explore lowest order relativistic effects in the Newtonian regime by employing a recent quantum formalism which treats mass as an operator. This leads to interactions between non-degenerate internal degrees of freedom (like spin in an external magnetic field) and external degrees of freedom (like position). Based on these effects, we present an unusual phenomenon, in which a falling double slit interference pattern periodically decoheres and recoheres. The oscillations in the visibility of this interference occur due to correlations built up between spin and position. Finally, we connect the interference visibility revivals with non-Markovian quantum dynamics.
description: Contribution to "Lectures on general quantum correlations and their applications", edited by Felipe Fanchini, Diogo Soares-Pinto, and Gerardo Adesso
Isolating the young stellar population in the outer disk of NGC 300
Creators: name: Hillis, Tristan J.
name: Williams, Benjamin F.
name: Dolphin, Andrew E.
name: Dalcanton, Julianne J.
name: Skillman, Evan D.
Publisher: name: arXiv
Year: 2016
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The recent star formation history (SFH) in the outer disk of NGC 300 is presented through the analysis of color magnitude diagrams (CMDs). We analyze resolved stellar photometry by creating CMDs from four Hubble Space Telescope fields containing a combination of images from the Advanced Camera for Surveys and the UVIS imager aboard the Wide Field Camera 3. From the best models of these CMDs, we derive the SFH in order to extract the young stellar component for the past 200 Myrs. We find that the young stellar disk of NGC 300 is unbroken out to at least ${\sim}$8 scale lengths (including an upper limit out to ${\sim}$10 scale lengths) with $r{_s}$ = 1.4 ${\pm}$ 0.1 kpc, which is similar to the total stellar surface brightness profile. This unbroken profile suggests that NGC 300 is undisturbed, similar to the isolated disk galaxy NGC 2403. We compare the environments of NGC 300, NGC 2403, and M33 along with the properties of the gas and stellar disks. We find that the disturbed HI outer disk morphology is not accompanied by a break in the young stellar disk. This may indicate that processes which affect the outer HI morphology may not leave an imprint on the young stellar disk.
description: 19 pages 5 figures to be published in Astrophysical Journal
Location-Sensitive String Problems in MPC
Creators: name: Gilbert, Jacob
name: Hajiaghayi, MohammadTaghi
name: Saleh, Hamed
name: Seddighin, Saeed
Publisher: name: Association for Computer Machinery (ACM)
Year: 2023
Subjects: Data Structures
Massively Parallel Algorithms
Suffix Trees

description: A suffix tree is a trie-like data structure that stores every suffix of an input string of length 𝑛. Finding the Suffix Tree of a given string is a well-studied and classic problem. A compressed suffix tree is constructible in 𝑂(𝑛) time using the well-known algorithm of McCreight (JACM, 1976) [24]. Suffix trees alongside with hashing are two powerful tools in solving location-sensitive string problems. Many well-studied fundamental string problems such as String Matching, Longest Palindrome Substring (LPS), Longest Common Substring (LCS), and Longest Common Prefix (LCP) queries are location-sensitive and have linear time solutions via reductions to suffix tree. Inspired by suffix trees, we study location-sensitive string problems LCP, LPS, and LCS in the Massively Parallel Computation (MPC) model. Our algorithms extensively utilize a novel data structure for answering 𝑂(𝑛 1+𝜖 ) arbitrary LCP queries, called an LCPQ oracle, in 𝑂(1) rounds and with 𝑂e(𝑛 1+𝜖 ) total memory. Using our LCPQ oracle we are able to give the first 𝑂(1)-round, 𝑂e(𝑛) total memory algorithm in MPC for LPS and an𝑂(1)-round LCS solution using 𝑂e(𝑛 1+𝜖 ) total memory, beating previous state-of-the-art techniques for both problems. Furthermore, we give an 𝑂(1/𝜖)-round MPC algorithm for constructing suffix arrays and suffix trees utilizing our LCPQ oracle, and demonstrate reductions for LPS and LCS to suffix tree in 𝑂(1) rounds of MPC. Finally, we show that in the Adaptive Massively Parallel Computation (AMPC) model, we can build a fully-functional suffix tree for a given input string in 𝑂(1) rounds and with 𝑂e(𝑛) total memory for any constant 𝜖 > 0.
User-Driven Support for Visualization Prototyping in D3
Creators: name: Bako, Hannah K.
name: Varma, Alisha
name: Faboro, Anuoluwapo
name: Haider, Mahreen
name: Nerrise, Favour
name: Kenah, Bissaka
name: Dickerson, John P.
name: Battle, Leilani
Publisher: name: Association for Computer Machinery (ACM)
Year: 2023
Subjects: templates
visualization prototyping
visualization design
programming
visualization tool

description: Templates have emerged as an effective approach to simplifying the visualization design and programming process. For example, they enable users to quickly generate multiple visualization designs even when using complex toolkits like D3. However, these templates are often treated as rigid artifacts that respond poorly to changes made outside of the template’s established parameters, limiting user creativity. Preserving the user’s creative flow requires a more dynamic approach to template-based visualization design, where tools can respond gracefully to users’ edits when they modify templates in unexpected ways. In this paper, we leverage the structural similarities revealed by templates to design resilient support features for prototyping D3 visualizations: recommendations to suggest complementary interactions for a users’ D3 program; and code augmentation to implement recommended interactions with a single click, even when users deviate from pre-defined templates. We demonstrate the utility of these features in Mirny, a designfocused prototyping environment for D3. In a user study with 20 D3 users, we find that these automated features enable participants to prototype their design ideas with significantly fewer programming iterations. We also characterize key modification strategies used by participants to customize D3 templates. Informed by our findings and participants’ feedback, we discuss the key implications of the use of templates for interleaving visualization programming and design.
Coping with seasons: evolutionary dynamics of gene networks in a changing environment
Creators: name: Petak, Csenge
name: Frati, Lapo
name: Pespeni, Melissa H.
name: Cheney, Nick
Publisher: name: arXiv
Year: 2023
Subjects: subject: Populations and Evolution (q-bio.PE)
subject: FOS: Biological sciences

description: In environments that vary frequently and unpredictably, bet-hedgers can overtake the population. Diversifying bet-hedgers have a diverse set of offspring so that, no matter the conditions they find themselves in, at least some offspring will have high fitness. In contrast, conservative bet-hedgers have a set of offspring that all have an in-between phenotype compared to the specialists. Here, we use an evolutionary algorithm of gene regulatory networks to de novo evolve the two strategies and investigate their relative success in different parameter settings. We found that diversifying bet-hedgers almost always evolved first, but then eventually got outcompeted by conservative bet-hedgers. We argue that even though similar selection pressures apply to the two bet-hedger strategies, conservative bet-hedgers could win due to the robustness of their evolved networks, in contrast to the sensitive networks of the diversifying bet-hedgers. These results reveal an unexplored aspect of the evolution of bet-hedging that could shed more light on the principles of biological adaptation in variable environmental conditions.
description: Accepted at the Genetic and Evolutionary Computation Conference 2023 as a poster paper