Results 21 to 30 of about 1,087,555 (135)
Polymorphism-homogeneity and universal algebraic geometry [PDF]
Discrete Mathematics & Theoretical Computer Science, vol. 23 no.
2, special issue in honour of Maurice Pouzet, Special issues (March 21, 2022)
dmtcs:6904, 2020 We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is polymorphism-homogeneous. We show that polymorphism-homogeneity is also equivalent to the property that algebraic sets (i.e., solution ...
arxiv +1 more source
GMATA: An Integrated Software Package for Genome-Scale SSR Mining, Marker Development and Viewing
Frontiers in Plant Science, 2016 Simple sequence repeats (SSRs), also referred to as microsatellites, are highly variable tandem DNAs that are widely used as genetic markers. The increasing availability of whole-genome and transcript sequences provides information resources for SSR ...
Xuewen Wang, Le Wang
semanticscholar +1 more source
Journal of Dairy Science, 2011 Large numbers of dairy cattle are now routinely genotyped for dense single nucleotide polymorphism (SNP) arrays for the purpose of predicting genomic estimated breeding values.
B. Hayes
semanticscholar +1 more source
Predicting polymorphism in molecular crystals using orientational entropy [PDF]
Proc. Natl. Acad. Sci. U. S. A. 115 (2018) 10251-10256, 2018 We introduce a computational method to discover polymorphs in molecular crystals at finite temperature. The method is based on reproducing the crystallization process starting from the liquid and letting the system discover the relevant polymorphs. This idea, however, conflicts with the fact that crystallization has a time scale much longer than that ...
arxiv +1 more source
Indonesian Journal of Electrical Engineering and Computer ScienceRecent healthcare research has focused a great deal of interest on using genetic data analysis to predict the risk of hypertension. This paper presents a unique method for accurately predicting the vulnerability to hypertension by utilizing single ...
Lailil Muflikhah +6 more
semanticscholar +1 more source
Bounded polymorphism in session types
Mathematical Structures in Computer Science, 2008 Session types allow high-level specifications of structured patterns of communication, such as client-server protocols, to be expressed as types and verified by static typechecking. In collaboration with Malcolm Hole, we previously introduced a notion of
S. Gay
semanticscholar +1 more source
A PER model of polymorphism and recursive types
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990 A model of Reynold's polymorphic lambda calculus is provided, which also allows the recursive definition of elements and types. The techniques uses a good class of partial equivalence relations (PERs) over a certain CPO.
M. Abadi, G. Plotkin
semanticscholar +1 more source
Atomic motion in solids with dimpled potentials [PDF]
Crystals 12(1), 84 (2022), 2018 Polymorphic solids of the same chemical composition can have different atomic structures; in each polymorph atoms vibrate around a local potential energy minimum (LPEM). If transformations to other structures have sufficiently high enthalpy barriers, then each polymorph is either stable or metastable; it is stationary and does not spontaneously change ...
arxiv +1 more source
CO2 packing polymorphism under pressure: mechanism and thermodynamics of the I-III polymorphic transition [PDF]
, 2017 In this work we describe the thermodynamics and mechanism of CO$_2$ polymorphic transitions under pressure from form I to form III combining standard molecular dynamics, well-tempered metadynamics and committor analysis. We find that the phase transformation takes place through a concerted rearrangement of CO$_2$ molecules, which unfolds via an ...
arxiv +1 more source
A variation of Reynolds-Hurkens Paradox [PDF]
arXiv, 2023 We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.
arxiv