cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Tephritis radiosa Rondani 1868
Creators: name: Sforzi, Alessandra
name: Sommaggio, Daniele
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tephritidae
Tephritis
Tephritis radiosa

description: Tephritis radiosa Rondani, 1868
ORIGINAL DESCRIPTION: 1868b: 31.
 TYPE LOCALITY: “ Philippines. Luzon. Manille [Manila, Luzon, Philippines]” (Macquart 1851a: 266) [type locality for Acinia stellata Macquart, 1851].
TYPE MATERIAL: see Remarks.
 CURRENT STATUS: valid species, as Hexacinia radiosa (Hardy 1977: 65, Norrbom et al. 1999: 159).
 REMARKS: Macquart (1844: 384, 1851a: 266) described two different species under the same name, Acinia stellata. Rondani (1868b: 31) considered them as belonging to the genus Tephritis Latreille, 1804, under which he also placed Musca stellata Fuesslin, 1775, and proposed the new replacement names Tephritis siderata for Acinia stellata Macquart, 1843 and Tephritis radiosa for Acinia stellata Macquart, 1851 (Rondani 1868b: 31). Because the two species described by Fuesslin (1775) and Macquart (1844), respectively, did not belong to the same genus, Norrbom et al. (1999: 159) considered the name Tephritis siderata as unavailable, and the name Tephritis radiosa as valid. The type material for Tephritis radiosa Rondani, 1868 will be the same as for the name it was proposed to replace, i. e., Acinia stellata Macquart, 1851. The single specimen from the Oriental Region in the Macquart-Bigot collection in the OUMNH (Oxford University Museum of Natural History 2020) is presumably the type for Acinia stellata.
description: Published as part of Sforzi, Alessandra & Sommaggio, Daniele, 2021, Catalog of the Diptera types described by Camillo Rondani, pp. 1-438 in Zootaxa 4989 (1) on page 376, DOI: 10.11646/zootaxa.4989.1.1, http://zenodo.org/record/4980621
Mean field theory for double-perovskites
Creators: name: Brey, L.
name: Calderon, M. J.
name: Sarma, S. Das
name: Guinea, F.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: A mean field approximation of a model for double perovskites that takes into account the coupling between itinerant electron spins and localized spins is developed. As in previously reported theoretical results, and contrary to experimental observation, the critical temperature is suppressed for large electron density. An effective Heisenberg model reveals the cause of this discrepancy: the competition between degenerate antiferromagnetic and ferromagnetic channels. This degeneracy can be broken by the inclusion of a Hubbard-type U term. It is therefore suggested that electron correlation effects need to be incorporated in the minimal model of double perovskites in order to explain the experimental observation of increasing ferromagnetic critical temperature with increasing electron doping.
description: 8 pages, including 4 figures
MCMC Approach to Classical Estimation with Overidentifying Restrictions
Creators: name: Quintero, Luis
Publisher: name: Carnegie Mellon University
Year: 2009
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: This paper extends the Laplace estimators proposed by Chernozhukov and Hong (2003) to incorporate the statistic that tests the overidentifying restrictions in the GMM. This information was previously ignored during parameter estimation in econometrics with Bayesian methods. The parameters and the test statistic are estimated simultaneously using information in the entire domain of the estimation equations, not at the global minimum only. We avoid the curse of dimensionality by using MCMC, following Chernozhukov and Hong (2003). Multivariate kernel density estimation gives a smooth distribution of the parameter values that are a solution to the optimization in Laplace estimation. The transformed estimators perform better in a simulation exercise than those version that do not use the information in the OR during parameter estimation. Furthermore, the kernel density also allows for the calculation of alternative estimators that condition the estimation on the OR being satisfied. In the presence of multiple solutions of the GMM objective function, conditioning on the OR brings economic theory as a criteria for estimate selection. As a consequence, our estimators perform better than their unconditional counterparts in a simulation exercise. We simulate a model in Hall and Horowitz (1996) that frequently presents multiple local solutions.
How to include a three-nucleon force into Faddeev equations for the 3N continuum: a new form
Creators: name: Hüber, D.
name: Kamada, H.
name: Witała, H.
name: Glöckle, W.
Publisher: name: arXiv
Year: 1996
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: A new, more efficient approach to include a three nucleon force into three-nucleon continuum calculations is presented. Results obtained in the new and our old approach are compared both for elastic nucleon-deuteron scattering as well as for the breakup process. The advantages of the new scheme are discussed.
description: 12 pages in REVTeX, 2 figures in PiCTeX
An Overview of the Phytochemical, Pharmacologicaland Clinical Activities of Holarrhena Antidysenterica (L.)
Creators: name: Garje Pooja G, Khengre Pallavi S, Tandale Prashant S, Garje Sanjay Y, Sayyed Gaffar A
Publisher: name: Zenodo
Year: 2024

