cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
RP-Rewriter: An Optimized Rewriter for Large Terms in ACL2
Creators: name: Temel, Mertcan
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Hardware Architecture (cs.AR)
subject: FOS: Computer and information sciences

description: RP-Rewriter (Retain-Property) is a verified clause processor that can use some of the existing ACL2 rewrite rules to prove conjectures through term rewriting. Optimized for conjectures that can expand into large terms, the rewriter tries to mimic some of the ACL2 rewriting heuristics but also adds some extra features. It can attach side-conditions to terms that help the rewriter retain properties about them and prevent possibly some very expensive backchaining. The rewriter supports user-defined complex meta rules that can return a special structure to prevent redundant rewriting. Additionally, it can store fast alists even when values are not quoted. RP-Rewriter is utilized for two applications, multiplier design proofs and SVEX simplification, which involve very large terms.
description: In Proceedings ACL2 2020, arXiv:2009.12521
title: Цветообозначения в корейской поэзии и современной русской поэзии (на примере ярославского поэта Константина Васильева): типологическое сопоставление
Creators: name: Аманова, Гулистан
Publisher: name: Новгородский государственный университет имени Ярослава Мудрого (НовГУ)
Year: 2021

description: Рассматриваются особенности цветообозначения в классической поэзии Кореи и в стихах поэта конца ХХ в. Константина Васильева. Исследуются функции колористической символики в поэтическом тексте. В последовательности рассматривается символика отдельных цветов. Так, например, белый, обозначающий цвет птицы говорит о вечности бытия, а желтый в сочетании с цветком является символом стойкости, терпения, мудрости, власти. Один из приемов, рассматриваемый в статье — прием сопоставления, который помогает проявить символику и национальную специфику поэтических образов. Современная поэзия проигрывает в устойчивости символики цветов, но выигрывает в разнообразии, что хорошо заметно в поэзии К.Васильева.
Colored $1/f^α$ noise and the Order to Chaos Transition in Quantum Mechanics
Creators: name: Salasnich, Luca
Publisher: name: arXiv
Year: 2005
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: The spectral statistic $δ_n$ measures the fluctuations of the number of energy levels around its mean value. It has been shown that chaotic quantum systems display $1/f$ noise (pink noise) in the power spectrum $S(f)$ of the $δ_n$ statistic, whereas integrable ones exibit $1/f^2$ noise (brown noise). These results have been explained on the basis of the random matrix theory and periodic orbit theory. Recently we have analyzed the order to chaos transition in terms of the power spectrum $S(f)$ by using the Robnik billiard (Phys. Rev. Lett. {\bf 94}, 084101 (2005)). We have numerically found a net power law $1/f^α$, with $1\leq α\leq 2$, at all the transition stages. Similar results have been obtained by Santhanam and Bandyopadhyay (Phys. Rev. Lett. {\bf 95}, 114101 (2005)) analyzing two coupled quartic oscillators and a quantum kicked top. All these numerical results suggest that the exponent $α$ is related to the chaotic component of the classical phase space of the quantum billiard, but a satisfactory theoretical explanation is still lacking.
description: 3 pages, 3 figures. Presented to the School/Workshop 'Let us Face Chaos', Maribor 2005. To be published in the Proceedings
Role of WTO in the Promotion of Trade and IPR in Afghanistan
Creators: name: Magoge, Jackson Simango
name: Hashimy, Sayed Qudrat
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 480308
subject: International trade and investment law
classificationCode: 480603
subject: Intellectual property law
classificationCode: 480102
subject: Commercial law

description: Accession to the World trade organization provided Afghanistan a platform to resolve its transit-related problems via this organization. The assessment of the impact of the World trade organization agreement can result in a dynamic capability that enables the country to respond to uncertain and changing business environments and to sustain its trade activities globally. The outcome and gaps can lead Afghanistan to work efficiently to enhance export, reduce imports and protect IPR regimes. The study reveals a lack of available and reliable research concerning trade and IPR protection in Afghanistan. It makes it challenging to integrate information and draw an interpretation about the impact of WTO on trade and IPR. The study’s objectives are to review the WTO agreement of business and IPR with Afghanistan and analyze the future scope of the WTO agreement on the economy of Afghanistan.
Potential Models and Lattice Gauge Current-Current Correlators
Creators: name: Wong, Cheuk-Yin
name: Crater, Horace W.
Publisher: name: arXiv
Year: 2006
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: High Energy Physics - Lattice (hep-lat)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: We compare current-current correlators in lattice gauge calculations with correlators in different potential models, for a pseudoscalar charmonium in the quark-gluon plasma. An important ingredient in the evaluation of the current-current correlator in the potential model is the basic principle that out of the set of continuum states, only resonance states and Gamow states with lifetimes of sufficient magnitudes can propagate as composite objects and can contribute to the current-current correlator. When the contributions from the bound states and continuum states are properly treated, the potential model current-current correlators obtained with the potential proposed in Ref. [11] are consistent with the lattice gauge correlators. The proposed potential model thus gains support to be a useful tool to complement lattice gauge calculations for the study of $Q\bar Q$ states at high temperatures.
description: 18 pages, 4 figures, to be published in Physcial Review D
Transcription of a story about pigs escaping
Creators: name: Parker, Verdena
name: Spence, Justin
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: hup

