cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Ultra-thin film and interface analysis of high-k dielectric materials employing Time-Of-Flight Medium Energy Ion Scattering (TOF-MEIS)
Creators: name: Primetzhofer, Daniel
name: Litta, Eugenio Dentoni
name: Hallén, Anders
name: Linnarsson, Margareta K.
name: Possnert, Göran
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: We explore the potential of Time-Of-Flight Medium Energy Ion Scattering (TOFMEIS) for thin film analysis and analyze possible difficulties in evaluation of experimental spectra. Issues regarding different combinations of composition and stopping power as well as the influence of channeling are discussed. As a model system high-k material stacks made from ultra-thin films of HfO2 grown on a p-type Si (100) substrate with a 0.5 nm SiO2 interface layer have been investigated. By comparison of experimental spectra and computer simulations TOF-MEIS was employed to establish a depth profile of the films and thus obtaining information on stoichiometry and film quality. Nominal film thicknesses were in the range from 1.8 to 12.2 nm. As a supporting method Rutherford-Backscattering spectrometry (RBS) was employed to obtain the areal density of Hf atoms in the films.
Artificial light at night: a global disruptor of the night-time environment
Creators: name: Bará, Salvador
name: Falchi, Fabio
Publisher: name: arXiv
Year: 2023
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: Light pollution is the alteration of the natural levels of darkness by an increased concentration of light particles in the nighttime environment, resulting from human activity. Light pollution is changing in a deep way the environmental conditions of the night in wide areas of the planet, and is a relevant stressor whose effects on life are being unveiled by a compelling body of research. In this paper we briefly review the basic aspects of artificial light at night as a pollutant, describing its character, magnitude and extent, its worldwide distribution, its temporal and spectral change trends, as well as its dependence on current light production technologies and prevailing social uses of light. It is shown that the overall effects of light pollution are not restricted to local disturbances, but give rise to a global, multiscale disruption of the nighttime environment.
description: 10 pages, 1 figure. Author accepted version of a paper published in Phil. Trans. R. Soc. B
Deep Laser Cooling of Thulium Atoms to Sub-$μ$K Temperatures in Magneto-Optical Trap
Creators: name: Provorchenko, Daniil
name: Tregubov, Dmitry
name: Mishin, Denis
name: Yaushev, Mikhail
name: Kryuchkov, Denis
name: Sorokin, Vadim
name: Khabarova, Ksenia
name: Golovizin, Artem
name: Kolachevsky, Nikolay
Publisher: name: arXiv
Year: 2023
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Deep laser cooling of atoms, ions, and molecules facilitates the study of fundamental physics as well as applied research. In this work, we report on the narrow-line laser cooling of thulium atoms at the wavelength of $506.2\,\textrm{nm}$ with the natural linewidth of $7.8\,\textrm{kHz}$, which widens the limits of atomic cloud parameters control. Temperatures of about $400\,\textrm{nK}$, phase-space density of up to $3.5\times10^{-4}$ and $2\times10^6$ number of trapped atoms were achieved. We have also demonstrated formation of double cloud structure in an optical lattice by adjusting parameters of the $506.2\,\textrm{nm}$ magneto-optical trap. These results can be used to improve experiments with BEC, atomic interferometers, and optical clocks.
description: 12 pages, 6 figures
A radiative-convective equilibrium model for young giant exoplanets: Application to beta Pictoris b
Creators: name: Baudino, Jean-Loup
name: Bézard, Bruno
name: Boccaletti, Anthony
name: Bonnefoy, Mickael
name: Lagrange, Anne-Marie
Publisher: name: arXiv
Year: 2014
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: We present a radiative-convective equilibrium model for young giant exoplanets. Model predictions are compared with the existing photometric measurements of planet beta Pictoris b in the J, H, Ks, L', NB 4.05, M' bands . This model will be used to interpret future photometric and spectroscopic observations of exoplanets with SPHERE, mounted at the VLT with a first light expected mid-2014.
description: 2 pages, 1 figure, Proceedings IAUS 299
title: Thematic Research Funding in the European Union: What is Expected from Social Scientific Knowledge-making?
Creators: name: Schögler, Rafael
name: König, Thomas
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 1;
  Pages: 107-130; ISSN: 2521-0947
title: Indicators of the Internationalization of the Social Sciences and Humanities
Creators: name: Heilbron, Johan
name: Boncourt, Thibaud
name: Sapiro, Gisèle
name: Sorá, Gustavo
name: Karady, Victor
name: Brisson, Thomas
name: Jeanpierre, Laurent
name: Lee, Kil-Ho
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 1;
  Pages: 131-147; ISSN: 2521-0947
title: From Utopian One-worldism to Geopolitical Intergovernmentalism: UNESCO’s Department of Social Sciences as an International Boundary Organization, 1946-1955
Creators: name: Wisselgren, Per
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 2;
  Pages: 148-182; ISSN: 2521-0947
