cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Constructing Operator Basis in Supersymmetry: A Hilbert Series Approach
Creators: name: Delgado, Antonio
name: Martin, Adam
name: Wang, Runqing
Publisher: name: arXiv
Year: 2022
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: In this paper we introduce a Hilbert series approach to build the operator basis for a N = 1 supersymmetry theory with chiral superfields. We give explicitly the form of the corrections that remove redundancies due to the equations of motion and integration by parts. In addition, we derive the maps between the correction spaces. This technique allows us to calculate the number of independent operators involving chiral and antichiral superfields to arbitrarily high mass dimension. Using this method, we give several illustrative examples.
description: 40 pages, 8 figures
Exploring the Morphology of the Expanding Remnants of Classical and Recurrent Novae
Creators: name: Ribeiro, V. A. R. M.
name: Bode, M. F.
name: Darnley, M. J.
name: Munari, U.
name: Harman, D. J.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: FOS: Physical sciences

description: We report studies of several novae which are known or suspected to be recurrent. We discuss our morpho-kinematical modelling of the evolution of the optical spectra taken early after outburst for two recent novae. In the case of the known RN RS Oph, this is also coupled with \it HST imaging. Results support the hypothesis that remnant shaping occurs very early in a nova outburst and we also derive the structures (including inclination) and velocity field of the remnants. Overall, these results emphasise the need for coordinated imaging and spectrometry, although not always possible, if we are to truly understand remnant shaping in these systems, together with the wider implications for studies of shaping mechanisms in Planetary Nebulae.
description: 4 pages, 2 figures, conference proceedings - Asymmetric Planetary Nebulae 5, p.314 (2011)
Primula bella Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula bella

description: Primula bella Franch. (Fig. 2) Bulletin de la Société botanique de France 32: 268 (1885). — Hu & Kelso, Flora of China 15: 175 (1996). — In protologue: “[China] Yun-nan, au sommet du mont Tsang-chan. — 4 août 1884 ”. LECTOTYPE (designated here). — China. Yunnan, au sommet du mont Tsang-chan, au-dessus de Tali, 4.VIII.1884, Delavay s.n. (lecto-, LE[LE011031965]!; syntypes-, P[P04571422, P04571424, P05250283, P01060620]!; LE[LE01031966]!). COMMENTS In his protologue Franchet (1885) did not mark collection number. There are 21 herbarium sheets in P herbarium, all of them are in database and 4 from them have labels which partially correspond to protologue, they are syntypes, only in LE herbarium sheet with label corresponding to the protologue in locality, date and without number of gathering was found.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 130, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
description: {"references": ["FRANCHET A. 1885. - Les Primula du Yun-nan. Bulletin de la Societe botanique de France 32: 264 - 273. https: // biodiversitylibrary. org / page / 164452"]}
Thermodynamics of the one-dimensional frustrated Heisenberg ferromagnet with arbitrary spin
Creators: name: Haertel, M.
name: Richter, J.
name: Ihle, D.
name: Schnack, J.
name: Drechsler, S. -L.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The thermodynamic quantities (spin-spin correlation functions , correlation length ξ, spin susceptibility χ, and specific heat C_V) of the frustrated one-dimensional J1-J2 Heisenberg ferromagnet with arbitrary spin quantum number S below the quantum critical point, i.e. for J2< |J1|/4, are calculated using a rotation-invariant Green-function formalism and full diagonalization as well as a finite-temperature Lanczos technique for finite chains of up to N=18 sites. The low-temperature behavior of the susceptibility χ and the correlation length ξ is well described by χ= (2/3)S^4 (|J1|-4J2) T^{-2} + A S^{5/2} (|J1|-4J2)^{1/2} T^{-3/2} and ξ= S^2 (|J1|-4J2) T^{-1} + B S^{1/2} (|J1|-4J2)^{1/2} T^{-1/2} with A \approx 1.1 ... 1.2 and B \approx 0.84 ... 0.89. The vanishing of the factors in front of the temperature at J2=|J1|/4 indicates a change of the critical behavior of χ and ξ at T \to 0. The specific heat may exhibit an additional frustration-induced low-temperature maximum when approaching the quantum critical point. This maximum appears for S=1/2 and S=1, but was not found for S>1.
description: 8 pages, 7 figures
Foundation of an analytical proton beamlet model for inclusion in a general proton dose calculation system
Creators: name: Ulmer, W.
name: Schaffner, B.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Medical Physics (physics.med-ph)
subject: FOS: Physical sciences

description: We have developed a model for proton depth dose and lateral distributions based on Monte Carlo calculations (GEANT4) and an integration procedure of the Bethe-Bloch equation (BBE). The model accounts for the transport of primary and secondary protons, the creation of recoil protons and heavy recoil nuclei as well as lateral scattering of these contributions. The buildup, which is experimentally observed in higher energy depth dose curves, is modeled by inclusion of two different origins: 1. Secondary reaction protons with a contribution of ca. 65 % of the buildup (for monoenergetic protons). 2. Landau tails as well as Gaussian type of fluctuations for range straggling effects. All parameters of the model for initially monoenergetic proton beams have been obtained from Monte Carlo calculations or checked by them. Furthermore, there are a few parameters, which can be obtained by fitting the model to measured depth dose curves in order to describe individual characteristics of the beamline - the most important being the initial energy spread. We find that the free parameters of the depth dose model can be predicted for any intermediate energy from a couple of measured curves.
description: Eclipse implementation
Primula bracteata Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula bracteata

