89,699 Hits in 2.7 sec

Pure subtype systems

DeLesley S. Hutchins
2010 SIGPLAN notices  
Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing.  ...  This paper introduces a new approach to type theory called pure subtype systems.  ...  From System F ω ≤ to Pure Subtype Systems We introduce pure subtype systems by way of an analogy.  ... 
doi:10.1145/1707801.1706334 fatcat:hmjgsz54bndx5p2ls42hlsktuy

Pure subtype systems

DeLesley S. Hutchins
2010 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10  
Pure subtype systems differ from traditional approaches to type theory (such as pure type systems) because the theory is based on subtyping, rather than typing.  ...  This paper introduces a new approach to type theory called pure subtype systems.  ...  From System F ω ≤ to Pure Subtype Systems We introduce pure subtype systems by way of an analogy.  ... 
doi:10.1145/1706299.1706334 dblp:conf/popl/Hutchins10 fatcat:hxrooqo2xfeqzcp4fi2llqdr24

The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping [chapter]

Alexandre Miquel
2001 Lecture Notes in Computer Science  
We study syntactical properties of this calculus such as the βη-subject reduction property, and we show that the implicit product induces a rich subtyping relation over the type system in a natural way  ...  Unlike the usual approach of Type Assignment Systems, the implicit product can be used at every place in the universe hierarchy.  ...  Giannini et al. proposed an uniform description of Curry-style variants of the systems of the cube, which they call the Type Assignment Systems (TAS)-as opposed to (Pure) Type Systems.  ... 
doi:10.1007/3-540-45413-6_27 fatcat:2xpmxsobwnfkfepe4n6bwuzwfq

A classification of entanglement in three-qubit systems

C. Sabín, G. García-Alcaine
2008 European Physical Journal D : Atomic, Molecular and Optical Physics  
For pure states these criteria can be easily implemented, and the different types can be related with sets of equivalence classes under Local Unitary operations.  ...  Subtypes 2 − 0 to 2 − 3 exist for pure and non-pure states. • Subtype 2−0: their three reduced entanglements are zero.  ...  three-qubit systems.  ... 
doi:10.1140/epjd/e2008-00112-5 fatcat:iea5lnd275bdxjzuloowtutgg4

Lung Squamous Cell Carcinomas with Basaloid Histology Represent a Specific Molecular Entity

C. Brambilla, J. Laffaire, S. Lantuejoul, D. Moro-Sibilot, H. Mignotte, F. Arbib, A.-C. Toffart, F. Petel, P. Hainaut, S. Rousseaux, S. Khochbin, A. de Reynies (+1 others)
2014 Clinical Cancer Research  
Conclusion: This study enlightens the heterogeneity of SCCs that can be subclassified in mRNA expression subtypes.  ...  The pure basaloid tumors are also distinguished through unsupervised analyses.  ...  adjusted HR ¼ 2.45, 95%CI ¼ (1.72-3.5), Wald P < 1eÀ6; C-index ¼ 0.67, 95%CI ¼ In conclusion, pure basaloid tumors correspond to a specific molecular subtype, either in our classification system or in  ... 
doi:10.1158/1078-0432.ccr-14-0459 pmid:25189482 fatcat:4ygl7mgonjhrnnrkggzrxmllcu

Clinical usefulness of the fluorodeoxyglucose (FDG)-PET maximal standardized uptake value (SUV) in combination with CT features for the differentiation of adenocarcinoma with a bronchioloalveolar carcinoma from other subtypes of non-small cell lung cancers

Joo Sung Sun, Kyung Joo Park, Seung Soo Sheen, Joon-Kee Yoon, Seok Nam Yoon, Kyi Beom Lee, Sung Chul Hwang
2009 Lung Cancer  
Statistically significant CT findings that differentiated an adenocarcinoma with BAC from other subtypes of NSCLC (pattern of the lesions, including mixed, pure ground glass opacity and pure solid) were  ...  Among 15 cases (13.8%) of the other subtypes that showed a lower maximal SUV than the cut-off value, 14 cases (93.3%) depicted a pure solid pattern.  ... 
doi:10.1016/j.lungcan.2009.01.009 pmid:19203812 fatcat:i6z23e4d4bfs7fmrclve7rigf4

