检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

166 篇 会议
15 册 图书
5 篇 期刊文献

馆藏范围

186 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

129 篇 工学
- 119 篇 计算机科学与技术...
- 85 篇 软件工程
- 5 篇 电气工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 2 篇 农业工程
- 2 篇 生物医学工程（可授...
- 1 篇 机械工程
- 1 篇 光学工程
- 1 篇 仪器科学与技术
- 1 篇 矿业工程
- 1 篇 石油与天然气工程
- 1 篇 生物工程
- 1 篇 网络空间安全
22 篇 理学
- 16 篇 数学
- 3 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 生物学
15 篇 管理学
- 8 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 4 篇 工商管理
- 1 篇 公共管理
2 篇 农学
- 2 篇 作物学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
- 1 篇 护理学（可授医学、...

主题

18 篇 computer languag...
12 篇 database languag...
12 篇 query languages
10 篇 logic programmin...
9 篇 database systems
9 篇 software enginee...
9 篇 artificial intel...
9 篇 functional progr...
8 篇 parallel program...
8 篇 computer program...
7 篇 xml
7 篇 programming lang...
6 篇 computer science
6 篇 software enginee...
6 篇 mathematical log...
6 篇 costs
6 篇 semantics
6 篇 computer program...
6 篇 relational datab...
6 篇 logics and meani...

机构

2 篇 univ valladolid ...
2 篇 carleton univ sc...
2 篇 imdea software
2 篇 department of co...
2 篇 tallinn universi...
2 篇 univ aarhus dept...
2 篇 univ calabria di...
2 篇 vienna univ tech...
1 篇 philipps univ ma...
1 篇 xian technol uni...
1 篇 ibm corp almaden...
1 篇 mechanical engin...
1 篇 university paris...
1 篇 department of in...
1 篇 epfl
1 篇 univ nottingham ...
1 篇 dept. of informa...
1 篇 university of te...
1 篇 department of co...
1 篇 the pennsylvania...

作者

3 篇 schwartzbach mic...
2 篇 bertossi leopold...
2 篇 chakravarty manu...
2 篇 zhao yidan
2 篇 krennwallner tho...
2 篇 moreton-fernande...
2 篇 van gucht dirk
2 篇 gonzalez-escriba...
2 篇 cozman fabio g.
2 篇 carro manuel
2 篇 eiter thomas
2 篇 moller anders
2 篇 ianni giovambatt...
2 篇 steffen bernhard
2 篇 xiao qinkun
2 篇 li kin fun
2 篇 schindlauer roma...
2 篇 brabrand claus
2 篇 hanus michael
2 篇 keller gabriele

语言

183 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=10th International Symposium on Database Programming Languages"

共 186 条记录，以下是121-130 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Logic programming and model checking 10th

Logic programming and model checking

引用

10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Cui, Baoqiu Dong, Yifei Du, Xiaoqun Kumar, K. Narayan Ramakrishnan, C.R. Ramakrishnan, I.V. Roychoudhury, Abhik Smolka, Scott A. Warren, David S. Department of Computer Science SUNY at Stony Brook Stony BrookNY11794-4400 United States

ISBN: (纸本)3540650121

We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system specification and verification. In particular, the XMC model checker for value-passing CCS and the modal mu-calculus is discussed, as well as the XSB tabled logic programming system, on which XMC is based. Additionally, several ongoing efforts aimed at extending the LMC approach beyond traditional finite-state model checking are considered, including compositional model checking, the use of explicit induction techniques to model check parameterized systems, and the model checking of real-time systems. Finally, after a brief conclusion, future research directions are identified. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Integrating constraint propagation in complete solving of linear diophantine systems 10th

Integrating constraint propagation in complete solving of li...

引用

10th international symposium on programming languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th international Conference, ALP 1998

