cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
About Calculation of the Hankel Transform Using Preliminary Wavelet Transform
Creators: name: Postnikov, E. B.
Publisher: name: arXiv
Year: 2002
Subjects: subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 44A15, 65R10

description: The purpose of this paper is to present an algorithm for evaluating Hankel transform of the null and the first kind. The result is the exact analytical representation as the series of the Bessel and Struve functions multiplied by the wavelet coefficients of the input function. Numerical evaluation of the test function with known analytical Hankel transform illustrates the proposed algorithm.
description: 5 pages, 2 figures. Some misprints are corrected
title: Papaver alpinum
title: Alpen-Mohn (Papaver alpinum)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 4 Bilder des Alpen-Mohns.
Additional file 2 of Non-communicable disease governance in the era of the sustainable development goals: a qualitative analysis of food industry framing in WHO consultations
Creators: name: Lauber, Kathrin
name: Ralston, Rob
name: Mialon, Mélissa
name: Carriedo, Angela
name: Gilmore, Anna B.
Publisher: name: figshare
Year: 2020
Subjects: subject: Law
subject: FOS: Law

description: Additional file 2. Coding framework used to map positions on policy and preferred governance approaches. This file describes in more detail the framework used to code the policy positions of consultation respondents in our sample.
Quantum-classical simulation of quantum field theory by quantum circuit learning
Creators: name: Ikeda, Kazuki
Publisher: name: arXiv
Year: 2023
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Machine Learning (cs.LG)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: Nuclear Theory (nucl-th)
subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences
subject: FOS: Computer and information sciences

description: We employ quantum circuit learning to simulate quantum field theories (QFTs). Typically, when simulating QFTs with quantum computers, we encounter significant challenges due to the technical limitations of quantum devices when implementing the Hamiltonian using Pauli spin matrices. To address this challenge, we leverage quantum circuit learning, employing a compact configuration of qubits and low-depth quantum circuits to predict real-time dynamics in quantum field theories. The key advantage of this approach is that a single-qubit measurement can accurately forecast various physical parameters, including fully-connected operators. To demonstrate the effectiveness of our method, we use it to predict quench dynamics, chiral dynamics and jet production in a 1+1-dimensional model of quantum electrodynamics. We find that our predictions closely align with the results of rigorous classical calculations, exhibiting a high degree of accuracy. This hybrid quantum-classical approach illustrates the feasibility of efficiently simulating large-scale QFTs on cutting-edge quantum devices.
Experimental Generation of Spin-Photon Entanglement in Silicon Carbide
Creators: name: Fang, Ren-Zhou
name: Lai, Xiao-Yi
name: Li, Tao
name: Su, Ren-Zhu
name: Lu, Bo-Wei
name: Yang, Chao-Wei
name: Liu, Run-Ze
name: Qiao, Yu-Kun
name: Li, Cheng
name: He, Zhi-Gang
name: Huang, Jia
name: Li, Hao
name: You, Li-Xing
name: Huo, Yong-Heng
name: Bao, Xiao-Hui
name: Pan, Jian-Wei
Publisher: name: arXiv
Year: 2023
Subjects: subject: Quantum Physics (quant-ph)
subject: Atomic Physics (physics.atom-ph)
subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: A solid-state approach for quantum networks is advantages, as it allows the integration of nanophotonics to enhance the photon emission and the utilization of weakly coupled nuclear spins for long-lived storage. Silicon carbide, specifically point defects within it, shows great promise in this regard due to the easy of availability and well-established nanofabrication techniques. Despite of remarkable progresses made, achieving spin-photon entanglement remains a crucial aspect to be realized. In this paper, we experimentally generate entanglement between a silicon vacancy defect in silicon carbide and a scattered single photon in the zero-phonon line. The spin state is measured by detecting photons scattered in the phonon sideband. The photonic qubit is encoded in the time-bin degree-of-freedom and measured using an unbalanced Mach-Zehnder interferometer. Photonic correlations not only reveal the quality of the entanglement but also verify the deterministic nature of the entanglement creation process. By harnessing two pairs of such spin-photon entanglement, it becomes straightforward to entangle remote quantum nodes at long distance.
description: 8 pages in total, 4 figures in the main text, 1 figure in the supplemental material
Lifting 1/4-BPS States on K3 and Mathieu Moonshine
Creators: name: Keller, Christoph A.
name: Zadeh, Ida G.
Publisher: name: arXiv
Year: 2019
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: Algebraic Geometry (math.AG)
subject: Number Theory (math.NT)
subject: Representation Theory (math.RT)
subject: FOS: Physical sciences
subject: FOS: Mathematics

description: The elliptic genus of K3 is an index for the 1/4-BPS states of its sigma model. At the torus orbifold point there is an accidental degeneracy of such states. We blow up the orbifold fixed points using conformal perturbation theory, and find that this fully lifts the accidental degeneracy of the 1/4-BPS states with h=1. At a generic point near the Kummer surface the elliptic genus thus measures not just their index, but counts the actual number of these BPS states. We comment on the implication of this for symmetry surfing and Mathieu moonshine.
description: 29+5 pp, a sign mistake corrected in eqs. (3.14) and (4.20), footnote 6 added to clarify this point, references added
title: Papaver argemone
title: Sand-Mohn (Papaver argemone)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 7 Bilder des Sand-Mohns.
Which Augmentation Should I Use? An Empirical Investigation of Augmentations for Self-Supervised Phonocardiogram Representation Learning
Creators: name: Ballas, Aristotelis
name: Papapanagiotou, Vasileios
name: Diou, Christos
Publisher: name: arXiv
Year: 2023
Subjects: subject: Machine Learning (cs.LG)
subject: Sound (cs.SD)
subject: Audio and Speech Processing (eess.AS)
subject: Quantitative Methods (q-bio.QM)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Biological sciences