description: Audio file VP-031019-07: Transcription of a story about some pigs escaping, file VP-200317-03, from 3:06 to the end of the Hupa portion at 6:04.
Role of WTO in the Promotion of Trade and IPR in Afghanistan
Creators: name: Magoge, Jackson Simango
name: Hashimy, Sayed Qudrat
Publisher: name: figshare
Year: 2024
Subjects: classificationCode: 480308
subject: International trade and investment law

description: Accession to the World trade organization provided Afghanistan a platform to resolve its transit-related problems via this organization. The assessment of the impact of the World trade organization agreement can result in a dynamic capability that enables the country to respond to uncertain and changing business environments and to sustain its trade activities globally. The outcome and gaps can lead Afghanistan to work efficiently to enhance export, reduce imports and protect IPR regimes. The study reveals a lack of available and reliable research concerning trade and IPR protection in Afghanistan. It makes it challenging to integrate information and draw an interpretation about the impact of WTO on trade and IPR. The study’s objectives are to review the WTO agreement of business and IPR with Afghanistan and analyze the future scope of the WTO agreement on the economy of Afghanistan.
title: Borders in Motion: An application related to the video game Animal Crossing: New Horizons
Creators: name: Benti, Behailu Shiferaw
name: Stadtmann, Georg
Publisher: name: Europa-Universität Viadrina Frankfurt
Year: 2021

description: In 2020, the video game Animal Crossing: New Horizons was listed among the top ten in terms of revenue. We analyze the game by relying on an interdisciplinary framework of border studies. Borders can be interpreted not only in a geographical sense but also in terms of a temporal dimension as well as a cultural dimension. We highlight how the game blurs the borders between the real and virtual world.
description: Discussion papers of the Faculty of Business Administration and Economics; 423
Estimating Mixed Memberships with Sharp Eigenvector Deviations
Creators: name: Mao, Xueyu
name: Sarkar, Purnamrita
name: Chakrabarti, Deepayan
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Ecology
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Computational Biology

description: We consider the problem of estimating community memberships of nodes in a network, where every node is associated with a vector determining its degree of membership in each community. Existing provably consistent algorithms often require strong assumptions about the population, are computationally expensive, and only provide an overall error bound for the whole community membership matrix. This paper provides uniform rates of convergence for the inferred community membership vector of each node in a network generated from the Mixed Membership Stochastic Blockmodel (MMSB); to our knowledge, this is the first work to establish per-node rates for overlapping community detection in networks. We achieve this by establishing sharp row-wise eigenvector deviation bounds for MMSB. Based on the simplex structure inherent in the eigen-decomposition of the population matrix, we build on established corner-finding algorithms from the optimization community to infer the community membership vectors. Our results hold over a broad parameter regime where the average degree only grows poly-logarithmically with the number of nodes. Using experiments with simulated and real datasets, we show that our method achieves better error with lower variability over competing methods, and processes real world networks of up to 100,000 nodes within tens of seconds.
Connecting turbulent velocities and magnetic fields in galaxy cluster simulations with active galactic nuclei jets
Creators: name: Ehlert, Kristian
name: Weinberger, Rainer
name: Pfrommer, Christoph
name: Springel, Volker
Publisher: name: arXiv
Year: 2020
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: The study of velocity fields of the hot gas in galaxy clusters can help to unravel details of microphysics on small-scales and to decipher the nature of feedback by active galactic nuclei (AGN). Likewise, magnetic fields as traced by Faraday rotation measurements (RMs) inform about their impact on gas dynamics as well as on cosmic ray production and transport. We investigate the inherent relationship between large-scale gas kinematics and magnetic fields through non-radiative magnetohydrodynamical simulations of the creation, evolution and disruption of AGN jet-inflated lobes in an isolated Perseus-like galaxy cluster, with and without pre-existing turbulence. In particular, we connect cluster velocity measurements with mock RM maps to highlight their underlying physical connection, which opens up the possibility of comparing turbulence levels in two different observables. For single jet outbursts, we find only a local impact on the velocity field, i.e. the associated increase in velocity dispersion is not volume-filling. Furthermore, in a setup with pre-existing turbulence, this increase in velocity dispersion is largely hidden. We use mock X-ray observations to show that at arcmin resolution, the velocity dispersion is therefore dominated by existing large-scale turbulence and is only minimally altered by the presence of a jet. For the velocity structure of central gas uplifted by buoyantly rising lobes, we find fast, coherent outflows with low velocity dispersion. Our results highlight that projected velocity distributions show complex structures which pose challenges for the interpretation of observations.
description: 19 pages, 9 figures, submitted to MNRS. Comments welcome!
Tafferner, Andrea: Gottes- und Nächstenliebe in der deutschsprachigen Theologie des 20. Jahrhunderts
Creators: name: Rehm, Johannes
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 44 Nr. 3 (1995): Ökumenische Rundschau, Band 44, Heft 3
The Augmented Synthetic Control Method*
Creators: name: Ben-Michael, Eli
name: Feller, Avi
name: Rothstein, Jesse
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Biotechnology
subject: 39999 Chemical Sciences not elsewhere classified
subject: FOS: Chemical sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Cancer
subject: Plant Biology

