cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
An expressive verification framework for state event systems
Creators: name: Chaki, Sagar
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Specification languages for concurrent software systems need to combine practical algorithmic efficiency with high expressive power and the ability to reason about both states and events. We address this question by defining a new branching-time temporal logic SE-A[omega] which integrates both state-based and action-based properties. SE-A[omega] is universal, i.e., preserved by the simulation relation, and thus amenable to counterexample-guided abstraction refinement. We provide a model-checking algorithm for this logic, and describe a compositional abstraction-refinement loop which exploits the natural decomposition of the concurrent system; the abstraction and refinement steps are performed over each component separately, and only the model checking step requires an explicit composition of the abstracted components. For experimental evaluation, we have integrated the presented algorithms in the software verification tool MAGIC, and determined a previously unknown race condition error in a piece of an industrial robot control software."
Impact of electron-electron Coulomb interaction on the high harmonic generation process in graphene
Creators: name: Avetissian, H. K.
name: Mkrtchian, G. F.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Generation of high harmonics in a monolayer graphene initiated by strong coherent radiation field, taking into account electron-electron Coulomb interaction is investigated. A microscopic theory describing the nonlinear optical response of graphene is developed. The Coulomb interaction of electrons is treated in the scope of dynamic Hartree-Fock approximation. The closed set of integrodifferential equations for the single-particle density matrix of a graphene quantum structure is solved numerically. The obtained solutions show the significance of many-body Coulomb interaction on the high harmonic generation process in graphene.
description: 10 pages, 12 figures
United States Wildlife
Creators: name: Le, Tran Hieu
Publisher: name: Zenodo
Year: 2019
Subjects: Wildlife, Species, Animals, United States

description: Welcome! This is my data mining project on U.S Wildlife. The ecosystem in our planet is getting worse day by day. Not only the environmental change but also the extinction of many species result in detrimental effects to the ecosystem. Many people are not aware of the importance of wildlife since they think animals and plants have no influence on their lives. However, in fact, wildlife plays a key role in improving the quality of human life. For example, a variety of wildlife species can promote the biodiversity which benefits human health and maintains ecosystem’s functionality. Furthermore, many medicines that address popular health issues such disorders and heart diseases are the productions of chemicals from plants and animals. Since many species are at risk of extinction, it is extremely important to have appropriate conservation plans to protect our planet’s ecosystem. This project presents data mining on United States Wildlife to identify which regions need to be prioritized in conservation. In addition, the most endangered species family will be mentioned to understand which plants and animals should be the targets of protection. In summary, my analysis pointed out that Hawaii and California are two states with most endangered species in the United States. As a result, there should be more attention on these areas' wildlife conservation. Furthermore, we need more regulations on fishing to prevent some endangered families such as Unionidae (mussels), Hydrobiidae (snails) and Cyprinidae (freshwater fishes) from extinction and maintain the underwater ecosystem. We can have some preview of the species distribution in the United States and the families with most number of endangered species.
GR as a classical spin-2 theory?
Creators: name: Linnemann, Niels
name: Smeenk, Chris
name: Baker, Mark Robert
Publisher: name: arXiv
Year: 2024
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The self-interaction spin-2 approach to general relativity (GR) has been extremely influential in the particle physics community. Leaving no doubt regarding its heuristic value, we argue that a view of the metric field of GR as nothing but a stand-in for a self-coupling field in flat spacetime runs into a dilemma: either the view is physically incomplete in so far as it requires recourse to GR after all, or it leads to an absurd multiplication of alternative viewpoints on GR rendering any understanding of the metric field as nothing but a spin-2 field in flat spacetime unjustified.
Additional file 8 of Overexpression VaPYL9 improves cold tolerance in tomato by regulating key genes in hormone signaling and antioxidant enzyme
Creators: name: Nai, Guojie
name: Liang, Guoping
name: Ma, Weifeng
name: Lu, Shixiong
name: Li, Yanmei
name: Gou, Huimin
name: Guo, Lili
name: Chen, Baihong
name: Mao, Juan
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Plant Biology