description: Primula bracteata Franch. Bulletin de la Société botanique de France 32: 266 (1885). — Hu & Kelso, Flora of China 15: 130 (1996). — In protologue: “Yun-nan, dans les fentes des rochers calcaires et ombragés, à Lan-Kong. — Mars 1883. (Delavay, Primula, n° 2.)”. LECTOTYPE (designated by Eveleigh et al. 2014). — China. Yunnan (Primula) no. 233. Fente des rochers calcaires et ombragés à Lan Kong, Yunnan, III.1883 and V.1884, Delavay s.n. (lecto-, P[P04571601]!; isolecto-, E[E00024050]!). COMMENTS In P04571601 label “ Primula n 2” is written in bold font and numbers “33” are added in thin font (Eveleigh 2000).
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on pages 130-136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
description: {"references": ["EVELEIGH P., NIELSEN J. M. & RANKIN D. W. H. 2014. - 800. Primula coelata, with a revision of Primula section Bullatae. Primulaceae. Curtis's Botanical Magazine (Kew Magazine) 31 (4): 366. https: // doi. org / 10.1111 / curt. 12085", "EVELEIGH P. 2000 (continuously updated). - Primula World. A visual reference for the genus Primula. http: // primulaworld. com [accessed May 2017]."]}
Capacity Optimized For Multicarrier OFDM-MIMO Antenna Systems
Creators: name: Sinha, Nirmalendu Bikas
name: kumar, Prosenjit
name: Mitra, M.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: Motivated by MIMO broad-band fading channel model, in this section we deals with the capacity behaviour of wireless MIMO and OFDM based spatial multiplexing systems in broad-band fading environments for the case where the channel is unknown at the transmitter and perfectly known at the receiver. This influence the propagation and system parameters on ergodic capacity, we furthermore demonstrate that, unlike the single-input single-output (SISO) case, delay spread channels may provide advantage over flat-fading channels not only in terms of outage capacity but also in terms of ergodic capacity. Therefore, MIMO delay spread channels will in general provide both higher diversity gain and higher multiplexing gain than MIMO flat-fading channels.
description: Submitted to Journal of Telecommunications, see http://sites.google.com/site/journaloftelecommunications/volume-2-issue-2-may-2010
A New Approach to the Small Phylogeny Problem
Creators: name: Kováč, Jakub
name: Brejová, Broňa
name: Vinař, Tomáš
Publisher: name: arXiv
Year: 2010
Subjects: subject: Populations and Evolution (q-bio.PE)
subject: FOS: Biological sciences

description: In the small phylogeny problem we, are given a phylogenetic tree and gene orders of the extant species and our goal is to reconstruct all of the ancestral genomes so that the number of evolutionary operations is minimized. Algorithms for reconstructing evolutionary history from gene orders are usually based on repeatedly computing medians of genomes at neighbouring vertices of the tree. We propose a new, more general approach, based on an iterative local optimization procedure. In each step, we propose candidates for ancestral genomes and choose the best ones by dynamic programming. We have implemented our method and used it to reconstruct evolutionary history of 16 yeast mtDNAs and 13 Campanulaceae cpDNAs.
HI Content and Optical Properties of Field Galaxies from the ALFALFA Survey. II. Multivariate Analysis of a Galaxy Sample in Low Density Environments
Creators: name: Toribio, M. C.
name: Solanes, J. M.
name: Giovanelli, R.
name: Haynes, M. P.
name: Martin, A.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Cosmology and Nongalactic Astrophysics (astro-ph.CO)
subject: FOS: Physical sciences

description: This is the second paper of two reporting results from a study of the HI content and stellar properties of nearby galaxies detected by the Arecibo Legacy Fast ALFA blind 21-cm line survey and the Sloan Digital Sky Survey in a 2160 deg^2 region covered by both surveys. We apply strategies of multivariate data analysis to a complete HI flux-limited subset of 1624 objects extracted from the control sample of HI emitters assembled by Toribio et al. (2011a) in order to: i) investigate the correlation structure of the space defined by an extensive set of observables describing gas-rich systems; ii) identify the intrinsic parameters that best define their HI content; and iii) explore the scaling relations arising from the joint distributions of the quantities most strongly correlated with the HI mass. The principal component analysis performed over a set of five galaxy properties reveals that they are strongly interrelated, supporting previous claims that nearby HI emitters show a high degree of correlation. The best predictors for the expected value of MHI are the diameter of the stellar disk, D25r, followed by the total luminosity (both in the r-band), and the maximum rotation speed, while morphological proxies such as color show only a moderately strong correlation with the gaseous content attenuated by observational error. The simplest and most accurate prescription is log(MHI/Msun)= 8.72 + 1.25*log(D25r/kpc). We find a slope of $-8.2 \pm 0.5$ for the relation between optical magnitude and log rotation speed, in good agreement with Tully-Fisher studies, and a log slope of $1.55 \pm 0.06$ for the HI mass-optical galaxy size relation. Given the homogeneity of the measurements and the completeness of our dataset, the latter outcome suggests that the constancy of the average (hybrid) HI surface density advocated by some authors for the spiral population is a crude approximation.
description: 34 pages, 4 figures, 5 tables, accepted for publication in The Astrophysical Journal
Weakly-Supervised 3D Medical Image Segmentation using Geometric Prior and Contrastive Similarity
Creators: name: Du, Hao
name: Dong, Qihua
name: Xu, Yan
name: Liao, Jing
Publisher: name: arXiv
Year: 2023
Subjects: subject: Image and Video Processing (eess.IV)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Machine Learning (cs.LG)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Computer and information sciences

