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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

158 篇 会议
14 册 图书
5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

123 篇 工学
- 119 篇 计算机科学与技术...
- 79 篇 软件工程
- 20 篇 电气工程
- 4 篇 信息与通信工程
- 3 篇 控制科学与工程
- 2 篇 动力工程及工程热...
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 土木工程
- 2 篇 航空宇航科学与技...
- 2 篇 农业工程
- 1 篇 化学工程与技术
- 1 篇 交通运输工程
- 1 篇 环境科学与工程（可...
42 篇 理学
- 37 篇 数学
- 9 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 化学
13 篇 管理学
- 8 篇 管理科学与工程(可...
- 6 篇 工商管理
- 5 篇 图书情报与档案管...
2 篇 农学
- 2 篇 作物学
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学

主题

26 篇 logic programmin...
9 篇 mathematical log...
9 篇 programming lang...
9 篇 artificial intel...
8 篇 logics and meani...
8 篇 constraint theor...
7 篇 programming tech...
5 篇 constraint satis...
5 篇 semantics
4 篇 constraint logic...
4 篇 computer program...
4 篇 functional progr...
3 篇 object oriented ...
3 篇 prolog (programm...
3 篇 software enginee...
3 篇 computer system ...
2 篇 computer science
2 篇 computer circuit...
2 篇 theory of comput...
2 篇 formal logic

机构

3 篇 ercis leonardo-c...
3 篇 univ complutense...
2 篇 institut für inf...
2 篇 fraunhofer first
2 篇 institut für wir...
2 篇 fraunhofer first...
2 篇 institut für inf...
2 篇 department of in...
2 篇 department of co...
2 篇 cau kiel inst in...
2 篇 michigan state u...
2 篇 htwk leipzig fak...
1 篇 arm inc architec...
1 篇 inria
1 篇 kielce univ tech...
1 篇 facoltà di scien...
1 篇 penn state univ ...
1 篇 singapore manage...
1 篇 univ politecn ca...
1 篇 lomonosov moscow...

作者

8 篇 hanus michael
4 篇 michael hanus
3 篇 hofstedt petra
3 篇 dageförde jan c.
3 篇 kuchen herbert
3 篇 antoy sergio
2 篇 waldmann johanne...
2 篇 sarna-starosta b...
2 篇 teegen finn
2 篇 winkelmann hendr...
2 篇 liu ke
2 篇 caballero rafael
2 篇 lepper markus
2 篇 dillon laura k.
2 篇 ricardo rocha
2 篇 seipel dietmar
2 篇 mossakowski till
2 篇 dasseville ingma...
2 篇 leuschel michael
2 篇 löffler sven

语言

175 篇 英文
1 篇 其他
1 篇 中文

检索条件"任意字段=18th International Workshop on Functional and Constraint Logic Programming"

共 177 条记录，以下是31-40 订阅

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

详细简洁

排序：

Transformational verification of quicksort 8

Transformational verification of quicksort

引用

8th international workshop on Verification and Program Transformation, VPT 2020 and 7th workshop on Horn Clauses for Verification and Synthesis, HCVS 2020

作者： de Angelis, Emanuele Fioravanti, Fabio Proietti, Maurizio CNR IASI Via dei Taurini 19 Roma00185 Italy DEC University "G. d'Annunzio" of Chieti-Pescara Viale Pindaro 42 Pescara65127 Italy

Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program verification. In this paper, we work out a nontrivial case study through the transformation-based verification approach. We consider the familiar Quicksort program for sorting lists, written in a functional programming language, and we verify the pre/postconditions that specify the intended correctness properties of the functions defined in the program. We verify these properties by: (1) translating them into CHCs, (2) transforming the CHCs by removing all list occurrences, and (3) checking the satisfiability of the transformed CHCs by using the Eldarica solver over booleans and integers. the transformation mentioned at Point (2) requires an extension of the algorithms for the elimination of inductively defined data structures presented in previous work, because during one stage of the transformation we use as lemmas some properties that have been proved at previous stages. © E. De Angelis, F. Fioravanti & M. Proietti this work is licensed under the Creative Commons Attribution License.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer programming 22nd

Modular Modeling and Optimized Scheduling of Building Energy...

引用

22nd international Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on functional and constraint logic programming, WFLP 2019

作者： Wolf, Armin IT4Energy Center Fraunhofer FOKUS Kaiserin-Augusta-Allee 31 Berlin10589 Germany

ISBN: (纸本)9783030467135

Almost climate neutral buildings are one of the core goals in terms of sustainability. Beside the support of the necessary design decisions for an integrated, interoperable, ecological and economical operation of building energy systems, innovative management solutions for scheduling the operation of decentralized energy systems are of great importance. the challenge is an optimal interaction between energy system components in terms of own consumption, energy efficiency and resource consumption as well as greenhouse gas emissions. To achieve these goals a modular optimization approach based on Mixed Integer programming is proposed. In detail, and to our knowledge the first time, a MIP model for the dynamic behavior of fuel cell Combined Heat and Power plants is presented. Our approach is evaluated for the operation of heat pumps showing that their energy efficiency can be increased significantly. © 2020, Springer Nature Switzerland AG.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

OVERLAY 2019 - Proceedings of the 1st workshop on Artificial Intelligence and Formal Verification, logic, Automata, and Synthesis, co-located with the 18th international Conference of the Italian Association for Artificial Intelligence, AI*IA 2019

OVERLAY 2019 - Proceedings of the 1st Workshop on Artificial...

引用

1st workshop on Artificial Intelligence and Formal Verification, logic, Automata, and Synthesis, OVERLAY 2019

the proceedings contain 17 papers. the topics discussed include: model checking BDI logics over finite-state worlds;in silico clinical trials through AI and statistical model checking;automated verification of noisy nonlinear cyber-physical systems with Ariadne;towards the automated verification of publish/subscribe networks;verification with answer set programming, reasoning about actions and change, constraints and ontologies;pushing runtime verification to the limit: may process semantics be with us;robustness verification of decision tree ensembles;pairing monitoring with machine learning for smart system verification and predictive maintenance;and a prototype for the robust execution of flexible plans.

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th international Conference on Verified Software, VSTTE 2020, and 13th international workshop on Numerical Software Verification, NSV 2020

12th International Conference on Verified Software, VSTTE 20...

引用

12th international Conference on Verified Software, VSTTE 2020, and 13th international workshop on Numerical Software Verification, NSV 2020

ISBN: (纸本)9783030636173

the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Off Errors in Floating-Point Computations;towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench;combining Zonotope Abstraction and constraint programming for Synthesizing Inductive Invariants;QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking;Verified Translation Between Purely functional and Imperative Domain Specific Languages in HELIX;automatic Detection and Repair of Transition- Based Leakage in Software Binaries;BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers;synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison;verified Transformations and Hoare logic: Beautiful Proofs for Ugly Assembly Language;MCBAT: Model Counting for constraints over Bounded Integer Arrays;Verification of an Optimized NTT Algorithm;vstte 2020 preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Process Calculus for Formally Verifying Blockchain Consensus Protocols 22nd

A Process Calculus for Formally Verifying Blockchain Consens...

引用

作者： Jeltsch, Wolfgang Well-Typed London United Kingdom IOHK Hong Kong Hong Kong

ISBN: (纸本)9783030467135

Blockchains are becoming increasingly relevant in a variety of fields, such as finance, logistics, and real estate. the fundamental task of a blockchain system is to establish data consistency among distributed agents in an open network. Blockchain consensus protocols are central for performing this task. Since consensus protocols play such a crucial role in blockchain technology, several projects are underway that apply formal methods to these protocols. One such project is carried out by a team of the Formal Methods Group at IOHK. this project, in which the author is involved, aims at a formally verified implementation of the Ouroboros family of consensus protocols, the backbone of the Cardano blockchain. the first outcome of our project is the -calculus (pronounced "natural calculus"), a general-purpose process calculus that serves as our implementation language. the (formula presented)-calculus is a domain-specific language embedded in a functional host language using higher-order abstract syntax. this paper will be a ramble through the (formula presented)-calculus. First we will look at its language and its operational semantics. the latter is unique in that it uses a stack of two labeled transition systems to treat phenomena like data transfer and the opening and closing of channel scope in a modular fashion. the presence of multiple transition systems calls for a generic treatment of derived concurrency concepts. We will see how such a treatment can be achieved by capturing notions like scope opening and silent transitions abstractly using axiomatically defined algebraic structures based on functors and monads. © 2020, Springer Nature Switzerland AG.

关键词： functional programming

来源：评论

学校读者我要写书评

暂无评论

Intro toWeb Prolog for Erlangers 18

Intro toWeb Prolog for Erlangers

引用

18th ACM SIGPLAN international workshop on Erlang (Erlang)

作者： Lager, Torbjorn Univ Gothenburg Dept Philosophy Linguist & Theory Sci Gothenburg Sweden

ISBN: (纸本)9781450368100

We describe a programming language called Web Prolog. We think of it as a web programming language, or, more specifically, as a web logic programming language. the language is based on Prolog, with a good pinch of Erlang added. We stay close to traditional Prolog, so close that the vast majority of programs in Prolog textbooks will run without modification. Towards Erlang we are less faithful, picking only features we regard as useful in a web programming language, e.g. features that support concurrency, distribution and intraprocess communication. In particular, we borrow features that make Erlang into an actor programming language, and on top of these we define the concept of a pengine - a programming abstraction in the form of a special kind of actor which closely mirrors the behaviour of a Prolog top-level. On top of the pengine abstraction we develop a notion of non-deterministic RPC and the concept of the Prolog Web.

关键词： Prolog Erlang web programming

来源：评论

学校读者我要写书评

暂无评论

18th international Conference on Computational Methods in Systems Biology, CMSB 2020

18th International Conference on Computational Methods in Sy...

引用

18th international Conference on Computational Methods in Systems Biology, CMSB 2020

ISBN: (纸本)9783030603267

the proceedings contain 22 papers. the special focus in this conference is on Computational Methods in Systems Biology. the topics include: Tutorial: the colomoto interactive notebook, accessible and reproducible computational analyses for qualitative biological networks;integrating experimental pharmacology and systems biology for gpcr drug discovery;control Strategy Identification via Trap Spaces in Boolean Networks;comparing Probabilistic and logic programming Approaches to Predict the Effects of Enzymes in a Neurodegenerative Disease Model;growth Dependent Computation of Chokepoints in Metabolic Networks;what is a Cell Cycle Checkpoint? the TotemBioNet Answer;stationary Distributions and Metastable Behaviour for Self-regulating Proteins with General Lifetime Distributions;core Models of Receptor Reactions to Evaluate Basic Pathway Designs Enabling Heterogeneous Commitments to Apoptosis;Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications;classifier Construction in Boolean Networks Using Algebraic Methods;qualitative Analysis of Mammalian Circadian Oscillations: Cycle Dynamics and Robustness;on the Complexity of Quadratization for Polynomial Differential Equations;interval constraint Satisfaction and Optimization for Biological Homeostasis and Multistationarity;Accelerating Reactions at the DNA Can Slow Down Transient Gene Expression;eBCSgen: A Software Tool for Biochemical Space Language;fnyzer: A Python Package for the Analysis of Flexible Nets;modRev - Model Revision Tool for Boolean logical Models of Biological Regulatory Networks;synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision;graphical Conditions for Rate Independence in Chemical Reaction Networks;ABC(SMC)2: Simultaneous Inference and Model Checking of Chemical Reaction Networks;sequential Temporary and Permanent Control of Boolean Networks.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reference Type logic Variables in constraint-logic Object-Oriented programming 26th

Reference Type Logic Variables in Constraint-Logic Object-Or...

引用

26th international workshop on functional and constraint logic programming, WFLP 2018

作者： Dageförde, Jan C. ERCIS Leonardo-Campus 3 Münster48149 Germany

ISBN: (纸本)9783030162016

constraint-logic object-oriented programming, for example using Muli, facilitates the integrated development of business software that occasionally involves finding solutions to constraint-logic problems. the availability of object-oriented features calls for the option to use objects as logic variables as well, as opposed to being limited to primitive type logic variables. the present work contributes a concept for reference type logic variables in constraint-logic object-oriented programming that takes arbitrary class hierarchies of programs written in object-oriented languages into account. the concept discusses interactions between constraint-logic object-oriented programs and reference type logic variables, particularly invocations on and access to logic variables, type operations, and equality. Furthermore, it proposes approaches as to how these interactions can be handled by a corresponding execution environment. © 2019, Springer Nature Switzerland AG.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Transpiling programming Computable Functions to Answer Set Programs 26th

Transpiling Programming Computable Functions to Answer Set P...

引用

26th international workshop on functional and constraint logic programming, WFLP 2018

作者： Dasseville, Ingmar Denecker, Marc Department of Computer Science KU Leuven Leuven3001 Belgium

ISBN: (纸本)9783030162016

programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP. Using this translation it becomes possible to specify search problems using PCF. © 2019, Springer Nature Switzerland AG.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Towards a constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs 26th

Towards a Constraint Solver for Proving Confluence with Inva...

引用

26th international workshop on functional and constraint logic programming, WFLP 2018

作者： Christiansen, Henning Kirkeby, Maja H. Computer Science Roskilde University Roskilde Denmark

ISBN: (纸本)9783030162016

Confluence of a nondeterministic program ensures a functional input-output relation, freeing the programmer from considering the actual scheduling strategy, and allowing optimized and perhaps parallel implementations. the more general property of confluence modulo equivalence ensures that equivalent inputs are related to equivalent outputs, that need not be identical. Confluence under invariants is also considered. constraint Handling Rules (CHR) is an important example of a rewrite based logic programming language, and we aim at a mechanizable method for proving confluence modulo equivalence of terminating CHR programs. While earlier approaches to confluence for CHR programs concern an idealized logic subset, we refer to a semantics compatible with standard Prolog-based implementations. We specify a meta-level constraint language in which invariants and equivalences can be expressed and manipulated as is needed for confluence proofs, thus extending our previous theoretical results towards a practical implementation. © 2019, Springer Nature Switzerland AG.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：