Results 71 to 80 of about 560,921 (309)
Constructor Subtyping (extended Version) [PDF]
, 1999 Constructor subtyping is a form of subtyping in which an inductive type sigma is viewed as a subtype of another inductive type tau if tau has more constructors than sigma.
Maria Jo~ao Frade +2 more
core +1 more source
Pure type systems with subtyping
, 1999 We extend the framework of Pure Type Systems with subtyping, as found in F = ¿ . This leads to a concise description of many existing systems with subtyping, and also to some new interesting systems.
Zwanenburg, J.
core +1 more source
On Behavioural Subtyping in LOTOS [PDF]
, 1997 We consider how the OO notion of subtyping relates to LOTOS testing theory. In particular, we investigate which of the standard LOTOS preorders is a suitable instantiation of behavioural subtyping and argue that each of the main preorders, trace preorder,
Briscoe-Smith, C. +7 more
core +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Development of a Subtyping Tool for Zoonotic Pathogen Cryptosporidium canis
Journal of Clinical Microbiology, 2020 Cryptosporidium canis is an important cause of cryptosporidiosis in canines and humans. Studies of the transmission characteristics of C. canis are currently hampered by the lack of suitable subtyping tools. ABSTRACT Cryptosporidium canis is an important
Wen Jiang +5 more
semanticscholar +1 more source
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Genetic Diversity of Hepatitis E Virus Type 3 in Switzerland—From Stable to Table
Animals, 2021 Hepatitis E caused by hepatitis E viruses of the genotype 3 (HEV-3) is a major health concern in industrialized countries and due to its zoonotic character requires a “One Health” approach to unravel routes and sources of transmission.
Isabelle Vonlanthen-Specker +5 more
doaj +1 more source
Proteomic profiling of extracellular vesicles allows for human breast cancer subtyping
Communications Biology, 2019 Extracellular vesicles (EVs) are a potential source of disease-associated biomarkers for diagnosis. In breast cancer, comprehensive analyses of EVs could yield robust and reliable subtype-specific biomarkers that are still critically needed to improve ...
S. Rontogianni +7 more
semanticscholar +1 more source
Parametric Subtyping for Structural Parametric Polymorphism
, 2023 We study the interaction of structural subtyping with parametric polymorphism and recursively defined type constructors. Although structural subtyping is undecidable in this setting, we describe a notion of parametricity for type constructors and then ...
DeYoung, Henry +3 more
core
Structure‐forward targeting of claudins with synthetic binders
FEBS Letters, EarlyView.Claudins form the paracellular barriers between epithelial and endothelial tissues at tight junctions and are targets for molecular binders with the goal of modulating barrier permeability. Claudin‐binding molecules are relevant in drug delivery or in altering claudin interactions with disease‐causing proteins.
Alex J. Vecchio
wiley +1 more source