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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 期刊文献
19 册 图书

馆藏范围

344 篇 电子文献
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 ...
15 篇 artificial intel...
12 篇 programming
12 篇 mathematical log...
11 篇 programming tech...
11 篇 logics and meani...
10 篇 software enginee...
10 篇 logic gates
10 篇 programming lang...
7 篇 computer science
7 篇 semantics
6 篇 computer circuit...
6 篇 inductive logic ...
6 篇 probabilistic lo...
5 篇 optimization
5 篇 logic
5 篇 machine learning
4 篇 formal logic
4 篇 computer archite...

机构

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

语言

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

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

共 344 条记录，以下是121-130 订阅

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

详细简洁

排序：

Doctoral consortium extended abstract: Planning with concurrent transaction logic 13th

引用

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

作者： Basseda, Reza Stony Brook University Stony BrookNY11794 United States

ISBN: (纸本)9783319232638

Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (CT R) is a natural specification language for planning algorithms, which enables one to see further afield and thus discover better and more general solutions than using one-of-a-kind formalisms. Specifically, we take the well-known STRIPS planning strategy and show that CT R lets one specify the STRIPS planning algorithm easily and concisely, and extend it in several respects. For instance, we show that extensions to allow indirect effects and to support action ramifications come almost for free. the original STRIPS planning strategy is also shown to be incomplete. Using concurrency operators in CT R, we propose a non-linear STRIPS planning algorithm, which is proven to be complete. Moreover, this thesis proposal outlines several extensions of STRIPS planning strategy. All of the extensions show that the use of CT R accrues significant benefits in the area of planning. © Springer international Publishing Switzerland 2015.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2014

13th International Conference on Intelligent Software Method...

引用

13th international conference on New Trends in Intelligent Software Methodology Tools and Techniques, SoMeT 2014

ISBN: (纸本)9783319175294

the proceedings contain 27 papers. the special focus in this conference is on Artificial Intelligence Techniques in Software Engineering, Requirement Engineering, Intelligent Software Systems Design and Arts in Interactive Software Design. the topics include: A new selection process based on granular computing for group decision making problems;easy and concise programming for low-level hybridization of PSO-GA;a framework for a decision tree learning algorithm with K-NN;intelligent content for product definition in RFLP structure;the adoptions of USEPs in identifying usability requirements in SSM-based framework;requirements engineering of Malaysia’s radiation and nuclear emergency plan simulator;ontology COKB for knowledge representation and reasoning in designing knowledge-based systems;dynamic WLAN fingerprinting radiomap for adapted indoor positioning model;incorporating users satisfaction to resolve sparsity in recommendation systems;redefining game engine architecture through concurrency;an intelligent application for outdoor rendering taking sky color and shadows into account;the simulation of flow shop production system in PTO environment through a matrix approach in system dynamics logic;highlighting value and effort drivers early in business and system models;combining hidden Markov model and case based reasoning for time series forecasting;ANFIS based intelligent synchronization tool on multi robot manipulators system;towards domain ontology interoperability measurement;an evaluation of COCHCOMO tool for change effort estimation in software development phase and adaptive learning for lemmatization in morphology analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Digital forensics evidence analysis: An answer set programming approach for generating investigation hypotheses 13th

引用

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

作者： Costantini, Stefania De Gasperis, Giovanni Olivieri, Raffaele Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica Universitá degli Studi dell’Aquila Via Vetoio 1 L’Aquila67100 Italy Viale di Tor di Quinto 119 Rome00191 Italy

ISBN: (纸本)9783319232638

the results of the evidence analysis phase in Digital Forensics (DF) provide objective data which however require further elaboration by the investigators: in fact, they must contextualize analysis results within an investigative environment so as to provide possible hypotheses that can be proposed as proofs in court, to be evaluated by lawyers and judges. Aim of our research has been that of exploring the applicability of Answer Set programming (ASP) to the automatization of evidence analysis. this brings many advantages, among which that of making different possible investigative hypotheses explicit, whereas different human experts working on the case often devise and select, relying on intuition, discordant interpretations. Very complex investigations for which human experts can hardly find solutions turn out in fact to be reducible to optimization problems in classes P or NP or not far beyond, that can thus be expressed in ASP. As a proof of concept, in this paper we present the formulation of some real investigative cases via simple ASP programs, and discuss how this leads to the formulation of concrete investigative hypotheses. © Springer international Publishing Switzerland 2015.

关键词： Digital forensics

来源：评论

学校读者我要写书评

暂无评论

Aspartame: Solving constraint satisfaction problems with answer set programming 1

引用

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

作者： Banbara, Mutsunori Gebser, Martin Inoue, Katsumi Ostrowski, Max Peano, Andrea Schaub, Torsten Soh, Takehide Tamura, Naoyuki Weise, Matthias Aalto University HIIT Greater Helsinki Finland INRIA Rennes Rennes France Kobe University Kobe Japan NII Tokyo Tokyo Japan University of Ferrara Ferrara Italy University of Potsdam Potsdam Germany

