cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Magnetospheres and Disk Accretion in Herbig Ae/Be Stars
Creators: name: Muzerolle, J.
name: D'Alessio, P.
name: Calvet, N.
name: Hartmann, L.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present evidence of magnetically-mediated disk accretion in Herbig Ae/Be stars. Magnetospheric accretion models of Balmer and sodium profiles calculated with appropriate stellar and rotational parameters are in qualitative agreement with the observed profiles of the Herbig Ae star UX Ori, and yield a mass accretion rate of ~ 10^{-8} Msun/yr. If more recent indications of an extremely large rotation rate for this object are correct, the magnetic field geometry must deviate from that of a standard dipole in order to produce line emission consistent with observed flux levels. Models of the associated accretion shock qualitatively explain the observed distribution of excess fluxes in the Balmer discontinuity for a large ensemble of Herbig Ae/Be stars, and imply typically small mass accretion rates, < 10^{-7} Msun/yr. In order for accretion to proceed onto the star, significant amounts of gas must exist inside the dust destruction radius, which is potentially problematic for recently advocated scenarios of "puffed" inner dust wall geometries. However, our models of the inner gas disk show that for the typical accretion rates we have derived, the gas should be generally optically thin, thus allowing direct stellar irradiation of the inner dust edge of the disk.
description: 32 pages, 12 figures, accepted by ApJ
Retorno Econômico dos Investimentos em P&D na Citricultura Paulista
Creators: name: Figueiredo, Margarida Garcia De
name: Barros, Alexandre Lahóz Mendonça De
name: Conceição, Junia Cristina Peres Rodrigues Da
name: Figueiredo, Margarida Garcia De
name: Barros, Alexandre Lahóz Mendonça De
name: Conceição, Junia Cristina Peres Rodrigues Da
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Research and Development
subject: total factor productivity
subject: economic return
subject: citrussector.

description: The objective of this study was to assess the economic return from R&D investments in the citrus sector in São Paulo state, Brazil. Brazilaccounts for 80% of the total frozen concentrate orange juice (FCOJ) traded in the international market, and São Paulo state is responsible for 98% of Brazilian FCOJ exports. The Tornqüist Index Method was used to estimate the Total Factor Productivity (TFP) for the citrus industry, in order to compare the outcomes with and without citrus R&D investments. For every 1.00 Realinvested in citrus research, there is an increase of 13.00 Reaisin the values of orange production in São Paulo state.
Late time decay of scalar and Dirac fields around an asymptotically de Sitter black hole in the Euler-Heisenberg electrodynamics
Creators: name: Bolokhov, S. V.
Publisher: name: arXiv
Year: 2024
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We compute the quasinormal modes of massive scalar and Dirac fields within the framework of asymptotically de Sitter black holes in Euler-Heisenberg non-linear electrodynamics. We pay particular attention to the regime $μM/m_{P}^2 \gg 1$, where $μ$ and $M$ denote the masses of the field and the black hole, respectively, and $m_{P}$ represents the Planck mass, covering a range from primordial to large astrophysical black holes. Through time-domain integration, we demonstrate that, contrary to the asymptotically flat case, the quasinormal modes also dictate the asymptotic decay of fields. Employing the 6th order WKB formula, we derive a precise analytic approximation for quasinormal modes in the regime $μM/m_{P}^2 \gg 1$ without resorting to expansion in terms of the inverse multipole number. This analytic expression takes on a concise form in the limit of linear electrodynamics, represented by the Reissner-Nordström black holes.
description: 12 pages, 8 figures
Modulational Instabilities and Domain Walls in Coupled Discrete Nonlinear Schrödinger Equations
Creators: name: Rapti, Z.
name: Trombettoni, A.
name: Kevrekidis, P. G.
name: Frantzeskakis, D. J.
name: Malomed, Boris A.
name: Bishop, A. R.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Soft Condensed Matter (cond-mat.soft)
subject: FOS: Physical sciences

description: We consider a system of two discrete nonlinear Schrödinger equations, coupled by nonlinear and linear terms. For various physically relevant cases, we derive a modulational instability criterion for plane-wave solutions. We also find and examine domain-wall solutions in the model with the linear coupling.
description: Phys. Lett. A (in press)
Expansão Agrícola, Preços e Apropriação de Terra Por Estrangeiros no Brasil
Creators: name: Sauer, Sérgio
name: Leite, Sergio Pereira
name: Sauer, Sérgio
name: Leite, Sergio Pereira
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Land market
subject: land grabbing
subject: land price
subject: agriculture frontier
subject: Brazil.