description: The synthetic control method (SCM) is a popular approach for estimating the impact of a treatment on a single unit in panel data settings. The “synthetic control” is a weighted average of control units that balances the treated unit’s pre-treatment outcomes and other covariates as closely as possible. A critical feature of the original proposal is to use SCM only when the fit on pre-treatment outcomes is excellent. We propose Augmented SCM as an extension of SCM to settings where such pre-treatment fit is infeasible. Analogous to bias correction for inexact matching, Augmented SCM uses an outcome model to estimate the bias due to imperfect pre-treatment fit and then de-biases the original SCM estimate. Our main proposal, which uses ridge regression as the outcome model, directly controls pre-treatment fit while minimizing extrapolation from the convex hull. This estimator can also be expressed as a solution to a modified synthetic controls problem that allows negative weights on some donor units. We bound the estimation error of this approach under different data generating processes, including a linear factor model, and show how regularization helps to avoid over-fitting to noise. We demonstrate gains from Augmented SCM with extensive simulation studies and apply this framework to estimate the impact of the 2012 Kansas tax cuts on economic growth. We implement the proposed method in the new augsynth R package.
Pion-nucleus total cross-sections
Creators: name: Yang, Yi
Publisher: name: University of British Columbia
Year: 2009

description: In this work we present a method for analytically calculating the total cross section of π— nucleus scattering. The momentum space approach is used. An optical potential is obtained using the Kerman-McManus-Thaler(KMT) multiple scattering formalism. Lippmann-Schwinger equation in momentum space is solved by a numerical method. This formalism includes the spin flip term and fermi motion averaging with 3-body kinematics. The calculation results of our code are in excellent agreement with the experimental data of π⁻¹²C scattering in the energy region 80 MeV ~ 280 MeV. Compared to other similar methods, our results better reproduce the π⁻¹²C resonance peak. It predicts the correct energy of the resonance peak, and gives scattering amplitudes which agree with the experimental data within 1%.
Induced top Yukawa coupling and suppressed Higgs mass parameters
Creators: name: Kobayashi, Tatsuo
name: Nakano, Hiroaki
name: Terao, Haruhiko
Publisher: name: arXiv
Year: 2005
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In the scenarios with heavy top squarks, mass parameters of the Higgs field must be fine-tuned due to a large logarithmic correction to the soft scalar mass. We consider a new possibility that the top Yukawa coupling is small above TeV scale. The large top mass is induced from strong Yukawa interaction of the Higgs with another gauge sector, in which supersymmetry breaking parameters are given to be small. Then it is found that the logarithmic correction to the Higgs soft scalar mass is suppressed in spite of the strong coupling and the fine-tuning is ameliorated. We propose an explicit model coupled to a superconformal gauge theory which realizes the above situation.
description: RevTeX4 style, 10 pages, 3 figures
Smooth backfitting of proportional hazards with multiplicative components
Creators: name: Hiabu, Munir
name: Mammen, Enno
name: Martínez-Miranda, M. Dolores
name: Nielsen, Jens P.
Publisher: name: Taylor & Francis
Year: 2020
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: Neuroscience
subject: Biotechnology
subject: Ecology
subject: 69999 Biological Sciences not elsewhere classified
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Marine Biology
subject: Cancer
subject: Inorganic Chemistry
subject: FOS: Chemical sciences
subject: Science Policy