ISBN: (数字)9783319232645

ISBN: (纸本)9783319232638

Encoding finite linear CSPs as Boolean formulas and solving them by using modern SAT solvers has proven to be highly effective by the award-winning sugar system. We here develop an alternative approach based on ASP that serves two purposes. First, it provides a library for solving CSPs as part of an encompassing logic program. Second, it furnishes an ASP-based CP solver similar to sugar. Both tasks are addressed by using first-order ASP encodings that provide us with a high degree of flexibility, either for integration within ASP or for easy experimentation with different implementations. When used as a CP solver, the resulting system aspartame re-uses parts of sugar for parsing and normalizing CSPs. the obtained set of facts is then combined with an ASP encoding that can be grounded and solved by off-the-shelf ASP systems. We establish the competitiveness of our approach by empirically contrasting aspartame and sugar. © Springer international Publishing Switzerland 2015.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Software Engineering and Formal Methods, SEFM 2015 Collocated with ATSE, HOFM, MoKMaSD, and VERY SCART

13th International Conference on Software Engineering and Fo...

引用

13th international conference on Software Engineering and Formal Methods, SEFM 2015

ISBN: (纸本)9783662492239

the proceedings contain 25 papers. the special focus in this conference is on ATSE 2015 and HOFM 2015. the topics include: Learning-based testing of distributed microservice architectures;the synergy between user experience design and software testing;combining time and concurrency in model-based statistical testing of embedded real-time systems;towards supporting agile combinatorial test design;behavioral types for component-based development of cyber-physical systems;refactoring proofs with tactician;exploring the role of logic and formal methods in information systems education;type-based enforcement of programming guidelines;clustering formulation using constraint optimization;towards a boosted route planner using individual mobility models;design of a business-to-government information sharing architecture using business rules;beyond the domain of business process management;on integrating social and sensor networks for emergency management;quantitative modelling of residential smart grids;attributed probabilistic p systems and their application to the modelling of social interactions in primates;probabilistic modelling and analysis of a fish population;a tool for the modelling and simulation of ecological systems based on grid systems;distributed coordinated adaptation of cloud-based applications;fuzzy description logics for component selection in software design;towards adapting choreography-based service compositions through enterprise integration patterns;an experimental evaluation on runtime verification of self-adaptive systems in the presence of uncertain transition probabilities;towards automatic decision support for bike-sharing system design and automated synthesis of protocol converters with BALM-II.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ASPMT(QS): Non-monotonic spatial reasoning with answer set programming modulo theories 13th

引用

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

作者： Walęga, Przemyslaw Andrzej Bhatt, Mehul Schultz, Carl Institute of Philosophy University of Warsaw Warsaw Poland Department of Computer Science University of Bremen Bremen Germany

ISBN: (纸本)9783319232638

the systematic modelling of dynamic spatial systems [9] is a key requirement in a wide range of application areas such as comonsense cognitive robotics, computer-aided architecture design, dynamic geographic information systems. We present ASPMT(QS), a novel approach and fully-implemented prototype for non-monotonic spatial reasoning — a crucial requirement within dynamic spatial systems– based on Answer Set programming Modulo theories (ASPMT). ASPMT(QS) consists of a (qualitative) spatial representation module (QS) and a method for turning tight ASPMT instances into Sat Modulo theories (SMT) instances in order to compute stable models by means of SMT solvers. We formalise and implement concepts of default spatial reasoning and spatial frame axioms using choice formulas. Spatial reasoning is performed by encoding spatial relations as systems of polynomial constraints, and solving via SMT with the theory of real nonlinear arithmetic. We empirically evaluate ASPMT(QS) in comparison with other prominent contemporary spatial reasoning systems. Our results show that ASPMT(QS) is the only existing system that is capable of reasoning about indirect spatial effects (i.e. addressing the ramification problem), and integrating geometric and qualitative spatial information within a non-monotonic spatial reasoning context. © Springer international Publishing Switzerland 2015.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

13th international Work-conference on Artificial Neural Networks, IWANN 2015

13th International Work-Conference on Artificial Neural Netw...

引用

13th international Work-conference on Artificial Neural Networks, IWANN 2015

ISBN: (纸本)9783319192215

