cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Synthesizing realistic verification tasks
Creators: name: Jasper, Marc
Publisher: name: TU Dortmund
Year: 2021
Subjects: subject: Benchmark generation
subject: Program verification
subject: Model checking
subject: Bisimulation checking
subject: Temporal logics
subject: LTL
subject: HML
subject: CTL
subject: Hard benchmarks
subject: Error witnesses
subject: Synthesis
subject: Parallel decomposition
subject: Property preservation
subject: Modal transition systems
subject: Modal contracts
subject: Alphabet extension
subject: 004
subject: Benchmark
subject: Programmverifikation
subject: Model Checking
subject: Bisimulation
subject: Temporale Logik
subject: Synthese

description: This thesis by publications focuses on realistic benchmarks for software verification approaches. Such benchmarks are crucial to an evaluation of verification tools which helps to assess their capabilities and inform potential users. This work provides an overview of the current landscape of verification tool evaluation and compares manual and automatic approaches to benchmark generation. The main contribution of this thesis is a new framework to synthesize realistic verification tasks. This framework allows to generate verification tasks that target sequential or parallel programs. Starting from a realistic formal specification, a Büchi automaton is synthesized while ensuring realistic hardness characteristics such as the number of computation steps after which errors occur. The resulting automaton is then transformed to a Mealy machine to produce a sequential program in C or Java or to a parallel composition of modal transition systems. A refinement of the latter is encoded in Promela or as a Petri net. A task that targets such a parallel system requires checking whether or not a given interruptible temporal property is satisfied or whether parallel systems are weakly bisimilar. Temporal properties may include branching-time and linear-time formulas. For the latter, it can be ensured that every parallel component matters during verification. This thesis contains additional contributions that build on top of attached publications. These are (i) a generalization of interruptibility that covers branching-time properties, (ii) an improved generation of parallel contexts, and (iii) a definition of alphabet extension on a semantic level. Alphabet extensions are a key part for ensuring hardness of generated tasks that target parallel systems. Benchmarks that were synthesized using the presented framework have been employed in the international Rigorous Examination of Reactive Systems (RERS) Challenge during the last five years. Several international teams attempted to solve the corresponding verification tasks and used ten different tools to verify the newly added parallel programs. Apart from the evaluation of these tools, this endeavor motivated participants of RERS to conceive new formal techniques to verify parallel systems. The result of this thesis thus helps to improve the state of the art of software verification.
Precise calibration of Mg concentration in MgxZn1-xO thin films grown on ZnO substrates
Creators: name: Kozuka, Y.
name: Falson, J.
name: Segawa, Y.
name: Makino, T.
name: Tsukazaki, A.
name: Kawasaki, M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: The growth techniques for MgxZn1-xO thin films have advanced at a rapid pace in recent years, enabling the application of this material to a wide range of optical and electrical applications. In designing structures and optimizing device performances, it is crucial that the Mg content of the alloy be controllable and precisely determined. In this study, we have established laboratory-based methods to determine the Mg content of MgxZn1-xO thin films grown on ZnO substrates, ranging from the solubility limit of x ~ 0.4 to the dilute limit of x < 0.01. For the absolute determination of Mg content, Rutherford backscattering spectroscopy is used for the high Mg region above x = 0.14, while secondary ion mass spectroscopy is employed to quantify low Mg content. As a lab-based method to determine the Mg content, c-axis length is measured by X-ray diffraction and is well associated with Mg content. The interpolation enables the determination of Mg content to x = 0.023, where the peak from the ZnO substrate overlaps the MgxZn1-xO peak in standard laboratory equipment, and thus quantitative determination. At dilute Mg contents below x = 0.023, the localized exciton peak energy of the MgxZn1-xO films as measured by photoluminescence is found to show a linear Mg content dependence, which is well resolved from the free exciton peak of ZnO substrate down to x = 0.0043. Our results demonstrate that X-ray diffraction and photoluminescence in combination are appropriate methods to determine Mg content in a wide Mg range from x = 0.004 to 0.40 in a laboratory environment.
description: 21 pages, 1 table, 7 figures
Oryzomys fulvescens
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys fulvescens