Semi-supervised Adversarial Learning for Complementary Item Recommendation
Creators: name: Bibas, Koby
name: Shalom, Oren Sar
name: Jannach, Dietmar
Publisher: name: arXiv
Year: 2023
Subjects: subject: Information Retrieval (cs.IR)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: Complementary item recommendations are a ubiquitous feature of modern e-commerce sites. Such recommendations are highly effective when they are based on collaborative signals like co-purchase statistics. In certain online marketplaces, however, e.g., on online auction sites, constantly new items are added to the catalog. In such cases, complementary item recommendations are often based on item side-information due to a lack of interaction data. In this work, we propose a novel approach that can leverage both item side-information and labeled complementary item pairs to generate effective complementary recommendations for cold items, i.e., for items for which no co-purchase statistics yet exist. Given that complementary items typically have to be of a different category than the seed item, we technically maintain a latent space for each item category. Simultaneously, we learn to project distributed item representations into these category spaces to determine suitable recommendations. The main learning process in our architecture utilizes labeled pairs of complementary items. In addition, we adopt ideas from Cycle Generative Adversarial Networks (CycleGAN) to leverage available item information even in case no labeled data exists for a given item and category. Experiments on three e-commerce datasets show that our method is highly effective.
description: ACM Web Conference 2023
title: “Our classroom methodological prescriptions do not fit easily the problems of studying the SS and their doings”: Elmer Luchterhand and sociological research on Nazi concentration camps
Creators: name: Kranebitter, Andreas
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 1;
  Pages: 213-236; ISSN: 2521-0947
Vertical Electrical Sounding Investigation into the Geology and Structure of Uru-Ugworji Diorite Lokpaukwu, South Eastern Nigeria.
Creators: name: Obinnaya Chikezie Victor, Nwosu
Publisher: name: figshare
Year: 2022
Subjects: Planetary geology
Structural geology and tectonics
Geology not elsewhere classified
Solar system planetary science (excl. planetary geology)
Planetary science (excl. solar system and planetary geology)

description: Geological, Geophysical and Core analyses were carried out at Uru Quarry site, Lokpaukwu located between latitudes 5056.149’N and 5056.193’N and between 7028.312’E and 7028.356’E. Geologic formations that underlie the study area are the Asu River Group and Eze-Aku Formation. Five rock units are found in the area; siltstone is found in the eastern portion of the study area and also occurs as a “CAP” on the shale. The central portion of the study area is underlain by shale and it occupies one-half of the study area. Calcareous sandstone occupies the Western portion of the area. The Eastern portion is Dolerite which is the basic rock matter that cuts across siltstone and shale. Iron is found with the basic rock matter in the area. Geological studies on the study area indicate the five rock units and their outcrops; 2 geological sections were interpreted. Geophysical methods using the Electrical Resistivity Sounding of Schlumberger indicates the West, North Western and Central portions of the area have thick sedimentary sequence and the Eastern portion of the study area is made up of igneous body which is the main part of this project; the basic rock having a high resistivity value, followed by sandstone, siltstone and shale with moderate to low resistivity. Core analysis carried on eleven core samples obtained at the Eastern portion of the study area shows that the core samples consist of the rock unit found in the area. In the Obichioke area were nine core samples consisting of rock units too. Core data analysis of the study area indicates the location and kind of rocks found in the study area; mineral present and the strength of the rock units found in Lokpaukwu area. Geologic mapping shows that a major fault occur in the area separating the viable Uru end from the non-viable Obichioke lot. The fault trace shows primarily recrystallization (alcitic matter). Thus, it is suggested that similar studies be made before the establishment of quarries whenever igneous (basic) units occur.
A Spectroscopic Analysis of a Sample of K2 Planet-Host Stars: Stellar Parameters, Metallicities and Planetary Radii
Creators: name: Loaiza-Tacuri, V.
name: Cunha, Katia
name: Smith, Verne V.
name: Martinez, Cintia F.
name: Ghezzi, Luan
name: Schuler, Simon C.
name: Teske, Johanna
name: Howell, Steve B.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The physical properties of transiting exoplanets are connected with the physical properties of their host stars. We present a homogeneous spectroscopic analysis based on spectra of FGK-type stars observed with the Hydra spectrograph on the WIYN telescope. We derived effective temperatures, surface gravities, and metallicities, for 81 stars observed by K2 and 33 from Kepler 1. We constructed an Fe I and II line list that is adequate for the analysis of R$\sim$18,000 spectra covering 6050-6350 Å and adopted the spectroscopic technique based on equivalent width measurements. The calculations were done in LTE using Kurucz model atmospheres and the qoyllur-quipu (q$^2$) package. We validated our methodology via analysis of a benchmark solar twin and solar proxies, which are used as the solar reference. We estimated the effects that including Zeeman sensitive Fe I lines have on the derived stellar parameters for young and possibly active stars in our sample and found it not to be significant. Stellar masses and radii were derived by combining the stellar parameters with Gaia EDR3 and V magnitudes and isochrones. The measured stellar radii have 4.2\% median internal precision, leading to a median internal uncertainty of 4.4\% in the derived planetary radii. With our sample of 83 confirmed planets orbiting K2 host stars, the radius gap near R$_{planet}1.9R{_\plus}$ is detected, in agreement with previous findings. Relations between the planetary radius, orbital period and metallicity are explored and these also confirm previous findings for Kepler 1 systems.
description: 35 pages, 17 figures
ADSORPTION OF LEAD AND COPPER FROM INDUSTRIAL WASTE WATER USING ONION SKINS A CASE STUDY OF AYKA ADDIS TEXTILE AND INVESTMENT GROUP
Creators: name: SIMENEH GIZAW BELETE
Publisher: name: Zenodo
Year: 2019