description: The recent “rush for farmland” in the world has made of Latin America and Brazil targets in the process of land deals with a great increase of foreign investments on the agribusiness including land purchases by financial companies, among others. Despite the low liquidity, land deals and foreign investments in agribusiness are not new in Brazil, but have increased considerably after 2002, as it is possible to be seenin the registration system of the National Institute for Colonization and Agrarian Reform. According to some field researches, most of the recent investments are related to production of grains (especially soybean) and sugarcane (to produce sugar and ethanol), but also for mining,resulting, among other consequences, in a great increase of land prices in some Brazilian regions.Such rush for land has led the Brazilian government to reestablish a legal mechanism to “control” these foreign investments in land deals. This article discussesthe recent process of foreign investments in purchasing land in Brazil, focusing inmain causes for such investments and its consequences, including possible influences on land prices and social and political impacts over disputes to access land in Brazil.
Binary Black Hole Mergers from LIGO/Virgo O1 and O2: Population Inference Combining Confident and Marginal Events
Creators: name: Roulet, Javier
name: Venumadhav, Tejaswi
name: Zackay, Barak
name: Dai, Liang
name: Zaldarriaga, Matias
Publisher: name: arXiv
Year: 2020
Subjects: subject: High Energy Astrophysical Phenomena (astro-ph.HE)
subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We perform a statistical inference of the astrophysical population of binary black hole (BBH) mergers observed during the first two observing runs of Advanced LIGO and Advanced Virgo, including events reported in the GWTC-1 and IAS catalogs. We derive a novel formalism to fully and consistently account for events of arbitrary significance. We carry out a software injection campaign to obtain a set of mock astrophysical events subject to our selection effects, and use the search background to compute the astrophysical probabilities $p_{\rm astro}$ of candidate events for several phenomenological models of the BBH population. We emphasize that the values of $p_{\rm astro}$ depend on both the astrophysical and background models. Finally, we combine the information from individual events to infer the rate, spin, mass, mass-ratio and redshift distributions of the mergers. The existing population does not discriminate between random spins with a spread in the effective spin parameter, and a small but nonzero fraction of events from tidally-torqued stellar progenitors. The mass distribution is consistent with one having a cutoff at $m_{\rm max} = 41^{+10}_{-5}\,\rm M_\odot$, while the mass ratio favors equal masses; the mean mass ratio $\bar q> 0.67$. The rate shows no significant evolution with redshift. We show that the merger rate restricted to BBHs with a primary mass between 20 and $30\, \rm M_\odot$, and a mass ratio $q > 0.5$, and at $z \sim 0.2$, is 1.5 to $5.3\,{\rm Gpc^{-3} yr^{-1}}$ (90\% c.l.); these bounds are model independent and a factor of $\sim 3$ tighter than that on the local rate of all BBH mergers, and hence are a robust constraint on all progenitor models. Including the events in our catalog increases the Fisher information about the BBH population by $\sim 47\%$, and tightens the constraints on population parameters.
description: 23 pages, 13 figures. Version accepted for publication in Physical Review D
Hybridized solid-state qubit in the charge-flux regime
Creators: name: You, J. Q.
name: Tsai, J. S.
name: Nori, Franco
Publisher: name: arXiv
Year: 2004
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Most superconducting qubits operate in a regime dominated by either the electrical charge or the magnetic flux. Here we study an intermediate case: a hybridized charge-flux qubit with a third Josephson junction (JJ) added into the SQUID loop of the Cooper-pair box. This additional JJ allows the optimal design of a low-decoherence qubit. Both charge and flux $1/f$ noises are considered. Moreover, we show that an efficient quantum measurement of either the current or the charge can be achieved by using different area sizes for the third JJ.
description: 7 pages, 5 figures. Phys. Rev. B, in press
Additional file 2 of The impact of terrestrial protected areas on vegetation extent and condition: a systematic review protocol
Creators: name: Sharma, Roshan
name: Eklund, Johanna
name: Barnes, Megan
name: Geldmann, Jonas
name: Schleicher, Judith
name: Pressey, Robert L.
name: Gutierrez, Marco
name: Jones, Simon
name: Ascelin Gordon
Publisher: name: figshare
Year: 2020
Subjects: subject: Medicine
subject: Sociology
subject: FOS: Sociology
subject: Science Policy

description: Additional file 2. Final search strings, scoping exercise, and the list of benchmark studies.
Stability analysis for cosmological models in $f(T,B)$ gravity
Creators: name: Franco, Geovanny A. Rave
name: Escamilla-Rivera, Celia
name: Said, Jackson Levi
Publisher: name: arXiv
Year: 2020
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: In this paper we study cosmological solutions of the $f(T,B)$ gravity using dynamical system analyses. For this purpose we consider cosmological viable functions of $f(T,B)$ that are capable of reproducing the dynamics of the Universe. We present three specific models of $f(T,B)$ gravity which have a general form of the solutions by writing the equations of motion as an autonomous system. Finally, we study its hyperbolic critical points and general trajectories in the phase space of the resulting dynamical variables which are compatible with the current late-time observations.
description: 15 pages, 3 set of figures. Version accepted in European Physical Journal C
Occupational exposure to Cryptococcus gattii : evaluation of exposure to Cryptococcus gattii among arborists and CRD watershed employees on Vancouver Island
Creators: name: Hingston, Adrian Owen
Publisher: name: University of British Columbia
Year: 2010