description: Oryzomys fulvescens (Saussure, 1860). Rev. Mag. Zool. Paris, ser. 2, 12: 102. REVIEWED BY: G. Urbano-V. (GUV). TYPE LOCALITY: Mexico, Veracruz, Orizaba. DISTRIBUTION: Venezuela to Panama to Tamaulipas, Nuevo Leon, and Nayarit (Mexico). COMMENT: Subgenus Oligoryzomys; see Gardner and Patton, 1976, Occas. Pap. Mus. Zool. La. St. Univ., 49:19, 24, and Hall, 1981:620, who considered fulvescens a distinct species. Cabrera, 1961:380, included Oligoryzomys in subgenus Oryzomys. Possibly conspecific with nigripes; see Hershkovitz, 1966, Z. Saugetierk., 31: 137. Handley, 1976, Brigham Young Univ. Sci. Bull. Biol. Ser., 20(5):48, gave the distribution in Venezuela. Haiduk et al., 1980, J. Mammal., 60:610-614, reviewed the karyology of this species. ISIS NUMBER: 5301410008035028001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 440, DOI: 10.5281/zenodo.7353031
description: {"references": ["Gardner, A. L., and J. L. Patton. 1976. Karyotypic variation in oryzomyine rodents (Cricetinae) with comments on chromosomal evolution in the Neotropical cricetine complex. Occasional Papers of the Museum of Zoology, Louisiana State University, 49: 1 - 48.", "Hall, E. R. 1981. The mammals of North America. Second ed. John Wiley and Sons, New York, 1: 1 - 600 + 90, 2: 601 - 1181 + 90.", "Handley, C. O., Jr. 1976. Mammals of the Smithsonian Venezuelan Project. Brigham Young University Science Bulletin, Biological Series, 20: 1 - 91."]}
title: Molecular Differentiation of Astragalus Species and Varieties from the Western United States: The Chloroplast DNA Bridge Between Evolution and Molecular Systematics
Creators: name: Neyaz, Marwa
name: Cook, Daniel
name: Creamer, Rebecca
Publisher: name: Utah State University
Year: 2020

description: Locoweeds are the most widespread poisonous plant problem in the world and have been reported in the Western United States since the 1800s, causing tremendous losses in livestock. Consumption of locoweeds by grazing animals stimulates the neurological disease, locoism, characterized by weight loss, ataxia, and lack of muscular coordination. The name locoweed is used for Astragalus and Oxytropis species known to contain swainsonine, the toxic principle produced by the plant endophytic fungus Undifilum. Astragalus includes 2,500-3,000 species and many varieties that have almost identical morphological characteristics that overlap among species, leading to improper identification. Therefore, the aim of this study was to develop effective markers for differentiation of Astragalus at low taxonomic level. Genomic DNA extraction, followed by PCR amplification were carried out with species and varieties of Astragalus. Primers targeted regions from the chloroplast genome (DE, trnH-psbA, rpl32-trnL) and the nuclear genome from the plants, (ITS1-ITS4) and phylogenetic trees were generated. Sequences from the chloroplast genome of Astragalus species and populations within a species had sufficient variation to support taxonomic differentiation at intraspecific and interspecific levels. The noncoding rpl32-trnL region of the chloroplast genome represent more specific differentiation of populations within a species than other chloroplast noncoding regions tested in this study, due to high numbers of potentially informative characteristics. All primer sets used in this study successfully amplified across species and varieties of Astragalus, and their combined sequences constructed well supported concatenated phylogenetic tree. This molecular systematics study aimed to provide a reliable plant identification system using high-resolution molecular markers at low taxonomic levels, to investigate the evolutionary diversification of locoweed, to improve understanding of the plant-fungal relationship, and ultimately, benefit management of locoweed.
Additional file 1 of Changes in the probability of hysterectomy in the city of Mainz and Mainz-Bingen region, Germany
Creators: name: Tanaka, Luana F.
name: Schoffer, Olaf
name: König, Jochem
name: Weyer-Elberich, Veronika
name: Blettner, Maria
name: Klug, Stefanie J.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 1.
Oryzomys galapagoensis
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys galapagoensis

description: Oryzomys galapagoensis (Waterhouse, 1839). Zool. Voy. H.M.S. "Beagle," Mammalia, p. 66. TYPE LOCALITY: Galapagos Isis., Chatham Isl. (= San Cristobal) (Ecuador). DISTRIBUTION: San Cristobal Isl. (Galapagos Isis.). COMMENT: Closely related to bauri; subgenus Oryzomys; see Gardner and Patton, 1976, Occas. Pap. Mus. Zool. La. St. Univ., 49:16. O. galapagoensis is a synonym of bauri (ALG). Probably extinct; see Corbet and Hill, 1980:143. ISIS NUMBER: 5301410008035029001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 440, DOI: 10.5281/zenodo.7353031
description: {"references": ["Gardner, A. L., and J. L. Patton. 1976. Karyotypic variation in oryzomyine rodents (Cricetinae) with comments on chromosomal evolution in the Neotropical cricetine complex. Occasional Papers of the Museum of Zoology, Louisiana State University, 49: 1 - 48.", "Corbet, G. B., and J. E. Hill. 1980. A world list of mammalian species. British Museum (Natural History), London, 226 pp."]}
title: Avoiding Starvation in Tribocontact Through Active Lubricant Transport in Laser Textured Surfaces
Creators: name: Stark, Tobias
name: Kiedrowski, Thomas
name: Marschall, Holger
name: Lasagni, Andrés Fabián
Publisher: name: MDPI
Year: 2023

