


default search action
39th SAC 2024: Avila, Spain
- Jiman Hong, Juw Won Park:
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. ACM 2024
Theme: Artificial Intelligence and Agents: AIED - Artificial Intelligence for Education Track
- Ville Heilala
, Sami Lehesvuori
, Raija Hämäläinen
, Tommi Kärkkäinen
:
Toward Scalable and Transparent Multimodal Analytics to Study Standard Medical Procedures: Linking Hand Movement, Proximity, and Gaze Data. 3-10 - Marco Kragten
, Bert Bredeweg
:
The effectiveness of lightweight automated support for learning about dynamic systems with qualitative representations. 11-20 - Zheng Fang
, Jaeyoung Han
, Ahmad Ari Aldino
, Zhijie Feng
, Toby Cai
:
Decoding the Naturally Arisen Leadership in Collaborative Learning: A Bayesian Simulation and Human Network Study. 21-28 - Daeyoung Roh
, Donghee Han
, Daehee Kim
, Keejun Han
, Mun Yong Yi
:
SIG-Net: GNN based dropout prediction in MOOCs using Student Interaction Graph. 29-37 - Priti Oli
, Rabin Banjade
, Arun Balajiee Lekshmi Narayanan
, Peter Brusilovsky
, Vasile Rus
:
Exploring The Effectiveness of Reading vs. Tutoring For Enhancing Code Comprehension For Novices. 38-47 - Javier Conde
, Sonsoles López-Pernas
, Enrique Barra
, Mohammed Saqr
:
The Temporal Dynamics of Procrastination and its Impact on Academic Performance: The Case of a Task-oriented Programming Course. 48-55 - Mirka Saarela
:
On the relation of causality- versus correlation-based feature selection on model fairness. 56-64 - Van Long Phuoc Pham
, Duc Anh Vu, Nhat Minh Hoang
, Xuan Long Do
, Anh Tuan Luu
:
ChatGPT as a Math Questioner? Evaluating ChatGPT on Generating Pre-university Math Questions. 65-73 - Mohammed Ahmed Taiye
, Christopher High
, Johanna Velander
, Khaled Matar
, Rihards Okmanis
, Marcelo Milrad
:
Generative AI-Enhanced Academic Writing: A Stakeholder-Centric Approach for the Design and Development of CHAT4ISP-AI. 74-80 - Jean-Charles Layoun
, Amal Zouaq
, Michel C. Desmarais
:
Contextual Embeddings and Graph Convolutional Networks for Concept Prerequisite Learning. 81-90 - Hasan Jamil
:
Equity and Fairness Challenges in Online Learning in the Age of ChatGPT. 91-92 - Manuel J. Gomez
, Álvaro Armada Sánchez
, Mariano Albaladejo-González
, Félix J. García Clemente
, José A. Ruipérez-Valiente
:
Utilizing Explainable AI to Enhance Real-time Student Performance Prediction in Educational Serious Games. 93-94 - Sai Siddartha Maram
, Jennifer Villareale
, Jichen Zhu
, Magy Seif El-Nasr
:
Open Player Modeling - Using AI to help Reflection and Learning in Serious Games. 95-97 - Sai Siddartha Maram
, Anna Amato
, Giovanni Maria Troiano
, Steven C. Sutherland
, Camillia Matuk
, Edward F. Melcer
, Elín Carstensdóttir
, Casper Harteveld
, Magy Seif El-Nasr
:
An Instructor's Lens into the Role of AI in Teaching Experimental Research via Gamification. 98-100 - Mohammad Hassany
, Jiaze Ke
, Peter Brusilovsky
, Arun Balajiee Lekshmi Narayanan
, Kamil Akhuseyinoglu
:
Authoring Worked Examples for JAVA Programming with Human AI Collaboration. 101-103 - Moumena Salah Yassen
, Víctor Sánchez-Anguix, Juan M. Alberola
, Fulgencia Villa
:
An Integer Linear Programming Model Based on Competences for Student-Industry Placement Allocation. 104-105 - Stephen J. Aguilar
, Changzhao Wang
:
Duty vs. Consequence: Exploring Teachers' Assessment of the Ethical Dimensions of Generative AI Technologies. 106-108
Theme: Distributed Systems: CC - Cloud Computing Track
- Marwan Adnan Darwish
, Georgios Smaragdakis
:
Disjunctive Multi-Level Digital Forgetting Scheme. 112-121 - Rabimba Karanjai
, Lei Xu
, Lin Chen
, Nour Diallo
, Weidong Shi
:
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications. 122-130 - Manish Pandey
, Young-Woo Kwon
:
FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution. 131-138 - Priyanka Singh
, Jash Rathi
, Priyankaben Babulal Patel
:
SADHE: Secure Anomaly Detection for GPS Trajectory Based on Homomorphic Encryption. 139-141
Theme: System Software and Security: CPS - Cyber-Physical Systems Track
- Gareth Callanan
, Flavius Gruian
:
Hardware and Software Generation from Large Actor Machines in Streaming Applications. 142-150 - Marina Luísa de Souza Carrasco Vieira
, Marina De Lara
, Marcelo Eduardo Pellenz
, Mauricio Biczkowski
, Marcos Alberto Mochinski
, Fabrício Enembreck
, Edgard Jamhour
, Voldi Costa Zambenedetti
:
Satellite Imagery-Assisted Link-Budget Analysis Algorithm for Smart Grid Wireless Backhaul Network Planning. 151-158 - Donghwa Kang
, Kilho Lee
, Cheol-Ho Hong
, Youngmoon Lee
, Jinkyu Lee
, Hyeongboo Baek
:
MOT-AS: Real-Time Scheduling Framework for Multi-Object Tracking Capturing Accuracy and Stability. 159-168 - Jinheng Li
, Qiao Li
, Hu Wan
, Chun Jason Xue
:
Binary Folding Compression for Efficient Software Distribution. 169-176 - Gabriele Oligeri
, Savio Sciancalepore
, Alireza Sadighian:
SatPrint: Satellite Link Fingerprinting. 177-185 - Jesse Reimann
, Nico Mansion
, James Haydon
, Benjamin Bray
, Agnishom Chattopadhyay
, Sota Sato
, Masaki Waga
, Étienne André
, Ichiro Hasuo
, Naoki Ueda
, Yosuke Yokoyama
:
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance. 186-195 - Yi-Syuan Lin
, Yu-Pei Liang
, Yuan-Hao Chang
, Wei-Kuan Shih
, Wen Sheng Lim
:
Bridging DNA Storage and Computation: An Integrated Framework for Efficient Biomolecular Data Management. 196-203 - Kavya Balasubramanian
, Adithya Gowda Baragur
, Denis Donadel
, Dinuka Sahabandu
, Alessandro Brighente
, Bhaskar Ramasubramanian
, Mauro Conti
, Radha Poovendran
:
CANLP: NLP-Based Intrusion Detection System for CAN. 212-214 - Marco De Vincenzi
, Chiara Bodei
, Ilaria Matteucci
:
OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. 215-217 - Himanshu Choudhary
, Marwan Hassani
:
Autoencoder-based Continual Outlier Correlation Detection for Real-Time Traffic Flow Prediction. 218-220 - Silvio Barra
, Mirko Marras
, Sondos Mohamed
, Alessandro Sebastian Podda
, Roberto Saia
:
Investigating the Effectiveness of 3D Monocular Object Detection Methods for Roadside Scenarios. 221-223
Theme: Distributed Systems: DADS - Dependable, Adaptive, and Secure Distributed Systems Track
- Pedro Camponês
, Henrique Domingos
:
Dynamic Optimization of the Latency Throughput Trade-off in Parallel Chain Distributed Ledgers. 226-234 - Sebastian Schmid
, Andreas Harth
:
Enabling Adaptation in Dynamic Manufacturing Environments with Decentralized Agent-Based Systems and Local Perception. 235-242 - Peterson Yuhala
, Jämes Ménétrey
, Pascal Felber
, Marcelo Pasin
, Valerio Schiavoni
:
Fortress: Securing IoT Peripherals with Trusted Execution Environments. 243-250 - Anshuman Misra
, Ajay D. Kshemkalyani
:
Solvability of Byzantine Fault-Tolerant Causal Ordering: Synchronous Systems Case. 251-256 - Willi Brekenfelder
, Tom Reincke
, Helge Parzyjegla
, Peter Danielis
, Omer Hanif Khan
, Gero Mühl
:
On the Reliability of Time-Sensitive Network Infrastructures. 257-258
Theme: Distributed Systems: DAPP - Decentralized Applications with Blockchain, DLT and Crypto-Currencies Track
- Daiki Ito
, Yuta Takata
, Keika Mori
, Ryoya Furukawa
, Hiroshi Kumagai
, Masaki Kamizono
:
Account Discovery: Identifying Web3 SNS Accounts at Risk of De-anonymization. 259-268 - Elitsa Pankovska
, Ashish Rajendra Sai
, Harald Vranken
, Alan Ransil
:
Electricity Consumption of Ethereum and Filecoin: Advances in Models and Estimates. 269-277 - Iván Abellán Álvarez
, Vincent Gramlich
, Johannes Sedlmeir
:
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake. 278-287 - Burak Öz
, Filip Rezabek
, Jonas Gebele
, Felix Hoops
, Florian Matthes
:
A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain. 288-297 - Moritz Rosar
, Kun-Ta Chuang
:
Using Blockchain for Incentive-Driven FHIR-based Health Record Exchange. 298-299 - Bangjie Zhu
, Jiaqi Yin
, Sini Chen
, Huibiao Zhu
:
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. 300-304
Theme: Information Systems: DBDM - Databases and Big Data Management Track
- Kallol Naha
, Hasan Jamil
:
A Declarative Query Language Enabled Autonomous Deep Web Search Engine. 305-312 - André Luiz Firmino Alves
, Cláudio de Souza Baptista
, Luciano Barbosa
, Clecio B. M. Araujo
:
Cross-Lingual Learning Strategies for Improving Product Matching Quality. 313-320 - Igor A. R. Eleutério, Mirela T. Cazzolato
, Larissa Roberta Teixeira
, Marco Antonio Gutierrez
, Agma Juci Machado Traina
, Caetano Traina
:
MIGUE-Sim: Speeding Up Similarity Queries with Native RDBMS Resources. 321-328 - Dildar Ali
, Suman Banerjee
, Yamuna Prasad
:
Regret Minimization in Billboard Advertisement under Zonal Influence Constraint. 329-336 - Ala Eddine Laouir
, Abdessamad Imine
:
DiApprox: Differential Privacy-based Online Range Queries Approximation for Multidimensional Data. 337-344 - Justin Schoenit
, Seth Akins
, Ramon Lawrence
:
EmbedDB: A High-Performance Database for Resource-Constrained Embedded Systems Too Small for SQLite. 345-346 - Jáchym Bártík
, Pavel Koupil
, Irena Holubová
:
Modelling and Evolution Management of Multi-Model Data. 347-350
Theme: Information Systems: DS - Data Streams Track
- Daniel Nowak Assis
, Jean Paul Barddal
, Fabrício Enembreck
:
Just Change on Change: Adaptive Splitting Time for Decision Trees in Data Stream Classification. 351-357 - Narjes Davari
, Bruno Veloso
, Rita Paula Ribeiro
, João Manuel Portela da Gama
:
Detecting and Explaining Anomalies in the Air Production Unit of a Train. 358-364 - Thiago Andrade
, João Gama:
Where Do We Go From Here? Location Prediction from Time-Evolving Markov Models. 365-367 - Christofer Fellicious
, Sahib Julka
, Lorenz Wendlinger
, Michael Granitzer
:
DriftGAN: Using historical data for Unsupervised Recurring Drift Detection. 368-369
Theme: Artificial Intelligence and Agents: EC - Applications of Evolutionary Computing Track
- Tossapol Pomsuwan
, Alex Alves Freitas
:
A Genetic Algorithm-based Auto-ML System for Survival Analysis. 370-377 - Antônio Augusto Chaves, José Fernando Gonçalves
, Rudinei M. Oliveira
, Luiz Antonio Nogueira Lorena
:
An adaptive biased random-key genetic algorithm for the tactical berth allocation problem. 378-385 - David Gutiérrez-Avilés
, José F. Torres
, Francisco Martínez-Álvarez
, Jairo Cugliari
:
An evolutionary triclustering approach to discover electricity consumption patterns in France. 386-394 - Maria Lourdes Linares-Barrera
, Manuel Jesús Jiménez-Navarro
, Isabel Sofia Brito
, José C. Riquelme
, María Martínez-Ballesteros
:
Evolutionary Feature Selection for Time-Series Forecasting. 395-399
Theme: System Software and Security: EMBS - Embedded Systems Track
- Muhammad Tanveer Ali Ahmad
, Michael Krisper
, Leandro Batista Ribeiro
, Marcel Baunach
:
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. 400-409 - Chun-Ting Wu
, Yung-Jen Hsu
, Chia-Heng Tu
, Shao-Hua Wang
:
Traffic Signal Preemption and Prioritization for High-Density Road Networks. 410-419 - Kun-Chi Chiang
, Yung-Chun Li
, Wei-Chen Wang
, Wei-Kuan Shih
:
On Enhancing Data Integrity with Low-cost Retention-Refillable Programming Scheme. 420-427 - Meriem Bouzouad
, Yasmine Benhamadi
, Camélia Slimani
, Jalil Boukhobza
:
PIGMMaLIOn: a Partial Incremental Gaussian Mixture Model with a Low I/O Design. 428-435 - Drona Nagarajan
, Tobias Scheipel
, Marcel Baunach
:
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. 436-445 - Lev Denisov
, Gabriele Magnani
, Daniele Cattaneo
, Giovanni Agosta
, Stefano Cherubin
:
Profiling vs Static Analysis: The Impact on Precision Tuning. 446-448 - Michail Boulasikis
, Christoph W. Kessler
, Flavius Gruian
, Jörg Keller
, Sebastian Litzinger
:
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS. 449-451 - Javier Barrera
, Leonidas Kosmidis
, Enrico Mezzetti
, Jaume Abella
, Francisco J. Cazorla
:
Increasing Testing Robustness of GPU Software in Embedded Critical Systems. 452-453 - Xin-You Liu
:
Student Research Abstract: Real-Time 3D Registration and Fusion with SRAM-based Analog In-Memory Computing. 454-457
Theme: Artificial Intelligence and Agents: GMLR - Graph Models for Learning and Recognition Track
- Lorenz Wendlinger
, Michael Granitzer
:
Informed Heterogeneous Attention Networks for Metapath Based Learning. 458-465 - Shen-Shyang Ho
, Tarun Teja Kairamkonda
:
Change Point Detection in Evolving Graph using Martingale. 466-473 - Paolo Frazzetto
, Luca Pasa
, Nicolò Navarin
, Alessandro Sperduti
:
Beyond the Additive Nodes' Convolutions: a Study on High-Order Multiplicative Integration. 474-481 - Giorgio Blandano
, Jacopo Burger
, Annalisa Cappella
, Claudia Dolci
, Giuseppe Maurizio Facchi
, Federico Pedersini
, Chiarella Sforza
, Gianluca Martino Tartaglia
:
Gender Classification via Graph Convolutional Networks on 3D Facial Models. 482-489 - Hui-Ju Hung, Wang-Chien Lee
, Tao-Yang Fu
, Chih-Ya Shen
, Zhen Lei
:
Learning to Solve Combinatorial Optimization Problems on Graphs with State-Aware Multi-Relation Aggregation. 490-491 - Daehee Kim
, Donghee Han
, Daeyoung Roh
, Keejun Han
, Mun Yong Yi
:
Less is More: A Streamlined Graph-Based Fashion Outfit Recommendation without Multimodal Dependency. 492-495
Theme: Artificial Intelligence and Agents: HIBIO - Health Informatics and Bioinformatics Track
- D. M. Bappy
, Donghwa Kang
, Jinkyu Lee
, Hyeongboo Baek
:
Prior-Based Enhanced ASD-POCS for Artifact Suppression and Structural Preservation in Sparse-View CBCT. 496-505 - Alejandro Fernández-Fraga
, Jorge González-Domínguez
, María J. Martín
:
Applying dynamic balancing to improve the performance of MPI parallel genomics applications. 506-514 - Cen Wan
, Carl Barton
:
A novel hierarchy-based knowledge discovery framework for elucidating human aging-related phenotypic abnormalities. 515-522 - Hasan Jamil
, Stephen A. Krawetz
, Alexander Gow
:
Knowledge Synthesis using Large Language Models for a Computational Biology Workflow Ecosystem. 523-530 - Beatriz Pérez-Sánchez
, Noelia Sánchez-Maroño
, Miguel A. Díaz-Freire
:
Analysis of voice recordings features for Classification of Parkinson's Disease. 531-532 - Zahraa Khais Shahid
, Saguna Saguna
, Christer Åhlund
, Karan Mitra
:
Federated Learning for Unsupervised Anomaly Detection in ADLs of Elderly in Single-resident Smart Homes. 533-535
Theme: Distributed Systems: IE - IoT and Edge Computing Track
- Fatima Abdullah
, Mian Muaz Razaq
, Youyang Kim
, Limei Peng
, Young-Kyoon Suh
, Byungchul Tak
:
IoT Query Latency Enhancement by Resource-Aware Task Placement in the Fog. 536-544 - Guilherme Augusto Defalque
, Ricardo Ribeiro dos Santos
, Pedro Arfux
, Marcio Carneiro Brito Pache
, Ricardo Aguiar
:
DCS-Oriented IoT Architecture for Enhanced Cattle Feed Precision. 545-552 - Biagio Boi
, Christian Esposito
, Jung-Taek Seo
:
Ethereum Attestation Service as a solution for the revocation of hardware-based password-less mechanisms. 553-559 - Junho Yoon
, Christian Esposito
, Chang Choi
:
Quad-Biometrics for Few-Shot User Identification. 560-564 - Víctor López
, Oscar Fontenla-Romero
, Elena Hernández-Pereira
, Bertha Guijarro-Berdiñas
, Carlos Blanco-Seijo
, Samuel Fernandez-Paz
:
RUL Prediction of Lithium-ion Batteries using a Federated and Homomorphically Encrypted Learning Method. 565-571 - Yuma Kokubo
, Toshiyuki Amagasa
:
Cost-based Load Balancing of RDF Reasoning in Fog-Computing Environments. 572-579 - Lamine Syne
, Pino Caballero-Gil
, Candelaria Hernández-Goya
:
Improving Privacy in Federated Learning-Based Intrusion Detection for IoT Networks. 580-583
Theme: Distributed Systems: INTOP - Interoperability Track
- Palash Yuvraj Ingle, Young-Gab Kim
:
Integrated Interoperability Based Panoramic Video Synopsis Framework. 584-591 - Hongseok Oh
, Kyungchang Jeong
, Euijong Lee
, Ji-Hoon Jeong
:
LINK: Self-Adaptive System with Human-Machine Teaming-based Loop for Interoperability in IoT Environments. 592-599 - Junhyuk Kwon
, Seokho Ahn
, Young-Duk Seo
:
RecKG: Knowledge Graph for Recommender Systems. 600-607 - Dusan Morhác
, Viktor Valastín
, Kristian Kostal
, Ivan Kotuliak
:
Cross-Chain Payments on Blockchain Networks: An Apartment Booking Use-Case. 608-611
Theme: Artificial Intelligence and Agents: IRMAS - Intelligent Robotics and Multi-Agent Systems Track
- Renan Lima Baima
, Loïck Chovet
, Eduard Hartwich
, Abhishek Bera
, Johannes Sedlmeir
, Gilbert Fridgen
, Miguel Angel Olivares-Méndez
:
Trustful Coopetitive Infrastructures for the New Space Exploration Era. 612-621 - Adrià Fenoy
, Jacopo Zagoli
, Filippo Bistaffa
, Alessandro Farinelli
:
Attention for the Allocation of Tasks in Multi-Agent Pickup and Delivery. 622-629 - Zachary R. Madin
, Jonathan Lawry
, Edmund R. Hunt
:
Collective Anomaly Perception During Multi-Robot Patrol: Constrained Interactions Can Promote Accurate Consensus. 630-637 - Steve Paul
, Jhoel Witter
, Souma Chowdhury
:
Graph Learning-based Fleet Scheduling for Urban Air Mobility under Operational Constraints, Varying Demand & Uncertainties. 638-645 - Qin Yang
, Ramviyas Parasuraman
:
Bayesian Soft Actor-Critic: A Directed Acyclic Strategy Graph Based Deep Reinforcement Learning. 646-648 - Antoni Martorell-Torres
:
Student Research Abstract: Coordination of Marine Multi-Robot Systems with Communication Constraints. 649-651
Theme: Artificial Intelligence and Agents: ISDE - Intelligent Systems for Digital Era Track
- Luiz Fernando Puttow Southier
, Marcelo Teixeira
, Dalcimar Casanova
, Edson Emílio Scalabrin
:
Towards a labeling method for Education Process Mining and a case study on higher education. 654-660 - Mouzhi Ge
, Bruno Rossi
, Stanislav Chren
, José Miguel Blanco
:
Petri Nets for Smart Grids: The Story So Far. 661-670 - John Bianchi
, Manuel Pratelli
, Marinella Petrocchi
, Fabio Pinelli
:
Evaluating Trustworthiness of Online News Publishers via Article Classification. 671-678 - Marcelo Karanik
, Holger Billhardt
, Alberto Fernández
, Sascha Ossowski
:
On the relevance of value system structure for automated value-aligned decision-making. 679-686 - Frederico Schardong
, Ricardo Custódio
:
From Self-Sovereign Identity to Fiduciary Identity: A Journey Towards Greater User Privacy and Usability. 687-694 - Zachary Jeffreys
, Kshama Kumar
, Zhuojing Xie
, Wan D. Bae
, Shayma Alkobaisi
, Sada Narayanappa
:
PotholeVision: An Automated Pothole Detection and Reporting System using Computer Vision. 695-697 - Mustapha Kamal Benramdane
, Elena Kornyshova
, Sebastien Ruelle
, Charles Vidal
:
Employee eXperience Representation for Personalization within Digital Business Ecosystems. 698-700 - Sofiia Drozd
:
Student Research Abstract: Detection of War-Caused Agricultural Field Damages Using Sentinel-2 Satellite Data with Machine Learning and Anomaly Detection. 701-705
Theme: Artificial Intelligence and Agents: KNLP - Knowledge and Natural Language Processing Track
- Kutz Arrieta
, Pablo R. Fillottrani
, C. Maria Keet
:
CoSMo: A multilingual modular language for Content Selection Modelling. 706-713 - Yuni Susanti
, Kanji Uchino
:
Causal-Evidence Graph for Causal Relation Classification. 714-722 - Youngjin Jo
, Jinyeong Bak
:
EmoSum: Conversation Summarization with Emotional Consistency. 723-730 - Amirhossein Layegh
, Amir Hossein Payberah
, Ahmet Soylu
, Dumitru Roman
, Mihhail Matskin
:
Wiki-based Prompts for Enhancing Relation Extraction using Language Models. 731-740