description: Cryptococcus gattii (C. gattii) has emerged as an infectious pathogen on Vancouver Island, B.C. The goal of this thesis is to describe exposure to C. gattii among workers who work outdoors under the canopies of trees on Vancouver Island, specifically arbor workers and Capital Regional District (CRD) Watershed maintenance workers. Environmental sampling of trees, soil, water and air was used to characterize the geographical distribution of the organism on Vancouver Island and the Southern Gulf Islands. Air sampling was performed in the breathing zone of workers carrying out woodland tasks. Task analysis and questionnaire data were used to characterize the work tasks performed by arbor workers and CRD Watershed Maintenance workers. This organism was found in varying concentrations on the east coast of Vancouver Island from Victoria in the south to Courtenay in the north. The highest concentrations of positive samples were found in Parksville (i.e. 35% of all samples obtained were positive for C. gattii), Duncan (24%), and Salt Spring Island (20%). A wide range of tree species have been colonized by the organism including economically important varieties such as Douglas fir, Red Cedar, and Alder. The highest levels of C. gattii occurred in the drier months of the year, with very few positive air samples occurring between the months of November and March. Relative humidity was significantly (negatively) associated with airborne C. gattii in non-working conditions, and the location where the sample was taken as well as the month in which it was taken were significant determinants of airborne C. gattii concentration. The highest levels of airborne C. gattii occurred under working conditions. With work tasks such as chain sawing and chipping C. gattii can become airborne in smaller particle sizes that are able to enter deeper portions of the human respiratory tract, which may enhance its ability to initiate disease. There is a risk of occupational exposure to C. gattii to workers performing woodland tasks on Vancouver Island. The risk of exposure is higher in the drier months of the year and when the worker performs tasks that create aerosols. Workers should be made aware of the existence of the pathogen as well as the signs and symptoms of cryptococcosis.
Direitos de Propriedade da Terra Rural no Brasil: uma proposta institucionalista para ampliar a governança fundiária
Creators: name: Guedes, Sebastião Neto Ribeiro
name: Reydon, Bastiaan Philip
name: Guedes, Sebastião Neto Ribeiro
name: Reydon, Bastiaan Philip
Publisher: name: Unknown
Year: 2012
Subjects: subject: Agribusiness
subject: Institutional economics
subject: property rights
subject: land policy
subject: land registration
subject: land governance.

description: This paper discusses, based on an institutional perspective, the fragility pro­ blem regarding rural land property rights in Brazil. It starts by analyzing historical determinants of the land governance institutional setting, mainly the land registration and land cadastre systems. It shows that it is not adequate for ruling land squatting, it creates incentives for frauds and stimulates land conflicts. The paper ends proposing institutional changes which creates adequate land governance that will assure a security increase in rural land property rights.
Probing Warm-Hot Intergalactic Medium Associated with the Virgo Cluster using an Oxygen Absorption Line
Creators: name: Fujimoto, R.
name: Takei, Y.
name: Tamura, T.
name: Mitsuda, K.
name: Yamasaki, N. Y.
name: Shibata, R.
name: Ohashi, T.
name: Ota, N.
name: Audley, M. D.
name: Kelley, R.
name: Kilbourne, C. A.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: To detect a warm-hot intergalactic medium associated with the large-scale structure of the universe, we observed a quasar behind the Virgo cluster with XMM-Newton. With a net exposure time of 54 ks, we marginally detected an OVIII K alpha absorption line at 650.9 +0.8/-1.9 eV in the RGS spectra, with a statistical confidence of 96.4 %. The observed line center energy is consistent with the redshift of M87, and hence the absorber is associated with the Virgo cluster. From the curve of growth, the OVIII column density was estimated to be > 7 x 10^16 cm^-2. In the EPIC spectra, excess emission was found after evaluating the hot intracluster medium in the Virgo cluster and various background components. We inspected the ROSAT All-Sky Survey map of the diffuse soft X-ray background, and confirmed that the level of the north and west regions just outside of the Virgo cluster is consistent with the background model that we used, while that of the east side is significantly higher and the enhancement is comparable with the excess emission found in the EPIC data. We consider a significant portion of the excess emission to be associated with the Virgo cluster, although a possible contribution from the North Polar Spur cannot be excluded. Using the column density and the emission measure and assuming an oxygen abundance of 0.1 and an ionization fraction of 0.4, we estimate that the mean electron density and the line-of-sight distance of the warm-hot gas are < 6 x 10^-5 cm^-3 and > 9 Mpc, respectively. These numbers strongly suggest that we have detected a warm-hot intergalactic medium in a filament associated with the Virgo cluster.
description: 6 pages, 4 figures. Accepted for publication in PASJ. A reference is added
Trilinear smoothing inequalities and a variant of the triangular Hilbert transform
Creators: name: Christ, Michael
name: Durcik, Polona
name: Roos, Joris
Publisher: name: arXiv
Year: 2020
Subjects: subject: Classical Analysis and ODEs (math.CA)
subject: FOS: Mathematics
subject: 42B15, 42B20, 42B25, 05D10