description: Laser texturing is a viable tool to enhance the tribological performance of surfaces. Especially textures created with Direct Laser Interference Patterning (DLIP) show outstanding improvement in terms of reduction of coefficient of friction (COF) as well as the extension of oil film lifetime. However, since DLIP textures have a limited depth, they can be quickly damaged, especially within the tribocontact area, where wear occurs. This study aims at elucidating the fluid dynamical behavior of the lubricant in the surroundings of the tribocontact where channel-like surface textures are left after the abrasion wear inside the tribocontact area. In a first step, numerical investigations of lubricant wetting phenomena are performed applying OpenFOAM®. The results show that narrow channels (width of 10 μm) allow higher spreading than wide channels (width of 30 μm). In a second step, fluid transport inside DLIP textures is investigated experimentally. The results show an anisotropic spreading with the spreading velocity dependent on the period and depth of the laser textures. A mechanism is introduced for how lubricant can be transported out of the channels into the tribocontact. The main conclusion of this study is that active lubricant transport in laser textured surfaces can avoid starvation in the tribocontact.
Molecular hydrogen regulated star formation in cosmological SPH simulations
Creators: name: Thompson, Robert
name: Nagamine, Kentaro
name: Jaacks, Jason
name: Choi, Jun-Hwan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: It has been shown observationally that star formation (SF) correlates tightly with the presence of molecular hydrogen (H$_2$). Therefore it would be important to investigate its implication on galaxy formation in a cosmological context. In the present work, we track the H$_2$ mass fraction within our cosmological smoothed particle hydrodynamics (SPH) code GADGET-3 using an equilibrium analytic model by Krumholz et al. This model allows us to regulate the star formation in our simulation by the local abundance of H$_2$ rather than the total cold gas density, and naturally introduce the dependence of star formation on metallicity. We investigate implications of the equilibrium H$_2$-based SF model on galaxy population properties, such as the stellar-to-halo mass ratio (SHMR), baryon fraction, cosmic star formation rate density (SFRD), galaxy specific SFR, galaxy stellar mass functions (GSMF), and Kennicutt-Schmidt (KS) relationship. The advantage of our work over the previous ones is having a large sample of simulated galaxies in a cosmological volume from high-redshift to $z=0$. We find that low-mass halos with M$_{DM}<10^{10.5}$ M$_\odot$ are less efficient in producing stars in the H$_2$-based SF model at $z\geq6$, which brings the simulations to a better agreement with observational estimates of SHMR and GSMF at the low-mass end. This is particularly evident by a reduction in the number of low-mass galaxies at M$_\star\leq10^{8}$ M$_\odot$ in the GSMF. The overall SFRD is also reduced at high-$z$ in the H$_2$ run, which results in slightly higher SFRD at low-redshift due to more abundant gas available for star formation at later times. This new H$_2$ model is able to reproduce the empirical KS relationship at $z=0$ naturally without the need for setting its normalization by hand, and overall it seems to have more advantages than the previous pressure-based SF model.
description: 23 pages, 19 figures, 1 table, accepted to ApJ
Flag-Dipole Spinor Fields in ESK Gravities
Creators: name: da Rocha, Roldao
name: Fabbri, Luca
name: da Silva, J. M. Hoff
name: Cavalcanti, R. T.
name: Silva-Neto, J. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: We consider the Riemann-Cartan geometry as a basis for the Einstein-Sciama-Kibble theory coupled to spinor fields: we focus on $f(R)$ and conformal gravities, regarding the flag-dipole spinor fields, type-(4) spinor fields under the Lounesto classification. We study such theories in specific cases given for instance by cosmological scenarios: we find that in such background the Dirac equation admits solutions that are not Dirac spinor fields, but in fact the aforementioned flag-dipoles ones. These solutions are important from a theoretical perspective, as they evince that spinor fields are not necessarily determined by their dynamics, but also a discussion on their structural (algebraic) properties must be carried off. Furthermore, the phenomenological point of view is shown to be also relevant, since for isotropic Universes they circumvent the question whether spinor fields do undergo the Cosmological Principle.
description: 18 pages, improved version
Complimentary rewards in Las Vegas casinos: A literature synthesis and recommendations for profitable complimentary reward programs
Creators: name: Meczka, Katharine S.
Publisher: name: University of Nevada, Las Vegas
Year: 2010

description: This study summarizes academic theories and industry applications related to loyalty marketing schemes, drawing on literature pertaining to casino marketing, behavioral learning theory, loyalty marketing, and economics. Specifically, this study attempts to understand the market conditions and program structure under which Las Vegas Strip casinos may profitably utilize complimentary rewards through increasing short-term revenue and generating long-term loyalty. This literature synthesis provides important professional implications for casino marketers both in terms of effectively designing complimentary reward programs and sustaining profitable business during recessionary times.
Teleconference training within commercial customer service at US Bank
Creators: name: Snyder, Christy
Publisher: name: University of Nevada, Las Vegas
Year: 2006