description: Medical image segmentation is almost the most important pre-processing procedure in computer-aided diagnosis but is also a very challenging task due to the complex shapes of segments and various artifacts caused by medical imaging, (i.e., low-contrast tissues, and non-homogenous textures). In this paper, we propose a simple yet effective segmentation framework that incorporates the geometric prior and contrastive similarity into the weakly-supervised segmentation framework in a loss-based fashion. The proposed geometric prior built on point cloud provides meticulous geometry to the weakly-supervised segmentation proposal, which serves as better supervision than the inherent property of the bounding-box annotation (i.e., height and width). Furthermore, we propose contrastive similarity to encourage organ pixels to gather around in the contrastive embedding space, which helps better distinguish low-contrast tissues. The proposed contrastive embedding space can make up for the poor representation of the conventionally-used gray space. Extensive experiments are conducted to verify the effectiveness and the robustness of the proposed weakly-supervised segmentation framework. The proposed framework is superior to state-of-the-art weakly-supervised methods on the following publicly accessible datasets: LiTS 2017 Challenge, KiTS 2021 Challenge, and LPBA40. We also dissect our method and evaluate the performance of each component.
description: Weakly-supervised Segmentation, Medical Image Segmentation, Contrastive Similarity, Geometric Prior, Point Cloud
Transforming coercive processes with a Korean family of a child with a developmental disabilities and problem behaviour.
Creators: name: Kwon, Samantha Jin-Oh
Publisher: name: University of British Columbia
Year: 2014

description: Family-centered PBS has been shown to be an effective and acceptable approach with families of children who have developmental disabilities and problem behaviours. However, little research has been done into the effects of cultural and linguistic differences on the provision of support for immigrant families. Among Canada’s many increasing ethnic minority populations, Korean Canadians are growing in number particularly rapidly. The purpose of this study was to add to the evidentiary base of an ecological, family-centered PBS approach by replicating the work of Lucyshyn et al. (2014) with a Korean-Canadian family raising a child with a developmental disability and problem behaviour. A single-case, quasi-experimental multiple baseline design across two routines in the home was used to evaluate the effectiveness of an approach designed to be culturally responsive to a Korean-Canadian family. Baseline data and preliminary intervention data were gathered for one target routine, and preliminary baseline data were gathered for the second routine. Preliminary results documented substantial decreases in child problem behaviour and increases in routine participation during the first sub-phase of intervention in which the interventionist provided intensive training with the child and in vivo parent training with the child’s mother. Preliminary social validity and contextual/cultural fit results indicated that the intervention was acceptable and contextually appropriate to the child’s mother. These preliminary results are discussed in terms of contributions to the literature, implications, cautions and limitations, and future research. This preliminary analysis serves as my thesis, while future research will address the remaining questions and extensions of this work.
Electron hole - phonon interaction and structural changes in La0.9Sr0.1FeO3 by temperature dependent conductivity and valence band photoemission spectros-copy
Creators: name: Braun, A.
name: Richter, J.
name: Harvey, A. S.
name: Infortuna, A.
name: Frei, A.
name: Pomjakushina, E.
name: Mun, Bongjin S.
name: Holtappels, P.
name: Vogt, U.
name: Conder, K.
name: Gauckler, L. J.
name: Graule, T.
Publisher: name: arXiv
Year: 2011
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: Electric conductivity and structural details of the hole-doped polaron conductor La0.9Sr0.1FeO3 (LSF10) are reported. The conductivity of a single crystal shows an exponential increase with temperature with a maxi-mum of 100 S/cm at 700 K and with activation energy of about 375 meV, and a decrease for higher temperatures that follows a power law. The exponential increase of the electric conductivity for 300 K {\leg} T {\leg} 700 is accompanied by a shift of spectral weight in the photoemission valence band towards the Fermi level, indicative of a strong electron-phonon interaction. The subsequent decrease of the conductivity for T > 700 K is accompanied by a reversible phase transformation from orthorhombic to rhombohedral symmetry. The decreasing conductivity for T > 700 K is likely due to the reduction of the iron due to oxygen loss causing a decreasing hole concentration, as evidenced by a substantial chemical shift in the Fe K-shell x-ray absorption spectra. Two additional fine structures in the conductivity data at 357 K, this is, a small temperature reversible jump in the conductivity, and at 573 K, a slight reversible increase of the polaron activation energy, are correlated with an exceptionally strong decrease in spectral valence band intensity near the Fermi level, and with the onset of a corresponding structural transition.
Impact of Intense Geomagnetic Storm on NavIC Signals Over Indore
Creators: name: Ayyagari, Deepthi
name: Chakraborty, Sumanjit
name: Datta, Abhirup
name: Das, Saurabh
Publisher: name: arXiv
Year: 2023
Subjects: subject: Space Physics (physics.space-ph)
subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Solar and Stellar Astrophysics (astro-ph.SR)
subject: Geophysics (physics.geo-ph)
subject: Plasma Physics (physics.plasm-ph)
subject: FOS: Physical sciences