description: Holarrhena antidysenterica, an invaluable medicinal plant, has been extensively studied for its diverse pharmacological properties and therapeutic applications. Its stem bark, leaves, and seeds have been utilized for various ailments. Phytochemical studies have revealed compounds with analgesic Holarrhena antidysenterica, a member of the Apocynaceae family. This comprehensive review synthesizes the current knowledge on the phytochemistry, pharmacology, and clinical efficacy of Holarrhena antidysenterica. Through meticulous phytochemical analyses, numerous bioactive compounds including alkaloids, flavonoids, and terpenoids have been identified, contributing to its pharmacological versatility. Pharmacological investigations have revealed its profound anti-inflammatory, antimicrobial, antidiarrheal, antidiabetic, and anticancer activities, among others. Additionally, traditional medicinal uses of Holarrhena antidysenterica in treating dysentery, diarrhoea, malaria, and diabetes are corroborated by scientific evidence. Importantly, safety assessments highlight its favourable toxicological profile, further affirming its potential as a therapeutic agent. This review consolidates the existing knowledge base, emphasizing the need for continued exploration of Holarrhena antidysenterica to harness its full therapeutic potential for the benefit of global healthcare.
Study of Chinese and Igbo Tone Marks: Challenges and Recommendations to Igbo Learners of Chinese Language. 汉语与尼日利亚伊博语的声调分析研究
Creators: name: Okafor, Miracle Uzochukwu
Publisher: name: figshare
Year: 2021
Subjects: subject: Linguistics
subject: FOS: Languages and literature
subject: 200322 Comparative Language Studies

description: The tone is very important in distinguishing words that are spelled the same way. Since Igbo and Chinese are both tonal languages, many words are written the same way but are pronounced differently depending on the meaning. The speech learning model proposed by Flege(1995) indicates that the perceptual relationship between L1 and L2 phonological categories is quite important in the process of second language acquisition. Therefore, this paper adopts a descriptive method to analyze the tone and tone marks of both Chinese and Igbo Languages, as well as the tone challenges faced by Igbo learners in the process of learning Chinese language. The purpose is to understand Chinese and Igbo tone rules; value, types and categories. The results show that there are four basic tones in Chinese: the 1st tone (flat/ level tone), the 2nd tone (rising tone), the 3rd tone (dipping tone), and the 4th tone (falling tone). Igbo has three tones: high tone, low tone, and flat/mid-tone. Since there is no Chinese 3rd tone in Igbo language, Igbo learners of Chinese language find it difficult to pronounce words with a 3rd tone. Therefore, the Chinese 3rdtone is often replaced with Igbo high tone which results in error or misunderstanding. Specifically speaking, this is caused by the negative transfer of mother tongue. The results of this study can provide a reliable basis for the Teaching of Chinese tones in Nigerian learners especially those of Igbo origin.
Self-dual instanton and nonself-dual instanton-antiinstanton solutions in $d=4$ Yang-Mills theory
Creators: name: Radu, Eugen
name: Tchrakian, D. H.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Lattice (hep-lat)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Mathematical Physics (math-ph)
subject: FOS: Physical sciences

