一种有效的双时态索引技术

机译：时态数据的高级索引技术

机译：一种有效的时态定量数据库关联规则挖掘算法

机译：一种有效的时态定量数据库关联规则挖掘算法

机译：双时态时间轴索引：用于处理双时态数据的数据结构

机译：用于时态数据库和信息检索的高效解聚和索引技术。

机译：成人双极透热性包皮环切术及相关程序–一种安全有效的技术

机译：AdVersum Paedagogos ...事件的预测是一种推论，从一组理论陈述和描述，将在时间给出的条件经验陈述的，推断出描述了将发生在时间的情况下的口齿T“2即，相同的解释，在最先进的认识论条件科学，它促进预测推论，即，做法，干预，或技术应用的延长将要既更可控的和有效的作为大是精度和其推导的理论的范围。例如，今天没有人怀疑目前的核技术是量子和原子物理理论的直接债务人，这项技术的应用更有效和控制（至少我们要求公民）的权力越高关于上述理论的解释。而同样的，我们可以说其他技术（糟糕了，我们会接受技术，这些干预措施，从相反银行在同一桥的建设开始了从来没见过精确到毫米，或打开suboceanic方式并不被大多数做有效的旅程，并有利可图，你不会找到经络精度）。技术应用的结构为：A，根据T-理论是可取的，如果条件c给出，条件C 在科学技术应用的过程中，典型的方案将是如下：我们从提议作为事件的开始要实现的目标（SIC）和可作为以前的研究的结果的一组T-理论，在技师的目的是定义的一组条件C，其根据该T-理论，将允许的含义或期望的现象A. 3需要在计划，控制并有效的干预措施的理论元件（即那些实际的评价是定量成为可能，）中说话的故意动作的配制剂，其我们可以假设作为简写表达技术行动：A（BYZ）=（（SB，SY），（S'B，S“Y）H）在其中：

机译：线性时态逻辑的模型检验：一种有效的实现方法

机译：使用双时态索引的数据存储

机译：使用双时态索引的数据存储

机译：双时态时间表索引