Explicit Substitutions
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Cálculos de substituições explícitas à La Bruijn com sistemas de tipos com interseção
The ג-calculus is a well known theoretical computation model as old as the concept of computable functions. Due to the substitution definition as a meta-operator there exists a great quantity of variations of this computational system in which the operation of substitution is treated explicitly. In this work we investigate intersection type systems for
Publicado em: 2010
-
2. Verificação de propriedades do cálculo גex em Coq
O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com nomes, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a P
Publicado em: 2010
-
3. Structural properties of DNA:RNA duplexes containing 2'-O-methyl and 2'-S-methyl substitutions: a molecular dynamics investigation.
The physical properties of a DNA:RNA hybrid sequence d(CCAACGTTGG)*(CCAACGUUGG) with modifications at the C2'-positions of the DNA strand by 2'-O-methyl (OMe) and 2'-S-methyl (SMe) groups are studied using computational techniques. Molecular dynamics simu-lations of SMe_DNA:RNA, OMe_DNA:RNA and standard DNA:RNA hybrids in explicit water indicate that the nat
-
4. Reversal potential of the calcium current in bull-frog atrial myocytes.
1. Voltage clamp recordings of the calcium current (ICa) in single myocytes which were enzymatically isolated from bull-frog atrium show that a genuine reversal of the current flowing through Ca2+ channels can be recorded (ef. Reuter & Scholz, 1977; Lee & Tsien, 1982, 1984; Campbell, Giles & Shibata, 1988c). In normal 2.5 mM [Ca2+]0 Ringer solution this appa