description: Textile industries are among industries which release large amount of waste which contains hazardous heavy metals. Heavy metals such as lead, chromium, cadmium and copper are widely used for the production of color pigments of textile dyes. Textile pollutant dyes are released to the environment at various stages of operation. Therefore, there is a need to find an economical method to remove pollutants.
Figure S1 from Duplication of the bodily self: a perceptual illusion of dual full-body ownership and dual self-location
Creators: name: Guterstam, Arvid
name: Larsson, Dennis E. O.
name: Szczotka, Joanna
name: H. Henrik Ehrsson
Publisher: name: The Royal Society
Year: 2020
Subjects: subject: Neuroscience
subject: 170299 Cognitive Science not elsewhere classified
subject: FOS: Psychology

description: Extended results.
The effects of stellar winds and magnetic fields on exoplanets
Creators: name: Vidotto, A. A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: FOS: Physical sciences

description: The great majority of exoplanets discovered so far are orbiting cool, low-mass stars whose properties are relatively similar to the Sun. However, the stellar magnetism of these stars can be significantly different from the solar one, both in topology and intensity. In addition, due to the present-day technology used in exoplanetary searches, most of the currently known exoplanets are found orbiting at extremely close distances to their host stars ($< 0.1$ au). The dramatic differences in stellar magnetism and orbital radius can make the interplanetary medium of exoplanetary systems remarkably distinct from that of the Solar System. To constrain interactions between exoplanets and their host-star's magnetised winds and to characterise the interplanetary medium that surrounds exoplanets, more realistic stellar wind models, which account for factors such as stellar rotation and the complex stellar magnetic field configurations of cool stars, must be employed. Here, I briefly review the latest progress made in data-driven modelling of magnetised stellar winds. I also show that the interaction of the stellar winds with exoplanets can lead to several observable signatures, some of which that are absent in our own Solar System.
description: 9 pages, 2 figures, to appear in the proceedings of the IAUS302 "Magnetic fields throughout stellar evolution"
Monitoring Gender Gaps via LinkedIn Advertising Estimates: the case study of Italy
Creators: name: Bertè, Margherita
name: Kalimeri, Kyriaki
name: Paolotti, Daniela
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computers and Society (cs.CY)
subject: FOS: Computer and information sciences

description: Women remain underrepresented in the labour market. Although significant advancements are being made to increase female participation in the workforce, the gender gap is still far from being bridged. We contribute to the growing literature on gender inequalities in the labour market, evaluating the potential of the LinkedIn estimates to monitor the evolution of the gender gaps sustainably, complementing the official data sources. In particular, assessing the labour market patterns at a subnational level in Italy. Our findings show that the LinkedIn estimates accurately capture the gender disparities in Italy regarding sociodemographic attributes such as gender, age, geographic location, seniority, and industry category. At the same time, we assess data biases such as the digitalisation gap, which impacts the representativity of the workforce in an imbalanced manner, confirming that women are under-represented in Southern Italy. Additionally to confirming the gender disparities to the official census, LinkedIn estimates are a valuable tool to provide dynamic insights; we showed an immigration flow of highly skilled women, predominantly from the South. Digital surveillance of gender inequalities with detailed and timely data is particularly significant to enable policymakers to tailor impactful campaigns.
description: 10 pages
Semi-isolation and the strict order property
Creators: name: Sudoplatov, Sergey
name: Tanović, Predrag
Publisher: name: arXiv
Year: 2013
Subjects: subject: Logic (math.LO)
subject: FOS: Mathematics
subject: 03C15

description: We study semi-isolation as a binary relation on the locus of a complete type and prove that under some additional assumptions it induces the strict order property.
description: Submitted to Notre Dame Journal of Formal Logic
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
Creators: name: Teles, Joana
name: Santos, Vanda
name: Quaresma, Pedro
Publisher: name: arXiv
Year: 2023
Subjects: subject: Artificial Intelligence (cs.AI)
subject: Computers and Society (cs.CY)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2; K.3

