Advances in Dependability Engineering of Complex Systems : Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XVI, 488 p. 201 illus.) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Dynamics Nonlinear theories Computational Intelligence Artificial Intelligence Applied Dynamical Systems |
ISBN | 3-319-59415-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1.Detection of network attacks using hybrid ARIMA-GARCH model- 2.Towards mixed-mode risk management – a concept; Andrzej Bialas and Barbara Flisiuk -- 3.Software support of the Common Criteria vulnerability assessment -- 4.On the performance of some C# constructions -- 5.Deep Stacking Convex Neuro-Fuzzy System and its On-line Learning -- 6.Fault tolerant ASIC/ULA-based computing systems testing via FPGA prototyping with fault injection -- 7.Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk -- 8.Modelling an Optimal Capital Structure of the Telecommunication Company -- 9.Specification of constraints in a System-of-Systems configuration; Dariusz Caban and Tomasz Walkowiak -- 10.A Methodological Framework for Model-based Self-Management of Services and Components in Dependable Cyber-Physical Systems -- 11.Maintenance of wind turbine scheduling based on output power data and wind forecast -- 12.Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13.Scheduling tasks in embedded systems based on NoC architecture using Simulated Annealing -- 14.Adaptation of Ant Colony Algorithm for CAD of complex systems with higher degree of dependability -- 15.Context-Aware Anomaly Detection in Embedded Systems;Fatemeh Ehsani-Besheli and Hamid R. Zarandi -- 16.Comparative analysis of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic Redundancy in Communication Network of Air Traffic Management System -- 18.Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities -- 19.Concept of multi-criteria evaluation of the airport security control process -- 20.Extending Continuous Integration with post-mortem debug automation of unhandled exceptions occurred in kernel or user mode applications -- 21.The Methodology of Studying of Active Traffic Management Module Self-Oscillation Regime -- 22.Effectiveness examination of a multi-channel CSMA/CA detector -- 23.IaaS vs. traditional hosting for web applications - cost effectiveness analysis for a local market -- 24.High quality stabilization of an inverted pendulum using the controller based on trigonometric function -- 25.The application of RFID technology in supporting the process of reliable identification of objects in video surveillance systems -- 26.Aspect-oriented management of service requests for assurance of high performance and dependability -- 27.Process of mobile application development from the security perspective -- 28.Managing and Enhancing Performance Benchmarks;Jakub Maleszewski and Janusz Sosnowski -- 29.Reliability Optimization for Controller Placement in Software-Defined Networks -- 30.Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations -- 31.RELIABILITY ASSESSMENT OF DRIVING SYSTEMS OF CITY BUSES;Marek M³yñczak -- 32.Testing the significance of parameters of models estimating execution time of parallel program loops according to the Open MPI standard -- 33.On application of regime-switching models for short-term traffic flow forecasting -- 34.Critical information infrastructure protection model and methodology -- 35.The method of creating players in the marketing strategy;Henryk Piech -- 36.Principles of mobile walking robot control in scope of technical monitoring tasks -- 37.Computer Systems – Simple -- 38.Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources -- 39.Assurance Case Patterns On-line Catalogue;Monika Szczygielska and Aleksander Jarzêbowicz -- 40.Information system as a cause of cargo handling process disruption in intermodal terminal -- 42.Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation -- 43.The scope of the collected data for a holistic risk assessment performance in the road freight transport companies -- 44.Language Processing Modelling Notation – orchestration of NLP microservices -- 45.Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources. |
Record Nr. | UNINA-9910299915003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Contemporary Complex Systems and Their Dependability : Proceedings of the Thirteenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2-6, 2018, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XV, 566 p. 219 illus.) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
ISBN | 3-319-91446-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484972703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependability Engineering and Complex Systems : Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27–July 1, 2016, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XIII, 606 p. 242 illus., 105 illus. in color.) |
Disciplina | 003 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational complexity Computational Intelligence Artificial Intelligence Complexity |
ISBN | 3-319-39639-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction -- Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position -- Critical Infrastructure Protection – How to Assess the Protection Efficiency -- Selection of Metrics for the Defect Prediction -- Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and its Adaptive Learning -- Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System -- About Synergy of Flows on Flower -- Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks -- Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs -- Tracing Life Cycle of Software Bugs -- Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability -- Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester -- Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester -- Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases -- Stochastic Runge–Kutta Software Package for Stochastic Differential Equations -- The Assessment Method of the Organization of Municipal Waste Collection Zones -- NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules -- Semi-Markov Model of Damage Process -- The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity -- Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens -- Influence of Data Uncertainty on The Optimum Inspection Period in a Multi-Unit System Maintained According to the Block Inspection Policy -- Effectiveness of Redundancy in Communication Network of Air Traffic Management System -- Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases -- A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City -- The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of its Implementation Using Various Strategies -- WLAN System with Iterative Decoding of OFDM Multi-Symbols -- Context Information in a Collaborative Recommender System Deployed in Real Environment -- The Concept of the Effective Multi-Channel CSMA/CA Detector -- Clustering Context Items into User Trust Levels -- Dependability Metrics for Network Systems - Analytical and Experimental Analysis -- Assessing the Costs of Losses Incurred as a Result of Failure -- Impulse Transmission Model of Macroeconomic Cycle within the Framework of the Theory of Shocks: Aspect of Economic Security -- Multi-agent Systems for Intelligent Retrieval and Processing of Information.-Architecture for Internet of Things Analytical Ecosystem -- Optimal Path Evolution in a Dynamic Distributed MEMS-based Conveyor -- The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas -- Implication of Availability of an Electrical System of a Wind Farm for the Farm’s Output Power Estimation -- CPU Utilization Analysis of Selected Genetic Algorithms in Multi-Core Systems for a Certain Class Of Problems -- Monitoring Reliability of Embedded Systems -- Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices -- Risk Analysis of Interference Railway GSM-R System in Polish Conditions -- Water Producers Risk Analysis Connected with Collective Water Supply System Functioning -- Analysis of Reshuffling Cost at a Container Terminal -- Scheduling in Grid Based on VO Stakeholders Preferences and Criteria -- Vulnerability of Passenger Transportation System – the Main Information Provided by Key Stakeholders. Case Study -- Asynchronous System for Clustering and Classifications of Texts in Polish -- Simulation-based Dependability Analysis of Systems in Multiple Time-Horizons -- Compression Codec Change Mechanisms During a VoIP Call -- Dependability Model of an Area Monitoring System with Mobile Sensors -- Supr: Adaptive Byzantine Fault-Tolerant Replication -- Flood Risk Assessment from Flash Floods in Bodva River Basin, Slovakia -- Invariant–based Performance Analysis of Timed Petri Net Models. |
Record Nr. | UNINA-9910254221403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Dependable Computer Systems and Networks [[electronic resource] ] : Proceedings of the Eighteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 3–7, 2023, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Autore | Zamojski Wojciech |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (361 pages) |
Disciplina | 006.3 |
Altri autori (Persone) |
MazurkiewiczJacek
SugierJarosław WalkowiakTomasz KacprzykJanusz |
Collana | Lecture Notes in Networks and Systems |
Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
ISBN | 3-031-37720-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Line Segmentation of Handwritten Documents Using Direct Tensor Voting -- Practical Approach to Introducing Parallelism in Sequential Programs -- The digital twin to train a neural network detecting headlamps failure of motor vehicles -- Dynamic change of tasks in multiprocessor scheduling -- Regression models evaluation of short-term traffic flow prediction -- Performance analysis of a real-time data warehouse system implementation based on open-source technologies -- Evaluating the Different Factors Affecting the Educational Attainment of Students at the Faculty of Information Technology at Jordan Universities -- Hammering test on a concrete wall using Neural Network -- Artificial intelligence methods in email marketing - a survey -- Detection of oversized objects in a video stream, exploiting an image classification approach using deep neural networks -- Reliability Model of Bioregenerative Reactor of Life Support System for Deep Space Habitation -- Safety assessment of maintained control systems with cascade two-version 2oo3/1oo2 structures considering version faults -- CPU signal rank-based disaggregation in Cloud computing environments -- Efficient Clustering-based Neighbourhood in Recommender Systems -- New approach to constructive induction - Towards Deep Discrete Learning -- Softcomputing Approach to Music Generation -- Identification of the Language UsingStatistical and Neural Approaches -- Smart data logger with continuous ECG signalmonitoring -- Movement Tracking in Augmented and Mixed Realities Impacting the User Activity in Medicine and Healthcare -- General provisioning strategy for local specialized cloud computing environments -- Tabular structures detection on scanned VAT invoices -- Automation of deanonymization queries for the Bitcoin investigations -- Structural models for fault detection of Moore finite state machines -- Application of generative models to augment IMU signals in gait biometric -- Ant colony optimization algorithm for finding the maximum number of d-size cliques in a graph with not always m-vertices in its d parts -- Partitioning of a m-part weighted graph with n vertices in each its part into n cliques with m vertices and the total minimum sum of their edges weights using ant algorithms -- A Study of Architecture Optimization Techniques for Convolutional Neural Networks -- Scheduling Resource to Deploy Monitors in Automated Driving Systems -- Power Analysis of BLAKE3 Pipelined Implementations in FPGA Devices -- Deep Learning ECG Signal Analysis: Description and Preliminary Results -- Deployment of Deep Models in NLP Infrastructure -- Analysis of handwritten texts to detect selected psychological characteristics of a person -- Architecting Cloud-Based Business Software - A Practitioner's Perspective. |
Record Nr. | UNINA-9910741138103321 |
Zamojski Wojciech
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Engineering in Dependability of Computer Systems and Networks : Proceedings of the Fourteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, July 1–5, 2019, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (569 pages) |
Disciplina |
004.24
005 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
ISBN | 3-030-19501-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910483802903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30 – July 4, 2014, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (527 p.) |
Disciplina | 006.3 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational complexity Computational Intelligence Artificial Intelligence Complexity |
ISBN | 3-319-07013-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Framework for the Distributed Computing of the Application Components -- Analysis of statistical characteristics of user arrival process to the testing service -- The Role of Enterprise Social Networking (ESN) on Business: Five Effective Recommendations for ESN -- Dependability and safety analysis of ETCS communication for ERTMS level 3 using performance statecharts and analytic estimation -- Entropy-based Internet Traffic Anomaly Detection: A Case Study -- A Formal Approach for Preventive Maintenance Workload Balancing -- Computer support for the railway safety management system – requirements analysis -- Computer support for the railway safety management system – first validation results -- Reductions of operators in Java mutation testing -- An approach for planning and analysis of the sewage sanitary networks using some calculation formulas and computer simulation -- Mathematical model of task scheduling in educational cloud -- Optimization and control of transport processes in the distributed systems -- On some resources placement schemes in the 4-dimensional soft degradable hypercube processors network -- Efficient training of context-dependent neural nets with conjugate gradient algorithms -- Analysis of Mutation Operators for the Python Language -- Deterministic schedule of task in multiprocessor computer systems with higher degree of dependability -- Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions -- FSM simulation of cryptographic protocols using algebraic processor -- Disturbance Injection in Dependability Assessment of Android Applications -- Approximate algorithm for fast capacity provisioning in WANs with trade-off between performance and cost under budget constraint -- Evolution of software quality models in context of the standard ISO 25010 -- Model checking of UML activity diagrams in logic controllers design -- Impact of selected Java idioms on source code maintainability – empirical study -- Quantification of Temporal Fault Trees Based on Fuzzy Set Theory -- Analysis of physical layer model of WLAN 802.11g data transmission protocol in wireless networks used by telematic systems -- Web systems availability assessment considering attacks on service configuration vulnerabilities -- A Recommender System Based on Content Clustering Used to Propose Forum Articles -- Simple Measure of Network Reliability using the Variance of the Degree Distribution -- CDM: A Prototype Implementation of the Data Mining JDM Standard -- Confidential transportation of data on the technical state of facilities -- Test of the multimedia services implementation in information and communication networks -- Unified Approach to Network Systems Multicriterial Analysis -- A comparison of forecasting methods for Ro-Ro traffic: a case study in the Strait of Gibraltar -- Partial blur: model, detection, deblurring -- Software support for Common Criteria security development process on the example of a data diode -- Increasing performance of SMS based information systems -- Internet-Based Production Monitoring and Reporting -- Reliability analysis of a two-stage Goel-Okumoto and Yamada S-shaped model -- Reliability assessment of cooperation and replacement of surveillance systems in air traffic -- Swarm Intelligence Metaheurisics Application in the Diagnosis of Transformer Oil -- Performance aspect of SaaS application based on tenant-based allocation model in a public Cloud -- Low cost FPGA devices in high speed implementations of Keccak-f hash algorithm -- Distributed time management in Wireless Sensor Networks -- Heuristic Cycle-Based Scheduling with Backfilling for Large-Scale Distributed Environments -- Behavior of web servers in stress tests -- The impact of reconfiguration time on the dependability of complex web based systems -- Propagation losses in urban areas -- Web service for Data Extraction from Semi-Structured Data Sources -- Investigation of system reliability depending on some system components states -- Model fusion for the compatibility verification of software components. |
Record Nr. | UNINA-9910299748403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cham : , : Springer, , 2024 |
Descrizione fisica | 1 online resource (375 pages) |
Altri autori (Persone) |
MazurkiewiczJacek
SugierJarosław WalkowiakTomasz KacprzykJanusz |
Collana | Lecture Notes in Networks and Systems Series |
ISBN |
9783031618574
9783031618567 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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. |
Record Nr. | UNINA-9910865268003321 |
Zamojski Wojciech
![]() |
||
Cham : , : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Applications of Dependable Computer Systems : Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (730 pages) |
Disciplina | 004 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Dynamics Nonlinear theories Artificial intelligence Computational Intelligence Applied Dynamical Systems Artificial Intelligence |
ISBN | 3-030-48256-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sequence mining and property verification for fault localization in Simulink models -- Handwritten text lines segmentation using two column projection -- Convolutional Neural Networks for Dot Counting in Fluorescence in Situ Hybridization Imaging -- Classification of Local Administrative Units in Poland: Spatial Approach -- Development of Methodology for Counteraction to Cyber-attacks in Wireless Sensor Networks -- The Need to Use a Hash Function to Build a Crypto Algorithm for Blockchain -- Common Criteria vulnerability assessment ontology -- Risk Management Approach for Revitalization of Post-Mining Areas -- CVE based classification of vulnerable IoT systems -- Reliability and Availability Analysis of Critical Infrastructure Composed of Dependent Systems. |
Record Nr. | UNINA-9910483474503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Engineering of Complex Systems and Dependability : Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland / / edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (604 p.) |
Disciplina |
006.3
620 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico |
Computational intelligence
Artificial intelligence Dynamics Nonlinear theories Computational Intelligence Artificial Intelligence Applied Dynamical Systems |
ISBN | 3-319-19216-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann Tournaments in Evolutionary Algorithm For CAD of Complex Systems with Higher Degree of Dependability.- Arithmetic in the Finite Fields Using Optimal Normal and Polynomial Bases in Combination.-Development of Domain Model Based on SUMO Ontology.-Verification of UML Class Diagrams Against Business Rules Written in Natural Language -- Increased Safety of Data Transmission for "Smart" Applications in the Intelligent Transport Systems.- Secure Hybrid Clouds: Analysis of Configurations Energy Efficiency Secure Hybrid Clouds: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System at an Airport with Single-report streams -- Functional Readiness of the Check-in Desk System at an Airport.- Performance Issues in Creating Cloud Environment.-A Modified Clustering Algorithm DBSCAN Used in a Collaborative Filtering Recommender System for Music Recommendation -- Evaluation of the Location of the P&R Facilities Using Fuzzy Logic Rules.- Quadrotor Navigation Using the PID and Neural Network Controller -- On Supporting a Reliable Performance of Monitoring Services with a Guaranteed Quality Level in a Heterogeneous Environment.- Reducing Complexity Methods of Safety-related system.- Modeling and Reliability Analysis of Digital Networked Systems Subject To Degraded Communication Networks -- Maintenance Decision Making Process a Case Study of Passenger Transportation Company -- Supporting the Automated Generation of Modular Product Line Safety Cases.- Spatial ALLOCation of Bus Stops: Advanced Econometric Modelling -- The Modeling Algorithm of Communication Run Operations in a Network -- Failure Prediction in Water Supply System -- Freshness Constraints Semantics of RT Framework Credentials.- Logistic Support Model for the Sorting Process of Selectively Collected Municipal Waste -- Access Control Approach in Public Software as a Service Cloud.-Advanced Security Assurance Case Based on ISO/IEC 15408.-Application of Data Encryption for Building Modern Virtual Private Networks -- Defining States in Reliability and Safety Modelling -- Macroscopic Transport Model as a Part of Traffic Management Center: Technical Feasibility Study -- Reliability Assessment of Integrated Airport Surface Surveillance System -- A Group Decision Support Technique for Critical IT-Infrastructures -- Planning of Electric Power Distribution Networks with Reliability Criteria -- Selected Aspects of Modeling the Movement of Aircraft in the Vicinity of the Airport with Regard to Emergency Situations -- Identifying and Symulation of Status of an Ict System Using Rough Sets -- Popular FPGA Device Families in Implementation of Cryptographic Algorithms -- Aspect-oriented Test Inputs Generation from Matlab/Simulink Models, Manel TEKAYA -- Ranking and Cyclic Job Scheduling in QoS-guaranteed Grids.- Web Based Engine for Processing and Clustering of Polish texts -- Effectiveness of Providing Data Confidentiality in Backbone Networks Based on Scalable and Dynamic Environment Technologies.- Models for Estimating the Execution Time of Software Loops in Parallel and Distributed Systems -- Analysis of Different Aspects of Infomobility for Public Transport in Latvia -- Data Actualization Using Regression Models in Decision Support System for Urban Transport Planning -- New Parallel Algorithm for the Calculation of Importance Measures -- An Unloading Work Model at an Intermodal Terminal.- Cost-aware Request Batching for Byzantine Fault-tolerant replication -- Symbolic Analysis Of Timed Petri nets. |
Record Nr. | UNINA-9910299827603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|