description: Smooth backfitting has proven to have a number of theoretical and practical advantages in structured regression. By projecting the data down onto the structured space of interest smooth backfitting provides a direct link between data and estimator. This paper introduces the ideas of smooth backfitting to survival analysis in a proportional hazard model, where we assume an underlying conditional hazard with multiplicative components. We develop asymptotic theory for the estimator. In a comprehensive simulation study we show that our smooth backfitting estimator successfully circumvents the curse of dimensionality and outperforms existing estimators. This is especially the case in difficult situations like high number of covariates and/or high correlation between the covariates, where other estimators tend to break down. We use the smooth backfitter in a practical application where we extend recent advances of in-sample forecasting methodology by allowing more information to be incorporated, while still obeying the structured requirements of in-sample forecasting.
The formation of an atypical sunspot light bridge as a result of large-scale flux emergence
Creators: name: Louis, Rohan E.
name: Beck, Christian
name: Choudhary, Debi P.
Publisher: name: arXiv
Year: 2020
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We use a combination of full-disk data from the Solar Dynamics Observatory and high-resolution data from the Dunn Solar Telescope (DST) to study the formation, structure, and evolution of an atypical light bridge (LB) in a regular sunspot. The LB results from the emergence of magnetic flux with one footpoint rooted in a pore outside the parent sunspot that appears about 17 hrs before the LB. The pore has a polarity opposite to that of the sunspot and recedes away from it at a speed of about 0.4 km/s. This is accompanied by the development of an elongated magnetic channel in the outer penumbra which triggers the formation of the LB when it reaches the inner penumbral boundary. The LB is a nearly horizontal structure with a field strength of about 1.2 kG that exhibits long-lived photospheric blue-shifts of about 0.85 km/s along its entire length.The emergence of the LB leads to dynamic surges in the chromosphere and transition region about 13 min later. We derived the photospheric and chromospheric structure of the LB in the DST data from spectral line parameters and inversions of He i at 1083 nm, Si i at 1082.7 nm, Ca ii IR at 854 nm and Halpha at 656 nm, and speckle-reconstructed imaging at 700 nm and 430 nm. The LB shows an elongated filamentary shape in the photosphere without lateral extrusions. The thermal inversion of Ca ii IR reveals the LB to be about 600-800 K hotter than the umbra. Different sections of the LB are elevated to heights between 400 and 700 km. Our results indicate that the LB formation is part of a flux emergence event with the LB envelope reaching a height of about 29 Mm before dissolving after about 13 hr. We suggest that the existence of persistent, large-scale photospheric blue-shifts in LBs is the most likely criterion to distinguish between flux emergence events and overturning convection in field-free umbral intrusions.
description: Accepted for Publication in The Astrophysical Journal; 24 pages, 20 figures, 1 table
title: Neutrons at ESS-Bilbao: From Production to Utilisation
Creators: name: De Vicente, JP
name: Fernandez-Alonso, F
name: Sordo, F
name: Bermejo, F J
Publisher: name: STFC
Year: 2013

description: Collaborative efforts between the Neutronics and Target Design Group at the Instituto de Fusión Nuclear and the Molecular Spectroscopy Group at the ISIS Pulsed Neutron and Muon Source date back to 2012 in the context of the ESS-Bilbao project. The rationale for these joint activities was twofold, namely: to assess the realm of applicability of the low-energy neutron source proposed by ESS-Bilbao; and to explore instrument capabilities for pulsed-neutron techniques in the range 0.05-3 ms, a time range where ESS-Bilbao and ISIS could offer a significant degree of synergy and complementarity. As part of this collaboration, J.P. de Vicente has spent a three-month period within the ISIS Molecular Spectroscopy Group, to gain hands-on experience on the practical aspects of neutron-instrument design and the requisite neutron-transport simulations. Building upon these previous works, the primary aim of this report is to provide a selfcontained discussion of general criteria for instrument selection at ESS-Bilbao, the first accelerator-driven, low-energy neutron source designed in Spain.
Next-to-Leading Order QCD Corrections to the Direct Top Quark Production via Model-independent FCNC Couplings at Hadron Colliders
Creators: name: Liu, Jian Jun
name: Li, Chong Sheng
name: Yang, Li Lin
name: Jin, Li Gang
Publisher: name: arXiv
Year: 2005
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: We calculated the next-to-leading order (NLO) QCD corrections to the cross sections for direct top quark productions induced by model--independent flavour changing neutral current couplings at hadron colliders. The NLO results increase the experimental sensitivity to the anomalous couplings. Our results show that the NLO QCD corrections enhance the leading order (LO) total cross sections at the Tevatron Run 2 about 60% for both of $κ_{tc}^g$ and $κ_{tu}^g$ couplings, and enhance the LO total cross sections at the LHC about 40% for $κ_{tc}^g$ couplings and 50% for $κ_{tu}^g$ couplings, respectively. Moreover, the NLO QCD corrections vastly reduce the dependence of the total cross sections on the renormalization or factorization scale, which leads to increased confidence in predictions based on these results.
description: 15 pages, 4 figures; published version
Counterfactual Analysis with Artificial Controls: Inference, High Dimensions and Nonstationarity
Creators: name: Masini, Ricardo
name: Medeiros, Marcelo C.
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Biotechnology
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics
subject: Developmental Biology
subject: Plant Biology

