System Dependability - Theory and Applications : Proceedings of the Nineteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX. July 1-5, 2024, Brunów, Poland

• Autore: Zamojski Wojciech
• Pubblicazione: Cham : , : Springer, , 2024; ©2024
• Edizione: 1st ed.
• Descrizione fisica: 1 online resource (375 pages)
• Altri autori: MazurkiewiczJacek SugierJarosław WalkowiakTomasz KacprzykJanusz
• Nota di contenuto: Intro -- Preface -- Organization -- Contents -- Large Language Models for Data Extraction in Slot-Filling Tasks -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Prompting -- 3.2 Receiving the Output -- 4 Experiments -- 4.1 Datasets -- 4.2 Evaluation -- 4.3 Reasoning Problem and Hallucinations with the Precision Source Algorithm -- 4.4 Output Generated by Models -- 5 Conclusions -- A Examples of Prompts in English -- A.1 Example of a Zero-Shot Prompt -- A.2 Example of a Few-Shot Prompt -- A.3 Example of a Zero-Shot-CoT Prompt -- B Examples of Prompts in Polish -- B.1 Example of a Zero-Shot Prompt -- B.2 Example of a Few-Shot Prompt -- B.3 Example of a Zero-Shot-CoT Prompt -- C Dataset Details -- D Results -- References -- Anonymization of Bids in Blockchain Auctions Using Zero-Knowledge Proof -- 1 Introduction -- 2 Related Work -- 3 Blockchain -- 3.1 Ethereum Accounts -- 3.2 Transactions -- 4 Zero-Knowledge Proof -- 5 Proposed Architecture of Zero-Knowledge Proof Based Blockchain Auctions -- 5.1 Proposed Solution -- 5.2 Architecture -- 6 Implementation of Zero-Knowledge Proof Based Blockchain Auction -- 6.1 Tools -- 6.2 Security Tests -- 6.3 Financial Analysis -- 7 Summary -- References -- Survival Signature for Reliability Quantification of Large Systems and Networks -- 1 Survival Signature -- 2 Generalized Survival Signatures -- 3 Computational Aspects -- 4 Modelling for System Reliability -- 5 Concluding Remarks -- References -- Using Resizing Layer in U-Net to Improve Memory Efficiency -- 1 Introduction -- 2 Materials and Methods -- 2.1 Data -- 2.2 Network Architectures -- 2.3 Training and Testing -- 2.4 Evaluation Criteria -- 3 Results -- 4 Discussion -- 5 Conclusion -- References -- Multiprocessor Task Scheduling with Probabilistic Task Duration -- 1 Introduction -- 2 Problem Formulation. ; 3 Dependability in Scheduling - Motivation -- 4 Application of Probability - Erlang Distribution -- 5 Description of the Approach -- 6 Computational Experiments -- 7 Discussion of the Results -- References -- On-Line Scheduling Multiprocessor Tasks in the Non-predictive Environment -- 1 Introduction -- 2 The Problem -- 3 Dependable Scheduling -- 4 Online Scheduling -- 5 Non-preemptive Independent Tasks -- 6 Preemptive Independent Tasks -- 7 Conclusions -- References -- Solving a Vehicle Routing Problem for a Real-Life Parcel Locker-Based Delivery -- 1 Introduction -- 2 Literature Review -- 3 Problem Formulation -- 4 Solving Methods -- 4.1 Greedy Method -- 4.2 Genetic Algorithm -- 5 Computer Experiment -- 6 Conclusions and Future Works -- References -- Hammering Test for Tile Wall Using AI -- 1 Introduction -- 2 Related Works -- 2.1 Testing of Adhesive-Applied Tile Wall -- 2.2 Hammering Test -- 3 Non-destructive Test for Adhesive-Applied Tile Wall -- 3.1 Hammering Test for Adhesive-Applied Tile Wall -- 3.2 Test Specimen -- 3.3 Experiment Flow -- 4 Learning Model and Evaluation -- 4.1 Our Learning Model -- 4.2 Hyper Parameters -- 4.3 Experiment -- 5 Conclusion -- References -- Models of Resilient Systems with Online Verification Considering Changing Requirements and Latent Failures -- 1 Introduction -- 2 The Structure and Markov Model of the Single-Channel Space I& -- C Systems -- 2.1 Space Control Reconfigurable System with Online Verification -- 2.2 The Markov Single-Fragment Model of an Onboard Computer System with Serviced Units -- 3 Markov's Availability Model of Resilient Systems with Online Verification -- 3.1 The Models of Three Online Verification Scenarios of Space Computer Control Reconfigurable System -- 3.2 Research of the Space Resilient Systems Models -- 4 Conclusion -- References. ; Performance Optimizations of Real World Map Transformations for 3D Realtime Mobile Games -- 1 Introduction -- 2 Basic Definitions and Requirements -- 3 Solution Description -- 3.1 Spatial Data Processor Algorithm -- 4 Experimental Results -- 5 Conclusions -- References -- Preliminary Study on the Detection of Subtle Variations in Image Sequences for Identifying False Starts in Speedway Racing -- 1 Introduction -- 2 Materials and Methods -- 2.1 False Start Definition in Speedway Racing -- 2.2 Related Work Review -- 2.3 Research Methodology -- 2.4 Database of Speedway Videos -- 3 Results -- 4 Conclusions and Future Work -- References -- Artificial Intelligence in Renewable Energy: Bibliometric Review of Current Trends and Collaborations -- 1 Introduction -- 2 Methodology -- 3 Bibliometric Analysis of Literature -- 4 Conclusion -- References -- Impact of Learning Data Statistics on the Performance of a Recommendation System Based on MovieLens Data -- 1 Introduction -- 2 Related Work -- 3 Evaluation of Recommender Systems -- 4 Characteristics of Data -- 5 Experiments -- 6 Conclusions -- References -- Randomly Initiated Cyclostationary Excitations for Dimensionality Reduction in Wiener System Identification -- 1 Introduction -- 2 Problem Statement -- 3 The Algorithm -- 4 Summary -- A Appendices -- A.1 Proof of Theorem 1 -- References -- Wireless Employee Safety Monitoring System with Measurement of Biomedical Parameters -- 1 Introduction -- 2 System Architecture -- 2.1 Work Place of the System -- 3 Personal Device -- 3.1 Algorithms and Libraries for Personal Device -- 4 Reference Device -- 5 Master Device -- 6 Connections and Workflow -- 7 Summary -- References -- Artificial Intelligence Methods for Pet Emotions Recognition -- 1 Introduction -- 2 Cat Behaviorism Overview -- 3 Assumptions and Data Preprocessing -- 4 Deep Learning Classifier. ; 4.1 Transfer Learning -- 4.2 Traditional Learning -- 5 MLP Classifier -- 6 Classification Based on Feature Point Prediction -- 7 Conclusions -- References -- Parallel Swarm Intelligence: Efficiency Study with Fast Range Search in Euclidean Space -- 1 Introduction -- 2 Swarm Intelligence -- 3 Implementation -- 4 Results -- 5 Summary -- References -- Digital Transformation Impacts on Industry 4.0 Evolution -- 1 Introduction -- 2 Problem Statement and Research Objectives -- 3 Impact of Industry 4.0 on the Logistics Industry -- 4 Challenges and Future Outlook -- 5 Impact on the Industrial Sector -- 6 Smart Economy and Its Impact -- 7 Challenges of Industry 4.0 for the Industrial Sector -- 8 Conclusion -- References -- Optimization of Procurement Strategy Supported by Simulated Annealing and Genetic Algorithm -- 1 Introduction -- 2 Statement of the Problem -- 3 Method Selection -- 4 Generation of Initial Solutions -- 5 Application of Genetic Algorithm (GA) -- 5.1 Chromosome, Gene, Allele -- 5.2 Initial Population -- 5.3 Parent Selection -- 5.4 Crossover -- 5.5 Mutation -- 5.6 Termination Condition -- 6 Simulated Annealing (SA) -- 7 Results -- 8 Open Problems -- 8.1 New Ideas for Crossover -- 8.2 Estimation of Demand Based on Historical Data -- 8.3 Introduction of Delay Between Order and Delivery. Initial Conditions for the Problem -- 8.4 Introduction of Resource Degradation in Time -- 8.5 Dynamic Parameterization of SA -- 9 Conclusion -- References -- Tumor Volume Measurements in Animal Experiments: Current Approaches and Their Limitations -- 1 Introduction -- 2 Measurement of Tumor Volume During Preclinical Studies -- 3 Estimation of Tumor Volumes from Tumor Length and Width Measured by Caliper -- 4 Conclusion -- References -- Utilizing CNN Architectures for Non-invasive Diagnosis of Speech Disorders -- 1 Introduction -- 2 Related Works -- 3 Experiments. ; 4 Summary -- References -- Preparing a Dataset of Ransomware BTC Addresses for Machine Learning Purpose -- 1 Introduction -- 2 Related Works -- 2.1 Bitcoin Heuristics -- 2.2 Ransomware Transactions -- 3 Methodology -- 3.1 Identified Ransom BTC Addresses -- 3.2 Ransom Addresses Behavior -- 3.3 Identification of Characteristic Metrics -- 4 Summary -- References -- Human Technology Frontier: A Retrospective and Challenges for the Future in the Era of Artificial Intelligence -- 1 Intelligent Systems -- 2 Life Critical Systems -- 3 Human Impact -- References -- Styles for Describing Reliable Finite State Machines in Verilog HDL -- 1 Introduction -- 2 Styles for Describing Robust FSMs -- 3 Description of Combined Structures of Robust FSMs -- 4 Experimental Results -- 5 Conclusions -- References -- Smartphone-Based Biometric System Involving Multiple Data Acquisition Sessions -- 1 Introduction -- 2 Related Works -- 3 Methodology -- 4 Results -- 5 Conclusions -- References -- An Ontology for the Fashion Domain Based on Knowledge Retrieval -- 1 Introduction -- 2 Related Works -- 3 Ontology Development -- 3.1 Scope Definition -- 3.2 Information Extraction Process -- 3.3 Ontology Evaluation -- 3.4 Final Version -- 4 Conclusions and Future Works -- References -- Comparative Efficiency Study of Protective Relays Schemes in Wind Energy Conversion Systems -- 1 Introduction -- 2 Types of Protective Relays Redundancy -- 3 Reliability Models -- 3.1 Single Relay -- 3.2 Series Arrangement -- 3.3 Parallel Arrangement -- 3.4 2-out-of-3 Arrangement -- 4 Case Study -- 5 Conclusions -- References -- Dedicated FPGA Resources in Improving Power Efficiency of Implementations of BLAKE3 Hash Function -- 1 Introduction -- 2 The Algorithm and Possible Adaptation of DSP Logic -- 2.1 The BLAKE Compression Function -- 2.2 Introducing the DSP Slices as 32-Bit Adders. ; 3 Implementations.
• Titolo autorizzato: System Dependability - Theory and Applications
• ISBN: 9783031618574; 9783031618567
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910865268003321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Networks and Systems Series