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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Effect of Learning Computational thinking Using Board Games in Different Learning Styles on programming Learning 5th

Effect of Learning Computational Thinking Using Board Games ...

引用

5th International conference on Innovative Technologies and Learning, ICITL 2022

作者： Liu, Han-Chi Chen, Hong-Ren Yu, Sen-Chi Shih, Yu-Ting Department of Digital Content and Technology National Taichung University of Education Taichung403 Taiwan Department of Counseling and Applied Psychology National Taichung University of Education Taichung403 Taiwan

ISBN: (纸本)9783031152726

the popularization of the internet and the rapid development of intelligent technologies have inspired new directions in education policies. In the curriculum guidelines, the technological education field had included exploration, creative thinking, logic, computational thinking, and problem-solving skills. the study utilized board games, Kolb learning styles scale, and computational thinking test as experimental tools. Incorporating easy board games into teaching programming skills such as "loop" and "conditionals", the study aimed to explore the effects of board game-based learning methods have on students of different learning styles learning computational thinking. the study will discuss Kolb Learning style scales and examine learners’ styles, dividing them into diverger, assimilator, converger, and accommodator while conducting test and quantitative analysis after the experiment. the study concludes the following findings: (1) the use of board games in teaching has a significant effect on the learning units of "loops" and "condition" in the learning of computational thinking, indicating that the use of board game for learning the concepts of "loops" and "condition" in programming can enhance computational thinking. (2) Students of different learning styles did not have a significant effect in learning the units of "loop" and "condition" concepts regarding computational thinking. However, students of the assimilator type have greater learning efficiency than other types. © 2022, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Integrated Microgrid Based Predictive Control Scheme

Design and Implementation of Integrated Microgrid Based Pred...

引用

Global conference for Advancement in Technology (GCAT)

作者： D. Lenine P. Sai Sampath Kumar J. Surya Kumari D. Raja Department of Electrical and Electronics Engineering RGM College of Engineering and Technology (Autonomous) Nandyal India Department of Electrical and Electronics Engineering Sri Manakula Vinayagar Engineering College (Autonomous) Puducherry India

ISBN: (数字)9798350376685

ISBN: (纸本)9798350376692

this paper introduces a novel approach called Fuzzy-MPPDC designed specifically for Renewable Energy Systems (RES). It mainly aims to address voltage fluctuations arising from variable power demands and the unpredictable outputs of RES. Fuzzy logic enhances adaptability to grid requirements and BES conditions, facilitating power exchange with the utility grid. Unlike traditional methods, it employs a flexible objective function dynamically adjusting to external factors. MATLAB/Simulink simulations validate Fuzzy-MPPDC, showing precise reference tracking and minimal Total Harmonic Distortion (thD) across various loads. this marks a significant advancement in RES control, promising improved stability and performance in voltage regulation.

关键词： Total harmonic distortion Renewable energy sources Voltage fluctuations Computational modeling Predictive models Linear programming Stability analysis Real-time systems Voltage control Predictive control

来源：评论

学校读者我要写书评

暂无评论

5th International Joint conference on Rules and Reasoning, RuleML+RR 2021

5th International Joint Conference on Rules and Reasoning, R...

引用

5th International Joint conference on Rules and Reasoning, RuleML+RR 2021

ISBN: (纸本)9783030911669

the proceedings contain 19 papers. the special focus in this conference is on Rules and Reasoning. the topics include: Learning Decision Rules or Learning Decision Models?;correctness of Automatically Generated Choreography Specifications;conflict-Free Access Rules for Sharing Smart Patient Health Records;structuring Rule Sets Using Binary Decision Diagrams;link Traversal with Distributed Subweb Specifications;event-Based Microcontroller programming in Datalog;Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images;A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling;an Answer Set programming Based Framework for High-Utility Pattern Mining Extended with Facets and Advanced Utility Functions;preface;policy-Based Automated Compliance Checking;Automatic Generation of Intelligent Chatbots from DMN Decision Models;deep Learning for the Identification of Decision Modelling Components from Text;combining Sub-symbolic and Symbolic Methods for Explainability;practical Rule-Based Qualitative Temporal Reasoning for the Semantic Web;logic Rules Meet Deep Learning: A Novel Approach for Ship Type Classification;An Evaluation of Meta-reasoning over OWL 2 QL.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Value Iteration-based Decentralized Fuzzy Optimal Control of Modular Reconfigurable Robots via Adaptive Dynamic programming

Value Iteration-based Decentralized Fuzzy Optimal Control of...

引用

Robotics, Control and Automation Engineering (RCAE), International conference on

作者： Hucheng Jiang Tianjiao An Bing Ma Yuanchun Li Bo Dong Department of Control Science and Engineering Changchun University of Technology Changchun China

