cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Creators: name: Muram, Faiz UL
name: Tran, Huy
name: Zdun, Uwe
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2.0; D.2.4;F.4.1;

description: Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technology- and platform-independent. The developers will refine and enrich these high-level models with technical details. As a consequence, the refined models can deviate from the original models over time, especially when the two kinds of models evolve independently. In this context, we focus on behavior models; that is, we aim to ensure that the refined, low-level behavior models conform to the corresponding high-level behavior models. Based on existing formal verification techniques, we propose containment checking as a means to assess whether the system's behaviors described by the low-level models satisfy what has been specified in the high-level counterparts. One of the major obstacles is how to lessen the burden of creating formal specifications of the behavior models as well as consistency constraints, which is a tedious and error-prone task when done manually. Our approach presented in this paper aims at alleviating the aforementioned challenges by considering the behavior models as verification inputs and devising automated mappings of behavior models onto formal properties and descriptions that can be directly used by model checkers. We discuss various challenges in our approach and show the applicability of our approach in illustrative scenarios.
description: In Proceedings FESCA 2014, arXiv:1404.0436
Enhancing Bremsstrahlung Production From Ultraintense Laser-Solid Interactions With Front Surface Structures
Creators: name: Jiang, S.
name: Krygier, A. G.
name: Schumacher, D. W.
name: Akli, K. U.
name: Freeman, R. R.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: We report the results of a combined study of particle-in-cell and Monte Carlo modeling that investigates the production of Bremsstrahlung radiation produced when an ultraintense laser interacts with a tower-structured target. These targets are found to significantly narrow the electron angular distribution as well as produce significantly higher energies. These features combine to create a significant enhancement in directionality and energy of the Bremstrahlung radiation produced by a high-Z converter target. These studies employ short-pulse, high intensity laser pulses, and indicate that novel target design has potential to greatly enhance the yield and narrow the directionality of high energy electrons and $γ$-rays. We find that the peak $γ$-ray brightness for this source is 6.0$\times$10$^{19}$ ${\rm s^{-1}mm^{-2}mrad^{-2}}$ at 10MeV and 1.4$\times$10$^{19}$ ${\rm s^{-1}mm^{-2}mrad^{-2}}$ at 100MeV (0.1$\%$ bandwidth).
description: arXiv admin note: text overlap with arXiv:1310.3283
On the local approximation of mean densities of random closed sets
Creators: name: Villa, Elena
Publisher: name: arXiv
Year: 2014
Subjects: subject: Statistics Theory (math.ST)
subject: FOS: Mathematics

description: Mean density of lower dimensional random closed sets, as well as the mean boundary density of full dimensional random sets, and their estimation are of great interest in many real applications. Only partial results are available so far in current literature, under the assumption that the random set is either stationary, or it is a Boolean model, or it has convex grains. We consider here non-stationary random closed sets (not necessarily Boolean models), whose grains have to satisfy some general regularity conditions, extending previous results. We address the open problem posed in (Bernoulli 15 (2009) 1222-1242) about the approximation of the mean density of lower dimensional random sets by a pointwise limit, and to the open problem posed by Matheron in (Random Sets and Integral Geometry (1975) Wiley) about the existence (and its value) of the so-called specific area of full dimensional random closed sets. The relationship with the spherical contact distribution function, as well as some examples and applications are also discussed.
description: Published in at http://dx.doi.org/10.3150/12-BEJ474 the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)
Orientacje zawodowe młodzieży niedostosowanej społecznie wobec kariery zawodowej
Creators: name: Kukla, Daniel
name: Mielczarek, Mirosław
Publisher: name: Szkoła - Zawód - Praca
Year: 2019

description: W opracowaniu przedstawiono wyniki badań, których celem było poznanie odpowiedzi na problem główny zawarty w pytaniu: jakie orientacje zawodowe przejawia młodzież niedostosowana społecznie płci męskiej umieszczona w Młodzieżowym Ośrodku Wychowawczym? Placówka, w której zrealizowano badania, jest przeznaczona dla chłopców niedostosowanych społecznie w wieku 13–18 lat będących w normie intelektualnej. W postępowaniu badawczym została przyjęta strategia ilościowa, która wpisała się w paradygmat pozytywistyczny. Badania przeprowadzono za pomocą metody indywidualnych przypadków, do której dobrano technikę testu. Narzędzie badawcze stanowił wystandaryzowany kwestionariusz „Moja kariera”. Otrzymane wyniki badań pozwoliły poznać orientacje na karierę zawodową wśród grupy nieletnich.
description: Szkoła - Zawód - Praca, Nr 17 (2019): Szkoła - Zawód - Praca
Our 31,000 Largest Farms
Creators: name: Nikolitch, Radoje
name: Nikolitch, Radoje
Publisher: name: Unknown
Year: 1970
Subjects: Farm Management
Labor and Human Capital
Resource /Energy Economics and Policy

