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 program...
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 computerprogramming classes;a systematic review of formative assessment to support students learning computerprogramming;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.
this paper presents an overview of the FGPE (Framework for Gamified programmingeducation), a set of three Erasmus+ projects aimed at providing a framework for applying gamification to programmingeducation. the overv...
详细信息
ISBN:
(纸本)9783031834349;9783031834356
this paper presents an overview of the FGPE (Framework for Gamified programmingeducation), a set of three Erasmus+ projects aimed at providing a framework for applying gamification to programmingeducation. 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.
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 tes...
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.
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 A...
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 Withthe 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
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 A...
ISBN:
(纸本)9783031812408
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 Withthe 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
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 A...
ISBN:
(纸本)9783031812460
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 Withthe 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
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 s...
详细信息
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 boththeoretical 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.
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 techni...
详细信息
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 dy...
详细信息
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 withthe 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.
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 ...
详细信息
暂无评论