ISBN: (数字)9781665459419

ISBN: (纸本)9781665459426

In this article, a decentralized fuzzy optimal control method dependent on value iteration (VI) is proposed to settle the optimal trajectory tracking control problem of modular reconfigurable robots (MRRs) under the adaptive dynamic programming (ADP) algorithm. A fuzzy logic system (FLS) is designed to estimate cost function and unknown system dynamics of MRRs respectively. through the use of ADP method, construct a local online VI algorithm and solving HJB equation with approximate cost function, then the decentralized FLS-based optimal control method is realized. On the basis of Lyapunov theorem the MRR system is proved to be asymptotically stable. At last, simulation results show the availability of the suggested method.

关键词： Fuzzy logic Fuzzy control Heuristic algorithms Simulation Optimal control Cost function Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

Multi-periodic Refinery Scheduling Based on Generalized Disjunctive programming 5

Multi-periodic Refinery Scheduling Based on Generalized Disj...

引用

5th Annual International conference on Information System and Artificial Intelligence (ISAI)

作者： Li, Ming Shandong Youth Univ Polit Sci Sch Informat Engn Jinan 250103 Shandong Peoples R China

Refinery complex production process usually involves some distinct or implied production rules and expert experiences. Representation and utilizing these heuristic rules is conducive to efficient scheduling optimization. In this paper, the heuristic rules were formulated using disjunctive form and logical proposition, and a discrete-time based multi-periodic generalized disjunctive programming (GDP) scheduling model was built. Due to the combining of logic expressions and algebra expressions, heuristic rules were utilized by the proposed model, while scheduling optimization was ensured. the formulated model was used to deal with a refinery scheduling problem. Case study shows the model's feasibility and efficiency.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

A Light Weight Approach for Real-time Background Subtraction in Camera Surveillance Systems

A Light Weight Approach for Real-time Background Subtraction...

引用

International Image Processing, Applications and Systems conference (IPAS)

作者： Ege Ince Sevdenur Kutuk Rayan Abri Sara Abri Salih Cetin Mavinci Informatics Inc. Ankara Turkey

ISBN: (纸本)9781665462204

Real time processing in the context of image processing for topics like motion detection and suspicious object detection requires processing the background more times. In this field, background subtraction solutions can overcome the limitations caused by real time issues. Different methods of background subtraction have been investigated for this goal. Although more background subtraction methods provide the required efficiency, they do not make produce a real-time solution in a camera surveillance environment. In this paper, we propose a model for background subtraction using four different traditional algorithms; ViBe, Mixture of Gaussian V2 (MOG2), Two Points, and Pixel Based Adaptive Segmenter (PBAS). the presented model is a lightweight real time architecture for surveillance cameras. In this model, the dynamic programming logic is used during preprocessing of the frames. the CDnet 2014 data set is used to assess the model's accuracy, and the findings show that it is more accurate than the traditional methods whose combinations are suggested in the paper in terms of Frames per second (fps), F1 score, and Intersection over union (IoU) values by 61.31, 0.552, and 0.430 correspondingly.

关键词： Adaptation models Surveillance Image processing Heuristic algorithms Object detection programming Cameras

来源：评论

学校读者我要写书评

暂无评论

theoretical Basis of Language System with State Constraints 5

Theoretical Basis of Language System with State Constraints

引用

5th International conference on Complexity, Future Information Systems and Risk (COMPLEXIS)

作者： Yamasaki, Susumu Okayama Univ HCI Grp Dept Comp Sci Tsushima Okayama Japan

ISBN: (纸本)9789897584275

this paper presents theoretical basis of a language system whose program is described as algebraic expressions and implemented as abstract state machine. the behaviors of the described expressions may be captured (with their models) as causing sequences for state transitions, where composition and alternation for state transitions are mechanized in algebraic structure. Monitoring facilities to the language system may be described with state concepts, as well. With respect to intuitionistic logic and logical program containing negatives, Heyting algebra expressions are taken rather than already established nonmonotonic reasoning programs with negations, where 3-valued domain may be of use for the undefined to be allowable such that positives and negatives may be consistently evaluated, instead of rigid 2-valued settlements. We may have a standard form of Heyting algebra expressions in accordance to logical and AI programming, where the expressions are constrained with states. the states may be regarded as environmental conditions or objects as in object-oriented programming. As regards 3-valued models of given expressions, monotonic mapping cannot be in general associated with, but some ways are presented to approximate fixed points of a mapping for the given expression. then the formal description of programs may be given with reference to state transitions, which is thought of as proposing a language system structure.

关键词： programming Language Algebraic Expression State Constraint System

来源：评论

学校读者我要写书评

暂无评论