description: Excerpts from the report Preface: This report is based mainly on information shown in a special tabulation of 1964 Census of Agriculture data for farms with annual sales of $100,000 or more. The tabulation was obtained from the Bureau of the Census, Department of Commerce. This tabulation permits us, for the first time, to present comprehensive national and regional information on the largest farms, by sales group, including farms with annual sales of $1 million or more. These are the latest and only data available nationwide on the largest farms. The data were not available until 1969, and no new data are expected for several years to come. Administrators, legislators, and the general public have expressed widespread interest and concern with respect to large-scale farms. This report will provide information that should help put issues concerning these farms into proper perspective, especially as concerns their importance in the future organizational structure of agriculture.
Ohrringe mit kreuzverzierten Polyederkapseln in Nürnberg
Creators: name: Freeden, Uta Von
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 56 Nr. 2 (1978)
Correct-by-construction model composition: Application to the Invasive Software Composition method
Creators: name: Hamiaz, Mounira Kezadri
name: Pantel, Marc
name: Combemale, Benoît
name: Thirioux, Xavier
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: D.2; F.4;

description: Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. A first experiment was conducted in [15] using proof assistants to formalize the generic composition technology ISC and prove that type checking was compositional. This contribution extends our early work to handle full model conformance and study the mandatory residual verification. It shows that ISC operators are not fully compositional with respect to conformance and provides the minimal preconditions on the operators mandatory to ensure compositional conformance. The appropriate operators from ISC (especially bind) have been implemented in the COQ4MDE framework that provides a full implementation of MOF in the COQ proof assistant. Expected properties, respectively residual verification, are expressed as post, respectfully pre, conditions for the composition operators. The correctness of the compositional verification is proven in COQ.
description: In Proceedings FESCA 2014, arXiv:1404.0436
Römische Fundgemmen
Creators: name: Krug, Antje
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 56 Nr. 2 (1978)
On the distribution of dark matter in galaxies: quantum treatments
Creators: name: Argüelles, Carlos R.
name: Ruffini, Remo
name: Siutsou, Ivan
name: Fraga, Bernardo
Publisher: name: arXiv
Year: 2014
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: The problem of modeling the distribution of dark matter in galaxies in terms of equilibrium configurations of collisionless self-gravitating quantum particles is considered. We first summarize the pioneering model of a Newtonian self-gravitating Fermi gas in thermodynamic equilibrium developed by Ruffini and Stella (1983), which is shown to be the generalization of the King model for fermions. We further review the extension of the former model developed by Gao, Merafina and Ruffini (1990), done for any degree of fermion degeneracy at the center ($θ_0$), within general relativity. Finally, we present here for the first time the solutions of the density profiles and rotation curves corresponding to the Gao et. al. model, which have a definite mass $M_h$ and circular velocity $v_h$, at the halo radius $r_h$ of the configurations, typical of spiral galaxies. This treatment allow us to determine a novel core-halo morphology for the dark matter profiles, as well as a novel particle mass bound associated with them.
description: Reported at 13th Italian-Korean Meeting on Relativistic Astrophysics, 15-19 July 2013, Seoul (South Korea) Submitted to JKPS
Off-mass-shell muon anomalous magnetic moment
Creators: name: Arbuzov, A. B.
name: Kopylova, T. V.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: Interaction of charged leptons with photons is considered for the case when one of the lepton legs is off the mass shell. The effect due to off-mass-shell shift in the anomalous magnetic moment is computed within one-loop approximation. Possible contributions of this effect in the muon $g-2$ measurements are discussed.
description: 5 pages
Schüsseln und Schalen der Heuneburg
Creators: name: Fořt-Linksfeiler, Daniela
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 56 Nr. 2 (1978)
Bounding the greybody factors for scalar excitations of the Kerr-Newman spacetime
Creators: name: Boonserm, Petarpa
name: Ngampitipan, Tritos
name: Visser, Matt
Publisher: name: arXiv
Year: 2014
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: Finding exact solutions for black-hole greybody factors is generically impractical; typically one resorts either to making semi-analytic or numerical estimates, or alternatively to deriving rigorous analytic bounds. Indeed, rigorous bounds have already been established for the greybody factors of Schwarzschild and Riessner-Nordstrom black holes, and more generally for those of arbitrary static spherically symmetric asymptotically flat black holes. Adding rotation to the problem greatly increases the level of difficulty, both for purely technical reasons (the Kerr or Kerr-Newman black holes are generally much more difficult to work with than the Schwarzschild or Reissner-Nordstrom black holes), but also at a conceptual level (due to the generic presence of super-radiant modes). In the current article we analyze bounds on the greybody factors for scalar excitations of the Kerr-Newman geometry in some detail, first for zero-angular-momentum modes, then for the non-super-radiant modes, and finally for the super-radiant modes.
description: 22 pages
Creating and manipulating entangled optical qubits in the frequency domain
Creators: name: Olislager, Laurent
name: Woodhead, Erik
name: Huy, Kien Phan
name: Merolla, Jean-Marc
name: Emplit, Philippe
name: Massar, Serge
Publisher: name: arXiv
Year: 2014
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Radio-frequency phase modulation of frequency entangled photons leads to a two-photon interference pattern in the frequency domain. In recent experiments, the pattern was measured with narrow-band frequency filters which select photons belonging to a given frequency bin. Here we show how photons can be grouped into even and odd frequencies by using periodic frequency filters called interleavers. In our theoretical analysis we show how this reduces the high-dimensional photon state to an effective two-dimensional state. This is of interest for applications such as quantum cryptography or low-dimensional tests of quantum nonlocality. We then report an experimental realization of this proposal. The observed two-photon interference pattern and violation of the CHSH inequality -- the simplest binary-outcome Bell inequality -- are in good agreement with the theoretical predictions.
description: 8 pages, 4 figures
Inhalt
Creators: name: Redaktion, Die
Publisher: name: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts
Year: 2023