description: Subjecting the SU(2) Yang--Mills system to azimuthal symmetries in both the $x-y$ and the $z-t$ planes results in a residual subsystem described by a U(1) Higgs like model with two complex scalar fields on the quarter plane. The resulting instantons are labeled by integers $(m,n_1,n_2)$ with topological charges $q=\frac12 [1-(-1)^m]n_1n_2$. Solutions are constructed numerically for $m=1,2,3$ and a range of $n_1=n_2=n$. It is found that only the $m=1$ instantons are self-dual, the $m>1$ configurations describing composite instanton-antiinstanton lumps.
description: 12 pages, 5 Figures
On the Integrated Spectrum of the X-ray Binaries and the Origin of Soft X-ray Emission from the Bulge of M31
Creators: name: Borozdin, Konstantin N.
name: Priedhorsky, William C.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Using ROSAT PSPC data, we have performed several tests aimed at understanding the origin of the soft X-ray spectral component detected from the bulge of M31. We find that a significant soft component in the spectrum of the bulge is spatially correlated with the unresolved X-ray emission near the core of M31, which is probably a hot interstellar medium or perhaps a population of multiple faint sources. For the first time, we extracted the spectrum of this unresolved emission, by removing point sources dominating the integral spectrum of the bulge, and found it to be responsible for the most of soft excess. A soft spectral component is not at all needed to fit the point source spectrum that remains after subtracting the unresolved emission. The integral spectra of bright point sources, both inside and outside of the M31 bulge, can be fitted with a single power-law in the ROSAT band. Our analysis rules out the previous suggestion that all bulge emission in M31 may be generated by low mass X-ray binaries (Irwin & Bregman, 1999).
description: 11 pages incl. 2 figures, 2 tables, accepted to ApJL
Security of Quantum Key Distribution from Attacker's View
Creators: name: Iwakoshi, Takehisa
Publisher: name: arXiv
Year: 2017
Subjects: subject: Quantum Physics (quant-ph)
subject: Cryptography and Security (cs.CR)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: In 2005, trace distance between an ideal quantum state to be distributed and an actual quantum state distributed was introduced as a valid security measure of Quantum Key Distribution (QKD) by R. Renner et al., then it has been perceived that the trace can be interpreted as a maximum failure probability of QKD. While such a perspective has been widely accepted, H. P. Yuen and O. Hirota have been warning that such an interpretation is not correct since 2009. The author of this study has been giving questions on the interpretation of the trace distance based on their criticisms since QIT30 in May 2014, and has been proposing Yuen's idea to evaluate the security of QKD by the probability for the attacker to guess the correct key. However, the author could not give the guessing probability concretely. In this study, the author explains how to derive the average guessing probability for the attacker, where its result equals to Yuen's derivation firstly seen in 2010. From this result, one will see the problems with the maximum failure probability interpretation of the trace distance clearly. This study also explains the indistinguishability advantage interpretation is also invalid.
description: in Japanese and English. The part of this unpublished work is now published in SPIE proceedings (Open Access), http://dx.doi.org/10.1117/12.2278625
Double beta decay and the proton-neutron residual interaction
Creators: name: Hirsch, Jorge G.
name: Hess, Peter O.
name: Civitarese, Osvaldo
Publisher: name: arXiv
Year: 1996
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The validity of the pn-QRPA and -RQRPA descriptions of double beta decay transition amplitudes is analyzed by using an exactly solvable model. It is shown that the collapse of the QRPA is physically meaningful and that it is associated with the appearance of a state with zero energy in the spectrum. It is shown that in the RQRPA this particular feature is not present and that this approach leads to finite but otherwise spurious results for the double beta decay transition amplitudes near the point of collapse.
description: LaTeX, 10 pages plus 3 fugures as LaTeX files. Accepted for publication in Physics Letters B
Delayed blood transfusion is associated with mortality following radical cystectomy
Creators: name: Tan, Wei Shen
name: Wang, Ye
name: Trinh, Quoc-Dien
name: Preston, Mark A.
name: Kelly, John D.
name: Hrouda, David
name: Kibel, Adam S.
name: Krasnow, Ross E.
name: Liu, Jen-Jane
name: Chung, Benjamin I.
name: Chang, Steven L.
name: Mossanen, Matthew
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Medicine
subject: Cell Biology
subject: Immunology
subject: FOS: Clinical medicine
subject: Biological Sciences not elsewhere classified
subject: Developmental Biology
subject: Computational Biology