description: Despite recent advancements in deep learning, its application in real-world medical settings, such as phonocardiogram (PCG) classification, remains limited. A significant barrier is the lack of high-quality annotated datasets, which hampers the development of robust, generalizable models that can perform well on newly collected, out-of-distribution (OOD) data. Self-Supervised Learning (SSL) contrastive learning, has shown promise in mitigating the issue of data scarcity by using unlabeled data to enhance model robustness. Even though SSL methods have been proposed and researched in other domains, works focusing on the impact of data augmentations on model robustness for PCG classification are limited. In particular, while augmentations are a key component in SSL, selecting the most suitable policy during training is highly challenging. Improper augmentations can lead to substantial performance degradation and even hinder a network's ability to learn meaningful representations. Addressing this gap, our research aims to explore and evaluate a wide range of audio-based augmentations and uncover combinations that enhance SSL model performance in PCG classification. We conduct a comprehensive comparative analysis across multiple datasets, assessing the impact of various augmentations on model performance. Our findings reveal that depending on the training distribution, augmentation choice significantly influences model robustness, with fully-supervised models experiencing up to a 32\% drop in effectiveness when evaluated on unseen data, while SSL models demonstrate greater resilience, losing only 10\% or even improving in some cases. This study also highlights the most promising and appropriate augmentations for PCG signal processing, by calculating their effect size on training. These insights equip researchers with valuable guidelines for developing reliable models in PCG signal processing.
description: Accepted in IEEE ACCESS: https://doi.org/10.1109/ACCESS.2024.3519297
Extracting efficient exact real number computation from proofs in constructive type theory
Creators: name: Konečný, Michal
name: Park, Sewon
name: Thies, Holger
Publisher: name: arXiv
Year: 2022
Subjects: subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: Exact real computation is an alternative to floating-point arithmetic where operations on real numbers are performed exactly, without the introduction of rounding errors. When proving the correctness of an implementation, one can focus solely on the mathematical properties of the problem without thinking about the subtleties of representing real numbers. We propose a new axiomatization of the real numbers in a dependent type theory with the goal of extracting certified exact real computation programs from constructive proofs. Our formalization differs from similar approaches, in that we formalize the reals in a conceptually similar way as some mature implementations of exact real computation. Primitive operations on reals can be extracted directly to the corresponding operations in such an implementation, producing more efficient programs. We particularly focus on the formalization of partial and nondeterministic computation, which is essential in exact real computation.
 We prove the soundness of our formalization with regards of the standard realizability interpretation from computable analysis and show how to relate our theory to a classical formalization of the reals. We demonstrate the feasibility of our theory by implementing it in the Coq proof assistant and present several natural examples. From the examples we have automatically extracted Haskell programs that use the exact real computation framework AERN for efficiently performing exact operations on real numbers. In experiments, the extracted programs behave similarly to native implementations in AERN in terms of running time and memory usage.
Sickness, Accident, and Maternity Insurance For Farmers: A Need For Change
Creators: name: Podstawka, Marian
name: Podstawka Łukasz
name: Podstawka, Marian
name: Podstawka Łukasz
Publisher: name: Unknown
Year: 2021
Subjects: subject: Labor and Human Capital
subject: Public Economics
subject: Risk and Uncertainty
subject: agricultural insurance
subject: social insurance
subject: sickness insurance
subject: accident insurance
subject: maternity insurance

description: The aim of the study is to present the subjective and objective aspects of sickness, accident, and maternity insurance for farmers. The study deals with the income and expenses of the Contribution Fund and their correlation with the amount of benefits paid. The study uses financial analysis methods, descriptive analysis methods, and logical inference. Results are presented in tabular form. Between 2009 and 2019, there was a decrease in the number of insured persons. The Contribution Fund has been increasingly financing tasks indirectly related to sickness, accident, and maternity insurance. The conducted assessment shows that the currently existing legal regulations concerning the first pillar of insurance risks by the Agricultural Social Insurance Fund (KRUS), i.e., sickness, accident, and maternity risks, specified in the Farmers’ Social Insurance Act, have become obsolete and require changes. The definition of an accident at work in agriculture requires a new regulation. It is about extending the scope of agricultural activity to include activities related to the processing of agricultural raw materials, provision of services, supervision and protection of property, and conducting non-agricultural business activities.
Additional file 3 of Non-communicable disease governance in the era of the sustainable development goals: a qualitative analysis of food industry framing in WHO consultations
Creators: name: Lauber, Kathrin
name: Ralston, Rob
name: Mialon, Mélissa
name: Carriedo, Angela
name: Gilmore, Anna B.
Publisher: name: figshare
Year: 2020
Subjects: subject: Law
subject: FOS: Law