description: Germania : Anzeiger der Römisch-Germanischen Kommission des Deutschen Archäologischen Instituts, Bd. 56 Nr. 2 (1978)
Enabling Automatic Certification of Online Auctions
Creators: name: Bai, Wei
name: Tadjouddine, Emmanuel M.
name: Guo, Yu
Publisher: name: arXiv
Year: 2014
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences

description: We consider the problem of building up trust in a network of online auctions by software agents. This requires agents to have a deeper understanding of auction mechanisms and be able to verify desirable properties of a given mechanism. We have shown how these mechanisms can be formalised as semantic web services in OWL-S, a good enough expressive machine-readable formalism enabling software agents, to discover, invoke, and execute a web service. We have also used abstract interpretation to translate the auction's specifications from OWL-S, based on description logic, to COQ, based on typed lambda calculus, in order to enable automatic verification of desirable properties of the auction by the software agents. For this language translation, we have discussed the syntactic transformation as well as the semantics connections between both concrete and abstract domains. This work contributes to the implementation of the vision of agent-mediated e-commerce systems.
description: In Proceedings FESCA 2014, arXiv:1404.0436
Rural Poverty in Three Southern Regions Mississippi Delta, Ozarks, Southeast Coastal Plain
Creators: name: McCoy, John L.
name: McCoy, John L.
Publisher: name: Unknown
Year: 1970
Subjects: Consumer/Household Economics
Food Security and Poverty

description: Excerpts from the report Highlights: The Mississippi Delta had the highest incidence of severe and persistent rural poverty (as defined in the report), closely followed by South Carolina. A fourth of the households surveyed in these regions were seriously deprived. About a 20th of Ozark households were equally deprived. Three-fourths of poverty problems in the areas were associated with nonparticipation in the labor force, farm laborer occupations, and operation of small subsistence farms. These factors were associated with 84 percent of Ozarks poverty and 76 percent of South Carolina poverty. The nonworking population accounted for a large share of poverty in each area because of old age, disability, or lack of job opportunities for their occupational level. Among those employed at the time of the surveys, the Delta farm laborer group constituted a major economic problem. In the Ozarks, older retired people made up most of the poor. South Carolina operators of small farms constituted as great a problem as those not working. Farm tenure arrangements varied among the poor. In South Carolina, the predominant type of arrangement was sharecropping. In the Ozarks, 85 percent of poor farmers owned their land. In the Delta, poverty was most often found among the farm labor population; relatively little poverty occurred among farmers.
Recenzja książki Renaty Tomaszewskiej-Lipiec „Praca zawodowa – życie osobiste. Dysonans czy synergia?”, Bydgoszcz 2018
Creators: name: Radziewicz-Winnicki, Andrzej
Publisher: name: Szkoła - Zawód - Praca
Year: 2018

description: Szkoła - Zawód - Praca, Nr 16 (2018): Szkoła - Zawód - Praca
title: World History Connected, Vol. 14 No. 2: Summer 2017
title: Summer 2017
titleType: AlternativeTitle
Creators: name: World History Connected
Publisher: name: World History Connected
Year: 2023