description: The introduction of automated deduction systems in secondary schools face several bottlenecks. Beyond the problems related with the curricula and the teachers, the dissonance between the outcomes of the geometry automated theorem provers and the normal practice of conjecturing and proving in schools is a major barrier to a wider use of such tools in an educational environment. Since the early implementations of geometry automated theorem provers, applications of artificial intelligence methods, synthetic provers based on inference rules and using forward chaining reasoning are considered to be more suited for education proposes. Choosing an appropriate set of rules and an automated method that can use those rules is a major challenge. We discuss one such rule set and its implementation using the geometry deductive databases method (GDDM). The approach is tested using some chosen geometric conjectures that could be the goal of a 7th year class (approx. 12-year-old students). A lesson plan is presented, its goal is the introduction of formal demonstration of proving geometric theorems, trying to motivate students to that goal
description: In Proceedings ThEdu'22, arXiv:2303.05360
Generalization of electrical resistance scaling to Dirac fields on perforated fractals
Creators: name: Schonfeld, Jonathan F.
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Physics (physics.gen-ph)
subject: FOS: Physical sciences

description: I construct perforated, "take-away" fractals that support short-distance power-law scaling with complex exponents for Dirac (spin-1/2) propagators. The construction relies on a fortuitous ansatz for Dirac boundary conditions at the surfaces of spherical voids in a three-dimensional embedding space, and requires that boundary conditions vary from void to void and are distributed statistically. The appropriate distribution can ensure that nonzero charges (but not dipoles, which drive nontrivial power-law scaling) induced in voids cancel out in spatial averaging.
description: To be published in Fractals (World Scientific)
title: Adcock: Liberalism and Political Science
Creators: name: Boncourt, Thibaud
name: Adcock, Robert
name: Berndtson, Erkki
name: Hauptmann, Emily
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 2;
  Pages: 237-256; ISSN: 2521-0947
ANITA: Analytic Tableau Proof Assistant
Creators: name: Vasconcelos, Davi Romero
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper describes the logical system of the tool, explains how the tool is used and compares it to several similar tools. ANITA has already been used in logic courses and an evaluation of the tool is presented.
description: In Proceedings ThEdu'22, arXiv:2303.05360
High-Impedance Non-Linear Fault Detection via Eigenvalue Analysis with low PMU Sampling Rates
Creators: name: Paramo, Gian
name: Bretas, Arturo
name: Meyn, Sean
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: This technique holds several advantages over contemporary techniques: It utilizes technology that is already deployed in the field, it offers a significant degree of generality, and so far it has displayed a very high-level of sensitivity without sacrificing accuracy. Validation is performed in the form of simulations based in the IEEE 13 Node System and non-linear fault models. Test results are encouraging, indicating potential for real-life applications.
description: IEEE ISGT 2023
Path Integral Control in Infectious Disease Modeling
Creators: name: Pramanik, Paramahansa
Publisher: name: arXiv
Year: 2023
Subjects: subject: Physics and Society (physics.soc-ph)
subject: FOS: Physical sciences