description: Objectives: To examine the temporal association between blood transfusion and 90-day mortality in patients with bladder cancer treated with radical cystectomy. Methods: This represents a retrospective cohort study of patients treated with radical cystectomy within the Premier Hospital network between 2003 and 2015. Patients outcomes were stratified those who received early blood transfusion (day of surgery) vs delayed blood transfusion (postoperative day ≥1) during the index admission. Primary end point was 90-day mortality following surgery. Results: The median age of 12,056 patients identified was 70 years. A total of 7,201 (59.7%) patients received blood transfusion. Within 90 days following surgery, 57 (2.2%), 162 (5.9%) and 123 (6.7%) patients in the early, delayed and both early and delayed transfused patients died respectively. Following multivariate logistic regression to account for patient (age and Charlson Comorbidity Index [CCI]) and hospital (surgeon volume, surgical approach and academic status) factors, delayed blood transfusion was independently associated with 90-day mortality (Odds ratio [OR], 2.64; 95% Confidence Interval [CI], 1.98–3.53; p < 0.001). A sensitivity analysis defining early blood transfusion as <2 days postoperatively, increased 90-day mortality persisted in patients receiving delayed transfusion (OR, 2.20; 95% CI, 1.63-3.00; p < 0.001). Older patients (≥77 years) with the highest CCI (≥2) had a 7% absolute increase in the predicted probability of 90-day mortality if they were transfused late compared to patients transfused early. Conclusion: Patient undergoing cystectomy may benefit from expedited transfusion to prevent subsequent clinical deterioration which may lead to patient mortality. Future work is needed to elucidate the optimal timing of blood transfusion.
Spin-Hall effect in a [110] quantum well
Creators: name: Hankiewicz, E. M.
name: Vignale, G.
name: Flatte, M.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: A self-consistent treatment of the spin-Hall effect requires consideration of the spin-orbit coupling and electron-impurity scattering on equal footing. This is done here for the experimentally relevant case of a [110] GaAs quantum well [Sih {\it et al.}, Nature Physics 1, 31 (2005)]. Working within the framework of the exact linear response formalism we calculate the spin-Hall conductivity including the Dresselhaus linear and cubic terms in the band structure, as well as the electron-impurity scattering and electron-electron interaction to all orders. We show that the spin-Hall conductivity naturally separates into two contributions, skew-scattering and side-jump, and we propose an experiment to distinguish between them.
description: The connection with the recent experiment on [110] quantum wells is emphasized
Medium modification of strange hadronic resonances at SIS, RHIC and LHC energies
Creators: name: Tolos, Laura
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The properties of strange pseudoscalar and vectors mesons as well as strange baryon resonances in dense matter are reviewed. Some open questions on the properties of strange hadrons in medium are addressed, such as the experimental signatures of in-medium effects coming from the hadronic phase on the final observables in heavy-ion collisions for the experimental conditions at SIS, RHIC and LHC energies.
description: 6 pages, 4 figures, contribution based on a plenary talk at Strangeness in Quark Matter (SQM2017), 10-15 July 2017, Utrecht (The Netherlands)
Mathematical Models for Reconstruction Planning in Urban Areas
Creators: name: Changmi  Jung
name: Johnson, Michael
name: Trick, Michael
name: Williams, Justin
Publisher: name: Carnegie Mellon University
Year: 2007
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: In the aftermath of a natural disaster, urban planners need to decide how neighborhoods should be restored under limited resources. An ill-planned reconstruction strategy and implementation process may result in socially inefficient land uses and subject neighborhoods to excessive future risk of disaster damage. In this study, we develop a prescriptive mathematical model for the design of redevelopment strategies that minimize future risk of flood and maximize net social benefit under spatial and equity constraints. This model, based on political districting models, is implemented using mathematical programming and a local search heuristic. Computational results are encouraging both for model outputs and solution efficiency. We generate an approximation to a Pareto frontier that provides decisionmakers with considerable flexibility regarding redevelopment strategies.
On the one-loop correction of "phi^4" theory in higher dimensions
Creators: name: Ansari, Rizwan Ul Haq
name: Suresh, P K
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We have considered phi^4 theory in higher dimensions. Using functional diagrammatic approach, we computed the one-loop correction to effective potential of the scalar field in five dimensions. It is shown that phi^4 theory can be regularised in five dimensions. Temperature dependent one-loop correction and critical temperature T_c are computed and T_c depends on the fundamental scale M of the theory. A brief discussion of symmetry restoration is also presented. The nature of phase transitions is examined and is of second order
description: 8 pages, 5 figures. To appear in IJMPA
LRDD wells for methane drainage Staszic-Wujek Coal Mine's - experience and scope of work in the DD-MET project
Creators: name: Dziuba, Damian
name: Plonka, Grzegorz
Publisher: name: Zenodo
Year: 2024

description: This research was funded by the European Union, Research Fund for Coal and Steel under the project DD-MET “Advanced methane drainage strategy-technology employing underground directional drilling technology for major risk prevention and greenhouse gases emission mitigation” (Grant Agreement No. 847338-DD-MET-RFCS-2018)
Water Quality Prediction Using Machine Learning
Creators: name: Nikwade Sagar Ravindra, Pandey Nilesh Munnu, Patil Ganesh Bhagwat, Bendale Sankalp Yogiraj
Publisher: name: Zenodo
Year: 2024

