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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

421 篇 会议
23 篇 期刊文献
19 册 图书

馆藏范围

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

日期分布

学科分类号

332 篇 工学
- 305 篇 计算机科学与技术...
- 206 篇 软件工程
- 55 篇 控制科学与工程
- 31 篇 电气工程
- 18 篇 信息与通信工程
- 11 篇 建筑学
- 10 篇 机械工程
- 10 篇 电子科学与技术（可...
- 9 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 力学（可授工学、理...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 4 篇 化学工程与技术
85 篇 理学
- 68 篇 数学
- 13 篇 统计学（可授理学、...
- 10 篇 生物学
- 10 篇 系统科学
- 7 篇 物理学
28 篇 管理学
- 18 篇 管理科学与工程(可...
- 10 篇 图书情报与档案管...
- 9 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 教育学
- 4 篇 教育学
3 篇 法学
- 3 篇 社会学
2 篇 农学

主题

83 篇 logic programmin...
21 篇 computer circuit...
19 篇 fuzzy logic
14 篇 programming
14 篇 artificial intel...
13 篇 semantics
13 篇 computer program...
13 篇 programming lang...
12 篇 mathematical log...
12 篇 programming tech...
12 篇 logics and meani...
10 篇 logic gates
10 篇 linear programmi...
9 篇 genetic programm...
9 篇 software enginee...
8 篇 logic
8 篇 web services
7 篇 programmable log...
7 篇 formal logic
7 篇 prolog (programm...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...
2 篇 shanghai jiao to...
2 篇 department of co...
2 篇 la trobe univ de...
2 篇 university of ke...

作者

2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 ueda kazunori
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan
2 篇 dundua besik
2 篇 tanaka h.
2 篇 deng yuxin
2 篇 niemela i

语言

456 篇 英文
7 篇 其他

检索条件"任意字段=4th International Conference on Logic Programming, 1985"

共 463 条记录，以下是41-50 订阅

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

详细简洁

排序：

4th international conference on Innovative Technologies and Learning, ICITL 2021

4th International Conference on Innovative Technologies and ...

引用

4th international conference on Innovative Technologies and Learning, ICITL 2021

ISBN: (纸本)9783030915391

the proceedings contain 61 papers. the special focus in this conference is on Innovative Technologies and Learning. the topics include: A Study of Learner’s Scientific thinking Using Constructivist Virtual Learning Environment for Grade 11 Students;Regarding the Virtual Reality Environment Design and Evaluation Based on STEAM Learning;Using STEAM-6E Model in AR/VR Maker Education Teaching Activities to Improve High School Students’ Learning Motivation and Learning Activity Satisfaction;the Use of E-learning Tools in a Basic logic Course During the COVID-19 Lockdown;improve University Humanities Students’ Problem-Solving Ability through Computational thinking Training;the Development of a Computational thinking Learning Package that Integrates a Learning Experience Design for Grade K;development of Online Learning to Enhancing Computational thinking for High School Students;exploring the Usability of Web-Based Java Compiler as a Learning Tool;young Kids’ Basic Computational thinking: An Analysis on Educational Robotics Without Computer;Amending Dynamic Capability theory for Information Systems Research on the Reskilling of Coal Miners in an AI-Driven Era;the Validation of Constructivist Web-Based Learning Environment Model to Enhance Creativity thinking for Undergraduate Student with Integration of Pedagogy and Neuroscience;resource Designing Framework of Constructivist Web-Based Learning Environment to Enhance the Problem-Solving for Robot programming in Secondary Grade 3;AHP4Edu: An AHP-Based Assessment Model for Learning Effectiveness of Education;a Designing Framework for Flipped Classroom Learning Environment Model Combined with Augmented Reality to Enhance Creative thinking in Product Design for High School Students;Using Design Patterns to Teach Conceptual Entity Relationship (ER) Data Modelling;digital Application Literacy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Development and modeling of intelligent control system of cruise missile based on fuzzy logic 16

Development and modeling of intelligent control system of cr...

引用

16th international conference on Electronics Computer and Computation, ICECCO 2021

作者： Utegen, A.S. Moldamurat, Kh Ainur, Mukhanbetkaliyeva Talgat, Amangul Amandykuly, Anuar Galymzhan Brimzhanova, S.S. L.N. Gumilev Eurasian National University 4th Year Specialty Space Engineering and Technology Nur-Sultan Kazakhstan L.N. Gumilev Eurasian National University Candidate of Technical Sciences Department of Space Engineering and Technology Nur-Sultan Kazakhstan Kazakh University of Technology and Business Master of Technical Sciences of the Information Systems Department Nur-Sultan Kazakhstan L.N. Gumilev Eurasian National University Master of Technical Sciences Teacher of the Department of Space Engineering and Technology Nur-Sultan Kazakhstan Non-Profit Limited Company A. Baitursynov KRU Master of Natural Sciences Department of Information Systems Kostanay Kazakhstan

ISBN: (纸本)9781665409452

this article considers an artificial intelligence system focused on the flight of a cruise missile. A fuzzy logic system belongs to the field of modern artificial intelligence. the cruise missile is widely used in the defense and military sphere. A cruise missile flies close to the ground and maneuvers very quickly during its flight. It is very difficult to direct a cruise missile to the object accurately and reach the *** this reason, the control system is given a fuzzy logic method based on artificial intelligence. A cruise missile control system requires many parameters and complex mathematical models if it is controlled by a regular system. It requires a large resource and a lot of time to calculate the control system. A cruise missile is very effective when controlled by fuzzy logic, takes little time, maneuvers very quickly during the flight, and quickly makes decisions of any *** article presents a virtual software simulator for creating a model of a cruise missile. this simulator is written in C++ programming language with the complex Matlab editor R2015b. the types, models, goals of use of cruise missiles preceding the virtual test are selected in the simulator. In the simulator the flight parameters of the selected cruise missile (flight speed v, range l, flight altitude h and angles of attack G0, directions of maneuver and external forces) are entered. In the simulator the trajectory of the missile flight is tested according to the task algorithm. the virtual test involves accurately targeting the cruise missile and reducing and eliminating deviations and errors while accurately reaching the target. the virtual software simulator tests any cruise and jet missile, ground-based objects of *** virtual software simulator is intended for use by space industry specialists, students at institutions of higher education, specialists trained in the army for practical testing of ground-based objects of flight. © 2021 IEEE.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation 4th

Flexible Dispute Derivations with Forward and Backward Argum...

引用

4th international conference on logic and Argumentation (CLAR)

作者： Diller, Martin Gaggl, Sarah Alice Gorczyca, Piotr Tech Univ Dresden Fac Comp Sci Log Programming & Argumentat Grp Dresden Germany

ISBN: (纸本)9783030893910;9783030893903

Assumption-based argumentation (ABA) is one of the main general frameworks for structured argumentation. Dispute derivations for ABA allow for evaluating claims in a dialectical manner: i.e. on the basis of an exchange of arguments and counter-arguments for a claim between a proponent and an opponent of the claim. Current versions of dispute derivations are geared towards determining (credulous) acceptance of claims w.r.t. the admissibility-based semantics that ABA inherits from abstract argumentation. Relatedly, they make use of backwards or top down reasoning for constructing arguments. In this work we define flexible dispute derivations with forward as well as backward reasoning allowing us, in particular, to also have dispute derivations for finding admissible, complete, and stable assumption sets rather than only determine acceptability of claims. We give an argumentation-based definition of such dispute derivations and a more implementation friendly alternative representation in which disputes involve exchange of claims and rules rather than arguments. these can be seen as elaborations on, in particular, existing graph-based dispute derivations on two fronts: first, in also allowing for forward reasoning;second, in that all arguments put forward in the dispute are represented by a graph and not only the proponents.

关键词： Argumentation Assumption-based argumentation Dispute derivations

来源：评论

学校读者我要写书评

暂无评论

Convivial Design Heuristics for Software Systems 20

Convivial Design Heuristics for Software Systems

引用

4th international conference on the Art Science and Engineering of programming

作者： Kell, Stephen Univ Kent Canterbury Kent England

ISBN: (纸本)9781450375078

Illich's notion of conviviality centres on the balance between individual freedom to act and collective freedom from domination. this balance, or tension, is present in the design of most user-facing computer systems, and especially in the design of programming systems. Software lore has arisen with at best a skewed perspective on such issues, having developed from an industrial viewpoint. In this paper I survey some tentative design principles, extracted from examples of research work or (more often) systems used in practice, which (sometimes by accident) do show some regard for conviviality. Although preliminary, my hope is that these principles may yet develop into a collection of design hints at least equal, and largely countervailing, to the less conviviality-prone ideas circulating in today's software folklore. Relevant topics include language design, information hiding, language virtual machines, portability, classical logic, and layered system design. I also briefly consider the intertwined social and political constructs, such as copyleft, ownership and community responsibility, asking how to evolve or generalise these towards convivial ends.

关键词： programming design modularity culture conviviality

来源：评论

学校读者我要写书评

暂无评论

User-Defined Interface Mappings for the GraalVM 20

User-Defined Interface Mappings for the GraalVM

引用

4th international conference on the Art Science and Engineering of programming

作者： Riese, Alexander Niephaus, Fabio Felgentreff, Tim Hirschfeld, Robert Univ Potsdam Hasso Plattner Inst Potsdam Germany Oracle Labs Potsdam Germany

ISBN: (纸本)9781450375078

To improve programming productivity, the right tools are crucial. this starts with the choice of the programming language, which often predetermines the libraries and frameworks one can use. Polyglot runtime environments, such as GraalVM, provide mechanisms for exchanging objects and sending messages across language boundaries, which allow developers to combine different languages, libraries, and frameworks with each other. However, polyglot application developers are obligated to properly use the right interfaces for accessing their data and objects from different languages. To reduce the mental complexity for developers and let them focus on the business logic, we introduce user-defined interface mappings - an approach for adapting cross-language messages at run-time to match an expected interface. thereby, the translation strategies are defined in an exchangeable and easy-to-edit configuration file. thus, different stakeholders ranging from library and framework developers up to application developers can use and extend these mappings for their needs.

关键词： polyglot programming language interoperability portability patterns

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an Integrated Platform for Multi-language Methods Based on Javaweb 4

Design and Implementation of an Integrated Platform for Mult...

引用

4th Annual international conference on Data Science and Business Analytics, ICDSBA 2020

作者： Xie, Linzhe Yunnan University School of Software Kunming China

ISBN: (纸本)9781728181646

In view of the diversified characteristics of programming languages used by many current data processing algorithms, we have built an integrated platform based on Javaweb whose methods are developed by multiple programming languages. In this article, we discussed the application of some programming languages in data processing algorithms, and how to build a mixed programming environment of Java and other languages. By adopting Java and other multi-language mixed programming methods, we have carried out the design of the business logic layer of the integrated platform for the realization of multiple programming languages, which overcomes the lack of support of the Java programming language in data processing algorithm programming. It meets the needs of users who only need to use the integrated platform to quickly run different methods written in multiple languages. Application examples and results show that the method of using Java and other languages to build integrated Web projects is efficient and feasible. © 2020 IEEE.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Smart Infusion and Web Based Monitoring Infusion Fluids in Isolation Room Based on Fuzzy logic 4

Smart Infusion and Web Based Monitoring Infusion Fluids in I...

引用

4th international conference on Electrical, Electronics, Informatics, and Vocational Education, ICE-ELINVO 2021

作者： Yamin, M. Habir, S.A. Nur Alam, W.O.S. Surimi, L. Department of Informatics Engineering Faculty of Engineering Halu Oleo University Kendari Indonesia Department of Electrical Engineering Faculty of Engineering Halu Oleo University Kendari Indonesia Department of Computer Science Faculty of Mathematics and Natural Sciences Halu Oleo University Kendari Indonesia

High-tech improvements with reference for health advance to develop numerous medical tools have been build to support doctors and nurses performances. this analysis research applied web-based system of infusion monitoring and microprosessor or microcontroller to grease performances of nursers and pharmaceutical helping in clinics or public health centers of the district. In this research, smart infusion web-based is builded for providing for the infusions by applying Node MCU and ESP 8266 Wi-Fi module. Smart Infusion aimed at helping nursers and medical helpers handling infusions of contagious complaint cases or Covid-19 cases to provide for infusion situation in isolation room or emergency room at hospital also public health centers at the district. Detecting the infusion weight, volume and percentage by applying a digital scale and the Load Cell sensors. this monitoring tools or devices is created to count the display from LCD and infusion weight the volumes and percentage of infusion with 3 colors alert display on the Website such as red color, yellow color, and green color depend on a web developed by php language, C programming with Arduino by C language embedded in microprocessor or microcontroller and based on fuzzy logic. Testing results have been achieved, monitoring device can work efficiently and completely when calculating weight, percentage, and volume. Scanning data of success accuracy of Load Cell sensors is 98,00%. © 2021 Institute of Physics Publishing. All rights reserved.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Numerically Robust Sequential Linear programming Algorithm for Reactive Power Optimization 4

A Numerically Robust Sequential Linear Programming Algorithm...

引用

4th international conference on Electrical Systems, Technology and Information (ICESTI)

作者： Lomi, Abraham Krismanto, Awan Uji Wartana, I. Made Sarkar, Dipu Natl Inst Technol Malang Dept Elect Engn Jl Raya KarangloKm 2 Malang 65143 Indonesia Natl Inst Technol Nagaland Dept Elect & Elect Engn Dimapur 797103 Nagaland India

A robust sequential primal-dual linear programming formulation for reactive power optimization is developed and discussed in this paper. the algorithm has the characteristic that no approximations or complicate control logic are required in the basic Sequential Linear programming (SLP) formulation as used by other SLP algorithms reported in the literature. Transmission loss minimization is used as the primary objective. A secondary feasibility improvement objective is used which results in better feasible solution in comparison with the loss minimization objective especially when the initial base case has over voltages. Modification in the proposed method to obtain the limited amount and limited movement of controller solution for real time application is also presented. the algorithm has been tested on Ward and Hale 6-Bus system.

关键词： Generator excitation power flow shunt reactive power transformer taps voltage stability

来源：评论

学校读者我要写书评

暂无评论

An ASP-Based Approach to Counterfactual Explanations for Classification 4th

An ASP-Based Approach to Counterfactual Explanations for Cla...

引用

4th international Joint conference on Web Reasoning and Rule Systems (RR) conference / international Web Rule Symposia (RuleML)

作者： Bertossi, Leopoldo Univ Adolfo Ibanez Fac Engn & Sci Santiago Chile

ISBN: (纸本)9783030579777;9783030579760

We propose answer-set programs that specify and compute counterfactual interventions as a basis for causality-based explanations to decisions produced by classification models. they can be applied with black-box models and models that can be specified as logic programs, such as rule-based classifiers. the main focus is on the specification and computation of maximum responsibility causal explanations. the use of additional semantic knowledge is investigated.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：