首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏零域Blog

    「SF-PLF」10 Sub

    Concepts The Subsumption Rule The Subtype Relation Slide QA1 Record Subtyping… row type index? i2:V,i3:V} <: {i1:S,i2:U} * {i3:V} is interesting: the interesting thing is, why don’t we make some subtyping Ture unless we have Bottom hmm seems like Bottom in subtyping is different with Empty/Void, which is closer to logical Bottom ⊥ since Bottom here is subtyping of everything.. —- dependent induction hetergeous equaltiy In soundness proof subtyping only affects Canonical Forms

    74230编辑于 2022-03-02
  • 来自专栏函数式编程语言及工具

    Scalaz(21)-类型例证:Liskov and Leibniz - type evidence

    ._ /** Equality is reflexive -- we rely on subtyping to expand this type */ implicit def refl[A] ): F[A] = p } /** We can witness equality by using it to convert between types * We rely on subtyping type >~>[+B, -A] = Liskov[A, B] } 和 trait LiskovFunctions { import Liskov._ /**Lift Scala's subtyping witness[A, B](lt: A <~< B): A => B = { type f[-X] = X => B lt.subst[f](identity) } /**Subtyping

    64260发布于 2018-01-05
  • 来自专栏Rust语言学习交流

    【Rust日报】2021-02-22 如何使用 webassembly 构建一个 telnet 聊天服务器

    v=-lYeJeQ11OI&list=PLfllocyHVgsRwLkTAhG0E-2QxCf-ozBkk Crust of Rust: Subtyping and Variance Crust of Rust 是一系列非常不错的Rust 视频, 本期作者带来的是 Subtyping and Variance 深度解读.

    53910发布于 2021-03-15
  • 来自专栏生信技能树

    BRCA分型之PAM50(逆向收费读文献2019-10)

    of the PAM50 plus Claudin-low calls https://genome.unc.edu/pubsup/breastGEO/Guide%20to%20Intrinsic%20Subtyping bioc/manuals/genefu/man/genefu.pdf Hope this helps 评价PAM50临床表现的文章 首先是:A Comparison of PAM50 Intrinsic Subtyping 标题是:PAM50 Breast Cancer Subtyping by RT-qPCR and Concordance with Standard Clinical Molecular Markers heterogeneity Cancer Res. 2017 从PAM50里面提取11个基因作为细胞增殖的代表 文章发表于2010,题目有点长 A comparison of PAM50 intrinsic subtyping

    2.5K40发布于 2019-06-19
  • 来自专栏生信技能树

    ProTICS 揭示了不同分子亚型中肿瘤浸润免疫细胞的预后影响

    /R/functions/NTD_subtyping.R") 基于前述的探索,我们发现,ProTICS关键的部分在于其内置的几个函数,因此,将ProTICS从Github 上下载,并在环境下按提示使用Source /R/functions/NTD_subtyping.R") 4.1.4 NTD (Nonnegative Tensor Decomposition,非负张量分解)运算及生存分析可视化 Subtype= NTD_subtyping(data1,data2,k=2, n=100) # 简要查看NTD_subtyping函数code NTD_subtyping function(data1,data2,k

    76620编辑于 2022-07-26
  • 来自专栏生信技能树

    使用R包genefu来根据基因集进行表达谱分类

    data(scmod2.robust) pam50 str(scmod2.robust, max.level=1) 最重要的功能就是根据已知基因集来对乳腺癌进行分子分型 所有的分型都是用molecular.subtyping <- featureData(dd)@data ddemo <- phenoData(dd)@data library(genefu) SubtypePredictions<-molecular.subtyping ) table(SubtypePredictions$subtype) ddemo$SCMOD2<-SubtypePredictions$subtype PAM50Preds<-molecular.subtyping

    2.7K40发布于 2018-07-27
  • 来自专栏Golang语言社区

    【翻译】Golang语言-是面向对象语言吗?

    单继承(Inheritance) 多继承(Multiple Inheritance) 多态(Subtyping/Polymorphism) 对象组合(Object composition) 继承:一个对象基于另外一个对象 refers to Anonymous fields as a pseudo is-a relationship because it looks and behaves in some ways like subtyping This section focuses only on how they pertain to subtyping which will not do them proper justice.

    2.1K80发布于 2018-03-21
  • 来自专栏DrugOne

    Genome Med. | 应建明/杨琳/周猛/孙杰团队开发基于病理图像的深度学习模型,实现小细胞肺癌的组织形态学分型和风险分层

    9月2日,中国医学科学院肿瘤医院应建明、杨琳团队联合温州医科大学周猛、孙杰团队等在Genome Medicine发表文章“Deep learning-based histomorphological subtyping Deep learning-based histomorphological subtyping and risk stratification of small cell lung cancer from

    21210编辑于 2025-10-14
  • 来自专栏Golang语言社区

    【Go 语言社区】面向对象

    它是一种duck typing的Structural subtyping,好处是: 更少依赖 不会造成纷繁类型继承层次 天然的组合特性 非继承 从Go的接口我们看出Go是注重组合超过继承。

    84470发布于 2018-03-20
  • 来自专栏智能生信

    [Briefings in Bioinformatics | 论文简读] 潜表征学习的多视角光谱聚类在多组学癌症分型中的应用

    Multi-view spectral clustering with latent representation learning for applications on multi-omics cancer subtyping

    60920编辑于 2022-12-29
  • 来自专栏学点Rust

    掌握Rust:从零开始的所有权之旅

    如果感兴趣的话,可以深入看下Subtyping and Variance[1],了解下生命周期的一些约束。 参考资料 [1] Subtyping and Variance: https://doc.rust-lang.org/nomicon/subtyping.html

    66240编辑于 2023-11-27
  • 来自专栏数据派THU

    如何挖掘医疗数据?看这份KDD2021《异构医疗数据挖掘》教程

    Patient subtyping via time-aware lstm networks.

    60510编辑于 2023-03-29
  • 来自专栏生信技能树

    使用R包判定CRC稳定的分子亚型(附-中大六院博士后招聘)

    CMScaller: an R package for consensus molecular subtyping of colorectal cancer pre-clinical models

    1.8K30发布于 2019-12-05
  • 来自专栏生信技能树

    100篇泛癌研究文献解读之lincRNA的生存分析情况

    2016 May; 题目是:Pan-Cancer Analyses Reveal Long Intergenic Non-Coding RNAs Relevant to Tumor Diagnosis, Subtyping

    70820发布于 2019-05-29
  • 来自专栏凝神长老和他的朋友们

    桥接模式 VS 装饰器模式、状态模式 VS 策略模式的微妙之处

    使用装饰器模式需要依赖继承,但是子类型却并不特殊化目标对象(subtyping does not specialize the target object),我们可以使用包装来完成这个事情(injection

    71230发布于 2021-07-23
  • 来自专栏生信技能树

    TNBC分型研究的来龙去脉(逆向收费读文献2019-09)

    文献在: TNBCtype: A Subtyping Tool for Triple-Negative Breast Cancer Xi Chen, Jiang Li, William H. 还有另外一个值得一提的分子分型文章发表在 Breast Cancer Research (2015) :Gene-expression molecular subtyping of triple-negative

    1.5K51发布于 2019-06-19
  • 来自专栏DrugOne

    Cancer Cell:人工智能分型赋能精准治疗——LINUX平台试验提升HR⁺/HER2⁻乳腺癌疗效

    论文标题为“Precision treatment with artificial intelligence assisted subtyping enhances therapeutic efficacy 旗下期刊Cancer Cell, 点击“阅读原文”或扫描下方二维码查看论文 ▌论文标题: Precision treatment with artificial intelligence assisted subtyping

    23410编辑于 2025-12-25
  • 来自专栏凝神长老和他的朋友们

    桥接模式 VS 装饰器模式、状态模式 VS 策略模式的微妙之处

    使用装饰器模式需要依赖继承,但是子类型却并不特殊化目标对象(subtyping does not specialize the target object),我们可以使用包装来完成这个事情(injection

    89420发布于 2021-07-20
  • 来自专栏前端壹栈

    TypeScript 中的逆变、协变和双向协变

    这里要了解两个概念: 官方文档说到TS 是结构性的类型系统(Type compatibility in TypeScript is based on structural subtyping.

    1.6K20编辑于 2021-12-27
  • 来自专栏零域Blog

    「SF-LC」11 Rel

    Preorders a.k.a quasiorder The subtyping relations are usually preorders.

    55820编辑于 2022-03-14
领券