description: Additional file 3. Summary of policy positions across all business associations in our sample. This file provides a quantitative overview of how many BAs in our sample supported or opposed a number of policies.
Statistical Description of Acoustic Turbulence
Creators: name: L'vov, Victor S.
name: L'vov, . Yu.
name: Newell, A. C.
name: Zakharov, V.
Publisher: name: arXiv
Year: 1996
Subjects: subject: Chaotic Dynamics (nlin.CD)
subject: FOS: Physical sciences

description: We develop expressions for the nonlinear wave damping and frequency correction of a field of random, spatially homogeneous, acoustic waves. The implications for the nature of the equilibrium spectral energy distribution are discussed
description: PRE, Submitted. REVTeX, 16 pages, 3 figures (not included) PS Source of the paper with figures avalable at http://lvov.weizmann.ac.il/onlinelist.html
Cyanus pichleri Holub 1973
Creators: name: Negaresh, Kazem
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Calliphoridae
Cyanus
Cyanus pichleri

description: 11. Cyanus pichleri (Boiss.) Holub (1973: 144).
 Centaurea pichleri Boissier (1875: 638). Centaurea lanigera subsp. pichleri (Boiss.) Dostál (1931: 67). Type:— TURKEY. Felsige Abhänge der südseites des Mte. Olymp. bei Bursa, July 1874, Pichler 62 (holotype G-BOIS! (G00150032)).
 Centaurea pichleri var. ancyrensis Bornmüller (1944: 376), syn. nova.
 Type:— TURKEY. Ankara: ad Angora Galatiae, 1892, Bornmüller 3170 (lectotype JE 00022012! designated here, isolectotypes E00476656!, K000794260!, P00703808!).
 Taxonomic notes: — Cyanus pichleri is represented by two subspecies in Turkey (Wagenitz 1975, Greuter 2003): subspecies pichleri has involucers in 15–20 × (8–)9–13(–15) mm size, cilia in (l.5–) 2–3 mm length, peripheral florets strongly radiant and ca. 15–20 mm longer than the involucre; and subspecies extrarosularis has involucres in 11–15 × 7–8(–9) mm size, cilia in 1–1.5(–2) mm length, peripheral florets slightly radiant and ca. 10 mm longer than the involucre.
 Bornmüller (1944) described his new variety (i.e. var. ancyrensis) on the basis of lyrate basal leaves of the type specimen. My extensive examinations of specimens at different herbaria revealed the presence of a continuous range of the basal leaves from undivided to lyrate. Therefore this variety should be considered as a synonym of C. pichleri.
 Distribution: — Cyanus pichleri is mainly distributed in Turkey and there are also a few populations in Bulgaria and Greece
description: Published as part of Negaresh, Kazem, 2022, A checklist of the genus Cyanus (Asteraceae, Cardueae) in Turkey, with notes on taxonomy and distribution, pp. 18-40 in Phytotaxa 531 (1) on pages 27-28, DOI: 10.11646/phytotaxa.531.1.2, http://zenodo.org/record/5843470
Recovering Purity with Comonads and Capabilities
Creators: name: Choudhury, Vikraman
name: Krishnaswami, Neel
Publisher: name: arXiv
Year: 2019
Subjects: subject: Programming Languages (cs.PL)
subject: Logic in Computer Science (cs.LO)
subject: FOS: Computer and information sciences

description: In this paper, we take a pervasively effectful (in the style of ML) typed lambda calculus, and show how to extend it to permit capturing pure expressions with types. Our key observation is that, just as the pure simply-typed lambda calculus can be extended to support effects with a monadic type discipline, an impure typed lambda calculus can be extended to support purity with a comonadic type discipline. We establish the correctness of our type system via a simple denotational model, which we call the capability space model. Our model formalizes the intuition common to systems programmers that the ability to perform effects should be controlled via access to a permission or capability, and that a program is capability-safe if it performs no effects that it does not have a runtime capability for. We then identify the axiomatic categorical structure that the capability space model validates, and use these axioms to give a categorical semantics for our comonadic type system. We then give an equational theory (substitution and the call-by-value $β$ and $η$ laws) for the imperative lambda calculus, and show its soundness relative to this semantics. Finally, we give a translation of the pure simply-typed lambda calculus into our comonadic imperative calculus, and show that any two terms which are $βη$-equal in the STLC are equal in the equational theory of the comonadic calculus, establishing that pure programs can be mapped in an equation-preserving way into our imperative calculus.
description: Extended version of the ICFP 2020 paper
title: Papaver dubium
title: Saat-Mohn (Papaver dubium)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 4 Bilder des Saat-Mohns.
Exploring Real Estate Financing in China and the U.S.: A Comparison Case Study Approach
Creators: Huang, Qun
Publisher: name: Columbia University
Year: 2018
Subjects: City planning
Real estate business--Finance