description: Research suggests that effective employee training methods are of key importance in the service industry today. The service industry uses customer service as a means of differentiating its product (Davis, 2005; Farrell, 2005; Feiertag, 2005; Furunes, 2005; Higley, 2004a; Jenkins, 1984; Simons, 2005; Walsh, 2004). "Friendliness and a willingness to serve others are the tools of the hotel trade, and training is the sharpener that refines the tools into hospitality machines" (Higley, 2004b). Training is integral in creating a positive environment for customers. If organizations want to ensure customers have this type of environment, employees must have both service and technical knowledge; the employee must know what he or she is doing (Higley, 2004a). The service industry uses various forms of training in order to ensure employees have the required knowledge and skills needed to create a high level of customer service. In many organizations, employees are spread nationwide making traditional classroom based training ineffective and expensive (Roeder, 1986). Large organizations, in particular, have difficulty reaching thousands of employees consistently and in a short amount of time can be a "logistical nightmare" (Burns, 2005). In order to accommodate the distance gap, companies have created extensive training sessions based both on the computer and the telephone. Research has shown both methods to be cost effective and to have the capability to train a large number of people in different locations simultaneously (Off the road again: Training through teleconferencing. 1992; Reach out and train someone: The many faces of distance learning.2002; Teleconferencing fundamentals.2002; Davis, 2005; Eisinger & Smith, 2000; Gentry, 2005; Higley, 2004a; Jenkins, 1984; Pollitt, 2004; Suttell, 2005). Teleconferencing, computer-based, web-based, and videoconferencing are some common training methods currently employed (Teleconferencing fundamentals.2002).
Denkmäler altchristlicher Kunst in den Rheinlanden
Creators: name: Achelis, Hans
Publisher: name: Bonner Jahrbücher
Year: 2018

description: -
description: Bonner Jahrbücher, Bd. 126 (1921): Bonner Jahrbücher : Jahrbücher des Vereins von Altertumsfreunden im Rheinlande
Additional file 2 of Changes in the probability of hysterectomy in the city of Mainz and Mainz-Bingen region, Germany
Creators: name: Tanaka, Luana F.
name: Schoffer, Olaf
name: König, Jochem
name: Weyer-Elberich, Veronika
name: Blettner, Maria
name: Klug, Stefanie J.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 2.
A New Galactic Extinction Map in High Ecliptic Latitudes
Creators: name: Kohyama, Tsunehito
name: Shibai, Hiroshi
name: Fukagawa, Misato
name: Sumi, Takahiro
name: Hibi, Yasunori
Publisher: name: arXiv
Year: 2012
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: In this study, we derived a galactic extinction map in high ecliptic latitudes for |β| > 30 degrees. The dust temperature distribution was derived from the intensities at 100 and 140 μm with a spatial resolution of 5'. The intensity at 140 μm was derived from the intensities at 60 and 100 μm of the IRAS data assuming two tight correlations between the intensities at 60, 100, and 140 μm of the COBE/DIRBE data. We found that these correlations can be separated into two correlations by the antenna temperature of the radio continuum at 41 GHz. Because the present study can trace the 5'-scale spatial variation in the dust temperature distribution, it has an advantage over the extinction map derived by Schlegel, Finkbeiner, and Davis, who used the DIRBE maps to derive dust temperature distribution with a spatial resolution of 1 degrees. We estimated the accuracy of our method by comparing it with that of Schlegel, Finkbeiner, and Davis. The spatial resolution difference was found to be significant. The area in which the significant difference is confirmed occupies 28% of the region for |β| > 30 degrees. With respect to the estimation of extragalactic reddening, the present study has an advantage over the extinction map derived by Dobashi (2011), which was based on the 2MASS Point Source Catalog, because our extinction map is derived on the basis of far-infrared emission. Dobashi's extinction map exhibits a maximum value that is lower than that of our map in the galactic plane and a signal-to-noise ratio that is lower than that of our map in high galactic latitudes. This significant difference is confirmed in 81% of the region for |β| > 30 degrees. In the areas where the significant differences are confirmed, the extinction should be estimated using our method rather than the previous methods.
description: 28 pages, 14 figures, accepted for publication in PASJ
Creating, sustaining, and growing the learning culture of a new luxury hotel
Creators: name: Vargas, Andres F.
Publisher: name: University of Nevada, Las Vegas
Year: 2008

description: This paper uses exploratory, qualitative research to study the development of an organizational learning culture at a new luxury hotel. In the service industry, human resources represent the most valuable asset in the organization. Simply put, employees embody the brand as they interact with guests at every touch point. Internal and external guests evolving expectations, global competition and product commoditization, have forced lodging companies to look for ways in which to remain competitive and appealing to all stakeholders. A new property that joins a renowned hospitality management company, faces the challenge to deliver service that is up to its existing clientele expectations and consistent with its values, beliefs and principles. Hence, an organizational learning culture is pivotal to the success of new openings and future company growth.
Oryzomys gorgasi Hershkovitz 1971
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys gorgasi