description: Water quality deterioration poses a substantial environmental and health threat. Predicting water quality can be crucial for proactive management and mitigation strategies. This study explores the use of machine learning algorithms for water quality classification. The Water Quality Index (WQI), incorporating parameters like pH, temperature, and dissolved oxygen, will be used to evaluate water quality. Subsequently, water samples will be assigned distinct classes based on their WQI values. Machine learning algorithms, including K-Nearest Neighbors, Naive Bayes, Support Vector Machine, Decision Tree, and Random Forest, will be implemented for classification. Their performance will be evaluated using accuracy, confusion matrix, precision, recall, and F1-score metrics.  This study aims to identify the optimal machine learning algorithm for water quality classification, contributing to the development of efficient and reliable water quality monitoring systems.
Extragalactic gamma-ray background from AGN winds and star-forming galaxies in cosmological galaxy formation models
Creators: name: Lamastra, A.
name: Menci, N.
name: Fiore, F.
name: Antonelli, L. A.
name: Colafrancesco, S.
name: Guetta, D.
name: Stamerra, A.
Publisher: name: arXiv
Year: 2017
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: We derive the contribution to the extragalactic gamma-ray background (EGB) from AGN winds and star-forming galaxies by including a physical model for the gamma-ray emission produced by relativistic protons accelerated by AGN-driven and supernova-driven shocks into a state-of-the-art semi-analytic model of galaxy formation. This is based on galaxy interactions as triggers of AGN accretion and starburst activity and on expanding blast wave as the mechanism to communicate outwards the energy injected into the interstellar medium by the active nucleus. We compare the model predictions with the latest measurement of the EGB spectrum performed by the Fermi-LAT in the range between 100 MeV and 820 GeV. We find that AGN winds can provide ~35$\pm$15% of the observed EGB in the energy interval E_γ=0.1-1 GeV, for ~73$\pm$15% at E_γ=1-10 GeV, and for ~60$\pm$20% at E_γ>10 GeV. The AGN wind contribution to the EGB is predicted to be larger by a factor of 3-5 than that provided by star-forming galaxies (quiescent plus starburst) in the hierarchical clustering scenario. The cumulative gamma-ray emission from AGN winds and blazars can account for the amplitude and spectral shape of the EGB, assuming the standard acceleration theory, and AGN wind parameters that agree with observations. We also compare the model prediction for the cumulative neutrino background from AGN winds with the most recent IceCube data. We find that for AGN winds with accelerated proton spectral index p=2.2-2.3, and taking into account internal absorption of gamma-rays, the Fermi-LAT and IceCube data could be reproduced simultaneously.
description: 12 pages, 8 figures, accepted for publication in A&A
Possible solution of the Coriolis attenuation problem
Creators: name: Protopapas, Pavlos
name: Klein, Abraham
Publisher: name: arXiv
Year: 1996
Subjects: subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The most consistently useful simple model for the study of odd deformed nuclei, the particle-rotor model (strong coupling limit of the core-particle coupling model) has nevertheless been beset by a long-standing problem: It is necessary in many cases to introduce an ad hoc parameter that reduces the size of the Coriolis interaction coupling the collective and single-particle motions. Of the numerous suggestions put forward for the origin of this supplementary interaction, none of those actually tested by calculations has been accepted as the solution of the problem. In this paper we seek a solution of the difficulty within the framework of a general formalism that starts from the spherical shell model and is capable of treating an arbitrary linear combination of multipole and pairing forces. With the restriction of the interaction to the familiar sum of a quadrupole multipole force and a monopole pairing force, we have previously studied a semi-microscopic version of the formalism whose framework is nevertheless more comprehensive than any previously applied to the problem. We obtained solutions for low-lying bands of several strongly deformed odd rare earth nuclei and found good agreement with experiment, except for an exaggerated staggering of levels for K=1/2 bands, which can be understood as a manifestation of the Coriolis attenuation problem. We argue that within the formalism utilized, the only way to improve the physics is to add interactions to the model Hamiltonian. We verify that by adding a magnetic dipole interaction of essentially fixed strength, we can fit the K=1/2 bands without destroying the agreement with other bands. In addition we show that our solution also fits 163Er, a classic test case of Coriolis attenuation that we had not previously studied.
description: revtex, including 7 figures(postscript), submitted to Phys.Rev.C
Soft Contract Verification for Higher-Order Stateful Programs
Creators: name: Nguyen, Phuc C.
name: Gilray, Thomas
name: Tobin-Hochstadt, Sam
name: Van Horn, David
Publisher: name: arXiv
Year: 2017
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring contracts imposes significant overhead and delays error discovery. So contract verification aims to guarantee all or most of these properties ahead of time, enabling valuable optimizations and yielding a more general assurance of correctness. Existing methods for static contract verification satisfy the needs of more restricted target languages, but fail to address the challenges unique to those conjoining untyped, dynamic programming, higher-order functions, modularity, and statefulness. Our approach tackles all these features at once, in the context of the full Racket system---a mature environment for stateful, higher-order, multi-paradigm programming with or without types. Evaluating our method using a set of both pure and stateful benchmarks, we are able to verify 99.94% of checks statically (all but 28 of 49, 861). Stateful, higher-order functions pose significant challenges for static contract verification in particular. In the presence of these features, a modular analysis must permit code from the current module to escape permanently to an opaque context (unspecified code from outside the current module) that may be stateful and therefore store a reference to the escaped closure. Also, contracts themselves, being predicates wri en in unrestricted Racket, may exhibit stateful behavior; a sound approach must be robust to contracts which are arbitrarily expressive and interwoven with the code they monitor. In this paper, we present and evaluate our solution based on higher-order symbolic execution, explain the techniques we used to address such thorny issues, formalize a notion of behavioral approximation, and use it to provide a mechanized proof of soundness.
description: ACM SIGPLAN Symposium on Principles of Programming Language (POPL)
Markets for Technology and Their Implications for Corporate Strategy
Creators: name: Arora, Ashish
name: Fosfuri, Andrea
name: Gambardella, Alfonso
Publisher: name: Carnegie Mellon University
Year: 2000
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: Although market transactions for technologies, ideas, knowledge or information are limited by several well known imperfections, there is increasing evidence that they have become more common than in the past. In this paper we argue that these markets change the traditional mindset in which the only available option for a company wishing to introduce an innovation is to develop the technology in-house, or for a company developing the technology to own the downstream assets needed to manufacture and commercialize the goods. This affects the role of companies both as technology users (they can “buy” technologies) and as technology suppliers (they can “sell” technologies). The implications for management include more proactive management of intellectual property, greater attention to external monitoring of technologies, and organizational changes to support technology licensing, joint-ventures and acquisition of external technology. For entrepreneurial startups, markets for technology make a focused business model more attractive. At the industry level, markets for technology may lower barriers to entry and increase competition, with obvious implications for the firms’ broader strategy as well.
Ultrarelativistic limit of a Rarefied Gas with Internal Structure
Creators: name: Pennisi, Sebastiano
name: Ruggeri, Tommaso
Publisher: name: arXiv
Year: 2017
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The aim of this letter is to check the ultra-relativistic limit of a recent model proposed by Pennisi and Ruggeri [Ann. Phys. 377, 414 (2017)] for a relativistic gas with internal structure. Considering an Eulerian fluid we prove that there exists a critical value of the degree of freedom such that for smaller values of this quantity the ultra relativistic limit of the energy of a gas with structure is the same as the Synge energy for monatomic gases, while for larger degrees of freedom the energy increases with the degree of freedom itself. The limiting equations are accompanied with the explicit expression of the characteristic velocities of the hyperbolic system.
description: 4 pages, 2 figures
Marijuana Markets: Inferences from Reports by the Household Population
Creators: name: Caulkins, Jonathan
name: Pacula, Rosalie Liccardo
Publisher: name: Carnegie Mellon University
Year: 2005
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: Generally more is known about drug use and demand than about markets and supply, in large part because population survey data are available while market data are not. Although the household population represents a relatively small proportion of users of hard drugs, it represents a large proportion of the population using marijuana and participating in marijuana markets. This paper provides a description of marijuana market and acquisition patterns as reported by participants in the 2001 National Household Survey on Drug Abuse. We find that most respondents obtain marijuana indoors (87%), from a friend or relative (89%), and for free (58%). Retail marijuana distribution appears to be embedded in social networks, rather than being dominated by “professional” sellers. Despite these contrasts with stereotypical street markets for cocaine and heroin, there are also similarities, such as evidence of quantity discounts and a minority of users accounting for the majority of purchases. We estimate that there are on the order of 400 million retail marijuana purchases in the U.S. each year and that the average purchase size is small, about 6-7 joints.
Additional file 1 of Towards a global One Health index: a potential assessment tool for One Health performance
Creators: name: Zhang, Xiao-Xi
name: Liu, Jing-Shu
name: Han, Le-Fei
name: Xia, Shang
name: Li, Shi-Zhu
name: Li, Odel Y.
name: Kassegne, Kokouvi
name: Li, Min
name: Yin, Kun
name: Hu, Qin-Qin
name: Xiu, Le-Shan
name: Zhu, Yong-Zhang
name: Huang, Liang-Yu
name: Wang, Xiang-Cheng
name: Zhang, Yi
name: Zhao, Han-Qing
name: Yin, Jing-Xian
name: Jiang, Tian-Ge
name: Li, Qin
name: Fei, Si-Wei
name: Gu, Si-Yu
name: Chen, Fu-Min
name: Zhou, Nan
name: Cheng, Zi-Le
name: Xie, Yi
name: Li, Hui-Min
name: Chen, Jin
name: Guo, Zhao-Yu
name: Feng, Jia-Xin
name: Ai, Lin
name: Xue, Jing-Bo
name: Ye, Qian
name: Grant, Liz
name: Song, Jun-Xia
name: Simm, Geoff
name: Utzinger, Jürg
name: Guo, Xiao-Kui
name: Zhou, Xiao-Nong
Publisher: name: figshare
Year: 2022
Subjects: subject: Medicine
subject: Biotechnology
subject: Environmental Sciences not elsewhere classified
subject: Sociology
subject: FOS: Sociology
subject: Biological Sciences not elsewhere classified
subject: Information Systems not elsewhere classified
subject: Science Policy

