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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

358 篇 会议
20 册 图书
7 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

257 篇 工学
- 238 篇 计算机科学与技术...
- 134 篇 软件工程
- 24 篇 控制科学与工程
- 15 篇 电气工程
- 11 篇 信息与通信工程
- 3 篇 仪器科学与技术
- 3 篇 电子科学与技术（可...
- 3 篇 石油与天然气工程
- 3 篇 农业工程
- 2 篇 材料科学与工程（可...
- 2 篇 土木工程
- 2 篇 生物医学工程（可授...
53 篇 理学
- 49 篇 数学
- 4 篇 生物学
- 4 篇 系统科学
- 2 篇 物理学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
22 篇 管理学
- 14 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 6 篇 工商管理
6 篇 医学
- 5 篇 基础医学(可授医学...
- 4 篇 临床医学
- 2 篇 公共卫生与预防医...
4 篇 教育学
- 4 篇 教育学
- 1 篇 心理学(可授教育学...
4 篇 农学
- 4 篇 作物学
2 篇 文学
- 1 篇 中国语言文学
1 篇 哲学
- 1 篇 哲学
1 篇 法学
- 1 篇 社会学

主题

75 篇 logic programmin...
19 篇 fuzzy logic
18 篇 programming
18 篇 logic gates
16 篇 artificial intel...
15 篇 mathematical log...
14 篇 inductive logic ...
12 篇 logics and meani...
11 篇 software enginee...
11 篇 logic
11 篇 programming tech...
9 篇 computer science
8 篇 integer programm...
8 篇 semantics
7 篇 computer circuit...
7 篇 linear programmi...
7 篇 answer set progr...
7 篇 dynamic programm...
6 篇 languages
6 篇 computer archite...

机构

3 篇 univ potsdam pot...
3 篇 univ calabria di...
2 篇 brandeis univ wa...
2 篇 simon fraser uni...
2 篇 katholieke univ ...
2 篇 univ copenhagen ...
2 篇 katholieke univ ...
2 篇 ku leuven depart...
2 篇 department infor...
2 篇 vienna technol u...
2 篇 univ castilla la...
2 篇 carnegie mellon ...
2 篇 univ aarhus daim...
2 篇 at&t bell lab mu...
2 篇 natl univ irelan...
2 篇 natl inst inform...
2 篇 univ castilla la...
2 篇 univ nova lisboa...
2 篇 australian natl ...
2 篇 department of el...

作者

5 篇 gebser martin
5 篇 schaub torsten
4 篇 inoue katsumi
3 篇 nickles matthias
3 篇 fink michael
3 篇 schuller peter
2 篇 mileo alessandra
2 篇 mairson harry g.
2 篇 goncalves ricard...
2 篇 kung-kiu lau
2 篇 soria jose
2 篇 de raedt luc
2 篇 boustia narhimen...
2 篇 j.r. romero
2 篇 a. vallecillo
2 篇 woltran stefan
2 篇 lifschitz vladim...
2 篇 ferilli stefano
2 篇 sighireanu mihae...
2 篇 p. flener

语言

380 篇 英文
3 篇 其他
1 篇 西班牙文
1 篇 中文

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

共 385 条记录，以下是21-30 订阅

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

详细简洁

排序：

27th international conference on inductive logic programming, ILP 2017

27th International Conference on Inductive Logic Programming...

引用

27th international conference on inductive logic programming, ILP 2017

ISBN: (纸本)9783319780894

the proceedings contain 12 papers. the special focus in this conference is on . the topics include: Pruning hypothesis spaces using learned domain theories;an investigation into the role of domain-knowledge on the use of embeddings;positive and unlabeled relational classification through label frequency estimation;on applying probabilistic logic programming to breast cancer data;logical vision: One-shot meta-interpretive learning from real images;demystifying relational latent representations;parallel online learning of event definitions;relational restricted boltzmann machines: A probabilistic logic learning approach;parallel inductive logic programming system for superlinear speedup;inductive learning from state transitions over continuous domains.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Technologies of FPGA-based projects Development Under Ever-changing Conditions, Platform Constraints, and Time-to-Market Pressure

Technologies of FPGA-based projects Development Under Ever-c...

引用

IEEE international conference on Dependable Systems, Services and Technologies (DESSERT)

作者： Artem Perepelitsyn Vitaliy Kulanov Department of computer systems networks and cybersecurity National aerospace university “KhAI” Kharkiv Ukraine

ISBN: (纸本)9798350333053

An analytical review of the history of the leading vendors' providers in the field of programmable logic device manufacturing is presented. the analysis of development environment changes for FPGA-based projects, and a comparative analysis of FPGA chips and development kit boards for testing are performed. the practical experience of the transition process to new development environments for FPGA-based projects is considered. It is established that the dynamics of changes in development environments must be addressed at an early stage to reduce risks. It is shown that in-system programming significantly simplifies the development of FPGA-based projects. It is shown that scaling and parallelization at the top level of project hierarchy and pipelining and parameterization at the RTL level effectively allow such systems to be deployed in commercial cloud infrastructures and data centers.

关键词： Data centers Buildings Manuals Routing Performance analysis Dynamic programming History

来源：评论

学校读者我要写书评

暂无评论

Robust Evaluating Approach of Distributed Photovoltaic Hosting Capacity in Uncertain Environment

Robust Evaluating Approach of Distributed Photovoltaic Hosti...

引用

IEEE international conference on Power and Energy Systems (ICPES)

作者： Shaofeng Cui Lin Mou Wei Li Junjiao Wang Gang Li Yuzhen Li Xiaojun Yan Chengguang Liu State Grid Qixia Power Supply Company State Grid Shandong Electric Power CO. Yantai China

Large scale distributed photovoltaic(DPV) integration will bring new challenges to dispatching due to its uncertainty, and further increase the regulating capacity requirement of power system. As a result, a robust evaluating approach of DPV hosting capacity in uncertain environment is proposed. Based on the relationship between DPV hosting capacity and its conditional value at risk(CVaR), a robust optimization model is constructed, which considering the probability distribution characteristics of DPV. the base point and regulating capacity of automatic generation control(AGC) units are coordinated optimized to accurately evaluate the DPV hosting capacity the original model is transformed into a deterministic linear programming problem using piecewise linear approximation and uncertain variables eliminating. the effectiveness of the proposed approach is verified through a 6-bus system.

关键词： Photovoltaic systems Uncertainty Piecewise linear approximation Probabilistic logic Linear programming Probability distribution Dispatching

来源：评论

学校读者我要写书评

暂无评论

Extended Knowledge Graphs: A Conceptual Study 12

Extended Knowledge Graphs: A Conceptual Study

引用

12th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) / 12th international conference on Knowledge Engineering and Ontology Development (KEOD)

作者： Adrian, Weronika T. Adrian, Marek Kluza, Krzysztof Stachura-Terlecka, Bernadetta Ligeza, Antoni AGH Univ Sci & Technol Al A Mickiewicza 30 PL-30059 Krakow Poland

ISBN: (纸本)9789897584749

the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their flexible and universal knowledge representation, they lack the mechanisms facilitating knowledge processing. In this paper, we propose an information system called extended knowledge graphs (EKG) that augments the concept of knowledge graphs with procedural attachments. We put forward the requirements and assumption of the EKG structure and present a categorisation of supported reasoning tasks.

关键词： Knowledge Graphs Semantic Networks Knowledge Representation KRR Rules Ontologies Reasoning logic programming Answer Set programming Prolog

来源：评论

学校读者我要写书评

暂无评论

Innovative Approaches in Teaching programming: A Systematic Literature Review 12

Innovative Approaches in Teaching Programming: A Systematic ...

引用

12th international conference on Computer Supported Education (CSEDU)

作者： Santos, Simone C. Tedesco, Patricia Azevedo Borba, Matheus Brito, Matheus Univ Fed Pernambuco Ctr Informat Rua Jornalista Anibal Fernandes S-NCidade Univ BR-50740560 Recife PE Brazil

ISBN: (纸本)9789897584176

One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program. In addition, several non-technical skills are required, enabling the student to understand and to interpret real problems, to work in groups and to strive for effective and efficient solutions. To meet these challenges, innovative teaching methodologies have been applied in teaching programming, building learning environments that are more conducive to the development of these skills. In order to understand how these methodologies are being used, this work presents the result of a systematic literature review, motivated by the following research question: "What are the innovative teaching and learning approaches to programming, how are they applied and what are the main results of their application? In this study, we considered three digital libraries and found 24 primary studies, following the Kitchenham methodology. these studies were categorized into 6 groups and highlighted challenges related to the problems addressed, teaching environment, content, human capital involved and assessment process. the studies also showed evidence of success cases, as well as open paths for new research.

关键词： Educational Innovation Teaching Computer programming Systematic Literature Review

来源：评论

学校读者我要写书评

暂无评论

12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020

12th International Conference on Verified Software, VSTTE 20...

引用

12th international conference on Verified Software, VSTTE 2020, and 13th international Workshop on Numerical Software Verification, NSV 2020

ISBN: (纸本)9783030636173

the proceedings contain 14 papers. the special focus in this conference is on Verified Software. the topics include: An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;rigorous Enclosure of Round-Off Errors in Floating-Point Computations;towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench;combining Zonotope Abstraction and Constraint programming for Synthesizing inductive Invariants;QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking;Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX;automatic Detection and Repair of Transition- Based Leakage in Software Binaries;BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers;synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison;verified Transformations and Hoare logic: Beautiful Proofs for Ugly Assembly Language;MCBAT: Model Counting for Constraints over Bounded Integer Arrays;Verification of an Optimized NTT Algorithm;vstte 2020 preface.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Collaborative Microgrids: Design and Dynamic Analysis using Multiagent Fuzzy-logic System

Collaborative Microgrids: Design and Dynamic Analysis using ...

引用

Renewable Engineering conference (IREC), international

作者： Abdallah EL ZERK Mohammed OUASSAID Youssef ZIDANI Engineering for Smart and Sustainable Systems Research Center Mohammadia School of Engineers Mohammed V University in Rabat Rabat Morocco Faculty of science and technology Cadi Ayyad University Marrakech Morocco

ISBN: (纸本)9781665447010

In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using multi-agent systems. the concept of collaborative microgrids is introduced using multiagent systems, where each household contributes to the microgrid stability and strengthening. In addition, stability and dynamic analysis are performed in order to check the microgrid behaviour against faults. the proposed strategy emphasises storage decentralization, programming facilities for the designer. the results show that this approach is perfectly valid for isolated communities. Furthermore, the microgrid stability is maintained even in a faulty regime.

关键词： Fuzzy logic Renewable energy sources Fault tolerant systems Collaboration Microgrids programming Stability analysis

来源：评论

学校读者我要写书评

暂无评论

Grammar-based Fuzzy Pattern Trees for Classification Problems 12th

Grammar-based Fuzzy Pattern Trees for Classification Problem...

引用

12th international Joint conference on Computational Intelligence (IJCCI) / 12th international conference on Evolutionary Computation theory and Applications (ECTA)

作者： Murphy, Aidan Ali, Muhammad Sarmad Dias, Douglas Mota Amaral, Jorge Naredo, Enrique Ryan, Conor Univ Limerick Limerick Ireland Univ Estado Rio De Janeiro Rio De Janeiro Brazil

ISBN: (纸本)9789897584756

this paper introduces a novel approach to induce Fuzzy Pattern Trees (FPT) using Grammatical Evolution (GE), FGE, and applies to a set of benchmark classification problems. While conventionally a set of FPTs are needed for classifiers, one for each class, FGE needs just a single tree. this is the case for both binary and multi-classification problems. Experimental results show that FGE achieves competitive and frequently better results against state of the art FPT related methods, such as FPTs evolved using Cartesian Genetic programming (FCGP), on a set of benchmark problems. While FCGP produces smaller trees, FGE reaches a better classification performance. FGE also benefits from a reduction in the number of necessary user-selectable parameters. Furthermore, in order to tackle bloat or solutions growing too large, another version of FGE using parsimony pressure was tested. the experimental results show that FGE with this addition is able to produce smaller trees than those using FCGP, frequently without compromising the classification performance.

关键词： Grammatical Evolution Pattern Trees Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Reversible Computations in logic programming 12th

Reversible Computations in Logic Programming

引用

12th international conference on Reversible Computation (RC)

作者： Vidal, German MiST VRAIN Universitat Politècnica de València Valencia Spain

ISBN: (纸本)9783030524814;9783030524821

In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one can use the same predicate for adding and for subtracting natural numbers), computations are not reversible in the above sense. In this paper, we present a so-called Landauer embedding for SLD resolution, the operational principle of logic programs, so that it becomes reversible. A proof-of-concept implementation of a reversible debugger for Prolog that follows the ideas in this paper has been developed and is publicly available.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit Layout Classification and Error Detection Using EfficientNet Model 12

