Computational Science and Its Applications - ICCSA 2017

Name: Computational Science and Its Applications - ICCSA 2017 | 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I

Osvaldo Gervasi Beniamino Murgante Sanjay Misra Giuseppe Borruso Carmelo M. Torre Ana Maria A.C. Rocha David Taniar Bernady O. Apduhan Elena Stankova Alfredo Cuzzocrea(Editor)

Springer (Publisher)

Published on 3. July 2017

XXXVI, 779 pages

E-Book

PDF with digital watermarking

System requirements

978-3-319-62392-4 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Persons

Content

Intro
Preface
Welcome to Trieste
Organization
Contents - Part I
General Tracks
An Analysis of Reordering Algorithms to Reduce the Computational Cost of the Jacobi-Preconditioned CG Solver Using High-Precision Arithmetic
1 Introduction
2 Systematic Reviews
3 Description of the Tests, Implementation of the Heuristics, Testing, and Calibration
4 Numerical Experiments and Analysis
4.1 Instances Originating from the Discretization of the Laplace Equation by Finite Volumes
4.2 Instances Contained in the University of Florida Sparse Matrix Collection
5 Conclusions
References
An Ensemble Similarity Model for Short Text Retrieval
1 Introduction
2 Related Works
3 Proposed Ensemble Similarity Model
3.1 Vector Space Model
3.2 Edit-distance Similarity
3.3 Ensemble Similarity Measure
4 Preliminary Results and Discussion
5 Conclusion
References
Automatic Clustering and Prediction of Female Breast Contours
Abstract
1 Introduction
2 Methodology
2.1 Data Collection
2.2 Elliptic Fourier Analysis
2.3 Similarity Assessment
2.4 Principal Component Analysis
2.5 K-Means++ Clustering
2.6 Support Vector Machine
3 Result and Discussion
3.1 Breast Contours Reconstruction
3.2 Results of Similarity Assessment
3.3 Results of PCA
3.4 Results of K-Means++ Clustering
3.5 SVM Prediction Model
4 Conclusion
Acknowledgement
References
Parallel Ray Tracing for Underwater Acoustic Predictions
1 Introduction
2 Previous Work
3 The Ray Tracing Model
4 TRACEO3D on Distributed Memory Multi-core Processors
4.1 MPI Basic Concepts
4.2 Parallel Implementation
5 The Tank Scale Experiment
6 Results and Analysis
7 Conclusions
References
Influences of Flow Parameters on Pressure Drop in a Patient Specific Right Coronary Artery with Two Stenoses
Abstract
1 Introduction
2 Materials and Methods
3 Results
3.1 Pressure Gradient-Flow Rate Relationship
3.2 Pressure Gradient-Viscosity Relationship
3.3 Quantitative Correlation of CDP to Each Flow Parameter
3.4 Effect of the Distal Stenosis
4 Discussion
4.1 Effect of Flow Rate
4.2 Effect of Blood Viscosity
4.3 Influence of the Distal Stenosis
5 Conclusions
Acknowledgement
References
Adaptive Sine Cosine Algorithm Integrated with Differential Evolution for Structural Damage Detection
Abstract
1 Introduction
2 Formulation of a Damage Detection Optimization Problem
3 Test Problems with Trusses
3.1 Twenty-Five-Bar Truss
3.2 Seventy-Two-Bar Truss
4 Adaptive Sine Cosine Algorithm Hybridized with Differential Evolution (ASCA-dE)
5 Numerical Experiment
6 Results and Discussions
6.1 Twenty-Five-Bar Truss
6.2 Seventy-Two-Bar Truss
7 Conclusions
Acknowledgments
References
Resource Production in StarCraft Based on Local Search and Planning
1 Introduction
2 Characterization of the Problem
3 Related Work
4 Simulated Annealing in the Maximization of Resource Production
5 POPlan
6 SHELRChecker the Consistency Checker
7 Experiments and Discussion of Results
8 Conclusion and Future Work
References
Inductive Synthesis of the Models of Biological Systems According to Clinical Trials
Abstract
1 Introduction
2 Problem Definition
3 Algorithm of Synthesis
4 Separate Rules Peculiarities
5 Results of Experiments
6 Conclusion
Acknowledgement
References
Solving Sparse Differential Riccati Equations on Hybrid CPU-GPU Platforms
1 Introduction
2 Differential Riccati Equations
3 A Hybrid CPU-GPU Implementation
4 Experimental Evaluation
4.1 Test Cases
4.2 Numerical Results
4.3 Performance Evaluation
5 Conclusions
References
A Hybrid CPU-GPU Scatter Search for Large-Sized Generalized Assignment Problems
1 Introduction
2 Proposed Method
2.1 Greedy Randomized Method
2.2 Tabu Search
2.3 Reference Set (Solution Pool)
2.4 Binary Programming Pool Search
3 Computational Results
4 Conclusions
References
Vector Field Second Order Derivative Approximation and Geometrical Characteristics
Abstract
1 Introduction
2 Vector Field Approximation
2.1 Critical Point
2.2 Linearization of Vector Field
2.3 Approximation Using Hessian Matrix
3 Classification of Critical Points
3.1 Standard Classification Using a Linear Approximation
3.2 Classification Using Description of Conic Sections
4 Conclusion
Acknowledgments
References
Exhaustive Analysis for the Effects of a Feedback Regulation on the Bi-Stability in Cellular Signaling Systems
Abstract
1 Introduction
2 Formulation of Signaling Systems as Regulatory Networks
3 Parameter Values and Appearance Ratio of Bi-Stability for the Analysis
4 Results and Discussion
4.1 Two Nodes Regulatory Networks
4.2 Three Nodes Regulatory Networks
4.3 Four Nodes Regulatory Networks
4.4 Effects of the Length of Feedback Regulations on the Appearance of Bi-Stability and Oscillations
5 Conclusions
References
Fault Classification on Transmission Lines Using KNN-DTW
1 Introduction
2 UFPAFaults Database
3 The KNN-DTW Algorithm
3.1 DTW Calculation
4 Comparison KNN-DTW with FBSC Architecture
4.1 Front Ends: Raw, RMS e-wavelets
5 Analysis of Results
5.1 Result with Gaussian White Noise
6 Conclusion
References
Intelligent Twitter Data Analysis Based on Nonnegative Matrix Factorizations
1 Introduction
2 Twitter Data Analysis Workflow
2.1 Dataset Creation
2.2 NMF Decomposition
2.3 Data Analysis
2.4 Implementation Details
3 Preliminary Experiments
3.1 Datasets
3.2 Factorization Rank
3.3 Results
4 Final Remarks
References
Q-matrix Extraction from Real Response Data Using Nonnegative Matrix Factorizations
1 Introduction
2 Factorization Mechanism in EDM
2.1 NMF for Q-matrix Approximation
2.2 Rank Estimation
3 Q-matrix Extraction from Real Response Data
3.1 Dataset Description and Data Preprocessing
3.2 Q-matrix Generated by the NMF Algorithm
4 Conclusions and Future Work
References
Building Networks for Image Segmentation Using Particle Competition and Cooperation
1 Introduction
2 Image Segmentation Using Particle Competition and Cooperation
3 Building Networks for PCC
4 Experiments
5 Results and Discussion
6 Conclusion
References
QueueWe: An IoT-Based Solution for Queue Monitoring
1 Introduction
2 UFRN's University Restaurant
3 QueueWe: IoT-Based Queue Monitoring Solution
3.1 The Solution's General Architecture
3.2 Technologies Involved
3.3 The Solution's Operation
4 The Solution's Implementation and Evaluation
4.1 Proofs of Concept
4.2 Implementation
5 Conclusions and Future Works
References
Inter-building Routing Approach for Indoor Environment
1 Introduction
2 Inter-building Data Structure
2.1 Three Dimensional Spaces
3 Shortest Path Calculation
3.1 Dijkstra's Algorithm
3.2 Floyd-Warshall Algorithm
3.3 Bellman-Ford Algorithm
3.4 A* Algorithm
4 System Testing and Analyzing
4.1 Time Execution Testing Result
4.2 Distance Result Testing
5 Conclusion
References
A CFD Study of Wind Loads on High Aspect Ratio Ground-Mounted Solar Panels
1 Introduction
2 Computational Domain and Grid
3 Flow Solver Settings
4 Results and Discussion
5 Conclusions
References
A Comparative Study of a GUI-Aided Formal Specification Construction Approach
1 Introduction
2 Refinement Approach in SOFL
3 A GUI-aided Approach
4 A Comparative Study
4.1 Informal Specification
4.2 GUI Models
4.3 Formal Specification
4.4 Results
5 Related Work
6 Conclusions
References
Missing Data Completion Using Diffusion Maps and Laplacian Pyramids
1 Introduction
2 Mathematical Background
2.1 Diffusion Maps
2.2 The Laplacian Pyramid
3 Imputation via Diffusion Maps and Adaptive Laplacian Pyramids
4 Experimental Results
5 Conclusions
References
Classification of Cocaine Dependents from fMRI Data Using Cluster-Based Stratification and Deep Learning
1 Introduction
2 Background
3 Cognitive Control, Cocaine Dependence and Functional Connectivity
4 Methodology
4.1 Data Acquisition and Pre-processing
4.2 Algorithms
4.3 Evaluation
5 Experiments and Results
5.1 Comparative Analysis
5.2 GNG-Based Stratification
6 Conclusion
References
Linear Models for High-Complexity Sequences
1 Introduction
2 Preliminaries and Basic Notation
3 Linear Structures for the Sequences
4 Conclusions
References
PrescStream: A Framework for Streaming Soft Real-Time Predictive and Prescriptive Analytics
1 Introduction
2 Related Work
3 Model Construction, Validation and Concepts
3.1 Training, Test and Validation Data
3.2 Microservices Architecture
4 System Architecture
4.1 Storage Service
4.2 Training Service
4.3 Prescription Service
4.4 Application Model
5 Experiment
5.1 The Data
5.2 The Test
5.3 Results
6 Conclusion and Future Work
References
A Novel Approach for Supporting Approximate Representation of Linear Prediction Residuals in Pattern Recognition Tools
1 Introduction
2 Preliminaries
3 Compressed Sampling Principles
4 Review of LP Residue Approximation by Standard Multi-pulse Approach
5 A Novel Approach for Sparse Approximation of the Speech LP Residue
5.1 The Simulated Annealing Algorithm
6 Compressed Sampling of Linear Prediction Residue
6.1 Generation of Samples Locations
6.2 Algorithm for Determining Optimal Residual Samples
6.3 Convergence Behavior
7 Experimental Results and Analysis
8 Final Remarks and Future Work
References
Genetic Estimation of Iterated Function Systems for Accurate Fractal Modeling in Pattern Recognition Tools
1 Introduction
2 Fractal Geometry, IFS, Linear and Piecewise Fractal Interpolation
3 Genetic Algorithms
4 Optimal Determination of the IFS Parameters
5 Experimental Results and Analysis
6 Final Remarks and Conclusions
References
Evaluation of Frequent Pattern Growth Based Fuzzy Particle Swarm Optimization Approach for Web Document Clustering
1 Introduction
2 Paper Objective
3 Proposed Methodology
3.1 Reducing Search Space Using Frequent Pattern Growth Algorithm
3.2 Semantically Related Conditional Pattern Base
3.3 Fuzzy Particle Swarm Optimization
3.4 Frequent Pattern Growth Based Fuzzy Particle Swarm Optimization
4 Experimental Result and Discussion
4.1 Description of Data Set
4.2 Evaluation Measures
5 Conclusion
References
A Differential Evolution Algorithm for Computing Caloric-Restricted Diets - Island-Based Model
1 Introduction
2 The Caloric-Restricted Diet Problem
3 Island-Based Differential Evolution for CRDP
3.1 Representation of Solutions
3.2 Population Initialization
3.3 Mutation Operator
3.4 Recombination Operator
3.5 Selection Operator
3.6 Constraint Handling
3.7 The Island-Based Implementation
4 Computational Experiments
4.1 Parameters
5 Results
6 Conclusions and Future Works
References
An Implementation of Parallel 1-D Real FFT on Intel Xeon Phi Processors
1 Introduction
2 Vectorization of FFT Kernels
3 Six-Step FFT Algorithm and Real FFT Algorithm
4 Parallelization of Six-Step FFT
5 Performance Results
6 Conclusion
References
A Comprehensive Survey on Human Activity Prediction
1 Introduction
2 Video Representation
2.1 Low-Level Feature
2.2 Mid-Level Feature
2.3 Unsupervised Feature
3 Model and Classification
3.1 Discriminative Model
3.2 Generative Model
3.3 Deep Neural Network
4 Related Datasets for Human Activity Prediction
4.1 UT-Interaction Dataset
4.2 CAD-120 Dataset
4.3 BIT-Interaction Dataset
4.4 JPL First-Person Interaction Dataset
4.5 ActivityNet
5 Conclusion
References
Using Ontology for Personalised Course Recommendation Applications
Abstract
1 Introduction
2 Related Work
3 Ontology Model
3.1 Ontology Mapping
3.2 Ontology Features Matching
4 Semantic Course Recommendation Design
5 Prototype Implementation and Experiment
6 Conclusion and Future Work
References
Accelerating Docking Simulation Using Multicore and GPU Systems
1 Introduction
2 Related Work
2.1 Parallel AutoDock
2.2 Parallelization of AutoDock Vina
3 Virtual Screening
3.1 Virtual Screening Tools
3.2 AutoDock
4 Proposed Implementation
4.1 Initial Tests
4.2 OpenMP Implementation
4.3 CUDA Implementation
4.4 Hybrid Architecture Implementation
5 Experimental Results
6 Conclusions and Future Directions
References
Separation Strategies for Chvátal-Gomory Cuts in Resource Constrained Project Scheduling Problems: A Computational Study
1 Introduction
2 Binary Programming Approach
2.1 Input Data
2.2 Preprocessing
2.3 Formulation
3 The Chvátal Gomory Cut
3.1 Cutting Plane Algorithm
3.2 Strategies to Define Time Window
4 Computational Results
5 Conclusion and Future Works
References
Data Mining Approach to Dual Response Optimization
Abstract
1 Introduction
2 Literature Review
2.1 Dual Response Optimization
2.2 Patient Rule Induction Method
3 Proposed DR-PRIM
4 Example: Concrete Compressive Strength Problem
4.1 Optimization of the Concrete Compressive Strength Problem
4.2 Comparisons of DR-PRIM with Original PRIM
4.3 Cross Validation of the Optimization
5 Conclusion
References
Integrated Evaluation and Multi-methodological Approaches for the Enhancement of the Cultural Landscape
Abstract
1 Introduction
2 Multi-methodological Evaluations Applied to the Case Study
2.1 The Multicriteria Analysis
3 Conclusions and Discussion
Acknowledgements
References
Study of Parameter Sensitivity on Bat Algorithm
1 Introduction
2 Bat Algorithm
2.1 Movement of Virtual Bats
2.2 Loudness and Pulse Emission
3 Test Bed
3.1 Mathematical Benchmark Functions
3.2 Parameters Variation
4 Results and Discussion
4.1 Statistical Analysis
4.2 Objective Function Value Analysis
4.3 How to Choose a Good Set of Parameters
5 Conclusions
References
A Control Mechanism for Live Migration with Data Regulations Preservation
Abstract
1 Introduction
1.1 Background
1.2 Issues on iKaaS Platform
1.3 Our Contribution
2 iKaaS Platform
2.1 The Privacy Certification Authority (PCA)
2.2 Security Gateway
2.3 Query Function
3 Related Technologies and Works
3.1 Role-Based Control
3.2 Hardware Requirements-Based Migration
3.3 Network Configuration Based Migration
3.4 Policy-Based Live Migration
4 Live Migration Process with Data Protection Mechanism
5 Implementation and Discussion
5.1 Collection of Host Machine Information
5.2 Determination of Destination Host Machine
6 Conclusion and Future Work
Acknowledgment
References
Workshop on Challenges, Trends and Innovations in VGI (VGI 2017)
Determining the Potential Role of VGI in Improving Land Administration Systems in Iraq
Abstract
1 Introduction
2 General Definition and Components of Land Administration Systems (LAS)
2.1 Current State of Land Registration and Cadastres
2.2 General Issues with Land Administration Systems in Developing Countries
3 Experiences with the Iraqi Land Administration System
3.1 Land-Registration Problems Before 2003
3.2 Land-Registration Problems After 2003
4 Fit-For-Purpose (FFP) Land Administration
4.1 Variables Which Drive FFP Land Administration
4.2 Public Participatory Work for Collecting Geographic Data
5 Volunteer Geographic Information (VGI)
5.1 The Motivation for VGI
5.2 Evaluating the Use of VGI in the Land Administration System
5.3 VGI Quality Considerations
5.4 Experiences of Using VGI for Land Mapping
6 The Main Hypothesis and Research Questions
7 Conclusion
References
Workshop on Advances in Web Based Learning (AWBL 2017)
Unsupervised Learning of Question Difficulty Levels Using Assessment Responses
1 Introduction
2 Related Work
3 Proposed Methodology
4 Validation Model
4.1 Data Set
4.2 Results
5 Conclusion
6 Future Work
References
An Agents and Artifacts Metamodel Based E-Learning Model to Search Learning Resources
1 Introduction
2 Related Standards and Technologies
2.1 E-Learning Standards
2.2 Agents and Artifacts Metamodel
2.3 CArtAgO Framework
3 The Proposed E-Learning Model Based on Agents and Artifacts Metamodel
3.1 The Agents and Artifacts Metamodel Based E-Learning Environment Model
3.2 The MAS Based E-Learning System to Search Learning Resources
4 Conclusion
References
Workshop on Virtual Reality and Applications (VRA 2017)
Distributed, Immersive and Multi-platform Molecular Visualization for Chemistry Learning
1 Introduction
2 Related Work
3 UnityMol
4 Dimmol
4.1 Multi-platform Support
4.2 UcpGui Scene
4.3 Master-Host-Slave Rendering Architecture
4.4 Free Visualization on Slave Devices
4.5 Trajectory Files
5 Results and Discussion
6 Conclusion and Future Work
References
Embedding Augmented Reality Applications into Learning Management Systems
Abstract
1 Introduction
2 Related Work
3 Embedding LOs Based on RA into an LMS
4 Case Study
5 Conclusions
References
Immersive Ground Control Station for Unmanned Aerial Vehicles
1 Introduction
2 Virtual Reality and Multiprojection System
2.1 Graphic Cluster
2.2 miniCAVE
3 Related Work
4 The Immersive Ground Control Station -- IGCS
5 Concluding Remarks
References
SPackageCreator3D - A 3D Content Creator to the Moodle Platform to Support Human Anatomy Teaching and Learning
1 Introduction
2 Related Work
3 Moodle and 3D Virtual Models Integration
3.1 Moodle
3.2 3D Virtual Models Integration
4 SPackageCreator3D
5 Case Study
6 Results and Discussion
7 Conclusion and Future Works
References
Workshop on Industrial Computational Applications (WIKA 2017)
Real-Time Vision Based System for Measurement of the Oxyacetylene Welding Parameters
Abstract
1 Introduction
2 Oxyacetylene Welding and Control of Its Parameters
3 Computer Vision System for Welding Control
3.1 Oxyacetylene Flame Model
3.2 Intensity Level-Sets Computation and Statistical Moment Analysis
3.3 Color Analysis of a Flame
4 Experimental Results
5 Conclusions
Acknowledgement
References
A Data-Mining Technology for Tuning of Rolling Prediction Models: Theory and Application
Abstract
1 Introduction
2 Self-tuning of Flow-Stress Models
3 Principal Direction Divisive Partitioning Approach
3.1 The PDDP Technology and Its Application to Metal Hardness Testing During Rolling
4 Data Modeling and PDDP Application to Material Classification
4.1 Notation
4.2 The Steel Cold Rolling Case
5 Field Results and Performance Evaluation
5.1 Field Results
5.2 Computational Complexity
5.3 The Implementation
6 Conclusions
References
Workshop on Web-Based Collective Evolutionary Systems: Models, Measures, Applications (IWCES 2017)
Structural and Semantic Proximity in Information Networks
Abstract
1 Introduction: Problem Description and Potential Impact
2 Results Achieved and Proposed Techniques
2.1 Previous Research
2.2 Research Question
2.3 Random Walk Traces: Context Extraction
2.3.1 Definitions
2.3.2 Multipath Extraction
2.4 Set Similarity and Image Similarity
2.4.1 Definitions
2.5 Set Distance and Emotion Recognition
2.5.1 Definitions
2.6 Topological Similarity for Link Prediction
2.6.1 Topological Similarity for Link Prediction: Quasi Common Neighbours
2.6.2 Definitions
2.7 Disambiguation of Bibliographic Networks Through Link Prediction
Acknowledgements
References
Data Protection Risk Modeling into Business Process Analysis
Abstract
1 Introduction
2 Business Process Modeling
3 Data Protection
4 Data Protection and Risk Management
5 Proposed Model for Data Protection Risk
6 Conclusion and Future Work
References
Suitability of BPMN Correct Usage by Users with Different Profiles: An Empirical Study
Abstract
1 Introduction
2 The Research Method
3 Empirical Study on BPMN Correct Usage
3.1 Definition of the Empirical Study
3.2 Empirical Study Planning
3.3 Empirical Study Execution
3.4 Empirical Study Data Analysis
3.5 Empirical Study Results
4 Related Work
5 Conclusions
Acknowledgment
References
Analysis of Tweets to Find the Basis of Popularity
Abstract
1 Introduction
2 Related Work
3 Proposed Methodology
3.1 Architecture
3.2 Data Collection
3.3 Extraction of Names of Persons from Tweet
3.4 Fetching Top k Popular Persons
3.5 Find the Basis of Popularity
4 Implementation and Results
5 Conclusion and Future Work
References
Fitness Landscape Analysis of the Permutation Flowshop Scheduling Problem with Total Flow Time Criterion
1 Introduction and Related Work
2 Experimental Setting
3 Position Type Distributions and Neutrality Analysis
4 Landscape Correlation
5 Fitness-Distance Analysis of the Local Minima
6 Distribution of the Local Minima
7 Fitness Barriers
8 Conclusion
References
Clustering Facebook for Biased Context Extraction
Abstract
1 Introduction
2 Related Work
2.1 WordNet Similarity
2.2 Wikipedia Similarity
2.3 Flickr Similarity
2.4 Context-Based Group Similarity
3 Experiment
3.1 Data Collection
3.2 Preprocessing Phase
3.3 Word-Level and Set-Level Similarity
3.4 Clustering Phase
3.5 Final Visualization
4 Experimental Results and Discussion
References
Workshop on Future Computing Systems, Technologies, and Applications (FiSTA 2017)
mruby -- Rapid IoT Software Development
1 Introduction
2 Internet of Things
2.1 Embedded System
2.2 Software Prototyping
2.3 Embedded Systems Development
3 mruby
3.1 Programming Language Ruby
3.2 mruby
3.3 mruby Compiler and VM
4 Implementation
4.1 mruby VM
4.2 Incremental GC
4.3 C Interface
5 Security
5.1 Cryptosystems
5.2 Security in IoT
5.3 mruby Security Options
6 Conclusion
References
Design Approaches Emerging in Developing an Agricultural Ontology for Sri Lankan Farmers
Abstract
1 Introduction
2 Related Work
3 Design Approaches
3.1 Scenario I: Identifying Main Ontology Components
3.2 Scenario II: Event Handling
3.3 Scenario III: Handling Overlapping
4 Evaluation Methods
5 Conclusions
Acknowledgements
References
Workshop on Data-driven modelling for Sustainability Assessment (DAMOST 2017)
Landslide Risk Analysis Along Strategic Touristic Roads in Basilicata (Southern Italy) Using the Modified RHRS 2.0 Method
Abstract
1 Introduction
2 Mass Movements Risk Assessment Along Roads
2.1 State of Art
3 The RHRS 2.0 Method
3.1 Average Slope
3.2 Land Use
3.3 Average Vehicle Risk
3.4 Roadway Width and Number of Lanes in Each Directions
3.5 Lithology
3.6 Climate
3.7 Intensity/Hazard
4 Study Area: The Provincial Road SP 3 and State Route SS585 (Fondovalle del Noce)
4.1 Geomorphology of the Study Area
4.2 Application of the RHRS 2.0 Method to the Study Area
4.3 Results and Conclusion
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science and Its Applications - ICCSA 2017

Description

More details

Other editions

Additional editions

Persons

Content

System requirements