description: This thesis intends to explore the difference in how the real estate companies are financed between China and U.S, via a comparison case study of Vanke (000002 SHE) and AvalonBay Communities, Inc. (AVB NYSE). To answer that question, we have to explore in detail the financing needs of the two companies based on their operating conditions and financial dispositions. An evaluation on corporate capital efficiency is thus necessary. This thesis intends to analyze the two companies from perspectives of profitability, solvency and operating conditions. Furthermore, the analysis results are synthesized based on Financial Matrix model to explore the capital structure and financing needs of the companies. With the analysis results of the capital structure and financing needs of the companies, the thesis will explore the major external financing instruments applied in the companies, which hopefully indicates tip of the iceberg. The analysis will be developed with three basic questions: how are the instruments applied? How do the instruments help the development of the companies? What are the internal and external factors affecting the selection and usage of the instruments? Based on the analysis of financing instruments applied by the companies in our case study, this thesis intends to summarize and potentially generalize the differences.
Coherent state representations of the holomorphic automorphism group of a quasi-symmetric Siegel domain of type III
Creators: name: Arashi, Koichi
Publisher: name: arXiv
Year: 2023
Subjects: subject: Representation Theory (math.RT)
subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: Primary 22E45, 81R30, Secondary 32M10, 53D50

description: The aim of this paper is to study the classification of generic coherent state representations of a Lie group and its connection to the structure theory of Kähler algebras. The group we deal with is the holomorphic automorphism group of a quasi-symmetric Siegel domain of type III. A method using the generalized Iwasawa decomposition is provided.
description: 10 pages
Formal Synthesis of Stochastic Systems via Control Barrier Certificates
Creators: name: Jagtap, Pushpak
name: Soudjani, Sadegh
name: Zamani, Majid
Publisher: name: arXiv
Year: 2019
Subjects: subject: Systems and Control (eess.SY)
subject: Optimization and Control (math.OC)
subject: FOS: Electrical engineering, electronic engineering, information engineering
subject: FOS: Mathematics

description: This paper focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties. The desired properties of the system are expressed as linear temporal logic (LTL) specifications over finite traces. In particular, our approach decomposes the given specification into simpler reachability tasks based on its automata representation. We then propose the use of so-called \emph{control barrier certificate} to solve those simpler reachability tasks along with computing the corresponding controllers and probability bounds. Finally, we combine those controllers to obtain a hybrid control policy solving the considered problem. Under some assumptions, we also provide two systematic approaches for uncountable and finite input sets to search for control barrier certificates. We demonstrate the effectiveness of the proposed approach on a room temperature control and lane-keeping of a vehicle modeled as a four-dimensional single-track kinematic model. We compare our results with the discretization-based methods in the literature.
description: 22 pages, 11 figures. arXiv admin note: text overlap with arXiv:1807.00064
title: Thymus praecox ssp. polytrichus
title: Alpen-Thymian (Thymus praecox ssp. polytrichus)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Langhaar-Thymian
subject: Thymus polytrichus
subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 11 Bilder des Alpen-Thymians.
On the critical exponents of random k-SAT
Creators: name: Wilson, David B.
Publisher: name: arXiv
Year: 2000
Subjects: subject: Probability (math.PR)
subject: FOS: Mathematics

description: There has been much recent interest in the satisfiability of random Boolean formulas. A random k-SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known that when the number of variables n is large, there is a sharp transition from satisfiability to unsatisfiability; in the case of 2-SAT this happens when m/n --> 1, for 3-SAT the critical ratio is thought to be m/n ~ 4.2. The sharpness of this transition is characterized by a critical exponent, sometimes called ν=ν_k (the smaller the value of νthe sharper the transition). Experiments have suggested that ν_3 = 1.5+-0.1, ν_4 = 1.25+-0.05, ν_5=1.1+-0.05, ν_6 = 1.05+-0.05, and heuristics have suggested that ν_k --> 1 as k --> infinity. We give here a simple proof that each of these exponents is at least 2 (provided the exponent is well-defined). This result holds for each of the three standard ensembles of random k-SAT formulas: m clauses selected uniformly at random without replacement, m clauses selected uniformly at random with replacement, and each clause selected with probability p independent of the other clauses. We also obtain similar results for q-colorability and the appearance of a q-core in a random graph.
description: 11 pages. v2 has revised introduction and updated references
Cyanus pichleri Holub 1973
Creators: name: Negaresh, Kazem
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Calliphoridae
Cyanus
Cyanus pichleri

description: Key to the subspecies of C. pichleri
 1. Involucre 15–20 × (8–)9–13(–15) mm; cilia (l.5–) 2–3 mm long; peripheral florets strongly radiant, ca. 15–20 mm longer than the involucre..................................................................................................................................................... C. pichleri subsp. pichleri
 - Involucre 11–15 × 7–8(–9) mm; cilia 1–1.5(–2) mm long; peripheral florets slightly radiant, ca. 10 mm longer than the involucre.......................................................................................................................................................... C. pichleri subsp. extrarosularis
description: Published as part of Negaresh, Kazem, 2022, A checklist of the genus Cyanus (Asteraceae, Cardueae) in Turkey, with notes on taxonomy and distribution, pp. 18-40 in Phytotaxa 531 (1) on page 28, DOI: 10.11646/phytotaxa.531.1.2, http://zenodo.org/record/5843470
A note on hamiltonian Lie group actions and Massey products
Creators: name: Stepien, Zofia
name: Tralle, Aleksy
Publisher: name: arXiv
Year: 2002
Subjects: subject: Differential Geometry (math.DG)
subject: FOS: Mathematics
subject: 53C15

