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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

388 篇 会议
20 册 图书
12 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

288 篇 工学
- 275 篇 计算机科学与技术...
- 184 篇 软件工程
- 29 篇 电气工程
- 19 篇 信息与通信工程
- 16 篇 控制科学与工程
- 7 篇 电子科学与技术（可...
- 4 篇 机械工程
- 3 篇 生物工程
- 3 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 农业工程
- 1 篇 环境科学与工程（可...
67 篇 理学
- 53 篇 数学
- 9 篇 系统科学
- 7 篇 统计学（可授理学、...
- 6 篇 生物学
- 3 篇 物理学
31 篇 管理学
- 19 篇 管理科学与工程(可...
- 13 篇 图书情报与档案管...
- 9 篇 工商管理
4 篇 教育学
- 4 篇 教育学
3 篇 经济学
- 3 篇 应用经济学
3 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
1 篇 哲学
1 篇 法学
- 1 篇 社会学
1 篇 农学

主题

95 篇 logic programmin...
19 篇 fuzzy logic
18 篇 artificial intel...
14 篇 linear programmi...
13 篇 semantics
12 篇 logic gates
11 篇 computer circuit...
11 篇 programming
11 篇 mathematical log...
10 篇 programming lang...
10 篇 logics and meani...
8 篇 programming tech...
7 篇 computer archite...
7 篇 computer program...
7 篇 computer program...
6 篇 object oriented ...
6 篇 model checking
6 篇 software enginee...
6 篇 answer set progr...
5 篇 genetic programm...

机构

3 篇 univ minho ctr a...
2 篇 telecommunicatio...
2 篇 univ mediterrane...
2 篇 xidian univ inst...
2 篇 dept. of electri...
2 篇 dept. of biomedi...
2 篇 univ potsdam pot...
2 篇 univ orleans lab...
2 篇 queensland unive...
2 篇 univ paris 06 li...
2 篇 xidian univ isn ...
2 篇 chinese acad sci...
2 篇 department of in...
2 篇 institute of inf...
2 篇 department of co...
2 篇 dipartimento di ...
2 篇 univ americas pu...
2 篇 dept. of electri...
2 篇 univ technol syd...
2 篇 chinese univ hon...

作者

6 篇 schaub torsten
4 篇 vicente henrique
3 篇 brezillon patric...
3 篇 pereira luís mon...
3 篇 anon
3 篇 faber wolfgang
3 篇 neves jose
3 篇 damásio carlos v...
2 篇 suzuki taro
2 篇 a.r. gray
2 篇 saubion frédéric
2 篇 bruynooghe mauri...
2 篇 leone nicola
2 篇 karali i
2 篇 sakama chiaki
2 篇 gebser martin
2 篇 ojeda-aciego man...
2 篇 codish michael
2 篇 hofstedt petra
2 篇 ida tetsuo

语言

416 篇 英文
2 篇 其他
1 篇 法文
1 篇 中文

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

共 420 条记录，以下是1-10 订阅

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

详细简洁

排序：

Introduction to the Special Issue on logic Rules and Reasoning: Selected Papers From the 6th International Joint conference on Rules and Reasoning (RuleML+RR 2022)

引用

thEORY AND PRACTICE OF logic programming 2025年

作者： Governatori, Guido Turhan, Anni-Yasmin Cent Queensland Univ Brisbane Qld Australia Charles Sturt Univ Sydney NSW Australia Paderborn Univ Paderborn Germany

来源：评论

学校读者我要写书评

暂无评论

6th International School on Engineering Trustworthy Software Systems, SETSS 2024

6th International School on Engineering Trustworthy Software...

引用

6th International School on Engineering Trustworthy Software Systems, SETSS 2024

ISBN: (纸本)9789819646555

the proceedings contain 7 papers. the special focus in this conference is on Engineering Trustworthy Software Systems. the topics include: From logic to programming;digital Twin Tutorial: the Incubator Case Study;AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;software Engineering Experiences of an Optimist;Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Plan and Running of a Program logic Regulator by Using PIC18F4580 6th

Plan and Running of a Program Logic Regulator by Using PIC18...

引用

6th International conference on Advanced Production and Industrial Engineering , ICAPIE 2021

作者： AL-hamzah, Tareq Suresh, P. Prasad, Sheetla School of Mechanical Engineering Galgotias University Greater Noida India

ISBN: (纸本)9789811695223

In the industry, the use of power has opened another age that is confounded by mechanical computerization. Originally, computerization frameworks relied upon electromechanical frameworks comprising of transfers and contactors. Improvements in semiconductor invention inevitably altered the current of electronic-controlled plc and cause regulator [programmable logic control] to win those computerization frameworks. Programmable logic control composes of a micro-control/chip, transfer or semiconductor for exchanging, confining hardware, for instance, couplers and voltage. Modern programmable logic controllers are extremely expensive gadgets. In this examination, plan and execution of an ease programmable logic control utilizing PIC18F4580 micro-control are figured it out. Extraordinary programming including a graphic UI is produced for programming the programmable logic control and moving code information to the gadget. Both stepping stool outline so word directions can be utilized for programming the programmable logic control. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

A Machine Learning based Facial Expression and Emotion Recognition for Human Computer Interaction through Fuzzy logic System 6

A Machine Learning based Facial Expression and Emotion Recog...

引用

6th International conference on Inventive Computation Technologies, ICICT 2023

作者： Vinutha, K. Niranjan, Manoj Kumar Makhijani, Jagdish Natarajan, B. Nirmala, V. Vijaya Lakshmi, T.R. Department of Information Science and Engineering BMS Institute of Technology and Management Karnataka Bengaluru India Department of Computer Applications Rustamji Institute of Technology Madhya Pradesh Gwalior India Department of Computer Science and Engineering Rustamji Institute of Technology Madhya Pradesh Gwalior India Department of Computer Science and Engineering Amrita School of Computing Amrita Vishwa Vidyapeetham Tamil Nadu Chennai India Department of Science and Humanities Faculty of Engineering Karpagam Academy of Higher Education Tamil Nadu Coimbatore India Department of Electronics and Communication Engineering Mahatma Gandhi Institute of Technology Telangana Hyderabad India

ISBN: (纸本)9798350398496

Facial recognition is in use for the past decade there are many applications that needs facial expression to learn the human behaviour and emotions for certain activities. Facial recognition is in a development phase where many service providers use this feature to find the expression of the people on using their BlogSpot or website or reading any news article. this recognition of facial expression is highly possible with the help of machine learning technology. this research study has developed a facial expression recognizing algorithm using Python programming language with the help of Keras software package. this algorithm is purely based on machine learning approach that enables the programmer to process the facial image and convert it into data that is helpful in prediction of facial expression using the fuzzy logic technique. the fuzzy logic technique is a prediction method that helps programmer to predict the intermediate data by providing the initial and ending conditions. For enabling the facial recognition to process any system or a mobile device the algorithm needs permission to access the camera, once the onto the access is permitted the algorithm retrieves the image from the Vision sensor and with the help of image processing technology of the machine learning algorithm the program the program converts the data from the vision sensor into required facial expression and emotional content. © 2023 IEEE.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

the Floating Fuzzy logic based Evaluation Model for Appraising the Student Performance 6

The Floating Fuzzy Logic based Evaluation Model for Appraisi...

引用

6th International conference on Information Technology, Information Systems and Electrical Engineering, ICITISEE 2022

作者： Utama, Ditdit Nugeraha Bina Nusantara University Computer Science Department BINUS Graduate Program - Master of Computer Science Jakarta11480 Indonesia

ISBN: (纸本)9798350399615

Membership function (MF) in process of fuzzy logic is very meaningful. It depicts the core of model. It can be adopted from the expert judgment and also coming from the configuration of data behavior. the study is an experimental research by analyzing time-series data behavior in developing the MF by using the programming language Python. the MF academically produced called as floating MF (FMF). Such a FMF operated to realize the fuzzy logic conception in an evaluation model. the constructed model is a model in simply measuring the student's performance. By using the ten series-data of student's grade point average (GPA) and absence per annual (APS) values, the model can simulate the moving students' performance per semester. When compared to the conventional FL based model, the proposed model has a similarity average 85%. © 2022 IEEE.

关键词： evaluation model floating fuzzy logic moving performance value student performance

来源：评论

学校读者我要写书评

暂无评论

Interactive Job Scheduling with Partially Known Personnel Availabilities 6th

Interactive Job Scheduling with Partially Known Personnel A...

引用

6th International conference on Optimization and Learning, OLA 2023

作者： Varga, Johannes Raidl, Günther R. Rönnberg, Elina Rodemann, Tobias Institute of Logic and Computation TU Wien Vienna Austria Department of Mathematics Linköping University Linköping Sweden Honda Research Institute Europe Offenbach Germany

ISBN: (纸本)9783031340192

When solving a job scheduling problem that involves humans, the times in which they are available must be taken into account. For practical acceptance of a scheduling tool, it is further crucial that the interaction with the humans is kept simple and to a minimum. Requiring users to fully specify their availability times is typically not reasonable. We consider a scenario in which initially users only suggest single starting times for their jobs and an optimized schedule shall then be found within a small number of interaction rounds. In each round users may only be suggested a small set of alternative time intervals, which are accepted or rejected. To make the best out of these limited interaction possibilities, we propose an approach that utilizes integer linear programming and a theoretically derived probability calculation for the users’ availabilities based on a Markov model. Educated suggestions of alternative time intervals for performing jobs are determined from these acceptance probabilities as well as the optimization’s current state. the approach is experimentally evaluated and compared to diverse baselines. Results show that an initial schedule can be quickly improved over few interaction rounds, and the final schedule may come close to the solution of the full-knowledge case despite the limited interaction. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

A System-level Electromagnetic Characteristics Knowledge Graph Based on Knowledge Reasoning Applied to Electromagnetic Compatibility Analysis

A System-level Electromagnetic Characteristics Knowledge Gra...

引用

IEEE Information Technology, Networking, Electronic and Automation Control conference

作者： Yuru Zhang Xiaobin Tang Jia Cao China Academic of Electronics and Information Technology Beijing China

How to quickly and accurately obtain the electromagnetic characteristics and relations of managed objects is an important issue in electromagnetic spectrum management. this paper draws on the concept of knowledge graph in the field of artificial intelligence, and uses the structure of OWL+SWRL+Jess to construct a system-level electromagnetic characteristics knowledge graph system. In order to serve the electromagnetic compatibility analysis in the integrated electromagnetic information system, simulation experiments for automatic induction of equipment spectrum features and relationships are carried out using knowledge reasoning techniques based on logic programming. through knowledge representation and knowledge reasoning, connections between electromagnetic characteristic elements are visualized, and usefulness of the method for enhancing the intelligence and interpretability of system-level EMC analysis is verified.

关键词： Analytical models logic programming Knowledge graphs Electromagnetic compatibility Cognition Data models Electromagnetic spectrum

来源：评论

学校读者我要写书评

暂无评论

Applying Computational thinking and Formative Assessment to Enhance the Learning Performance of Students in Virtual programming Language

Applying Computational Thinking and Formative Assessment to ...

引用

Proceedings of the 6th International conference on Innovative Technologies and Learning, ICITL 2023

作者： Cheng, Yu-Ping Cheng, Shu-Chen Yang, Ming Lin, Jim-Min Huang, Yueh-Min Department of Engineering Science National Cheng Kung University Tainan Taiwan Department of Computer Science and Information Engineering Southern Taiwan University of Science and Technology Tainan Taiwan Department of Geomatics National Cheng Kung University Tainan Taiwan Department of Information Engineering and Computer Science Feng Chia University Taichung City Taiwan

ISBN: (纸本)9783031401121

Computational thinking (CT) is considered to be one of the core competencies of the 21st century, and many scholars have explored the feasibility of CT in different subjects. However, traditional programming languages have a certain degree of difficulty, and it is difficult for learners to learn and understand the structure and logic of syntax in this process. Visual programming language improves upon these conditions and constraints. Additionally, formative assessment (FA) has been shown to increase students’ motivation and interest in programming courses while improving their performance. therefore, the application of CT core competencies and visual programming formative assessment system (VPFAS) is proposed by this study. Also, we explore whether it can enhance learning performance of students in virtual programming. A total of 52 students were recruited in this 10-week experiment. the result shows that the experimental group significantly enhance their learning performance in virtual programming by applying the CT core competence and the VPFAS. this means that the experimental group can not only solve the program’s problems through the CT core competencies but also improve their knowledge of the program’s concepts and objects through the VPFAS. thus, this study confirms that applying CT and FA can enhance student learning performance in virtual programming. © 2023, the Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Hardware Implementation of MSK Signal Based on FPGA

Hardware Implementation of MSK Signal Based on FPGA

引用

IEEE Advanced Information Management,Communicates,Electronic and Automation Control conference (IMCEC)

作者： Xiaolei Sun Chunteng Li Jierong Xie Hang Su Wenchao Gong Department of Navigation Observation Naval Submarine Academy Qingdao China Unit 92330 Qingdao China

ISBN: (数字)9798350316537

ISBN: (纸本)9798350316544

In order to implement minimum shift keying (MSK) signal in term of hardware, by using UDP communication protocol, based on the software development platform, the network communication of the computer and the data transmission flow of field programmable gate array (FPGA) are designed, focusing on the factors of control signal generation and status machine command control, and a hardware implementation test platform is built in the laboratory environment. the experimental results show that the power spectral density displayed by the oscilloscope is completely consistent with the power spectral density obtained by the data received by the computer after MATLAB programming, which verifies the correctness of the MSK hardware implementation designed in this paper.

关键词： Protocols Laboratories Oscilloscopes programming logic gates Hardware Noise measurement

来源：评论

学校读者我要写书评

暂无评论

Plingo: A System for Probabilistic Reasoning in Clingo Based on LPMLN 6th

Plingo: A System for Probabilistic Reasoning in Clingo Based...

引用

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

作者： Hahn, Susana Janhunen, Tomi Kaminski, Roland Romero, Javier Ruehling, Nicolas Schaub, Torsten Univ Potsdam Potsdam Germany Univ Tampere Tampere Finland

ISBN: (纸本)9783031215407;9783031215414

We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes. Plingo is centered upon LPMLN, a probabilistic extension of ASP based on a weight scheme from Markov logic. this choice is motivated by the fact that the core probabilistic reasoning modes can be mapped onto optimization problems and that LPMLN may serve as a middle-ground formalism connecting to other probabilistic approaches. As a result, plingo offers three alternative frontends, for LPMLN, P-log, and ProbLog. the corresponding input languages and reasoning modes are implemented by means of clingo's multi-shot and theory solving capabilities. the core of plingo amounts to a re-implementation of LPMLN in terms of modern ASP technology, extended by an approximation technique based on a new method for answer set enumeration in the order of optimality. We evaluate plingo's performance empirically by comparing it to other probabilistic systems.

关键词： Answer set programming Probabilistic reasoning

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：