Carcinoma vesical linfoepitelioma-like: revisión de la literatura y aportación de un nuevo caso

Gonzalo Bueno Serrano, Fernando Arias Fúnez, Raquel González López, Constantino Varona Crespo, Víctor Díez Nicolás, Sara Díaz Naranjo, Ángel Escudero Barrilero
2008 Archivos españoles de urología  
Oppositely, radical treatment with cystectomy and systemic adjuvant treatment seems to be the best choice for focal subtypes.  ...  and predominant subtypes and the bad outcome of the focal subtype, it seems that TUR may be a good alternative in selected patients with pure our predominant histology, even with infiltrative stages.  ...  Regarding adjuvant therapy, 62% of the pure subtypes received systemic chemotherapy, and 21% received radiothera- py, while 60% of the predominant and 63% of the focal presentations received no adjuvant  ... 
doi:10.4321/s0004-06142008000600010 fatcat:puykexgrsjcnzdm5gztvcue2v4

An automated genotyping system for analysis of HIV-1 and other microbial sequences

T. de Oliveira, K. Deforche, S. Cassol, M. Salminen, D. Paraskevis, C. Seebregts, J. Snoeck, E. J. van Rensburg, A. M. J. Wensing, D. A. van de Vijver, C. A. Boucher, R. Camacho (+1 others)
2005 Bioinformatics  
Results: The new REGA subtyping tool, developed using Java programming and PERL scripts, combines phylogenetic analyses with bootscanning methods for the genetic subtyping of full-length and subgenomic  ...  Availability: The tool, which can be easily downloaded and installed on either a UNIX or Linux-based computer system, is available at  ...  SYSTEMS AND METHODS The subtyping algorithm consists of four sequential steps.  ... 
doi:10.1093/bioinformatics/bti607 pmid:16076886 fatcat:ud74c4vh45dnlepahxensnin5e


Luciano V. de Araújo, Sabri S. Sanabani, Ester C. Sabino, João E. Ferreira
2009 Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09  
An automated web based tool for assigning HIV-1 pure and recombinant subtypes within unaligned sequences is presented.  ...  The system combines the BLAST search algorithm and the recombination identification program for genetic subtyping of HIV-1.  ...  E.: DBCollHIV: A Database System for Collaborative HIV analysis in Brazil.  ... 
doi:10.1145/1529282.1529455 dblp:conf/sac/AraujoSSF09 fatcat:bds3e27ctzbqjkalyewxyqqd5e

Influence of breast cancer subtype on pathological complete response

Bruno de Carvalho Mancinelli, Marcelo Antonini, Flávia Vasconcelos da Silva, Odair Ferraro, Reginaldo Guedes Coelho Lopes
2020 Mastology  
Conclusion: The subtypes Pure HER 2 and Luminal B had the highest pCR rates.  ...  Regarding cancer subtype, 29 patients (13.6%) were reported to have pure HER2 subtype, 48 patients (22.5%) corresponded to Luminal A subtype, 51 (23.9%) to Luminal B, and 66 patients (31.0%) were characterized  ...  Finally, subtype pure HER2 (pure HER) was defined upon negative ER and PR and positive HER2.  ... 
doi:10.29289/25945394202020200007 fatcat:y34fokgzm5f4zkcsncwm3cymi4

Stratification of Pancreatic Ductal Adenocarcinomas Based on Tumor and Microenvironment Features

