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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是601-610 订阅

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

详细简洁

排序：

HSCC 2019 - Proceedings of the 2019 22nd ACM international conference on Hybrid Systems: Computation and Control

HSCC 2019 - Proceedings of the 2019 22nd ACM International C...

引用

22nd ACM international conference on Hybrid Systems: Computation and Control, HSCC 2019

ISBN: (纸本)9781450362825

The proceedings contain 41 papers. The topics discussed include: falsification of hybrid systems using symbolic reachability and trajectory splicing;inner and outer reachability for the verification of control systems;numerical verification of affine systems with up to a billion dimensions;temporal logic robustness for general signal classes;interface-aware signal temporal logic;revisiting timed logics with automata modalities;on the decidability of reachability in linear time-invariant systems;on the decidability of linear bounded periodic cyber-physical systems;characterizations of safety in hybrid inclusions via barrier functions;on topological entropy and stability of switched linear systems;robust invariant sets generation for state-constrained perturbed polynomial systems;a complete characterization of the ordering of path-complete methods;and formal verification of neural network controlled autonomous systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using behavioural programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-type Game 22

Using behavioural Programming with Solver, Context, and Deep...

引用

ACM/IEEE 22nd international conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Elyasaf, Achiya Sadon, Aviran Weiss, Gera Yaacov, Tom Ben Gurion Univ Negev IL-8410501 Beer Sheva Israel

ISBN: (纸本)9781728151250

We describe four scenario-based implementations of controllers for a player in a simplified R. thoCup-type game. All four implementations are based on the behavioural programming (BP) approach. We first describe a simple controller for the player using the state-of-the-art BPjs tool and then show how it can be extended in various ways. The first extension is based on a version of BP where the Z3 SMT solver is used to provide mechanisms for richer composition of modules within the BP model. This allows for modules with higher cohesion and lower coupling. It also allows incrementality: we could use the scenarios we developed for the challenge of MDETOOLS'18 and extend the model to handle the new system. The second extension of BP demonstrated in this paper is a set of idioms for subjecting model components to context. One of the differences between this year's challenge and the challenge we dealt with last year is that following the ball is not the only task that a player needs to handle, there is much more to care for. We demonstrate how we used the idioms for handling context to parametrize scenarios like "go to a target" in a dynamic and natural fashion such that modelers can efficiently specify reusable components similar to the way modern user manuals for advanced products are written. Lastly, in an attempt to make the instructions to the robot even more natural, we demonstrate a third extension based on deep reinforcement learning. Towards substantiating the observation that it is easier to explain things to an intelligent agent than to dumb compiler, we demonstrate how the combination of BP and deep reinforcement learning (DRL) allows for giving abstract instructions to the robot and for teaching it to follow them after a short training session.

关键词： learning (artificial intelligence) Learning Players instruction Intelligent agents Solvers Controllers Hunting Game theory Game animals Robot programming BOEING PETROLEUM SERVICES compilers Behavioural

来源：评论

学校读者我要写书评

暂无评论

The Termination and Complexity Competition 25th

The Termination and Complexity Competition

引用

25th international conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as part of the 22nd European Joint conferences on Theory and Practice of Software (ETAPS)

作者： Giesl, Juergen Rubio, Albert Sternagel, Christian Waldmann, Johannes Yamada, Akihisa Rhein Westfal TH Aachen LuFG Informat 2 Aachen Germany Univ Politecn Cataluna Barcelona Spain Univ Innsbruck Dept Comp Sci Innsbruck Austria HTWK Leipzig Inst Informat Leipzig Germany NII Tokyo Japan

ISBN: (纸本)9783030175023;9783030175016

The termination and complexity competition (termCOMP) focuses on automated termination and complexity analysis for various kinds of programming paradigms, including categories for term rewriting, integer transition systems, imperative programming, logic programming, and functional programming. In all categories, the competition also welcomes the participation of tools providing certifiable output. The goal of the competition is to demonstrate the power and advances of the state-of-the-art tools in each of these areas.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Answer set programming encoding users opinions merging in social networks 20

Answer set programming encoding users opinions merging in so...

引用

Proceedings of the 22nd international conference on Information Integration and Web-based Applications & Services

作者： Raïda Ktari Salma Jamoussi OLID Lab-ISGIS Technopole of Sfax Higher Institute of Computer Science and Multimedia University of Sfax Tunisia MIRACL Lab Technopole of Sfax Higher Institute of Computer Science and Multimedia University of Sfax Tunisia

ISBN: (纸本)9781450389228

The present paper describes briefly a project idea in progress about the evolvement of individuals' opinions, beliefs and perceptions on social networks (such as Facebook, Twitter, Instagram, youtube...) which is a thorny subject that has whetted nowadays the curiosity of a hulk of researchers from various disciplines. For this purpose, differently from a lot of works in the literature, we rely on logical knowledge representation tools in order to investigate the belief merging operation of Artificial Intelligence (AI). The major objective of this project is to provide efficient operator for merging heterogeneous, inconsistent and uncertain multiple sources information in the context of social networks taking into account the fact that opinion can be formed and developed through the concept of social influence with its two forms (informational social influence and normative social influence) and the concept of social trust. We intend thus through this research work presenting an adaptative version to our context of an approach [7] expressed thanks to Answer Set programming (ASP) paradigm with stable model semantics. It is worth to say that our approach profits from the impressive volume data produced by users in social networks about a particular topic by learning from opinions, beliefs and perceptions that their freinds/neighbors share and therefore allows to use this kind of data to extract initial opinions, and to validate the proposed opinions merging process allowing even the prediction of users' behaviors.

关键词： Answer set programming social networks beliefs merging social influence opinions

来源：评论

学校读者我要写书评

暂无评论

Representation of Tolerance Relations and Granulation of Information with Respect to Substructural logic 22

Representation of Tolerance Relations and Granulation of Inf...

引用

22nd international conference on Soft Computing and Measurements (SCM)

作者： Volkova, E. S. Gisin, V. B. Financial Univ Govt Russian Federat Moscow Russia

ISBN: (纸本)9781728136028

The paper investigates fuzzy tolerance relations with membership function valued in a noncommutative residuated lattice. Such tolerance relations appear in the context of the theory of formal concepts. The paper shows that given a fuzzy tolerance relation, it is possible to identify a system of attributes and an object-to-attribute relationship, so that the objects are similar to the extent they have common attributes. For this purpose the tolerance classes can be taken as attributes. The paper presents the general description of the structure of fuzzy tolerance classes.

关键词： tolerance relation residuated lattice concept lattice substructural logic

来源：评论

学校读者我要写书评

暂无评论

Revisiting Timed logics with Automata Modalities 22

Revisiting Timed Logics with Automata Modalities

引用

22nd ACM international conference on Hybrid Systems: Computation and Control (HSCC)

作者： Ho, Hsi-Ming Univ Cambridge Cambridge England

ISBN: (纸本)9781450362825

It is well known that (timed) omega-regular properties such as 'p holds at every even position' and 'p occurs at least three times within the next 10 time units' cannot be expressed in Metric Interval Temporal logic (MITL) and Event Clock logic (ECL). A standard remedy to this deficiency is to extend these with modalities defined in terms of automata. In this paper, we show that the logics EMITL0,infinity (adding non-deterministic finite automata modalities into the fragment of MITL with only lower- and upper-bound constraints) and EECL (adding automata modalities into ECL) are already as expressive as EMITL (full MITL with automata modalities). In particular, the satisfiability and model-checking problems for EMITL0,8 and EECL are PSPACE-complete, whereas the same problems for EMITL are EXPSPACE-complete. We also provide a simple translation from EMITL0,infinity to diagonal-free timed automata, which enables practical satisfiability and model checking based on off-the-shelf tools.

关键词： metric interval temporal logic timed automata model checking

来源：评论

学校读者我要写书评

暂无评论

Defining Digital Joy-of-Use Criteria for Seniors: An Applied Design Approach to Build Motivational User Experiences for Older Generations 22nd

Defining Digital Joy-of-Use Criteria for Seniors: An Applied...

引用

22nd international conference on Human Computer Interaction, HCII 2020

作者： Bauer, Michel Silva, Bruno M. C. Rosa, Carlos Universidade Europeia IADE Av. Dom Carlos i 4 Lisbon1200-649 Portugal Instituto de Telecomunicações Universidade da Beira Interior R. Marquês de Ávila e Bolama Covilhã6201-001 Portugal UNIDCOM/IADE - Unidade de Investigação em Design e Comunicação Av. Dom Carlos i 4 Lisbon1200-649 Portugal

