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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是3101-3110 订阅

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

详细简洁

排序：

Transforming Children's Python Turtle Graphics Learning with LLM Technology: A Design Proposal

Transforming Children's Python Turtle Graphics Learning with...

引用

STEM Education conference (iSTEM-Ed), international

作者： Mondheera Pituxcoosuvarn Yohei Murakami Faculty of Information Science and Engineering Ritsumeikan University Osaka Japan

STEM education, particularly programming and coding, is of great importance in today9;s technological landscape. Turtle graphics, an effective tool for teaching programming concepts to children, is widely used in l... 详细信息

ISBN: (数字)9798350365979

ISBN: (纸本)9798350365986

STEM education, particularly programming and coding, is of great importance in today's technological landscape. Turtle graphics, an effective tool for teaching programming concepts to children, is widely used in languages such as Python, known for its simplicity and readability. However, coding can be challenging for young learners, necessitating individualized support from teachers. Large language models (LLMs), which are already employed in debugging, present an opportunity to enhance educational support systems by providing personalized hints without revealing answers, thus preserving the educational value. this proposal aims to explore the use of LLMs to generate tailored hints and explanations for different age groups and skill levels, creating a dynamic and responsive learning environment. Additionally, the proposed system includes task creation that adapts to the student's previous performance and completed tasks, ensuring continuous and appropriately challenging learning experiences. the goal of our research is to design a support system that leverages LLM technology to improve children and young students' learning in Python Turtle graphics. this system promises personalized educational support and adaptive task generation, enhancing the overall learning experience for young programmers. Future studies are necessary to test this system with real users, evaluate its effectiveness, and refine its design based on practical feedback.

关键词： Graphics Adaptive systems Education User interfaces Encoding Proposals programming profession

来源：评论

学校读者我要写书评

暂无评论

CodeSafari: A Customized Mobile Solution for Introducing programming Concepts to Children

CodeSafari: A Customized Mobile Solution for Introducing Pro...

引用

international conference on Information Technology Research (ICITR)

作者： Fahmi M.F.A. Sanjeevan M.C.M.A. Samanthi E.R. Siriwardana Mihiri Samaraweera Department of Computer Science and Software Engineering Sri Lanka Institute of Information Technology Malabe Sri Lanka Department of Information Technology Sri Lanka Institute of Information Technology Malabe Sri Lanka

Following the COVID-19 pandemic, Sri Lanka9;s economy faced significant setbacks, particularly in key sectors such as tea exports, garment manufacturing, and tourism, which experienced severe downturns. However, th... 详细信息

ISBN: (数字)9798331511425

ISBN: (纸本)9798331511432

Following the COVID-19 pandemic, Sri Lanka's economy faced significant setbacks, particularly in key sectors such as tea exports, garment manufacturing, and tourism, which experienced severe downturns. However, the IT sector showed resilience amid these challenges, highlighting its potential to drive economic growth. Despite this potential, Sri Lanka has struggled to capitalize fully on global demand for IT services due to a skills gap among Sri Lankan youth compared to their Indian counterparts. India's IT outsourcing industry has thrived partly because of the early involvement of young professionals in open-source projects such as the Android Open Source Project (AOSP), Linux Kernel and React. this trend underscores the importance of foundational programming education to develop competitive technical skills from a young age. To address this gap, authors developed a mobile learning solution CodeSafari, designed to introduce core programming concepts data types, conditional statements, and loops to young Sri Lankan learners. the platform uses Personalized Storytelling and a Customized Kids Assisting System in students' native language, making programming more accessible. programming training with the app improved test scores for 58 percent of participants. By addressing the skills gap early, this research aims to build a strong IT foundation for Sri Lankan students, positioning them to compete more effectively in the global outsourcing market. these findings underscore the essential role of programming education in fostering economic resilience and preparing a workforce capable of thriving in an evolving technology landscape.

关键词： Training Economics Pandemics Prototypes Software Outsourcing Usability programming profession Testing Resilience

来源：评论

学校读者我要写书评

暂无评论

Reasoning about strategies of multi-agent programs 10

Reasoning about strategies of multi-agent programs

引用