description: In this note we show that the property of having only vanishing triple Massey products in the equivariant cohomology is inherited by the set of fixed points of hamiltonian circle actions on closed symplectic manifolds. This result can be considered in a more general context of characterizing homotopic properties of Lie group actions. In particular, it can be viewed as a partial answer to the Allday-Puppe question about finding conditions ensuring the "formality" of G-actions.
description: 7 pages, AMSTeX
title: Clinopodium vulgare
title: Wirbeldost (Clinopodium vulgare)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 12 Bilder des Wirbeldosts.
Ratchet based ion pumps for selective ion separations
Creators: name: Herman, Alon
name: Ager, Joel W.
name: Ardo, Shane
name: Segev, Gideon
Publisher: name: arXiv
Year: 2022
Subjects: subject: Applied Physics (physics.app-ph)
subject: FOS: Physical sciences

description: The development of a selective, membrane-based ion separation technology may prove useful in a wide range of applications such as water treatment, battery recycling, ion specific chemical sensors, extraction of valuable metals from sea water, and bio-medical devices. In this work we show that a flashing ratchet mechanism can be used for high precision ion separation. The suggested ratchet-based ion pumps utilize a unique feature of ratchets, the frequency dependent current reversals, to drive ions with the same charge but different diffusion coefficients in opposite directions. We show that for the prevalent ions in water, ions with a relative diffusion coefficient difference as small as 1% can be separated by driving them in opposite directions with a velocity difference as high as 1.2 mm/s. Since the pumping properties of the ratchet are determined by an electric input signal, the proposed ion pumps can pave the way for simple large-scale, fit-to-purpose selective ion separation systems.
title: Papaver spec.
title: Hybrid-Mohn (Papaver spec.)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 1 Bild des Hybrid-Mohns.
Additional file 1 of Generation of individualized immunocompatible endothelial cells from HLA-I-matched human pluripotent stem cells
Creators: name: Song, Chanchan
name: Wang, Linlin
name: Li, Qingyang
name: Liao, Baoyi
name: Qiao, Weihua
name: Li, Qiang
name: Dong, Nianguo
name: Li, Liangping
Publisher: name: figshare
Year: 2022
Subjects: subject: Cell Biology
subject: Genetics
subject: FOS: Biological sciences
subject: Molecular Biology
subject: Physiology
subject: Immunology
subject: FOS: Clinical medicine
subject: Developmental Biology
subject: Plant Biology
subject: Computational Biology

description: Additional file 1: Fig. S1. Heat map of marker gene panels associated with genomic stability for a series of subclones of human iPSC line (LHPb-Yaab) analyzed by q-PCR analysis. Subclones C55 and C56 with a higher level of marker genes are indicated in the red frame. Fig. S2. Flow cytometry assay for optimization of Nucleofector program for the C55 cell line. Four different programs (A13, A23, A27, and B16) were tested to transfect C55 cells with the RNP complex of Cas9 protein and B2M sgRNA. The A23 program achieved the best transfection. Fig. S3. (A) Flow cytometry assay for six clones of C55-B2Mko with anti-huHLA-ABC staining, 5 of them were HLA-I negative. (B) Flow cytometry assay for four clones of C55-A11 with anti-huHLA-ABC staining, all of them were HLA-I positive. Fig. S4. STR DNA analysis for C55 and C55-A11, they shared the same STR profiling. Fig. S5. Flow cytometry analysis for optimization of CHIR99021 (CHIR)-induced EC differentiation. Five different concentrations (6, 6.5, 7, 7.5, and 8 μM) of CHIR were tested for EC differentiation, which was measured by CD144-PE and KDR-APC staining. Fig. S6. Gating strategy of FCM assay used in T cell proliferation. Fig. S7. Gating strategy of FCM assay used in NK cell degranulation assay.
Observational study of hydrocarbons in the bright photodissociation region of Messier 8
Creators: name: Tiwari, M.
name: Menten, K. M.
name: Wyrowski, F.
name: Pérez-Beaupuits, J. P.
name: Lee, M. -Y.
name: Kim, W. -J.
Publisher: name: arXiv
Year: 2019
Subjects: subject: Astrophysics of Galaxies (astro-ph.GA)
subject: FOS: Physical sciences