description: Lebesgue space inequalities are proved for a variant of the triangular Hilbert transform involving curvature. The analysis relies on a crucial trilinear smoothing inequality developed herein, and on bounds for an anisotropic variant of the twisted paraproduct. The trilinear smoothing inequality also leads to Lebesgue space bounds for a corresponding maximal function and a quantitative nonlinear Roth-type theorem concerning patterns in the Euclidean plane.
description: 41 pages. Expanded introduction, changed title
Confirmation of the effectiveness of sub-mm source redshift estimation based on rest-frame radio to FIR photometry
Creators: name: Aretxaga, I.
name: Hughes, D. H.
name: Dunlop, J. S.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present a comparison between the published optical, IR and CO spectroscopic redshifts of 15 (sub-)mm galaxies and their photometric redshifts as derived from long-wavelength (radio-mm-FIR) photometric data. The redshift accuracy measured for 12 sub-mm galaxies with at least one robustly-determined colour in the radio-mm-FIR regime is dz=0.30 (r.m.s.). Despite the wide range of spectral energy distributions in the local galaxies that are used in an un-biased manner as templates, this analysis demonstrates that photometric redshifts can be efficiently derived for sub-mm galaxies with a precision of dz < 0.5 using only the rest-frame FIR to radio wavelength data.
description: submitted to MNRAS (1 object removed from analysis, shortening of paper)
A MAGYAR ÉS A PARTIUMI KÖZÉPISKOLÁSOK ÉLELMISZERFOGYASZTÓI SZOKÁSAINAK ÖSSZEHASONLÍTÓ VIZSGÁLATA, PRIMER KUTATÁS ALAPJÁN
Creators: name: Bakos, Izabella Mária
name: Tamus, Antalné
name: Bakos, Izabella Mária
name: Tamus, Antalné
Publisher: name: Unknown
Year: 2012
Subjects: subject: Food Consumption/Nutrition/Food Safety
subject: Marketing
subject: FOS: Economics and business
subject: piackutatás
subject: standard interjú
subject: fogyasztói magatartás
subject: táplálkozás
subject: egészség
subject: fiatalok
subject: market research
subject: standard interview
subject: consumer behavior
subject: nutrition
subject: health
subject: the young

description: A magyar élelmiszer-gazdaságnak számos kihívással kell szembenéznie. Megítélésünk szerint az iparág versenyképességének egyik lehetséges módja a teljesen új vagy még részben kiaknázatlan piaci rések felkutatása és egyedi igényeik magas hozzáadott értékű kiszolgálása. Ilyen potenciális, kisméretű szegmentumoknak tekintjük a Partiumban élőket, ezért célul tűztük ki a magyar és a partiumi középiskolások élelmiszerfogyasztói magatartásának vizsgálatát. Kitértünk a táplálkozásukat befolyásoló tényezőkre, étkezéseik rendszerességére és minőségére, az egyes élelmiszerek és italok fogyasztási gyakoriságára, a házon kívüli étkezési szokásaikra és az egészséges táplálkozáshoz való viszonyulásukra. Végül annak feltárására törekedtünk, hogy az egyes demográfiai jellemzők milyen mértékben determinálják a fiatalok étkezési szokásait és hogy érdemes-e őket etnikai tulajdonságaik alapján szegmentálni. ------------------------------------------------------------- The Hungarian food industry has to face a lot of challenges. We believe that one possible way of being competitive in this field is to explore totally new or only partially exploited market niches and to satisfy individual needs at a high-value-added level. Those living in Partium are considered to be such potential small segments, that is why we have aimed at examining high school students’ food consumption habits in Hungary and Partium as well. We also deal with those factors that influence their food consumption, with the regularity and quality of their eating, with the frequency of certain foods and beverages consumed, with eating out habits and with their attitude towards healthy diet. Finally, we tried to identify to what extent particular demographic characteristics determine young people’s eating habits and whether it is worth segmenting them on ethnic features.
Compressed Federated Reinforcement Learning with a Generative Model
Creators: name: Beikmohammadi, Ali
name: Khirirat, Sarit
name: Magnússon, Sindri
Publisher: name: arXiv
Year: 2024
Subjects: subject: Distributed, Parallel, and Cluster Computing (cs.DC)
subject: Machine Learning (cs.LG)
subject: Multiagent Systems (cs.MA)
subject: FOS: Computer and information sciences

description: Reinforcement learning has recently gained unprecedented popularity, yet it still grapples with sample inefficiency. Addressing this challenge, federated reinforcement learning (FedRL) has emerged, wherein agents collaboratively learn a single policy by aggregating local estimations. However, this aggregation step incurs significant communication costs. In this paper, we propose CompFedRL, a communication-efficient FedRL approach incorporating both \textit{periodic aggregation} and (direct/error-feedback) compression mechanisms. Specifically, we consider compressed federated $Q$-learning with a generative model setup, where a central server learns an optimal $Q$-function by periodically aggregating compressed $Q$-estimates from local agents. For the first time, we characterize the impact of these two mechanisms (which have remained elusive) by providing a finite-time analysis of our algorithm, demonstrating strong convergence behaviors when utilizing either direct or error-feedback compression. Our bounds indicate improved solution accuracy concerning the number of agents and other federated hyperparameters while simultaneously reducing communication costs. To corroborate our theory, we also conduct in-depth numerical experiments to verify our findings, considering Top-$K$ and Sparsified-$K$ sparsification operators.
description: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2024)
Aid Allocation by German NGOs: Does the Degree of Public Refinancing Matter?
Creators: name: Dreher, Axel
name: Nunnenkamp, Peter
name: Thiel, Susann
name: Thiele, Rainer
Publisher: name: ETH Zurich
Year: 2010
Subjects: NICHTGOUVERNEMENTALE ORGANISATIONEN + NICHTSTAATLICHE ORGANISATIONEN + NICHTREGIERUNGSORGANISATIONEN (KÖRPERSCHAFTEN)
Public refinancing
DEUTSCHLAND (MITTELEUROPA). BUNDESREPUBLIK DEUTSCHLAND
NON-GOVERNMENTAL ORGANISATIONS (ORGANISATIONS)
NGO aid
Aid allocation
ZWISCHENSTAATLICHE WIRTSCHAFTSHILFE
GERMANY (CENTRAL EUROPE). FEDERAL REPUBLIC OF GERMANY
INTERNATIONAL ECONOMIC AID
info:eu-repo/classification/ddc/330
Economics