Proceedings of the 9th international conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

作者： Mehdi Dastani Wojciech Jamroga Utrecht University Utrecht the Netherlands University of Luxembourg and Clausthal University of Technology

ISBN: (纸本)9780982657119

Verification of multi-agent programs is a key problem in agent research and development. this paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while most (if not all) multi-agent programming frameworks use asynchronous semantics where activities of different agents are interleaved. Moreover, unlike in ATL, our agent programs do not have perfect information about the current global state of the system. they are not appropriate subjects for modal epistemic logic either (since they do not know the global model of the system). We begin by adapting the semantics of ATL to the situation at hand; then, we consider the verification problem in the new setting and present some preliminary results.

关键词： strategic logic model checking agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Inductive logic programming by instance patterns 07

引用

Proceedings of the 9th international conference on Practical Aspects of Declarative Languages

作者： Chongbing Liu Enrico Pontelli Dept. Computer Science New Mexico State University

ISBN: (纸本)9783540696087

Effectiveness and efficiency are two most important properties of ILP approaches. For both top-down and bottom-up search-based approaches, greater efficiency is usually gained at the expense of effectiveness. In this paper, we propose a bottom-up approach, called ILP by instance patterns, for the problem of concept learning in ILP. this approach is based on the observation that each example has its own pieces of description in the background knowledge, and the example together with these descriptions constitute a instance of the concept subject to learn. Our approach first captures the instance structures by patterns, then constructs the final theory purely from the patterns. On the effectiveness aspect, this approach does not assume determinacy of the learned concept. On the efficiency aspect, this approach is more efficient than existing ones due to its constructive nature, the fact that after the patterns are obtained, both the background and examples are not needed anymore, and the fact that it does not perform coverage test and needs no theorem prover.

关键词： patterns concept instance inductive logic programming

来源：评论

学校读者我要写书评

暂无评论

Selective Harmonic Elimination for 17-Level Reduced Switch Multilevel Inverter Using Salp Swarm Algorithm

Selective Harmonic Elimination for 17-Level Reduced Switch M...

引用

Electronic and Electrical Engineering and Intelligent System (ICE3IS), international conference on

作者： Mohd Hafiz Arshad Baharuddin Ismail Zainuddin Mat Isa Syahrun Nizam Md Arshad Yessi Jusman Faculty of Electrical Engineering & Technology Universiti Malaysia Perlis (UniMAP) Arau Perlis Kantor Jurusan Teknik Elektro Universitas Muhammadiyah Yogyakarta Yogyakarta Indonesia

ISBN: (数字)9798350378368

ISBN: (纸本)9798350378375

this paper introduces a groundbreaking approach for selective harmonic elimination (SHE) in a 17-level reduced switch multilevel inverter, using the innovative Salp Swarm Algorithm (SSA). this method is carefully designed to minimize harmonic distortion while ensuring the desired output voltage. By leveraging SSA, three objective functions are optimized to target and eliminate specific harmonics: the 3rd, 5th, 7th, 9th, 11th, 13th, and 15th harmonics. the computational and simulation results underscore the remarkable efficacy of the proposed SHE method, with Objective Function 2 (OF2) demonstrating superior performance. the results indicate that the selected harmonics are promptly eliminated while the proposed technique performs on par or better than the other available methods, in which it requires fewer switches. this development paves the way for the new technique's implementation in high-power inverters' subsequent generation as the superior method based on its improved effectiveness as well as reliability.

关键词： Total harmonic distortion Wind energy Simulation Switches Voltage Harmonic analysis Multilevel inverters Linear programming Topology Switching circuits

来源：评论

学校读者我要写书评

暂无评论

Software Toolkit for Visualization and Process Selection for Modular Scalable Manufacturing of 3D Micro-Devices 40th

Software Toolkit for Visualization and Process Selection for...

引用

40th Anniversary international conference on Information Systems Architecture and Technology (ISAT)

作者： Scholz, Steffen Elkaseer, Ahmed Salem, Mahmoud Hagenmeyer, Veit Karlsruhe Inst Technol Inst Automat & Appl Informat Karlsruhe Germany Karlsruhe Nano Micro Facil Hermann von Helmholtz Pl 1 Karlsruhe Germany Port Said Univ Fac Engn Port Said Egypt Ain Shams Univ Fac Engn Cairo Egypt