description: Hydrocarbons are ubiquitous in the interstellar medium, but their formation is still not well understood, depending on the physical environment they are found in. M8 is host to one of the brightest HII regions and PDRs in our galaxy. Using the APEX, and the IRAM 30 m telescopes, we performed a line survey toward Herschel 36 (Her 36), which is the main ionizing stellar system in M8, and an imaging survey within 1.3 $\times$ 1.3 pc around Her 36 of various transitions of C$_{2}$H and c-C$_{3}$H$_{2}$. We used both LTE and non-LTE methods to determine the physical conditions of the emitting gas along with the column densities and abundances of the observed species, which we compared with (updated) gas phase photochemical PDR models. In order to examine the role of PAHs in the formation of small hydrocarbons and to investigate their association with M8, we compared archival GLIMPSE 8 $μ$m and the SPIRE 250 $μ$m continuum images with the C$_{2}$H emission maps. We observed a total of three rotational transitions of C$_{2}$H with their hyperfine structure components and four rotational transitions of c-C$_{3}$H$_{2}$ with ortho and para symmetries toward M8. Fragmentation of PAHs seems less likely to contribute to the formation of small hydrocarbons as the 8 $μ$m emission does not follow the distribution of C$_{2}$H emission, which is more associated with the molecular cloud. From the quantitative analysis, we obtained abundances of $\sim$ 10$^{-8}$ and 10$^{-9}$ for C$_{2}$H and c-C$_{3}$H$_{2}$ respectively, and volume densities of the hydrocarbon emitting gas in the range $n(\rm H_2)$ $\sim$ 5 $\times$ 10$^{4}$--5 $\times$ 10$^{6}$ cm$^{-3}$. The observed column densities of C$_{2}$H and c-C$_3$H$_{2}$ are reproduced reasonably well by our PDR models. This supports the idea that in high-UV flux PDRs, gas phase chemistry is sufficient to explain hydrocarbon abundances.
description: 14 pages, 10 figures
Closed-Loop Finite-Time Analysis of Suboptimal Online Control
Creators: name: Karapetyan, Aren
name: Balta, Efe C.
name: Iannelli, Andrea
name: Lygeros, John
Publisher: name: arXiv
Year: 2023
Subjects: subject: Systems and Control (eess.SY)
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Suboptimal methods in optimal control arise due to a limited computational budget, unknown system dynamics, or a short prediction window among other reasons. Although these methods are ubiquitous, their transient performance remains relatively unstudied. We consider the control of discrete-time, nonlinear time-varying dynamical systems and establish sufficient conditions to analyze the finite-time closed-loop performance of such methods in terms of the additional cost incurred due to suboptimality. Finite-time guarantees allow the control design to distribute a limited computational budget over a time horizon and estimate the on-the-go loss in performance due to suboptimality. We study exponential incremental input-to-state stabilizing policies and show that for nonlinear systems, under some mild conditions, this property is directly implied by exponential stability without further assumptions on global smoothness. The analysis is showcased on a suboptimal model predictive control use case.
description: Published in IEEE Transactions on Automatic Control (TAC)
Quantum harmonic oscillator algebras as non-relativistic limits of multiparametric $gl(2)$ quantizations
Creators: name: Ballesteros, Angel
name: Herranz, Francisco J.
name: Parashar, Preeti
Publisher: name: arXiv
Year: 1998
Subjects: subject: Quantum Algebra (math.QA)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences

description: Multiparametric quantum $gl(2)$ algebras are presented according to a classification based on their corresponding Lie bialgebra structures. From them, the non-relativistic limit leading to quantum harmonic oscillator algebras is implemented in the form of generalized Lie bialgebra contractions.
description: 8 pages, LaTeX; presented by P.P. at the VII-th Colloquium "Quantum Groups and Integrable Systems", Prague 18-20 June 1998, to be published in Czech. J. Phys
title: Thymus pulegioides
title: Arznei-Thymian (Thymus pulegioides)
titleType: AlternativeTitle
Creators: name: Schulz, Herbert
Publisher: name: Universitätsbibliothek Braunschweig
Year: 2006
Subjects: subject: Feld-Thymian
subject: Diasammlung Herbert Schulz
subject: 580

description: Enthält 17 Bilder des Arznei-Thymians.
Study with in situ data of the May and October 2024 geomagnetic storms
Creators: name: BEMPORAD, Alessandro
name: NTAVOULTZOPOULOU, Panagiota
name: BERGAMIN, Giorgio
Publisher: name: O.A. Torino
Year: 2025

description: The work described here was performed during a two-months internship carried out in the framework of the ERASMUS project under an agreement between the Ioannina University and the INAF-Turin Astrophysical Observatory, in the period between mid-October and mid-December 2024.
description: In this study, we analyzed two major geomagnetic storms that occurred in 2024. For our analysis, we used in-situ data from NASA’s Advanced Composition Explorer (ACE) spacecraft, specifically measurements from the SWEPAM instrument. We examined key plasma parameters such as proton density, magnetic field components, and bulk speed, while also calculating derived quantities like Alfvén speed, the convection electric field, and the Alfvénic Mach number. Our analysis covered the time intervals from 09/05/2024 to 13/05/2024 for the May geomagnetic storm and from 09/10/2024 to 10/10/2024 for the October storm, focusing on their evolution in relation to the Dst index. This study was conducted as part of a two-month Erasmus internship.
Depolarization dyadics for truncated spheres, spheroids, and ellipsoids
Creators: name: Mackay, Tom G.
name: Lakhtakia, Akhlesh
Publisher: name: arXiv
Year: 2023
Subjects: subject: Optics (physics.optics)
subject: FOS: Physical sciences