description: Oryzomys gorgasi Hershkovitz, 1971. J. Mammal., 52:700 -709. TYPE LOCALITY: Colombia, Antioquia Dept., Loma Teguerre, between Rio Atrato and mouth of a channel of the east bank cienaga, just below and opposite Sautata (Choco), 7° 54' N „ 77° W. DISTRIBUTION: N.W. Colombia. COMMENT: Subgenus Oryzomys; see Hershkovitz, 1971.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 440, DOI: 10.5281/zenodo.7353031
description: {"references": ["Hershkovitz, P. 1971. A new rice rat of the Oryzomys palustris group (Cricetinae, Muridae) from northwestern Colombia, with remarks on distribution. Journal of Mammalogy, 52: 700 - 709."]}
The Financial performance of two Singapore boutique hotels: A comparative analysis
Creators: name: Fong, Kah Seng
Publisher: name: University of Nevada, Las Vegas
Year: 2009

description: During the decades when business and international travel expanded, the leading hotels began to set typical formats for their room layouts and décor, their restaurants, and their related services. For example, everyone recognizes that successive corporate decision-makers in hotels like Starwood, Hyatt, and Marriott converted their individual properties so each looked and acted like the others. Part of the motivation toward standardization was intended to comfort the traveler who then could depend on the expected quality no matter where the hotel was located.
On the accuracy of the approximation of the complex exponent by the first terms of its Taylor expansion with applications
Creators: name: Shevtsova, Irina
Publisher: name: arXiv
Year: 2013
Subjects: subject: Probability (math.PR)
subject: Classical Analysis and ODEs (math.CA)
subject: Optimization and Control (math.OC)
subject: FOS: Mathematics
subject: 60E10, 60E15, 26A06, 26A09, 41A10, 41A80 (primary), 41A44, 42A38, 49K35 (secondary)

description: A new bound for the remainder term in the Taylor expansion of the complex exponent $e^{ix}$, $x\in\R$, is proved yielding precise moment-type estimates of the accuracy of the approximation of the characteristic function (the Fourier--Stieltjes transform) of a probability distribution by the first terms of its Taylor expansion. Moreover, a precise upper bound for the third moment of a probability distribution in terms of the absolute third moment is established which sharpens Jensen's inequality. Based on these results, new improved bounds for characteristic functions and their derivatives are obtained that are {\it uniform} in the class of distributions with fixed first three moments.
description: 20 pages, 1 table. Some misprints are corrected including the one in the formulation of theorem 2 and a presentation of material is a bit improved
Additional file 3 of Changes in the probability of hysterectomy in the city of Mainz and Mainz-Bingen region, Germany
Creators: name: Tanaka, Luana F.
name: Schoffer, Olaf
name: König, Jochem
name: Weyer-Elberich, Veronika
name: Blettner, Maria
name: Klug, Stefanie J.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 3.
Local thermodynamics and the generalized Gibbs-Duhem equation in systems with long-range interactions
Creators: name: Latella, Ivan
name: Pérez-Madrid, Agustín
Publisher: name: arXiv
Year: 2013
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The local thermodynamics of a system with long-range interactions in d dimensions is studied using the mean-field approximation. Long-range interactions are introduced through pair interaction potentials that decay as a power law in the interparticle distance. We compute the local entropy, Helmholtz free energy, and grand potential per particle in the microcanonical, canonical, and grand canonical ensembles, respectively. From the local entropy per particle we obtain the local equation of state of the system by using the condition of local thermodynamic equilibrium. This local equation of state has the form of the ideal gas equation of state, but with the density depending on the potential characterizing long-range interactions. By volume integration of the relation between the different thermodynamic potentials at the local level, we find the corresponding equation satisfied by the potentials at the global level. It is shown that the potential energy enters as a thermodynamic variable that modifies the global thermodynamic potentials. As a result, we find a generalized Gibbs-Duhem equation that relates the potential energy to the temperature, pressure, and chemical potential. For the marginal case where the power of the decaying interaction potential is equal to the dimension of the space, the usual Gibbs-Duhem equation is recovered. As examples of the application of this equation, we consider spatially uniform interaction potentials and the self-gravitating gas. We also point out a close relationship with the thermodynamics of small systems.
description: 12 pages
Additional file 4 of Changes in the probability of hysterectomy in the city of Mainz and Mainz-Bingen region, Germany
Creators: name: Tanaka, Luana F.
name: Schoffer, Olaf
name: König, Jochem
name: Weyer-Elberich, Veronika
name: Blettner, Maria
name: Klug, Stefanie J.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 4.
Reflection from a moving mirror - a simple derivation using the photon model of light
Creators: name: Gjurchinovski, Aleksandar
Publisher: name: arXiv
Year: 2012
Subjects: subject: Classical Physics (physics.class-ph)
subject: FOS: Physical sciences