ISBN: (纸本)9783030304409;9783030304393

SMARTLAM is a European funded research project, intended to develop a modular manufacturing platform and capability database, for three-dimensional integration/manufacturing of component parts constructed from laminated polymer films. To enable communication/interaction between SMARTLAM integrated manufacturing modules and the capability database, a software toolkit has to be developed, which must comply with the modularity concept of the SMARTLAM manufacturing system, and with the capability to integrate changes in the manufacturing platform, e.g. adding a new manufacturing module. this paper presents the implementation of the SMARTLAM software toolkit, i.e. the software and graphical user interface designed and developed to conform to these requirements, which allows for automated process chain selection while enabling the operator to load and modify the selected process chains and to alter parameters' values. the developed software toolkit was tested and it was found able to compile and execute complete manufacturing recipes with the given equipment and it was directly linked to the SMARTLAM database. In addition to its ability to exchange data between different manufacturing modules, it gives the users the opportunity to modify the manufacturing processes in real time. the main result of the overall software development is a fully functional and a commercially applicable solution for the design, planning, configuration and coordination of a modular manufacturing platform for micro-devices with minimum cost/time of the identified process chain. As a validation example, a flexible lighting device demonstrator (DLED) was manufactured using the SMARTLAM platform, and the software toolkit was successfully utilized to visualize and select the appropriate production process chain.

关键词： Software toolkit Socket programming Modular manufacturing Process visualization Process selection

来源：评论

学校读者我要写书评

暂无评论

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on 9th May, 2023, at Los Angeles, USA

FCCM 2023 PhD Student Forum Compendium of Abstracts: Held on...

引用

Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)

作者： Debjit Pal

For the first time in its two decades of history, the international Symposium On Field-Programmable Custom Computing Machines (FCCM) is going to host a Ph.D. Forum for the graduate students working toward their Ph.D. to present and discuss their dissertation research with broadly defined communities related to computing that exploit the unique features and capabilities of FPGAs and other reconfigurable hardware. the forum will offer graduate students an opportunity to present their ongoing dissertation research to the entire FCCM conference audience, discuss with experts in academia and industry, and make useful contacts regarding future career opportunities in an informal setting. the goal of the FCCM Ph.D. Forum is to provide a comprehensive venue for students to better prepare for their research and career in the reconfigurable computing domain and cross-pollinate ideas with their peers from compiler architecture, algorithms, and programming languages – all while enjoying the FCCM conference and many associated workshops, tutorials, and demo night.

关键词：

来源：评论

学校读者我要写书评

暂无评论

MQTT-Enabled Smart Door Access System: Design and Implementation Using NodeMCU ESP 8266 and HiveMQ

MQTT-Enabled Smart Door Access System: Design and Implementa...

引用

international conference on Computing, Engineering, and Design (ICCED)

作者： Ahmad Anwar Zainuddin Rizal Mohd Nor Amir ’Aatieff Amir Hussin Muhammad Nurzikry Mohd Sazali Department of Computer Science Kuliyyah of ICT International Islamic University Malaysia Kuala Lumpur Malaysia Department of Electrical and Computer Engineering Kuliyyah of Engineering International Islamic University Malaysia Kuala Lumpur Malaysia

