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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,159 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

922 篇 工学
- 869 篇 计算机科学与技术...
- 470 篇 软件工程
- 94 篇 控制科学与工程
- 67 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 9 篇 石油与天然气工程
- 8 篇 建筑学
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 仪器科学与技术
- 6 篇 电子科学与技术（可...
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 17 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
- 5 篇 化学
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
26 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,233 篇 英文
13 篇 其他
8 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1254 条记录，以下是771-780 订阅

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

详细简洁

排序：

Automatic synthesis of decision procedures: A case study of ground and linear arithmetic

引用

14th Symposium on the Integration of Symbolic Computation and Mechanized reasoning (Calculemus 2007)/6th international conference on Mathematical Knowledge Management (MKM 2007)

作者： Janicic, Predrag Bundy, Alan Univ Belgrade Fac Math Studentski Trg 16 Belgrade 11000 Serbia Univ Edinburgh Sch Informat Edinburgh EH8 9LE Scotland

ISBN: (纸本)9783540730835

We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning paradigm. the system (ADEPTUS), that we present in this paper, synthesised a decision procedure for ground arithmetic completely automatically and it used some specific method generators in generating a decision procedure for linear arithmetic, in only a few seconds of CPU time. We believe that this approach can lead to automated assistance in constructing decision procedures and to more reliable implementations of decision procedures.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Catastrophe prediction of Cnaphalocrosis Medinalis based on fuzzy reasoning

Catastrophe prediction of Cnaphalocrosis Medinalis based on ...

引用

7th international conference on Computational Science (ICCS 2007)

作者： Yu, Fei Shen, Yue Yue, Guangxue Wu, Ronghui Xu, Cheng Hunan Agr Univ Sch Comp & Informat Engn Changsha 410128 Peoples R China Grad Sch Chinese Acad Sci State Key Lab Informat Sec Beijing 100049 Peoples R China Nanjing Univ Posts & Telecommun Provin Key Lab Img Processing & Imgcommun Nanjing 210003 Peoples R China

ISBN: (纸本)9783540725879

the pest catastrophe prediction in ecology catastrophe is one of important part in expert system of intelligence agriculture and also the guarantee for preventing and controlling the pest catastrophe occurrence efficiently. the paper introduces the basic principles and methods of current catastrophe prediction in ecology catastrophe. According to modeling for the dynamic process of population, up-grown and amount of spawn, the paper finds out the trigger point and critical value inducing the pest catastrophe and implements the catastrophe prediction of Cnaphalocrosis Medinalis, which take measures before catastrophe to prevent big population coming into being.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Designing electronic circuits by means of Gene Expression programming II 1

引用

7th international conference on Evolvable Systems

作者： Yan, Xuesong Wei, Wei Liang, Qingzhong Hu, Chengyu Yao, Yuan China Univ Geosci Sch Comp Sci Wuhan 430074 Peoples R China China Univ Geosci Res Ctr Space Sci & Technol Wuhan 430074 Peoples R China

ISBN: (数字)9783540746263

ISBN: (纸本)9783540746256

A major bottleneck in the evolutionary design of electronic circuits is the problem of scale. this refers to the very fast growth of the number of gates, used in the target circuit, as the number of inputs of the evolved logic function increases. Another related obstacle is the time required to calculate the fitness value of a circuit. In this paper, We propose a new means (Gene Expression programming) for designing electronic circuits and introduces the encoding of the circuit as a chromosome, the genetic operators and the fitness function. From the case studies show this means has proved to be efficient to the electronic circuit and the evolution speed is fast. the experiments results show that we have attained the better results.

关键词： Gene expression

来源：评论

学校读者我要写书评

暂无评论

Regular strategies as proof tactics for CIRC

Regular strategies as proof tactics for CIRC

引用

7th international Workshop on Reduction Strategies in Rewriting and programming, WRS 2007, as part of the 4th Federated conference on Rewriting, Deduction, and programming, RDP 2007

作者： Lucanu, Dorel Roşu, Grigore Grigoraş, Gheorghe Alexandru Ioan Cuza University Iaşi Romania Department of Computer Science University of Illinois Urbana-Champaign United States

