Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this paper, we present an Agda formalization of a normalizer for simply-typed lambda terms. The normalizer consists of two coinductively defined functions in the delay monad: One is a standard evaluator of lambda terms to closures, the other a type ...
Andreas Abel, James Chapman
doaj +4 more sources
A Note on the First Integrals of Vector Fields with Integrating Factors and Normalizers [PDF]
Symmetry, Integrability and Geometry: Methods and Applications, 2012 We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields which are volume
Jaume Llibre, Daniel Peralta-Salas
doaj +6 more sources
Analysis of qRT-PCR Data to Identify the Most Stable Reference Gene Using gQuant [PDF]
Bio-ProtocolThe accurate quantification of nucleic acid–based biomarkers, including long non-coding RNAs (lncRNAs), messenger RNAs (mRNAs), and microRNAs (miRNAs), is essential for disease diagnostics and risk assessment across the biological spectrum.
Abhay Pathak +5 more
doaj +2 more sources
Identification of miR-29c-3p as a Robust Normalizer for Urine microRNA Studies in Bladder Cancer
Biomedicines, 2020 Bladder cancer (BC) is among the most frequent malignancies worldwide, being the most expensive cancer to treat and monitor and the most lethal urological cancer.
Julia Oto, Emma Plana, Francisco España
exaly +3 more sources
Normalizers and self-normalizing subgroups II
Open Mathematics, 2011 Abstract Let $\mathbb{K}$ be a field, G a reductive algebraic $\mathbb{K}$-group, and G 1 ≤ G a reductive subgroup. For G 1 ≤ G, the corresponding groups of $\mathbb{K}$-points, we study the normalizer N = N G(G 1).
Širola Boris
doaj +4 more sources
Demonstration of high-fidelity entangled logical qubits using transmons [PDF]
Nature CommunicationsQuantum error correction (QEC) codes are necessary to fault-tolerantly operate quantum computers. However, every such code is inherently limited by its inability to detect logical errors.
Arian Vezvaee +5 more
doaj +2 more sources
Development of a robust and generalizable algorithm "gQuant" for accurate normalizer gene selection in qRT-PCR analysis [PDF]
Scientific ReportsThe emergent role of nucleic acid-based biomarkers—microRNAs(miRNAs), long non-coding RNAs(lncRNAs), and messenger RNAs(mRNAs), is becoming increasingly prominent in disease diagnostics and risk assessment.
Abhay Kumar Pathak +7 more
doaj +2 more sources
Data normalization of plasma miRNA profiling from patients with COVID-19 [PDF]
Scientific ReportsWhen using the reverse-transcription quantitative polymerase chain reaction (RT-qPCR) technique for quantitative assessment of microRNA (miRNA) expression, normalizing data using a stable endogenous gene is essential; however, no universally adequate ...
Julia Tiemi Siguemoto +12 more
doaj +2 more sources
Petrie Paths in Triangular Normalizer Maps
Universal Journal of Mathematics and Applications, 2022 This study is devoted to investigate the Petrie paths in the normalizer maps and regular triangular maps corresponding to the subgroups $\Gamma_0(N)$ of the modular group $\Gamma$.
Nazlı Yazıcı Gözütok
doaj +1 more source
On the Norm of the Abelian p-Group-Residuals
Mathematics, 2021 Let G be a group. Dp(G)=⋂H≤GNG(H′(p)) is defined and, the properties of Dp(G) are investigated. It is proved that Dp(G)=P[A], where P=D(P) is the Sylow p-subgroup and A=N(A) is a Hall p′-subgroup of Dp(G), respectively.
Baojun Li, Yu Han, Lü Gong, Tong Jiang
doaj +1 more source