description: We present an elementary analysis of the effects on light reflected from a uniformly moving mirror by using the photon picture of light and the conservation laws for energy and momentum of the system photon-mirror. Such a dynamical approach to the problem seems very suitable for introductory physics courses, not requiring any previous knowledge in wave optics or special relativity.
description: 4 pages, 1 figure, LaTeX, v2: a slight error in the derivation corrected
Mapping groundwater dependent ecosystem potential in a semi-arid environment using a remote sensing-based multiple-lines-of-evidence approach
Creators: name: Fildes, Stephen G.
name: Doody, Tanya M.
name: Bruce, David
name: Clark, Ian F.
name: Batelaan, Okke
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Environmental Sciences not elsewhere classified
subject: Ecology
subject: FOS: Biological sciences
subject: Biological Sciences not elsewhere classified
subject: Plant Biology

description: Groundwater dependent ecosystems (GDEs) are vulnerable to groundwater regime changes. However, their protection is often hampered by challenges in their identification. Within is presented a remote sensing-based GDE potential mapping approach based on the persistency of relevant vegetation parameters during prolonged dry periods as an indicator of potential ‘consistency’ of water supply (e.g. groundwater). The study uses a novel approach to characterising persistency for selected vegetation parameters based on a normalised difference measure and an adaptation of the coefficient of variation statistic. Aggregation of parameters was facilitated through the analytic hierarchy process providing a structured weighting approach to minimise parameter bias. The approach is demonstrated in the semi-arid Flinders Ranges of South Australia where new groundwater resources are being sought to support local domestic and industry needs. Variations in GDE potential were mapped to better target areas where exploration of groundwater should be avoided. Mapping results indicated a high-level of agreement of 77% with an independent springs dataset, along with an 87% agreement with areas coinciding with known phreatophyte species and depths to groundwater. The index-based mapping approach has potential applicability across landscapes, as it normalises for variations in vegetation cover, minimises technical overheads, and employs continental-wide remote sensing data-products.
Oryzomys hammondi
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys hammondi

description: Oryzomys hammondi (Thomas, 1913). Ann. Mag. Nat. Hist., ser. 8, 12: 570. TYPE LOCALITY: Ecuador, Pichincha Prov., Mindo, 1284 m. DISTRIBUTION: Andean Ecuador. COMMENT: Formerly included in Macruroryzomys; see Cabrera, 1961:410, and Walker et al., 1975:764. Hershkovitz, 1970, J. Mammal., 51:789-794, considered Macruroryzomys a nomen nudum; hammondi is a possible precursor to the extinct Antillean genus Megalomys. Also see Pine and Wetzel, 1975, Mammalia, 39:353. ISIS NUMBER: 5301410008035031001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 440, DOI: 10.5281/zenodo.7353031
description: {"references": ["Walker, E. P., F. Warnick, S. E. Hamlet, K. I. Lange, M. A. Davis, H. E. Uible, and P. F. Wright. 1975. Mammals of the world. Third ed. Johns Hopkins University Press, Baltimore, 1: 1 - 646; 2: 647 - 1500.", "Pine, R. H., and R. M. Wetzel. 1975. A new subspecies of Pseudoryzomys wavrini (Mammalia: Rodentia: Muridae: Cricetinae) from Bolivia. Mammalia, 39: 649 - 655."]}
Additional file 5 of Changes in the probability of hysterectomy in the city of Mainz and Mainz-Bingen region, Germany
Creators: name: Tanaka, Luana F.
name: Schoffer, Olaf
name: König, Jochem
name: Weyer-Elberich, Veronika
name: Blettner, Maria
name: Klug, Stefanie J.
Publisher: name: figshare
Year: 2023
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: Sociology
subject: FOS: Sociology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer

description: Additional file 5.
title: Is virtualization an appropriate method of disaster recovery for the hospitality industry?
Creators: name: Murukutla, Manognya
Publisher: name: University of Nevada, Las Vegas
Year: 2010

description: Organizations across all business sectors are making increasing use of IT today. While other industries have understood the consequences of this dependence in the event of IT disasters and placed a large emphasis on disaster recovery plans and technology, the hospitality industry is lagging behind. One of the reasons why the hospitality industry does not place as much of an importance to disaster recovery is the cost. However, IT disaster is a very damaging occurrence, and measures should be taken to mitigate the event. Loss of a property's information technology (IT) functions can cause chaos in a hotel’s operations leading to revenue losses and negative publicity that may take years to overcome. Virtualization is a relatively new technology, which is easier to manage, and it is said to be cost effective, and ideal for disaster recovery purposes. However, it may not be suitable to every industry. The purpose of this study is to examine virtualization as a method of disaster recovery for the hospitality industry.
title: Labor Shortage and the Development of Gaming Industry in Macau
Creators: name: Ming, Liz Chiu Nga
Publisher: name: University of Nevada, Las Vegas
Year: 2011

