AI写作工具
文献服务
退出
我的积分：
中文文献批量获取
外文文献批量获取
冯玉才; 刘丹; 班鹏新;
华中科技大学计算机学院;
武汉;
430074;
XML数据库; XML类型系统; 类型理论; 逻辑化形式建模;
机译：在库中扩展类型系统：C ++中的类型安全XML处理
机译：基于JavaScript和语义类型系统的统一系统建模和编程语言
机译：类型理论和词法网络：使用严肃游戏作为多分类类型系统的基础
机译：类型系统-用于编程语言的形式化方法和形式化工具
机译：基于小数权限的保守类型系统。
机译：使用基于FHIR的类型系统集成结构化和非结构化EHR数据：带有药物数据的案例研究
机译：类型为＆lt; mml：math altimg =“si1.gif”overflow =“scroll”xmlns：xocs =“http://www.elsevier.com/xml/xocs/dtd”xmlns：xs =“的orientifold字段理论的预测http://www.w3.org/2001/XmLschema“xmlns：xsi =”http://www.w3.org/2001/XmLschema-instance“xmlns =”http://www.elsevier.com/xml/ ja / dtd“xmlns：ja =”http://www.elsevier.com/xml/ja/dtd“xmlns：mml =”http://www.w3.org/1998/math/mathmL“xmlns：tb = “http://www.elsevier.com/xml/common/table/dtd”xmlns：sb =“http://www.elsevier.com/xml/common/struct-bib/dtd”xmlns：ce =“http ：//www.elsevier.com/xml/common/dtd“xmlns：xlink =”http://www.w3.org/1999/xlink“xmlns：cals =”http://www.elsevier.com/xml /普通/ CaLs / DTD“＆GT;＆LT; mmL：msUp＆GT;＆LT; mmL：mN大于0＆LT; / mmL：mN＆GT;＆LT; mmL：mO＆GT;'＆LT; / mmL：mO＆GT;＆LT; / mmL：msUp＆GT;＆LT ; / mmL：数学＆GT;弦理论
机译：具有正常加速度控制系统的扫掠翼战斗机纵向响应特性的理论研究以及与其他类型系统的比较
机译：XMLpath类型表达式分析方法，涉及根据XML类型文档的描述版本确定XMLpath类型表达式的搜索路径，将搜索路径相互比较，以及验证XMLpath类型表达式
机译：基于XML和使用此记录介质的形式化规范的方法和装置
机译：（54）标题：一种扩展商务智能系统的形式和功能的基于内容的方法（57）摘要：商务智能（BI）系统具有通过以下方式将其功能扩展到项目生命周期之外的能力：具体内容。复杂的多维查询被解释为原子子表达式的树，这些原子子表达式组合成类似解析树的结构以形成整体查询。每个子树在提供适当的上下文时都是有效的。任何子树都可以是作为应用程序内容存储的表达模板，该表达模板在生成时使用带有实例特定参数的简单文本替换来生成多维表达语法。该系统包括一个复杂的类型系统和语义层，使用户摆脱了使用OLAP数据库所固有的复杂性。商业智能专家可以为每个作为内容的表达模板提供类型和语义提示。
抱歉，该期刊暂不可订阅，敬请期待！
目前支持订阅全部北京大学中文核心（2020）期刊目录。