description: Recently, there has been growing interest in developing statistical tools to conduct counterfactual analysis with aggregate data when a single “treated” unit suffers an intervention, such as a policy change, and there is no obvious control group. Usually, the proposed methods are based on the construction of an artificial counterfactual from a pool of “untreated” peers, organized in a panel data structure. In this paper, we consider a general framework for counterfactual analysis for high-dimensional, nonstationary data with either deterministic and/or stochastic trends, which nests well-established methods, such as the synthetic control. We propose a resampling procedure to test intervention effects that does not rely on postintervention asymptotics and that can be used even if there is only a single observation after the intervention. A simulation study is provided as well as an empirical application.
Non-local Wess-Zumino Model on Nilpotent Noncommutative Superspace
Creators: name: Kobayashi, Yoshishige
name: Sasaki, Shin
Publisher: name: arXiv
Year: 2005
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We investigate the theory of the bosonic-fermionic noncommutativity, $[x^μ,θ^α] = i λ^{μα}$, and the Wess-Zumino model deformed by the noncommutativity. Such noncommutativity links well-known space-time noncommutativity to superspace non-anticommutativity. The deformation has the nilpotency. We can explicitly evaluate noncommutative effect in terms of new interactions between component fields. The interaction terms that have Grassmann couplings are induced. The noncommutativity does completely break full $\mathcal{N}=1$ supersymmetry to $ \mathcal{N} = 0 $ theory in Minkowski signature. Similar to the space-time noncommutativity, this theory has higher derivative terms and becomes non-local theory. However this non-locality is milder than the space-time noncommutative field theory. Due to the nilpotent feature of the coupling constants, we find that there are only finite number of Feynman diagrams that give noncommutative corrections at each loop order.
description: Latex, 16 pages, 2 figures, typos corrected, some references and comments on auxiliary field added, a figure replaced, English refined
Quadratic Extensions in ACL2
Creators: name: Gamboa, Ruben
name: Cowles, John
name: Gamboa, Woodrow
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Given a field K, a quadratic extension field L is an extension of K that can be generated from K by adding a root of a quadratic polynomial with coefficients in K. This paper shows how ACL2(r) can be used to reason about chains of quadratic extension fields Q = K_0, K_1, K_2, ..., where each K_i+1 is a quadratic extension field of K_i. Moreover, we show that some specific numbers, such as the cube root of 2 and the cosine of pi/9, cannot belong to any of the K_i, simply because of the structure of quadratic extension fields. In particular, this is used to show that the cube root of 2 and cosine of pi/9 are not rational.
description: In Proceedings ACL2 2020, arXiv:2009.12521
title: Стихотворение А.С.Пушкина «Клеопатра»: биографический контекст и литературная традиция
Creators: name: Астафьева, Ольга
Publisher: name: Новгородский государственный университет имени Ярослава Мудрого (НовГУ)
Year: 2021

description: Статья посвящена стихотворению Пушкина «Клеопатра», которое создано осенью 1824 года, в один из самых драматичных периодов биографии поэта. Пушкинская трактовка образа знаменитой египтянки, прославленной как игрой роковых страстей, так и героическим самоубийством, рассматривается в двух аспектах. С одной стороны — на фоне литературной традиции изображения Клеопатры, от античных авторов, поэтов, ее современников и древнеримских историков — до Шекспира. С другой стороны — стихотворение вводится в контекст лирического и эпистолярного наследия поэта периода Михайловской ссылки.
Prediction Intervals for Synthetic Control Methods
Creators: name: Cattaneo, Matias D.
name: Feng, Yingjie
name: Titiunik, Rocio
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: 80699 Information Systems not elsewhere classified
subject: FOS: Computer and information sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Uncertainty quantification is a fundamental problem in the analysis and interpretation of synthetic control (SC) methods. We develop conditional prediction intervals in the SC framework, and provide conditions under which these intervals offer finite-sample probability guarantees. Our method allows for covariate adjustment and nonstationary data. The construction begins by noting that the statistical uncertainty of the SC prediction is governed by two distinct sources of randomness: one coming from the construction of the (likely misspecified) SC weights in the pretreatment period, and the other coming from the unobservable stochastic error in the post-treatment period when the treatment effect is analyzed. Accordingly, our proposed prediction intervals are constructed taking into account both sources of randomness. For implementation, we propose a simulation-based approach along with finite-sample-based probability bound arguments, naturally leading to principled sensitivity analysis methods. We illustrate the numerical performance of our methods using empirical applications and a small simulation study. Python, R and Stata software packages implementing our methodology are available. Supplementary materials for this article are available online.
Disk heating by more than one spiral density wave
Creators: name: Minchev, I.
name: Quillen, A. C.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We consider a differentially rotating, 2D stellar disk perturbed by two steady state spiral density waves moving at different patterns speeds. Our investigation is based on direct numerical integration of initially circular test-particle orbits. We examine a range of spiral strengths and spiral speeds and show that stars in this time dependent gravitational field can be heated (their random motions increased).This is particularly noticeable in the simultaneous propagation of a 2-armed spiral density wave near the corotation resonance (CR), and a weak 4-armed one near the inner and outer 4:1 Lindblad resonances. In simulations with 2 spiral waves moving at different pattern speeds we find: (1) the variance of the radial velocity, sigma_R^2, exceeds the sum of the variances measured from simulations with each individual pattern; (2) sigma_R^2 can grow with time throughout the entire simulation; (3) sigma_R^2 is increased over a wider range of radii compared to that seen with one spiral pattern; (4) particles diffuse radially in real space whereas they don't when only one spiral density wave is present. Near the CR with the stronger, 2-armed pattern, test particles are observed to migrate radially. These effects take place at or near resonances of both spirals so we interpret them as the result of stochastic motions. This provides a possible new mechanism for increasing the stellar velocity dispersion in galactic disks. If multiple spiral patterns are present in the Galaxy we predict that there should be large variations in the stellar velocity dispersion as a function of radius.
description: 20 pages, 13 figures. Submitted to MNRAS
Core Mass Function: The Role of Gravity
Creators: name: Dib, Sami
name: Brandenburg, Axel
name: Kim, Jongsoo
name: Gopinathan, Maheswar
name: Andre, Philippe
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We analyze the mass distribution of cores formed in an isothermal, magnetized, turbulent, and self-gravitating nearly critical molecular cloud model. Cores are identified at two density threshold levels. Our main results are that the presence of self-gravity modifies the slopes of the core mass function (CMF) at the high mass end. At low thresholds, the slope is shallower than the one predicted by pure turbulent fragmentation. The shallowness of the slope is due to the effects of core coalescence and gas accretion. Most importantly, the slope of the CMF at the high mass end steepens when cores are selected at higher density thresholds, or alternatively, if the CMF is fitted with a log-normal function, the width of the lognormal distribution decreases with increasing threshold. This is due to the fact that gravity plays a more important role in denser structures selected at higher density threshold and leads to the conclusion that the role of gravity is essential in generating a CMF that bears more resemblance with the IMF when cores are selected with an increasing density threshold in the observations.
description: 13 pages, 4 figures, accepted to ApJ Letters. An additional simulation has been added. The sign of the beta values in Fig. 1 changed to fit their definition in the text. The main conclusions, however unchanged, are better clarified
Clustering Efficiency Comparison of Outliers Data in Data Mining
Creators: name: Natthawan Phonchan
Publisher: name: Thammasat University
Year: 2020
Subjects: average-linkage clustering
single-linkage clustering
complete-linkage clustering
outlier
Chebyshev distance
Manhattan distance
Euclidean distance
k-mean clustering