description: The purpose of this paper is to explore how the labor shortage in Macau directly affects the growth and development of the gaming industry. As Macau is currently facing similar situations like PRC China, the blooming economy became the main cause for companies to use lucrative salaries to attract quality employees from different sources, including school dropouts as well as current employees from other organizations. In the long run, this could cause a negative impact to the industry as the companies might be forced to promote immature and inexperienced employees to senior positions in order to fill the vacancies. This would ultimately affect the positive growth of the industry as a whole.
Oryzomys intectus Thomas 1921
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys intectus

description: Oryzomys intectus Thomas, 1921. Ann. Mag. Nat. Hist., ser. 9, 8:356. TYPE LOCALITY: Colombia, Antioquia, Santa Elena, near Medellin, 2700 m. DISTRIBUTION: C. Colombia. COMMENT: Status uncertain; provisionally placed in subgenus Oryzomys; see Cabrera, 1961:390. ISIS NUMBER: 5301410008035033001.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 440, DOI: 10.5281/zenodo.7353031
Legends of the dashboard: an empirical evaluation of split and joint layout designs for geovisual analytics interfaces
Creators: name: Gołębiowska, Izabela
name: Opach, Tomasz
name: Çöltekin, Arzu
name: Korycka-Skorupa, Jolanta
name: Rød, Jan Ketil
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Biophysics
subject: Medicine
subject: Molecular Biology
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Science Policy

description: Geodashboards are often designed with explanatory elements guiding users. These elements (e.g. legends or annotations) need to be carefully designed to mitigate split attention or information integration issues. In this paper, we report expert interviews followed by a controlled experiment where we compare two interface designs with a focus on the split attention effect: (1) a multiple-legend layout with explanatory elements located next to each view, and (2) a single-legend layout with all explanatory elements gathered in one place. Different legend layouts did not affect the performance, but affected user satisfaction. 75% of the participants preferred the multiple-legend layout, and rated it with a higher usability score, mainly attributing this preference to the proximity of legend elements to the view of interest. Eye tracking data strongly and clearly verifies that participants indeed make use of the proximity: With the single-legend, the majority of eye-movement transitions were between the single-legend and the closest view to the legend, whereas with multiple-legend participants have shorter and more frequent legend visits, as well as more transitions between legends and views. Taken together, the design lesson we learned from this experiment can be summarized as ‘split the legend elements, but make it close to the explained elements’.
MPEC 2023-M114 : 2023 MM3
Creators: name: Minor Planet Center Staff
Publisher: name: The Minor Planet Center
Year: 2023
Subjects: subject: Small Solar System bodies
valueUri: http://astrothesaurus.org/uat/1469
subject: 2023 MM3

description: The Minor Planet Electronic Circulars contain information on unusual minor planets, routine data on comets and natural satellites, and occasional editorial announcements.  They are published on behalf of Division F of the International Astronomical Union by the Minor Planet Center, Smithsonian Astrophysical Observatory, Cambridge, MA 02138, U.S.A.
Polarimetric Imaging of Large Cavity Structures in the Pre-transitional Protoplanetary Disk around PDS 70: Observations of the disk
Creators: name: Hashimoto, Jun
name: Dong, Ruobing
name: Kudo, Tomoyuki
name: Honda, M.
name: McClure, M.
name: Zhu, Z.
name: Muto, T.
name: Wisniewski, John
name: Abe, Lyu
name: Brandner, Wolfgang
name: Brandt, Timothy
name: Carson, J.
name: Egner, Sebastian
name: Feldt, Markus
name: Fukagawa, Misato
name: Goto, Miwa
name: Grady, Carol Anne
name: Guyon, Olivier
name: Hayano, Yutaka
name: Hayashi, Masao
name: Hayashi, Saeko
name: Henning, Thomas
name: Hodapp, Klaus
name: Ishii, Miki
name: Iye, Masanori
name: Janson, Markus
name: Kandori, Ryo
name: Knapp, Gillian
name: Kusakabe, Nobuhiko
name: Kuzuhara, Masayuki
name: Kwon, Jungmi
name: Matsuo, Taro
name: Mayama, Satoshi
name: McElwain, Michael
name: Miyama, Shoken
name: Morino, Jun-Ichi
name: Moro-Martin, Amaya
name: Nishimura, T.
name: Pyo, Tae-Soo
name: Serabyn, G.
name: Suenaga, Takuya
name: Suto, Hiroshi
name: Suzuki, Ryuji
name: Takahashi, Y. H.
name: Takami, Michihiro
name: Takato, Naruhisa
name: Terada, Hiroshi
name: Thalmann, Christian
name: Tomono, Daigo
name: Turner, Edwin L.
name: Watanabe, Makoto
name: Yamada, Toru
name: Takami, Hideki
name: Usuda, Tomonori
name: Tamura, Motohide
Publisher: name: arXiv
Year: 2012
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We present high resolution H-band polarized intensity (PI; FWHM = 0."1: 14 AU) and L'-band imaging data (FWHM = 0."11: 15 AU) of the circumstellar disk around the weak-lined T Tauri star PDS 70 in Centaurus at a radial distance of 28 AU (0."2) up to 210 AU (1."5). In both images, a giant inner gap is clearly resolved for the first time, and the radius of the gap is ~70 AU. Our data show that the geometric center of the disk shifts by ~6 AU toward the minor axis. We confirm that the brown dwarf companion candidate to the north of PDS 70 is a background star based on its proper motion. As a result of SED fitting by Monte Carlo radiative transfer modeling, we infer the existence of an optically thick inner disk at a few AU. Combining our observations and modeling, we classify the disk of PDS 70 as a pre-transitional disk. Furthermore, based on the analysis of L'-band imaging data, we put an upper limit mass of companions at ~30 to ~50MJ within the gap. Taking account of the presence of the large and sharp gap, we suggest that the gap could be formed by dynamical interactions of sub-stellar companions or multiple unseen giant planets in the gap.
description: accepted by APJL
Oryzomys kelloggi Avila-Pires 1959
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys kelloggi