CIRC is an automated circular coinductive prover implemented as an extension of Maude. the main engine of CIRC consists of a set of rewriting rules implementing the circularity principle. the power of the prover can be increased by adding new capabilities implemented also by rewriting rules. In this paper we prove the correctness of the coinductive prover and show how rewriting strategies, expressed as regular expressions, can be used for specifying proof tactics for CIRC. We illustrate the strength of the method by defining a proof tactic combining the circular coinduction with a particular form of simplification for proving the equivalence of context-free processes.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

An object-oriented framework for improving software reuse on automated testing of mobile phones

引用

19th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems, Testcom 2007, and 7th international Workshop on Formal Approaches to Testing Software, FATES 2007

作者： Kawakami, Luiz Knabben, André Rechia, Douglas Bastos, Denise Pereira, Otavio Pereira e Silva, Ricardo Dos Santos, Luiz C.V. Motorola Brasil Test Center Brazil Computer Science Department Federal University of Santa Catarina Brazil

ISBN: (纸本)3540730656

To be cost effective, the decision to automate tests that are usually hand-executed has to rely on a tradeoff between the time consumed to build the automation infrastructure and the time actually saved by the automated tests. Techniques which improve software reuse not only reduce the cost of automation, but the resulting productivity gain speeds up development. Such issues are specially relevant to the software development for mobile phones, where the time-to-market pressure asks for faster design and requires quicker deployment of new products. this paper presents a novel object-oriented framework tailored to support the automation of user-level test cases so as to improve the rate of deployment of mobile phones. Despite inherent test automation limitations, experimental results show that, with automation, the overall testing effort is about three times less than the manual effort, when measured within a one-year interval. © IFIP- international Federation for Information Processing 2007.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Modelling Functional Dependencies in Databases using Mathematical logic

Modelling Functional Dependencies in Databases using Mathema...

引用

IEEE international conference on Intelligent Engineering Systems (INES)

作者： Alen Lovrencic Mirko Cubrilo Tonimir Kisasondi Faculty of Organization and Informatics University of Zagreb Croatia

For more than 20 years relational model is the most important database model. So, it is examined in the most various ways. A very important concept in the relational model is the concept of dependencies, especially functional dependencies. It is proven that functional dependencies can be represented by formulae of prepositional or predicate calculus. there are several systems of transforming functional dependencies into a logic system, known from the literature, but all of them has one serious drawback: they do not have a form that is appropriate for reasoning about normalization. this paper presents a new approach to the process of transforming functional dependencies into predicate calculus. the system presented in this paper is designed in the way to be appropriate for normalization, reasoning about it, as well as for the building a system for automated normalization of databases.

关键词： Mathematical model Relational databases Calculus Computer aided software engineering logic programming Informatics Buildings Design automation

来源：评论

学校读者我要写书评

暂无评论

Policy-based computing: From systems and applications to theory

Policy-based computing: From systems and applications to the...

引用

9th international conference on logic programming and Nonmonotomic reasoning, LPNMR 2007

作者： Lobo, Jorge IBM T. J. Watson Research Center

ISBN: (纸本)9783540721994

the need for a more autonomous management of distributed systems and networks has driven research and industry to look for management frameworks that go beyond the direct manipulation of network devices and systems. One approach towards this aim is to build policy-based management systems. Policy-based computing refers to a software paradigm developed around the concept of building autonomous systems that provide system administrators and decision makers with interfaces that let them set general guiding principles and policies to govern the behavior and interactions of the managed systems. Although many of the tasks are still carried out manually and ad hoc, instances of limited policy-based systems can be found in areas such as Internet service management, privacy, security and access management, management of quality of service and service level agreements in networks. Policies can be specified at many levels of abstraction, from natural language specifications to more elementary condition-action rule specifications. From these specifications policy systems need to come up with implementations. Some of these implementations can be done automatically, others require manual steps. In some cases policies impose legal commitments and systems should be able to demonstrate compliance. there are also situations in which policies are in conflict with each other and a system cannot implement them simultaneously without providing methods for conflict resolution. In this presentation I will review a few policy systems, applications and specification languages. then I will provide a more formal characterization of policies and their computational model. I will show a simple policy language in the style of the action description language A. I will discuss current solutions to policy conflicts, discuss the problem of policy refinement, i.e. transformations from high level specifications to lower level specifications, current approaches to refinement and provide a partial formal

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

