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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

293 篇 会议
18 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

229 篇 工学
- 218 篇 计算机科学与技术...
- 109 篇 软件工程
- 23 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 信息与通信工程
- 4 篇 生物医学工程（可授...
- 3 篇 机械工程
- 3 篇 建筑学
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 材料科学与工程（可...
- 2 篇 电子科学与技术（可...
- 2 篇 生物工程
- 1 篇 力学（可授工学、理...
- 1 篇 航空宇航科学与技...
- 1 篇 农业工程
- 1 篇 安全科学与工程
47 篇 理学
- 44 篇 数学
- 3 篇 系统科学
- 3 篇 统计学（可授理学、...
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
14 篇 管理学
- 10 篇 管理科学与工程(可...
- 7 篇 工商管理
- 3 篇 图书情报与档案管...
7 篇 教育学
- 7 篇 教育学
- 1 篇 心理学(可授教育学...
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学
1 篇 医学

主题

69 篇 logic programmin...
17 篇 answer set progr...
15 篇 inductive logic ...
12 篇 mathematical log...
11 篇 artificial intel...
11 篇 logics and meani...
10 篇 fuzzy logic
10 篇 programming
10 篇 programming lang...
9 篇 software enginee...
9 篇 logic
7 篇 application soft...
7 篇 logic gates
7 篇 inductive logic ...
7 篇 semantics
7 篇 programming tech...
7 篇 system testing
6 篇 software enginee...
6 篇 machine learning
6 篇 algorithm analys...

机构

3 篇 new mexico state...
3 篇 univ calabria ar...
3 篇 tu wien inst log...
3 篇 tech univ dresde...
2 篇 technological ed...
2 篇 univ oxford oxfo...
2 篇 univ nebraska om...
2 篇 univ helsinki de...
2 篇 network operatio...
2 篇 univ freiburg in...
2 篇 inria lille nord...
2 篇 tech univ dortmu...
2 篇 ecole polytech i...
2 篇 univ paris 13 li...
2 篇 univ pisa dept c...
2 篇 tech univ munich...
2 篇 portland state u...
2 篇 univ london impe...
2 篇 katholieke univ ...
1 篇 bolsista do prog...

作者

4 篇 riguzzi fabrizio
4 篇 ricca francesco
3 篇 gaggl sarah alic...
3 篇 kramer stefan
3 篇 page david
3 篇 son tran cao
3 篇 srinivasan ashwi...
3 篇 froehler sebasti...
3 篇 alphonse erick
2 篇 muggleton stephe...
2 篇 giordano laura
2 篇 toivonen h.
2 篇 ong irene m.
2 篇 revoredo k.
2 篇 bellodi elena
2 篇 osmani aomar
2 篇 bryant christoph...
2 篇 ray oliver
2 篇 hutter dieter
2 篇 costa vitor sant...

语言

314 篇 英文
2 篇 中文
1 篇 葡萄牙文
1 篇 其他

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

共 318 条记录，以下是111-120 订阅

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

详细简洁

排序：

16th international conference on Intelligent Data Engineering and Automated Learning, IDEAL 2015

16th International Conference on Intelligent Data Engineerin...

引用

16th international conference on Intelligent Data Engineering and Automated Learning, IDEAL 2015

the proceedings contain 64 papers. the special focus in this conference is on Intelligent Data Engineering and Automated Learning. the topics include: Data streams fusion by frequent correlations mining;web genre classification via hierarchical multi-label classification;multi-agent reinforcement learning for control systems: challenges and proposals;optimal filtering for time series classification;managing monotonicity in classification by a pruned random forest;ensemble selection based on discriminant functions in binary classification task;an extension of multi-label binary relevance models based on randomized reference classifier and local fuzzy confusion matrix;fusion of self-organizing maps with different sizes;a particle swarm clustering algorithm with fuzzy weighted step sizes;a bacterial colony algorithm for association rule mining;information retrieval and data forecasting via probabilistic nodes combination;knowledge discovery in enterprise databases for forecasting new product success;deterministic extraction of compact sets of rules for subgroup discovery;variable transformation for granularity change in hierarchical databases in actual data mining solutions;an empirical evaluation of robust Gaussian process models for system identification;throughput analysis of automatic production lines based on simulation methods;study of collective robotic tasks based on the behavioral model of the agent;minimalist artificial eye for autonomous robots and path planning;intelligent automated design of machine components using antipatterns;application of fuzzy logic controller for machine load balancing in discrete manufacturing system;local search based on a local utopia point for the multiobjective travelling salesman problem;a hybrid programming framework for resource-constrained scheduling problems and building an efficient evolutionary algorithm for forex market predictions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Creation of fractional-order PIλDμ controller function block in Automation Studio environment

Creation of fractional-order PIλDμ controller function blo...

引用

international Carpathian Control conference (ICCC)

作者： Miroslav Kóver-Dorčo Ivo Petráš Faculty of BERG Technical University of Košice Košice Slovak Republic

Fractional-order calculus offers flexible computational possibilities that can be applied to control design gaining improvement in control loop performance. this paper deals with design of fractional-order controller (PI λ D δ ) function block in Automation Studio environment. We provide overview of the tools and methods that were used in the process of function block creation. Created function block will be used for programmable logic controllers (PLC).

关键词： Automation Control systems Fractional calculus Approximation methods Calculus Central Processing Unit programming

来源：评论

学校读者我要写书评

暂无评论

targetDP: an Abstraction of Lattice Based Parallelism with Portable Performance 16

targetDP: an Abstraction of Lattice Based Parallelism with P...

引用

16th IEEE international conference on High Performance Computing and Communications HPCC 2014\11th IEEE international conference on Embedded Software and Systems ICESS 2014\6th international Symposium on Cyberspace Safety and Security CSS 2014

作者： Gray, Alan Stratford, Kevin Univ Edinburgh EPCC Edinburgh EH9 3JZ Midlothian Scotland

ISBN: (纸本)9781479961238

To achieve high performance on modern computers, it is vital to map algorithmic parallelism to that inherent in the hardware. From an application developer's perspective, it is also important that code can be maintained in a portable manner across a range of hardware. Here we present targetDP (target Data Parallel), a lightweight programming layer that allows the abstraction of data parallelism for applications that employ structured grids. A single source code may be used to target both thread level parallelism (TLP) and instruction level parallelism (ILP) on either SIMD multi-core CPUs or GPU-accelerated platforms. targetDP is implemented via standard C preprocessor macros and library functions, can be added to existing applications incrementally, and can be combined with higher-level paradigms such as MPI. We present CPU and GPU performance results for a benchmark taken from the lattice Boltzmann application that motivated this work. these demonstrate not only performance portability, but also the optimisation resulting from the intelligent exposure of ILP.

关键词： Synclitism data parallel parallelism crystal lattices Abstraction inductive logic programming central processing units Source code message passing mannose phosphate isomerase remote procedure calls library function BENCHMARKS HIGH-PERFORMANCE Codes

来源：评论

学校读者我要写书评

暂无评论

Practical Aspects of Declarative Languages - 16th international Symposium, PADL 2014, Proceedings

引用

15th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

ISBN: (纸本)9783319041315

the proceedings contain 15 papers. the topics discussed include: partial type signatures for Haskell;abstract modular inference systems and solvers;sunroof: a monadic DSL for generating JavaScript;compiling DNA strand displacement reactions using a functional programming language;two applications of the ASP-prolog system: decomposable programs and multi-context systems;towards modeling morality computationally with logic programming;a declarative specification of giant number arithmetic;embedding foreign code;on the correctness and efficiency of lock-free expandable tries for tabled logic programs;typelets - a rule-based evaluation model for dynamic, statically typed user interfaces;expand: towards an extensible pandoc system;and generic generic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Extending MSVL with Function Calls 16

Extending MSVL with Function Calls

引用

16th international conference on Formal Engineering Methods (ICFEM)

作者： Zhang, Nan Duan, Zhenhua Tian, Cong Xidian Univ Inst Comp Theory & Technol ISN Lab Xian 710071 Peoples R China

ISBN: (纸本)9783319117379;9783319117362

Modeling, Simulation and Verification Language (MSVL) is a useful formalism for specification and verification of concurrent systems. To make it more practical and easier to use, we extend MSVL with function calls in this paper. To do so, an approach for function calls similar as in imperative programming languages is presented. Further, the semantics of expressions is redefined and the semantics of new added function call statements is formalized. Moreover, an example is given to illustrate how to use function calls in practice with MSVL.

关键词： Temporal logic programming Projection Function Call Modeling Simulation Verification

来源：评论

学校读者我要写书评

暂无评论

Web Stream Reasoning Using Probabilistic Answer Set programming

Web Stream Reasoning Using Probabilistic Answer Set Programm...

引用

8th international conference on Web Reasoning and Rule Systems (RR)

作者： Nickles, Matthias Mileo, Alessandra Natl Univ Ireland INSIGHT Ctr Data Analyt Galway Ireland

ISBN: (纸本)9783319111131;9783319111124

We propose a framework for reasoning about dynamic Web data, based on probabilistic Answer Set programming (ASP). Our approach, which is prototypically implemented, allows for the annotation of first-order formulas as well as ASP rules and facts with probabilities, and for learning of such weights from examples (parameter estimation). Knowledge as well as examples can be provided incrementally in the form of RDF data streams. Optionally, stream data can be configured to decay over time. With its hybrid combination of various contemporary AI techniques, our framework aims at prevalent challenges in relation to data streams and Linked Data, such as inconsistencies, noisy data, and probabilistic processing rules.

关键词： Web Reasoning Uncertainty Stream Reasoning Answer Set programming RDF Probabilistic inductive logic programming Machine Learning

来源：评论

学校读者我要写书评

暂无评论

Multi-stage Dynamic programming Algorithm for Eco-Speed Control at Traffic Signalized Intersections

Multi-stage Dynamic Programming Algorithm for Eco-Speed Cont...

引用

16th international IEEE conference on Intelligent Transportation Systems (ITSC)

作者： Kamalanathsharma, Raj Kishore Rakha, Hesham A. Virginia Polytech Inst & State Univ Civil & Environm Engn Dept Blacksburg VA 24061 USA

ISBN: (纸本)9781479929146

Researchers have attempted to compute a fuel-optimal vehicle trajectory by receiving traffic signal phasing and timing information. this problem, however, is complex when microscopic models are used to compute the objective function. this paper suggests use of a multi-stage dynamic programming tool that not only provides outputs that are closer to optimum, but are also computationally much faster. It uses a recursive trajectory generation that is similar to least-cost path-finding algorithms that optimizes the upstream profile while comparing discretized downstream cases. Since dynamic programming is faster than traditional computational methods, the algorithm can afford to use microscopic models and thereby be sensitive to a multitude of inputs such as grade, weather etc. Agent-based simulations suggest fuel savings in the range of 19 percent and travel-time savings of 32 percent in the vicinity of intersections. this research also showed potential benefits to vehicles following a vehicle that uses the proposed logic.

关键词： Travel time

来源：评论

学校读者我要写书评

暂无评论

Partiality and Recursion in Higher-Order logic

Partiality and Recursion in Higher-Order Logic

引用

16th international conference on Foundations of Software Science and Computation Structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of Software (ETAPS)

作者： Czajka, Lukasz Univ Warsaw Inst Informat Banacha 2 PL-02097 Warsaw Poland

ISBN: (纸本)9783642370755;9783642370748

We present an illative system I-s of classical higher-order logic with subtyping and basic inductive types. the system I-s allows for direct definitions of partial and general recursive functions, and provides means for handling functions whose termination has not been proven. We give examples of how properties of some recursive functions may be established in our system. In a technical appendix to the paper we prove consistency of I-s. the proof is by model construction. We then use this construction to show conservativity of I-s over classical first-order logic. Conservativity over higher-order logic is conjectured, but not proven.

关键词： Recursive functions

来源：评论

学校读者我要写书评

暂无评论

An Algebraic Presentation of Predicate logic

An Algebraic Presentation of Predicate Logic

引用

16th international conference on Foundations of Software Science and Computation Structures (FOSSACS) Held as Part of the European Joint conferences on theory and Practice of Software (ETAPS)

作者： Staton, Sam Univ Cambridge Comp Lab Cambridge England

ISBN: (纸本)9783642370755;9783642370748

We present an algebraic theory for a fragment of predicate logic. the fragment has disjunction, existential quantification and equality. It is not an algebraic theory in the classical sense, but rather within a new framework that we call 'parameterized algebraic theories'. We demonstrate the relevance of this algebraic presentation to computer science by identifying a programming language in which every type carries a model of the algebraic theory. the result is a simple functional logic programming language. We provide a syntax-free representation theorem which places terms in bijection with sieves, a concept from category theory. We study presentation-invariance for general parameterized algebraic theories by providing a theory of clones. We show that parameterized algebraic theories characterize a class of enriched monads.

关键词： Algebraic Presentation Predicate logic existential quantification

来源：评论

学校读者我要写书评

暂无评论

Sipping from the Firehose How to "grok" gigabytes of trace debug data

Sipping from the Firehose How to "grok" gigabytes of trace d...

引用

IEEE 16th international conference on Computational Science and Engineering (CSE)

作者： Burger, John Burdett, Matthew Hall, Jeffrey Green Hills Software Santa Barbara CA USA

Long gone are the days when you could use a logic analyser on a CPU to find out what it is executing. Caches, out-of-order memory accesses and especially multi-processing all effectively hide the sequence of instructions that the CPU is working on. Traditional debug techniques with breakpoints and single-stepping help, but require interactive sessions at human rates rather than the gigahertz rates of today's processors. To help this situation, many of today's sophisticated processors come with a side-port (e.g. BDM, ETM, Nexus or Aurora) that the CPU can use to communicate what it is doing in real-time, at its full rate. By using a debug probe to capture this stream of information, the activities of the CPU can be traced. this trace data can be post-analysed to determine what the processor did, and even what memory values were processed. the problem is that at gigahertz processing speeds, that's many gigabytes of data every second: what techniques are available to help understand this firehose of data? this trace data is one-dimensional: linear over time. So if a programming bug occurred during the trace capture, it is possible to see the sequence of steps leading up to it. Indeed, it is also possible to work backwards through the data looking for the exact condition that started the bug. the data is also suitable for use in profiling and coverage analysis: how often or whether certain routines were executed, and how long they took - all without instrumenting the code by adding time-wasting in-band profiling code, or by using statistical sampling techniques. Useful as this is, even more information can be gleaned by adding a second dimension: depth. More for optimising code than debugging it, being able to analyse call stacks can give insights into the (perhaps unexpected) way that the code base functions. However, to see code two-dimensionally requires a different view from the traditional source-based one: a graphical view, one that represents the call stack over

关键词： programming debugging embedded trace visualisation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共32页 << < 8 9 10 11 12 13 14 15 16 17 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：