Filters








14,642 Hits in 3.3 sec

Tω as a Stable Universal Domain

Haoran Zhao, Hui Kou
2014 Electronical Notes in Theoretical Computer Science  
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

Montamas Suntravat, Ying Jia, Sara E. Lucena, Elda E. Sánchez, John C. Pérez
2013 Toxicon  
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

JENS BLANCK
2008 Mathematical Structures in Computer Science  
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

Dieter Spreen
1999 Theoretical Computer Science  
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

S. Berardi, C. Berline
2004 Theoretical Computer Science  
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

S. Berardi, C. Berline
2000 Electronical Notes in Theoretical Computer Science  
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  
(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 ‘universalretractions in interesting subclasses of the set of retractions  ... 

Extension of combinatory logic to a theory of combinatory representation

Trudy Weibel
1992 Theoretical Computer Science  
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  
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

Chien-Yi Chang
2018 Frontiers in Microbiology  
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  
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

Roberta Petillo, Paola D'Ambrosio, Annalaura Torella, Antonella Taglia, Esther Picillo, Alessandro Testori, Manuela Ergoli, Gerardo Nigro, Giulio Piluso, Vincenzo Nigro, Luisa Politano
2015 Acta myologica  
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

Ruchi Jain, Oleksii Sliusarenko, Barbara I. Kazmierczak, Samuel I. Miller
2017 PLoS Pathogens  
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

Di Xia, Stephen J. Savarino, Esther Bullitt
2010 Biophysical Journal  
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

Kevin T. Kelly
2004 Theoretical Computer Science  
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