description: KOF Working Papers, 247
Decay Rate and Low-Energy Near-Horizon Dynamics of Acoustic Black Holes
Creators: name: Kim, Sung-Won
name: Kim, Won Tae
name: Oh, John J.
Publisher: name: arXiv
Year: 2004
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We study the low-energy dynamics of an acoustic black hole near the sonic horizon. For the experimental test of black hole evaporation in the laboratory, the decay rate (greybody factor) of the acoustic black hole (sonic hole) can be calculated by the usual low-energy perturbation method. As a consequence, we obtain the decay rate of the sonic horizon from the absorption and the reflection coefficients. Moreover, we show that the thermal emission from the sonic horizon is only proportional to a control parameter which describes the velocity of the fluid.
description: 13pages, 3figures, RevTeX3, some minors corrected. version to appear in PLB
Additional file 5 of Diet and gut microbiome interactions of relevance for symptoms in irritable bowel syndrome
Creators: name: Tap, Julien
name: Störsrud, Stine
name: Nevé, Boris Le
name: Cotillard, Aurélie
name: Pons, Nicolas
name: Doré, Joël
name: Öhman, Lena
name: Törnblom, Hans
name: Derrien, Muriel
name: Simrén, Magnus
Publisher: name: figshare
Year: 2021
Subjects: subject: Microbiology
subject: FOS: Biological sciences
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: Cancer
subject: Science Policy
subject: 111714 Mental Health
subject: FOS: Health sciences
subject: Computational Biology

description: Additional file 4: Figure S4. CAZotype and enterotype assignment, by individual.
title: Interpolation and local proofs
Creators: name: Gleiss, Bernhard
Publisher: name: TU Wien
Year: 2016
Subjects: subject: program verification
subject: automated reasoning
subject: Craig interpolation

description: In den letzten Jahren hat sich Propositionale Interpolation als einer der Hauptbestandteile der Modellprüfung etabliert. Aus diesem Grund wurde der Konstruktion von Interpolanten große Aufmerksamkeit gewidmet, wodurch eine Vielzahl an Algorithmen, welche Interpolanten aus Beweisen extrahieren, entstand. Einer dieser Ansätze beruht auf der Idee, Interpolanten aus lokalen Beweisen zu konstruieren. Der erste Beitrag dieser Masterarbeit besteht darin, dass wir einen neuen Interpolationsalgorithmus beschreiben, der Interpolanten aus lokalen Beweisen, die in beliebigen korrekten Beweissystemen in Prädikatenlogik formuliert sind, extrahiert. Der neue Algorithmus verbessert den Stand der Technik, indem er kleinere und strukturell einfachere Interpolanten als bestehende Algorithmen generiert und dabei einen intuitiveren Ansatz verwendet. Danach wenden wir uns der Interpolation in Propositionaler Logik zu: Als zweiten Beitrag beschreiben wir eine Beweistransformation, die einen propositionalen Resolutionsbeweis in einen derartigen lokalen Beweisen transformiert, dass wir auf triviale Weise einen Interpolanten extrahieren können. Weiters leiten wir aus der Transformation ein Interpolationssystem ab, das es ermöglicht, den Interpolanten effizient zu berechnen, indem durch Abstraktion die explizite Berechnung der Transformation vermieden wird.
description: Propositional interpolation has become the corner stone of many contemporary model checking algorithms. Consequently, the construction of interpolants has received ample of attention, resulting in a range of interpolation algorithms which derive interpolants from proofs. One such approch is to generate interpolants from proofs of a special form, i.e. from local proofs. As first contribution of this thesis, we give a new interpolation algorithm for local proofs in an arbitrary sound proof system in first-order logic, which improves the state of the art by generating smaller and simpler interpolants using an arguably more intuitive approach than existing algorithms. Afterwards we look at propositional interpolation: As second contribution, we state a proof transformation, which transforms an arbitrary propositional resolution into a special local proof, from which we can trivially extract an interpolant. Finally we derive an interpolation system as abstraction of the transformation, which enables us to efficiently compute the interpolant by avoiding to explicitly perform the proof transformation.
Optimizing Intensive Database Tasks Through Caching Proxy Mechanisms
Creators: name: Moise, Ionut-Alex
name: Băicoianu, Alexandra
Publisher: name: arXiv
Year: 2024
Subjects: subject: Databases (cs.DB)
subject: FOS: Computer and information sciences

