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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

882 篇 期刊文献
588 篇 会议
104 册 图书
22 篇 学位论文

馆藏范围

1,597 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,374 篇 工学
- 1,339 篇 计算机科学与技术...
- 1,201 篇 软件工程
- 28 篇 控制科学与工程
- 20 篇 电气工程
- 17 篇 信息与通信工程
- 15 篇 机械工程
- 7 篇 建筑学
- 5 篇 电子科学与技术（可...
- 4 篇 土木工程
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
- 3 篇 仪器科学与技术
- 3 篇 农业工程
- 3 篇 网络空间安全
927 篇 理学
- 900 篇 数学
- 31 篇 系统科学
- 14 篇 统计学（可授理学、...
- 7 篇 生物学
- 2 篇 物理学
67 篇 管理学
- 41 篇 管理科学与工程(可...
- 26 篇 图书情报与档案管...
- 22 篇 工商管理
16 篇 教育学
- 14 篇 教育学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
3 篇 哲学
- 2 篇 哲学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学
- 3 篇 作物学
1 篇 法学
1 篇 文学

主题

274 篇 answer set progr...
248 篇 logic programmin...
70 篇 software enginee...
67 篇 mathematical log...
60 篇 logics and meani...
59 篇 programming lang...
45 篇 semantics
41 篇 knowledge repres...
34 篇 constraint logic...
32 篇 constraint progr...
30 篇 programming tech...
27 篇 constraint theor...
27 篇 prolog
25 篇 answer-set progr...
24 篇 artificial intel...
23 篇 software enginee...
22 篇 inductive logic ...
21 篇 program transfor...
20 篇 theory
20 篇 non-monotonic re...

机构

38 篇 univ potsdam pot...
22 篇 tu wien austria
18 篇 new mexico state...
16 篇 imdea software i...
15 篇 univ genoa dibri...
15 篇 univ kentucky de...
14 篇 univ a coruna la...
14 篇 univ texas austi...
13 篇 univ calabria ar...
12 篇 univ texas dalla...
11 篇 katholieke univ ...
11 篇 katholieke univ ...
11 篇 vienna univ tech...
10 篇 katholieke univ ...
10 篇 imperial coll lo...
10 篇 vienna univ tech...
9 篇 univ politecn ma...
9 篇 univ genoa genoa
9 篇 univ nebraska om...
9 篇 sabanci univ fac...

作者

47 篇 schaub torsten
34 篇 dodaro carmine
30 篇 eiter thomas
30 篇 cabalar pedro
30 篇 ricca francesco
26 篇 lierler yuliya
26 篇 fandinno jorge
26 篇 gupta gopal
23 篇 riguzzi fabrizio
23 篇 maratea marco
22 篇 alviano mario
21 篇 woltran stefan
21 篇 lifschitz vladim...
19 篇 pontelli enrico
18 篇 gebser martin
17 篇 erdem esra
13 篇 leone nicola
13 篇 carro manuel
13 篇 calimeri frances...
13 篇 oetsch johannes

语言

1,557 篇 英文
26 篇 中文
14 篇 其他

检索条件"任意字段=Theory and Practice of Logic Programming"

共 1597 条记录，以下是1541-1550 订阅

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

详细简洁

排序：

Formal Languages and Compilation 1

引用

丛书名： Texts in Computer Science

1000年

ISBN: (数字)9781848820500

ISBN: (纸本)9781849968171

State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to believe that the acc- panying textbooks are by now consolidated, much as the classical books on mathematics. In fact this is rather not true: there exist ?ne books on the mathematical aspects of language and automata theory, but the best books on translators are sort of encyclopaedias of algorithms, design methods, and practical know-how used in compiler design. Indeed a compiler is a mic- cosm,featuring avarietyofaspectsrangingfromalgorithmicwisdomto CPU ***, and compete with respect to their coverage of the last developments on p- gramming languages, processor architectures and clever mappings from the former to the latter.

关键词： logics and Meanings of Programs programming Languages, Compilers, Interpreters Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Managing caching strategies for stream reasoning with reinforcement learning

Managing caching strategies for stream reasoning with reinfo...

引用

作者： Dodaro, Carmine Eiter, Thomas Ogris, Paul Schekotihin, Konstantin Department of Mathematics and Computer Science University of Calabria Italy Institute of Logic and Computation Kbs Group Vienna University of Technology Austria Alpen-Adria-Universität Klagenfurt Austria

Efficient decision-making over continuously changing data is essential for many application domains such as cyber-physical systems, industry digitalization, etc. Modern stream reasoning frameworks allow one to model and solve various real-world problems using incremental and continuous evaluation of programs as new data arrives in the stream. Applied techniques use, e.g., Datalog-like materialization or truth maintenance algorithms to avoid costly re-computations, thus ensuring low latency and high throughput of a stream reasoner. However, the expressiveness of existing approaches is quite limited and, e.g., they cannot be used to encode problems with constraints, which often appear in practice. In this paper, we suggest a novel approach that uses the Conflict-Driven Constraint Learning (CDCL) to efficiently update legacy solutions by using intelligent management of learned constraints. In particular, we study the applicability of reinforcement learning to continuously assess the utility of learned constraints computed in previous invocations of the solving algorithm for the current one. Evaluations conducted on real-world reconfiguration problems show that providing a CDCL algorithm with relevant learned constraints from previous iterations results in significant performance improvements of the algorithm in stream reasoning scenarios. ©

关键词：

来源：评论

学校读者我要写书评

暂无评论

programming Languages and Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Daniel Métayer

ISBN: (数字)9783540459279

ISBN: (纸本)9783540433637

ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesontheory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

关键词： Software Engineering/programming and Operating Systems programming Languages, Compilers, Interpreters programming Techniques Software Engineering logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Integrated Formal Methods 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Wolfgang Ahrendt Silvia Lizeth Tapia Tarifa

ISBN: (数字)9783030349684

ISBN: (纸本)9783030349677

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.;The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

关键词： Software Engineering programming Languages, Compilers, Interpreters theory of Computation logic in AI Simulation and Modeling Computer Systems Organization and Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Computer Aided Verification 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Ahmed Bouajjani Oded Maler

ISBN: (数字)9783642026584

ISBN: (纸本)9783642026577

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.

关键词： programming Techniques Computer System Implementation Software Engineering/programming and Operating Systems logics and Meanings of Programs Software Engineering Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

programming Languages and Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Mooly Sagiv

ISBN: (数字)9783540319870

ISBN: (纸本)9783540254355

ETAPS 2005 was the eighth instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.

来源：评论

学校读者我要写书评

暂无评论

From Programs to Systems. The Systems perspective in Computing 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Saddek Bensalem Yassine Lakhneck Axel Legay

ISBN: (数字)9783642548482

ISBN: (纸本)9783642548475

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on theory and practice of Software, ETAPS, in Grenoble, April 2014.;Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.

关键词： logics and Meanings of Programs Computation by Abstract Devices programming Languages, Compilers, Interpreters Mathematical logic and Formal Languages Software Engineering

来源：评论

学校读者我要写书评

暂无评论

FME 2002:Formal Methods—Getting IT Right 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Lars-Henrik Eriksson Peter Alexander Lindsay

ISBN: (数字)9783540456148

ISBN: (纸本)9783540439288

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (***) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.

关键词： logics and Meanings of Programs Software Engineering/programming and Operating Systems theory of Computation Software Engineering programming Languages, Compilers, Interpreters programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Tools and Algorithms for the Construction and Analysis of Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Christel Baier Cesare Tinelli

ISBN: (数字)9783662466810

ISBN: (纸本)9783662466803

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on theory and practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.

关键词： logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Computation by Abstract Devices programming Languages, Compilers, Interpreters Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Principles and practice of Constraint programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michela Milano

ISBN: (数字)9783642335587

ISBN: (纸本)9783642335570

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and practice of Constraint programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification.

关键词： Mathematical logic and Formal Languages Numeric Computing Algorithm Analysis and Problem Complexity logics and Meanings of Programs Discrete Mathematics in Computer Science programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共160页 << < 151 152 153 154 155 156 157 158 159 160 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：