description: Sebastian Conrad, What is Global History? Omar H. Ali, Malik Ambar: Power and Slavery Across the Indian Ocean Jonathan D. Smele, The "Russian" Civil Wars, 1916–1926: Ten Years that Shook the World Jeremy Davies, The Birth of the Anthropocene Benedetta Rossi, ed., Reconfiguring Slavery: West African Trajectories Peter Crooks and Timothy H. Parsons, Empires and Bureaucracy in World History: From Late Antiquity to the Twentieth Century Alfred J. Andrea and Andrew Holt (eds.), Seven Myths of the Crusades Jeroen Duindam, Dynasties: A Global History of Power, 1300-1800 Fear and Ambivalence in Ancient Stories: Ideas for World History Discussions "'You and me-same same" and "They called me 'monkey'": Conflicting African American Views of Vietnamese Civilians The Mid-Qing Construction of the South China Sea Is Europe Burning? Thoughts on David Randall, The Disappearing Continent (National Association of Scholars, 2016) Digital Resources for Settler Colonialism, Effects on Indigenous peoples, and the Issue of Genocide in World History Teaching, Learning, and Researching Genocide Comparatively Developing a Critical Comparative Genocide Method Introduction: Forum on the Comparative Study of Genocide Editor's Message
PhD Interview Participant Summary
Creators: name: Hayes, Alexander
name: Michael, Katina
Publisher: name: figshare
Year: 2020
Subjects: subject: 111711 Health Information Systems (incl. Surveillance)
subject: FOS: Health sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: Information Systems
subject: 90903 Geospatial Information Systems
subject: FOS: Environmental engineering
subject: Computer Engineering
subject: 130201 Creative Arts, Media and Communication Curriculum and Pedagogy
subject: FOS: Educational sciences
subject: 130202 Curriculum and Pedagogy Theory and Development
subject: Digital Humanities
subject: 130303 Education Assessment and Evaluation
subject: 130306 Educational Technology and Computing
subject: 220105 Legal Ethics
subject: FOS: Philosophy, ethics and religion
subject: 200104 Media Studies
subject: FOS: Media and communications
subject: 220310 Phenomenology
subject: 220107 Professional Ethics (incl. police and research ethics)
subject: 220319 Social Philosophy
subject: 130213 Vocational Education and Training Curriculum and Pedagogy
subject: 100503 Computer Communications Networks
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: 100504 Data Communications
subject: 109999 Technology not elsewhere classified
subject: FOS: Other engineering and technologies
subject: 100510 Wireless Communications
subject: 100509 Video Communications

description: The following document contains summarily details of primary data collected, consent for distribution and details of digitally archived data in Figshare and the Open Science Foundation, then released as components of a Doctor of Philosophy conducted by candidate Alexander Hayes (3919493) titled 'The Socioethical Implications of Body Worn Computers: An Ethnographic Study'. This research was conducted in the Faculty of Engineering and Information Systems, School of Computing and Information Technology (SCIT) at the University of Wollongong with research strength Innovation in Business & Social Research under Principal Supervisor Professor Katina Michael (University of Wollongong) and Associate Supervisor Dr Teemu Leinonen (Aalto University Finland). The full thesis can be accessed at https://ro.uow.edu.au/theses1/853
Teaching, Learning, and Researching Genocide Comparatively
Creators: name: McArthur Harris, Lauren
name: Jergel Hutchinson, Marcie
name: Benkert, Volker
name: Bruner, Jason
name: Lundin, Anders Erik
Publisher: name: World History Connected
Year: 2023

description: World History Connected, Vol. 14 No. 2: Summer 2017
Spin and orbital magnetic moments of size-selected iron, cobalt, and nickel clusters and their link to the bulk phase diagrams
Creators: name: Langenberg, A.
name: Hirsch, K.
name: Lawicki, A.
name: Zamudio-Bayer, V.
name: Niemeyer, M.
name: Chmiela, P.
name: Langbehn, B.
name: Terasaki, A.
name: Issendorff, B. v.
name: Lau, J. T.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Spin and orbital magnetic moments of cationic iron, cobalt, and nickel clusters have been determined from x-ray magnetic circular dichroism spectroscopy. In the size regime of $n = 10 - 15$ atoms, these clusters show strong ferromagnetism with maximized spin magnetic moments of 1~$μ_B$ per empty $3d$ state because of completely filled $3d$ majority spin bands. The only exception is $\mathrm{Fe}_{13}^+$ where an unusually low average spin magnetic moment of $0.73 \pm 0.12$~$μ_B$ per unoccupied $3d$ state is detected; an effect, which is neither observed for $\mathrm{Co}_{13}^+$ nor $\mathrm{Ni}_{13}^+$.\@ This distinct behavior can be linked to the existence and accessibility of antiferromagnetic, paramagnetic, or nonmagnetic phases in the respective bulk phase diagrams of iron, cobalt, and nickel. Compared to the experimental data, available density functional theory calculations generally seem to underestimate the spin magnetic moments significantly. In all clusters investigated, the orbital magnetic moment is quenched to $5 - 25$\,\% of the atomic value by the reduced symmetry of the crystal field. The magnetic anisotropy energy is well below 65 $μ$eV per atom.
First Principles Analysis of Catalytic Conversion of Light Alkanes to Value-added Fuels and Chemicals
Creators: name: Xu, Yinan
Publisher: name: Purdue University Graduate School
Year: 2022
Subjects: Chemical and thermal processes in energy and combustion
Chemical engineering not elsewhere classified
Reaction engineering (excl. nuclear reactions)

