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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

416 篇 会议
38 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

328 篇 工学
- 313 篇 计算机科学与技术...
- 198 篇 软件工程
- 30 篇 电气工程
- 24 篇 控制科学与工程
- 17 篇 信息与通信工程
- 9 篇 机械工程
- 7 篇 电子科学与技术（可...
- 5 篇 安全科学与工程
- 4 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 材料科学与工程（可...
- 2 篇 动力工程及工程热...
- 2 篇 建筑学
- 2 篇 测绘科学与技术
77 篇 理学
- 57 篇 数学
- 13 篇 系统科学
- 10 篇 统计学（可授理学、...
- 7 篇 生物学
- 4 篇 物理学
- 1 篇 地质学
29 篇 管理学
- 21 篇 管理科学与工程(可...
- 11 篇 工商管理
- 8 篇 图书情报与档案管...
5 篇 医学
- 4 篇 基础医学(可授医学...
- 2 篇 临床医学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 文学
- 1 篇 外国语言文学
- 1 篇 新闻传播学
1 篇 哲学
1 篇 经济学
- 1 篇 应用经济学
1 篇 农学

主题

104 篇 logic programmin...
22 篇 fuzzy logic
15 篇 semantics
12 篇 object oriented ...
12 篇 programming
11 篇 logic gates
11 篇 linear programmi...
9 篇 computer circuit...
9 篇 hardware
9 篇 dynamic programm...
7 篇 logic
7 篇 probabilistic lo...
6 篇 access control
6 篇 formal logic
6 篇 model checking
6 篇 computational mo...
6 篇 fuzzy control
6 篇 computer program...
6 篇 answer set progr...
6 篇 software design

机构

4 篇 vienna univ tech...
3 篇 suny stony brook...
2 篇 school of automo...
2 篇 univ nova lisboa...
2 篇 univ calif river...
2 篇 univ bologna dei...
2 篇 school of comput...
2 篇 department of co...
2 篇 information and ...
2 篇 univ cagliari di...
2 篇 ibm tokyo resear...
2 篇 labmag lisbon
2 篇 wroclaw univ tec...
2 篇 calif state poly...
2 篇 univ kentucky de...
2 篇 shenzhen tourism...
2 篇 univ texas dept ...
1 篇 new mexico state...
1 篇 dept. computersc...
1 篇 k.u. leuven depa...

作者

4 篇 pereira lm
3 篇 truszczynski m
3 篇 swift t
3 篇 lifschitz v
3 篇 alferes jj
3 篇 vojtás p
3 篇 marriott kim
2 篇 deschreye d
2 篇 schuerman kees
2 篇 pinna g. michele
2 篇 medina j
2 篇 montali marco
2 篇 bruynooghe mauri...
2 篇 przymusinski tc
2 篇 li liang-liang
2 篇 véron andré
2 篇 bartoletti massi...
2 篇 cui bq
2 篇 sideri m
2 篇 cimoli tiziana

语言

449 篇 英文
4 篇 其他
1 篇 法文
1 篇 俄文

检索条件"任意字段=5th Conference on Logic Programming, 1986"

共 455 条记录，以下是31-40 订阅

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

详细简洁

排序：

Constraint solving over multiple similarity relations 5

Constraint solving over multiple similarity relations

引用

5th International conference on Formal Structures for Computation and Deduction, FSCD 2020

作者： Dundua, Besik Kutsia, Temur Marin, Mircea Pau, Cleopatra FBT International Black Sea University Tbilisi Georgia VIAM Ivane Javakhishvili Tbilisi State University Georgia Johannes Kepler University Research Institute for Symbolic Computation Linz Austria West University of Timişoara Romania

ISBN: (纸本)9783959771559

Similarity relations are reflexive, symmetric, and transitive fuzzy relations. they help to make approximate inferences, replacing the notion of equality. Similarity-based unification has been quite intensively investigated, as a core computational method for approximate reasoning and declarative programming. In this paper we consider solving constraints over several similarity relations, instead of a single one. Multiple similarities pose challenges to constraint solving, since we can not rely on the transitivity property anymore. Existing methods for unification with fuzzy proximity relations (reflexive, symmetric, non-transitive relations) do not provide a solution that would adequately reflect particularities of dealing with multiple similarities. To address this problem, we develop a constraint solving algorithm for multiple similarity relations, prove its termination, soundness, and completeness properties, and discuss applications. © Besik Dundua, Temur Kutsia, Mircea Marin, and Cleopatra Pau;licensed under Creative Commons License CC-BY 5th International conference on Formal Structures for Computation and Deduction (FSCD 2020).

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An Ensemble Method for Aggregated Baseline Load Estimation: From Probabilistic Perspective

An Ensemble Method for Aggregated Baseline Load Estimation: ...

引用

IEEE conference on Energy Internet and Energy System Integration (EI2)

作者： Yufan Zhang Qian Ai Yun Chen Jiayu Wang Zhaoyu Li Key Laboratory of Control of Power Transmission and Conversion Ministry of Education Shanghai Jiao Tong University Shanghai China State Grid Pudong Power Supply Company Shanghai China

ISBN: (纸本)9781665434263

Demand response (DR) is regarded as an alternative for new infrastructure to meet the peak load, which curbs the greenhouse gas emission. As an intermediary agent, DR aggregator (DRA) needs to comprehend aggregated baseline load (ABL) in the DR event. However, there are a few studies estimating ABL from an aggregator's perspective. therefore, this work proposes a new ensemble method for probabilistic ABL estimation, which utilizes multiple clustering algorithms with varying cluster numbers to produce multiple customer divisions. And the combing weights for the ABL results, produced by the multiple customer divisions, are determined by linear programming problems. We demonstrate the proposed method using real world dataset, Low Carbon London trail. For probabilistic estimation, it has good performance with high credit. We show that no single individual method can achieve good performance all the time. Ensemble method is a better choice to obtain relatively stable and good results.

关键词： Greenhouse effect conferences Estimation Clustering algorithms System integration Probabilistic logic Linear programming

来源：评论

学校读者我要写书评

暂无评论

ACM International conference Proceeding Series

ACM International Conference Proceeding Series

引用

5th International conference on Intelligent Information Technology, ICIIT 2020

ISBN: (纸本)9781450376594

the proceedings contain 26 papers. the topics discussed include: new discoveries on integer factorization by valuated binary tree;fuzzy logic based hybrid model for automatic extractive text summarization;seismic data analysis regression model on reactor pressure vessel using fast Fourier transform and machine learning;analysis of atmospheric quality based on cellular automata simulation;developing anti-tamper functionalities through continuous integration;evaluating huge matrix multiplication on real hadoop cluster;an affinity propagation approach for entity clustering with spark;applying code quality detection in online programming judge;a question detection algorithm for text analysis;toponym extraction in thai tweets using a hybrid approach;and offshore development center management in action.

关键词：

来源：评论

学校读者我要写书评

暂无评论

5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018

5th International Workshop on FPGAs for Software Programmers...

引用

5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018

ISBN: (纸本)9783800747238

the proceedings contain 9 papers. the topics discussed include: using Linux FIFOs to allow flexible hardware/software communications on reconfigurable systems-on-chip;improved parallelization of legacy embedded software on soft-core MPSoCs through automatic loop transformations;exact mapping of rewritten linear functions to configurable logic;ZUCL: a ZYNQ UltraScale+ framework for OpenCL HLS applications;unfolding and folding: a new approach for code restructuring targeting HLS for FPGAs;HatScheT: a contribution to agile HLS;LeFlow: enabling flexible fpga high-level synthesis of tensorflow deep neural networks;a case study in using OpenCL on FPGAs: creating an open-source accelerator of the AutoDock molecular docking software;and a journey into DSL design using generative programming: FPGA mapping of image border handling through refinement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Designing Combinational Circuits Using a Multi-objective Cartesian Genetic programming with Adaptive Population Size 5th

Designing Combinational Circuits Using a Multi-objective Car...

引用

5th International conference on Machine Learning, Optimization, and Data Science (LOD)

作者： Lima, Leandro S. Bernardino, Heder S. Barbosa, Helio J. C. Univ Fed Juiz de Fora UFJF Juiz De Fora MG Brazil Lab Nacl Comp Cient LNCC Petropolis RJ Brazil

ISBN: (纸本)9783030375997;9783030375980

this paper proposes a multiobjective Cartesian Genetic programming with an adaptive population size to design approximate digital circuits via evolutionary algorithms, analyzing the trade-off between the most often used objectives: error, area, power dissipation, and delay. Combinational digital circuits such as adders, multipliers, and arithmetic logic units (ALUs) with up to 16 inputs and 370 logic gates are considered in the computational experiments. the proposed method was able to produce approximate circuits with good operational characteristics when compared with other methods from the literature.

关键词： Combinational circuits Multi-objective optimization Cartesian Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Monotonic and Non-monotonic Context Delegation 5

Monotonic and Non-monotonic Context Delegation

引用

5th International conference on Information Systems Security and Privacy (ICISSP)

作者： AL-Wahah, Mouiad Farkas, Csilla Univ South Carolina Coll Engn & Comp 301 Main St Columbia SC 29208 USA

ISBN: (纸本)9789897583599

Delegating access privileges is a common practice of access control mechanisms. Delegation is usually used for distributing responsibilities of task management among entities. Delegation comes in two forms, GRANT and TRANSFER. In GRANT delegation, a successful delegation operation allows delegated privileges to be available to both the delegator and delegatee. In TRANSFER delegation, delegated privileges are no longer available to the delegator. Although several delegation approaches have been proposed, current models do not consider the issue of context delegation in context-based access control policies. We present two ontology-based context delegation approaches. Monotonic context delegation, which adopts GRANT version of delegation, and non-monotonic for TRANSFER version of delegation. the approach presented here provides a dynamic and adaptive privilege delegation for access control policies. We employ Description logic (DL) and logic programming (LP) technologies for modeling contexts, delegation and CBAC privileges. We have designed three lightweight Web Ontology Language (OWL) ontologies, CTX, CBAC, and DEL, for context, Context-Based Access Control (CBAC), and delegation, respectively. We show that semantic-based techniques can be used to support adaptive and dynamic context delegation for CBAC policies. We provide the formal framework of the approaches and show that they are sound, consistent and preserve least-privilege principle.

关键词： Description logic Monotonic Non-monotonic OWL Ontology Context Delegation Access Control Authorization

来源：评论

学校读者我要写书评

暂无评论

Cartesian Genetic programming with Guided and Single Active Mutations for Designing Combinational logic Circuits 5th

Cartesian Genetic Programming with Guided and Single Active ...

引用

5th International conference on Machine Learning, Optimization, and Data Science (LOD)

作者： da Silva, Jose Eduardo H. de Souza, Lucas A. M. Bernardino, Heder S. Univ Fed Juiz de Fora Juiz De Fora MG Brazil

ISBN: (纸本)9783030375997;9783030375980

the design of digital circuits using Cartesian Genetic programming (CGP) has been widely investigated but the evolution of complex combinational logic circuits is a hard task for CGP. We introduce here a new mutation operator for CGP that aims to reduce the number of evaluations needed to find a feasible solution by modifying the subgraph of the worst output of the candidate circuits. Also, we propose a variant of the standard evolutionary strategy commonly adopted in CGP, where (i) the Single Active Mutation (SAM) and (ii) the proposed mutation operator is used in order to improve the capacity of CGP in generating feasible circuits. the proposals are applied to a benchmark of combinational logic circuits with multiple outputs and the results obtained are compared to those found by a CGP with SAM. the main advantages observed when both mutation operators are combined are the reduction of the number of objective function evaluations required to find a feasible solution and the improvement in the success rate.

关键词： Cartesian genetic programming Combinational logic circuit Mutation

来源：评论

学校读者我要写书评

暂无评论

logic Design as an Enabler to Python programming Language Teaching 5

Logic Design as an Enabler to Python Programming Language Te...

引用

5th PAnhellenic conference on Electronics and Telecommunications (PACET)

作者： Velaora, Chrysoula Kakarountas, Athanasios Univ Thessaly Dept Comp Sci & Biomed Informat Lamia Greece

ISBN: (纸本)9781728143606

In this article the contribution of experiential learning, gamification and emerging technologies to Python programming language teaching is attempted to be sketched. Four scenarios were designed in order to constitute a new teaching proposal for the consolidation of specific modules, incorporating elements of dynamic games, emerging technology and approaching the subject that they are dealing with, in an experiential way in an authentic learning framework by solving problems of everyday life. the main approach of the scenarios is that of social constructivism. A study was conducted to assess the impact of the design of scenarios on learner motivation. the sample of the survey was 15 undergraduate students of the Department of Informatics with Applications in Biomedicine of the University of thessaly. After completing each scenario, they completed a questionnaire based on the CIS questionnaire survey, which was designed by Keller in 1987 with Likert's 5-step scale questions on the variables motivation, attention-relevance, confidence-satisfaction that are the components of the Kellers ARCS motivation model. the results showed that designing learning scenarios by combining experiential learning, gamification and the use of emerging technologies strengthens the motivation of trainees and leads to the achievement of learning goals.

关键词： logic design Pyboard Gamification Python Scenario

来源：评论

学校读者我要写书评

暂无评论

A Journey into DSL design using generative programming: FPGA mapping of image border handling through refinement 5

A Journey into DSL design using generative programming: FPGA...

引用

5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International conference on Field Programmable logic and Applications, FPL 2018

作者： Akif Özkan, M. Pérard-Gayot, Arsène Membarth, Richard Slusallek, Philipp Teich, Jürgen Hannig, Frank Germany Germany Germany

ISBN: (纸本)9783800747238

Field Programmable Gate Arrays (FPGAs) are continually improving their computing capabilities and energy efficiency. Yet, programming FPGAs remains a time-consuming task and requires expert knowledge to obtain good performance. Recent advancements in High-Level Synthesis (HLS) promise to solve this problem. However, today's HLS tools still require vendor-specific low-level optimizations in the form of compiler hints and code restructuring. Despite the pursuit of new programming methodologies for many-core, multi-threading, or vector architectures, the FPGA community mostly tries to improve the design techniques from existing programming languages that are either sequential or developed for other computing platforms. In this paper, we use a state-of-the-art functional language that offers explicit control over code refinement to design border handling circuits. this allows us to produce high-level, elegant code descriptions that can be easily refined to low-level hardware designs. Additionally, these descriptions can be exposed to software developers in the form of either a DSL or library. © VDE VERLAG GMBH ∙ Berlin ∙ Offenbach

关键词： High level synthesis

来源：评论

学校读者我要写书评

暂无评论

5th International Workshop on Graphical Models for Security, GraMSec 2018

5th International Workshop on Graphical Models for Security,...

引用

5th International Workshop on Graphical Models for Security, GraMSec 2018

ISBN: (纸本)9783030154646

the proceedings contain 7 papers. the special focus in this conference is on Graphical Models for Security. the topics include: Combining Bayesian networks and fishbone diagrams to distinguish between intentional attacks and accidental technical failures;Disclosure analysis of SQL workflows;on linear logic, functional programming, and attack trees;the attacker does not always hold the initiative: Attack trees with external refinement;a state machine system for insider threat detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共46页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：