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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

298 篇 会议
27 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

245 篇 工学
- 229 篇 计算机科学与技术...
- 117 篇 软件工程
- 19 篇 电气工程
- 17 篇 控制科学与工程
- 14 篇 信息与通信工程
- 6 篇 机械工程
- 5 篇 电子科学与技术（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 材料科学与工程（可...
- 3 篇 化学工程与技术
- 3 篇 生物医学工程（可授...
- 2 篇 建筑学
- 2 篇 农业工程
- 1 篇 光学工程
53 篇 理学
- 39 篇 数学
- 8 篇 生物学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 物理学
23 篇 管理学
- 14 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
6 篇 经济学
- 3 篇 理论经济学
- 3 篇 应用经济学
3 篇 教育学
- 2 篇 教育学
- 1 篇 心理学(可授教育学...
3 篇 农学
- 2 篇 作物学
2 篇 法学
- 2 篇 社会学
1 篇 医学

主题

70 篇 logic programmin...
18 篇 inductive logic ...
12 篇 programming
10 篇 logic gates
7 篇 computer science
7 篇 semantics
6 篇 computer circuit...
6 篇 inductive logic ...
6 篇 probabilistic lo...
6 篇 artificial intel...
5 篇 optimization
5 篇 logic
5 篇 machine learning
4 篇 formal logic
4 篇 computer archite...
4 篇 model checking
4 篇 java
4 篇 computer languag...
4 篇 integer programm...
4 篇 hardware

机构

5 篇 inria rennes ren...
5 篇 university of po...
3 篇 microsoft res re...
3 篇 univ paris 13 li...
3 篇 carnegie mellon ...
3 篇 aalto university...
3 篇 univ penn philad...
2 篇 univ wales dept ...
2 篇 stanford univ ct...
2 篇 politecn torino ...
2 篇 indian inst tech...
2 篇 univ freiburg in...
2 篇 univ wisconsin d...
2 篇 czech tech univ ...
2 篇 univ london impe...
2 篇 department of in...
2 篇 univ paris 13 li...
2 篇 harvard univ cam...
2 篇 columbia univ ct...
2 篇 ibm unternehmens...

作者

8 篇 gebser martin
6 篇 srinivasan ashwi...
6 篇 alphonse erick
5 篇 schaub torsten
5 篇 ricca francesco
4 篇 osmani aomar
4 篇 page david
4 篇 camacho rui
3 篇 yamamoto akihiro
3 篇 king ross
3 篇 rouveirol celine
3 篇 moreno gines
3 篇 leger hippolyte
3 篇 janhunen tomi
3 篇 maratea marco
3 篇 bouthinon domini...
3 篇 lebbah mustapha
2 篇 muggleton stephe...
2 篇 fronhöfer b
2 篇 khatibsyarbini

语言

317 篇 英文
7 篇 其他
5 篇 中文

检索条件"任意字段=13th International Conference on Inductive Logic Programming"

共 329 条记录，以下是61-70 订阅

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

详细简洁

排序：

Hoare-style reasoning from multiple contracts 13th

Hoare-style reasoning from multiple contracts

引用

13th international conference on Integrated Formal Methods, IFM 2017

作者： Owe, Olaf Ramezanifarkhani, Toktam Fazeldehkordi, Elahe Department of Informatics University of Oslo Oslo Norway

ISBN: (纸本)9783319668444

Modern software is often developed with advanced mechanisms for code reuse. A software module may build on other software modules or libraries where the source code is not available. And even if the source code is known, the binding mechanism may be such that the binding of methods is not known at verification time, and thus the underlying reused code cannot be determined. For example, in delta- oriented programming the binding of methods depends on the ordering of deltas in each product, making modular reasoning non-trivial. Similar problems occur with traits and subclassing. Reasoning inside a module must then be based on partial knowledge of the methods, typically given by contracts in the form of pairs of pre- and post-conditions, and one may not derive new properties by re-verification of the (unavailable) source code. In the setting of Hoare logic, this gives some challenges to general rules for adaptation that goes beyond traditional systems for Hoare logic. We develop a novel way of reasoning from multiple contracts, which makes the traditional adaptation rules superfluous. the problem we address does not depend on the choice of programming language. We therefore focus on general rules rather than statement-specific rules. We show soundness and completeness for the suggested rules. © Springer international Publishing AG 2017.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

An Instance Based Model for Scalable theta -Subsumption

An Instance Based Model for Scalable Theta -Subsumption

引用

international conference on Tools for Artificial Intelligence (ICTAI)

作者： Hippolyte Léger Dominique Bouthinon Mustapha Lebbah Hanene Azzag Universite Paris 13 L.I.P.N UMR-CNRS 7030 Villetaneuse France

the θ-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed θ-subsumption process based on an Actor Model, with the aim of being able to decide subsumption on very large clauses. this model was correct and complete, but was also very slow. this is why we introduce ANTS (Actor Network based theta-Subsumption), a new model also based on an actor network, which is significantly faster than the previous one.

关键词： Computational modeling logic programming Engines Adaptation models Tools Artificial intelligence Electronic mail

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic Reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 1

引用

丛书名： Lecture Notes in Computer Science 9345

2015年

作者： Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.)

ISBN: (数字)9783319232645

ISBN: (纸本)9783319232638;9783319232645

this volume contains the refereed proceedings of the 13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation. the aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Federating Public and Private Intelligent Services for IoT Applications 13

Federating Public and Private Intelligent Services for IoT A...

引用

13th international Wireless Communications and Mobile Computing conference (IWCMC)

作者： Shih, Chi-Sheng Chuang, Ching-Chi Yeh, Hsin-Yuan Natl Taiwan Univ Grad Inst Networking & Multimedia Embedded Syst & Wireless Networking Lab NTU IoX Res CtrDept Comp Sci & Informat Engn Taipei Taiwan

ISBN: (纸本)9781509043729

Many IoT applications require public information and private information to make correct decision and trigger appropriate services in efficient manner. Many existing IoT services use cloud-based service model. Cloud-based service model conducts logic decision on remote servers, which store public and private information, and leads to security and privacy breakage. Moreover, it limits the users on controlling the services. the tradeoff between data privacy and intelligent service is an important issue on developing IoT services. In this paper, we present a public/private federation framework, which combines public and private intelligence to develop IoT applications. It allows the IoT applications to take advantage of the cloud-based public intelligence and local private data to provide correct services without transmitting private data to public servers. the framework is built on top of an intelligent virtual middleware, named WuKong, to federate with nodeRED, which is a web-enabled flow-based programming environment. Two case examples are shown in the paper to demonstrate how the private and public intelligence are inter-woven to compose intelligent IoT applications.

关键词： Cloud computing Hardware Java Computational modeling programming Protocols Runtime

来源：评论

学校读者我要写书评

暂无评论

Balance control by diffuse logic for a phoenix hexapod robot

Balance control by diffuse logic for a phoenix hexapod robot

引用

international conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Darwin Alulema Cristian Andino Diego Rodríguez Víctor Proaño Alexander Ibarra Derlin Morocho Freddy Tapia Verónica Alulema Departamento de Eléctrica y Electrónica Universidad de las Fuerzas Armadas ESPE Sangolqui Ecuador Departamento de Ciencias de la Computación Universidad de las Fuerzas Armadas ESPE Sangolqui Ecuador

Using diffuse control algorithms, a position control for the six extremities of the Hexapod Robot was built. As input to the controller, a LIS3DSH accelerometer was used, which gives the Roll values for the angle in which the accelerometer tilts, typical of the Discovery STM32F4 card. It was necessary to build a PI controller in order to reduce the error in stationary state and stabilize the robot in a zero degree tilt position, allowing the Hexapod robot to stand and balance automatically over different surfaces.

关键词： Servomotors Accelerometers thigh Robot sensing systems programming

来源：评论

学校读者我要写书评

暂无评论

logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015 Lexington, KY, USA, september 27–30, 2015 proceedings 13th

引用

13th international conference on logic programming and Nonmonotonic Reasoning, LPNMR 2015

作者： Calimeri, Francesco Ianni, Giovambattista Truszczynski, Miroslaw University of Calabria Rende Italy Department of Computer Science University of Kentucky LexingtonKY United States

来源：评论

学校读者我要写书评

暂无评论

Objective functions for falsification of signal temporal logic properties in cyber-physical systems

Objective functions for falsification of signal temporal log...

引用

IEEE international conference on Automation Science and Engineering (CASE)