description: Full exploitation of shale resources requires new catalytic techniques to eﬃciently convert the methane, ethane, and propane found in shale gas to value-added fuels and chemicals. A promising process of converting ethane and propane involves catalytic light alkane dehydrogenation and the subsequent oligomerization of light alkenes. The ﬁrst part of this work focuses on the examination of the mechanistic details of propane dehydrogenation on Pt-based alloy catalysts, where ﬁrst principles-based free energy, microkinetic, and degrees of rate control analyses are performed to understand and rationalize the selective propane dehydrogenation using a Pt3Mn alloy. We show that only the under-coordinated, Mn-decorated Pt sites, represented by a Pt3Mn(211) surface, are selective to propylene formation, which can be attributed to several key mechanistic details: (1) facile propylene desorption and (2) hindered pathways that are inherently non-selective to propylene and lead to the formation of isomers. These kinetic details can, in turn, be interpreted using the free energy landscapes of propane dehydrogenation on the Pt3Mn(211) surface, which features a reasonably stronger binding of propylene than those of its isomers. From this study, we extract two selectivity descriptors for propane dehydrogenation: The energetics of propylene desorption versus deep-dehydrogenation, as well as the energetics of the formation of propylene versus its isomers. The properties can be used for designing further improved light alkane dehydrogenation catalysts.
Rheology of Weakly Vibrated Granular Media
Creators: name: Wortel, Geert H.
name: Dijksman, Joshua A.
name: van Hecke, Martin
Publisher: name: arXiv
Year: 2013
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We probe the rheology of weakly vibrated granular flows as function of flow rate, vibration strength and pressure by performing experiments in a vertically vibrated split-bottom shear cell. For slow flows, we establish the existence of a novel vibration dominated granular flow regime, where the driving stresses smoothly vanish as the driving rate is diminished. We distinguish three qualitatively different vibration dominated rheologies, most strikingly a regime where the shear stresses no longer are proportional to the pressure.
description: 14 pages, 19 figures, submitted to PRE
Economic Consequences of Restricting the Use of Organochlorine Insecticides on Cotton, Corn, Peanuts, and Tobacco
Creators: name: Davis, Velmar W.
name: Fox, Austin S.
name: Jenkins, Robert P.
name: Andrilenas, Paul A.
name: Davis, Velmar W.
name: Fox, Austin S.
name: Jenkins, Robert P.
name: Andrilenas, Paul A.
Publisher: name: Unknown
Year: 1970
Subjects: Crop Production/Industries
Environmental Economics and Policy
Production Economics

description: Excerpts from the report Preface: This report presents estimates of the economic consequences of restricting the use of organochlorine insecticides on selected crops in the United States. Farmers are the primary focus. But the effects of such action would extend to the pesticide industry, consumers, and the total environment. Restriction is viewed as a means of reducing, not banning, the use of organochlorines by farmers. It includes the substitution of other insecticides to the maximum that would still provide effective control with known technology and maintain production at reasonable costs. The estimates assume no substantial changes in insect infestations. Data on farm use of insecticides for 1966, the most recent available, are the foundation for the analysis. All quantities of insecticides are expressed in pounds of active chemical ingredients. The terms organochlorines, organophosphorus compounds, and carbamates refer to insecticides only.
Evidence for multiple magma ocean outgassing and atmospheric loss episodes from mantle noble gases
Creators: name: Tucker, Jonathan M.
name: Mukhopadhyay, Sujoy
Publisher: name: arXiv
Year: 2014
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The energy associated with giant impacts is large enough to generate global magma oceans during Earth's accretion. However, geochemical evidence requiring a terrestrial magma ocean is scarce. Here we present evidence for at least two separate magma ocean outgassing episodes on Earth based on the ratio of primordial 3He to 22Ne in the present-day mantle. We demonstrate that the depleted mantle 3He/22Ne ratio is at least 10 while a more primitive mantle reservoir has a 3He/22Ne ratio of 2.3 to 3. The 3He/22Ne ratios of the mantle reservoirs are higher than possible sources of terrestrial volatiles, including the solar nebula ratio of 1.5. Therefore, a planetary process must have raised the mantle's 3He/22Ne ratio. We show that long-term plate tectonic cycling is incapable of raising the mantle 3He/22Ne ratio and may even lower it. However, ingassing of a gravitationally accreted nebular atmosphere into a magma ocean on the proto-Earth explains the 3He/22Ne and 20Ne/22Ne ratios of the primitive mantle reservoir. Increasing the mantle 3He/22Ne ratio to a value of 10 in the depleted mantle requires at least two episodes of atmospheric blow-off and magma ocean outgassing associated with giant impacts during subsequent terrestrial accretion. The preservation of a low 3He/22Ne ratio in a primitive reservoir sampled by plumes suggests that the later giant impacts, including the Moon-forming giant impact, did not generate a whole mantle magma ocean. Atmospheric loss episodes associated with giant impacts provide an explanation for Earth's subchondritic C/H, N/H, and Cl/F elemental ratios while preserving chondritic isotopic ratios. If so, a significant proportion of terrestrial water and potentially other major volatiles were accreted prior to the last giant impact, otherwise the fractionated elemental ratios would have been overprinted by the late veneer.
description: Accepted for publication in Earth and Planetary Science Letters
Transformation of UML Behavioral Diagrams to Support Software Model Checking
Creators: name: Santos, Luciana Brasil Rebelo dos
name: Júnior, Valdivino Alexandre de Santiago
name: Vijaykumar, Nandamudi Lankalapalli
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to transform up to three different UML behavioral diagrams (sequence, behavioral state machines, and activity) into a single Transition System to support Model Checking of software developed in accordance with UML. In our approach, properties are formalized based on use case descriptions. The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods in software development.
description: In Proceedings FESCA 2014, arXiv:1404.0436
Survey on digitisation of natural history collections
Creators: name: Ong, Song-Quan
Publisher: name: figshare
Year: 2022
Subjects: subject: 60114 Systems Biology
subject: FOS: Biological sciences
subject: 60308 Life Histories