Francesco Puleo, Rémy Nicolle, Yuna Blum, Jérôme Cros, Laetitia Marisa, Pieter Demetter, Eric Quertinmont, Magali Svrcek, Nabila Elarouci, Juan Iovanna, Denis Franchimont, Laurine Verset (+7 others)
2018 Gastroenterology  
We identified features of the PDA, including microenvironment gene expression patterns, that allowed tumors to be categorized into 5 subtypes, called pure basal like, stroma activated, desmoplastic, pure  ...  We identified 5 PDA subtypes, based on features of cancer cells and the tumor microenvironment. This system might be used to select therapies and predict patient outcomes.  ...  A dualistic classification system including a normal and activated stroma has been proposed by Moffitt et al. 6 Our pure classical subtype is composed of classical tumors based on Moffitt et al's defined  ... 
doi:10.1053/j.gastro.2018.08.033 pmid:30165049 fatcat:tqvfcuytqfd3hdvvmqutibmkg4

Peri-urban Camel (Camelus dromendarius) Production System in Saudi Arabia: A note

Izeldin A. Babiker
2014 Journal of Animal Research  
Several factors natural or manmade, beside some socio-economic changes have caused resources degradation and resulted in production systems disruption.  ...  Systems of urban and peri-urban agriculture (UPA) take many forms in terms of integration of different activities, production intensities and production orientations.  ...  The third type included pure camel farmer and or multiactive people with small herd but good integration to market, this type was subdivided into two subtypes again: pure camel farmer living in desert  ... 
doi:10.5958/2277-940x.2014.00075.8 fatcat:v2cmnx3npjen7bfjjolavkwaoy

Invasive Urothelial Carcinoma: Subtypes and Divergent Differentiation [chapter]

2022 Urologic Cancers  
Invasive urothelial carcinoma is the most frequent type of bladder cancer and may occur in pure or classical form or with the presence of variant or subtype histology and/or evidence of divergent morphology  ...  Certain subtypes and divergent features correlate with the emerging molecular bladder cancer subtypes, which can also influence patient Note to the Reader: This chapter is part of the book Urologic Cancers  ...  Recently, a consensus classification system was developed utilizing data from six separate systems (50).  ... 
doi:10.36255/exon-publications-urologic-cancers-urothelial-carcinoma fatcat:kztswufgzzbt3px23kokiv56nu

Prognostic significance of histopathological subtypes in stage I pure yolk sac tumour of the ovary

H Sasaki, M Furusato, S Teshima, T Kiyokawa, A Tada, S Aizawa, T Yamabe, S Tsugane, Y Terashima
1994 British Journal of Cancer  
The correlation between histological subtype [endodermal sinus (ES), polyvesicular vitelline (PV), glandular (G) and hepatoid (H) subtypes] and the prognosis of pure yolk sac tumours (YSTs) of the ovary  ...  had three subtypes, ES + PV + H (4) or ES + G + H (2); and three patients had all four subtypes.  ...  survival in 17 patients with FIGO stage I, pure yolk sac All calculations were performed by Statistical Analysis System (SAS tumours of the ovary Prognostic Regression Standard Chi-square factors  ... 
doi:10.1038/bjc.1994.96 pmid:7510118 pmcid:PMC1968864 fatcat:ugufyexhffaedc5bzaicz4whqu

Pure animal phobia is more specific than other specific phobias: epidemiological evidence from the Zurich Study, the ZInEP and the PsyCoLaus

Vladeta Ajdacic-Gross, Stephanie Rodgers, Mario Müller, Michael P. Hengartner, Aleksandra Aleksandrowicz, Wolfram Kawohl, Karsten Heekeren, Wulf Rössler, Jules Angst, Enrique Castelao, Caroline Vandeleur, Martin Preisig
2016 European Archives of Psychiatry and Clinical Neuroscience  
Diagnostic manuals and classification systems in psychiatry have paid little attention to the latter.  ...  Pure animal phobias and other SPs might be a particularly revealing example, similar to pure and mixed OCD subtypes [34] .  ... 
doi:10.1007/s00406-016-0687-4 pmid:27001383 fatcat:hqgkucgu2nhwvmx4qynxphfahq
« Previous Showing results 1 — 15 out of 89,699 results