ISBN: (纸本)9783030601485

The recent increase of aging population across Europe and the rest of the globe represents one of the most radical demographic changes in the history of humankind. The increase of ageing society will have a vast impact on governments, families, individuals and companies. Humans getting older has deeply modified societies, making it possible that three or more generations live together within the same environment. Due to the advent of digital environments, it is important that the needs of older generations are adequately taken into account when it comes to modern communication. In recent years, there has been a lot of research on necessary usability standards within website development for the aged generation, however a functioning usability is not the only point to consider for a successful realization of a digital product. Therefore, the main objective of this work is to study and describe which criteria in terms of Joy-of-Use can help to motivate older people to use digital applications. The underlying research in this paper is divided in two parts, in the first part experts in the field of ageing society have been interviewed using non-structured interview guidelines, to get a better understanding and validate the findings within the literature review. In the second part of the study, people over the age of 60 years have been interviewed, to understand which criteria of Joy-of-Use motivates them to use digital applications. The results of this research will provide recommendations for the development of digital projects for senior generation. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

DS Lab Notebook: A new tool for data science applications

DS Lab Notebook: A new tool for data science applications

引用

international Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

作者： Alexandru Ionascu Sebastian-Aurelian Stefaniga West University of Timisoara Timisoara Romania

The following topics are dealt with: learning (artificial intelligence); neural nets; image classification; computer vision; formal logic; feature extraction; graph theory; symbol manipulation; mathematics computing; ... 详细信息

ISBN: (数字)9781728176284

ISBN: (纸本)9781728176291

关键词： Training Runtime Scientific computing Data science Tools User experience programming profession

来源：评论

学校读者我要写书评

暂无评论

Domain-Size Aware Markov logic Networks 22

Domain-Size Aware Markov Logic Networks

引用

22nd international conference on Artificial Intelligence and Statistics (AISTATS)

作者： Mittal, Happy Bhardwaj, Ayush Gogate, Vibhav Singla, Parag IIT Delhi New Delhi India Univ Texas Dallas Richardson TX 75083 USA

Several domains in AI need to represent the relational structure as well as model uncertainty. Markov logic is a powerful formalism which achieves this by attaching weights to formulas in finite first-order logic. Though Markov logic Networks (MLNs) have been used for a wide variety of applications, a significant challenge remains that weights do not generalize well when training domain sizes are different from those seen during testing. In particular, it has been observed that marginal probabilities tend to extremes in the limit of increasing domain sizes. As the first contribution of our work, we further characterize the distribution and show that marginal probabilities tend to a constant independent of weights and not always to extremes as was previously observed. As our second contribution, we present a principled solution to this problem by defining Domain-size Aware Markov logic Networks (DA-MLNs) which can be seen as re-parameterizing the MLNs after taking domain size into consideration. For some simple but representative MLN formulas, we formally prove that probabilities defined by DA-MLNs are well behaved. On a practical side, DA-MLNs allow us to generalize the weights learned over small-sized training data to much larger domains. Experiments on three different benchmark MLNs show that our approach results in significant performance gains compared to existing methods.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Automatic Car Braking System using Fuzzy logic Controller with Environmental Factors 22

Automatic Car Braking System using Fuzzy Logic Controller wi...

引用

22nd IEEE international Multi Topic conference (INMIC)

作者： Hassan, Syed Ali Iqbal, Sohail Natl Univ Sci & Technol NUST Sch Elect Engn & Comp Sci SEECS Islamabad 44000 Pakistan

ISBN: (纸本)9781728140018

Driving a car is a complex task,it requires vigilance and experience. When the breaks are applied to a car at the right time and with the right amount of force it can prevent many accidents. A slow moving car or any stationary object on the road is an obstacle for the moving vehicle. It can be avoided by braking/lane change so that the car does not crash. Many factors are involved that effect the braking in cars. Several solutions have been implemented in cars to assist the driver by warning about the incoming obstacle. A device that helps the driver to break automatically is called Automatic Braking system (AUBS). It helps to reduce the accidents due to human error. The AUBS system is designed using a fuzzy logic *** from the obvious inputs such as speed of the car and the distance from the obstacle, several other important factors such as external conditions on road and the tires condition are considered in the proposed approach. The results showed that the Automatic braking system designed showed a reliable and efficient performance.

关键词： Accidents

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 57 58 59 60 61 62 63 64 65 66 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：