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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

254 篇 会议
24 篇 期刊文献
4 册 图书

馆藏范围

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

日期分布

学科分类号

235 篇 工学
- 230 篇 计算机科学与技术...
- 146 篇 软件工程
- 11 篇 电气工程
- 9 篇 控制科学与工程
- 8 篇 信息与通信工程
- 3 篇 建筑学
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 土木工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 2 篇 生物工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
- 1 篇 网络空间安全
77 篇 理学
- 73 篇 数学
- 6 篇 统计学（可授理学、...
- 2 篇 化学
- 2 篇 生物学
- 2 篇 系统科学
11 篇 管理学
- 9 篇 管理科学与工程(可...
- 4 篇 工商管理
- 3 篇 图书情报与档案管...
3 篇 医学
- 3 篇 临床医学
- 2 篇 基础医学(可授医学...
- 2 篇 药学(可授医学、理...
1 篇 法学
- 1 篇 法学
1 篇 军事学
- 1 篇 军队指挥学

主题

60 篇 logic programmin...
34 篇 answer set progr...
18 篇 non-monotonic re...
15 篇 knowledge repres...
9 篇 semantics
7 篇 inductive logic ...
6 篇 computer circuit...
5 篇 fuzzy logic
5 篇 formal logic
5 篇 programming
4 篇 belief revision
4 篇 epistemic logic ...
4 篇 non-monotonic lo...
4 篇 model checking
4 篇 ontologies
4 篇 defeasible logic
4 篇 knowledge repres...
4 篇 machine learning
3 篇 equilibrium logi...
3 篇 abduction

机构

9 篇 univ potsdam pot...
6 篇 univ calabria ar...
5 篇 univ a coruna la...
4 篇 new mexico state...
4 篇 vrije univ bruss...
4 篇 imperial coll lo...
4 篇 univ milano bico...
4 篇 univ angers leri...
3 篇 tu wien austria
3 篇 univ genoa dibri...
3 篇 univ calabria de...
3 篇 vienna univ tech...
3 篇 tech univ dresde...
2 篇 university of ma...
2 篇 univ torino dipa...
2 篇 katholieke univ ...
2 篇 univ calabria di...
2 篇 univ hasselt has...
2 篇 univ politecn ma...
2 篇 univ ferrara dip...

作者

16 篇 ricca francesco
9 篇 cabalar pedro
8 篇 alviano mario
7 篇 fandinno jorge
6 篇 schaub torsten
6 篇 maratea marco
5 篇 maher michael j.
5 篇 gebser martin
4 篇 eiter thomas
4 篇 son tran cao
3 篇 akbar siami nami...
3 篇 governatori guid...
3 篇 gaggl sarah alic...
3 篇 perez gilberto
3 篇 riguzzi fabrizio
3 篇 penaloza rafael
3 篇 formisano andrea
3 篇 aguado felicidad
3 篇 russo alessandra
3 篇 ielo antonio

语言

282 篇 英文

检索条件"任意字段=17th International Conference on Logic Programming and Non-monotonic Reasoning"

共 282 条记录，以下是271-280 订阅

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

详细简洁

排序：

Two Formal Semantics of a Subset of the Paderborn University BSPlib

Two Formal Semantics of a Subset of the Paderborn University...

引用

Euromicro conference on Parallel, Distributed and Network-Based Processing

作者： Frédéric Gava Jean Fortin Laboratory of Algorithms Complexity and Logic (LACL) University of Paris-East Paris France

PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. the BSP model allows an estimation of the execution time, avoids deadlocks and non-determinism. this paper presents two formal operational semantics for a C+PUB subset language using the Coq proof assistant, one for classical BSP operations and one that emphasises high performance primitives.

关键词： logic Libraries Laboratories System recovery Safety Kernel Parallel machines Algorithm design and analysis Parallel algorithms Parallel programming

来源：评论

学校读者我要写书评

暂无评论

Adaptive reasoning for Context-Sensitive Access Controls

Adaptive Reasoning for Context-Sensitive Access Controls

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： Sara Sartoli Akbar Siami Namin Department of Computer Science Texas Tech University Lubbock TX USA

Many of the current policy-based management systems implement policies that depend on dynamic operational environment contexts. the existing formal-based approaches for enforcing security policies are mainly expressed using first-order logic. A major drawback of using first-order logic in implementing dynamic policies is that new observations cannot override previously inferred consequences. In fact, a security system whose enterprise policies are implemented using first-order logic is required to have complete access to data in advance in order to be able to perform an informed reasoning and enforce restricting policies. As a major problem, the systems designed based on these first order logic-based approaches are often static, inflexible, and hard to manage and scale. this paper introduces an approach for expressing and enforcing adaptive access control policies dynamically. the paper presents a non-monotonic formal approach based on Answer Set programming where default policies are explicitly separated from context-dependent and exception policies that often occur in dynamic systems and in particular when the required context data are unavailable ahead of time. the results of presented case study demonstrate the flexibility of the proposed approach compared to the first order logic-based context-sensitive approaches as implemented in Organizational-Based Access Control (ORBAC) model.

关键词： Context Access control Cognition Concrete Organizations programming

来源：评论

学校读者我要写书评

暂无评论

Semantic links and co-evolution in object-oriented software development 02

Semantic links and co-evolution in object-oriented software ...

引用

IEEE international conference on Automated Software Engineering (ASE)

作者： R. van der Straeten System and Software Engineering Laboratory SSEL Vrije Universiteit Brussel Brussels Belgium

ISBN: (纸本)9780769517360

Summary form only given. this research focuses on the problem of the semantic linking and co-evolution of the different design diagrams and models of an object-oriented software application. the blueprint of an object-oriented software application consists mainly of models drawn in a modeling language. the state-of-the-art modeling language in object-oriented software development is the Unified Modeling Language (UML). Our research hypothesis is that using decidable fragments of first order logic to express the different UML diagrams enables the semantic linking of the different diagrams and models and enables the support of co-evolution which can be semi-automated, enhancing the reusability, maintainability and understandability of the design of the software application and of the software application in general. We propose to develop a formal framework to support the linking of the different diagrams and models within the software development life cycle (SDLC). the advantages of such a framework are: reasoning capabilities are provided, co-evolution is more guaranteed, adaptability of the design is improved and reuse and understandability of the software design increases. To support co-evolution of the design models in a semi-automatic way we investigate the query capabilities of these logic families.

关键词： programming Object oriented modeling Application software Joining processes Unified modeling language Software engineering logic design Software design Software maintenance Software reusability

来源：评论

学校读者我要写书评

暂无评论

Boundary Control of Traffic Congestion Modeled as a non-stationary Stochastic Process

Boundary Control of Traffic Congestion Modeled as a Non-stat...

引用

international conference on Control, Automation, Robotics and Vision (ICARCV)

作者： Xun Liu Hossein Rastgoftar Department of Mechanical Engineering Villanova University Villanova PA USA Department of Aerospace and Mechanical Engineering University of Arizona Tucson AZ USA

ISBN: (纸本)9781665476881

In this paper, we introduce a new conservation-based approach to model traffic dynamics, and apply the model predictive control (MPC) approach to manage the boundary traffic inflow and outflow, so that the traffic congestion is reduced. We establish an interface between the Simulation of Urban Mobility (SUMO) software and MATLAB to define a network of interconnected roads (NOIR) as a directed graph, and present traffic congestion management as a network control problem. By formally specifying the traffic feasibility conditions, and using the linear temporal logic, we present the proposed MPC-based boundary control problem as a quadratic programming with linear equality and inequality constraints. the success of the proposed traffic boundary control is demonstrated by simulation of traffic congestion control in Center City Philadelphia.

关键词： Roads Urban areas Stochastic processes Predictive models Mathematical models Software Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

A temporal model for transparent monitoring of shared-memory multiprocessors

A temporal model for transparent monitoring of shared-memory...

引用

IEEE Annual international Computer Software and Applications conference (COMPSAC)

作者： D.F. Robinson B.H.C. Cheng Department of Computer Science Michigan State University East Lansing MI USA

A major obstacle to parallel software development has been the perturbation of program execution resulting from software-based monitoring techniques. Parallel programs exhibit non-deterministic behavior, which can result in changes in program execution under software monitoring, as compared to unmonitored program execution. In this paper, a formal model for parallel program execution and monitoring in shared-memory environments is developed that addresses issues related to monitor intrusion. Using this formal model, the notion of transparency, as it relates to monitored programs, is defined. Sufficient conditions for monitor transparency are presented. Software-based monitoring tools meeting these conditions are assured to exhibit transparency, given the definition. thus, by ensuring that parallel program monitors conform to these sufficient conditions for monitor transparency, developers of software tools can enable transparent monitoring to be achieved.< >

关键词： logic Condition monitoring Sufficient conditions Computerized monitoring Software tools Computer science programming Parallel processing Software debugging Runtime

来源：评论

学校读者我要写书评

暂无评论

Temporal logics for Multi-Agent Systems 18

Temporal Logics for Multi-Agent Systems

引用

Proceedings of the 17th international conference on Autonomous Agents and MultiAgent Systems

作者： thomas A. Henzinger IST Austria Klosterneuburg Austria

Temporal logic formalizes reasoning about the possible behaviours of a system over time. For example, a temporal formula may stipulate that an occurrence of event A may be, or must be, followed by an occurrence of event B. Traditional temporal logics, however, are insufficient for reasoning about multi-agent systems. In order to stipulate, for example, that a specific agent can ensure that A is followed by B, references to agents, their capabilities, and their intentions must be added to the logic, yielding Alternating-time Temporal logic (ATL). ATL is a temporal logic that is interpreted over multi-player games, whose players correspond to agents that pursue temporal objectives. the hardness of the model-checking problem -- whether a given formula is true for a given multi-agent system -- depends on how the players decide on the next move in the game (for example, whether they take turns, or make independent concurrent decisions, or bid for the next move), how the outcome of a move is computed (deterministically or stochastically), how much memory the players have available for making decisions, and which kind of objectives they pursue (qualitative or quantitative). the expressiveness of ATL is still insufficient for reasoning about equilibria and related phenomena in non-zero-sum games, where the players may have interfering but not necessarily complementary objectives. For this purpose, the behavioural strategies (a.k.a. policies) of individual players can been added to the logic as quantifiable first-order entities, yielding Strategy logic. We survey several known results about these multi-player game logics and point out some open problems.

关键词： logics of agency temporal logic atl

来源：评论

学校读者我要写书评

暂无评论

Sparse Kernel PCA for Outlier Detection

Sparse Kernel PCA for Outlier Detection

引用

international conference on Machine Learning and Applications (ICMLA)

作者： Rudrajit Das Aditya Golatkar Suyash P. Awate IIT Bombay Mumbai India Indian Institute of Technology Bombay Mumbai Maharashtra IN

In this paper, we propose a new method to perform Sparse Kernel Principal Component Analysis (SKPCA) and also mathematically analyze the validity of SKPCA. We formulate SKPCA as a constrained optimization problem with elastic net regularization in kernel feature space and solve it. We consider outlier detection (where KPCA is employed) as an application for SKPCA, using the RBF kernel. We test it on 5 real world datasets and show that by using just 4% (or even less) of the principal components (PCs), where each PC has on average less than 12% non-zero elements in the worst case among all 5 datasets, we are able to nearly match and in 3 datasets even outperform KPCA. We also compare the performance of our method with a recently proposed method for SKPCA and show that our method performs better in terms of both accuracy and sparsity. We also provide a novel probabilistic proof to justify the existence of sparse solutions for KPCA using the RBF kernel. To the best of our knowledge, this is the first attempt at theoretically analyzing the validity of SKPCA.

关键词： Kernel Anomaly detection Principal component analysis Symmetric matrices Optimization Probabilistic logic Linear programming

来源：评论

学校读者我要写书评

暂无评论

Approach for interoperability of multi-source geological hazard data based on ontology and GeoSciML

Approach for interoperability of multi-source geological haz...

引用

international conference on Geoinformatics

作者： Gang Liu Chonglong Wu Xiaogang Ma Yanni Wang Fei Tian Faculty of Earth Resources China University of Geoscience Wuhan China

ISBN: (纸本)9781424445622

Sorts of models in current geological hazard information management system and digital disaster reduction system (DDRS) in China still lack of enough basic data support. One key problem is how to realize integration and share of complex geological hazard heterogenous spatial information. Isomerous geological hazard data have four types: structural isomer, syntax isomer, system isomer and semantic isomer. Interoperability of semantic heterogenous data is a difficult issue due to complexity and implication of semantic information. Ontology not only describes exactly the meaning of concepts but also inner relationship of the concepts, which can efficiently express common knowledge of specific domain by logic reasoning to get the implied relationship among concepts. On the other hand, GeoSciML 2.0 is a standard exchange language for geological information sharing. According to the feature of geological hazard data, complex geological object modeling and expression can be realized by extending GeoSciML, which is based on GML model and widely used XML standard that ensure the transformed data can be accepted by commercial or free tools. the problems of large load of programming and software frequent upgrade in data transform and direct reading mode can be solved. therefore, ontology is used to carry out semantic sharing model and GeoSciML is applied to construct transmission and exchange model to improve interoperability capacity of geological hazard information system. there are three layers of geological hazard ontology: top-level ontology, domain ontology and application ontology which are designed to build semantic integration and share model and differ from traditional data dictionary and metadata method. Based on the abundant geological hazard data of three Gorges Area in China, geological hazard ontology and GeoSciML technology are being applied to realize data and application integration and improve decision making for emergency response when single hazard or grou

关键词： Geology Hazards Ontologies Monitoring Data engineering Information management logic Data analysis Information analysis Earth

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Rule Interpolation Toolbox for the GNU Open-Source OCTAVE

Fuzzy Rule Interpolation Toolbox for the GNU Open-Source OCT...

引用

international conference on Emerging eLearning Technologies and Applications (ICETA)

作者： Maen Alzubi Mohammad Almseidin Mohd Aaqib Lone Szilveszter Kovacs Department of Information Technology University of Miskolc Miskolc Hungary

ISBN: (数字)9781728149677

ISBN: (纸本)9781728149684

In most fuzzy control applications (applying classical fuzzy reasoning), the reasoning method requires a complete fuzzy rule-base, i.e all the possible observations must be covered by the antecedents of the fuzzy rules, which is not always available. Fuzzy control systems based on the Fuzzy Rule Interpolation (FRI) concept play a major role in different platforms, in case if only a sparse fuzzy rule-base is available. this cases the fuzzy model contains only the most relevant rules, without covering all the antecedent universes. the first FRI toolbox being able to handle different FRI methods was developed by Johanyak et. al. in 2006 for the MATLAB environment. the goal of this paper is to introduce some details of the adaptation of the FRI toolbox to support the GNU/OCTAVE programming language. the OCTAVE Fuzzy Rule Interpolation (OCTFRI) Toolbox is an open-source toolbox for OCTAVE programming language, providing a large functionally compatible subset of the MATLAB FRI toolbox as well as many extensions. the OCTFRI Toolbox includes functions that enable the user to evaluate Fuzzy Inference Systems (FISs) from the command line and from OCTAVE scripts, read/write FISs and OBS to/from files, and produce a graphical visualisation of both the membership functions and the FIS outputs. Future work will focus on implementing advanced fuzzy inference techniques and GUI tools.

关键词： Matlab Interpolation Fuzzy sets Fuzzy logic Computer languages Tools Open source software

来源：评论

学校读者我要写书评

暂无评论

Towards a Unified Trust Framework for Detecting IoT Device Attacks in Smart Homes

Towards a Unified Trust Framework for Detecting IoT Device A...

引用

IEEE Internatonal conference on Mobile Adhoc and Sensor Systems (MASS)

作者： Hussein Alsheakh Shameek Bhattacharjee Western Michigan University Kalamazoo Michigan USA

ISBN: (数字)9781728198668

ISBN: (纸本)9781728198675

Trust in Smart Home (SH) Internet of things (IoT) technologies is a primary concern for consumers, which is preventing the widespread adoption of smart home services. Additionally, the variety of IoT devices and cyber attacks make it hard to build a generic attack detection framework for smart home IoT devices. In this paper, we present a roadmap towards building a unified approach towards establishing trust scores as an indicator of the security status of an IoT device in a smart home that works across multiple attacks and device types/protocols. Specifically, we first introduce artificial reasoning inspired evidence collection approach by introducing a small set of factors that are affected significantly if a smart home IoT device is under attack. thereafter, we propose an explainable trust scoring model that maps the device level evidence into trust scores in a way that produces lower trust scores when devices are under attack. Specifically, the trust model involves an Augmented Bayesian Belief based Model embedded with novel non-linear weighing functions; explicitly designed to account for the severity of the attack, probabilistic discounting of parts of the evidence caused by benign changes, thus explaining our success. For evaluation of the framework, we use two real datasets that contain a variety of actual cyber-attacks and benign traffic from seven different smart home IoT devices. Our evaluation seeks to investigate the generality of our framework across multiple datasets, with various classes of IoT devices and cyber attacks.

关键词： conferences Smart homes Probabilistic logic Sensor systems Internet of things Security Cyberattack

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共29页 << < 20 21 22 23 24 25 26 27 28 29 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：