Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers (Communications in Computer and Information Science, 1924)

Preface
Organization
Contents
Machine Learning Based Plant Disease Detection Using EfficientNet B7
	1 Introduction
	2 Literature Review
	3 Statement of the Problem
	4 Methodology
		4.1 Implemented Algorithms
		4.2 Data Pre-processing
		4.3 Model Selection
		4.4 Image Processing Using Canny Edge Detection Algorithm
	5 Results
	6 Future Work
	References
Land Cover Classification Using Remote Sensing and Supervised Convolutional Neural Networks
	1 Introduction and Literature Review
	2 Materials and Methods
		2.1 Study Area
		2.2 Data Collection and Preprocessing
		2.3 Semantic Segmentation Methods
		2.4 Performance Comparison DL Models
	3 Results
		3.1 Experimental Results
		3.2 Comparison of Predicted Results
	4 Discussion
	5 Conclusions and Future Works
	References
Fusion of Optical and Radar Data by Aggregation into a Single Feature Space for LULC Classification
	1 Introduction
	2 Methods
		2.1 Study Area
		2.2 Data Base
		2.3 Preprocessing
		2.4 Classification
		2.5 Validation
	3 Result and Discussion
	4 Conclusion
	References
Computer Room Failure Reporting System for a Higher Education Institution
	1 Introduction
		1.1 Problem Description
	2 Related Works
		2.1 Similar Software Products
	3 Methodology
	4 Results
		4.1 SisReport
		4.2 Evaluation of the First Version of SisReport
	5 Preliminary Conclusions and Future Work
	References
Recent Advances in Machine Learning for Differential Cryptanalysis
	1 Introduction
		1.1 Related Work
	2 Foundations
		2.1 Symmetric Cryptography
		2.2 Symmetric Cryptanalysis
		2.3 Machine Learning
	3 Machine Learning Approaches for Differential Cryptanalysis
		3.1 Attacks for SIMON and SPECK
		3.2 Attacks on Other Systems
	4 Discussion
	5 Conclusion
	References
Addressing the Diet Problem with Constraint Programming Enhanced with Machine Learning
	1 Introduction
	2 Constraint Programming and Machine Learning
		2.1 Constraint Programming
		2.2 Algorithm Portfolio
		2.3 Machine Learning
	3 Diet Problem Model
	4 Experiments
		4.1 Synthetic Instance Generation
		4.2 Algorithm Selection
		4.3 Creating the Training Dataset from Synthetic Instances
		4.4 Exploration of Feature Selection in Machine Learning
		4.5 Evaluating Model Precision
	5 Conclusions and Future Work
	A Correlation Matrix (All Features)
	B Candidate Features
	References
Assessing ChatGPT\'s Proficiency in CS1-Level Problem Solving
	1 Introduction
	2 Experimental Context: A CS-1 Course
	3 Experimental Design and Results
	4 Analysis and Discussion
	5 Conclusions
	References
Clean Architecture: Impact on Performance and Maintainability of Native Android Projects
	1 Introduction
	2 Methodology
	3 Results
	4 Conclusions
	References
Evaluation of AI Techniques to Implement Proactive Container Auto-scaling Strategies
	1 Introduction
	2 Background
	3 Related Work
	4 Methodology
	5 Data Generation
	6 Data Preparation
	7 Results
	8 Conclusions
	References
Teaching Strategy for Enabling Technologies of Industry 4.0 to High School Students
	1 Introduction
	2 Background
	3 Strategy Proposal
		3.1 Technological Component
		3.2 Pedagogical Component
		3.3 Implementation Methodology for the Proposed Strategy
	4 Case Study: IoT
		4.1 Case Study Description
		4.2 Preliminary Results
	5 Conclusions
	References
Automatic Translation of Text and Audio to Colombian Sign Language
	1 Introduction
	2 Methodology
		2.1 Design Phase
		2.2 Implementation Phase
		2.3 Testing Phase
	3 Results
	4 Conclusions and Future Work
	References
Movement in Video Classification Using Structured Data: Workout Videos Application
	1 Introduction
	2 Literature Review
	3 Methodology
		3.1 Proposed Method
		3.2 Angles Calculation
		3.3 Movement Segregation
		3.4 Exercise States
		3.5 Exercise Classification
		3.6 Model Training
	4 Discussion and Conclusion
	References
Planning Navigation Routes in Unknown Environments
	1 Introduction
	2 Route Planning for Unknown Environments
		2.1 Global Planning
		2.2 Dynamic Planning
		2.3 Implementation
	3 Route Planning Evaluation
		3.1 Global Planning Results
		3.2 Dynamic Planning Results
	4 Related Work
	5 Conclusion and Future Work
	References