the security of one’s residence or property is an essential consideration that warrants careful attention to safeguard the premises and its contents. It has become increasingly apparent today that physical key door locks are susceptible to damage and can be compromised by unauthorized individuals. the inherent vulnerability of physical key door locks stems from their susceptibility to misplaced keys and duplication, as individuals are required to always carry them. this work presents a novel Internet of things (IoT) enabled smart door access system designed to improve the security of homes or premises. the system offers keyless access to individuals who have been granted authorization. the system’s architectural design incorporates the utilization of a NodeMCU ESP 8266 microcontroller to oversee door operations. Access control functionality is facilitated through the implementation of the Virtuino IoT application, which enables the unlocking of doors using smartphones. Additionally, a MQTT broker, specifically the HiveMQ, is implemented to facilitate effective machine-to-machine communication within the IoT components. the rationale behind the adoption of this IoT-based solution stems from the inherent weaknesses of traditional physical key door locks, which are prone to damage and replication, consequently jeopardizing security measures. the proposed system aims to address these limitations by rendering traditional keys obsolete, thereby improving both security and convenience for users. the system has undergone comprehensive development, testing, and operationalization, resulting in a highly functional system. the success rate of all functions has consistently achieved a 100% level, which serves as an indication of the system’s robustness and effectiveness. In addition, the practical implementation of the system in the Centre of Excellence for Cybersecurity (CoExCys) office at Kuliyyah of ICT IIUM exhibited smooth operation and the absence of any operational chall

关键词：

来源：评论

学校读者我要写书评

暂无评论

Transformative Development of Vocational Education Management through thai-Meister Framework: A Case Study of Kampong Chheuteal Institute of Technology, Kingdom of Cambodia

Transformative Development of Vocational Education Managemen...

引用

STEM Education conference (iSTEM-Ed), international

作者： Chollada Pansong Songtham Deewanichsakul Buncha Sansoda Arnon Niyomphol Sunheng Chhlen Kim Sochea Udomsak Jantontapo Department of Technical Education Faculty of Technical Education Rajamangala University of Technology Thanyaburi Pathum Thani Thailand Department of Electrical Kampong Chheuteal Institute of Technology Kampong Thom Cambodia Department of Electronics Kampong Chheuteal Institute of Technology Kampong Thom Cambodia

ISBN: (数字)9798350365979

ISBN: (纸本)9798350365986

this study aimed to enhance vocational education management using the thai-Meister model at Kampong Chheuteal Institute of Technology (KCIT), Kingdom of Cambodia. the process involved: 1) Developing the vocational education curriculum, 2) Procuring equipment, and machinery, and designing laboratory layouts, 3) Conducting training sessions for KCIT teachers, 4) Creating teaching materials aligned with thai-Meister guidelines, and 5) Executing the teaching and learning process. the sample comprised 17 undergraduate students specializing in Electrical major at KCIT. Research tools included: 1) Lesson plans for the Electrical System Installation course, 2) Teaching aids and materials such as handouts, job sheets, practical electrical system installation experiments, and PLC programming resources, 3) theoretical knowledge assessment forms, and 4) Practical skills assessment forms. Findings revealed an 82.35% pass rate among all students in the competency test, with an average score of 65.00% for both theory and practical components.

关键词： Training Education Layout Machinery programming profession STEM Guidelines

来源：评论

学校读者我要写书评

暂无评论

Optimal Virtual Network Function Placement in Chains Using Backups with Availability Schedule

Optimal Virtual Network Function Placement in Chains Using B...

引用

IEEE international conference on Cloud Networking (CLOUDNET)

作者： Rui Kang Fujun He Eiji Oki Graduate School of Informatics Kyoto University Kyoto Japan

ISBN: (数字)9781728194868

ISBN: (纸本)9781728194875

A suitable virtual network function (VNF) placement considering a node availability schedule extends service continuous serviceable time by suppressing service interruption caused by function reallocation and node unavailabilities. However, function placement cannot avoid service interruption caused by node unavailabilities. this paper considers a primary and backup VNF placement model to avoid service interruption caused by node unavailabilities by using backup functions. the considered backup functions have a period of startup time for preparation before they can be used and the number of them is limited. the proposed model is formulated as an integer linear programming problem to place the primary and backup VNFs based on the availability schedule at continuous time slots. We aim to maximize the minimum number of continuously available time slots in all service function chains (SFCs) over the deterministic availability schedule. We obverse that the proposed model considering the limited number of backup functions outperforms baseline models in terms of the minimum number of longest continuous available time slots in all SFCs. We introduce an algorithm to estimate the number of key unavailabilities at each time slot, which can find the unavailable nodes which are the bottlenecks to increase the service continuous available time at each time slot.

关键词： Schedules Cloud computing Service function chaining conferences Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 307 308 309 310 311 312 313 314 315 316 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：