A 90 nm Static CMOS Technology Gate-Level Integrated Circuit...

引用

IEEE 12th international conference on Humanoid, Nanotechnology, Information Technology, Communication and Control, Environment, and Management (HNICEM)

作者： Ilagan, Lorena Concepcion, Ronnie, II Cabatuan, Melvin Roque, Christian Raymund Univ Perpetual Help Syst DALTA Elect Engn Dept Las Pinas City Philippines De La Salle Univ Elect & Commun Engn Dept Manila Philippines Ctr Appl Microelect & Programming Inc Muntinlupa Philippines

ISBN: (纸本)9781665419710

Sensitivity issues of the internal design rule check (DRC) capability of an electronic design automation tool are highlighted when the design technology used is not properly configured. However, the integration of computer vision and computational intelligence in the field of constraint engineering and integrated circuit layout has high tendency to resolve this ambiguity. In this study, vision-based architecture is integrated with deep transfer learning network to classify NOT, NAND (no fold and two-finger), and NOR logic gates with 1 mu m physical gate polysilicon and 0.5 mu m gate length using 90 nm CMOS technology. Inverter designs with contact (CO) error is generated using missing CO, metal 1 in place and not fully placed, and off positioned CO via an incorporated Pythontriggered tool command language (TCL) program in the Synopsys platform. EfficientNetB7 perfectly classified NOT and NAND gates, and subcategorized NOT contact error designs. Overall, the developed seamless approach in classifying gate-level integrated circuit design and predicting contact errors using EfficientNetB7 is easy to replicate and can enhance layout assessment.

关键词： computer vision constraint engineering deep learning logic gate classification integrated circuit layout

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：