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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是11-20 订阅

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

详细简洁

排序：

Application of Computer Artificial Intelligence Technology in the Manufacturing System of Aero-Powered Aircraft

Application of Computer Artificial Intelligence Technology i...

引用

2023 international conference on Internet of things, Robotics and Distributed Computing, ICIRDC 2023

作者： Bi, Yingpu Xu, Weichang Liu, Jifang Wu, Yake Hu, Zongchun High-tech Institude FanGong-ting South Street on the 12th Shandong Qingzhou262500 China

ISBN: (纸本)9798350375275

this project proposes a programmable logic-oriented algorithm to solve the difficult problem of coding generation of aircraft control system. the synchronous data flow computing model suitable for control system modeling is used to realize the cooperative communication between multiple functional modules in UAV control system. the spatial information fusion platform including physical space, transport layer, data layer, model layer, service layer and application layer is constructed. the dynamic programming method between multiple agents is used to solve the problem of motion trajectory optimization and cooperative task assignment among multiple agents. A multi-machine joint simulation platform with cluster collaboration is constructed and its performance is verified. the simulation results show that the system has high efficiency. © 2023 IEEE.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

12th IEEE international Scientific Technical conference on Dependable Systems, Services and Technologies (DESSERT) - Dependable and Trustworthy AI, IoE, Big Data Analytics for a Safe and Secure World

作者： Perepelitsyn, Artem Kulanov, Vitaliy Natl Aerosp Univ KhAI Dept Comp Syst Networks & Cybersecur Kharkiv Ukraine

ISBN: (纸本)9798350333046

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.

关键词： Programmable logic Devices PLDs FPGAs Development Tools Project Constraints Development Environment Time-to-Marker

来源：评论

学校读者我要写书评

暂无评论

Interfacing of Industrial inductive Proximity Sensor with NI DAQ and Speed Measurement 1

引用

6th international conference on Communication, Devices and Networking, ICCDN 2022

作者： Nemade, Prasad Kumawat, Ashok Kumar Department of Mechatronics Manipal University Jaipur Jaipur India

ISBN: (数字)9789819919833

ISBN: (纸本)9789819919826

this paper presents a method to measure DC motor speed using an industrial-rated proximity sensor and NI DAQ card. the industrial proximity sensor captures the positive edge of a wave when a metallic portion on the motor’s wheel segment has occurred. the industrial proximity sensor is interfaced to the NI DAQ which is used as a measurement device and interfacing device between the PC without any additional microcontroller or programmable logic controller. the data is processed by the MATLAB-based NI MAX toolbox. MATLAB programming is used to calculate the speed of a DC motor. the speed is recorded using the conventional setup and compared with the proposed DAQ-based setup. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： DC motors

来源：评论

学校读者我要写书评

暂无评论

the Formal Grounds for Construction for Intellimedia Automated System 12

The Formal Grounds for Construction for Intellimedia Automat...

引用

12th IEEE international conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2023

作者： Sheketa, Vasyl Melnyk, Vitalii Petryshyn, Roman Romanyshyn, Yulia Sachenko, Oleg Institute of Information Technologies National Technical University of Oil and Gas Ivano-Frankivsk Ukraine West Ukrainian National University Ternopil Ukraine

ISBN: (纸本)9798350358056

the main idea of the article is that the decision support object may possess declarative knowledge, but when it comes to executing technological tasks or solving complex technological problems, it requires procedural knowledge. In other words, having information about what needs to be done (declarative knowledge) might not be enough to ensure error-free execution. Practical knowledge of how to perform tasks (procedural knowledge) is equally crucial. In summary, the proposed study aims to build an intellimedia automated system (IMAS) based on Olson's theory, with a focus on providing decision support that incorporates both declarative knowledge and procedural (algorithmic) knowledge. the objective is to help users tackle technological problems more effectively, minimize errors in their actions, and improve overall problem-solving outcomes. © 2023 IEEE.

关键词： constraint logic programming constraint satisfaction problems declarative skills intelligent function preferences technological tasks

来源：评论

学校读者我要写书评

暂无评论

Generating Monotone Boolean Functions Using Hasse Diagram 12

Generating Monotone Boolean Functions Using Hasse Diagram

引用

12th IEEE international conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2023

作者： Mrena, Michal Kvassay, Miroslav University of Zilina Faculty of Management Science and Informatics Zilina Slovakia

ISBN: (纸本)9798350358056

Boolean functions play an important role in numerous research areas. One of the areas is reliability analysis where researchers frequently use Boolean functions to describe the relation of a system state to the state of its components. the functions they encounter are often monotone, due to the properties of the systems. Design, verification, and testing of reliability analysis algorithms often involve an examination of numerous functions. therefore, in this paper, we describe an algorithm that generates all monotone Boolean functions of n variables utilizing relations defined by a Hasse diagram. Furthermore, we describe a way to experimentally verify the correctness of the implementation of such an algorithm - and similar algorithms - by using logic differential calculus and binary decision diagrams. © 2023 IEEE.

关键词： coherent system dynamic programming Hasse diagram monotone Boolean function

来源：评论

学校读者我要写书评

暂无评论

Evaluating the user experience of a fuzzy-based Intelligent Tutoring System 12

Evaluating the user experience of a fuzzy-based Intelligent ...

引用

12th international conference on Information, Intelligence, Systems and Applications, IISA 2021

作者： Chrysafiadi, Konstantina Virvou, Maria University of Piraeus Department of Informatics Piraeus Greece

ISBN: (纸本)9781665400329