description: Depolarization dyadics play a central role in theoretical studies involving scattering from small particles and homogenization of particulate composite materials. Closed-form expressions for depolarization dyadics have been developed for truncated spheres and truncated spheroids, and the formalism has been extended to truncated ellipsoids; the evaluation of depolarization dyadics for this latter case requires numerical integration. The Hölder continuity condition has been exploited to fix the origin of the coordinate system for the evaluation of depolarization dyadics.These results will enable theoretical studies involving scattering from small particles and homogenization of particulate composite materials to accommodate particles with a much wider range of shapes than was the case hitherto.
Dirac point formation revealed by Andreev tunneling in superlattice-graphene/superconductor junctions
Creators: name: Páez, Shirley Gómez
name: Burset, Pablo
name: Martínez, Camilo
name: Herrera, William J.
name: Yeyati, Alfredo Levy
Publisher: name: arXiv
Year: 2019
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: A graphene superlattice is formed by a one-dimensional periodic potential and is characterized by the emergence of new Dirac points in the electronic structure. The group velocity of graphene's massless Dirac fermions at the new points is drastically reduced, resulting in a measurable effect in the conductance spectroscopy. We show here that tunnel spectroscopy using a superconducting hybrid junction is more sensitive to the formation of Dirac points in the spectrum of graphene superlattices due to the additional contribution of Andreev processes. We examine the transport properties of a graphene-based superlattice--superconductor hybrid junction and demonstrate that a superlattice potential can coexist with proximity-induced superconducting correlations. Both effects contribute to change graphene's spectrum for subgap energies and, as a result, the normalized tunneling conductance features sharp changes for voltages proportional to the energy separation between the original and the newly generated Dirac points.
description: 9 pages, 5 figures
Unsupervised Bayesian classification for models with scalar and functional covariates
Creators: name: Garcia, Nancy L.
name: Rodrigues-Motta, Mariana
name: Migon, Helio S.
name: Petkova, Eva
name: Tarpey, Thaddeus
name: Ogden, R. Todd
name: Giodano, Julio O.
name: Perez, Martin Matias
Publisher: name: arXiv
Year: 2022
Subjects: subject: Methodology (stat.ME)
subject: FOS: Computer and information sciences

description: We consider unsupervised classification by means of a latent multinomial variable which categorizes a scalar response into one of L components of a mixture model. This process can be thought as a hierarchical model with first level modelling a scalar response according to a mixture of parametric distributions, the second level models the mixture probabilities by means of a generalised linear model with functional and scalar covariates. The traditional approach of treating functional covariates as vectors not only suffers from the curse of dimensionality since functional covariates can be measured at very small intervals leading to a highly parametrised model but also does not take into account the nature of the data. We use basis expansion to reduce the dimensionality and a Bayesian approach to estimate the parameters while providing predictions of the latent classification vector. By means of a simulation study we investigate the behaviour of our approach considering normal mixture model and zero inflated mixture of Poisson distributions. We also compare the performance of the classical Gibbs sampling approach with Variational Bayes Inference.
description: 41 pages; 13 figures, 17 tables
Wess-Zumino-Witten model on elliptic curves at the critical level
Creators: name: Kuroki, Gen
name: Takebe, Takashi
Publisher: name: arXiv
Year: 2000
Subjects: subject: Quantum Algebra (math.QA)
subject: FOS: Mathematics
subject: 81R10; 22E70

description: We construct a Gaudin type lattice model as the Wess-Zumino-Witten model on elliptic curves at the critical level. Bethe eigenvectors are obtained by the bosonisation technique.
description: Talk given at Mathematical Methods of Regular Dynamics dedicated to the 150th anniversary of Sophie Kowalevski, University of Leeds, 12-15 April, 2000
Exploring Skill Condensation Rules for Cognitive Diagnostic Models in a Bayesian Framework
Creators: Luna Bazaldua, Diego A.
Publisher: name: Columbia University
Year: 2015
Subjects: Educational tests and measurements
Education--Mathematical models
Educational evaluation
Psychometrics

description: Diagnostic paradigms are becoming an alternative to normative approaches in educational assessment. One of the principal objectives of diagnostic assessment is to determine skill proficiency for tasks that demand the use of specific cognitive processes. Ideally, diagnostic assessments should include accurate information about the skills required to correctly answer each item in a test, as well as any additional evidence about the interaction between those cognitive constructs. Nevertheless, little research in the field has focused on the types of interactions (i.e., the condensation rules) among skills in models for cognitive diagnosis.
      The present study introduces a Bayesian approach to determine the underlying interaction among the skills measured by a given item when comparing among models with conjunctive, disjunctive, and compensatory condensation rules. Following the reparameterization framework proposed by DeCarlo (2011), the present study includes transformations for disjunctive and compensatory models. Next, a methodology that compares between pairs of models with different condensation rules is presented; parameters in the model and their distribution were defined considering former Bayesian approaches proposed in the literature.
      Simulation studies and empirical studies were performed to test the capacity of the model to correctly identify the underlying condensation rule. Overall, results from the simulation study showed that the correct condensation rule is correctly identified across conditions. The results showed that the correct condensation rule identification depends on the item parameter values used to generate the data and the use of informative prior distributions for the model parameters. Latent class sizes parameters for the skills and their respective hyperparameters also showed a good recovery in the simulation study. The recovery of the item parameters presented limitations, so some guidelines to improve their estimation are presented in the results and discussion sections.
      The empirical studies highlighted the usefulness of this approach in determining the interaction among skills using real items from a mathematics test and a language test. Despite the differences in their area of knowledge and Q-matrix structure, results indicated that both tests are composed in a higher proportion of conjunctive items that demand the mastery of all skills.
Cyanus pichleri subsp. pichleri
Creators: name: Negaresh, Kazem
Publisher: name: Zenodo
Year: 2022
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Diptera
Calliphoridae
Cyanus
Cyanus pichleri
Cyanus pichleri subsp. pichleri