作者： Johan Eddeland Sajed Miremadi Martin Fabian Knut Åkesson Institution of Electrical Engineering Chalmers University of Technology Gothenburg Sweden Volvo Car Corporation Gothenburg Sweden

Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. thus, it is important that these systems behave as intended, as incorrectness can have serious consequences. Due to continuous dynamics that yield infinite state spaces, the systems cannot be exhaustively tested to guarantee correct behavior, but systematic testing can be used to systematically search for behavior that is inconsistent with the requirements. However, manual testing is a tedious and error-prone task, and thus it is desirable to automate as much of the testing process as possible to increase efficiency and eliminate manual errors. this paper considers falsification of requirements expressed as temporal logic formulae to find errors in the Model-in-the-Loop stage of model-based development. the falsification is an optimization procedure where the objective function is determined by the definition of a quantitative semantics for the temporal logic formalism, and the optimization is performed over an input parametrization. It is shown that in certain cases where the discreteness of the system under test manifests itself in the objective function, the robustness values for the temporal logic specifications need to be modified. this paper presents two alternative objective functions suitable for these cases, and illustrates their use with both a small example and a use case from Volvo Car Corporation.

关键词： Linear programming Optimization Robustness Testing Safety Cyber-physical systems Semantics

来源：评论

学校读者我要写书评

暂无评论

Automatic Construction of Image Inspection Algorithm By using Image Processing Network programming 13

Automatic Construction of Image Inspection Algorithm By usin...

引用

13th international conference on Quality Control by Artificial Vision

作者： Yoshimura, Yuichiro Aoki, Kimiya Chukyo Univ Grad Sch Dept Informat Sci & Technol Nagoya Aichi Japan

ISBN: (数字)9781510611221

ISBN: (纸本)9781510611214;9781510611221

In this paper, we discuss a method for automatic programming of inspection image processing. In the industrial field, automatic program generators or expert systems are expected to shorten a period required for developing a new appearance inspection system. So-called "image processing expert system" have been studied for over the nearly 30 years. We are convinced of the need to adopt a new idea. Recently, a novel type of evolutionary algorithms, called genetic network programming (GNP), has been proposed. In this study, we use GNP as a method to create an inspection image processing logic. GNP develops many directed graph structures, and shows excellent ability of formulating complex problems. We have converted this network program model to Image Processing Network programming (IPNP). IPNP selects an appropriate image processing command based on some characteristics of input image data and processing log, and generates a visual inspection software with series of image processing commands. It is verified from experiments that the proposed method is able to create some inspection image processing programs. In the basic experiment with 200 test images, the success rate of detection of target region was 93.5%.

关键词： visual inspection appearance inspection inspection mechanism genetic network programming

来源：评论

学校读者我要写书评

暂无评论

On formal verification in imperative multivalued programming over continuous data types 13

On formal verification in imperative multivalued programming...

引用

13th international conference on Computability and Complexity in Analysis, CCA 2016

作者： Müller, Norbert Park, Sewon Preining, Norbert Ziegler, Martin Trier University Germany KAIST Korea Republic of JAIST Japan

来源：评论

学校读者我要写书评

暂无评论

Resource provisioning for IoT application services in smart cities

Resource provisioning for IoT application services in smart ...

引用

international conference on Network and Service Management

作者： José Santos Tim Wauters Bruno Volckaert Filip De Turck Department of Information Technology IDLab Gent Belgium

In the last years, traffic over wireless networks has been increasing exponentially, due to the impact of Internet of things (IoT) and Smart Cities. Current networks must adapt to and cope with the specific requirements of IoT applications since resources can be requested on-demand simultaneously by multiple devices on different locations. One of these requirements is low latency, since even a small delay for an IoT application such as health monitoring or emergency service can drastically impact their performance. To deal with this limitation, the Fog computing paradigm has been introduced, placing cloud resources on the edges of the network to decrease the latency. However, deciding which edge cloud location and which physical hardware will be used to allocate a specific resource related to an IoT application is not an easy task. therefore, in this paper, an Integer Linear programming (ILP) formulation for the IoT application service placement problem is proposed, which considers multiple optimization objectives such as low latency and energy efficiency. Solutions for the resource provisioning of IoT applications within the scope of Antwerp's City of things testbed have been obtained. the result of this work can serve as a benchmark in future research related to placement issues of IoT application services in Fog Computing environments since the model approach is generic and applies to a wide range of IoT use cases.

关键词： logic gates Cloud computing Smart cities Bandwidth Wireless communication Edge computing Optimization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共33页 << < 3 4 5 6 7 8 9 10 11 12 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：