description: Additional file 1. Weights calculation of global One Health index (GOHI).
Higher-Order Kinetic Term for Controlling Photon Mass in Off-Shell Electrodynamics
Creators: name: Land, Martin
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: In a relativistic classical and quantum mechanics with Poincare-invariant parameter, particle worldlines are traced out by the evolution of spacetime events. In pre-Maxwell electrodynamics -- the local gauge theory associated with this framework -- events induce five local off-shell fields, which mediate interactions between instantaneous events, not between the worldlines which represent entire particle histories. The fifth field, required to compensate for dependence of gauge transformations on the evolution parameter, enables the exchange of mass between particles and fields. In the equilibrium limit, these pre-Maxwell fields are pushed onto the zero-mass shell, but during interactions there is no mechanism regulating the mass that photons may acquire, even when event trajectories evolve far into the spacelike region. This feature of the off-shell formalism requires the application of some ad hoc mechanism for controlling the photon mass in low energy classical Coulomb scattering of charged events, and in the renormalization of off-shell quantum electrodynamics. We discuss a nonlocal, higher derivative correction to the photon kinetic term, which provides regulation of the photon mass in a manner that preserves the gauge invariance and Poincare covariance of the original theory. We demonstrate that the inclusion of this term is equivalent to an earlier solution to the classical Coulomb problem, and that the resulting quantum field theory is renormalized.
description: 18 pages
The Ancient Greek roots of Mediterranean Tonality and its Hemiolic Typology and their antithesis to Western tonality
Creators: name: Nikolsky, Aleksey
Publisher: name: figshare
Year: 2021
Subjects: subject: 190409 Musicology and Ethnomusicology
subject: FOS: Arts (arts, history of arts, performing arts, music)
subject: 190406 Music Composition
subject: 190407 Music Performance
subject: Archaeology
subject: 220401 Christian Studies (incl. Biblical Studies and Church History)
subject: FOS: Philosophy, ethics and religion
subject: 220407 Studies in Religious Traditions (excl. Eastern, Jewish, Christian and Islamic Traditions)
subject: 170111 Psychology of Religion
subject: FOS: Psychology
subject: 170113 Social and Community Psychology