description: 11a. Cyanus pichleri subsp. pichleri
 Distribution: — Cyanus pichleri subsp. pichleri is widely distributed in Ankara, Corum, Icel, Yozgat, Nevşehir, Kütahya, Kayseri, Adana, Konya, Bursa, Kastamonu, Sivas, Eskişehir, Uşak, Bolu and Antalya Provinces, from NW to N and C to S Turkey (Fig. 6). There are also a few populations in Bulgaria and Greece (Boršić et al. 2011). In addition, the distribution of C. pichleri subsp. pichleri is wider in comparison to the other subspecies.
 Selected specimens examined:— TURKEY. B4 Ankara: Angora, 5 May 1933, Balls 218 (E!); Dikmen Da., 7 May 1933, Balls 227 (E!). A5 Corum: after Gumushaciköy, 800 m, 31 May 1969, Tobey 2654 (E!). C4 Icel: Mut to Karaman, 30 miles N of Mut, 1600 m, 13 May 1963, Coode & Jones 943 (E!). Yozgat: 16 km from Sorgun to Çekerek, ca. 1200 m, 27 May 1963, Coode & Jones 1553 (E!); 10 km N of Bogazliyan, 1200 m, 25 May 1963, Coode & Jones 1503 (E!); Yozgat, June 1960, Curtis 189 (E!). B5 Nevşehir: ca. 16 km from Ürgüp to Akköy, 1400 m, 21 May 1965, Coode & Jones 1300 (E!). B2 Kütahya: Murat Dağ above Banaz, S slope, 2000–2150 m, 15 June 1965, Coode & Jones 2512 (E!); Ak Da. near Simav, 1900–2100 m, 19 June 1965, Coode & Jones 2712 (E!). B6 Kayseri: Pinarbaşi, 1300 m, 25 May 1960, Stainton & Henderson 5151 (E!). C5 Adana: Karanfil, 2140–2440 m, 4 July 1966, Bisby 12 (E!). B3 Konya: Passhohe sudwestlich Aksehir in den Sultan daolari steiniger, trockener Hang, 1600 m, 7 July 1963, Holtz et al. 00.555 (E!). C4 Konya: Yelibel Da. between Karaman and Ermenek, 2280 m, Huber-Morath 8674 (Hb. Hub. - Mor.!); Sultan Da. near Akşehir, 1890–1910 m, Huber-Morath 8675 (Hb. Hub. - Mor.!). Bursa: in summis jugis Olympi Bithyn., July 1874, Pichler, Plantae exsiccatae florae rumelicae et bithynicae 121 (JE!). Bolu: Abant Gölü, Hügel südl. vom See, 1300–1650 m, 5 June 1986, Speta s.n. (W!). Antalya: Yumrudag, Seehöhe: 1400–1800 m, 8 June 1988, Speta s.n. (W!); Beydağlari, Tahtali Dağ, ca. 45 km SW of Antalya, 23 April 1990, Dinnetz et al. (GB!).
description: Published as part of Negaresh, Kazem, 2022, A checklist of the genus Cyanus (Asteraceae, Cardueae) in Turkey, with notes on taxonomy and distribution, pp. 18-40 in Phytotaxa 531 (1) on page 28, DOI: 10.11646/phytotaxa.531.1.2, http://zenodo.org/record/5843470
String Theory and Duality
Creators: name: Aspinwall, Paul S.
Publisher: name: arXiv
Year: 1998
Subjects: subject: Algebraic Geometry (math.AG)
subject: High Energy Physics - Theory (hep-th)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 81T30, 14J32, 14J28, 14J60

description: This is a very brief survey of some results in the geometry of string duality delivered at a lecture given at ICM 1998, Berlin. String Duality is the statement that one kind of string theory compactified on one space is equivalent in some sense to another string theory compactified on a second space. This draws a connection between two quite different spaces. Mirror symmetry is an example of this. Here we discuss mirror symmetry and another ``heterotic/type II'' duality which relates vector bundles on a K3 surface to a Calabi-Yau threefold.
description: 1- pages, AMS-LaTeX
SGANVO: Unsupervised Deep Visual Odometry and Depth Estimation with Stacked Generative Adversarial Networks
Creators: name: Feng, Tuo
name: Gu, Dongbing
Publisher: name: arXiv
Year: 2019
Subjects: subject: Robotics (cs.RO)
subject: Computer Vision and Pattern Recognition (cs.CV)
subject: Image and Video Processing (eess.IV)
subject: FOS: Computer and information sciences
subject: FOS: Electrical engineering, electronic engineering, information engineering

description: Recently end-to-end unsupervised deep learning methods have achieved an effect beyond geometric methods for visual depth and ego-motion estimation tasks. These data-based learning methods perform more robustly and accurately in some of the challenging scenes. The encoder-decoder network has been widely used in the depth estimation and the RCNN has brought significant improvements in the ego-motion estimation. Furthermore, the latest use of Generative Adversarial Nets(GANs) in depth and ego-motion estimation has demonstrated that the estimation could be further improved by generating pictures in the game learning process. This paper proposes a novel unsupervised network system for visual depth and ego-motion estimation: Stacked Generative Adversarial Network(SGANVO). It consists of a stack of GAN layers, of which the lowest layer estimates the depth and ego-motion while the higher layers estimate the spatial features. It can also capture the temporal dynamic due to the use of a recurrent representation across the layers. See Fig.1 for details. We select the most commonly used KITTI [1] data set for evaluation. The evaluation results show that our proposed method can produce better or comparable results in depth and ego-motion estimation.
description: 7 pages, 4 figures,