وبلاگ بلیان

Computer Science – CACIC 2022 : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers

معرفی کتاب «Computer Science – CACIC 2022 : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers» نوشتهٔ Patricia Pesado,Joaquim Filipe,Ashish Ghosh,Raquel Oliveira Prates,Lizhu Zhou، منتشرشده توسط نشر Springer Nature Switzerland AG در سال 2023. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.

This book constitutes the refereed proceedings of the 28th Argentine Congress on Computer Science, CACIC 2022, held in La Rioja, Argentina, during October 3–6, 2022. The 20 full papers included in this book were carefully reviewed and selected from 184 submissions. They were organized in topical sections as follows: Agents and Systems; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Innovation in Computer Science Education; and Digital Goverance and Smart Cities. Preface Organization Contents Agents and Systems VNS Variant Approach Metaheuristics for Parallel Machines Scheduling Problem 1 Introduction 2 Literature Review 3 The Parallel Machines Scheduling Problem 4 VNS S-metaheuristics and Proposed Variants 4.1 Standard VNS Algorithm 4.2 Variant Algorithm VNS+R 4.3 VNS+LHS Variant 4.4 Variant VNS+E 4.5 Variant VNS+ER 5 Design of Experiments 5.1 Instances of the Problem 5.2 Parameter Settings 5.3 Algorithm Performance Evaluation Metrics 6 Analysis of Results 6.1 Statistical Test 7 Conclusions References Technology Applied to Education Augmented Reality to Reinforce Working Memory in Children with ASD. A Case Studies 1 Introduction 2 Material and Methods 2.1 Work Plan 3 Results 4 Discussion 5 Conclusions References A Review of Intelligent Tutoring in Secondary Education 1 Introduction 2 Selection of Intelligent Tutoring Systems 3 Analysis of Intelligent Tutoring Systems 4 Introduction of the Selected Intelligent Tutoring Systems 4.1 AI-Tutor: Generating Tailored Remedial Questions 4.2 Aleks (Assessment and Learning in Knowledge Spaces) 4.3 Auto-tutor 4.4 Skope-It 4.5 Lexue 100 4.6 Design Prototype of an Intelligent Math E-Tutoring System for Students with Specific Learning Disabilities 4.7 Simplify ITS 4.8 MathSpring 4.9 Wayang Outpost 4.10 ASSISTments 5 General Characteristics of the Selected Intelligent Tutoring Systems 6 Conclusions and Future Works References Analyzing Attendance Indicators in Digital Technologies-Mediated Courses in Tertiary Technician Education 1 Introduction 2 Theoretical Framework 2.1 The Community of Inquiry Model 2.2 The Community of Inquiry Survey 3 Background Analysis 4 Methodological Aspects for the Case Study about Presence Analysis in the Community of Inquiry Model 5 Results Obtained 5.1 Discussion 6 Conclusions and Future Work References Graphic Computation, Images and Visualization COVID-19 Signs Detection in Chest Radiographs Using Convolutional Neural Networks 1 Introduction 2 Proposal 3 Methodology 3.1 Business and Data Understanding 3.2 Data Preparation 3.3 Modeling 3.4 Network Optimization 3.5 Network Training 4 Evaluation 4.1 Network Validation 5 Conclusions References A Digital Zen Garden for Mental Health Conditions Treatment 1 Introduction 2 Japanese Zen Garden 3 Augmented Reality Sandbox 3.1 System Description 3.2 Architecture System 4 Experiences and Results 4.1 Physiological Evaluation 4.2 Emotional Evaluation 4.3 Interface Evaluation 5 Discussion and Conclusions References Software Engineering Toward an Execution Trace Standard: An MDE Approach 1 Introduction 2 Background 2.1 Standards for Modernization 2.2 Static and Dynamic Analysis 3 Reverse Engineering into the MDE Framework 4 TRACEM Metamodel 5 Recovering Execution Traces from Code: An Example 5.1 Dynamic Information Impact 5.2 Enhancing Diagrams 6 Related Work 7 Conclusions References New Horizons for Metamorphic Relationships in Formal Verification 1 Introduction 1.1 Summary 2 Background 2.1 FVS 2.2 Adaptive Systems 2.3 Temporal Planning 2.4 OBC and Nano Satellites 3 FVS and Metamorphic Relationships(MRs) for UAV's Missions Adaptation 3.1 MRs for UAV's Adaptation to New Plans 4 FVS and Metamorphic Relationships(MRs) for UAV's Temporal Planning 5 FVS and Metamorphic Relationships(MRs) for OBC Operating Systems 6 Discussion 7 Related and Future Work 8 Conclusions References Approach to Improving Java Source Code Considering Non-compliance with a Java Style Guide 1 Introduction 2 Non-functional Requirements and Improving Strategy: An Overview 2.1 Summary of Google’s Java Style Guide 2.2 Some Concepts and Relationships for Non-Functional Requirements 2.3 Activities of the Improving Strategy 3 Motivation and Context 4 Application of the Improving Strategy to the Practical Case 5 Related Work 6 Conclusions References Quality Management Systems and Blockchain in the 4.0 Era: A Literature Review 1 Introduction 2 Context 2.1 Industry 4.0 2.2 Quality 4.0 2.3 Blockchain 3 Literature Review 3.1 Goals 3.2 Search Criteria 3.3 Scope 3.4 Identified Publications 4 Analysis 4.1 First Search 4.2 Quality Management in Quality 4.0 Context 5 Conclusions References Databases and Data Mining Boosting the Permutation Index for Similarity Searching Using an Eclectic Approach 1 Introduction 2 Related Work 2.1 Pivot-Based Algorithm 2.2 Permutation-Based Algorithm 2.3 Metric Inverted File (MI-File) 3 Our Proposal 3.1 Clipped Permutations 3.2 Including a Single Pivot 3.3 Permutation Similarity Measure 3.4 Solving Similarity Range Queries 4 Experimental Results 4.1 NASA 4.2 Colors 4.3 SIFT 5 Conclusions and Future Work References Dynamic Distal Spatial Approximation Trees 1 Introduction 2 Some Notation 3 Distal Spatial Approximation Trees 3.1 Dynamic Distal Spatial Approximation Forest 4 Dynamic Distal Spatial Approximation Tree 5 Experimental Results 5.1 Comparison with Other Representative Indexes 6 Analysis of Tree Partition Density 7 Conclusions References Hardware Architectures, Networks, and Operating Systems Analysis of QoS and QoE Metrics of IPTV Multicast Video Traffic on a LAN TestBed 1 Introduction 2 Protocols and Codecs 2.1 Video Streaming 2.2 IP Multicast 2.3 Video Codec 3 Scenarios and Experimental Resources 3.1 Network Topology 3.2 Video and Video Sniffer 4 Test Results 4.1 QoS Analysis 4.2 QoE Analysis 5 Conclusions References Innovation in Software Systems A Query-By-Example Approach to Compose SPARQL Queries in the GF Framework for Ontology-Based Data Access 1 Introduction 2 Selection Queries in SPARQL 3 A Wizard for Composing SPARQL Selection Queries 4 Extending the Wizard for Building SPARQL Construct Queries 5 Related Work 6 Conclusions and Future Work References Systematic Mapping of the Literature on the Conceptual Modeling of Industry 4.0 1 Introduction 2 Planning of the SMS 3 SMS Execution 4 SMS Results 5 Threats to Validity 6 Conclusions References SIBDaCAr: A Chronotanatodiagnostic System Prototype for the Republic of Argentina 1 Introduction 2 Chronotanatodiagnosis: An Open Problem 3 Chronotanatodiagnosis: Software and Argentine Reality 4 A Prototype for a Dating System 4.1 Requirements Analysis 4.2 Results Obtained 4.3 Elaboration of Models 4.4 Prototype Implementation 5 Clustering Analysis 6 Conclusions and Future Work References Signal Processing and Real-Time Systems A New Academic RTOS: Xinu Port to the AVR Architecture 1 Introduction 2 Background and Related Work 2.1 Real-Time Embedded Systems and RTOS 2.2 Xinu 2.3 Previous Work 3 Porting Xinu to the AVR Architecture 4 Results 4.1 Black-Box Testing 4.2 Qualitative Evaluation 4.3 Quantitative Evaluation 5 Conclusions and Future Work References Innovation in Computer Science Education SETIC: An Educational Software About the Functioning of Computer Parts 1 Introduction 2 SETIC and Its Application Context 3 MeiSE: Methodology for the Development of Educational Software 4 SETIC Development 4.1 Conceptual Phase 4.2 Analysis and Conceptual Design 4.3 Iteration Plan 4.4 Products Obtained from the First Iterations 4.5 Development Stage 4.6 Deployment Stage 5 Conclusions and Plans for the Future References A Turing Machine at Secondary School 1 Introduction 2 Proposed Model 2.1 A Turing Machine at Secondary School 2.2 Mediated Practice: Fieldwork with Secondary School Students 3 Results 4 Conclusions and Future Work References Digital Governance and Smart Cities Application Programming Interface Technology to Optimize the Exchange of Information Between Legal Systems 1 Introduction 2 Research Background 3 About Expert Systems 4 Application Programming Interfaces Considerations 4.1 Why use the REST API? 4.2 About JSON Data Modeling 4.3 Design Pattern REACT 5 Experimental Evaluation 6 Results Obtained 7 Conclusions and Future Work References Author Index
دانلود کتاب Computer Science – CACIC 2022 : 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers