机译:基本过程代数的双相似性在2-ExpTime中(明确证明)
机译:图的非同构具有次指数大小证明,除非多项式时间层次崩溃
机译:图非同构具有次指数大小证明,除非多项式时间层次崩溃
机译:BPP具有子尺寸时间模拟,除非EXPTIME具有可发布的证明
机译:具有次指数服务时间的排队网络的尾部渐近线。
机译:通过结合分子模拟和实验来了解生理学的复杂性:阴离子通道作为概念证明
机译:基本过程代数的相似性在2-ExpTime(显式 证明)
机译:开发具有增强绝缘性能和更长使用寿命的高性能耐火纤维。第1阶段,增强绝缘性能和使用寿命原理证明:最终报告。