description: Additional file 8: Supplementary Fig S6. Self-activation toxicity test of bait protein VaPYL9 and prey protein VaPCMT. Dental plaque didn’t show blue. They were verified that there were no self-activation toxicity.
The global and radial stellar mass assembly of Milky Way-sized galaxies
Creators: name: Avila-Reese, V.
name: González-Samaniego, A.
name: Colín, P.
name: Ibarra-Medel, H.
name: Rodríguez-Puebla, A.
Publisher: name: arXiv
Year: 2018
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: We study the global and radial stellar mass assembly of eight zoomed-in MW-sized galaxies produced in Hydrodynamics cosmological simulations. The disk-dominated galaxies (4) show a fast initial stellar mass growth in the innermost parts, driven mostly by in-situ SF, but since $z\sim2-1$ the SF enters in a long-term quenching phase. The outer regions follow this trend but more gentle as more external they are. As the result, the radial stellar mass growth is highly inside-out due to both the inside-out structural growth and inside-out SF quenching. The half-mass radius evolves fast; for instance, $R_{0.5}$($z=1$)$<0.5$$R_{0.5}$($z=0$). Two other runs resemble lenticular galaxies. One shows also a pronounced inside-out growth and the other one presents a nearly uniform radial mass assembly. The other two galaxies suffered late major mergers. Their normalized radial mass growth histories (MGHs) are nearly close among them but with periods of outside-in assembly during or after the mergers. For all the simulations, the archaeological radial MGHs calculated from the $z = 0$ stellar-particles age distribution are similar to the current MGHs, which evidences that the mass assembly by ex-situ stars and the radial mass transport do not change significantly their radial mass distributions. Our results agree qualitatively with observational inferences from the fossil record method applied to a survey of local galaxies and from look-back observations of progenitors of MW-sized galaxies. However, the inside-out growth mode is more pronounced and the $R_{0.5}$ growth is faster in simulations than in observational inferences.
description: 23 pages, 15 figures. Accepted for publication in ApJ. Minor corrections and more references added. The discussion was extended in section 6.1
Galactic 511 keV line from MeV millicharged dark matter
Creators: name: Huh, Ji-Haeng
name: Kim, Jihn E.
name: Park, Jong-Chul
name: Park, Seong Chan
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We present a possible explanation of the recently observed 511 keV $γ$-ray anomaly with a new ``millicharged'' fermion. The new fermion is light (${\cal O}({\rm MeV})$) but has never been observed by any collider experiments mainly because of its tiny electromagnetic charge $εe$. We show that constraints from its relic density in the Universe and collider experiments allow a parameter range such that the 511 keV cosmic $γ$-ray emission from the galactic bulge may be due to positron production from this millicharged fermion.
description: 14 pages, 3 figures; To appear in Phys. Rev. D
HetFS: A Method for Fast Similarity Search with Ad-hoc Meta-paths on Heterogeneous Information Networks
Creators: name: Mao, Xuqi
name: Chen, Zhenyi
name: He, Zhenying
name: Jing, Yinan
name: Zhang, Kai
name: Wang, X. Sean
Publisher: name: arXiv
Year: 2025
Subjects: subject: Machine Learning (cs.LG)
subject: Information Retrieval (cs.IR)
subject: Social and Information Networks (cs.SI)
subject: FOS: Computer and information sciences