description: Web caching is essential for the World Wide Web, saving processing power, bandwidth, and reducing latency. Many proxy caching solutions focus on buffering data from the main server, neglecting cacheable information meant for server writes. Existing systems addressing this issue are often intrusive, requiring modifications to the main application for integration. We identify opportunities for enhancement in conventional caching proxies. This paper explores, designs, and implements a potential prototype for such an application. Our focus is on harnessing a faster bulk-data-write approach compared to single-data-write within the context of relational databases. If a (upload) request matches a specified cacheable URL, then the data will be extracted and buffered on the local disk for later bulk-write. In contrast with already existing caching proxies, Squid, for example, in a similar uploading scenario, the request would simply get redirected, leaving out potential gains such as minimized processing power, lower server load, and bandwidth. After prototyping and testing the suggested application against Squid, concerning data uploads with 1, 100, 1.000, ..., and 100.000 requests, we consistently observed query execution improvements ranging from 5 to 9 times. This enhancement was achieved through buffering and bulk-writing the data, the extent of which depended on the specific test conditions.
description: 8 pages, submitted at conference
«Тут „День“ является пред лицом всего иезуитства как бы представителем православия…»: «Ответ иезуиту отцу Мартынову» в переписке И. С. Аксакова и Ю. Ф. Самарина
Creators: name: Сергей Витальевич Мотин
Publisher: name: Русско-Византийский вестник
Year: 2020
Subjects: переписка И. С. Аксакова и Ю. Ф. Самарина
И. М. Мартынов
«Ответ иезуиту отцу Мартынову»
Н. П. Гиляров-Платонов
Н. С. Соханская
И. С. Гагарин
иезуитство
православие
газета «День»

description: Статья подготовлена на основе переписки И. С. Аксакова и Ю. Ф. Самарина за 1864–1866 гг. — между собой и с другими адресатами: Н. П. Гиляровым-Платоновым, баронессой Э. Ф. Раден, П. Ф. Самариным, Н. С. Соханской, А. Ф. Тютчевой, княгиней Е. А. Черкасской. Уточнены некоторые важные обстоятельства подготовки первой публикации в 1865 г. в славянофильской газете «День» и первого книжного издания 1866 г. — капитального сочинения Самарина «Ответ иезуиту отцу Мартынову» (в книжном варианте: «Иезуиты и их отношение к России»). Использованы фрагменты 18-ти опубликованных писем из личной переписки указанных корреспондентов и двух изданных публичных писем: И. М. Мартынова к Аксакову (1864) и И. С. Гагарина к Самарину (1866). Наиболее содержательное письмо — ответное послание Аксакова к Соханской от 12 сентября 1864 г., в котором славянофил-публицист выступает с подробными разъяснениями о соотношении Церкви и государства на Западе и в России.
Computational bounds to light-matter interactions via local conservation laws
Creators: name: Kuang, Zeyu
name: Miller, Owen D.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: We develop a computational framework for identifying bounds to light-matter interactions, originating from polarization-current-based formulations of local conservation laws embedded in Maxwell's equations. We propose an iterative method for imposing only the maximally violated constraints, enabling rapid convergence to global bounds. Our framework can identify bounds to the minimum size of any scatterer that encodes a specific linear operator, given only its material properties, as we demonstrate for the optical computation of a discrete Fourier transform. It further resolves bounds on far-field scattering properties over any arbitrary bandwidth, where previous bounds diverge.
Causality in Propagation of a Pulse in a Nonlinear Dispersive Medium
Creators: name: Agarwal, G. S.
name: Dey, Tarak Nath
Publisher: name: arXiv
Year: 2004
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate the causal propagation of the pulse through dispersive media by very precise numerical solution of the coupled Maxwell-Bloch equations without any approximations about the strength of the input field. We study full nonlinear behavior of the pulse propagation through solid state media like ruby and alexandrite. We have demonstrated that the information carried by the discontinuity, {\it i.e}, front of the pulse, moves inside the media with velocity $c$ even though the peak of the pulse can travel either with sub-luminal or with super-luminal velocity. We extend the argument of Levi-Civita to prove that the discontinuity would travel with velocity $c$ even in a nonlinear medium.
description: 4 pages, 4 figures, 2 tables
ARCHÍV ANALÓG TÉRKÉPÁLLOMÁNY FELDOLGOZÁSA AZ INSPIRE IRÁNYELV ELŐÍRÁSAINAK MEGFELELŐEN
Creators: name: Bekő, László
name: Bekő, László
Publisher: name: Unknown
Year: 2012
Subjects: subject: Environmental Economics and Policy
subject: Research and Development/Tech Change/Emerging Technologies
subject: INSPIRE direktíva
subject: metaadat
subject: archív térkép
subject: digitalizálás
subject: INSPIRE directive
subject: metadata
subject: archive map
subject: digitizing