description: COVID-19, a global pandemic of unprecedented scale, has had a profound impact on nations worldwide, resulting in the tragic loss of nearly 1.1 million lives in the United States and a staggering 7 million worldwide. In the absence of effective vaccines, governments across the globe resorted to the implementation of lockdown measures as a vital strategy to mitigate the virus's relentless spread. While these restrictions were widely enforced, crucial sectors like public health and safety remained operational, ensuring the continuity of essential services. The timing and stringency of lockdown measures in various U.S. states were intricately tailored to the severity of the outbreak within their respective regions. Lockdowns effectively curtailed social interactions, thereby significantly reducing virus transmission. However, it is essential to strike a balance, as prolonged lockdowns can sow apprehension among the populace, impeding the resumption of normal social activities due to the persistent fear of contracting COVID-19. These prolonged restrictions have reverberated throughout the business landscape, resulting in reduced consumer and employee participation, ultimately denting long-term profitability sustainability. Businesses that lacked the resilience of adequate inventory faced the dire prospect of permanent closure. Regrettably, the absence of substantial government financial support has made business closure an all too common outcome, with the arduous task of revival to former employment levels.
A Proof Tree Builder for Sequent Calculus and Hoare Logic
Creators: name: Korkut, Joomy
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: We have developed a web-based pedagogical proof assistant, the Proof Tree Builder, that lets you apply rules upwards from the initial goal in sequent calculus and Hoare logic for a simple imperative language. We equipped our tool with a basic proof automation feature and Z3 integration. Students in the automated reasoning course at Princeton University used our tool and found it intuitive. The Proof Tree Builder is available online at https://proof-tree-builder.github.io.
description: In Proceedings ThEdu'22, arXiv:2303.05360
Gamma-rays from Blazars and the Extragalactic Background Light
Creators: name: Costamante, Luigi
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: Recent observations of blazars at high energy (HE, 0.1-100 GeV) and very high energy (VHE, >0.1 TeV) have provided important constraints on the intensity and spectrum of the diffuse Extragalactic Background Light (EBL), shedding light on its main origin. Several issues remain open, however, in particular in the mid- and far-infrared bands and in the blazar emission at multi-TeV energies. This review summarizes the observational and theoretical progress in the study of the EBL with gamma-rays and the most promising future improvements, which are mainly expected from spectra in the multi-TeV range.
description: Invited review for International Journal of Modern Physics D, 30 pages, 9 figures
Atomically perfect torn graphene edges and their reversible reconstruction
Creators: name: Kim, Kwanpyo
name: Coh, Sinisa
name: Kisielowski, C.
name: Crommie, M. F.
name: Louie, Steven G.
name: Cohen, Marvin L.
name: Zettl, A.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: The atomic structure of graphene edges is critical in determining the electrical, magnetic, and chemical properties of truncated graphene structures, notably nanoribbons. Unfortunately, graphene edges are typically far from ideal and suffer from atomic-scale defects, structural distortion, and unintended chemical functionalization, leading to unpredictable properties. Here we report that graphene edges fabricated by electron-beam-initiated mechanical rupture or tearing in high vacuum are clean and largely atomically perfect, oriented in either the armchair or zigzag direction. Via aberration-corrected transmission electron microscopy, we demonstrate reversible and extended pentagon-heptagon (5-7) reconstruction at zigzag edges, and explore experimentally and theoretically the dynamics of the transitions between configuration states. Good theoretical-experimental agreement is found for the flipping rates between 5-7 and 6-6 zigzag edge states. Our study demonstrates that simple ripping is remarkably effective in producing atomically clean, ideal terminations thus providing a valuable tool for realizing atomically-tailored graphene and facilitating meaningful experimental study.
description: 26 pages, 4 main figures
Flavored Dark Matter: A Review
Creators: name: Kile, Jennifer
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: The current status of flavored dark matter is reviewed. We discuss the main experimental constraints on models of flavored dark matter and survey some possible considerations which are relevant for the constructions of models. We then review the application of existing flavor principles to dark matter, with an emphasis on minimal flavor violation, and discuss implications of flavored dark matter on collider phenomenology.
description: 11 pages, to be submitted as an invited review to Modern Physics Letters A
Fragmented Futures: Understanding the Role of Spatial Boundaries on Groundwater in India
Creators: name: Khedgikar, Shamil Shirish
Publisher: name: University of Chicago
Year: 2023
Subjects: subject: India
subject: groundwater
subject: spatial boundaries
subject: IWMR
subject: spatial econometrics
subject: water districts