Integration of Cyber-Physical System and Digital Twin for Controlling a Robotic Manipulator: An Industry 4.0 Approach
	1 Introduction
	2 Literature Review
	3 Methods
		3.1 Modeling and Simulation
		3.2 Implementation
	4 Results and Discussion
	5 Conclusion
	References
Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models
	1 Introduction
	2 Literature Review
		2.1 Lattice Families and Properties
		2.2 Text vs. Visual Programming. Grasshopper
		2.3 Pre-condition, Post-condition, Invariant. Contract-Based Programming
		2.4 Conclusions of the Literature Review
	3 Methodology
		3.1 Modeling of Slender Members
		3.2 Lattice Family Creation via Visual-Programming
		3.3 3D Region Lattice Occupancy
		3.4 Application of Pre-, Post-condition and Invariants in Imperative and Declarative Programming
	4 Results
		4.1 Lattice Enumeration
		4.2 Material Realization
	5 Conclusions and Future Work
	References
Using Open Data for Training Deep Learning Models: A Waste Identification Case Study
	1 Introduction
	2 Waste Identification Challenge
	3 Our Open Data Approach to Train Deep Learning Models
		3.1 Training Pipeline
		3.2 Attention Module
		3.3 Focal Loss for Incomplete Data
	4 Definition of a Multi-label Deep Learning Model Using Our Open Data Approach
		4.1 Dataset Acquisition and Preparation
		4.2 Model Training
		4.3 Model Evaluation
	5 Conclusions
	6 Dataset Statement
	References
Instructional Strategies for Performance Improvement in Algebra: A Systematic Mapping
	1 Introduction
	2 Methodology
		2.1 Design Research Questions
		2.2 Perform a Detailed Search for Documents Based on the Keywords Already Defined
		2.3 Perform Exclusion and Inclusion of Documents According to the Established Criteria
		2.4 Select Documents with Relevant Information on the Subject
		2.5 Conduct a Thorough and In-Depth Analysis of the Documents Included in the Systematic Mapping
	3 Results
		3.1 What are the Most Relevant Trends You Have Employed as a Didactic Strategy for Teaching/Learning Algebra?
		3.2 What Gamification Technologies Have Been Used in Teaching in Areas Such as Algebra and Mathematics?
	4 Conclusions
	References
Model for Fruit Tree Classification Through Aerial Images
	1 Introduction
	2 Model
		2.1 Inputs
		2.2 Model Core
		2.3 Outputs
	3 Materials
		3.1 Case Study
		3.2 Data Acquisition
	4 Methods
		4.1 Orthomosaic Generation
		4.2 Crown Delineation Using Orthomosaics
		4.3 Data Processing
		4.4 Data Partitioning
		4.5 Detectron 2 Framework
		4.6 Mask R-CNN
		4.7 Base Structure (Backbone)
		4.8 Residual Neural Network (ResNet)
		4.9 Region Proposal Network, ROI Align Layer and FCN
		4.10 Outputs
	5 Experimentation
		5.1 Definition and Configuration of Hyperparameters
		5.2 Experimental Procedure
		5.3 Evaluation Metrics
		5.4 Average Precision (AP)
		5.5 Average Recall (AR)
	6 Results Analysis
	7 Conclusions
	A Appendix A
	References
Change Point Detection for Time Dependent Counts Using Extended MDL and Genetic Algorithms
	1 Introduction
	2 Non-homogeneous Poisson Process
	3 MDL
	4 Genetic Algorithm Details
	5 Simulated Experiment
		5.1 Comparison with Other Algorithms
		5.2 Conclusions and Future Work
	References
An Exploration of Genetic Algorithms Operators for the Detection of Multiple Change-Points of Exceedances Using Non-homogeneous Poisson Processes and Bayesian Methods
	1 Introduction
	2 Description of the Problem
		2.1 Change-Point Detection Algorithms
		2.2 Time Series of Measures and of Exceedances
		2.3 Non Homogeneous Poisson Processes
		2.4 Genetic Algorithms
		2.5 Initial Genetic Algorithm
		2.6 Proposed Algorithm
	3 Performance Metrics
	4 Implementation and Results
		4.1 Initial Population
		4.2 Parents Selection Method
		4.3 Replacement Strategy
		4.4 Mutation
		4.5 Best Solutions
	5 Conclusions
	A  Appendix
		A.1  Tables for Implementation Results
		A.2  Derivation of the Bayesian Minimum Description Length
	References
Synthetic Hyperspectral Data for Avocado Maturity Classification
	1 Introduction
	2 Related Works
	3 Background
		3.1 Generative Adversarial Networks and Hyperspectral Imaging
		3.2 Avocado Ripening and Nutrition Facts
	4 Our Approach
		4.1 Dataset
		4.2 Data Preparation
		4.3 Our HSI Augmentation Method Based on GAN
	5 Experimental Results
	6 Conclusions
	References