description: Thai Journal of Science and Technology, 9, 5, 589-602
Prediction Intervals for Synthetic Control Methods*
Creators: name: Cattaneo, Matias D.
name: Feng, Yingjie
name: Titiunik, Rocio
Publisher: name: Taylor & Francis
Year: 2021
Subjects: subject: Medicine
subject: Genetics
subject: FOS: Biological sciences
subject: 19999 Mathematical Sciences not elsewhere classified
subject: FOS: Mathematics

description: Uncertainty quantification is a fundamental problem in the analysis and interpretation of synthetic control (SC) methods. We develop conditional prediction intervals in the SC framework, and provide conditions under which these intervals offer finite-sample probability guarantees. Our method allows for covariate adjustment and non-stationary data. The construction begins by noting that the statistical uncertainty of the SC prediction is governed by two distinct sources of randomness: one coming from the construction of the (likely misspecified) SC weights in the pre-treatment period, and the other coming from the unobservable stochastic error in the post-treatment period when the treatment effect is analyzed. Accordingly, our proposed prediction intervals are constructed taking into account both sources of randomness. For implementation, we propose a simulation-based approach along with finite-sample-based probability bound arguments, naturally leading to principled sensitivity analysis methods. We illustrate the numerical performance of our methods using empirical applications and a small simulation study. Python, R and Stata software packages implementing our methodology are available.
title: Um olhar sobre a grande prematuridade: a investigação com bebés nascidos com menos de 32 semanas de gestação
Creators: name: Antunes, Sandra
name: Fuertes, Marina
name: Moreira, João
Publisher: name: Escola Superior de Educação, Instituto Politécnico de Lisboa
Year: 2021

description: 	Os bebés de pré-termo (com menos de 32 semanas) ou com muito baixo peso ao nascer (abaixo dos 1500g) apresentam um risco agravado de problemas de saúde e constitucionais, capazes de afetar o seu desenvolvimento. A taxa de sobrevivência de bebés com grande e extrema prematuridade aumentou na última década, com a melhoria dos cuidados peri e neonatais. Contudo, estes bebés enfrentam um significativo conjunto de problemas durante a fase perinatal, que podem fazer perigar a sua sobrevivência e qualidade de vida. Neste sentido, importa rever o estado de arte sobre a grande prematuridade e sumariar o conhecimento atual em relação às causas e consequências do parto prematuro, assim como aos fatores que podem moderar essas consequências. No presente artigo, o desenvolvimento psicológico dos bebés de pré-termo, com menos de 32 semanas de gestação, é abordado em quatro domínios – desenvolvimento cognitivo, desenvolvimento emocional e comportamental, desenvolvimento social e adaptação escolar – dando-se especial ênfase aos aspetos que mais influenciam a sua qualidade de vida. Espera-se que esta revisão de literatura contribua para um melhor conhecimento sobre o desenvolvimento do bebé pré-termo e para a compreensão do papel da família nesse percurso.
Elicitation of verb paradigms from unpublished Goddard material
Creators: name: Parker, Verdena
name: Spence, Justin
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: hup

