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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,252 篇 会议
5 册 图书
3 篇 期刊文献

馆藏范围

1,260 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

906 篇 工学
- 774 篇 计算机科学与技术...
- 614 篇 软件工程
- 169 篇 信息与通信工程
- 108 篇 生物工程
- 81 篇 控制科学与工程
- 73 篇 生物医学工程（可授...
- 66 篇 电气工程
- 49 篇 光学工程
- 46 篇 机械工程
- 35 篇 交通运输工程
- 31 篇 化学工程与技术
- 26 篇 安全科学与工程
- 24 篇 仪器科学与技术
- 24 篇 建筑学
396 篇 理学
- 229 篇 数学
- 114 篇 生物学
- 89 篇 物理学
- 50 篇 统计学（可授理学、...
- 35 篇 系统科学
- 27 篇 化学
216 篇 管理学
- 134 篇 管理科学与工程(可...
- 95 篇 图书情报与档案管...
- 76 篇 工商管理
167 篇 教育学
- 167 篇 教育学
64 篇 医学
- 63 篇 临床医学
- 58 篇 基础医学(可授医学...
- 35 篇 药学(可授医学、理...
- 24 篇 公共卫生与预防医...
44 篇 法学
- 42 篇 社会学
24 篇 经济学
- 24 篇 应用经济学
14 篇 农学
3 篇 文学
3 篇 军事学
1 篇 哲学
1 篇 艺术学

主题

83 篇 students
61 篇 computer program...
38 篇 education
23 篇 programming prof...
22 篇 programming
18 篇 machine learning
17 篇 computer science
15 篇 computer science...
14 篇 forecasting
13 篇 e-learning
13 篇 deep learning
12 篇 big data
12 篇 dynamic programm...
11 篇 computer vision
10 篇 computer languag...
10 篇 computational mo...
10 篇 python
9 篇 object oriented ...
9 篇 support vector m...
9 篇 teaching

机构

9 篇 college of compu...
8 篇 school of comput...
8 篇 college of manag...
6 篇 school of mathem...
5 篇 greater bay area...
5 篇 ministry of educ...
4 篇 yunnan key labor...
4 篇 henan engineerin...
4 篇 school of comput...
4 篇 school of comput...
4 篇 college of compu...
4 篇 department of co...
4 篇 department of co...
4 篇 china electronic...
4 篇 department of co...
4 篇 school of comput...
4 篇 henan key labora...
4 篇 key laboratory o...
4 篇 school of comput...
4 篇 universidad de c...

作者

5 篇 nagaraj p.
4 篇 queirós ricardo
4 篇 zhou tianwei
4 篇 xiaoke zhu
4 篇 p nagaraj
4 篇 iraola-real ivan
4 篇 xiaopan chen
4 篇 imran mohammad
4 篇 watanobe yutaka
4 篇 zhu xiaoke
4 篇 shahid mohammad
4 篇 zhang jun
4 篇 hasan faraz
4 篇 wang jun
4 篇 chen xiaopan
3 篇 zhang tao
3 篇 hongwei wang
3 篇 yang chunfeng
3 篇 zhengxing man
3 篇 he yang

语言

1,226 篇 英文
33 篇 其他
6 篇 中文

检索条件"任意字段=4th International Computer Programming Education Conference, ICPEC 2023"

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

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

详细简洁

排序：

4th international computer programming education conference, icpec 2023

4th International Computer Programming Education Conference,...

引用

4th international computer programming education conference, icpec 2023

ISBN: (纸本)9783959772907

the proceedings contain 14 papers. the topics discussed include: I’m Sorry Dave, I’m Afraid I Can’t Fix Your Code: on ChatGPT, CyberSecurity, and secure coding;LCSMAR, an AR based tool to inspect imperative programs;can a content management system provide a good user experience to teachers?;Sifu reloaded: an open-source gamified web-based CyberSecurity awareness platform;a gamified educational escape rooms’ framework for computer programming classes;a systematic review of formative assessment to support students learning computer programming;a new approach to perform individual assessments at higher education using gamification systems;NLP/AI based techniques for programming exercises generation;and data visualization for learning analytics indicators in programming teaching.

关键词：

来源：评论

学校读者我要写书评

暂无评论

FGPE - An Evolving Framework for Gamified programming Learning

FGPE - An Evolving Framework for Gamified Programming Learni...

引用

4th international conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual

作者： Queiros, Ricardo Swacha, Jakub Damasevicius, Robertas Maskeliunas, Rytis CRACS INESC TEC Porto Portugal Polytech Porto ESMAD Porto Portugal Univ Szczecin Szczecin Poland Kaunas Univ Technol Kaunas Lithuania

ISBN: (纸本)9783031834349;9783031834356

this paper presents an overview of the FGPE (Framework for Gamified programming education), a set of three Erasmus+ projects aimed at providing a framework for applying gamification to programming education. the overview will encompass all three phases of the framework development, emphasizing the gamification elements embedded in the design and implementation of the outputs of each phase. these outputs will be presented as a unified narrative, including the gamification framework for programming exercises, a format for defining gamification details for programming exercises and courses, the authoring tool for the gamification layer, a gamification Web service, a tutorial on gamifying programming exercises (guidance material), and a tool that automatically generates gamified programming exercises.

关键词： computer programming Gamification Automatic Assessment

来源：评论

学校读者我要写书评

暂无评论

STE(A)M 2025 - Proceedings of the 4th Yurii Ramskyi STE(A)M Workshop, co-located with 17th international conference on Mathematics, Science and Technology education, ICon-MaSTEd 2025

STE(A)M 2025 - Proceedings of the 4th Yurii Ramskyi STE(A)M ...

引用

4th Yurii Ramskyi STE(A)M Workshop, STE(A)M 2025

the proceedings contain 13 papers. the topics discussed include: initial view of the perception of STEM disciplines among students at school;start coding in every human language?;method for automated evaluation of test tasks correspondence to semantic structure of STEM-disciplines educational materials using NLP;mining compilation data to better prepare and assign K-12 coding mentors;the role of visualization and analysis of biological data in STEM education using graph structures;experience in developing the educational program ‘3D Print Lab. Modeling Workshop’ for the development of adults’ STEAM skills;STEAM+H: a model for integrating humanities and sustainable development in the STEAM educational paradigm;and teaching programming for future information technology specialists based on end to-end design of computer games.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

4th International Conference on Numerical Computations: Theo...

引用

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

ISBN: (纸本)9783031812439

the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal Control Problem for Practical Application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the Control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: Application to the Solution of Nonlinear Equation Systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large Systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal Control of Assets and Liabilities by a Bank;optimal Control for Stochastic Multi-agent Systems With the Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite programming (GSIP);miniaturisation of Binary Classifiers through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear programming Under Interval Uncertainty;machine Learn

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

4th International Conference on Numerical Computations: Theo...

引用

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

ISBN: (纸本)9783031812408

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

4th International Conference on Numerical Computations: Theo...

引用

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

ISBN: (纸本)9783031812460

关键词：

来源：评论

学校读者我要写书评

暂无评论

Influence of ChatGPT on programming Code Generation: A Case Study of the Technical University of Manabi 4th

Influence of ChatGPT on Programming Code Generation: A Case ...

引用

4th international conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual

作者： Palacios, Daniel Rivadeneira, Lucia Tech Univ Manabi Portoviejo 130103 Ecuador

ISBN: (纸本)9783031832093;9783031832109

Since 2021 the proliferation of generative artificial intelligence tools, notably ChatGPT, has experienced considerable diffusion, particularly within the context of higher education institutions. Both lecturers and students have embraced the use of ChatGPT to support academic and student activities. this study examines the influence of ChatGPT on the teaching and learning of programming from the perspective of lecturers and students. Using the Faculty of computer Science at the Technical University of Manabi as the case study, semi-structured interviews were conducted with students from introductory, intermediate, and advanced programming courses, as well as with lecturers teaching programming subjects, exploring dimensions of usability, user experience, benefits, challenges, and ethical implications. Findings show that ChatGPT has the potential to enhance understanding of concepts and practical problem-solving in programming. However, it may also foster technological dependency and dishonest academic practices if not properly monitored and guided. the implications of this study are both theoretical and practical, as it presents evidence concerning the students' ability to discern accuracy of answers provided by ChatGPT, while providing understanding into how ChatGPT influences the academic development of programming in university courses. this can serve as a basis for designing teaching strategies and educational policies in higher education institutions.

关键词： ChatGPT Generative artificial intelligence programming Higher education institutions

来源：评论

学校读者我要写书评

暂无评论

Machine Learning Techniques for Branch-and-Cut Methods: the Selection of Cutting Planes 4th

Machine Learning Techniques for Branch-and-Cut Methods: The...

引用

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

作者： Giallombardo, Giovanni Miglionico, Giovanna Sammarra, Marcello Arcavacata Italy Cosenza Italy

ISBN: (纸本)9783031812408

the selection of cuts to be added to the current LP relaxation is one of the most critical task in Branch-and-Cut methods, since it strongly affects the performances of the algorithm. Recently, machine learning techniques have become popular to define effective cut selection strategies. In this paper we explore the possibility of selecting cuts by ranking them via support vector regression. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Enhancing Gamified LMS with the Integration of Games Experiences

Enhancing Gamified LMS with the Integration of Games Experie...

引用

4th international conference on Advanced Research in Technologies Information Innovation and Sustainability-ARTIIS-Annual

作者： Queiros, Ricardo CRACS INESC TEC Porto Portugal Polytech Porto ESMAD Porto Portugal

ISBN: (纸本)9783031834349;9783031834356

this paper presents the guidelines for game experiences integration into Learning Management Systems (LMS) through the IMS LTI (Learning Tools Interoperability) specification. At the same time, it also introduces a dynamic scoring formula, based on a given taxonomy, that goes beyond traditional metrics, allowing for the inclusion of any number of game elements, such as levels, challenges, hints used, and time taken, within the game framework. these elements are assigned weight factors, which can be configured by instructors within the LMS platform, facilitating personalized assessment criteria tailored to specific learning objectives. In order to apply these approach in a real educational scenario, an Escape Room (ER) for math skills testing was used. Using the LTI specification for integration in combination with the dynamic scoring formula provides a comprehensive assessment of student performance, giving a single score which will be vital to enhance the LMS gamified workflow. this research contributes to the field of gamification in education, offering insights into the integration of (serious or regular) games in LMS platforms.

关键词： Code generation computer programming Gamification

来源：评论

学校读者我要写书评

暂无评论

Inside the Box: 0–1 Linear programming Under Interval Uncertainty 4th

Inside the Box: 0–1 Linear Programming Under Interval Unce...

引用

4th international conference on Numerical Computations: theory and Algorithms, NUMTA 2023

作者： Garajová, Elif Hladík, Milan Charles University Faculty of Mathematics and Physics Department of Applied Mathematics Malostranské nám. 2/25 Prague118 00 Czech Republic Prague University of Economics and Business Faculty of Informatics and Statistics Department of Econometrics nám. W. Churchilla 1938/4 Prague130 67 Czech Republic

ISBN: (纸本)9783031812408

Many practical optimization problems require models that are able to reflect uncertainty or inexactness inherently present in the data. Interval linear programming provides a model for handling uncertain optimization problems, in which one assumes that only lower and upper bounds on the input data are available and the data can be independently perturbed within the intervals determined by the given bounds. Apart from the linear programming models with continuous variables, which have been explored by various authors, intervals also often arise in discrete optimization problems. We adopt the model of integer linear programming with binary variables, in which the constraint matrix, objective vector and right-hand-side vector are affected by interval uncertainty. For this model, only a few works investigating its properties can be found in the literature. In this paper, we discuss the main concepts of feasibility and optimality in the model and discuss their properties. Namely, we address the problem of computing the set and the range of optimal values and characterizing weak optimality of solutions. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：