automated Verification of Shape, Size and Bag Properties

Automated Verification of Shape, Size and Bag Properties

引用

IEEE international conference on Engineering of Complex Computer Systems

作者： Wei-Ngan Chin Cristina David Huu Hai Nguyen Shengchao Qin Singapore-Massachusetts Institute of Technology Alliance Singapore Department of Computer Science National University of Singapore Singapore Department of Computer Science Durham University UK

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that are mostly based on fixed sets of predicates. To improve expressivity, we have proposed a prover that can automatically handle user-defined predicates. these shape predicates allow programmers to describe a wide range of data structures with their associated size properties. In the current work, we shall enhance this prover by providing support for a new type of constraints, namely bag (multi-set) constraints. With this extension, we can capture the reachable nodes (or values) inside a heap predicate as a bag constraint. Consequently, we are able to prove properties about the actual values stored inside a data structure.

关键词： Shape logic Data structures Hydrogen Computer science Mechanical factors Tree data structures Tail programming profession Sorting

来源：评论

学校读者我要写书评

暂无评论

Rule-based modelling of cellular signalling

Rule-based modelling of cellular signalling

引用

18th international conference on Concurrency theory

作者： Danos, Vincent Feret, Jerome Fontana, Walter Harmer, Russell Krivine, Jean Plectix Biosystems Ecole Normale Supérieure Harvard Medical School CNRS Université Denis Diderot École Polytechnique

ISBN: (纸本)9783540744061

Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualitative forms of reasoning. Yet, this same combinatorial explosion makes the traditional modelling paradigm based on systems of differential equations impractical. In contrast, agent-based or concurrent languages, such as kappa. [1,2,3] or the closely related BioNetGen language [4,5,6,7,8,9,10], describe biological interactions in terms of rules, thereby avoiding the combinatorial explosion besetting differential equations. Rules are expressed in an intuitive graphical form that transparently represents biological knowledge. In this way, rules become a natural unit of model building, modification, and discussion. We illustrate this with a sizeable example obtained from refactoring two models of EGF receptor signalling that are based on differential equations [11,12]. An exciting aspect of the agent-based approach is that it naturally lends itself to the identification and analysis of the causal structures that deeply shape the dynamical, and perhaps even evolutionary, characteristics of complex distributed biological systems. In particular, one can adapt the notions of causality and conflict, familiar from con-currency theory, to kappa, our representation language of choice. Using the EGF receptor model as an example, we show how causality enables the formalization of the colloquial concept of pathway and, perhaps more surprisingly, how conflict can be used to dissect the signalling dynamics to obtain a qualitative handle on the range of system behaviours. By taming the combinatorial explosion, and exposing the causal structures and key kinetic junctures in a model, agent- and rule-based representations hold promise for making modelling more powerful, more perspicuous, and of appeal to a wider audience.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Verification of java bytecode using analysis and transformation of logic programs 07

引用

Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

作者： Elvira Albert Miguel Gómez-Zamalloa Laurent Hubert Germán Puebla DSIC Complutense University of Madrid Madrid Spain CLIP Technical University of Madrid Madrid Spain

ISBN: (纸本)9783540696087

State of the art analyzers in the logic programming (LP) paradigm are nowadays mature and sophisticated. they allow inferring a wide variety of global properties including termination, bounds on resource consumption, etc. the aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verification of Java bytecode (jvml). In order to achieve our goal, we rely on well-known techniques for meta-programming and program specialization. More precisely, we propose to partially evaluate a jvml interpreter implemented in LP together with (an LP representation of) a jvml program and then analyze the residual program. Interestingly, at least for the examples we have studied, our approach produces very simple LP representations of the original jvml programs. this can be seen as a decompilation from jvml to high-level LP source. By reasoning about such residual programs, we can automatically prove in the CiaoPP system some non-trivial properties of jvml programs such as termination, run-time error freeness and infer bounds on its resource consumption. We are not aware of any other system which is able to verify such advanced properties of Java bytecode.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：