description: Audio file VP-031019-06: Verb paradigm elicitation based on unpublished material transcribed by P.E. Goddard (Bancroft Library CU-23.1 12.14.1, file 2184-12 (4).pdf).
Re-transcription of texts told by Stella Jarnaghan
Creators: name: Parker, Verdena
name: Spence, Justin
Publisher: name: California Language Archive, University of California, Berkeley
Year: 2021
Subjects: subject: hup

description: Audio files VP-031019-04 and VP-031019-05: Re-transcription and translation of texts told by Stella Jarnaghan to Mary Woodward in 1953, archived at the Survey of California and Other Indian Languages (Woodward.002.002), Text 20, p. 5 (VP-031019-04) and Text 21, pp. 6-7 (VP-031019-05).
Generating Mutually Inductive Theorems from Concise Descriptions
Creators: name: Swords, Sol
Publisher: name: arXiv
Year: 2020
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences
subject: I.2.3; F.4.1

description: We describe defret-mutual-generate, a utility for proving ACL2 theorems about large mutually recursive cliques of functions. This builds on previous tools such as defret-mutual and make-flag, which automate parts of the process but still require a theorem body to be written out for each function in the clique. For large cliques, this tends to mean that certain common hypotheses and conclusions are repeated many times, making proofs difficult to read, write, and maintain. This utility automates several of the most common patterns that occur in these forms, such as including hypotheses based on formal names or types. Its input language is rich enough to support forms that have some common parts and some unique parts per function. One application of defret-mutual-generate has been to support proofs about the FGL rewriter, which consists of a mutually recursive clique of 49 functions. The use of this utility reduced the size of the forms that express theorems about this clique by an order of magnitude. It also greatly has reduced the need to edit theorem forms when changing definitions in the clique, even when adding or removing functions.
description: In Proceedings ACL2 2020, arXiv:2009.12521
Klaiber, Walter; Marquardt, Manfred: Gelebte Gnade
Creators: name: Ritschl, Dietrich
Publisher: name: Ökumenische Rundschau
Year: 2025

description: Ökumenische Rundschau, Bd. 44 Nr. 3 (1995): Ökumenische Rundschau, Band 44, Heft 3
Discovery of a tight correlation among the prompt emission properties of long Gamma Ray Bursts
Creators: name: Firmani, C.
name: Ghisellini, G.
name: Avila-Reese, V.
name: Ghirlanda, G.
Publisher: name: arXiv
Year: 2006
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We report the discovery of a correlation among three prompt emission properties of GRBs. These are the isotropic peak luminosity L_iso, the peak energy of the time-integrated prompt emission spectrum E_pk, and the ``high signal" timescale T_0.45, previously used to characterize the variability behavior of bursts. In the rest frame of the source the found correlation reads L_iso\propto E_pk^1.62 T_0.45^-0.49. We find other strong correlations, but at the cost of increasing the number of variables, involving the variability and the isotropic energy of the prompt emission. With respect to the previous tight correlations found in GRBs the newly found correlation does not require any information from the afterglow phase of the bursts, nor any model-dependent assumption. In the popular scenario in which we are receiving beamed radiation originating in a fireball pointing at us, the found correlation preserves its form in the comoving frame. This helps to explain the small scatter of the correlation, and underlines the role of the local brightness (i.e. the brightness of the visible fraction of the fireball surface). This correlation has been found for 19 objects, and it is hard to establish if any selection bias affects it. Its connection with the prompt local brightness is promising, but a solid physical understanding is still to be found. Despite all that, we find that some properties of the correlation, which we discuss, support its true existence, and this has important implications for the GRB physics. Furthermore, it is possible to use such correlation as an accurate redshift estimator, and its tightness will allow us to use it as a tool to constrain the cosmological parameters (abridged)
description: 15 pages, 8 figures included. To appear in MNRAS
GIS-Based Network Analysis for Vehicle Routing Problem Management of the Jasmine Rice Transportation Route:ACase Study of RoiEt Province
Creators: name: Thanyarat Chaiyakarm
Publisher: name: Thammasat University
Year: 2020
Subjects: network analysis
transportation
route planning for vehicle
Jasmine rice
RoiEt provinc

