LEADER 13720nam 22009375 450 001 9910483341703321 005 20230222133713.0 010 $a3-319-62392-3 024 7 $a10.1007/978-3-319-62392-4 035 $a(CKB)4340000000061622 035 $a(DE-He213)978-3-319-62392-4 035 $a(MiAaPQ)EBC6281599 035 $a(MiAaPQ)EBC5596202 035 $a(Au-PeEL)EBL5596202 035 $a(OCoLC)993673858 035 $a(PPN)203668715 035 $a(EXLCZ)994340000000061622 100 $a20170705d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputational Science and Its Applications ? ICCSA 2017 $e17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I /$fedited by 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 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XXXVI, 779 p. 293 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10404 311 $a3-319-62391-5 327 $aIntro -- 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. 327 $aInfluences 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. 327 $a4 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. 327 $a2 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. 327 $a3 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. 327 $aA Novel Approach for Supporting Approximate Representation of Linear Prediction Residuals in Pattern Recognition Tools. 330 $aThe six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10404 606 $aComputer networks 606 $aArtificial intelligence 606 $aAlgorithms 606 $aApplication software 606 $aData structures (Computer science) 606 $aInformation theory 606 $aNumerical analysis 606 $aComputer Communication Networks 606 $aArtificial Intelligence 606 $aAlgorithms 606 $aComputer and Information Systems Applications 606 $aData Structures and Information Theory 606 $aNumerical Analysis 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aAlgorithms. 615 0$aApplication software. 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aNumerical analysis. 615 14$aComputer Communication Networks. 615 24$aArtificial Intelligence. 615 24$aAlgorithms. 615 24$aComputer and Information Systems Applications. 615 24$aData Structures and Information Theory. 615 24$aNumerical Analysis. 676 $a004 702 $aGervasi$b Osvaldo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMurgante$b Beniamino$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMisra$b Sanjay$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBorruso$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorre$b Carmelo M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRocha$b Ana Maria A.C$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTaniar$b David$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aApduhan$b Bernady O$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStankova$b Elena$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCuzzocrea$b Alfredo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483341703321 996 $aComputational Science and Its Applications ? ICCSA 2017$92597976 997 $aUNINA