description: This is an overview of the available multi-disciplinary data on the history of “hemiolic” musical modes that use a melodic interval of the augmented second (i.e., Arabic and Turkish Hijaz). Such modes are extremely popular in Mediterranean, Balkan, and Central Asian countries, and originate from the Ancient Greek chromatic and enharmonic genera. Hemiolic modes form a special type of tonality – “Phrygian” – forming the “Dominant keys” as opposed to the “Tonic keys” of the Western classical music tradition. Hence, the vast area from Spain to India should be regarded as home to the hemiolic "Mediterranean tonality", in contrast to the Western tonality that is based on the diatonic system, expanded into the chromatic system through the course of its historic development. The structural, aesthetic and semantic differences between the Western and Mediterranean tonalities reflect the growing divergence between the Western and Eastern cultures of thought, which in turn seems to be fueled by the cultural opposition of Western Christian and Islamic ideologies.
Random Grid Neural Processes for Parametric Partial Differential Equations
Creators: name: Vadeboncoeur, A
name: Kazlauskaite, I
name: Papandreou, Y
name: Cirak, F
name: Girolami, M
name: Akyildiz, ÖD
Publisher: name: Apollo - University of Cambridge Repository
Year: 2023

description: We introduce a new class of spatially stochastic physics and data informed deep latent models for parametric partial differential equations (PDEs) which operate through scalable variational neural processes. We achieve this by assigning probability measures to the spatial domain, which allows us to treat collocation grids probabilistically as random variables to be marginalised out. Adapting this spatial statistics view, we solve forward and inverse problems for parametric PDEs in a way that leads to the construction of Gaussian process models of solution fields. The implementation of these random grids poses a unique set of challenges for inverse physics informed deep learning frameworks and we propose a new architecture called Grid Invariant Convolutional Networks (GICNets) to overcome these challenges. We further show how to incorporate noisy data in a principled manner into our physics informed model to improve predictions for problems where data may be available but whose measurement location does not coincide with any fixed mesh or grid. The proposed method is tested on a nonlinear Poisson problem, Burgers equation, and Navier-Stokes equations, and we provide extensive numerical comparisons. We demonstrate significant computational advantages over current physics informed neural learning methods for parametric PDEs while improving the predictive capabilities and flexibility of these models.
Automated fixing of access policy implementation in Industrial Networked Systems
Creators: name: Cheminod, Manuel
name: Durante, Luca
name: Seno, Lucia
name: Valenza, Fulvio
name: Valenzano, Adriano
Publisher: name: arXiv
Year: 2017
Subjects: subject: Cryptography and Security (cs.CR)
subject: FOS: Computer and information sciences