description: This research provides the first spatially explicit understanding of the effects of de-jure administrative boundaries on groundwater extraction in India. By discovering a link between the spatial configurations of settlements, administrative boundaries, and reservoirs of groundwater, we develop a new methodological approach for understanding the drivers of groundwater scarcity, as measured through estimates of volumetric extraction and the persistence of dry wells over time. To contextualize the problem, we first undertake a qualitative review of India’s past and present policies on water governance and identify some structural deficiencies and their persistence across larger systems of urban and rural governance. We find two critical historical linkages in India’s Water-Food-Energy nexus that can be attributed for driving over-extraction of groundwater over time. We formulate the persistence of these linkages as a larger problem of fragmentation - lack of coordination between contiguous administrative units sharing common aquifer systems and misdirected investments due to federated governance structures exacerbating this problem. We posit that the misdirected investments arise due to the “out of sight” characteristic of groundwater, leading to a difference between actual and perceived scarcity of water. To test this explanation empirically using models in spatial econometrics, we develop a new class of spatial weights called Rel-Weights that allow for interaction between resource and administrative boundaries through irregular 2-dimensional contiguity, a unique spatial characteristic of non-overlapping administrative and resource boundaries. We then compare model outcomes using RelWeights in comparison to Queen Weights in an ensemble of spatial econometric models (SAR, SEM, Spatial Durbin Model, Spatial Lag & Error Probit) to identify drivers of over-extraction, finding strong evidence against the normative policies of groundwater welfarism adopted by the state and a distinct set of drivers for real and perceived scarcity of groundwater. Finally, we study the possibility of creating alternative clusters for the effective regulation of groundwater while synergistically improving the sustainable use of groundwater through a series of counterfactual simulations.
A brief review of a modified relativity that explains cosmological constant
Creators: name: Cruz, Cláudio Nassif
name: Faria, A. C. Amaro de
Publisher: name: arXiv
Year: 2023
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: The present review aims to show that a modified space-time with an invariant minimum speed provides a relation with Weyl geometry in the Newtonian approximation of weak-field. The deformed Special Relativity so-called Symmetrical Special Relativity (SSR) has an invariant minimum speed $V$, which is associated with a preferred reference frame $S_V$ for representing the vacuum energy, thus leading to the cosmological constant ($Λ$). The equation of state (EOS) of vacuum energy for $Λ$, i.e., $ρ_Λ=ε=-p$ emerges naturally from such space-time, where $p$ is the pressure and $ρ_Λ=ε$ is the vacuum energy density. With the aim of establishing a relationship between $V$ and $Λ$ in the modified metric of the space-time, we should consider a dark spherical universe with Hubble radius $R_H$, having a very low value of $ε$ that governs the accelerated expansion of universe. In doing this, we aim to show that SSR-metric has an equivalence with a de-Sitter (dS)-metric ($Λ>0$). On the other hand, according to the Boomerang experiment that reveals a slightly accelerated expansion of the universe, SSR leads to a dS-metric with an approximation for $Λ<<1$ close to a flat space-time, which is in the $ΛCDM$ scenario where the space is quasi-flat, so that $Ω_{m}+Ω_Λ\approx 1$. We have $Ω{cdm}\approx 23\%$ by representing dark cold matter, $Ω_m\approx 27\%$ for matter and $Ω_Λ\approx 73\%$ for the vacuum energy. Thus, the theory is adjusted for the redshift $z=1$. This corresponds to the time $τ_0$ of transition between gravity and anti-gravity, leading to a slight acceleration of expansion related to a tiny value of $Λ$, i.e., we find $Λ_0=1.934\times 10^{-35}s^{-2}$. This result is in agreement with observations.
description: 15 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:2303.14120
title: Hess: The Political Theory of Shklar
Creators: name: Schrecker, Cherry
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 2;
  Pages: 260-261; ISSN: 2521-0947
On Exams with the Isabelle Proof Assistant
Creators: name: Jacobsen, Frederik Krogsdal
name: Villadsen, Jørgen
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: FOS: Computer and information sciences
subject: F.4; I.2.3; K.3.1

description: We present an approach for testing student learning outcomes in a course on automated reasoning using the Isabelle proof assistant. The approach allows us to test both general understanding of formal proofs in various logical proof systems and understanding of proofs in the higher-order logic of Isabelle/HOL in particular. The use of Isabelle enables almost automatic grading of large parts of the exam. We explain our approach through a number of example problems, and explain why we believe that each of the kinds of problems we have selected are adequate measures of our intended learning outcomes. Finally, we discuss our experiences using the approach for the exam of a course on automated reasoning and suggest potential future work.
description: In Proceedings ThEdu'22, arXiv:2303.05360
title: Larsson/Magdalenić: Sociology in Sweden
Creators: name: Therborn, Göran
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 2;
  Pages: 262-263; ISSN: 2521-0947