作者： Ajili, Farid Lock, Hendrik C. R. IC-Parc William Penny Laboratory Imperial College LondonSW7 2AZ United Kingdom Logistics Development and Planning SAP AG POB 14 61 WalldorfD-69190 Germany

ISBN: (纸本)3540650121

Several complete methods for solving linear Diophantine constraints have been proposed. they can handle infinite domains, but their pruning during search is relatively weak. In contrast to those, consistency techniques based constraint propagation provides stronger pruning and have been applied successfully to many combinatorial problems, but are limited to finite domains. this paper studies the combination of (1) a complete solver which is based on a geometric interpretation and (2) propagation techniques. We study the pruning potential created through such a combination, both conceptually and experimentally. In addition, it turns out that dynamic variables orderings can be easily embedded in the method. Our result is an extended solver, which is implemented in Java, based on which we present some interesting features and a few experimental results. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Foundations of Information and Knowledge Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Flavio Ferrarotti Stefan Woltran

ISBN: (数字)9783319900506

ISBN: (纸本)9783319900490

this book constitutes the refereed proceedings of the 10th international symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018.;the 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. the papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.

关键词： Mathematical Logic and Formal languages database Management Artificial Intelligence Computer Appl. in Administrative Data Processing

来源：评论

学校读者我要写书评

暂无评论

Advanced Parallel Processing Technologies 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Chenggang Wu Albert Cohen

ISBN: (数字)9783642452932

ISBN: (纸本)9783642452925

this book constitutes the refereed post-proceedings of the 10th international symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013. the 30 revised full papers presented were carefully reviewed and selected from 62 submissions. the papers cover a wide range of topics capturing some of the state of the art and practice in parallel architecture, parallel software, concurrent and distributed systems, and cloud computing, with a highlight on computing systems for big data applications.

关键词： Software Engineering Algorithm Analysis and Problem Complexity Computer Communication Networks Operating Systems programming languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

On representation-based querying of databases containing ill-known values 10th

引用

10th international symposium on Methodologies for Intelligent Systems, ISMIS 1997

作者： Bosc, Patrick Pivert, Olivier IRISA-ENSSAT BP 447 Lannion Cedex22305 France

ISBN: (纸本)3540636145

In this paper, the issue of querying databases containing ill-known values is addressed. A new type of queries is introduced, based on criteria applying to the representations of ill-known data. In the regular possibilistic framework, the only authorized selection criteria concern the value that an item can take. What we propose is to enrich the query language with some concepts which are part of the possibilistic database model and which concern the qualification of imprecision/uncertainty. the representation-based querying framework defined in this paper constitutes the first step to the introduction of an explicit manipulation of the concepts of imprecision/uncertainty into a fuzzy query language. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Introducing the ACM international conference on systems, programming, languages, and applications: Software for humanity (SPLASH)

ONWARD!'11 - Proceedings of the 10th ACM Symposium on New Id...

引用

ONWARD!'11 - Proceedings of the 10th ACM symposium on New Ideas, New Paradigms, and Reflections on programming and Software 2011年 iii-iv页

作者： Lopes, Crista Videira University of California Irvine United States

来源：评论

学校读者我要写书评

暂无评论

Refinable Record Structures in Formal Methods 10th

Refinable Record Structures in Formal Methods

引用

10th international Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th international Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st international Health Data Workshop, HEDA 2021

作者： Fathabadi, Asieh Salehi Snook, Colin Hoang, thai Son Dghaym, Dana Butler, Michael ECS University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030876562

State-based formal specifications benefit from data structuring mechanisms, which collate associated properties and efficiently declare complex types. For example, ‘record’ data structures, similar to those used in programming languages, can be built into the concrete syntax of a language as an enhancement over flat data relationships. While this is relatively simple to achieve for a single-level specification, it becomes significantly more involved when the specification language allows for progressive refinement of the data supporting the specification. Individual fields may be added to create sub-records within a refinement and replaced to create refined records during a refinement step. the impact on the ability to verify invariant and refinement proof obligations must be considered. Here we describe a record structuring syntax that includes notions of extension and inheritance that can be used in a refinement-based formal method. We illustrate the approach using extensions to the Event-B formal method. © 2021, Springer Nature Switzerland AG.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Logic programming and Nonmonotonic Reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Esra Erdem Fangzhen Lin Torsten Schaub