description: Intense geomagnetic storms can have a strong impact on the signals (termed ionospheric scintillations) emitted by any global navigation satellite system (GNSS). The paper reports the first studies of scintillations at the Indore region on the NavIC signals due to the impact of the intense geomagnetic storm event reported on September 8, 2017, at 0151 and 1304 UT. The variation of the planetary indices as well as the DST index which dropped to a value of -124 nT on September 8, 2017, indicates the occurrence of an intense geomagnetic storm on September 8, 2017. The observations presented are carried out at Indore, which is located at the equatorial anomaly crest. The S4 index measurements of colocated GNSS receiver showed values of 0.5 or above on the disturbed day between 15 and 18 UT. The analysis presented clearly signifies the degradation of the carrier to noise measurements of the NavIC L5 signal during the same time, which in turn affected the positional accuracy of NavIC, an important consideration for performance.
description: 6 pages, 5 figures, accepted as a part of the Lecture Notes in Networks and Systems (LNNS) book series, 2021
Primula bullata Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula bullata

description: Primula bullata Franch. Bulletin de la Société botanique de France 32: 265 (1885). — Hu & Kelso, Flora of China 15: 130 (1996). — In protologue: “Yun-nan, sur les rochers calcaires, au col du mont Hee-chan-men. — 21 avril 1884. (Delavay, n° 114.)”. LECTOTYPE (designated by Eveleigh et al. 2014). — China. Yunnan, rochers calcaires au col du Hèe Chan Men (Lan Kong) à 3000 m d’altitude, 21.IV.1884. Delavay 114 (lecto-, P[P04571678]; isolecto-, E[E00024054], K [K000732890, K000732893], NY[NY 329536]). COMMENTS Authors of paper (Eveleigh et al. 2014) had made lectotypification without work in Herbarium P, they saw MNHN Herbarium database through internet. I can add as isolectotype: “Herb. Mus. Paris. Plantes de CHINE (Province du Yun-nan), via calcaris ad collum montis Hee-cha-men, 21 avril 1884, Delavay 114, LE[LE01031969]!”.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
description: {"references": ["EVELEIGH P., NIELSEN J. M. & RANKIN D. W. H. 2014. - 800. Primula coelata, with a revision of Primula section Bullatae. Primulaceae. Curtis's Botanical Magazine (Kew Magazine) 31 (4): 366. https: // doi. org / 10.1111 / curt. 12085"]}
Generating high-order exceptional points in coupled electronic oscillators using complex synthetic gauge fields
Creators: name: Huerta-Morales, José D.
name: Quiroz-Juárez, Mario A.
name: Joglekar, Yogesh N.
name: León-Montiel, Roberto de J.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Classical Physics (physics.class-ph)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: Exceptional points (EPs) are degeneracies of non-Hermitian systems, where both eigenvalues and eigenvectors coalesce. Classical and quantum systems exhibiting high-order EPs have recently been identified as fundamental building blocks for the development of novel, ultra-sensitive opto-electronic devices. However, arguably one of their major drawbacks is that they rely on non-linear amplification processes that could limit their potential applications, particularly in the quantum realm. In this work, we show that high-order EPs can be designed by means of linear, time-modulated, chain of inductively coupled RLC (where R stands for resistance, L for inductance, and C for capacitance) electronic circuits. With a general theory, we show that $N$ coupled circuits with $2N$ dynamical variables and time-dependent parameters can be mapped onto an $N$-site, time-dependent, non-Hermitian Hamiltonian, and obtain constraints for $\mathcal{PT}$-symmetry in such models. With numerical calculations, we obtain the Floquet exceptional contours of order $N$ by studying the energy dynamics in the circuit. Our results pave the way toward realizing robust, arbitrary-order EPs by means of synthetic gauge fields, with important implications for sensing, energy transfer, and topology.
Ultrafast electron dynamics in a topological surface state observed in two-dimensional momentum space
Creators: name: Reimann, J.
name: Sumida, K.
name: Kakoki, M.
name: Kokh, K. A.
name: Tereshchenko, O. E.
name: Kimura, A.
name: Güdde, J.
name: Höfer, U.
Publisher: name: arXiv
Year: 2022
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We study ultrafast population dynamics in the topological surface state of Sb$_2$Te$_3$ in two-dimensional momentum space with time- and angle-resolved two-photon photoemission. Linear polarized mid-infrared pump pulses are used to permit a direct optical excitation across the Dirac point. We show that this resonant excitation is strongly enhanced within the Dirac cone along three of the six $\barΓ$-$\bar{M}$ directions and results in a macroscopic photocurrent when the plane of incidence is aligned along a $\barΓ$-$\bar{K}$ direction. Our experimental approach makes it possible to disentangle the decay of transiently excited population and photocurent by elastic and inelastic electron scattering within the full Dirac cone in unprecedented detail. This is utilized to show that doping of Sb$_2$Te$_3$ by vanadium atoms strongly enhances inelastic electron scattering to lower energies, but only scarcely affects elastic scattering around the Dirac cone.
description: 9 pages, 4 figures
Additional file 4 of Tacr3 in the lateral habenula differentially regulates orofacial allodynia and anxiety-like behaviors in a mouse model of trigeminal neuralgia
Creators: name: Cui, Wen-Qiang
name: Zhang, Wen-Wen
name: Chen, Teng
name: Li, Qian
name: Xu, Fei
name: Mao-Ying, Qi-Liang
name: Mi, Wen-Li
name: Wang, Yan-Qing
name: Chu, Yu-Xia
Publisher: name: figshare
Year: 2020
Subjects: subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Neuroscience
subject: Physiology
subject: Chemical Sciences not elsewhere classified
subject: Marine Biology
subject: Science Policy
subject: Mental Health