Learning Chinese as a Second Language by Educational Robots Integrating the Operation of Conditional logic in Computational thinking and the Usage of the Causal Sentences 20

Learning Chinese as a Second Language by Educational Robots ...

引用

20th IEEE International conference on Advanced Learning Technologies (ICALT)

作者： Hsu, Ting-Chia Wong, Lung-Hsiang Aw, Guat Poh Natl Taiwan Normal Univ Dept Technol Applicat & Human Resource Dev Taipei Taiwan Nanyang Technol Univ Natl Inst Educ Singapore Singapore

ISBN: (数字)9781728160900

ISBN: (纸本)9781728160900

this study attempted to carry out interdisciplinary learning activities which integrate computational thinking into language learning. the participants were 56 5th-grade Chinese as a Second Language (CSL) students in Singapore. the students were required to learn the ability to apply conditional complex sentences in Chinese language and learn the conditional structural logic through coding educational robots to interact with each other in Chinese. the results showed that the students improved significantly in the linguistic knowledge. Furthermore, the computer programming self-efficacy of the students has also promoted significantly in terms of logical thinking, control and debugging. the students had also shown a high level of learning engagement, low anxiety and a high intention in the robot coding activity. this study presented the empirical results of this cross-domain integration of educational robots and language learning, providing a reference and teaching practices for future teachers.

关键词： Chinese as a Second Language Computational thinking Educational Robots Computer programming Self-Efficacy

来源：评论

学校读者我要写书评

暂无评论

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images 5th

Combining Deep Learning and ASP-Based Models for the Semanti...

引用

5th International Joint conference on Rules and Reasoning (RuleML+RR)

作者： Bruno, Pierangela Calimeri, Francesco Marte, Cinzia Manna, Marco Univ Calabria Dept Math & Comp Sci Arcavacata Di Rende Italy

ISBN: (纸本)9783030911676;9783030911669

Automatic segmentation represents a huge breakthrough in computer-aided diagnosis and medicine, as it allows to provide clinicians important with information for interventional and diagnostic tasks. Recent advancements in Deep Learning (DL), such as Convolutional Neural Networks (CNNs), have proved to be greatly promising in identifying anatomical and pathological structures, and in extracting meaningful patterns from huge amounts of data. However, such approaches suffer from the lack of proper means for interpreting the choices made by the models, and it is not easy to drive the decisions according to prior knowledge. In this context, deductive rule-based approaches, such as Answer Set programming (ASP), can allow to effectively encode problems or specific features via logic programs in a declarative fashion, while possibly also helping at improving performance. In this seminal work, we propose the use of ASP to drive DL approaches in performing semantic segmentation of medical images. Specifically, we encoded prior medical knowledge via ASP, thus defining a rule-based model for deducting all admitted combinations of classes and right locations in medical images. the results of an experimental analysis are reported with the aim to assess the viability of the proposed approach.

关键词： Answer set programming Knowledge representation and reasoning Deep learning Semantic segmentation Inductive-deductive coupling

来源：评论

学校读者我要写书评

暂无评论

More than Structured programming in Primary School Syllabus 2nd

More Than Structured Programming in Primary School Syllabus

引用

22nd International conference on Interactive Collaborative Learning (ICL) / 48th IGIP International conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education

作者： Fatourou, Eleni Zygouris, Nikolaos C. Loukopoulos, Athanasios Stamoulis, Georgios, I Vavougios, Denis Dept Comp Sci & Telecommun 2-4 Papasiopoulou St Lamia 35100 Greece Dept Comp Sci & Bioinformat 2-4 Papasiopoulou St Lamia 35100 Greece Univ Thessaly Elect & Comp Engn Dept 37 Glavani St Volos 38221 Greece Univ Thessaly Dept Special Educ Volos 38221 Greece

ISBN: (纸本)9783030402716;9783030402709

Computer programming was introduced to primary schools by many countries with the aim of advancing logic and algorithmic thinking of students. the bulk of a typical syllabus (e.g., in the case of Greece) for computer programming courses at 5th and 6th grade primary school, consists of teaching structured programming concepts. While the comprehension of basic program flow concepts such as branch instructions and loops is of paramount importance, overextending the teaching of the basics may lead to students losing their interest due to lack of challenge. On the other hand, in a mixed classroom environment there exist both students with substantial skills in modern computer technology and others with smaller such experience, e.g., due to societal and economic factors. To avoid discouraging both the talented pupils by re-visiting the same topics and the less experienced ones by not providing an alternative way of learning, we investigate instructing advanced computer programming concepts in a playful way using pair programming. Results reveal that teaching advanced programming concepts using pair programming can improve the overall programming skills of mixed classroom students.

关键词： Structured programming Advanced programming Syllabus Pair programming Diverse classrooms Scratch

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：