ISBN: (数字)9783642042386

ISBN: (纸本)9783642042379

this volume contains the proceedings of the 10th international Conference on Logic programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. the aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. the special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. the special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. the presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.

关键词： Artificial Intelligence Discrete Mathematics theory of Computation Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal languages

来源：评论

学校读者我要写书评

暂无评论

A Framework for Comparing Query languages in their Ability to Express Boolean Queries 10th

A Framework for Comparing Query Languages in Their Ability t...

引用

10th international symposium on Foundations of Information and Knowledge Systems (FoIKS)

作者： Surinx, Dimitri Van den Bussche, Jan Van Gucht, Dirk Hasselt Univ Hasselt Belgium Indiana Univ Bloomington IN USA

ISBN: (纸本)9783319900506;9783319900490

We identify three basic modalities for expressing boolean queries using the expressions of a query language: nonemptiness, emptiness, and containment. For the class of first-order queries, these three modalities have exactly the same expressive power. For other classes of queries, e.g., expressed in weaker query languages, the modalities may differ in expressiveness. We propose a framework for studying the expressive power of boolean query modalities. Along one dimension, one may work within a fixed query language and compare the three modalities, e.g., we can compare a fixed query language F under emptiness to F under nonemptiness. Here, we identify crucial query features that enable us to go from one modality to another. Furthermore, we identify semantical properties that reflect the lack of these query features to establish separations. Along a second dimension, one may fix a modality and compare different query languages. this second dimension is the one that has already received quite some attention in the literature, whereas in this paper we emphasize the first dimension. Combining both dimensions, it is interesting to compare the expressive power of a weak query language using a strong modality, against that of a seemingly stronger query language but perhaps using a weaker modality. We present some initial results within this theme. As an important auxiliary result, we establish a preservation theorem for monotone containments of conjunctive queries.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

Certified development tools implementation in Objective Caml

Certified development tools implementation in Objective Caml

引用

10th international symposium on Practical Aspects of Declarative languages

作者： Pagano, Bruno Andrieu, Olivier Canou, Benjamin Chailloux, Emmanuel Colaco, Jean-Louis Moniot, thomas Wang, Philippe Esterel Technol 8 Rue Blaise Pascal F-78890 Elancourt France ENS Cachan F-35170 Bruz France Univ Pierre & Marie Curie Paris 6 Lab Informat Paris 6 LIP6 - UMR 7606 F-75016 Paris France Siemens VDO Automot F-31036 Toulouse France

ISBN: (纸本)9783540774419

this paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools implementation. As a result, Objective Caml is now used for the new Scade (TM) certified embedded-code generator. the requirements for tools implementation are less strict than those for the embedded code itself. However, they are still quite demanding and linked to imperative languages properties, which are usually used for this kind of development. the use of Objective Caml is outstanding: firstly for its high level features (functional language of higher order, parametric polymorphism, pattern matching), secondly for its low level mechanisms needed by the runtime system (CC, exceptions). In order to develop the tools to check the safety-critical software development rules, it is necessary to reinterpret them for this language, and then to adapt Objective Caml so that it satisfies them. thus, we propose a language restriction and a simplified runtime library in order that we can define and measure the coverage of a program written in Objective Caml according to the MC/DC criteria. then we can look forward to seeing this kind of languages spread out the industrial environment, while raising the abstraction level in the conception and implementation of tools for certified programs production.

关键词： code coverage tests measurement functional programming objective caml civil avionics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共19页 << < 9 10 11 12 13 14 15 16 17 18 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：