description: Additional file 4: Table S1. Statistical analysis results for two-way RM ANOVA. Table S2 Statistical analysis results for one-way ANOVA. Table S3 Statistical analysis results for Student’s t-test. Table S4 The top 20 DEGs in the LHb.
Absynthe: Abstract Interpretation-Guided Synthesis
Creators: name: Guria, Sankha Narayan
name: Foster, Jeffrey S.
name: Van Horn, David
Publisher: name: arXiv
Year: 2023
Subjects: subject: Programming Languages (cs.PL)
subject: FOS: Computer and information sciences

description: Synthesis tools have seen significant success in recent times. However, past approaches often require a complete and accurate embedding of the source language in the logic of the underlying solver, an approach difficult for industrial-grade languages. Other approaches couple the semantics of the source language with purpose-built synthesizers, necessarily tying the synthesis engine to a particular language model. In this paper, we propose Absynthe, an alternative approach based on user-defined abstract semantics that aims to be both lightweight and language agnostic, yet effective in guiding the search for programs. A synthesis goal in Absynthe is specified as an abstract specification in a lightweight user-defined abstract domain and concrete test cases. The synthesis engine is parameterized by the abstract semantics and independent of the source language. Absynthe validates candidate programs against test cases using the actual concrete language implementation to ensure correctness. We formalize the synthesis rules for Absynthe and describe how the key ideas are scaled-up in our implementation in Ruby. We evaluated Absynthe on SyGuS strings benchmark and found it competitive with other enumerative search solvers. Moreover, Absynthe's ability to combine abstract domains allows the user to move along a cost spectrum, i.e., expressive domains prune more programs but require more time. Finally, to verify Absynthe can act as a general purpose synthesis tool, we use Absynthe to synthesize Pandas data frame manipulating programs in Python using simple abstractions like types and column labels of a data frame. Absynthe reaches parity with AutoPandas, a deep learning based tool for the same benchmark suite. In summary, our results demonstrate Absynthe is a promising step forward towards a general-purpose approach to synthesis that may broaden the applicability of synthesis to more $\ldots$
description: 22 pages, 6 figures, this is a preprint of a paper conditionally accepted at Programming Language Design and Implementation (PLDI) 2023
Primula calliantha Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula calliantha

description: Primula calliantha Franch. Bulletin de la Société botanique de France 32: 268 (1885). — Hu & Kelso, Flora of China 15: 156 (1996). — In protologue: “[China] Yun-nan, sur la montagne Tsang-chan, près de Tali, sous les Sapins, dans les lieux très ombragés. — 26 juin 1883. (N° 112.)”. SYNTYPES. — “ Primula calliantha Franch. Plantes de Chine (Province du Yun-nan), in monte Tsang-Chan, prope Tali, 26 juin 1883, M. l’Abbé Delavay ” (syn-, MPU[MPU022046, MPU022047]!; LE [LE01031973]!). COMMENTS We found only three herbarium sheets in MPU, LE with date as in protologue, but they are without number 112. There are some sheets in Herbarium collections [P04571641,P04571642, P04571643]!, LE [LE01031970]! with locality text in labels and number 112 as in protologue but with another date “Delavay, n° 112, 16 juin 1884 ”, or “Delavay n° 112, 6 juin 1884 ” (K000732976)! and “Delavay, n° 112. 1883-1885” (K000732977)! All of them will be syntypes.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
Large-Scale Evaluation of Method-Level Bug Localization with FinerBench4BL
Creators: name: Tsumita, Shizuka
name: Hayashi, Shinpei
name: Amasaki, Sousuke
Publisher: name: arXiv
Year: 2023
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Bug localization is an important aspect of software maintenance because it can locate modules that need to be changed to fix a specific bug. Although method-level bug localization is helpful for developers, there are only a few tools and techniques for this task; moreover, there is no large-scale framework for their evaluation. In this paper, we present FinerBench4BL, an evaluation framework for method-level information retrieval-based bug localization techniques, and a comparative study using this framework. This framework was semi-automatically constructed from Bench4BL, a file-level bug localization evaluation framework, using a repository transformation approach. We converted the original file-level version repositories provided by Bench4BL into method-level repositories by repository transformation. Method-level data components such as oracle methods can also be automatically derived by applying the oracle generation approach via bug-commit linking in Bench4BL to the generated method repositories. Furthermore, we tailored existing file-level bug localization technique implementations at the method level. We created a framework for method-level evaluation by merging the generated dataset and implementations. The comparison results show that the method-level techniques decreased accuracy whereas improved debugging efficiency compared to file-level techniques.
description: 10 pages, SANER 2023
Primula cernua Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula cernua