description: Access control (AC) is the core of every architectural solution for information security. Indeed, no effective protection scheme can abstract from the careful design of access control policies, and infrastructures underlying modern Industrial Networked Systems (INSs) are not exceptions from this point of view. This paper presents a comprehensive framework for INS access control. The proposed approach enables the description of both positive and negative AC policies, by applying the Role Based Access Control (RBAC) paradigm to typical INS implementations, while taking into account different levels of abstraction. Suitable techniques are adopted to check whether or not policies are correctly implemented in the system (verification). When conflicts are detected, possible (re)assignments of credentials to the system users are automatically computed, that can be adopted to correct anomalies (conflict resolution).
Managing NPD: Cost and Schedule Performance in Design and Manufacturing
Creators: name: Akhilesh  Bajaj
name: Sunder  Kekre
name: Kannan  Srinivasan
Publisher: name: Carnegie Mellon University
Year: 2002
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: Previous work in the area of new product development (NPD) has focused mainly on the role of design in downstream value chain activities. In this field study, conducted at a leading avionics guidance systems manufacturer, we gathered primary data on time and cost performance of both the design and manufacturing phases of customized systems. We modeled the impact of the management levers relating to oversight, the intensity of specialization in design and the level of interaction with the customer. Our model recommends appropriate managerial strategies based on the relative resources required in the design and manufacturing phases. The study highlights the necessity of leveraging the interdependency between the design and manufacturing phases to achieve superior performance in both financial and time metrics.
Zero Point Entropy in Stuffed Spin Ice
Creators: name: Lau, G. C.
name: Freitas, R. S.
name: Ueland, B. G.
name: Muegge, B. D.
name: Duncan, E. L.
name: Schiffer, P.
name: Cava, R. J.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The third law of thermodynamics dictates that the entropy of a system in thermal equilibrium goes to zero as its temperature approaches absolute zero. In ice, however, a "zero point" or residual entropy can be measured - attributable to a high degeneracy in the energetically preferred positions of the hydrogen ions associated with the so-called "ice rules".1,2 Remarkably, the spins in certain magnetic materials with the pyrochlore structure of corner-sharing tetrahedra, called "spin ice", have an equivalent degeneracy of energetically preferred states and also have been shown to display a zero point entropy.3,4,5,6,7 Here we report that we have chemically altered Ho2Ti2O7 spin ice by stuffing extra Ho magnetic moments into normally non-magnetic Ti sites surrounding the Ho tetrahedra. The resulting series, Ho2(Ti2-xHox)O7-x/2, provides a unique opportunity to study the effects of increased connectivity between spins on a frustrated lattice. Surprisingly, the measured zero point entropy per spin appears unchanged by these excess spins, and the dynamic freezing of the spins is suppressed to lower temperatures. The results challenge our understanding of the spin ice state, and suggest a new avenue for using chemistry to study both ice-like frustration and the properties of the broad family of geometrically frustrated magnets based on the pyrochlore structure.
description: 17 pages, 4 figures, to be published in Nature Physics in revised form
El "jale'" como eufemismo
Creators: name: Pérez Caballero, Jesús
Publisher: name: El Mañana de Nuevo Laredo
Year: 2019
Subjects: México
eufemismo
etimologías
jale
jalar
El Mañana de Nuevo Laredo

description: "[A]l igual que, en el argot militar, un civil muerto en un bombardeo es un daño colateral –¡los drones como alegorías de eufemismos!- o un paquete un detenido, hablar de jale podría emborronarnos el juicio sobre lo aludido. El eufemismo haría de la profesionalidad un fin en sí mismo, independientemente del mal que causen los profesionales"
description: Columna "Desde la frontera", publicada en El Mañana de Nuevo Laredo, p. 4 (local).
Managing Information Privacy and Information Access in the Public Sector
Creators: name: Duncan, George
Publisher: name: Carnegie Mellon University
Year: 1998
Subjects: subject: Information Systems
subject: FOS: Computer and information sciences
subject: 160510 Public Policy
subject: FOS: Political science

description: Government agencies collect and disseminate data that bear on the most important issues of public interest. Advances in information technology, particularly the Internet, have multiplied the tension between demands for evermore comprehensive databases and demands for the shelter of privacy. In mediating between these two conflicting demands, agencies must address a host of difficult problems. These include providing access to information while protecting confidentiality, coping with health information databases, and ensuring consistency with international standards. The policies of agencies are determined by what is right for them to do, what works for them, and what they are required to do by law. They must interpret and respect the ethical imperatives of democratic accountability, constitutional empowerment, and individual autonomy. They must keep pace with technological developments by developing effective measures for making information available to a broad range of users. They must both abide by the mandates of legislation and participate in the process of developing new legislation that is responsive to changes that affect their domain. In managing confidentiality and data access functions, agencies have two basic tools: techniques for disclosure limitation through restricted data and administrative procedures through restricted access. The technical procedures for disclosure limitation involve a range of mathematical and statistical tools. The administrative procedures can be implemented through a variety of institutional mechanisms, ranging from privacy advocates, through internal privacy review boards, to a data and access protection commission.
Tephritis rufina Rondani 1871
Creators: name: Sforzi, Alessandra
name: Sommaggio, Daniele
Publisher: name: Zenodo
Year: 2021
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Tephritidae
Tephritis
Tephritis rufina

description: Tephritis rufina Rondani, 1871
ORIGINAL DESCRIPTION: 1871b: 9 (key), 17 (description).
 TYPE LOCALITY: “ in Pedemontio [Piedmont (Italy)]”.
 TYPE MATERIAL: 1 ♀, holotype (MRSN): 17 58 / 96 / Tephritis rufina Ron. 96.
 CURRENT STATUS: valid species (Foote 1984: 133, Norrbom et al. 1999: 219).
 REMARKS: Rondani (1871b: 17) described Tephritis rufina from a single female: “ Foeminam unicam observavi … captam a Professore Bellardi [I observed a single female collected by Prof. Bellardi]”.
description: Published as part of Sforzi, Alessandra & Sommaggio, Daniele, 2021, Catalog of the Diptera types described by Camillo Rondani, pp. 1-438 in Zootaxa 4989 (1) on page 376, DOI: 10.11646/zootaxa.4989.1.1, http://zenodo.org/record/4980621