Diffractionless image propagation and frequency conversion via four-wave mixing exploiting the thermal motion of atoms
Creators: name: Zhang, L.
name: Evers, J.
Publisher: name: arXiv
Year: 2013
Subjects: subject: Quantum Physics (quant-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: A setup to frequency-convert an arbitrary image encoded in the spatial profile of a probe field onto a signal field using four-wave mixing in a thermal atom vapor is proposed. The atomic motion is exploited to cancel diffraction of both signal and probe fields simultaneously. We show that an incoherent probe field can be used to enhance the transverse momentum bandwidth which can be propagated without diffraction, such that smaller structures with higher spatial resolution can be transmitted. It furthermore compensate linear absorption with non-linear gain, to improve the four-wave mixing performance since the propagation dynamics of the various field intensities is favorably modified.
description: 12 pages, 7 figures
Analysis of the stability of stationary boundary friction modes in the framework of a synergetic model
Creators: name: Lyashenko, Iakov A.
name: Manko, Nataliia N.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Chaotic Dynamics (nlin.CD)
subject: Fluid Dynamics (physics.flu-dyn)
subject: FOS: Physical sciences
subject: 74C10, 82C26

description: A synergetic model describing the state of an ultrathin lubricant layer squeezed between two atomically smooth solid surfaces operating in the boundary friction mode has been developed further. To explain the presence of different operation modes of the system for various sets of its main parameters, the mathematical analysis of the synergetic model is carried out. The type of functioning a tribological system is described in accordance with the stability character of singular points, and the diagrams distinguishing various operation modes are obtained. Phase portraits corresponding to different stability types are plotted for all diagram areas. A stick-slip mode of motion that is often observed experimentally is described.
description: 8 pages, 5 figures, 29 references
MCMC for Normalized Random Measure Mixture Models
Creators: name: Favaro, Stefano
name: Teh, Yee Whye
Publisher: name: arXiv
Year: 2013
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: This paper concerns the use of Markov chain Monte Carlo methods for posterior sampling in Bayesian nonparametric mixture models with normalized random measure priors. Making use of some recent posterior characterizations for the class of normalized random measures, we propose novel Markov chain Monte Carlo methods of both marginal type and conditional type. The proposed marginal samplers are generalizations of Neal's well-regarded Algorithm 8 for Dirichlet process mixture models, whereas the conditional sampler is a variation of those recently introduced in the literature. For both the marginal and conditional methods, we consider as a running example a mixture model with an underlying normalized generalized Gamma process prior, and describe comparative simulation results demonstrating the efficacies of the proposed methods.
description: Published in at http://dx.doi.org/10.1214/13-STS422 the Statistical Science (http://www.imstat.org/sts/) by the Institute of Mathematical Statistics (http://www.imstat.org)
Automated Grading of Automata with ACL2s
Creators: name: Kumar, Ankit
name: Walter, Andrew
name: Manolios, Panagiotis
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Formal Languages and Automata Theory (cs.FL)
subject: Symbolic Computation (cs.SC)
subject: FOS: Computer and information sciences

description: Almost all Computer Science programs require students to take a course on the Theory of Computation (ToC) which covers various models of computation such as finite automata, push-down automata and Turing machines. ToC courses tend to give assignments that require paper-and-pencil solutions. Grading such assignments takes time, so students typically receive feedback for their solutions more than a week after they complete them. We present the Automatic Automata Checker (A2C), an open source library that enables one to construct executable automata using definitions that mimic those found in standard textbooks. Such constructions are easy to reason about using semantic equivalence checks, properties and test cases. Instructors can conveniently specify solutions in the form of their own constructions. A2C can check for semantic equivalence between student and instructor solutions and can immediately generate actionable feedback, which helps students better understand the material. A2C can be downloaded and used locally by students as well as integrated into Learning Management Systems (LMS) like Gradescope to automatically grade student submissions and generate feedback. A2C is based on the ACL2s interactive theorem prover, which provides advanced methods for stating, proving and disproving properties. Since feedback is automatic, A2C can be deployed at scale and integrated into massively open online courses.
description: In Proceedings ThEdu'22, arXiv:2303.05360
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Creators: name: Miesenberger, Klaus
name: Neuper, Walther
name: Stöger, Bernhard
name: Wenzel, Makarius
Publisher: name: arXiv
Year: 2023
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Human-Computer Interaction (cs.HC)
subject: FOS: Computer and information sciences
subject: I.2.3; K.3.1

description: The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals, (2) expertise in developing educational mathematics software and (3) expertise in designing and implementing interactive proof assistants. The cooperation was started with the goal to develop an accessible mathematics working environment for education with reasonable efforts. The start was triggered by the lucky discovery that the upcoming Isabelle/VSCode is greatly accessible for blind users without further impairments; this is envisaged as the project's target group. Technical details are described to an extent necessary to understand essential details of efforts required for development. A survey of demand from practice of education with respect to (1) and (2) leads to a vision for educational math software, which necessarily is sketchy but suffices to guide development and which shall invite experts in didactics of mathematics to collaborate.
description: In Proceedings ThEdu'22, arXiv:2303.05360
title: Helmes-Hayes/Santoro (eds.): Everett Hughes
Creators: name: Egger De Campo, Marianne
Publisher: name: Karl-Franzens-Universität Graz
Year: 2017

description: Serendipities. Journal for the Sociology and History of the Social Sciences; Volume 2017 (2); Issue 2;
  Pages: 264-269; ISSN: 2521-0947
ETHIOPIAN FIELD EPIDEMIOLOGY AND LABORATORY TRAINING PROGRAM (EFETP)
Creators: name: Melaku Seyoum
Publisher: name: Zenodo
Year: 2019

description: Background: Measles is a highly contagious vaccine-preventable disease. Globally, in 2015, there were 254,928 cases and ~134,200 measles deaths. The aim of the investigation was to describe the magnitude of measles, to identify risk factors and to undertake control measures.

Methods: Unmatched case-control study was conducted from October 1-20, 2018 in Hudet woreda. The outbreak was confirmed by using serological laboratory test. Sample size were determined based on similar studies. On case-control study a total of 116 data were collected using structured questionnaire. We used WHO adopted national standard case definition to identify cases. All 358 cases were line listed. Bivariate and multivariate analysis was conducted using odd ratio with 95% confidence interval and P-value < 0.05 by using SPSS.
The Secret Life of a Process Description: A Look into the Evolution of a Large Process Model
Creators: name: Soto, Martín
name: Ocampo, Alexis
name: Münch, Jürgen
Publisher: name: arXiv
Year: 2014
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Software process models must change continuously in order to remain consistent over time with the reality they represent, as well as relevant to the task they are intended for. Performing these changes in a sound and disci- plined fashion requires software process model evolution to be understood and controlled. The current situation can be characterized by a lack of understanding of software process model evolution and, in consequence, by a lack of systematic support for evolving software process models in organizations. This paper presents an analysis of the evolution of a large software process standard, namely, the process standard for the German Federal Government (V-Modell(R) XT). The analysis was performed with the Evolyzer tool suite, and is based on the complete history of over 600 versions that have been created during the development and maintenance of the standard. The analysis reveals similarities and differences between process evolution and empirical findings in the area of software system evolution. These findings provide hints on how to better manage process model evolution in the future.
description: 12 pages. The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-540-79588-9_23
Accurate Real-time Polyp Detection in Videos from Concatenation of Latent Features Extracted from Consecutive Frames
Creators: name: Qadir, Hemin Ali
name: Shin, Younghak
name: Bergsland, Jacob
name: Balasingham, Ilangko
Publisher: name: arXiv
Year: 2023
Subjects: subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Artificial Intelligence (cs.AI)
subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: An efficient deep learning model that can be implemented in real-time for polyp detection is crucial to reducing polyp miss-rate during screening procedures. Convolutional neural networks (CNNs) are vulnerable to small changes in the input image. A CNN-based model may miss the same polyp appearing in a series of consecutive frames and produce unsubtle detection output due to changes in camera pose, lighting condition, light reflection, etc. In this study, we attempt to tackle this problem by integrating temporal information among neighboring frames. We propose an efficient feature concatenation method for a CNN-based encoder-decoder model without adding complexity to the model. The proposed method incorporates extracted feature maps of previous frames to detect polyps in the current frame. The experimental results demonstrate that the proposed method of feature concatenation improves the overall performance of automatic polyp detection in videos. The following results are obtained on a public video dataset: sensitivity 90.94\%, precision 90.53\%, and specificity 92.46%
The basis property of generalized Jacobian elliptic functions
Creators: name: Takeuchi, Shingo
Publisher: name: arXiv
Year: 2013
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: Analysis of PDEs (math.AP)
subject: FOS: Mathematics

description: The Jacobian elliptic functions are generalized to functions including the generalized trigonometric functions. The paper deals with the basis property of the sequence of generalized Jacobian elliptic functions in any Lebesgue space. In particular, it is shown that the sequence of the classical Jacobian elliptic functions is a basis in any Lebesgue space if the modulus $k$ satisfies $0 \le k \le 0.99$.
Magnetically powered outbursts from white dwarf mergers
Creators: name: Beloborodov, Andrei M.
Publisher: name: arXiv
Year: 2013
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: FOS: Physical sciences

description: Merger of a white dwarf binary creates a differentially rotating object which is expected to generate strong magnetic fields. Kinetic energy stored in differential rotation is partially dissipated in the magnetically dominated corona, which forms a hot variable outflow with ejection velocity comparable to $10^9$ cm s$^{-1}$. The outflow should carry significant mass and energy for hours to days, creating an expanding fireball with the following features. (i) The fireball is initially opaque and its internal energy is dominated by the trapped thermal radiation. The stored heat is partially converted to kinetic energy of the flow (through adiabatic cooling) and partially radiated away. (ii) Internal shocks develop in the fireball and increase its radiative output. (iii) A significant fraction of the emitted energy is in the optical band. As a result, a bright optical transient with luminosity $L\sim 10^{41}-10^{42}$ erg s$^{-1}$ and a characteristic peak duration comparable to 1 day may be expected from the merger. In contrast to classical novae or supernovae, the transient does not involve nuclear energy. The decay after its peak reflects the damping of differential rotation in the merger remnant. Such outbursts may be detected in the local Universe with current and upcoming optical surveys.
description: 9 pages, accepted to MNRAS
Hybridization of Graphene and a Ag Monolayer Supported on Re(0001)
Creators: name: Papagno, M.
name: Moras, P.
name: Sheverdyaeva, P. M.
name: Doppler, J.
name: Garhofer, A.
name: Mittendorfer, F.
name: Redinger, J.
name: Carbone, C.
Publisher: name: arXiv
Year: 2014
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We have investigated the electronic structure of graphene supported on Re(0001) before and after the intercalation of one monolayer of Ag by means of angle-resolved photoemission spectroscopy measurements and density functional theory calculations. The intercalation of Ag reduces the graphene-Re interaction and modifies the electronic band structure of graphene. Although the linear dispersion of the π state of graphene in proximity of the Fermi level highlights a rather weak graphene-noble metal layer interaction, we still observe a significant hybridization between the Ag bands and the π state in lower energy regions. These results demonstrate that covering a surface with a noble metal layer does decouple the electronic states, but still leads to a noticeable change in the electronic structure of graphene.
description: 5 pages, 3 figures