description: Primula cernua Franch. (Fig. 3) Bulletin de la Société botanique de France 32: 271 (1885). — Hu & Kelso, Flora of China 15: 182 (1996). — In protologue: “Yun-nan, dans les prairies calcaires des montagnes à Hee-gni-chan, au- dessus de Ho-kin, au N. de Tali. — 24 juillet1883 ”. LECTOTYPE (designated here). — China. Yunnan, Yun-nan, prairies des montagnes […] calcaires. Hee gni-chan, au-dessus de Ho-kin, 140 km nord de Tali, 24.VII.1883, Delavay 232 (lecto-, P[P04571825]!; syn-, K [K000750008]!, P[P04571816, P04571822, P04571823, P04571824]!). COMMENTS Specimen P04571825 has full handwritten label corresponding to protologue, syntypes have short text on the labels.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
Some D-finite and Some Possibly D-finite Sequences in the OEIS
Creators: name: Kauers, Manuel
name: Koutschan, Christoph
Publisher: name: arXiv
Year: 2023
Subjects: subject: Symbolic Computation (cs.SC)
subject: Combinatorics (math.CO)
subject: FOS: Computer and information sciences
subject: FOS: Mathematics
subject: 05A15 (Primary) 68W30, 33F10 (Secondary)

description: In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove the conjectured recurrence. In some cases, we are not able to prove the conjectured recurrence, but we can prove that a recurrence exists. In some remaining cases, we do not know where the recurrence might come from.
Improving GPS Precision and Processing Time using Parallel and Reduced-Length Wiener Filters
Creators: name: Garcia, J.
name: Zhou, C.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Other Computer Science (cs.OH)
subject: FOS: Computer and information sciences

description: Increasing GPS precision at low cost has always been a challenge for the manufacturers of the GPS receivers. This paper proposes the use of a Wiener filter for increasing precision in substitution of traditional GPS/INS fusion systems, which require expensive inertial systems. In this paper, we first implement and compare three GPS signal processing schemes: a Kalman filter, a neural network and a Wiener filter and compare them in terms of precision and the processing time. To further reduce the processing time of Wiener filter, we propose parallel and reduced-length implementations. Finally, we calculate the sampling frequency that would be required in every Wiener scheme in order to obtain the same total processing time as the Kalman filter and the neural network.
description: Submitted to Journal of Telecommunications, see http://sites.google.com/site/journaloftelecommunications/volume-2-issue-2-may-2010
Automatic Identification and Extraction of Assumptions on GitHub
Creators: name: Yang, Chen
name: Ma, Zinan
name: Liang, Peng
name: Liu, Xiaohua
Publisher: name: arXiv
Year: 2023
Subjects: subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: In software development, due to the lack of knowledge or information, time pressure, complex context, and many other factors, various uncertainties emerge during the development process, leading to assumptions scattered in projects. Being unaware of certain assumptions can result in critical problems (e.g., system vulnerability and failures). The prerequisite of analyzing and understanding assumptions in software development is to identify and extract those assumptions with acceptable effort. In this paper, we proposed a tool (i.e., Assumption Miner) to automatically identify and extract assumptions on GitHub projects. To evaluate the applicability of Assumption Miner, we first presented an example of using the tool to mine assumptions from one large and popular deep learning framework project: the TensorFlow project on GitHub. We then conducted an evaluation of the tool. The results show that Assumption Miner can effectively identify and extract assumptions from the repositories on GitHub.
description: The 29th International DMS Conference on Visualization and Visual Languages (DMSVIVA)
Structure of scalar mesons and the Higgs sector of strong interaction
Creators: name: Schumacher, Martin
Publisher: name: arXiv
Year: 2011
Subjects: subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: FOS: Physical sciences

description: The scalar mesons $σ(600)$, $κ(800)$, $f_0(980)$ and $a_0(980)$ together with the pseudo Goldstone bosons $π$, $K$, and $η$ may be considered as the Higgs sector of strong interaction. After a long time of uncertainty about the internal structure of the scalar mesons there now seems to be consistency which is in line with the major parts of experimental observations. Great progress has been made by introducing the unified model of Close and Törnqvist. This model states that mesons below 1 GeV may be understood as $q^2\bar{q}^2$ in S-wave with some $q\bar{q}$ in P-wave in the center, further out they rearrange as $(q\bar{q})^2$ and finally as meson-meson states. The P-wave component inherent in the structure of the neutral scalar mesons can be understood as a doorway state for the formation of the scalar meson via two-photon fusion, whereas in nucleon Compton scattering these P-wave components serve as intermediate states. The masses of the scalar mesons are predicted in terms of spontaneous and explicit symmetry breaking.
description: 5 figures
Primula delavayi Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula delavayi

