A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Tω as a Stable Universal Domain
2014
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
We investigate the properties of stable retracts and introduce a new domain named a conditionally complete DI-domain (a CCDI-domain for short). ...
Plotkin noticed that T ω , the cartesian product of ω copies of the 3 elements flat domain of Boolean, is a universal domain, where "universal" means that the retracts of T ω in Scott's continuous semantics ...
Each DI-domain is equivalent to a stable event structure and the category of DI-domains (resp. ωDI-domains) with stable functions is cartesian closed [13] . One see that T ω is also an ωDI-domain. ...
doi:10.1016/j.entcs.2014.01.016
fatcat:pmujlivewbdarfjzxxrlqu27gq
cDNA cloning of a snake venom metalloproteinase from the eastern diamondback rattlesnake (Crotalus adamanteus), and the expression of its disintegrin domain with anti-platelet effects
2013
Toxicon
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
clot retraction. ...
Therefore, the disintegrin domain (Cam-dis) of CamVMPII was amplified by PCR, cloned into a pET-43.1a vector, and expressed in Escherichia coli BL21. ...
Acknowledgments This work was funded by the NNTRC, Texas A&M University-Kingsville: NCRR/Viper Resource Center P40 OD01960-10 and Texas A&M University-Kingsville-Research Development Funds (Acct. # 160302 ...
doi:10.1016/j.toxicon.2012.12.025
pmid:23313448
pmcid:PMC3570744
fatcat:d5z3svl26zbrpnd6ksyfikrzba
Reducibility of domain representations and Cantor–Weihrauch domain representations
2008
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To illustrate the framework, we consider some domain representations of real numbers and show that the usual interval domain representation, which is universal among dense representations, does not reduce ...
We show that notions of admissibility, considered both for domains and within Weihrauch's TTE, are universality concepts in the appropriate spectra. ...
Tucker for many invaluable discussions on this paper. The paper has also benefitted from discussion with Viggo Stoltenberg-Hansen and Fredrik Dahlgren. ...
doi:10.1017/s0960129508007093
fatcat:loegwkde4nch7ktiphsiicnhhu
On functions preserving levels of approximation: A refined model construction for various lambda calculi
1999
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper dI-domains are enriched by a family of projections which assign to each point a sequence of canonical approximations. ...
Moreover, it is proved that the space of retractions in an exponent @ is a retract of this. Both results together provide new models of Amadio-Longo's extension A/$ of the i-calculus. ...
Acknowledgements This research has been carried out while the author was visiting the University of Paris VI. He wants to thank the LIAFA for providing such a pleasant working atmosphere. ...
doi:10.1016/s0304-3975(98)00144-3
fatcat:lzkdc7ujgnhszes6ysmwoyyf2m
Building continuous webbed models for system F
2004
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
All the models here belong to the continuous semantics and have underlying prime algebraic domains, all have the maximum number of polymorphic maps. ...
Report, University of Turin, 1997), hence it contains complete models for FÁ (A ÿÁ-complete model for system F, preprint, June, 1998) and we conjecture that it contains models which are complete for F. ...
In the case of universal retraction models types is a domain of retractions, of some ÿxed domain M , while the elements of Types are the subdomains of M whose underlying sets are the ranges of these retractions ...
doi:10.1016/j.tcs.2003.11.011
fatcat:3s2s7cfjz5drtiesfggjeuojjq
Building continuous webbed models for system F
2000
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
All the models here belong to the continuous semantics and have underlying prime algebraic domains, all have the maximum number of polymorphic maps. ...
Report, University of Turin, 1997), hence it contains complete models for FÁ (A ÿÁ-complete model for system F, preprint, June, 1998) and we conjecture that it contains models which are complete for F. ...
In the case of universal retraction models types is a domain of retractions, of some ÿxed domain M , while the elements of Types are the subdomains of M whose underlying sets are the ranges of these retractions ...
doi:10.1016/s1571-0661(05)80724-8
fatcat:q62r4afeezfpnla7jigfgrhfia
Page 7069 of Mathematical Reviews Vol. , Issue 92m
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(English summary) [Retractions and the internal interpretation of polymorphism: the problem of universal retraction]
RAIRO Inform. Théor. Appl. 26 (1992), no. 1, 59-91. ...
Summary: “We give a condensed and uniform presentation of all known results (some of them unpublished) concerning the existence of ‘universal’ retractions in interesting subclasses of the set of retractions ...
Extension of combinatory logic to a theory of combinatory representation
1992
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
An element f E & is called a k-ary operation on a retract 2 if for all
DI,...,
uk E JZX, h(f(hv,)
. (hv,)) =f(hv,)
. ' (hvk), i.e. the application
off to k
Definition. ...
Also observe that this universe 011 supplies retractions that do not represent the domain % of a Z-algebra B, but rather its augmented domain 93 6 Y. ...
Taking the above indicated parallelism into account, the proof then is reduced to the previous case of universal classes. having m parameters, m 2 1, and ...
doi:10.1016/0304-3975(92)90392-s
fatcat:iogen6fsz5gs5eurzfsfp6mjr4
Page 3738 of Mathematical Reviews Vol. , Issue 96f
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This short paper contains a non-trivial proof of a result on the
structural property of retractions on DI-domains. ...
The result states
that every reflexive DI-domain’s universal retractions form a DI-
domain isomorphic to (N* U {oo},|), where | is the divisibility
relation. ...
Surface Sensing for Biofilm Formation in Pseudomonas aeruginosa
2018
Frontiers in Microbiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Pseudomonas aeruginosa is one of the model microorganisms for studying bacterial population behaviors. ...
Aggregating and forming biofilms on biotic or abiotic surfaces are ubiquitous bacterial behaviors under various conditions. ...
Luckett (University of Nottingham), K. Mathers (University of Dundee), and Dr. Y.-C. Liu (University of Dundee) for suggestions and critical reading of the manuscript and thanks K. H. Chang and Y. P. ...
doi:10.3389/fmicb.2017.02671
pmid:29375533
pmcid:PMC5767216
fatcat:bnli5hszzreb5ij5jigdco6gdq
Page 3597 of Mathematical Reviews Vol. , Issue 90F
[page]
1990
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This model differs from the models of McCracken, Scott, etc., in that the types are interpreted (quite pleasingly) as domains rather than closures or finitary projections on a universal domain. ...
The dI-domains pos- sess many of the virtues of the domains used by Girard. ...
Novel mutations in LMNA A/C gene and associated phenotypes
2015
Acta myologica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
One of them who carried the mutation c.1339G>C died at the age of 40 by intractable heart failure; the second one carrying the mutation 265C>T died at the age of 30, for a trmboembolic event. ...
A classical LGMD phenotype without heart involvement was observed in the patient with the mutation 1579C>T, who died at the age of 68 years for respiratory insufficiency. ...
The C to T transition (265 C>T) on the same exon determines the substitution of an arginine with a cysteine lying in the myosin rod fragment domain (R89C). ...
pmid:27199538
pmcid:PMC4859074
fatcat:liil3473jvhstcuyqjcpxebg4u
Interaction of the cyclic-di-GMP binding protein FimX and the Type 4 pilus assembly ATPase promotes pilus assembly
2017
PLoS Pathogens
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
These opposing ATPase activities must be coordinated and T4P assembly limited to one pole for bacteria to show directional movement. How this occurs is still incompletely understood. ...
Mutated alleles of FimX that no longer bind c-di-GMP do not allow rapid T4P assembly in these assays. ...
We thank Lori Burrows (McMaster University) for YFP-PilB and YFP-PilT expression plasmids and anti-PilQ antiserum. ...
doi:10.1371/journal.ppat.1006594
pmid:28854278
pmcid:PMC5595344
fatcat:tunmqxxupvgnxd5sgu4yd2k2xm
Structure and Assembly of CFA/I pili from Enterotoxigenic Escherichia Coli That Cause Traveler's Diarrhea
2010
Biophysical Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We found that the retraction velocity of bacteria adhered to an abiotic surface is bimodal and that the bimodality depends on force and on the concentration of the putative motor protein PilT [1] . ...
2152-Plat Structure and Assembly of CFA/I pili from Enterotoxigenic Escherichia Coli That Cause Traveler's Diarrhea Di Xia 1 , Stephen J. ...
doi:10.1016/j.bpj.2009.12.2251
fatcat:fbem4blo4na5nhhyibzn2h7pxy
Uncomputability: the problem of induction internalized
2004
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
domain. ...
One obtains, thereby, a well-deÿned notion of "hyper-computability" based entirely on classical computational models and on standards of success that have long been regarded as natural in the empirical ...
Also, since M succeeds with k retractions, f i agrees with ( • ans ) over the restricted domain S i − S i−1 . ...
doi:10.1016/j.tcs.2003.12.013
fatcat:axthfqwwx5gs7cu742ufs6byiu
« Previous
Showing results 1 — 15 out of 14,642 results