description: A térbeli adatok gyűjtése, megosztása, minősége, hozzáférése és azok információvá alakítása kulcskérdés a döntéshozatal számára. Az Európai térbeli adatok általános helyzete az adatforrások, illetve adatbázisok széttagoltságával, hozzáférhetőségi lyukakkal jellemezhető. A tagállamok adatbázisai nincsenek összehangolva. Gyakran duplikált adatgyűjtés folyik. Az INSPIRE (Európai Területi Információs Infrastruktúra) azzal a céllal indult, hogy összegyűjtse és továbbfejlessze a tagállamok térinformatikai és területi adataira vonatkozó szabványokat az EU-s intézkedések tervezése és megvalósítása érdekében a környezet, közlekedés, az energia és a mezőgazdaság terén. Rendkívül sok olyan térbeli adatállomány található a tagországokban, melyek már szinte feledésbe merültek, vagy analóg voltuk miatt nem használják a gyakorlatban. Ilyen analóg térképi adatbázis áll rendelkezésre a Károly Róbert Főiskolán, mely 5 megye közel 2000 darab talajhasznosítási, talajismereti és vízgazdálkodási térképét tartalmazza. Írásomban a nevezett analóg térképi adatbázis feldolgozási folyamatát mutatom be, milyen eljárások során lesz papír alapú, analóg térképekből digitális módszerekkel kezelhető, az INSPIRE irányelv előírásainak megfelelő metaadatbázis. --------------------------------------------------------------------- Collecting and sharing spatial data is very important to successful decision-making. The general situation of spatial data in data sources and database fragmentation, the availability of holes can be characterized. Databases are not harmonized by Member States and data collection is duplicated very often. The INSPIRE directive (2007/2/EC of the European Parliament and of the Council) entered into force on 15 May 2007 and will be implemented in various stages, with full implementation required by 2019. The INSPIRE directive aims to create an Infrastructure for Spatial Information in the European Community by harmonising national spatial data infrastructures. This will enable the sharing of environmental spatial information among public sector organisations and better facilitate public access to spatial information across Europe. A large number of spatial data sourses are not used in practice so they are forgotten in the Member States. The Károly Róbert College have such a database, which contain 2000 pieces of land use, water management and soil maps. The purpose of the current paper is to present the prosessing method (to analog maps to digital maps) of these maps. This method is suitable for making metadata of INSPIRE directive.
Chinese and Western cultural differences in seniors’ attitudes and beliefs concerning hearing loss and related coping strategies
Creators: name: Hsu, Benson Cheng-Lin
Publisher: name: University of British Columbia
Year: 2010

description: Previous research on the psychosocial aspects of the hard-of-hearing populations and cross-cultural studies in other health areas suggested that differences are likely to exist in the ways the Chinese and Western societies view the issues surrounding hearing impairment; however, no previous research has been done to directly compare these two cultures’ attitudes towards hearing loss. Hence, the present study provided exploratory data and analyses to address the question whether Chinese and Western elderly differ in their attitudes and beliefs regarding aspects of hearing loss and related coping strategies in order to help inform best practices in audiology and generate hypotheses for future research. Questionnaire data were obtained from 30 elderly Chinese-Canadians and 30 elderly Euro-Canadians. A subgroup of participants from each cultural group also attended a follow-up interview, where each interviewee was given an opportunity to express the rationales behind choosing a certain level of agreement for a selected subset of items in the questionnaire. Analysis results of the questionnaire data revealed that there were significant / marginally significant mean rating differences between the Chinese and the Western cultural groups for six of the 21 items, and marginally significant differences between the Chinese and the Western subgroups who reported hearing loss were found for two of the 28 items. Results from the compilation of interview data generally supported those obtained from the questionnaire data. However, the interview results also revealed more divergence in the patterns of response between the two cultures where statistical tests failed to find a significant difference and discovered that interviewees from the two cultural groups presented markedly different conceptualizations of several key words used in the questionnaire. In summary, the results of the present study provided partial support for the following hypotheses: Chinese and Western seniors differ in their opinions about 1) the causes of hearing loss and the degree of control they have over its development; 2) factors that might constitute obstacles to using hearing aids; and 3) the helpfulness of family members and the necessity of seeking professional attention in dealing with hearing loss.
title: Application and accuracy of computer simulation for the room acoustical improvement of gastronomic facilities: a case study
Creators: name: Jakic, Nina
Publisher: name: TU Wien
Year: 2016
Subjects: subject: Bauakustik
subject: Raumakustik
subject: Sanierungen
subject: Gastronomie
subject: Simulation
subject: building acoustics
subject: room acoustics
subject: thermal retrofit
subject: gastronomy
subject: simulation

description: Die Atmosphäre in einem Restaurant ist ausschlaggebend für das Wohlbefinden des Gastes und somit auch für den Erfolg des Gastronomen. Viele Parameter haben Einfluss darauf, dazu zählt unter anderem auch die Raumakustik. Geschlossene Räume mit hoher Besucherdichte benötigen genaue akustische Planung, um dann entsprechend dem gastronomischen Konzept auch zum Erfolg zu führen. Mit der vorliegenden Fallstudie werden anhand eines Restaurantumbaus die Möglichkeiten der akustischen Simulation für die Planung untersucht. Hierfür wurden vor Ort Nachhallzeiten vor dem Umbau gemessen, dann wurde ein digitales Model erstellt, welches als Grundlage für die Simulation diente. In einem weiteren Schritt wurde die akustische Simulation durchgeführt und schließlich das Modell mithilfe der Messergebnisse kalibriert. Dieses Modell wurde für die Planung der akustischen Maßnahmen verwendet. Nach der Umsetzung der vorgeschlagenen Maßnahmen wurden erneut Messungen vorgenommen und somit das Model überprüft. Schlussendlich wurden die Ergebnisse analysiert und Vorschläge für eine erfolgreiche akustische Planung mit zu Hilfenahme von Simulation formuliert.
description: The atmosphere in a restaurant is crucial for the economic success of such an establishment. One of the parameters that has great influence on the perception of a space is the acoustics. The present case study investigates the usability and accuracy of acoustics simulation software based on the acoustical improvement of a restaurant characterised by high reverberation times. The restaurant space was modelled in a CAD tool. Subsequently, sound simulations on the basis of ray tracing were conducted. The simulated values were compared to the measured reverberation times and made subject to calibration. The initial simulations showed large deviations from the measured values. These occurred mainly due to the uncertainties of input data such as absorption properties of the used materials. Satisfactory values were obtained after three calibration iterations. Both the calibrated and the non-calibrated computer models were later used for the elaboration of a proposal for the acoustical improvement. After the implementation of the suggested measure new reverberation time measurements were carried out. The target value set for the reverberation time was largely achieved. The measured values were compared with the results from both simulations (non-calibrated and calibrated). The simulation based on the calibrated model proved to be the more accurate one.
Uncertainty Representation and Quantification of 3d Building Models
Creators: name: Zou, Q.
name: Sester, M.
Publisher: name: Katlenburg-Lindau : Copernicus Publications
Year: 2022
Subjects: subject: 3D Map
subject: Integrity
subject: LiDAR
subject: Mobile Mapping
subject: Point Cloud
subject: Uncertainty
subject: Konferenzschrift
subject: Dewey Decimal Classification::500 | Naturwissenschaften::550 | Geowissenschaften