description: Primula delavayi Franch. (Fig. 4) Bulletin de la Société botanique de France 32: 272 (1885). — Halda, Gen. Primula: 37 (1992). — Omphalogramma delavayi (Franch.) Franch., Bulletin de la Société botanique de France 45: 179. (1898). — Hu & Kelso, Flora of China 15: 187 (1996). — In protologue: “Yun-nan, dans les lieux frais et un peu humides des terrains argileux, à une altitude de 3500 à 4900 mètres, sur le Tsangchan, au-dessus de Tali. – Fleurs, le 19 août; feuilles développées le 19 du même mois. (Delavay, n° 116)”. LECTOTYPE (DESIGNATED HERE). — China. Yunnan, Primula delavayi Franchet n 116. Fl. rouge, hampedéveloppée, de 40 […] 50 centim. Lieux frais et un peu humides des terrains argileux, à une altitude de 3500 à 4000 mètres, sur le Tsang-chan, au-dessus de Ta-li, fl., XIX. VIII.1884, fr. develop., V. VIII.1884, leg. M. Delavay (lecto-, P[P04571697]!; syn-, P[P04571680, P04571681, P04571682, P04571683, P04571686, P04571687, P04571688, P04571689, P04571692, P04571693, P04571702]!; LE[“Ex Herbario Musei Parisiensis. N 116. Primula delavayi Franch., Mt. Tsang-chan, au dessus de Tali, alt. 4000 m. Plantes Yunnan, M. l’abbe Delavay”], LE[LE1032038]!, K[K000750399]!). COMMENTS There are 12 specimens in DB of P herbarium with name Primula delavayi, text on the labels contains “Tsang-chan, Delavay, no 116”, all of them can be syntypes. We choose one with full text on field label (P04571697) and it will be lectotype. Originally, P. delavayi was included to new subgenus Omphalogramma Franch. in the genus Primula (Franchet 1885: 272), in the modern literature only J. Halda (1992: 37) agreed with this opinion. LaterFranchet (1898: 179) described Omphalogramma as a new genus with 4 species, involving O. delavayi (Franch.) Franch.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
description: {"references": ["FRANCHET A. 1885. - Les Primula du Yun-nan. Bulletin de la Societe botanique de France 32: 264 - 273. https: // biodiversitylibrary. org / page / 164452", "HALDA J. J. 1992. - The Genus Primula in Cultivation and theWild. Tethys Books, Denver, 368 p."]}
Optimal stirring strategies for passive scalar mixing
Creators: name: Lin, Zhi
name: Thiffeault, Jean-Luc
name: Doering, Charles R.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Fluid Dynamics (physics.flu-dyn)
subject: Analysis of PDEs (math.AP)
subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: We address the challenge of optimal incompressible stirring to mix an initially inhomogeneous distribution of passive tracers. As a quantitative measure of mixing we adopt the $H^{-1}$ norm of the scalar fluctuation field, equivalent to the (square-root of the) variance of a low-pass filtered image of the tracer concentration field. First we establish that this is a useful gauge even in the absence of molecular diffusion: its vanishing as $t --> \infty$ is evidence of the stirring flow's mixing properties in the sense of ergodic theory. Then we derive absolute limits on the total amount of mixing, as a function of time, on a periodic spatial domain with a prescribed instantaneous stirring energy or stirring power budget. We subsequently determine the flow field that instantaneously maximizes the decay of this mixing measure---when such a flow exists. When no such `steepest descent' flow exists (a possible but non-generic situation) we determine the flow that maximizes the growth rate of the $H^{-1}$ norm's decay rate. This local-in-time optimal stirring strategy is implemented numerically on a benchmark problem and compared to an optimal control approach using a restricted set of flows. Some significant challenges for analysis are outlined.
description: 10 pages, 3 figures. PDFLaTeX with JFM style (included)
Primula glacialis Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula glacialis

description: Primula glacialis Franch. Bulletin de la Société botanique de France 32: 270 (1885). — Nom. illeg. later homonym non Willdenow ex Roem. & Schult, Systema vegetabilium, ed. 15, 4: 785 (1819). Primula diantha Bureau & Franch, Journal de Botanique (Morot) 5: 97 (1891). — Hu & Kelso, Flora of China 15: 151 (1996). — In protologue Primula diantha: “Chine, province du Se-tchuen, sommet des passes après Batang, 4300 m, 12 juin 1860 (= 1890).” TYPUS. — China. Se-tchuen entre Batang et Litang, 12.VI.1890, Bonvalot & Prince Henri d’Orléans s.n., P(P00649653)! COMMENTS It is misprinted in date ‘1860’ in protologue, because the correct date ‘1890’was in the title of protologue (Bureau& Franchet1891). Type status will be discussed in the next publication.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 136, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118
description: {"references": ["BUREAU E. & FRANCHET A. R. 1891. - Plantes nouvelles du Thibet et de la Chine occidentale recueillies pendant le voyage de M. Bonvalot et du Prince Henri d'Orleans en 1890. Journal de Botanique 5: 93 - 99. https: // biodiversitylibrary. org / page / 3042541"]}
Broomsticks and barricades : performance, empowerment, and feeling in Wicked and Les Misérables
Creators: name: Blair, Kelsey Leanne
Publisher: name: University of British Columbia
Year: 2014

