- Python Type Hints are Turing Complete
2022/08/31 by Ori Roth, Roth, Ori · 3 voices · 1 citation
Computer Science · #Computation #Computational Physics and Python Applications #Computer science #Java #Logic, programming, and type systems #Programming language #Python (programming language) #Software Engineering Research #Subtyping #Theoretical computer science #Turing #Turing machine #cs.PL
- Featherweight Go
2020/05/24 by Robert Griesemer, Griesemer, Robert, Raymond Hu +13 · 5 voices
Computer Science · Social Sciences · #Artificial Intelligence in Games #Computer science #Digital Games and Media #Java #Logic, programming, and type systems #Programming language #Subtyping #cs.LO #cs.PL
- Diagnostic performance of Japan NBI Expert Team classification for differentiation among noninvasive, superficially invasive, and deeply invasive colorectal neoplasia
2017/02/28 by Kyoku Sumimoto, Shinji Tanaka, Kenjiro Shigita +9 · 21 citations
Medicine · #Cancer #Colonoscopy #Colorectal Cancer Screening and Detection #Colorectal cancer #Endoscopy #Esophageal Cancer Research and Treatment #Gastric Cancer Management and Outcomes #Histology #Hyperplastic Polyp #Internal medicine #Medicine #Narrow-band imaging #Pathology #Radiology #Subtyping
- Immunohistochemical subtyping of nonsmall cell lung cancer not otherwise specified in fine‐needle aspiration cytology
2011/01/18 by Luisella Righi, Paolo Graziano, Alessandro Fornari +7 · 20 citations
Medicine · #Adenocarcinoma #Antigen #Cancer #Carcinoma #Cytokeratin #Cytology #Immunohistochemistry #Immunophenotyping #Internal medicine #Lung Cancer Diagnosis and Treatment #Lung Cancer Research Studies #Lung Cancer Treatments and Mutations #Lung cancer #Medicine #Pathology #Subtyping
- Subtyping of Y-chromosomal haplogroup E-M78 (E1b1b1a) by SNP assay and its forensic application
2009/05/08 by S. Caratti, Stefano Caratti, S. Gino +5 · 4 citations
Biochemistry, Genetics and Molecular Biology · Medicine · #Biology #Computer science #Evolutionary biology #Forensic and Genetic Research #Forensic identification #Gene #Genetics #Genomic variations and chromosomal abnormalities #Genotype #Genotyping #Haplogroup #Haplotype #Medicine #Molecular Biology Techniques and Applications #Multiplex polymerase chain reaction #Polymerase chain reaction #Population #SNP #SNP genotyping #Single-nucleotide polymorphism #Subtyping #Y chromosome
- Semantic subtyping
2008/09/01 by Alain Frisch, Giuseppe Castagna, Véronique Benzaken · 11 citations
Computer Science · #Abstract interpretation #Advanced Database Systems and Queries #Computer science #Data mining #Denotational semantics #Denotational semantics of the Actor model #Interpretation (philosophy) #Logic, programming, and type systems #Operational semantics #Programming language #Relation (database) #Semantic Web and Ontologies #Semantics (computer science) #Subtyping #Theoretical computer science
- A Replicated Molecular Genetic Basis for Subtyping Antisocial Behavior in Children With Attention-Deficit/Hyperactivity Disorder
2008/02/01 by Avshalom Caspi, K. Langley, Kate Langley +12 · 28 citations
Medicine · Neuroscience · Psychology · #Attention Deficit Hyperactivity Disorder #Attention deficit hyperactivity disorder #Biology #Catechol-O-methyl transferase #Clinical psychology #Cohort #Conduct disorder #Gene #Genetics #Genotype #Internal medicine #Medicine #Neurodevelopmental disorder #Neurotransmitter Receptor Influence on Behavior #Psychiatry #Psychology #Psychopathy, Forensic Psychiatry, Sexual Offending #Subtyping
- Structural subtyping of non-recursive types is decidable
2003/12/22 by Viktor Kunčak, Martin Rinard · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Decidability #Sigma #Mathematics #Discrete mathematics #Subtyping #Type (biology) #Algebra over a field #Combinatorics #Pure mathematics #Computer science #Programming language #Physics
- Prior knowledge and subtyping effects in children's category learning
2003/05/19 by Brett K. Hayes, Katrina Foster, Katrina L. Foster +1 · 4 citations
Psychology · Social Sciences · #Artificial intelligence #Categorization #Child and Animal Learning Development #Cognitive psychology #Computer science #Concept learning #Congruence (geometry) #Developmental psychology #Educational Strategies and Epistemologies #Feature (linguistics) #Linguistics #Psychology #Social and Intergroup Psychology #Social category #Social psychology #Stereotype (UML) #Subtyping
- Inheritance is not subtyping
1990/01/01 by William R. Cook, Walter L. Hill, Peter S. Canning · 1 citation
Computer Science · #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Advanced Software Engineering Methodologies #Inheritance (genetic algorithm) #Subtyping #Multiple inheritance #Smalltalk #Computer science #Programming language #Relation (database) #Object-oriented programming #Genetics #Biology #Data mining
- On understanding types, data abstraction, and polymorphism
1985/12/10 by Luca Cardelli, Peter Wegner · 8 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Advanced Software Engineering Methodologies #Computer science #Programming language #Data type #Subtyping #Abstraction #Type safety #Type theory #Theoretical computer science #Inheritance (genetic algorithm) #Type inference #Multiple inheritance #Abstract data type #Type (biology) #Object-oriented programming #Artificial intelligence