description: Thai Journal of Science and Technology, 9, 5, 617-629
Quantum tunneling of the Neel vector in antiferromagnetic [3 x 3] grid molecules
Creators: name: Waldmann, O.
Publisher: name: arXiv
Year: 2005
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: Based on numerical calculations it is shown that the antiferromagnetic grid molecule Mn-[3 x 3] is a very promising candidate to experimentally detect the phenomenon of quantum tunneling of the Neel vector.
description: 4 pages, 3 figures, REVTEX 4, to appear in PRB
Molecular Chemical Engines: Pseudo-Static Processes and the Mechanism of Energy Transduction
Creators: name: Sasaki, Kazuo
Publisher: name: arXiv
Year: 2005
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: FOS: Physical sciences

description: We propose a simple theoretical model for a molecular chemical engine that catalyzes a chemical reaction and converts the free energy released by the reaction into mechanical work. Binding and unbinding processes of reactant and product molecules to and from the engine are explicitly taken into account. The work delivered by the engine is calculated analytically for infinitely slow (``pseudo-static'') processes, which can be reversible (quasi-static) or irreversible, controlled by an external agent. It is shown that the work larger than the maximum value limited by the second law of thermodynamics can be obtained in a single cycle of operation by chance, although the statistical average of the work never exceeds this limit and the maximum work is delivered if the process is reversible. The mechanism of the energy transductionis also discussed.
description: 8 pages, 3 figues, submitted to J. Phys. Soc. Jpn
Planar Arrays of Superheated Superconductors: fabrication, testing, and exploring the superconducting transition
Creators: name: DiSanto, David W.
Publisher: name: University of British Columbia
Year: 2009

description: The Planar Array of Superheated Superconductors (PASS) has been suggested as a possible detector for dark matter and other weakly interacting particles. This work concentrates on overcoming the problems in device fabrication which prevent the PASS detector from being a viable detector for these low flux, low energy particles. We also examined whether γ-ray and α-particle irradiation could nucleate the superconducting state. Improvements were made throughout the device fabrication process with the goal of producing a working PASS sample that demonstrates complete avalanche multiplication. Despite better sample surface morphology, greater cleanliness, and improvements in lithography resolution it was not possible to fabricate a sample that would exhibit a full line avalanche. A 127 x 115 tin PASS sample was fabricated by scientists at the 3M company using an embossing technique rather than lithography. We examined this sample to determine whether a PASS device fabricated in this manner would function as a sensitive particle detector. We found that the superheated transition width ΔTsh was about 60 mT. This is not as good as those produced photo lithographically at UBC (ΔTsh~30mT) but this result is encouraging as the embossing technique is applicable to large scale fabrication. Lastly, a supercooled normal indium PASS sample was irradiated with γ-rays and α-particles to see if energy deposition could nucleate the formation of the superconducting state by a process much like the Baked Alaska of A. J. Leggett. We found that γ-rays enhanced the formation of the superconducting state while α-particles did not. These results are consistent within the framework of a Baked Alaska theory for superconductors. (Certain scientific formulae used in this abstract could not be reproduced exactly.)
title: Стихи, написанные во время бессонницы: опыт русских поэтов
Creators: name: Балашова, Елена
Publisher: name: Новгородский государственный университет имени Ярослава Мудрого (НовГУ)
Year: 2021

description: Автором статьи проанализирован не исследованный ранее корпус лирических текстов с мотивом бессонницы, в частности проведен имманентный анализ стихотворений Г.Семенова и А.Тарковского. Внимание читателя могут привлечь выделенные атрибуты бессонницы, появившиеся в претексте всех  стихотворений этой тематики — «Стихах, сочиненных ночью во время бессонницы» А.С.Пушкина. Проведенное на основе историко-генетического и  сравнительно-исторического подхода исследование опирается на концепции, методики и результаты современного стиховедения, прежде всего М.Л.Гаспарова и его школы. Результаты исследования, проведенного в настоящей статье, могут быть использованы в научно-исследовательской и преподавательской деятельности, связанной с изучением становления и развития поэзии ХХ века.
Blow-Up for Nonlinear Wave Equations describing Boson Stars
Creators: name: Froehlich, Juerg
name: Lenzmann, Enno
Publisher: name: arXiv
Year: 2005
Subjects: subject: Mathematical Physics (math-ph)
subject: Analysis of PDEs (math.AP)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We consider the nonlinear wave equation $i \partial_t u= \sqrt{-Δ+ m^2} u - (|x|^{-1} \ast |u|^2) u$ on $\RR^3$ modelling the dynamics of (pseudo-relativistic) boson stars. For spherically symmetric initial data, $u_0(x) \in C^\infty_{\mathrm{c}}(\RR^3)$, with negative energy, we prove blow-up of $u(t,x)$ in $H^{1/2}$-norm within a finite time. Physically, this phenomenon describes the onset of "gravitational collapse" of a boson star. We also study blow-up in external, spherically symmetric potentials and we consider more general Hartree-type nonlinearities. As an application, we exhibit instability for ground state solitary waves at rest if $m=0$.
description: final version; to appear in Comm. Pure Appl. Math; 14 pages