the proceedings contain 58 papers. the special focus in this conference is on Pattern Recognition, Embedded Intelligent Systems, Expert Systems, Advances in Computational Intelligence and Applications of Computational Intelligence. the topics include: Developing gene classifier system for autism recognition;a distributed feature selection approach based on a complexity measure;a medical case-based reasoning approach using image classification and text information for recommendation;non spontaneous saccadic movements identification in clinical electrooculography using machine learning;applying a hybrid algorithm to the segmentation of the Spanish stock market index time series;energy flux range classification by using a dynamic window autoregressive model;automatic eye blink detection using consumer web cameras;insights on the use of convolutional neural networks for document image binarization;a genetic algorithms-based LSSVM classifier for fixed-size set of support vectors;ensemble of minimal learning machines for pattern classification;extreme learning machines for multiclass classification;modeling retina adaptation with multiobjective parameter fitting;stochastic-based implementation of reservoir computers;logic programming and artificial neural networks in breast cancer detection;evolutionary hybrid configuration applied to a polymerization process modelling;multi-layer perceptrons for voxel-based classification of point clouds from natural environments;an improved RBF neural network approach to nonlinear curve fitting;multiwindow fusion for wearable activity recognition;short-term spanish aggregated solar energy forecast;intelligent presentation skills trainer analyses body movement and existence and synthesis of complex hopfield type associative memories.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Predictable Transactional Memory Architecture with Selective Conflict Resolution for Mixed-Criticality Support in MPSoCs

A Predictable Transactional Memory Architecture with Selecti...

引用

IEEE/IFIP international conference on Embedded and Ubiquitous Computing, EUC

作者： Zaher Owda Roman Obermaisser University of Siegen Germany

Transactional memories can radically simplify the programming of mixed-criticality systems by offering atomicity, consistency and isolation guarantees between subsystems of different criticality. A major objective in mixed-criticality systems is a modular safety case where each subsystem is certified to the respective safety assurance level. the prerequisite for this modular certification is the prevention of any effect of low criticality subsystems on the temporal behavior of subsystems of higher criticality. this paper introduces a transactional memory architecture based on a time-triggered network-on-a-chip with fault isolation based on a TDMA scheme. the memory architecture contains a memory gateway for selective conflict resolution when committing transactions. the memory gateway triggers a rollback of a transaction in case higher criticality subsystems would be affected. the proposed transactional memory architecture ensures that the validation and certification of high criticality subsystems does not depend on subsystems with lower criticality.

关键词： logic gates Real-time systems Embedded systems Hardware Memory architecture Schedules Systems architecture

来源：评论

学校读者我要写书评

暂无评论

Designing and programming “Gameland” web portal focusing on serious games

Designing and programming “Gameland” web portal focusing o...

引用

international conference on Emerging eLearning Technologies and Applications (ICETA)

作者： M. Hosťovecký L. Lipovský D. Tóthová University of Ss. Cyril and Methodius / Department of Applied Informatics and Math Trnava Slovakia University of Ss. Cyril and Methodius/Department of Applied Informatics and Math Trnava Slovakia Slovak University of Agricultural in Nitra/Centre of Information Technologies Nitra Slovakia

the main purpose of the present paper was to design and develop a web portal that would store intelligent educational games aiming to eliminate cognitive shortcomings in elementary and secondary school pupils. the design of the portal was based on a previously implemented project that was aiming to find out the differences in cognitive levels among elementary and secondary school pupils in five selected subjects. the tests were carried out on a sample of pupils in the border region between Slovakia and the Czech Republic. the evaluation of these tests revealed specific shortcomings in specific cases. On this basis, we decided to create so-called serious games. For the purpose of storing these games it was necessary to create a portal that would contain them.

关键词： Portals Games Databases Electronic mail logic gates Navigation Education

来源：评论

学校读者我要写书评

暂无评论

Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones 13

Systematic Analysis and Detection of Misconfiguration Vulner...

引用

13th IEEE international conference on Trust Security and Privacy in Computing and Communications (TrustCom)

作者： Han, Zhihui Cheng, Liang Zhang, Yang Zeng, Shuke Deng, Yi Sun, Xiaoshan Chinese Acad Sci Inst Software Trusted Comp & Informat Assurance Lab Beijing 100864 Peoples R China

ISBN: (纸本)9781479965137

Android is a modern and popular software platform for smartphones. To manage information and features on smartphones, Android employs intent-based mechanism for interapplication or intra-application communication and provides a permission-based security model that requires each application to explicitly request permissions in its manifest file. However, misconfiguration defined in manifest files and that embedded in application code may result in vulnerabilities due to developer confusion and general misuse of the features provided by Android. In this paper, we propose a logic-programming-based approach to analyze smartphones and discover misconfiguration vulnerabilities in Android manifest file and application code. To enable misconfiguration vulnerability analysis and detection, we develop a static technique to extract security related information from application code, and employ logic predicates to describe various vulnerabilities. Based on this approach, we developed a tool called SADroid to systematically analyze and detect misconfiguration vulnerabilities in Android smartphones. Our results with two representative phones show that the inherent weakness of Android permission model and developers' programming errors make Android vulnerable to some attacks.

关键词： Android smartphone static analysis misconfiguration vulnerability logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共35页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：