首页 > 最新文献

Procedia Computer Science最新文献

英文 中文
Employee monitoring system with computer vision: Face and activity recognition 具有计算机视觉的员工监控系统:面部和活动识别
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.08.288
Nathanael Deciano Sugiharto , Darian Elbert , Ivan Sebastian Edbert
Vision-based surveillance system is used by major counties to monitor public spaces, namely face recognition to identify people and activity recognition to detect unwanted behaviour. The paper proposes a flexible and lightweight monitoring pipeline that runs both face and activity recognition at a time and is aimed for convenient deployment on closed spaces like schools or offices. The pipeline leverages popular vision models such as YOLOv8 for object detection, InsightFace for face recognition, and a vision- language model, CLIP, for zero-shot activity recognition that won’t need any model training. Testing the accuracy is done using two office footages, each with different complexities of camera angle and crowd distribution, one being far more complex than the other. The result is that YOLOv8 peaked at 95,73% accuracy, InsightFace at 96,56% accuracy, and CLIP at 53,25%. The testing provided an insight that the pipeline’s accuracy deteriorates at more complex footages with varying distances and angles of the object, and further research are needed on improving the pipeline’s optimization, known faces processing, and camera positioning.
主要国家使用基于视觉的监控系统来监控公共场所,即人脸识别来识别人,活动识别来检测不想要的行为。该论文提出了一种灵活且轻量级的监控管道,可以同时运行面部和活动识别,旨在方便地部署在学校或办公室等封闭空间。该管道利用了流行的视觉模型,如用于对象检测的YOLOv8,用于人脸识别的InsightFace,以及用于不需要任何模型训练的零射击活动识别的视觉语言模型CLIP。使用两个办公室的镜头来测试准确性,每个镜头都有不同的摄像机角度和人群分布的复杂性,其中一个比另一个复杂得多。结果是,YOLOv8的峰值准确率为95.73%,InsightFace的峰值准确率为96.56%,CLIP的峰值准确率为53.25%。测试表明,在物体距离和角度不同的更复杂的图像中,管道的精度会下降,需要进一步研究如何改进管道的优化、已知人脸处理和相机定位。
{"title":"Employee monitoring system with computer vision: Face and activity recognition","authors":"Nathanael Deciano Sugiharto ,&nbsp;Darian Elbert ,&nbsp;Ivan Sebastian Edbert","doi":"10.1016/j.procs.2025.08.288","DOIUrl":"10.1016/j.procs.2025.08.288","url":null,"abstract":"<div><div>Vision-based surveillance system is used by major counties to monitor public spaces, namely face recognition to identify people and activity recognition to detect unwanted behaviour. The paper proposes a flexible and lightweight monitoring pipeline that runs both face and activity recognition at a time and is aimed for convenient deployment on closed spaces like schools or offices. The pipeline leverages popular vision models such as YOLOv8 for object detection, InsightFace for face recognition, and a vision- language model, CLIP, for zero-shot activity recognition that won’t need any model training. Testing the accuracy is done using two office footages, each with different complexities of camera angle and crowd distribution, one being far more complex than the other. The result is that YOLOv8 peaked at 95,73% accuracy, InsightFace at 96,56% accuracy, and CLIP at 53,25%. The testing provided an insight that the pipeline’s accuracy deteriorates at more complex footages with varying distances and angles of the object, and further research are needed on improving the pipeline’s optimization, known faces processing, and camera positioning.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"269 ","pages":"Pages 362-371"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Ant Colony Optimization approach to solving the Vertex Separator Problem 一种求解顶点分离问题的蚁群算法
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.09.182
S. Amihăesei , E.F. Olariu , C. Frăsinaru
This article presents an Ant Colony Optimization (ACO) algorithm, enhanced with problem-specific heuristics, for solving the Vertex Separator Problem (VSP). The VSP aims to find three disjoint subsets A, B, and C from the vertex set V of a graph G = (V, E), such that C forms a separator between A and B while minimizing |C| under cardinality constraints on A and B. The proposed method uses a colony of ants that construct solutions by assigning vertices probabilistically based on pheromone trails and problem-specific heuristics. A local search is introduced to refine these solutions, while adaptive pheromone updates and simulated annealing components are added to help escape local minima. Current studies concentrate on integer linear programming or heuristic approaches. This article details a novel metaheuristic solution, based on multiple heuristic functions, which are key to guiding the search process. We compare our solution to a greedy algorithm and heuristics from previous studies. The initial results proved encouraging, with ACO achieving better results compared to state-of-the-art heuristics on 15 of the 62 benchmarked problem instances.
本文提出了一种蚁群优化(ACO)算法,增强了问题特定启发式,用于解决顶点分隔问题(VSP)。VSP旨在从图G = (V, E)的顶点集V中找到三个不相交的子集A, B和C,使得C在A和B的基数约束下形成A和B之间的分隔符,同时最小化|C|。该方法使用一群蚂蚁,通过基于信息素轨迹和问题特定启发式的概率分配顶点来构建解决方案。引入局部搜索来改进这些解决方案,同时添加自适应信息素更新和模拟退火组件来帮助逃避局部最小值。目前的研究集中在整数线性规划或启发式方法。本文详细介绍了一种新的基于多个启发式函数的元启发式解决方案,这是指导搜索过程的关键。我们将我们的解决方案与先前研究中的贪心算法和启发式算法进行比较。最初的结果令人鼓舞,在62个基准问题实例中的15个上,与最先进的启发式方法相比,蚁群算法取得了更好的结果。
{"title":"An Ant Colony Optimization approach to solving the Vertex Separator Problem","authors":"S. Amihăesei ,&nbsp;E.F. Olariu ,&nbsp;C. Frăsinaru","doi":"10.1016/j.procs.2025.09.182","DOIUrl":"10.1016/j.procs.2025.09.182","url":null,"abstract":"<div><div>This article presents an Ant Colony Optimization (ACO) algorithm, enhanced with problem-specific heuristics, for solving the Vertex Separator Problem (VSP). The VSP aims to find three disjoint subsets A, B, and C from the vertex set V of a graph G = (V, E), such that C forms a separator between A and B while minimizing |C| under cardinality constraints on A and B. The proposed method uses a colony of ants that construct solutions by assigning vertices probabilistically based on pheromone trails and problem-specific heuristics. A local search is introduced to refine these solutions, while adaptive pheromone updates and simulated annealing components are added to help escape local minima. Current studies concentrate on integer linear programming or heuristic approaches. This article details a novel metaheuristic solution, based on multiple heuristic functions, which are key to guiding the search process. We compare our solution to a greedy algorithm and heuristics from previous studies. The initial results proved encouraging, with ACO achieving better results compared to state-of-the-art heuristics on 15 of the 62 benchmarked problem instances.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"270 ","pages":"Pages 630-639"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449111","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimizing Productivity: Internet of Things based Workload and Stress Monitoring using Galvanic Skin Response (GSR) Sensor Analysis and Microcontroller Arduino Uno 优化生产力:基于物联网的工作负载和压力监测使用电皮肤反应(GSR)传感器分析和微控制器Arduino Uno
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.08.294
Filo Alvian Ongky , Michael Efren Kartiyoso , Sie Reinhart Nathan Gunawan , Adhe Lingga Dewi , Ventje Jeremias Lewi Engel
This study was conducted with the aim of testing and implementing a microcontroller-based environmental monitoring system that measures temperature, humidity, and galvanic skin response (GSR) in real time resulting from changes in skin resistance due to sweat glands triggered by a person’s emotional condition. This system consists of a DHT11 sensor to detect temperature and humidity, and a GSR sensor to measure the level of skin conductivity as an indicator of a person’s stress or emotions. The data obtained is then displayed on a small LCD screen embedded in the top of the device. The experiment was carried out by the researcher inserting both of his fingers and the researcher while watching films with different genres to produce different emotional changes and the GSR sensor will work to detect changes in skin resistance resulting from the sweat glands and accumulate the results into a value. Then, variations in data obtained from experiments that have been carried out several times will be processed and the results obtained are in the form of a graph containing the interval of ups and downs of emotions based on time and the value of the GSR sensor and it is concluded how the situation in the surrounding conditions can affect changes in a person’s emotional condition.
本研究的目的是测试和实现一个基于微控制器的环境监测系统,该系统可以实时测量温度、湿度和皮肤电反应(GSR),这些反应是由人的情绪状况引发的汗腺引起的皮肤阻力变化引起的。该系统包括一个DHT11传感器,用于检测温度和湿度,以及一个GSR传感器,用于测量皮肤电导率水平,作为一个人的压力或情绪的指标。然后,获得的数据显示在嵌入设备顶部的小LCD屏幕上。实验是由研究人员将他的手指和研究人员同时插入,同时观看不同类型的电影,产生不同的情绪变化,GSR传感器将检测汗腺引起的皮肤阻力变化,并将结果累积成一个值。然后,对多次实验得到的数据的变化进行处理,得到的结果以图表的形式包含情绪起伏的间隔时间和GSR传感器的值,并得出周围条件下的情况如何影响一个人的情绪状态的变化。
{"title":"Optimizing Productivity: Internet of Things based Workload and Stress Monitoring using Galvanic Skin Response (GSR) Sensor Analysis and Microcontroller Arduino Uno","authors":"Filo Alvian Ongky ,&nbsp;Michael Efren Kartiyoso ,&nbsp;Sie Reinhart Nathan Gunawan ,&nbsp;Adhe Lingga Dewi ,&nbsp;Ventje Jeremias Lewi Engel","doi":"10.1016/j.procs.2025.08.294","DOIUrl":"10.1016/j.procs.2025.08.294","url":null,"abstract":"<div><div>This study was conducted with the aim of testing and implementing a microcontroller-based environmental monitoring system that measures temperature, humidity, and galvanic skin response (GSR) in real time resulting from changes in skin resistance due to sweat glands triggered by a person’s emotional condition. This system consists of a DHT11 sensor to detect temperature and humidity, and a GSR sensor to measure the level of skin conductivity as an indicator of a person’s stress or emotions. The data obtained is then displayed on a small LCD screen embedded in the top of the device. The experiment was carried out by the researcher inserting both of his fingers and the researcher while watching films with different genres to produce different emotional changes and the GSR sensor will work to detect changes in skin resistance resulting from the sweat glands and accumulate the results into a value. Then, variations in data obtained from experiments that have been carried out several times will be processed and the results obtained are in the form of a graph containing the interval of ups and downs of emotions based on time and the value of the GSR sensor and it is concluded how the situation in the surrounding conditions can affect changes in a person’s emotional condition.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"269 ","pages":"Pages 421-430"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Improving Indonesian sign language recognition using lightweight deep learning architectures with knowledge distillation method 基于知识蒸馏方法的轻量级深度学习架构改进印尼语手语识别
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.09.005
Devan Lucian , Christian Alexander Alfen , Yosua Raffel Istianto , Anderies
Bahasa Isyarat Indonesia (BISINDO) is a sign language that aids in communicating with Indonesia’s deaf community by providing visual communication using hand movement and gestures. Unfortunately, advancements in this field remain stagnant and the quality of life of the Deaf and Hard-Hearing community in Indonesia lack progress, especially in the development of efficient computer models for sign language recognition to facilitate communication. In this paper, we aim to develop and compare several lightweight deep learning-based sign language recognition models using knowledge-distillation (KD), a model compression technique that distills knowledge from bigger deep learning models in various forms to a much smaller and more efficient lightweight models. The result from our experiments have shown EfficientNetB5’s superior performance in terms of pure effectiveness with the highest overall accuracy of 96.94% with an F1-Score of 0.9693, alongside its effectiveness at distilling knowledge to several lightweight deep learning models. As for the lightweight distilled models, MobileNetV3 displayed its excellent ability at balancing efficiency and effectiveness, where the distilled model trained with our KD loss function achieved an accuracy of 83.45% and F1-Score of 0.8331 with only a model size of 3.8 MB and 0.1186 GFLOPs, whereas ShuffleNetV2 provides the most effective result out of all student models, as the distilled model achieved an accuracy of 89.87% and F1-Score of 0.8987 with a slightly higher model size of 6.4 MB and 0.5391 GLOPs compared to MobileNetV3.
印尼语(BISINDO)是一种手语,通过手部动作和手势提供视觉交流,帮助与印尼聋人社区沟通。不幸的是,这一领域的进展仍然停滞不前,印度尼西亚聋人和重听社区的生活质量缺乏进展,特别是在开发有效的手语识别计算机模型以促进交流方面。在本文中,我们的目标是使用知识蒸馏(KD)开发和比较几个轻量级的基于深度学习的手语识别模型,KD是一种模型压缩技术,可以将各种形式的大型深度学习模型中的知识提取到更小、更高效的轻量级模型中。我们的实验结果表明,effentnetb5在纯有效性方面表现优异,整体准确率最高,达到96.94%,F1-Score为0.9693,同时它在将知识提炼到几个轻量级深度学习模型方面也很有效。对于轻量级的蒸馏模型,MobileNetV3在平衡效率和有效性方面表现出了出色的能力,其中使用我们的KD损失函数训练的蒸馏模型在模型大小为3.8 MB和0.1186 GFLOPs的情况下获得了83.45%的准确率和0.8331的F1-Score,而ShuffleNetV2在所有学生模型中提供了最有效的结果。与MobileNetV3相比,蒸馏模型的准确率为89.87%,F1-Score为0.8987,模型大小为6.4 MB, GLOPs为0.5391。
{"title":"Improving Indonesian sign language recognition using lightweight deep learning architectures with knowledge distillation method","authors":"Devan Lucian ,&nbsp;Christian Alexander Alfen ,&nbsp;Yosua Raffel Istianto ,&nbsp;Anderies","doi":"10.1016/j.procs.2025.09.005","DOIUrl":"10.1016/j.procs.2025.09.005","url":null,"abstract":"<div><div>Bahasa Isyarat Indonesia (BISINDO) is a sign language that aids in communicating with Indonesia’s deaf community by providing visual communication using hand movement and gestures. Unfortunately, advancements in this field remain stagnant and the quality of life of the Deaf and Hard-Hearing community in Indonesia lack progress, especially in the development of efficient computer models for sign language recognition to facilitate communication. In this paper, we aim to develop and compare several lightweight deep learning-based sign language recognition models using knowledge-distillation (KD), a model compression technique that distills knowledge from bigger deep learning models in various forms to a much smaller and more efficient lightweight models. The result from our experiments have shown EfficientNetB5’s superior performance in terms of pure effectiveness with the highest overall accuracy of 96.94% with an F1-Score of 0.9693, alongside its effectiveness at distilling knowledge to several lightweight deep learning models. As for the lightweight distilled models, MobileNetV3 displayed its excellent ability at balancing efficiency and effectiveness, where the distilled model trained with our KD loss function achieved an accuracy of 83.45% and F1-Score of 0.8331 with only a model size of 3.8 MB and 0.1186 GFLOPs, whereas ShuffleNetV2 provides the most effective result out of all student models, as the distilled model achieved an accuracy of 89.87% and F1-Score of 0.8987 with a slightly higher model size of 6.4 MB and 0.5391 GLOPs compared to MobileNetV3.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"269 ","pages":"Pages 618-629"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The reduction of false positives in Sparse Factorization Machines 稀疏分解机中误报的减少
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.09.200
Takuya Matsuzawa , Taiki Ito , Sumika Arima
In the semiconductor field, which is the primary focus of this study, the increasing demand has led to a supply shortage, necessitating the expansion of production capacity and the reinforcement of the manufacturing infrastructure. Among the various challenges, the issue of defective products is particularly critical, highlighting the importance of feature analysis for identifying defective factors. However, due to the large scale and complexity of semiconductor manufacturing data, feature analysis poses significant challenges.
In this study, we focus on Sparse Factorization Machines (SFM) as an interaction modeling approach for high-dimensional data, characterized by high computational efficiency and strong robustness to missing data. Our previous paper proposed an advanced SFM method denoted by SFM1A, which enhances both selections of main factors and interactions by employing a regularization and a new adaptive technique to SFM with Triangle inequality upper boundary. While SFM1A has demonstrated a significant reduction in false positives (FPs) (main: -99%, interaction: -97%), however, it is not yet at a practical level (e.g. target is less than a few hundred selections including FPs when input data dimension is 10000).
To address the issue, this study aims to develop an advanced method that minimizes incorrect interaction selections without compromising selection accuracy for true main factors and interactions. The first proposed method, SFM1A_SPC is to combine SPC criteria mathematically proved in the safe pruning method to SFM1A. SFM1A_SPC successfully reduces FPs of interactions. The second proposal, SFM1A_SPC_FP method, further improves the selection accuracy of main factors by applying a sequential selection method (FP) based on the properties of submodular optimization to perform dimensionality reduction.
Numerical evaluation of SFM1A_SPC_FP confirms that it maintains the interaction selection accuracy of SFM1A_SPC while further enhancing the categorical main factor selection. Finally, SFM1A_SPC_FP method achieves the target required for the practical application.
在半导体领域,这是本研究的主要焦点,不断增长的需求导致了供应短缺,需要扩大生产能力和加强制造基础设施。在各种挑战中,缺陷产品的问题尤为关键,突出了特征分析对识别缺陷因素的重要性。然而,由于半导体制造数据的大规模和复杂性,特征分析提出了重大挑战。在本研究中,我们重点研究了稀疏分解机(SFM)作为一种高维数据的交互建模方法,具有计算效率高和对缺失数据具有较强的鲁棒性的特点。我们提出了一种先进的SFM方法,称为SFM1A,该方法通过正则化和一种新的自适应技术来增强主因子的选择和相互作用,该方法具有三角形不等式上界。虽然SFM1A已经证明了误报(FPs)的显著降低(主要:-99%,相互作用:-97%),但是,它还没有达到实际水平(例如,当输入数据维度为10000时,目标小于几百个选择,包括FPs)。为了解决这个问题,本研究旨在开发一种先进的方法,在不影响真实主要因素和相互作用的选择准确性的情况下,最大限度地减少错误的相互作用选择。提出的第一种方法SFM1A_SPC是将安全剪枝方法中数学证明的SPC准则与SFM1A相结合。SFM1A_SPC成功降低交互FPs。第二种方法是SFM1A_SPC_FP方法,该方法采用基于子模优化特性的顺序选择方法(FP)进行降维,进一步提高了主因子的选择精度。对SFM1A_SPC_FP的数值评价证实,在保持SFM1A_SPC的交互选择精度的同时,进一步增强了分类主因子的选择能力。最后,SFM1A_SPC_FP方法达到了实际应用所需的目标。
{"title":"The reduction of false positives in Sparse Factorization Machines","authors":"Takuya Matsuzawa ,&nbsp;Taiki Ito ,&nbsp;Sumika Arima","doi":"10.1016/j.procs.2025.09.200","DOIUrl":"10.1016/j.procs.2025.09.200","url":null,"abstract":"<div><div>In the semiconductor field, which is the primary focus of this study, the increasing demand has led to a supply shortage, necessitating the expansion of production capacity and the reinforcement of the manufacturing infrastructure. Among the various challenges, the issue of defective products is particularly critical, highlighting the importance of feature analysis for identifying defective factors. However, due to the large scale and complexity of semiconductor manufacturing data, feature analysis poses significant challenges.</div><div>In this study, we focus on Sparse Factorization Machines (SFM) as an interaction modeling approach for high-dimensional data, characterized by high computational efficiency and strong robustness to missing data. Our previous paper proposed an advanced SFM method denoted by SFM1A, which enhances both selections of main factors and interactions by employing a regularization and a new adaptive technique to SFM with Triangle inequality upper boundary. While SFM1A has demonstrated a significant reduction in false positives (FPs) (main: -99%, interaction: -97%), however, it is not yet at a practical level (e.g. target is less than a few hundred selections including FPs when input data dimension is 10000).</div><div>To address the issue, this study aims to develop an advanced method that minimizes incorrect interaction selections without compromising selection accuracy for true main factors and interactions. The first proposed method, SFM1A_SPC is to combine SPC criteria mathematically proved in the safe pruning method to SFM1A. SFM1A_SPC successfully reduces FPs of interactions. The second proposal, SFM1A_SPC_FP method, further improves the selection accuracy of main factors by applying a sequential selection method (FP) based on the properties of submodular optimization to perform dimensionality reduction.</div><div>Numerical evaluation of SFM1A_SPC_FP confirms that it maintains the interaction selection accuracy of SFM1A_SPC while further enhancing the categorical main factor selection. Finally, SFM1A_SPC_FP method achieves the target required for the practical application.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"270 ","pages":"Pages 802-811"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Infusing Science and Sustainability Concepts in Game Design: A Qualitative Content Analysis of a Physics-Based Mobile Game 在游戏设计中融入科学和可持续性概念:基于物理的手机游戏的定性内容分析
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.08.308
Melania Aprillyawati , Wahyu Setioko
Digital games offer significant potential for education, especially when purposefully designed to promote conceptual understanding and critical thinking. This study examines how the mobile game Where’s My Water? 2 integrates scientific and sustainability concepts through its game design. A qualitative content analysis identified 57 concepts, primarily in physics (fluid dynamics, energy transformation), along with environmental, chemical, and biological elements. These concepts are infused through the game’s gameplay, scenarios, interactive objects, characters, and challenges, which make science both intuitive and engaging. While the game shows strong educational potential, it also highlights the need for guided reflection to prevent misconceptions and maximize learning outcomes. The findings call for collaboration between game designers, educators, and computer scientists to develop interactive, adaptive, and narrative-driven elements that not only engage players but also deepen their learning experience.
数字游戏为教育提供了巨大的潜力,特别是当它被有意设计成促进概念理解和批判性思维时。本文分析了手机游戏《Where’s My Water?》2在游戏设计中融入了科学和可持续的理念。定性内容分析确定了57个概念,主要是物理概念(流体动力学、能量转换),以及环境、化学和生物要素。这些概念贯穿于游戏玩法、场景、互动对象、角色和挑战中,让科学变得既直观又吸引人。虽然游戏显示出强大的教育潜力,但它也强调了引导反思的必要性,以防止误解和最大化学习成果。研究结果呼吁游戏设计师、教育工作者和计算机科学家合作开发互动性、适应性和叙事驱动的元素,不仅要吸引玩家,还要加深他们的学习体验。
{"title":"Infusing Science and Sustainability Concepts in Game Design: A Qualitative Content Analysis of a Physics-Based Mobile Game","authors":"Melania Aprillyawati ,&nbsp;Wahyu Setioko","doi":"10.1016/j.procs.2025.08.308","DOIUrl":"10.1016/j.procs.2025.08.308","url":null,"abstract":"<div><div>Digital games offer significant potential for education, especially when purposefully designed to promote conceptual understanding and critical thinking. This study examines how the mobile game <em>Where’s My Water? 2</em> integrates scientific and sustainability concepts through its game design. A qualitative content analysis identified 57 concepts, primarily in physics (fluid dynamics, energy transformation), along with environmental, chemical, and biological elements. These concepts are infused through the game’s gameplay, scenarios, interactive objects, characters, and challenges, which make science both intuitive and engaging. While the game shows strong educational potential, it also highlights the need for guided reflection to prevent misconceptions and maximize learning outcomes. The findings call for collaboration between game designers, educators, and computer scientists to develop interactive, adaptive, and narrative-driven elements that not only engage players but also deepen their learning experience.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"269 ","pages":"Pages 561-570"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Comparative Analysis of UI/UX Design in Flight Ticket Booking: A Case Study of Traveloka vs Tiket.com 机票预订中的UI/UX设计对比分析——以Traveloka和Tiket.com为例
Pub Date : 2025-01-01 Epub Date: 2025-11-06 DOI: 10.1016/j.procs.2025.09.012
Julian Alby Nathanael , Zaidan Tio Rahman , Reina Reina , Reinert Yosua Rumagit
In today’s digital era, online travel platforms serve as essential tools for users to conveniently book flights, with UI/UX design playing a crucial role in shaping user perceptions and interactions. As the competition between online travel agencies (OTAs) intensifies, platforms like Traveloka and Tiket.com are constantly improving their user interfaces and experiences to attract and retain users. This research aims to explore how UI/UX design affects user satisfaction and perceived usability in flight ticket booking services by conducting a comparative analysis between these two leading Indonesia OTAs. Using a quantitative approach, this study employed usability testing followed by the UMUX-LITE questionnaire to measure user perceptions on both platforms. From the responses of 31 participants, we found that while Tiket.com scores slightly higher in ease of use, Traveloka offers greater usefulness due to its more extensive filter options, such as student tickets and refundable flight. Overall, Traveloka achieved UMUX-LITE score of 79.570 (grade A-) compared to Tiket.com 77.957 (grade B+), showing that better functionality can positively impact the overall experience. However, Tiket.com cleaner and simpler interface led to more users (54.8%) to prefer it overall. These highlight the importance of balancing simplicity and functionality in UI/UX design, and offer insights for improving the user journey in digital travel platforms.
在当今的数字时代,在线旅游平台是用户方便预订机票的重要工具,UI/UX设计在塑造用户感知和互动方面发挥着至关重要的作用。随着在线旅行社(ota)之间竞争的加剧,Traveloka和Tiket.com等平台不断改进其用户界面和体验,以吸引和留住用户。本研究旨在通过对这两家领先的印尼在线旅行社进行比较分析,探讨UI/UX设计如何影响机票预订服务的用户满意度和感知可用性。采用定量方法,本研究采用可用性测试和UMUX-LITE问卷调查来衡量用户对两个平台的看法。从31位参与者的回答中,我们发现,虽然Tiket.com在易用性方面得分略高,但Traveloka的实用性更高,因为它有更广泛的过滤选项,比如学生票和可退款航班。总体而言,Traveloka的UMUX-LITE得分为79.570 (A-),而Tiket.com的得分为77.957 (B+),这表明更好的功能可以对整体体验产生积极影响。然而,Tiket.com更简洁的界面让更多的用户(54.8%)更喜欢它。这些都强调了在UI/UX设计中平衡简单性和功能性的重要性,并为改善数字旅游平台的用户旅程提供了见解。
{"title":"Comparative Analysis of UI/UX Design in Flight Ticket Booking: A Case Study of Traveloka vs Tiket.com","authors":"Julian Alby Nathanael ,&nbsp;Zaidan Tio Rahman ,&nbsp;Reina Reina ,&nbsp;Reinert Yosua Rumagit","doi":"10.1016/j.procs.2025.09.012","DOIUrl":"10.1016/j.procs.2025.09.012","url":null,"abstract":"<div><div>In today’s digital era, online travel platforms serve as essential tools for users to conveniently book flights, with UI/UX design playing a crucial role in shaping user perceptions and interactions. As the competition between online travel agencies (OTAs) intensifies, platforms like Traveloka and Tiket.com are constantly improving their user interfaces and experiences to attract and retain users. This research aims to explore how UI/UX design affects user satisfaction and perceived usability in flight ticket booking services by conducting a comparative analysis between these two leading Indonesia OTAs. Using a quantitative approach, this study employed usability testing followed by the UMUX-LITE questionnaire to measure user perceptions on both platforms. From the responses of 31 participants, we found that while Tiket.com scores slightly higher in ease of use, Traveloka offers greater usefulness due to its more extensive filter options, such as student tickets and refundable flight. Overall, Traveloka achieved UMUX-LITE score of 79.570 (grade A-) compared to Tiket.com 77.957 (grade B+), showing that better functionality can positively impact the overall experience. However, Tiket.com cleaner and simpler interface led to more users (54.8%) to prefer it overall. These highlight the importance of balancing simplicity and functionality in UI/UX design, and offer insights for improving the user journey in digital travel platforms.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"269 ","pages":"Pages 690-695"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145449272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Conventional and Zero Trust Security Measures for Precision Agriculture Devices: the mySense’s VineInspector Case-study 精准农业设备的传统和零信任安全措施:mySense的VineInspector案例研究
Pub Date : 2025-01-01 Epub Date: 2025-03-11 DOI: 10.1016/j.procs.2025.02.118
Luís Carvalho , Telmo Adão , Raul Morais , António Rio Costa , Emanuel Peres
Precision Agriculture (PA) systems, crucial for modern farming, heavily rely on data gathered from various sensors often connected through an Internet of Things (IoT)-based environment, wherein cybersecurity challenges must not be neglected. To address such challenges, this paper explores conventional security approaches and Zero Trust (ZT) principles oriented to PA. To that end, a practical case-study focusing a precision viticulture device known as VineInspector is assessed in terms of susceptibilities, encompassing unauthorized physical access, manipulation of sensor readings, and tampering of data communication. As a result of that assessment, a set of recommendations are provided to ensure integrity, confidentiality, and availability of agricultural data, with applicability to PA devices operating in conditions similar to the one considered for the referred case-study.
精准农业(PA)系统对现代农业至关重要,它严重依赖于从各种传感器收集的数据,这些传感器通常通过基于物联网(IoT)的环境连接,其中网络安全挑战不容忽视。为了应对这些挑战,本文探讨了传统的安全方法和面向PA的零信任(ZT)原则。为此,本文对一个名为VineInspector的精确葡萄栽培设备进行了实际案例研究,对其敏感性进行了评估,包括未经授权的物理访问、对传感器读数的操纵和对数据通信的篡改。作为评估的结果,提供了一组建议,以确保农业数据的完整性、保密性和可用性,并适用于在与所述案例研究相似的条件下运行的PA设备。
{"title":"Conventional and Zero Trust Security Measures for Precision Agriculture Devices: the mySense’s VineInspector Case-study","authors":"Luís Carvalho ,&nbsp;Telmo Adão ,&nbsp;Raul Morais ,&nbsp;António Rio Costa ,&nbsp;Emanuel Peres","doi":"10.1016/j.procs.2025.02.118","DOIUrl":"10.1016/j.procs.2025.02.118","url":null,"abstract":"<div><div>Precision Agriculture (PA) systems, crucial for modern farming, heavily rely on data gathered from various sensors often connected through an Internet of Things (IoT)-based environment, wherein cybersecurity challenges must not be neglected. To address such challenges, this paper explores conventional security approaches and Zero Trust (ZT) principles oriented to PA. To that end, a practical case-study focusing a precision viticulture device known as VineInspector is assessed in terms of susceptibilities, encompassing unauthorized physical access, manipulation of sensor readings, and tampering of data communication. As a result of that assessment, a set of recommendations are provided to ensure integrity, confidentiality, and availability of agricultural data, with applicability to PA devices operating in conditions similar to the one considered for the referred case-study.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"256 ","pages":"Pages 246-254"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143592577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research Insights on the Ethical Aspects of AI-Based Smart Learning Environments: Review on the Confluence of Academic Enterprises and AI 基于人工智能的智能学习环境伦理问题的研究洞察——学术企业与人工智能融合述评
Pub Date : 2025-01-01 Epub Date: 2025-03-11 DOI: 10.1016/j.procs.2025.02.122
Sini Raj Pulari , Shomona Gracia Jacob
Dramatic progress in the use of AI for the design of smart learning systems has undoubtedly enhanced the professional competence of students across the globe. However, the sudden access to unlimited autonomy has posed unprecedented risks to moral and ethical practices in educational standards that far outweigh the rewards. In this research, the authors attempt to present a succinct review on the ethical implications of employing artificial intelligence in classroom education both from the educator and the student’s perspective. Summarizing the loopholes in establishing strong ethical practices by virtue of AI leverage, especially in the realm of education is of utmost importance. The findings of this study revealed two main spheres of educational transformation that need to be addressed in smart academic enterprises: (a) automated review generation based on student and evaluator scores (b)infallible system to ensure adherence to ethical practices during assessments.
人工智能在智能学习系统设计中的应用取得了巨大进展,无疑提高了全球学生的专业能力。然而,突然获得无限自主权对教育标准中的道德和伦理实践造成了前所未有的风险,而风险远远大于回报。在这项研究中,作者试图从教育者和学生的角度对在课堂教育中使用人工智能的伦理含义进行简要的回顾。总结利用人工智能建立强有力的道德实践的漏洞,特别是在教育领域,是至关重要的。本研究的发现揭示了智能学术企业需要解决的教育转型的两个主要领域:(a)基于学生和评估者分数的自动审查生成(b)确保在评估过程中遵守道德实践的可靠系统。
{"title":"Research Insights on the Ethical Aspects of AI-Based Smart Learning Environments: Review on the Confluence of Academic Enterprises and AI","authors":"Sini Raj Pulari ,&nbsp;Shomona Gracia Jacob","doi":"10.1016/j.procs.2025.02.122","DOIUrl":"10.1016/j.procs.2025.02.122","url":null,"abstract":"<div><div>Dramatic progress in the use of AI for the design of smart learning systems has undoubtedly enhanced the professional competence of students across the globe. However, the sudden access to unlimited autonomy has posed unprecedented risks to moral and ethical practices in educational standards that far outweigh the rewards. In this research, the authors attempt to present a succinct review on the ethical implications of employing artificial intelligence in classroom education both from the educator and the student’s perspective. Summarizing the loopholes in establishing strong ethical practices by virtue of AI leverage, especially in the realm of education is of utmost importance. The findings of this study revealed two main spheres of educational transformation that need to be addressed in smart academic enterprises: (a) automated review generation based on student and evaluator scores (b)infallible system to ensure adherence to ethical practices during assessments.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"256 ","pages":"Pages 284-291"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143592581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Application of Fuzzy Neural Network Algorithm in Intelligent Scheduling of Urban Water Supply System 模糊神经网络算法在城市供水系统智能调度中的应用
Pub Date : 2025-01-01 Epub Date: 2025-06-10 DOI: 10.1016/j.procs.2025.05.034
Jianbo He
In the urban water supply system, facing the problems of water shortage, demand fluctuation and water supply safety, the traditional scheduling method is difficult to meet the growing demand for intelligence. Therefore, this study aims to apply the fuzzy neural network algorithm to optimize the intelligent scheduling of the urban water supply system. First, a neural network model based on fuzzy logic is constructed, integrating multiple input factors such as water source, user demand, pipe network status and meteorological data. Then, through data preprocessing, historical water supply data is cleaned and standardized to ensure the accuracy of model training. Then, the model is trained with historical data, the model parameters are optimized by cross-validation method, and the fuzzy rules are automatically adjusted by genetic algorithm to achieve refined scheduling. In the experiment, the model is tested by water supply data from different locations. The average water supply efficiency of the optimized scheduling model is 1.51. The application of fuzzy neural network algorithm in the intelligent scheduling of urban water supply system effectively solves the shortcomings of traditional methods and provides a new idea for achieving more efficient and intelligent water supply management.
在城市供水系统中,面对水资源短缺、需求波动和供水安全等问题,传统的调度方法难以满足日益增长的智能化需求。因此,本研究旨在应用模糊神经网络算法对城市供水系统的智能调度进行优化。首先,综合水源、用户需求、管网状况、气象数据等多个输入因素,构建基于模糊逻辑的神经网络模型;然后,通过数据预处理,对历史供水数据进行清洗和标准化,保证模型训练的准确性。然后利用历史数据对模型进行训练,采用交叉验证法对模型参数进行优化,采用遗传算法对模糊规则进行自动调整,实现精细化调度。在实验中,利用不同地点的供水数据对模型进行了验证。优化后调度模型的平均供水效率为1.51。模糊神经网络算法在城市供水系统智能调度中的应用,有效地解决了传统方法的不足,为实现更高效、智能的供水管理提供了新的思路。
{"title":"The Application of Fuzzy Neural Network Algorithm in Intelligent Scheduling of Urban Water Supply System","authors":"Jianbo He","doi":"10.1016/j.procs.2025.05.034","DOIUrl":"10.1016/j.procs.2025.05.034","url":null,"abstract":"<div><div>In the urban water supply system, facing the problems of water shortage, demand fluctuation and water supply safety, the traditional scheduling method is difficult to meet the growing demand for intelligence. Therefore, this study aims to apply the fuzzy neural network algorithm to optimize the intelligent scheduling of the urban water supply system. First, a neural network model based on fuzzy logic is constructed, integrating multiple input factors such as water source, user demand, pipe network status and meteorological data. Then, through data preprocessing, historical water supply data is cleaned and standardized to ensure the accuracy of model training. Then, the model is trained with historical data, the model parameters are optimized by cross-validation method, and the fuzzy rules are automatically adjusted by genetic algorithm to achieve refined scheduling. In the experiment, the model is tested by water supply data from different locations. The average water supply efficiency of the optimized scheduling model is 1.51. The application of fuzzy neural network algorithm in the intelligent scheduling of urban water supply system effectively solves the shortcomings of traditional methods and provides a new idea for achieving more efficient and intelligent water supply management.</div></div>","PeriodicalId":20465,"journal":{"name":"Procedia Computer Science","volume":"262 ","pages":"Pages 108-114"},"PeriodicalIF":0.0,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144254264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Procedia Computer Science
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1