description: The purpose of this study is to examine the relationship between empowerment, feeling, and performance by analyzing the act 1 finales from two Broadway musicals: “Defying Gravity” from the 2003 production of Wicked and “One Day More” from the 1987 production of Les Misérables. A genre of performance in which feelings, of empowerment and otherwise, are generated and circulated in amplified ways, the Broadway musical provides a productive site to investigate the relationship between empowerment and feeling; moreover, both “Defying Gravity” and “One Day More” are signature numbers frequently associated with empowerment. To complete my analyses, I use an interdisciplinary approach which combines theatre and performance studies, affect theory, and social science-based arguments about empowerment in order to demonstrate how affect theory gives us valuable language to analyze the constellation of artistic elements which contribute to the numbers’ affective power. Building from this work, I suggest that both numbers perform empowerment by emphasizing power and change, two characteristics which have been highlighted as essential in empowerment scholarship. Ultimately, I argue that sensations of empowerment become the primary point of connection between stage and auditorium through performance.
Imprvoing QoS of all-IP Generation of Pre-WiMax Networks Using Delay-Jitter Model
Creators: name: Dahmouni, H.
name: Ghazi, H. El
name: Bonacci, D.
name: Sanso, B.
name: Girard, A.
Publisher: name: arXiv
Year: 2010
Subjects: subject: Networking and Internet Architecture (cs.NI)
subject: FOS: Computer and information sciences

description: The topic of this paper is the evaluation of QoS parameters in live Pre-Wimax environments. The main contribution is the validation of an analytical delay-jitter behavior model. These models can be used in optimization algorithms in order to provide opportunistic and reliable all-IP networks. It allows understanding the impact of the jitter constraints on the throughput and packet loss in wireless systems. However, we show that the real-time QoS requirements of real-time and interactive services can be avoided to a large degree by controlling only the packet delay-jitter in a fixed and mobile environment. The QoS metrics have been computed from live measurements in a Pre-Wimax realistic environment (Toulouse/Blagnac Airport).
description: Submitted to Journal of Telecommunications, see http://sites.google.com/site/journaloftelecommunications/volume-2-issue-2-may-2010
Sodium Brightening of (3200) Phaethon Near Perihelion
Creators: name: Zhang, Qicheng
name: Battams, Karl
name: Ye, Quanzhi
name: Knight, Matthew M.
name: Schmidt, Carl A.
Publisher: name: arXiv
Year: 2023
Subjects: subject: Earth and Planetary Astrophysics (astro-ph.EP)
subject: Instrumentation and Methods for Astrophysics (astro-ph.IM)
subject: FOS: Physical sciences

description: Sunskirting asteroid (3200) Phaethon has been repeatedly observed in STEREO HI1 imagery to anomalously brighten and produce an antisunward tail for a few days near each perihelion passage, phenomena previously attributed to the ejection of micron-sized dust grains. Color imaging by the SOHO LASCO coronagraphs during the 2022 May apparition indicate that the observed brightening and tail development instead capture the release of sodium atoms, which resonantly fluoresce at the 589.0/589.6 nm D lines. While HI1's design bandpass nominally excludes the D lines, filter degradation has substantially increased its D line sensitivity, as quantified by the brightness of Mercury's sodium tail in HI1 imagery. Furthermore, the expected fluorescence efficiency and acceleration of sodium atoms under solar radiation readily reproduce both the photometric and morphological behaviors observed by LASCO and HI1 during the 2022 apparition and the 17 earlier apparitions since 1997. This finding connects Phaethon to the broader population of sunskirting and sungrazing comets observed by SOHO, which often also exhibit bright sodium emission with minimal visible dust, but distinguishes it from other sunskirting asteroids without detectable sodium production under comparable solar heating. These differences may reflect variations in the degree of sodium depletion of near-surface material, and thus the extent and/or timing of any past or present resurfacing activity.
description: 30 pages, 14 figures, 6 tables; PSJ, in press
Primula dryadifolia Franch.
Creators: name: Kovtonyuk, Nataliya
Publisher: name: Zenodo
Year: 2017
Subjects: Biodiversity
Taxonomy
Plantae
Tracheophyta
Magnoliopsida
Ericales
Primulaceae
Primula
Primula dryadifolia

description: Primula dryadifolia Franch. (Fig. 5) Bulletin de la Société botanique de France 32: 270 (1885). — Hu & Kelso, Flora of China 15: 177 (1996). — In protologue: “[China] Yunnan, glacier de Li-kiang, à quatre journées au nord de Tali, près des neiges perpétuelles; alt. 4000 mètres.— Juillet 1884.(Delavay, Primula, n°4.)”. LECTOTYPE (designated here). — China. Yunnan. Primula dryadifolia (Franchet), no 1. Fleurs rouges très-élégantes, près des neiges au glacier de Li-kiang, à 4000 mètres et plus d’altitude, 11.VII.1884, legi M. Delavay (lecto-, P[P04571953]!; isolecto-, P[P04571949]!; syn-, G[G00440587]!, K [K000750087]!). COMMENTS We found only two herbarium sheets in P with label corresponding to the protologue, but with “Delavay, Primula n° 1”, it looks like it was misprinted in protologue. The label at sheet [K000750087] has short text while at [G00440587] it is without number.
description: Published as part of Kovtonyuk, Nataliya, 2017, Typification of names in Primula L. (Primulaceae), described by A. R. Franchet, pp. 129-144 in Adansonia 39 (2) on page 142, DOI: 10.5252/a2017n2a4, http://zenodo.org/record/4599118