description: The data sets were the output of the survey on the participates (email and name remain anonymous) before and after a workshop of digitisation of natural history collections
Ground and excited state properties of the polar and paramagnetic RbSr molecule: a comparative study
Creators: name: Żuchowski, Piotr S.
name: Guerout, Romain
name: Dulieu, Olivier
Publisher: name: arXiv
Year: 2014
Subjects: subject: Chemical Physics (physics.chem-ph)
subject: Atomic and Molecular Clusters (physics.atm-clus)
subject: FOS: Physical sciences

description: This paper deals with the electronic structure of RbSr, a molecule possessing both a permanent magnetic and electric dipole moment in its own frame allowing its manipulation with external fields. Two complementary ab-initio approaches are used for the ground and lowest excited states: first, an approach relying on optimized effective core potentials with core polarization potentials based on a full configuration interaction involving three valence electrons, and second, an approach using a small-size effective core potential with 19 correlated electrons in the framework of coupled-cluster theory. We have found excellent agreement between these two approaches for the ground state properties including the permanent dipole moment. We have focused on studies of excited states correlated to the two lowest asymptotes Rb(5p)+Sr(5s) and Rb(5s)+Sr(5s5p) relevant for ongoing experiments on quantum degenerate gases. We present also the Hund c) case potential curves obtained using atomic spin-orbit constants. These potential curves are an excellent starting point for experimental studies of molecular structure of RbSr using high-resolution spectroscopy.
description: 12 pages, 8 figures
Edukacja społeczeństwa w zakresie problematyki współczesnych zagrożeń
Creators: name: Szmidkowski, Paweł
Publisher: name: Szkoła - Zawód - Praca
Year: 2018

description: Edukacja społeczeństwa w zakresie współczesnych zagrożeń stanowi jeden z istotnych elementów edukacji dla bezpieczeństwa. Musi ona dostosowywać przekazywane treści do aktualnych wyzwań i zagrożeń obserwowanych zarówno w skali międzynarodowej, jak i państwowej oraz lokalnej. Jest więc bardzo dynamiczna zważywszy na charakter obserwowanych niebezpieczeństw, stale ewoluujących, coraz nowszych i mniej przewidywalnych. Celem artykułu jest ukazanie funkcjonowania systemu edukacji ludności cywilnej: zwykłych obywateli oraz pracowników administracji publicznej, w zakresie problematyki zagrożeń, z uwzględnieniem kluczowych elementów systemu szkolnego i pozaszkolnego. Przedstawione zostały w nim także konkluzje dotyczące prawidłowości funkcjonowania obecnego systemu edukacji w Polsce oraz potrzeby jego modyfikacji.
description: Szkoła - Zawód - Praca, Nr 16 (2018): Szkoła - Zawód - Praca
The sonnet in Spanish in Latin American and Philippine Modernismos: Shared and local features in content and form in two related but distinct traditions
Creators: name: Martínez Cantón, Clara
name: Ortuño Casanova, Rocío
name: Ruiz Fabo, Pablo
Publisher: name: Zenodo
Year: 2023
Subjects: Philippine literature
Latin American Literature
Modernismo
Sonnet
Computational Literary Studies