Fuzzy Model for Risk Characterization in Avocado Crops for Index Insurance Configuration
	1 Introduction
	2 Literature Review
	3 Methodology
		3.1 Case Study
		3.2 Study Area
		3.3 Climate Parameters
		3.4 Characterization of Phytosanitary Events
		3.5 Fuzzy Characterization of Losses on Agricultural Crops
		3.6 Characterization of Quantitative and Qualitative Risks. Risk Map
	4 Results
	5 Conclusions
	References
Safety Verification of the Raft Leader Election Algorithm Using Athena
	1 Introduction
	2 Reasoning About Raft
		2.1 The Raft Consensus Algorithm
		2.2 Node Definition
		2.3 Leader Election
		2.4 Leader Election Structural Properties
	3 Related Work
	4 Conclusion and Future Work
	References
Modeling Detecting Plant Diseases in Precision Agriculture: A NDVI Analysis for Early and Accurate Diagnosis
	1 Introduction
	2 Overview of Plant Disease Detection: Previous Approaches and Techniques
	3 Methodology
		3.1 Integration of the Lagrangian Gaussian Puff Dispersion Model (LGPTM)
		3.2 Simulation Study
	4 Results
		4.1 Analysis of the Performance and Precision Model
	5 Conclusion
	References
Towards the Construction of an Emotion Analysis Model in University Students Using Images Taken in Classrooms
	1 Introduction
	2 Literature Review
	3 Methodology
	4 Results
	5 Conclusions
	References
Cloud-Native Architecture for Distributed Systems that Facilitates Integration with AIOps Platforms
	1 Introduction
	2 Literature Review
	3 Proposed Architecture
		3.1 System Context Level
		3.2 Container Level
		3.3 Component Level
		3.4 Code Level
	4 Validation and Results
	5 Conclusions
	References
Comparing Three Agent-Based Models Implementations of Vector-Borne Disease Transmission Dynamics
	1 Introduction
	2 Literature Review
	3 Methodology
		3.1 Conceptual Model
		3.2 Mosquitoes Behavior
		3.3 Human Behavior
		3.4 Computational Implementation
	4 Results
		4.1 Mesa-Geo Implementation
		4.2 Repast Simphony Implementation
		4.3 Repast HPC Implementation
		4.4 Comparative Analysis
	5 Conclusions and Future Research
	References
Towards a Predictive Model that Supports the Achievement of More Assertive Commercial KPIs Case: Wood Trading Company
	1 Introduction
	2 Literature Review
	3 Methodology
		3.1 Business Understanding
		3.2 Data Understanding
		3.3 Data Preparation
		3.4 Modeling
		3.5 Results
	4 Discussion, Conclusions and Future Work
	References
BDI Peasants Model for the WellProdSim Agent-Based Social Simulator
	1 Introduction
	2 ABSS Literature Review
		2.1 Social Simulation Applied
		2.2 Agent Based Models and Architectures
		2.3 ABSS and Opportunities
	3 Peasant Model Approach
		3.1 Multi-agent System Interactions
		3.2 Peasant\'s BDI Goal Model
		3.3 Modulating Variables
	4 Results
	5 Conclusions
	References
Discovering Key Aspects to Reduce Employee Turnover Using a Predictive Model
	1 Introduction
	2 Literature Review
	3 Development of the Proposed Model
		3.1 Business Understanding
		3.2 Data Understanding
		3.3 Data Preparation
		3.4 Modeling
		3.5 Evaluation
	4 Discussion and Conclusions
	References
Findby: An Application for Accessibility and Inclusive Exploration
	1 Introduction
		1.1 A Subsection Sample
	2 Background
		2.1 Conceptual Framework
		2.2 Related Work
	3 Method
	4 Proposed Solution
	5 Results
	6 Conclusions and Future Work
	7 Related Links
	References
Tracing the Visual Path: Gaze Direction in the 360 Video Experience
	1 Introduction
	2 Literature Review
		2.1 Tools in 360-degree Videos
		2.2 Traditional Storytelling
	3 Methodology
		3.1 360 Video Player: A Tool to Capture Gaze Direction
		3.2 Cameras for Capturing 360-degrees Videos
		3.3 Information from the Creators
		3.4 Information from the Viewers
	4 Results
	5 Conclusions
	References
Using Virtual Reality to Detect Memory Loss: An Exploratory Study
	1 Introduction
	2 Objective and Proposal
	3 Previous Work
	4 Software Architecture
	5 Test Design
	6 Future Work
	7 Conclusions
	References
Author Index