description: Numerous real-world information networks form Heterogeneous Information Networks (HINs) with diverse objects and relations represented as nodes and edges in heterogeneous graphs. Similarity between nodes quantifies how closely two nodes resemble each other, mainly depending on the similarity of the nodes they are connected to, recursively. Users may be interested in only specific types of connections in the similarity definition, represented as meta-paths, i.e., a sequence of node and edge types. Existing Heterogeneous Graph Neural Network (HGNN)-based similarity search methods may accommodate meta-paths, but require retraining for different meta-paths. Conversely, existing path-based similarity search methods may switch flexibly between meta-paths but often suffer from lower accuracy, as they rely solely on path information. This paper proposes HetFS, a Fast Similarity method for ad-hoc queries with user-given meta-paths on Heterogeneous information networks. HetFS provides similarity results based on path information that satisfies the meta-path restriction, as well as node content. Extensive experiments demonstrate the effectiveness and efficiency of HetFS in addressing ad-hoc queries, outperforming state-of-the-art HGNNs and path-based approaches, and showing strong performance in downstream applications, including link prediction, node classification, and clustering.
"Space is blue and birds fly through it"
Creators: name: Rovelli, Carlo
Publisher: name: arXiv
Year: 2017
Subjects: subject: History and Philosophy of Physics (physics.hist-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Quantum mechanics is not about 'quantum states': it is about values of physical variables. I give a short fresh presentation and update on the $relational$ perspective on the theory, and a comment on its philosophical implications.
description: Presented to meeting "Foundations of quantum mechanics and their impact on contemporary society", at The Royal Society, London, 11-12 December 2017; To appear in Philosophical Transactions A
Moderne Sprachtechnologien
Creators: name: Temath, Christian
name: Hecker, Dirk
name: Jovy-Klein, Florian
name: Lange, Mirco
name: Paass, Gerhard
name: Voß, Angelika
name: Walter, Oliver
name: Giesselbach, Sven
name: Köhler, Joachim
name: Lehmann, Jens
name: :Unav
Publisher: name: Fraunhofer-Gesellschaft
Year: 2021

description: Sprachschnittstellen sind auf dem Vormarsch und verdrängen zunehmend die Tastatur: im Smartphone, im Auto, zu Hause und in den Betrieben zur Steuerung von technischen Geräten. Immer neue Sprachtechnologien werden vorgestellt, die Geschwindigkeit der Entwicklung ist dabei atemberaubend. Selbst das Schreiben eigener Texte durch KI ist schon möglich und die Forschung arbeitet an der Erzeugung von Bildern aus Texten. Mit dieser Studie möchten wir Ihnen einen Einblick in das spannende Feld der Sprachtechnologien geben, ihre zentralen Funktionsweisen erklären und Einsatzchancen insbesondere durch konkrete Anwendungsfälle und Lösungen aufzeigen.
Additional file 1 of Population-based utility scores for HPV infection and oropharyngeal squamous cell carcinoma among Indigenous Australians
Creators: name: Ju, Xiangqun
name: Canfell, Karen
name: Howard, Kirsten
name: Garvey, Gail
name: Hedges, Joanne
name: Smith, Megan
name: Jamieson, Lisa
Publisher: name: figshare
Year: 2021
Subjects: subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences

description: Additional file 1. Health state vignettes.
From Sticky-Hard-Sphere to Lennard-Jones-Type Clusters
Creators: name: Trombach, Lukas
name: Hoy, Robert S.
name: Wales, David J.
name: Schwerdtfeger, Peter
Publisher: name: arXiv
Year: 2018
Subjects: subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: FOS: Physical sciences

description: A relation $\mathcal{M}_{\mathrm{SHS}\to\mathrm{LJ}}$ between the set of non-isomorphic sticky hard sphere clusters $\mathcal{M}_\mathrm{SHS}$ and the sets of local energy minima $\mathcal{M}_{LJ}$ of the $(m,n)$-Lennard-Jones potential $V^\mathrm{LJ}_{mn}(r) = \frac{\varepsilon}{n-m} [ m r^{-n} - n r^{-m} ]$ is established. The number of nonisomorphic stable clusters depends strongly and nontrivially on both $m$ and $n$, and increases exponentially with increasing cluster size $N$ for $N \gtrsim 10$. While the map from $\mathcal{M}_\mathrm{SHS}\to \mathcal{M}_{\mathrm{SHS}\to\mathrm{LJ}}$ is non-injective and non-surjective, the number of Lennard-Jones structures missing from the map is relatively small for cluster sizes up to $N=13$, and most of the missing structures correspond to energetically unfavourable minima even for fairly low $(m,n)$. Furthermore, even the softest Lennard-Jones potential predicts that the coordination of 13 spheres around a central sphere is problematic (the Gregory-Newton problem). A more realistic extended Lennard-Jones potential chosen from coupled-cluster calculations for a rare gas dimer leads to a substantial increase in the number of nonisomorphic clusters, even though the potential curve is very similar to a (6,12)-Lennard-Jones potential.
description: 10 pages
An Experimental Analysis of Change Propagation in Dynamic Trees
Creators: name: Acar, Umut A.
name: Blelloch, Guy E.
name: Vittes, Jorge L.
Publisher: name: Carnegie Mellon University
Year: 1994
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Change propagation is a technique for automatically adjusting the output of an algorithm to changes in the input. The idea behind change propagation is to track the dependences between data and function calls, so that, when the input changes, functions affected by that change can be re-executed to update the computation and the output. Change propagation makes it possible for a compiler to dynamize static algorithms. The practical effectiveness of change propagation, however, is not known. In particular, the cost of dependence tracking and change propagation may seem significant. The contributions of the paper are twofold. First, we present some experimental evidence that change propagation performs well when compared to direct implementations of dynamic algorithms. We implement change propagation on tree-contraction as a solution to the dynamic trees problem and present an experimental evaluation of the approach. As a second contribution, we present a library for dynamic-trees that support a general interface and present an experimental evaluation by considering a broad set of applications. The dynamic-trees library relies on change propagation to handle edge insertions/deletions. The applications that we consider include path queries, subtree queries, least common-ancestor queries, maintenance of centers and medians of trees, nearest-marked-vertex queries, semidynamic minimum spanning trees, and the max-flow algorithm of Sleator and Tarjan.
The Lazy Giants: APOGEE Abundances Reveal Low Star Formation Efficiencies in the Magellanic Clouds
Creators: name: Nidever, David L.
name: Hasselquist, Sten
name: Hayes, Christian R.
name: Hawkins, Keith
name: Povick, Joshua
name: Majewski, Steven R.
name: Smith, Verne V.
name: Anguiano, Borja
name: Stringfellow, Guy S.
name: Sobeck, Jennifer S.
name: Cunha, Katia
name: Beers, Timothy C.
name: Bestenlehner, Joachim M.
name: Cohen, Roger E.
name: Garcia-Hernandez, D. A.
name: Garcia-Hernandez, D. A.
name: Jonsson, Henrick
name: Nitschelm, Christian
name: Shetrone, Matthew
name: Lacerna, Ivan
name: Prieto, Carlos Allende
name: Beaton, Rachael L.
name: Dell'Agli, Flavia
name: Fernandez-Trincado, Jose G.
name: Fuillet, Diane
name: Gallart, Carme
name: Hearty, Fred R.
name: Holtzman, Jon
name: Manchado, Arturo
name: Munoz, Ricardo R.
name: O'Connell, Robert
name: Rosado, Margarita
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We report the first APOGEE metallicities and alpha-element abundances measured for 3600 red giant stars spanning a large radial range of both the Large (LMC) and Small Magellanic Clouds (SMC), the largest Milky Way dwarf galaxies. Our sample is an order of magnitude larger than that of previous studies, and extends to much larger radial distances. These are the first results presented that make use of the newly installed Southern APOGEE instrument on the du Pont telescope at Las Campanas Observatory. Our unbiased sample of the LMC spans a large range in metallicity, from [Fe/H]=-0.2 to very metal-poor stars with [Fe/H]=-2.5, the most metal-poor Magellanic Clouds (MCs) stars detected to date. The LMC [alpha/Fe]-[Fe/H] distribution is very flat over a large metallicity range, but rises by ~0.1 dex at -1.0
description: 22 pages, 20 figues, 1 table, accepted for publication in ApJ
Carnet nº 18, commencé à Canton (p. 9)
Creators: name: Péraire, Lucien
name: CNRS
Publisher: name: NAKALA - https://nakala.fr (Huma-Num - CNRS)
publisherIdentifier: https://ror.org/04ces3204
publisherIdentifierScheme: ROR
Year: 2023

description: created: 2-1-1931
Physical Memory Attacks and a Memory Safe Management System for Memory Defense
Creators: name: Hillel-Tuch, Alon
name: Olmstead, Aspen
Publisher: name: arXiv
Year: 2024
Subjects: subject: Cryptography and Security (cs.CR)
subject: Operating Systems (cs.OS)
subject: FOS: Computer and information sciences

description: Programming errors, defective hardware components (such as hard disk spindle defects), and environmental hazards can lead to invalid memory operations. In addition, less predictable forms of environmental stress, such as radiation, thermal influence, and energy fluctuations, can induce hardware faults. Sometimes, a soft error can occur instead of a complete failure, such as a bit-flip. The 'natural' factors that can cause bit-flips are replicable through targeted attacks that result in significant compromises, including full privileged system access. Existing physical defense solutions have consistently been circumvented shortly after deployment. We will explore the concept of a novel software-based low-level layer that can protect vulnerable memory targeted by physical attack vectors related to bit-flip vulnerabilities.
description: Computer Science, Computer Engineering, and Applied Computing (CSCE) Conference 2022
A short note on the presence of spurious states in finite basis approximations
Creators: name: Andrew, R. C.
name: Miller, H. G.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: The genesis of spurious solutions in finite basis approximations to operators which possess a continuum and a point spectrum is discussed and a simple solution for identifying these solutions is suggested.
Additional file 1 of MEK inhibition ameliorates social behavior phenotypes in a Spred1 knockout mouse model for RASopathy disorders
Creators: name: Borrie, Sarah C.
name: Plasschaert, Ellen
name: Callaerts-Vegh, Zsuzsanna
name: Yoshimura, Akihiko
name: D’Hooge, Rudi
name: Elgersma, Ype
name: Kushner, Steven A.
name: Legius, Eric
name: Brems, Hilde
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Pharmacology
subject: Cancer
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 1. Supplementary Material.
An Experimental Analysis of a Compact Graph Representation
Creators: name: Blandford, Daniel K.
name: Blelloch, Guy E.
name: Kash, Ian A.
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: In previous work we described a method for compactly representing graphs with small separators, which makes use of small separators, and presented preliminary experimental results. In this paper we extend the experimental results in several ways, including extensions for dynamic insertion and deletion of edges, a comparison of a variety of coding schemes, and an implementation of two applications using the representation. The results show that the representation is quite effective for a wide variety of real-world graphs, including graphs from finite-element meshes, circuits, street maps, router connectivity, and web links. In addition to significantly reducing the memory requirements, our implementation of the representation is faster than standard representations for queries. The byte codes we introduce lead to DFT times that are a factor of 2.5 faster than our previous results with gamma codes and a factor of between 1 and 9 faster than adjacency lists, while using a factor of between 3 and 6 less space.
Orchestrating Joint Offloading and Scheduling for Low-Latency Edge SLAM
Creators: name: Zhang, Yao
name: Mao, Yuyi
name: Wang, Hui
name: Yu, Zhiwen
name: Guo, Song
name: Zhang, Jun
name: Wang, Liang
name: Guo, Bin
Publisher: name: arXiv
Year: 2025
Subjects: subject: Robotics (cs.RO)
subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: FOS: Computer and information sciences

description: Visual Simultaneous Localization and Mapping (vSLAM) is a prevailing technology for many emerging robotic applications. Achieving real-time SLAM on mobile robotic systems with limited computational resources is challenging because the complexity of SLAM algorithms increases over time. This restriction can be lifted by offloading computations to edge servers, forming the emerging paradigm of edge-assisted SLAM. Nevertheless, the exogenous and stochastic input processes affect the dynamics of the edge-assisted SLAM system. Moreover, the requirements of clients on SLAM metrics change over time, exerting implicit and time-varying effects on the system. In this paper, we aim to push the limit beyond existing edge-assist SLAM by proposing a new architecture that can handle the input-driven processes and also satisfy clients' implicit and time-varying requirements. The key innovations of our work involve a regional feature prediction method for importance-aware local data processing, a configuration adaptation policy that integrates data compression/decompression and task offloading, and an input-dependent learning framework for task scheduling with constraint satisfaction. Extensive experiments prove that our architecture improves pose estimation accuracy and saves up to 47% of communication costs compared with a popular edge-assisted SLAM system, as well as effectively satisfies the clients' requirements.
Unsupervised Word Mapping Using Structural Similarities in Monolingual Embeddings
Creators: name: Aldarmaki, Hanan
name: Mohan, Mahesh
name: Diab, Mona
Publisher: name: arXiv
Year: 2017
Subjects: subject: Computation and Language (cs.CL)
subject: FOS: Computer and information sciences

description: Most existing methods for automatic bilingual dictionary induction rely on prior alignments between the source and target languages, such as parallel corpora or seed dictionaries. For many language pairs, such supervised alignments are not readily available. We propose an unsupervised approach for learning a bilingual dictionary for a pair of languages given their independently-learned monolingual word embeddings. The proposed method exploits local and global structures in monolingual vector spaces to align them such that similar words are mapped to each other. We show empirically that the performance of bilingual correspondents learned using our proposed unsupervised method is comparable to that of using supervised bilingual correspondents from a seed dictionary.
description: 10 pages, 8 figures; will appear in Transactions of the Association for Computational Linguistics (TACL)
An examination of remote access help desk cases
Creators: name: Steinfeld, Aaron
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "As a precursor to explorations on future network interoperability problem resolution methods and tools, it is necessary to obtain an understanding of problems in the present day. The remote network access application area was chosen as a case study due to rich sources of information, frequent problems, and considerable detrimental impact on user efficiency. To this end, existing remote network access help desk data was acquired and analyzed. The data was used to characterize remote network access interoperability problems and identify key issues. For the data examined, the two largest problems specific to remote end users were obtaining modem phone numbers for their location and adequate user rights upon connection. Potential for better knowledge re-use and dissemination of solutions to common problems to the general population was also observed."
Bose-Einstein condensation in a decorated lattice: an application to supersolid
Creators: name: Fil, D. V.
name: Shevchenko, S. I.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The Bose-Einstein condensation of vacancies in a three-dimensional decorated lattice is considered. The model describes possible scenario of superfluidity of solid helium, caused by the presence of zero-point vacancies in a dislocation network. It is shown that the temperature of Bose-Einstein condensation decreases under increase of the length of the segments of the network, and the law of decrease depends essentially on the properties of the vertexes of the network. If the vertexes correspond to barriers with a small transparency, the critical temperature is inversely as the square of the length of the segment. On the contrary, if the vertexes correspond to traps for the vacancies (it is energetically preferable for the vacancies to localize at the vertexes), an exponential lowering of the temperature of transition takes place. The highest temperature of Bose-Einstein condensation is reached in the intermediate case of vertexes with large transparency, but in the absence of tendency of localization in them. In the latter case the critical temperature is inversely as the length of the segment.
description: 7 pages
An evolutionary resolution to the finitely repeated prisoner's dilemma paradox
Creators: name: Neill, Daniel B.
Publisher: name: Carnegie Mellon University
Year: 2001
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Abstract: "Argument by backward induction forces us to conclude that two 'rational' players will defect on every turn of the Finitely Repeated Prisoner's Dilemma (FRPD) game, thus performing significantly worse than agents with imperfect rationality. When this game is treated from an evolutionary perspective, using the standard evolutionary model, we encounter a similar paradox: a population which cooperates through turn k can be invaded by a strategy which cooperates through turn k - 1, and this process continues until the population is dominated by defectors. However, though the strategy of continual defection is evolutionarily stable, it is inferior to nearly all other FRPD strategies: a bistable equilibrium occurs, in which a very small proportion of the other strategy can take over the population. Thus we propose and defend an alternative evolutionary model, a random invasion model in which 'evolutionary dominance' is used instead of Maynard Smith's invasion criteria. This model combines the Lamarckian spread of ideas through a population with Darwinian natural selection of the organisms adopting those ideas, and thus is a more reasonable model of communicating populations. When the new evolutionary model is applied to the Finitely Repeated Prisoner's Dilemma, we find that defectors dominate the population for very short FRPD games, but as game length increases, it becomes more and more certain that successful strategies will cooperate until near the end of the game. Defining rationality based on evolutionary fitness (or fictitious evolutionary play) using this model, we achieve a resolution to the Finitely Repeated Prisoner's Dilemma paradox. Additionally, the model can be generalized and applied to many other decision situations, and thus it serves as a possible standard for rational decision-making under uncertainty."
Additional file 1 of Cost-effectiveness of group-based exercise to prevent falls in elderly community-dwelling people
Creators: name: Scheckel, Benjamin
name: Stock, Stephanie
name: Müller, Dirk
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Science Policy

description: Additional file 1.
Measurement of eta meson decays into lepton-antilepton pairs
Creators: name: WASA Collaboration
name: Berłowski, M.
name: Bargholtz, Chr.
name: Bashkanov, M.
name: Bogoslawsky, D.
name: Bondar, A.
name: Calén, H.
name: Cappellaro, F.
name: Clement, H.
name: Demirörs, L.
name: Ekström, C.
name: Fransson, K.
name: Gerén, L.
name: Gustafsson, L.
name: Höistad, B.
name: Ivanov, G.
name: Jacewicz, M.
name: Jiganov, E.
name: Johansson, T.
name: Keleta, S.
name: Koch, I.
name: Kullander, S.
name: Kupść, A.
name: Kuzmin, A.
name: Kuznetsov, A.
name: Laukhin, I. V.
name: Lindberg, K.
name: Marciniewski, P.
name: Meier, R.
name: Morosov, B.
name: Oelert, W.
name: Pauly, C.
name: Pettersson, H.
name: Petukhov, Y.
name: Povtorejko, A.
name: Ruber, R. J. M. Y.
name: Schönning, K.
name: Scobel, W.
name: Shafigullin, R.
name: Shwartz, B.
name: Skorodko, T.
name: Sopov, V.
name: Stepaniak, J.
name: Tegnér, P. -E.
name: Engblom, P. Thörngren
name: Tikhomirov, V.
name: Turowiecki, A.
name: Wagner, G. J.
name: Wolke, M.
name: Yamamoto, A.
name: Zabierowski, J.
name: Zartova, I.
name: Złomańczuk, J.
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: FOS: Physical sciences

description: A search for rare lepton decays of the eta meson was performed using the WASA detector at CELSIUS. Two candidates for double Dalitz decay eta->e+e-e+e- events are reported with a background of 1.3+/-0.2 events. This allows to set an upper limit to the branching ratio of 9.7E-5 (90% CL). The branching ratio for the decay eta->e+e-gamma is determined to (7.8+/-0.5 stat+/-0.8 syst)E-3. An upper limit (90% CL) for the branching ratio for the eta->e+e- decay is 2.7E-5 and a limit for the sum of the eta->mu+mu-mu+mu- and eta->pi+pi-mu+mu- decays is 3.6E-4.
description: 9 pages, 10 Postscript figures, uses revtex4.sty, revised version after referee comments; conclusions unchanged
An Encapsulated Authentication Logic for Reasoning About Key Distribution Protocols
Creators: name: Iliano Cervesato
name: Meadows, Catherine
name: Dusko  Pavlovic
Publisher: name: Carnegie Mellon University
Year: 1965
Subjects: subject: 89999 Information and Computing Sciences not elsewhere classified
subject: FOS: Computer and information sciences

description: Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their actions, the latter by global reasoning towards the impossibility of knowledge of some data. Hence, proofs conceptually decompose in two parts, each encapsulating the other as an assumption. From this observation, we develop a simple logic of authentication that encapsulates secrecy requirements as assumptions. We apply it within the derivational framework to derive a large class of key distribution protocols based on the authentication properties of their components.
Additional file 6 of Overexpression VaPYL9 improves cold tolerance in tomato by regulating key genes in hormone signaling and antioxidant enzyme
Creators: name: Nai, Guojie
name: Liang, Guoping
name: Ma, Weifeng
name: Lu, Shixiong
name: Li, Yanmei
name: Gou, Huimin
name: Guo, Lili
name: Chen, Baihong
name: Mao, Juan
Publisher: name: figshare
Year: 2022
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Plant Biology

description: Additional file 6: Supplementary Fig S4. The identification of transgenic tomatoes. Through Agrobacterium-mediated leaf disk transformation method, transgenic tomatoes were gained. Through screening, stable and homozygous lines (#2, #6, #9) were identified and named OE1, OE2, OE3 by 1 % agarose gel electrophoresis. These stable lines were used for the following experiment.
Digital Twin-assisted Reinforcement Learning for Resource-aware Microservice Offloading in Edge Computing
Creators: name: Chen, Xiangchun
name: Cao, Jiannong
name: Liang, Zhixuan
name: Sahni, Yuvraj
name: Zhang, Mingjin
Publisher: name: arXiv
Year: 2024
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Collaborative edge computing (CEC) has emerged as a promising paradigm, enabling edge nodes to collaborate and execute microservices from end devices. Microservice offloading, a fundamentally important problem, decides when and where microservices are executed upon the arrival of services. However, the dynamic nature of the real-world CEC environment often leads to inefficient microservice offloading strategies, resulting in underutilized resources and network congestion. To address this challenge, we formulate an online joint microservice offloading and bandwidth allocation problem, JMOBA, to minimize the average completion time of services. In this paper, we introduce a novel microservice offloading algorithm, DTDRLMO, which leverages deep reinforcement learning (DRL) and digital twin technology. Specifically, we employ digital twin techniques to predict and adapt to changing edge node loads and network conditions of CEC in real-time. Furthermore, this approach enables the generation of an efficient offloading plan, selecting the most suitable edge node for each microservice. Simulation results on real-world and synthetic datasets demonstrate that DTDRLMO outperforms heuristic and learning-based methods in average service completion time.
description: 9 pages, 5 figures
Bound states around vacuum in scalar ModMax model
Creators: name: Brito, F. A.
name: Marques, M. A.
name: Menezes, R.
name: Passos, E.
Publisher: name: arXiv
Year: 2025
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In this work, we consider a two-dimensional scalar field model inspired by the dimensional reduction of a four-dimensional ModMax theory. Upon projecting out the 4D theory down to a 2D theory we obtain a theory which presents a constant electric field and two scalar fields. In order to investigate kinks, we include the presence of a potential and consider the static case with one of the fields in the vacuum, showing that the solutions for the non-uniform field can be mapped into the ones arising from the canonical model. By studying the linear stability of the model, we show that fluctuations around the uniform field are described by a Sturm-Liouville eigenvalue equation whose weight function depends on the non-uniform solution and the parameter of the ModMax model. Remarkably, the presence of the aforementioned weight may bring bound states to light, contrary to what occurs in the canonical model.
description: 5 pages, 3 figures; to appear in PLB
Additional file 1 of Genome-Wide Association Study (GWAS) of dental caries in diverse populations
Creators: name: Alotaibi, Rasha N.
name: Howe, Brian J.
name: Chernus, Jonathan M.
name: Mukhopadhyay, Nandita
name: Sanchez, Carla
name: Deleyiannis, Frederic W. B.
name: Neiswanger, Katherine
name: Padilla, Carmencita
name: Poletta, Fernando A.
name: Orioli, Ieda M.
name: Buxó, Carmen J.
name: Hecht, Jacqueline T.
name: Wehby, George L.
name: Long, Ross E.
name: Vieira, Alexandre R.
name: Weinberg, Seth M.
name: Shaffer, John R.
name: Moreno Uribe, Lina M.
name: Marazita, Mary L.
Publisher: name: figshare
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences

description: Additional file 1. Supplementary material.
title: Explore South America A Spanish Travel Brochure Project
Creators: name: Kern, Victoria
Publisher: name: Private Academic Library Network of Indiana, Inc. (PALNI)
publisherIdentifier: https://ror.org/05dch6316
publisherIdentifierScheme: ROR
Year: 2025
Subjects: classificationCode: 6.2
subject: FOS: Languages and literature
subject: Spanish
subject: South America
subject: open pedagogy

description: In this assignment, you will explore the culture and geography of South America by creating a travel brochure in Spanish about a destination featured in Cultura – Las maravillas del mundo suramericano. This project gives you the opportunity to learn about real-world cultural content while practicing how to describe travel destinations using familiar vocabulary and sentence patterns in Spanish. You’ll build your skills in reading comprehension and basic written communication through a creative, renewable travel brochure assignment.
Additional file 1 of X-ray induced photodynamic therapy (PDT) with a mitochondria-targeted liposome delivery system
Creators: name: Gu, Xuefan
name: Shen, Chao
name: Li, Hua
name: Goldys, Ewa M.
name: Deng, Wei
Publisher: name: figshare
Year: 2020
Subjects: Biochemistry
Medicine
Cell Biology
Chemical Sciences not elsewhere classified
Biological Sciences not elsewhere classified

description: Additional file 1: Figure S1. Absorption spectra of different liposome samples and pure TPP solution. Figure S2. (a) Size and Zeta potential distribution determined by dynamic light scattering. TEM images of (b) 5 nm gold nanoparticles and (c) the liposomes loaded with 5 nm gold nanoparticles. Figure S3. Intracellular 1O2 production under X-ray radiation at different doses. (a) Representative confocal fluorescence images of SOSG in HCT116 cells after the treatment with X-ray triggered liposomes. Scale bar is 70 µm. (b) Quantitative analysis of 1O2 generation in HCT116 cells (n = 4). Figure S4. Cellular uptake of TPP-Lipo-VP in HCT 116 cells. (a) Representative confocal laser scanning microscopy images of HCT 116 cells incubated with TPP-Lipo-VP (250 µM) for 1 h, 2 h and 4 h, respectively. Scale bar is 20 µm. (b) Quantitative analysis of VP fluorescence intensity via flow cytometry
Gluon scattering in ${\cal N}=4$ Super Yang-Mills at finite temperature
Creators: name: Ito, Katsushi
name: Nastase, Horatiu
name: Iwasaki, Koh
Publisher: name: arXiv
Year: 2007
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We extend the AdS/CFT prescription of Alday and Maldacena to finite temperature $T$, defining the amplitude for gluon scattering in ${\cal N}=4$ Super Yang-Mills at strong coupling from string theory. It is defined by a lightlike ''Wilson loop'' living at the horizon of the T-dual to the black hole in AdS space. Unlike the zero temperature case, this is different from the Wilson loop contour defined at the boundary of the AdS black hole metric, thus at finite $T$ there is no relation between gluon scattering amplitudes and the Wilson loop. We calculate the amplitude at strong coupling for forward scattering of a low energy gluon ($E
description: 33 pages, 9 figures; clarifications of some points added, reference added
Additional file 10 of High-parameter cytometry unmasks microglial cell spatio-temporal response kinetics in severe neuroinflammatory disease
Creators: name: Spiteri, Alanna G.
name: Terry, Rachel L.
name: Wishart, Claire L.
name: Ashhurst, Thomas M.
name: Campbell, Iain L.
name: Hofer, Markus J.
name: King, Nicholas J. C.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Neuroscience
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 10 Brain cells stained with and without cyanine dye blocker and 4 commercially available CD86 conjugates. a-c FACs plots showing murine brain cells from dpi 0 (a), 5 (b) and 7 (c) stained with CD86 conjugated to BV605, FITC, PE/Cy7 and APC/Cy7, with and without True-stain monocyte blockerTM (Biolegend). d Percent of CD86+ microglia from dpi 0, 5 and 7 brains stained with CD86 conjugated to BV605, FITC, PE/Cy7 and APC/Cy7 with and without True-stain monocyte blockerTM. Fluorescence minus one (FMO) stained with and without True-stain monocyte blockerTM (Biolegend) is shown for CD86.
Exploring the sensitivity of gravitational wave detectors to neutron star physics
Creators: name: Martynov, Denis
name: Miao, Haixing
name: Yang, Huan
name: Vivanco, Francisco Hernandez
name: Thrane, Eric
name: Smith, Rory
name: Lasky, Paul
name: East, William E.
name: Adhikari, Rana
name: Bauswein, Andreas
name: Brooks, Aidan
name: Chen, Yanbei
name: Corbitt, Thomas
name: Corbitt, Thomas
name: Grote, Hartmut
name: Levin, Yuri
name: Zhao, Chunnong
name: Vecchio, Alberto
Publisher: name: arXiv
Year: 2019
Subjects: subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The physics of neutron stars can be studied with gravitational waves emitted from coalescing binary systems. Tidal effects become significant during the last few orbits and can be visible in the gravitational-wave spectrum above 500 Hz. After the merger, the neutron star remnant oscillates at frequencies above 1 kHz and can collapse into a black hole. Gravitational-wave detectors with a sensitivity of ~10^{-24} strain/sqHz at 2-4 kHz can observe these oscillations from a source which is ~100 Mpc away. The current observatories, such as LIGO and Virgo, are limited by shot noise at high frequencies and have a sensitivity of > 2 * 10^{-23} strain/sqHz at 3 kHz. In this paper, we propose an optical configuration of gravitational-wave detectors which can be set up in present facilities using the current interferometer topology. This scheme has a potential to reach 7 * 10^{-25} strain/sqHz at 2.5 kHz without compromising the detector sensitivity to black hole binaries. We argue that the proposed instruments have a potential to detect similar amount of post-merger neutron star oscillations as the next generation detectors, such as Cosmic Explorer and Einstein Telescope. We also optimise the arm length of the future detectors for neutron star physics and find that the optimal arm length is ~20 km. These instruments have the potential to observe neutron star post-merger oscillations at a rate of ~30 events per year with a signal-to-noise ratio of 5 or more.
Additional file 2 of Reduced chemodiversity suppresses rhizosphere microbiome functioning in the mono-cropped agroecosystems
Creators: name: Li, Pengfa
name: Liu, Jia
name: Saleem, Muhammad
name: Li, Guilong
name: Luan, Lu
name: Wu, Meng
name: Li, Zhongpei
Publisher: name: figshare
Year: 2022
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Ecology
subject: Plant Biology

description: Additional file 1: Supplementary information. Text S1: Calculation of the C allocation. Text S2: FTICR-MS sample preparation. Text S3: Isopycnic density gradient centrifugation and quantitative PCR. Text S4: Amplicon high-throughput sequencing data processing. Text S5: Metagenome sequencing and data processing. Text S6: Detailed information about data analyses. Figure S1: Assessment of labeling, centrifugation, and sequencing. Figure S2: The relational dendrograms of rhizodeposits. Figure S3: Relative abundance of peanut rhizodeposits. Figure S4: Correlations between the relative abundance of main categories of peanut rhizodeposits. Figure S5: Species composition of active bacterial communities. Figure S6: Correlation between belowground carbon allocation and species richness of active bacteria. Figure S7: Significantly different bacterial genera between P1 and P5 treatments. Figure S8: Random Forest model determining the key factors affecting the biodiversity of active rhizosphere microbiome. Figure S9: Mantel test investigating the relationship between microbial structure and changes in soil physicochemical properties. Figure S10: Correlation between potential transformations and concentration of peanut rhizodeposits. Figure S11: Principal coordinate analysis on the functional potentials of active bacterial communities. Figure S12: Mantel test investigating the relationship between functional potentials of active bacterial communities and rhizodeposits composition and changes in soil physicochemical properties. Figure S13: Correlations between relative abundance of abundant differential KO functional categories and soil physicochemical properties. Figure S14: Correlation between relative abundance of differential KEGG pathways and biodiversity of active bacteria, chemodiversity of rhizodeposits, and relative abundance of main categories of rhizodeposits. Table S1: Physicochemical properties of experimental soils. Table S2: The PERMANOVA investigating the structural difference of bacterial community in different CsCl buoyant density gradient of DNA fractions. Table S3: Detailed information about primers and PCR conditions. Table S4: Data size of metagenome sequences. Table S5: Two-way ANOVA investigating the factors affecting the belowground photosynthesized C allocation, chemodiversity and potential transformations of peanut rhizodeposits. Table S6: Correlations between belowground C allocation and plant and soil physicochemical properties. Table S7: Correlations between soil physicochemical properties and rhizodeposits chemodiversity. Table S8: Two-way PERMANOVA investigating the factors affecting the composition of rhizodeposits and structure of the active bacterial community in the peanut rhizosphere.
Additional file 11 of High-parameter cytometry unmasks microglial cell spatio-temporal response kinetics in severe neuroinflammatory disease
Creators: name: Spiteri, Alanna G.
name: Terry, Rachel L.
name: Wishart, Claire L.
name: Ashhurst, Thomas M.
name: Campbell, Iain L.
name: Hofer, Markus J.
name: King, Nicholas J. C.
Publisher: name: figshare
Year: 2021
Subjects: subject: Medicine
subject: Microbiology
subject: FOS: Biological sciences
subject: Neuroscience
subject: Immunology
subject: FOS: Clinical medicine
subject: Cancer
subject: 110309 Infectious Diseases
subject: FOS: Health sciences
subject: 60506 Virology

description: Additional file 11 Temporal immunophenotypic changes in microglial cell populations during WNE. Histograms showing the expression of selected markers on/in P2RY12hiCD86+, P2RY12loCD86-, P2RY12loCD86+ and P2RY12hiCD86- microglia at dpi 0 (purple), 4 (orange), 5 (green), 6 (pink) and 7 (blue). Data is representative of at least two independent experiments.