description: Modernista Philippine poetry in Spanish has been misanalyzed in the critical literature. Among other problems, Retana (1909, 19) presents Filipino authors as unoriginal imitators of prominent and Latin American Modernists like Darío or Santos Chocano. More recently, Bautista (2008) equates Philippine with Latin American Modernism, reporting that both traditions are inspired by a Far-East exoticism and escapism (in the case of Latin American Modernism, such a source of inspiration had already been proposed in earlier literature, like Henriquez Ureña, 1954, 20).
Yet both traditions are distinct, as we argue in the context of the DigiPhiLit project, which involves a historical reassessment of Philippine literature in Spanish, aided by digital tools. In this work, we present a systematic comparison between Latin American and Philippine modernista sonnets in Spanish, towards an evaluation of the influence of Latin American material on Philippine texts.
Latin American Modernism introduced numerous innovations in the sonnet form in Spanish, adding metrical and structural diversity besides untraditional rhyme schemes. Such innovations are also cultivated by Filipino authors in original manners. However, it is at the content level that both traditions really diverge, and the claim that Filipino authors show a penchant for Far-East exoticism as a means for escapism needs to be revised.
The spatial coherence of weakly interacting one-dimensional non-equilibrium Bosonic quantum fluids
Creators: name: Gladilin, Vladimir N.
name: Ji, Kai
name: Wouters, Michiel
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: We present a theoretical analysis of spatial correlations in a one-dimensional driven-dissipative non-equilibrium condensate. Starting from a stochastic generalized Gross-Pitaevskii equation, we derive a noisy Kuramoto-Sivashinsky equation for the phase dynamics. For sufficiently strong interactions, the coherence decays exponentially in close analogy to the equilibrium Bose gas. When interactions are small on a scale set by the nonequilibrium condition, we find through numerical simulations a crossover between a Gaussian and exponential decay with peculiar scaling of the coherence length on the fluid density and noise strength.
description: 5 pages, 2 figures, supplemental material
On the effect of rotation on populations of classical Cepheids I. Predictions at solar metallicity
Creators: name: Anderson, R. I.
name: Ekström, S.
name: Georgy, C.
name: Meynet, G.
name: Mowlavi, N.
name: Eyer, L.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: [Abridged] We aim to improve the understanding of Cepheids from an evolutionary perspective and establish the role of rotation in the Cepheid paradigm. In particular, we are interested in the contribution of rotation to the problem of Cepheid masses, and explore testable predictions of quantities that can be confronted with observations. Evolutionary models including a homogeneous and self-consistent treatment of rotation are studied in detail during the crossings of the classical instability strip (IS). The dependence of several parameters on initial rotation is studied. These parameters include mass, luminosity, temperature, lifetimes, equatorial velocity, surface abundances, and rates of period change. Several key results are obtained: i) mass-luminosity (M-L) relations depend on rotation, particularly during the blue loop phase; ii) luminosity increases between crossings of the IS. Hence, Cepheid M-L relations at fixed initial rotation rate depend on crossing number (faster rotation yields greater luminosity difference between crossings); iii) the Cepheid mass discrepancy problem vanishes when rotation and crossing number are taken into account, without a need for high core overshooting values or enhanced mass loss; iv) rotation creates dispersion around average parameters predicted at fixed mass and metallicity. This is of particular importance for the period-luminosity-relation, for which rotation is a source of intrinsic dispersion; v) enhanced surface abundances do not unambiguously distinguish Cepheids occupying the Hertzsprung gap from ones on blue loops (after dredge-up), since rotational mixing can lead to significantly enhanced Main Sequence (MS) abundances; vi) rotating models predict greater Cepheid ages than non-rotating models due to longer MS lifetimes. Rotation has a significant evolutionary impact on classical Cepheids and should no longer be neglected in their study.
description: 13 pages, 13 figures, accepted for publication in Astronomy & Astrophysics
Quantities of Pesticides Used by Farmers in 1966
Creators: name: Eichers, Theodore
name: Andrilenas, Paul
name: Blake, Helen
name: Jenkins, Robert
name: Fox, Austin
name: Eichers, Theodore
name: Andrilenas, Paul
name: Blake, Helen
name: Jenkins, Robert
name: Fox, Austin
Publisher: name: Unknown
Year: 1970
Subjects: subject: Crop Production/Industries
subject: Livestock Production/Industries
subject: Resource /Energy Economics and Policy
subject: Pesticide use
subject: quantities
subject: insecticides
subject: herbicides
subject: fungicides
subject: farm use
subject: crops
subject: livestock
subject: other use

description: This report provides information on quantities of pesticides used by U.S. farmers in 1966, and comparisons with similar 1964 data. Pesticides included are insecticides, herbicides, fungicides, miticides, rodenticides, fumigants, growth regulators, and defoliants and desiccants. Information is presented on leading products such as DDT, toxaphene, and 2,4-D. Approximately 90 different products or groups of products are included. The study is based on a survey of about 9,600 farmers throughout the 48 contiguous States. Survey data were expanded to represent regional and U.S. pesticide usage for selected crop, livestock, and other purposes. Findings show that farmers used just over 350 million pounds of pesticides in 1966 (exclusive of sulfur and petroleum). This was a 10-percent increase over 1964. Farm pesticides in 1966 including sulfur and petroleum were valued at $561 million in that year. Crops accounted for over 90 percent of all pesticides used by farmers in 1966. Insecticides were the major pesticide products, with farm use amounting to 149 million pounds. Ninety-two percent of the insecticides were used on crops and nearly half of these, on cotton. Farmers used 115 million pounds of herbicides in 1966, up 37 percent over 1964. Corn was the major recipient of herbicide products, accounting for over 40 percent of those used on crops. Farm use of fungicides and fumigants each amounted to 30 million pounds in 1966.
Revealing the role of electron correlation in sequential double ionization
Creators: name: Lan, Pengfei
name: Zhou, Yuming
name: Pfeiffer, Adrian N.
name: Zhang, Qingbin
name: Lu, Peixiang
name: Lu, Katsumi Midorikawa
Publisher: name: arXiv
Year: 2014
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: The experimental observations of sequential double ionization (SDI) of Ar [A. N. Pfeiffer {\it et al.}, Nature Phys. {\bf 7}, 428 (2011)], such as the four-peak momentum distribution and the ionization time of the first and second electrons, are investigated and reproduced with a quantum model by including and excluding the $e$-$e$ correlation effect. Based on the comparison of experiment and simulation, the role of $e$-$e$ correlation in SDI is discussed. It is shown that the inclusion of $e$-$e$ correlation is necessary to reproduce the momentum distribution of electrons.
description: 14 pages, 5 figures, submitted
An Economic Analysis of the Iowa Rural Renewal Area
Creators: name: Economic Research Service
name: Economic Research Service
Publisher: name: Unknown
Year: 1970
Subjects: subject: Community/Rural/Urban Development
subject: Consumer/Household Economics
subject: Labor and Human Capital
subject: Iowa rural renewal area
subject: multicounty area
subject: comprehensive planning
subject: index of economic activity
subject: factor analysis