Nowadays, the scientific interest for educational software and Intelligent Tutoring Systems increases. the main goal of an Intelligent Tutoring System is to offer a personalized learning experience, adapting the learning content and process to each individual student, and maximizing the learning outcomes. However, for ensuring the system's quality the user experience evaluation is equally important to the learning effectiveness evaluation. Concerning the above, in this paper we evaluate thoroughly the user experience of a fuzzy-based Intelligent Tutoring System, which teaches the logic of computer programming and the programming language 'C'. For the evaluation's needs, we used observation and questionnaires. Furthermore, for ensuring the validity of the evaluation's results, t-tests were conducted. the evaluation results are very positive and show that the embedded fuzzy-based mechanism realizes lesson's sequence and learning content adaptation to the learners' needs in such a way that they consider the system as a useful pleasant and helpful tool for learning computer programming. © 2021 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Expert System Based Extension of SWI-Prolog for Evaluating AI Ethics

A Fuzzy Expert System Based Extension of SWI-Prolog for Eval...

引用

international IEEE conference on Intelligent Systems, IS

作者： Harriet Griffin Mani Ghahremani Alexander Gegov University of Portsmouth Portsmouth England

ISBN: (数字)9798350350982

ISBN: (纸本)9798350350999

the rapid expansion of the AI market has outpaced the development of adequate regulations and guidelines, resulting in deficiencies in tools for practitioners and stakeholders in AI systems (AIS). these guidelines are re-evaluated and re-scoped to emphasise positive ethical design and supporting operationalisation, resulting in an actionable, concrete, and accessible toolkit. the work aims to contribute to the optimisation of SWI-Prolog fuzzy systems extended over a new problem domain. the work further introduces the integration of Explainable AI (XAI) principles within the proposed ethical framework as an extension of current XAI research. A novel fuzzy expert system is presented with a proposed system algorithm, employing SWI-Prolog extended through the Constraint logic programming library for membership function constraint propagation. A Command Line Interface (CLI) is presented for user interaction, with functionality to allow users to store and load data locally.

关键词： Ethics logic programming Regulation Libraries Stakeholders Expert systems Intelligent systems Optimization Guidelines Fuzzy systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021

Proceedings of the 12th International Conference on Computat...

引用

12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021

ISBN: (纸本)9781450385107

the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiography data of pulmonary embolism;testing the effectiveness of CNN and GNN and exploring the influence of different channels on decoding covert speech from EEG signals: CNN and GNN on decoding covert speech from EEG signals;deep learning-based approach for corneal ulcer screening;validating ontology-based annotations of biomedical resources using zero-shot learning;the effect of PreTraining thoracic disease detection systems on large-scale chest x-ray domain datasets;inference of gene networks from single cell data through quantified inductive logic programming;detection of markers for discrete phenotypes;optimization algorithm for omic data subspace clustering;and spatio-temporal evolution of cellular automata based single nephron rigid tubular model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

Collaborative Microgrids: Design and Dynamic Analysis using ...

引用

12th international Renewable Engineering conference (IREC)

作者： El Zerk, Abdallah Ouassaid, Mohammed Zidani, Youssef Mohammed V Univ Rabat Engn Smart & Sustainable Syst Res Ctr Mohammadia Sch Engineers Rabat Morocco Cadi Ayyad Univ Fac Sci & Technol Dept Elect Engn Marrakech Morocco

ISBN: (纸本)9781665425483

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.

关键词： Renewable Energy (RE) Energy Management Systems (EMS) Microgrid Fuzzy logic Controller (FLC) Multi-agent system (MAS) Dynamic performances

来源：评论

学校读者我要写书评

暂无评论

Inference of Gene Networks from Single Cell Data through Quantified inductive logic programming 2021

Inference of Gene Networks from Single Cell Data through Qua...

引用

12th international conference on Computational Systems-Biology and Bioinformatics, CSBio 2021

作者： Buchet, Samuel Carbone, Francesco Magnin, Morgan Ménager, Mickaël Roux, Olivier LS2N Umr Cnrs 6004 École Centrale de Nantes Nantes France Inserm Umr 1163 Laboratory of Inflammatory Responses and Transcriptomic Networks in Diseases Université de Paris Imagine Institute Paris France

ISBN: (纸本)9781450385107

Single cell sequencing technologies represent a unique opportunity to appreciate all the heterogeneity of gene expressions within specific biological cell types. While these data are sparse and especially noisy, it remains possible to perform multiple analysis tasks such as identifying sub cellular types and biological markers. Beyond revealing distinct sub cell populations, single cell gene expressions usually involve complex gene interactions, which may often be interpreted as an underlying gene network. In this context, logical computational approaches are particularly attractive as they provide models that are easy to interpret and verify. However, the noise is especially important in single cell sequencing data. this may appear as a limit for symbolic methods as they usually fail in addressing the statistical aspect necessary to handle efficiently such noise. In this work, we propose a computational approach based on symbolic modeling to identify gene connections from single cell RNA sequencing data. Our algorithm, LOLH, is based on inductive logic programming, and intends to rapidly identify potential gene interactions by formulating discrete classification problems, which are solved through discrete optimization. By combining symbolic modeling with optimization techniques, we aim to provide an interpretable model that still fits properly on sparse and noisy data. We apply our method to the unsupervised inference of a gene correlation network from a concrete single cell dataset. We show that the output of our algorithm can be interpreted by using the data itself, and we use additional biological knowledge to validate the approach. © 2021 ACM.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：