Results 151 to 160 of about 397 (188)
Synergistic Effect in Solvent Extraction of Scandium β-Diketone TOPO System
Synergistic Effect in Solvent Extraction of Scandium β-Diketone TOPO Systemopenaire
The Synergistic Effect in Solvent Extraction. The Effect of the Chelating Ligands on the Stability Constant of Lutetium β-Diketonate Adducts with TOPOopenaire
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Discrete Objects in the Effective Topos
Proceedings of the London Mathematical Society, 1990The original aim of this paper was to give a rather quick and undemanding proof that the effective topos contains two non-trivial small (i.e. internal) full subcategories which are closed under all small limits in the topos (and hence in particular are internally complete).
M. HYLAND +2 more
exaly +3 more sources
1992
Abstract In the effective topos, Eff, described by Hyland using suggestions from Dana Scott, Church’s thesis is true in the strong sense that every function from the naturals to themselves in recursive. In fact, all functions between objects built from the natural numbers, including the rationals and the real numbers, are recursive. Thus
Colin Mclarty
exaly +2 more sources
Abstract In the effective topos, Eff, described by Hyland using suggestions from Dana Scott, Church’s thesis is true in the strong sense that every function from the naturals to themselves in recursive. In fact, all functions between objects built from the natural numbers, including the rationals and the real numbers, are recursive. Thus
Colin Mclarty
exaly +2 more sources
Studies in Logic and the Foundations of Mathematics, 1982
Publisher Summary This chapter describes the most accessible of the series of toposes that can be constructed from notions of realizability: it is that based on the original notion of recursive realizability and presents the abstract approach to recursive realizability in some detail. The chapter introduces effective topos and discusses the notion of
exaly +2 more sources
Publisher Summary This chapter describes the most accessible of the series of toposes that can be constructed from notions of realizability: it is that based on the original notion of recursive realizability and presents the abstract approach to recursive realizability in some detail. The chapter introduces effective topos and discusses the notion of
exaly +2 more sources
Colimit completions and the effective topos
Journal of Symbolic Logic, 1990The family of readability toposes, of which the effective topos is the best known, was discovered by Martin Hyland in the late 1970's. Since then these toposes have been used for several purposes. The effective topos itself was originally intended as a category in which various recursion-theoretic or effective constructions would live as natural parts ...
ROBINSON E., ROSOLINI, GIUSEPPE
openaire +3 more sources
Anti-Cancer Drugs, 1999
Steady-state levels and rates of DNA binding and release of wild-type and mutant topoisomerase I (Topo I) proteins were quantified by surface plasmon resonance analysis. The proteins were constructed and expressed as GST fusion proteins. The Topo I mutations analyzed were F361S, R362L and R364G, all altering a highly conserved region of wild-type ...
C D, Pond +3 more
openaire +2 more sources
Steady-state levels and rates of DNA binding and release of wild-type and mutant topoisomerase I (Topo I) proteins were quantified by surface plasmon resonance analysis. The proteins were constructed and expressed as GST fusion proteins. The Topo I mutations analyzed were F361S, R362L and R364G, all altering a highly conserved region of wild-type ...
C D, Pond +3 more
openaire +2 more sources
CrystEngComm, 2021
The higher the number of fluorine atoms, the higher the topological photo-induced [2 + 2] cycloaddition reactivity of chalcones.
Yuanhong Shu +8 more
openaire +1 more source
The higher the number of fluorine atoms, the higher the topological photo-induced [2 + 2] cycloaddition reactivity of chalcones.
Yuanhong Shu +8 more
openaire +1 more source