description: Economic trends in the 1960's in the Iowa rural renewal area, Appanoose and Monroe Counties, show that the level of economic activity increased in the area but was clearly below the level for the State. Economic trends suggest that to provide economic opportunities in the area, by 1980, comparable to those available, on the average, to all residents of Iowa, the annual rate of growth in the area in the 1970's must be double the rate of the 1960's. New approaches are required to double the annual rate of growth. These include: (1) increases in employment in the manufacturing sectors not related to agriculture, and (2) comprehensive planning at the multicounty level. These plans should include ways to expand employment and improve such facilities and services as housing, water supplies, sewage disposal facilities, and medical and educational services.
History Dependent Quantum Random Walks as Quantum Lattice Gas Automata
Creators: name: Shakeel, Asif
name: Meyer, David A.
name: Love, Peter J.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Mathematical Physics (math-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: 81P68 (Primary) 68Q80 (Secondary)

description: Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quantum walks in algorithmic applications. We show that several history dependent QRW can be identified as one-particle sectors of QLGA. This provides a unifying conceptual framework for these models in which the extra degrees of freedom required to store the history information arise naturally as geometrical degrees of freedom on the lattice.
description: 18 pages, 3 figures
Supplementary tables to "Fluid resuscitation, but not inhaled nitric oxide, improves microcirculation in septic pigs."
Creators: name: Grotowska, Malgorzata
name: Harbut, Piotr
name: Frostell, Claes
name: Gozdzik, Waldemar
Publisher: name: Zenodo
Year: 2022

description: Supplementary tables to an article entitled "Fluid resuscitation, but not inhaled nitric oxide, improves microcirculation in septic pigs." Table 6. Time course of hemodynamic variables in Group 1, 2 and 3. Table 7. Time course of organ/metabolic function markers in Group 1, 2 and 3.
Analysis and Control of Beliefs in Social Networks
Creators: name: Wang, Tian
name: Krim, Hamid
name: Viniotis, Yannis
Publisher: name: arXiv
Year: 2014
Subjects: subject: Social and Information Networks (cs.SI)
subject: Physics and Society (physics.soc-ph)
subject: FOS: Computer and information sciences
subject: FOS: Physical sciences

description: In this paper, we investigate the problem of how beliefs diffuse among members of social networks. We propose an information flow model (IFM) of belief that captures how interactions among members affect the diffusion and eventual convergence of a belief. The IFM model includes a generalized Markov Graph (GMG) model as a social network model, which reveals that the diffusion of beliefs depends heavily on two characteristics of the social network characteristics, namely degree centralities and clustering coefficients. We apply the IFM to both converged belief estimation and belief control strategy optimization. The model is compared with an IFM including the Barabasi-Albert model, and is evaluated via experiments with published real social network data.
Charge Transfer Kinetics at the Solid-Solid Interface in Porous Electrodes
Creators: name: Bai, Peng
name: Bazant, Martin Z.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: Interfacial charge transfer is widely assumed to obey Butler-Volmer kinetics. For certain liquid-solid interfaces, Marcus-Hush-Chidsey theory is more accurate and predictive, but it has not been applied to porous electrodes. Here we report a simple method to extract the charge transfer rates in carbon-coated LiFePO4 porous electrodes from chronoamperometry experiments, obtaining curved Tafel plots that contradict the Butler-Volmer equation but fit the Marcus-Hush-Chidsey prediction over a range of temperatures. The fitted reorganization energy matches the Born solvation energy for electron transfer from carbon to the iron redox site. The kinetics are thus limited by electron transfer at the solid-solid (carbon-LixFePO4) interface, rather than by ion transfer at the liquid-solid interface, as previously assumed. The proposed experimental method generalizes Chidsey's method for phase-transforming particles and porous electrodes, and the results show the need to incorporate Marcus kinetics in modeling batteries and other electrochemical systems.
description: 13 pages, 5 figures