Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Coinduction"”.
-
Coinductive program verification
… present a program-verification approach based on coinduction, which makes it feasible to verify programs given an operational semantics of a programming language, without constructing intermediates like axiomatic semantics or verification-condition generators. Specifications can be written using …
-
A framework for fuzzy topology with particular reference to sequentiality and countability
… behave, under fuzzy extensions of induction and coinduction, in a way resembling that of the original classical property under these constructions. Fuzzy second countability, quasi-first countability and fuzzy sequentiality are found to be excellent extensions of classical second countability, …
-
Expression Of Growth Factor Inducible Genes
… placenta, decidua and uterus during pregnancy. A coinduction of TIMP and Transin-2 mRNA levels was seen in the ovary on day 18 of gestation.;I found that spp, calcyclin, MEP, MRP and transin exhibit unique spatial and temporal patterns of expression in the female reproductive tissues. Calcyclin …
-
Expression and regulation of monocyte chemoattractant protein-3 (MCP-3) in fibrosis
… promoter and is partly dependent on TGFβ. This coinduction between the two factors in the fibrotic response is also demonstrated by activation of TGFβ signalling pathways by MCP-3 leading to type I collagen secretion. In addition, MCP-3 gene expression is stimulated by TGFβ. Comparison of …
-
Contributions to the theory of syntax with bindings and to process algebra
"We develop a theory of syntax with bindings, focusing on: - methodological issues concerning the convenient representation of syntax; - techniques for recursive definitions and inductive reasoning. Our approach consists of a combination of FOAS (First-Order Abstract Syntax) and HOAS (Higher-Order …