description: The quality of environmental perception is of great interest for localization tasks in autonomous systems. Maps, generated from the sensed information, are often used as additional spatial references in these applications. The quantification of the map uncertainties gives an insight into how reliable and complete the map is, avoiding the potential systematic deviation in pose estimation. Mapping 3D buildings in urban areas using Light detection and ranging (LiDAR) point clouds is a challenging task as it is often subject to uncertain error sources in the real world such as sensor noise and occlusions, which should be well represented in the 3D models for the downstream localization tasks. In this paper, we propose a method to model 3D building façades in complex urban scenes with uncertainty quantification, where the uncertainties of windows and façades are indicated in a probabilistic fashion. The potential locations of the missing objects (here: windows) are inferred by the available data and layout patterns with the Monte Carlo (MC) sampling approach. The proposed 3D building model and uncertainty measures are evaluated using the real-world LiDAR point clouds collected by Riegl Mobile Mapping System. The experimental results show that our uncertainty representation conveys the quality information of the estimated locations and shapes for the modelled map objects.
Another proof of global $F$-regularity of Schubert varieties
Creators: name: Hashimoto, Mitsuyasu
Publisher: name: arXiv
Year: 2004
Subjects: subject: Commutative Algebra (math.AC)
subject: Algebraic Geometry (math.AG)
subject: FOS: Mathematics
subject: 14M15, 13A35

description: Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally $F$-regular. We give another proof.
description: 7pages
Is small-world network disordered?
Creators: name: Roy, Soumen
name: Bhattacharjee, Somendra M.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: Recent renormalization group results predict non self averaging behaviour at criticality for relevant disorder. However, we find strong self averaging(SA) behaviour in the critical region of a quenched Ising model on an ensemble of small-world networks, despite the relevance of the random bonds at the pure critical point.
description: 4 pages, revtex, 4 figures; replaced by the published version to appear in Physics Letters A
The Euro Cash Changeover, Inflation Perceptions and the Media
Creators: name: Lamla, Michael J.
name: Lein, Sarah
Publisher: name: ETH Zurich
Year: 2010
Subjects: EURO (MONETARY SYSTEM)
MONETARY POLICY
INFLATION
EURO (GELDWESEN)
GELDPOLITIK
info:eu-repo/classification/ddc/330
Economics

description: KOF Working Papers, 254
The Serendipitous Extragalactic X-Ray Source Identification (SEXSI) Program: II. Optical Imaging
Creators: name: Eckart, Megan E.
name: Laird, Elise S.
name: Stern, Daniel
name: Mao, Peter H.
name: Helfand, David J.
name: Harrison, Fiona A.
Publisher: name: arXiv
Year: 2004
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The Serendipitous Extragalactic X-ray Source Identification (SEXSI) Program is designed to expand significantly the sample of identified extragalactic hard X-ray sources at intermediate fluxes, 1e-13 erg/cm2/s < S_(2-10 keV) < 1e-15 erg/cm2/s. SEXSI, which includes sources derived from more than 2 sq deg of Chandra images, provides the largest hard X-ray-selected sample yet studied, offering an essential complement to the Chandra Deep Fields (total area ~0.2 sq deg). In this paper we describe R-band optical imaging of the SEXSI fields from the Palomar, MDM, and Keck observatories. We have identified counterparts, or derived flux limits for nearly 1000 hard X-ray sources. Using the optical images, we derive accurate source positions. We investigate correlations between optical and X-ray flux, and optical flux and X-ray hardness ratio. We also study the density of optical sources surrounding X-ray counterparts, as well as the properties of optically-faint, hard X-ray sources.
description: 30 pages, 8 figures; accepted to ApJS
title: Ways of Knowing: developing the Mosaic approach with young children and adults
Creators: name: Clark, Alison
Publisher: name: The Open University
Year: 2012

description: This PhD by Published Work dissertation provides a summary of a programme of research on the theme of listening to young participant perspectives. It is based on twelve core publications during the period 2001 to 2011. The selected publications are composed of a single authored book (Clark, 2010b); two joint-authored books (Clark and Moss, 2001; Clarka nd Moss, 2005); five peer-reviewed journal articles (Clark, 2005a; 2010a; 2010c; 2011a; 2011b) two book chapters (Clark, 2005b; Clark, 2005c) and two co-authored pieces (Moss, Clark, and Kjørholt, 2005; Clark and Percy-Smith, 2006). These texts have been chosen to demonstrate the development of this research under the following headings: establishing the paradigm; conceptural and critical analysis; extending methodologies and new research landscapes.