description: Oryzomys kelloggi Avila-Pires, 1959. Atas Soc. Biol. Rio de J., 3(4):2. REVIEWED BY: R. H. Pine (RHP). TYPE LOCALITY: Brazil, Minas Gerais, Alem Paraiba. DISTRIBUTION: S. E. Brazil. COMMENT: Subgenus uncertain; probably sugenus Oryzomys (RHP); probably subgenus Oecomys (AL).
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 441, DOI: 10.5281/zenodo.7353031
Optimal sub-Poissonian light generation from twin beams by photon-number resolving detectors
Creators: name: Lamperti, Marco
name: Allevi, Alessia
name: Bondani, Maria
name: Machulka, Radek
name: Michalek, Vaclav
name: Haderka, Ondrej
name: Perina, Jan
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We generate nonclassical conditional states by exploiting the quantum correlations of multi-mode twin-beam states endowed with a sizeable number of photons. A strong relation between the sub-shot-noise correlations exhibited by twin beams and the sub-Poissonian character of the conditional states is experimentally revealed. It determines optimal conditions for sub-Poissonian light generation.
description: 6 pages, 5 figures
Oryzomys lamia Thomas 1901
Creators: name: Honacki, James H.
name: Kinman, Kenneth E.
name: Koeppl, James W.
Publisher: name: Zenodo
Year: 1982
Subjects: Biodiversity
Taxonomy
Animalia
Chordata
Mammalia
Rodentia
Cricetidae
Oryzomys
Oryzomys lamia

description: Oryzomys lamia Thomas, 1901. Ann. Mag. Nat. Hist., ser. 7, 8:528. TYPE LOCALITY: Brazil, Minas Gerais, Rio Jordao. DISTRIBUTION: S.E. Brazil. COMMENT: According to Thomas, 1901, Ann. Mag. Nat. Hist., ser. 7, 8:528, nearest to "laticeps var. intermedia ,'' here included in capita; also see Hershkovitz, 1966, Z. Saugetierk., 31: 138.
description: Published as part of James H. Honacki, Kenneth E. Kinman & James W. Koeppl, 1982, Order Rodentia (Part 3), pp. 392-476 in Mammal Species of the World (1 st Edition), Lawrence, Kansas, USA :Alien Press, Inc. & The Association of Systematics Collections on page 441, DOI: 10.5281/zenodo.7353031
From unstructured texts to semantic story maps
Creators: name: Bartalesi, Valentina
name: Coro, Gianpaolo
name: Lenzi, Emanuele
name: Pagano, Pasquale
name: Pratelli, Nicolò
Publisher: name: Taylor & Francis
Year: 2023
Subjects: subject: Ecology
subject: FOS: Biological sciences
subject: Information Systems not elsewhere classified
subject: Cancer
subject: Science Policy
subject: Computational Biology

description: Digital maps greatly support storytelling about territories, especially when enriched with data describing cultural, societal, and ecological aspects, conveying emotional messages that describe the territory as a whole. Story maps are interactive online digital narratives that can describe a territory beyond its map by enriching the map with text, pictures, videos, and other multimedia information. This paper presents a semi-automatic workflow to produce story maps from textual documents containing territory data. An expert first assembles one territory-contextual document containing text and images. Then, automatic processes use natural language processing and Wikidata services to (i) extract key concepts (entities) and geospatial coordinates associated with the territory, (ii) assemble a logically-ordered sequence of enriched story-map events, and (iii) openly publish online story maps and an interoperable Linked Open Data semantic knowledge base for event exploration and inter-story correlation analyses. Our workflow uses an Open Science-oriented methodology to publish all processes and data. Through our workflow, we produced story maps for the value chains and territories of 23 rural European areas of 16 countries. Through numerical evaluation, we demonstrated that territory experts considered the story maps effective in describing their territories, and appropriate for communicating with citizens and stakeholders.