top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algorithms and Architectures for Parallel Processing, Part I [[electronic resource] ] : 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I / / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
Algorithms and Architectures for Parallel Processing, Part I [[electronic resource] ] : 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I / / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XVIII, 497 p. 161 illus., 87 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Software engineering
Application software
Computer networks
Electronic data processing—Management
Artificial Intelligence
Software Engineering
Computer and Information Systems Applications
Computer Communication Networks
IT Operations
ISBN 3-642-24650-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466015903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algorithms and Architectures for Parallel Processing, Part II [[electronic resource] ] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
Algorithms and Architectures for Parallel Processing, Part II [[electronic resource] ] : 11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou
Edizione [1st ed. 2011.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Descrizione fisica 1 online resource (XVIII, 411 p. 191 illus., 99 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Artificial intelligence
Software engineering
Application software
Computer networks
Electronic data processing—Management
Artificial Intelligence
Software Engineering
Computer and Information Systems Applications
Computer Communication Networks
IT Operations
ISBN 3-642-24669-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465970103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Availability, Reliability, and Security in Information Systems and HCI [[electronic resource] ] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013, Proceedings / / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu
Availability, Reliability, and Security in Information Systems and HCI [[electronic resource] ] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013, Proceedings / / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 504 p. 156 illus.)
Disciplina 005.7
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Computer security
Information storage and retrieval
Data encryption (Computer science)
E-commerce
Information technology
Business—Data processing
Information Systems Applications (incl. Internet)
Systems and Data Security
Information Storage and Retrieval
Cryptology
e-Commerce/e-business
IT in Business
ISBN 3-642-40511-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Economic, ethical, legal, multilingual, organizational and social aspects -- Context-oriented information integration -- Data/information management as a service -- Context-oriented information integration and location-aware computing -- Security and privacy -- Risk management and business continuity -- Security and privacy and location based applications.
Record Nr. UNISA-996465964103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Availability, Reliability, and Security in Information Systems and HCI [[electronic resource] ] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013, Proceedings / / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu
Availability, Reliability, and Security in Information Systems and HCI [[electronic resource] ] : IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference, CD-ARES 2013, Regensburg, Germany, September 2-6, 2013, Proceedings / / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 504 p. 156 illus.)
Disciplina 005.7
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Application software
Computer security
Information storage and retrieval
Data encryption (Computer science)
E-commerce
Information technology
Business—Data processing
Information Systems Applications (incl. Internet)
Systems and Data Security
Information Storage and Retrieval
Cryptology
e-Commerce/e-business
IT in Business
ISBN 3-642-40511-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Economic, ethical, legal, multilingual, organizational and social aspects -- Context-oriented information integration -- Data/information management as a service -- Context-oriented information integration and location-aware computing -- Security and privacy -- Risk management and business continuity -- Security and privacy and location based applications.
Record Nr. UNINA-9910483835303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part II / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 726 p. 291 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Artificial intelligence
Algorithms
Computer science—Mathematics
Discrete mathematics
Artificial intelligence—Data processing
Computer Communication Networks
Artificial Intelligence
Discrete Mathematics in Computer Science
Data Science
Mathematical Applications in Computer Science
ISBN 3-319-62395-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Welcome to Trieste -- Organization -- Contents - Part II -- Workshop on Agricultural and Environmental Big Data Analytics (AEDBA 2017) -- Lack of Data: Is It Enough Estimating the Coffee Rust with Meteorological Time Series? -- 1 Introduction -- 2 Background -- 2.1 Coffee Rust -- 2.2 Time Series -- 2.3 Regression Models -- 3 Data Pre-processing -- 4 Experimental Results -- 5 Conclusions and Future Works -- References -- Urban Sprawl, Labor Incomes and Real Estate Values -- Abstract -- 1 Introduction and Aim of the Paper -- 2 Methodology of Analysis and Data Processing -- 3 Urban Growth on a Metropolitan Area -- 4 Spatial Distribution of Real Estate Values -- 5 Labor or Capital Income, Unemployment Rate and More -- 6 Conclusions -- References -- OLAP Analysis of Integrated Pest Management's Defense Rules: Application to Olive Crop in Apulia Region -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Sustainable Agriculture Indicators -- 2.2 OLAP for Agriculture -- 3 OLAP Model for IPM -- 3.1 Integrated Pest Management for Olive Tree -- 3.2 OLAP Model -- 4 Implementation -- 5 Conclusions -- References -- Adaptive Prediction of Water Quality Using Computational Intelligence Techniques -- Abstract -- 1 Introduction -- 2 Related Studies -- 3 Data and Study Area -- 3.1 United States Geological Survey (USGS) -- 3.2 Cauca River Modeling Project Phase II (PMC II) -- 4 Water Quality Adaptive Prediction -- 4.1 Parameters Setting Component -- 4.2 Predictive Component -- 4.3 Adaptive Component -- 5 Experimental Results -- 5.1 Regressor Selection for Predictive Component -- 5.2 Algorithm Selection for Adaptive Component -- 6 Conclusions and Future Work -- Acknowledgements -- References -- A Tool for Classification of Cacao Production in Colombia Based on Multiple Classifier Systems -- Abstract -- 1 Introduction -- 2 Data and Study Area.
3 Data Preprocessing -- 4 Model Selection -- 5 Model Deployment -- 6 Conclusions and Future Work -- Acknowledgements -- References -- Decision Support System for Coffee Rust Control Based on Expert Knowledge and Value-Added Services -- Abstract -- 1 Introduction -- 2 Decision Support System for Coffee Rust Control: DSS-CRC -- 2.1 Fungicide Type -- 2.2 Moment of Fungicide Application -- 2.3 Fungicide Application Technology -- 2.4 Knowledge Base Definition -- 3 DSS-EWS Integration -- 4 Evaluation -- 4.1 Decision Quality -- 4.2 Decision Process Efficiency -- 4.3 Decision Maker's Satisfaction -- 5 Conclusions -- Acknowledgements -- References -- Impact of Temporal Features of Cattle Exchanges on the Size and Speed of Epidemic Outbreaks -- 1 Introduction -- 2 Dataset -- 3 Data Modeling -- 4 Infection Modeling -- 5 Size of Cascades -- 6 Speed of Cascades -- 7 Conclusion -- References -- Creating Territorial Intelligence Through a Digital Knowledge Ecosystem: A Way to Actualize Farmer Empowerment -- Abstract -- 1 Introduction -- 2 A Mobile-Based Information System for Farmers Empowerment -- 3 A TI-Based Shift from Farmers Empowerment to Citizen Empowerment -- 4 The Digital Knowledge Ecosystem for Spatially-Enabled Farmer Communities -- 4.1 Architectural Principles of the Digital Knowledge Ecosystem -- 4.2 Engaging Mobile Users -- 5 Conclusion -- References -- Workshop on Advanced Methods in Data Mining for Applications (AMDMA 2017) -- The Classification of Turkish Economic Growth by Artificial Neural Network Algorithms -- 1 Introduction -- 2 Materials and Methods -- 2.1 Materials -- 2.2 Methods -- 3 Results and Discussion -- 4 Conclusion -- References -- Standardized Precipitation Index Analyses with Wavelet Techniques at Watershed Basin -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 2.1 Study Area and Data.
2.2 Standardized Precipitation Index -- 2.3 Wavelet Analyses -- 3 Analyses -- 3.1 Time Series Analyses of SPI -- 3.2 Wavelet Analyses -- 4 Results and Conclusion -- Akcknowledgements -- References -- Comparison of Deep Learning and Support Vector Machine Learning for Subgroups of Multiple Sclerosis -- 1 Introduction -- 2 Material and Method -- 2.1 Materials -- 3 Method -- 4 Results and Discussion -- 5 Conclusion -- References -- Workshop on Advanced Smart Mobility and Transportation (ASMAT 2017) -- Preliminary Investigation on a Numerical Approach for the Evaluation of Road Macrotexture -- Abstract -- 1 Introduction -- 2 Objective -- 3 Laboratory Test: Gyratory Compactor Technique and Experimental Campaign -- 4 Numerical Modeling -- 4.1 The DEM Simulation of the Gyratory Compactor -- 5 Analysis of Results -- 5.1 Repeatability Analysis -- 5.2 Wall Effect Analysis -- 5.3 Time History Analysis -- 5.4 Real Specimens and DEM Comparison -- 6 Conclusions and Recommendations -- Acknowledgements -- References -- Novelty Detection for Location Prediction Problems Using Boosting Trees -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed System -- 3.1 Preprocessing -- 3.2 Features Extraction -- 3.3 Classification Models -- 4 Experimental Results -- 4.1 Datasets -- 4.2 Experiments -- 4.3 Results -- 5 Conclusion -- References -- Estimation of an Urban OD Matrix Using Different Information Sources -- Abstract -- 1 Introduction -- 2 The Empirical Data -- 3 State of the Art of OD Estimations -- 3.1 Categories of Sensors -- 3.2 Multiple Data Source -- 4 The Methodological Framework -- 5 Some Preliminary Results -- 6 Discussion and Conclusions -- References -- Workshop on Advances in Information Systems and Technologies for Emergency Preparedness, Risk Assessment and Mitigation (ASTER 2017).
Flood Hazard Assessment of the Fortore River Downstream the Occhito Dam, in Southern Italy -- Abstract -- 1 Introduction -- 2 The Case Study Description -- 3 Evaluation of the Hydrological Discharges -- 4 Results -- 5 Conclusions -- Acknowledgments -- References -- Hierarchical Spatial Distribution of Seismic Risk of Italian RC Buildings Stock -- Abstract -- 1 Introduction -- 2 Elements for Italian Existing RC Buildings Seismic Risk Map -- 2.1 Italian Seismic Hazard -- 2.2 Building Types -- 2.3 Seismic Risk Index -- 3 A Novel Italian RC Buildings Seismic Risk GIS Map -- 4 Discussion and Conclusion -- References -- Resilience Modification and Dynamic Risk Assessment in Hybrid Systems: Study Cases in Underground Settlements of Murgia Edge (Apulia, Southern Italy) -- Abstract -- 1 Introduction -- 2 Hybrid Systems -- 3 Apulian Underground Settlements -- 3.1 Instability and Hazard Factors -- 3.2 Risk Factors -- 3.3 Resilience and Emerging Signals -- 4 Methodologies and Study Cases -- 5 Conclusions -- References -- Preventive Approach to Reduce Risk Caused by Failure of a Rainwater Drainage System: The Case Study of Corato (Southern Italy) -- Abstract -- 1 Introduction -- 2 The Case Study -- 3 Data and Method -- 3.1 Key Variables and Data Collected -- 3.2 Layer Integration and Risk Mapping -- 4 Results -- 5 Conclusions -- References -- Earthquake's Rubble Heaps Volume Evaluation: Expeditious Approach Through Earth Observation and Geomatics Techniques -- Abstract -- 1 Introduction -- 1.1 Earthquake Events -- 2 Study Area -- 2.1 Geology -- 3 Data and Methods -- 3.1 Dataset -- 3.2 Methodology -- 4 Results -- 5 Discussion and Conclusions -- Acknowledgments -- References -- A Geospatial Decision Support Tool for Seismic Risk Management: Florence (Italy) Case Study -- Abstract -- 1 Introduction -- 2 A Short Overview on the Steps -- 3 Case Study Description.
3.1 Historical Seismicity and Selection of the Earthquake Event for the Scenarios -- 3.2 Available Data -- 4 Method -- 4.1 Deterministic Seismic Hazard and Site Effects Analysis -- 4.2 Building Vulnerability and Damage Assessment -- 4.3 Expected Consequences on Population and Buildings -- 5 Results and Discussion: Scenarios for Selected Earthquakes -- 6 Conclusion -- Acknowledgement and Disclaimer -- References -- Enhancing Creativity in Risk Assessment of Complex Sociotechnical Systems -- 1 Introduction -- 2 Related Work -- 3 The Water Systems Case Study -- 3.1 Vulnerability Assessment Support System Experiment -- 3.2 VUM Ontology -- 4 CREAM-Based Risk Models Generation -- 4.1 Risk Models Generation Process -- 4.2 Risk Mini-Models Examples -- 5 Conclusions -- References -- Spatial Analysis and Ranking for Retrofitting of the School Network in Lima, Peru -- Abstract -- 1 Introduction -- 2 The Case Study -- 2.1 Description of the Lima Metropolitan Area -- 2.2 Seismic Risk of Public Schools in the City -- 3 Retrofitting Prioritization Ranking -- 3.1 Methodology -- 3.2 Results -- 4 Conclusion -- Acknowledgments -- References -- Workshop on Bio-inspired Computing and Applications (BIONCA 2017) -- Crowd Anomaly Detection Based on Optical Flow, Artificial Bacteria Colony and Kohonen's Neural Network -- 1 Introduction -- 2 Related Works -- 3 Architecture of the System -- 4 Proposed Algorithm -- 4.1 Optical Flow -- 4.2 Artificial Bacteria Colony -- 4.3 Kohonen's Neural Network -- 5 Experiments and Results -- 6 Conclusion -- References -- Workshop on Computational and Applied Mathematics (CAM 2017) -- An Uncoupling Strategy in the Newmark Method for Dynamic Problems -- 1 Introduction -- 2 Model Equations -- 3 Uncoupled Newmark Method -- 4 Convergence Issue -- 5 Numerical Simulations -- 6 Conclusions -- References.
Continuous Extensions for Structural Runge--Kutta Methods.
Record Nr. UNISA-996466294803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 779 p. 293 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Artificial intelligence
Algorithms
Application software
Data structures (Computer science)
Information theory
Numerical analysis
Computer Communication Networks
Artificial Intelligence
Computer and Information Systems Applications
Data Structures and Information Theory
Numerical Analysis
ISBN 3-319-62392-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 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.
Record Nr. UNISA-996466293903316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 749 p. 409 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Artificial intelligence
Application software
Computer vision
Computers, Special purpose
Algorithms
Computer Communication Networks
Artificial Intelligence
Computer and Information Systems Applications
Computer Vision
Special Purpose and Application-Based Systems
ISBN 3-319-62401-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Welcome to Trieste -- Organization -- Contents -- Part IV -- Workshop on Geomatics and Remote Sensing Techniques for Resource Monitoring and Control (GRS-RMC 2017) -- UAV-Borne Photogrammetric Survey as USAR Firefighter Teams Support -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 2.1 Test Area -- 2.2 UAV and Photogrammetric System -- 2.3 Benchmark Surveys -- 2.4 Ground Control Point and Images Processing Methods -- 3 Results and Discussion -- 4 Conclusions -- Acknowledgments -- References -- Calibration of the CLAIR Model by Using Landsat 8 Surface Reflectance Higher-Level Data and MODIS Leaf Area Index Products -- 1 Introduction -- 2 Study Area and Data -- 3 Method -- 3.1 Identification of the Soil-Line Slope (a) and Asymptotical Limiting Value of WDVI (WDVI) -- 3.2 Extinction Coefficient () -- 4 Results and Discussion -- 5 Conclusion -- References -- The Use of Geomorphological Descriptors and Landsat-8 Spectral Indices Data for Flood Areas Evaluation: A Case Study of Lato River Basin -- 1 Introduction -- 2 Case Study -- 3 Methodologies -- 3.1 Morphological Descriptors of Basin -- 3.2 Hydrologic/hydraulic Modeling -- 3.3 Linear Binary Classifiers Method -- 3.4 Correction and Sampling Methodologies of Satellite Imagine -- 3.5 Evaluation of Spectral Indices: The Procedure Used for the Definition of Flooded Areas -- 4 Results and Discussion -- 4.1 Spectral Index Selection -- 4.2 Evaluation of Geomorphological Indices -- 5 Conclusion -- References -- C_AssesSeg Concurrent Computing Version of AssesSeg: A Benchmark Between the New and Previous Version -- 1 Introduction -- 2 Study Area and Dataset -- 2.1 Study Area -- 2.2 Dataset: Satellite Data -- 3 The New AssesSeg and Experimental Design -- 3.1 C_AssessSeg (Concurrent Computing Version of AssesSeg) -- 3.2 Ground Truth Data and Experimental Design.
4 Results and Discussion -- 5 Conclusions -- References -- An Optimized Fuzzy System for Coastal Water Quality Mapping Using Remote Sensing Data -- Abstract -- 1 Introduction -- 2 Water Quality Estimation Maps -- 3 PSD Analysing -- 4 Pollution Map -- 4.1 Selection of Risky Sites -- 4.2 PSD Analysis -- 5 Conclusion -- References -- MMS and GIS for Self-driving Car and Road Management -- Abstract -- 1 Introduction -- 2 Tracking of Trajectories -- 3 Road Signs Recognition -- 3.1 Standard Hough Transform Algorithm -- 3.2 Neural Networks -- 4 Conclusions -- References -- Hyperspectral Data Classification to Support the Radiometric Correction of Thermal Imagery -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 3 Results -- 4 Conclusions -- Acknowledgements -- References -- Evaluation of the Laser Response of Leica Nova MultiStation MS60 for 3D Modelling and Structural Monitoring -- Abstract -- 1 Introduction -- 2 Leica Nova MS60 Response on Different Materials -- 3 The Survey of the Castle of Casalbagliano -- 4 Conclusion and Final Remarks -- Acknowledgments -- References -- A Low-Cost Solution for the Monitoring of Air Pollution Parameters Through Bicycles -- Abstract -- 1 Introduction -- 2 Implemented Dynamic System -- 3 Sensors Evaluation: Experimental Analysis -- 3.1 Air Quality Monitoring System -- 3.2 Imaging Sensors Calibration -- 4 A Case Study -- 4.1 Data Acquisition and Processing -- 4.2 Management of Dynamic Data in GIS -- 5 Conclusions -- References -- High Temperature Fire Experiment for TET-1 and Landsat 8 in Test Site DEMMIN (Germany) -- Abstract -- 1 Introduction -- 2 Theoretical Background -- 3 Test Site, Data, and Material -- 3.1 Calibration and Validation Test Site DEMMIN -- 3.2 In-Situ and Remote Sensing Data -- 4 Method -- 4.1 Work Flow of Fire Experiment -- 4.2 Preliminary Consideration for Fire Campaign -- 5 Conclusion.
Acknowledgements -- References -- Ground-Based Real-Aperture Radar for Deformation Monitoring: Experimental Tests -- Abstract -- 1 Ground-Based Real-Aperture Radar -- 2 Assessment of Range Displacement Measurement Precision -- 3 Influence of the Environment on InRAR Measurements -- 4 Analysis of the Influence of Design Parameters on Final Accuracy -- 5 Repositioning of the Radar Sensor -- 6 Quasi-Static 'Stereo-Radar' Monitoring -- 7 Conclusions and Future Developments -- Acknowledgements -- References -- Cultural Heritage Management Using Analysis of Satellite Images and Advanced GIS Techniques at East ... -- Abstract -- 1 Introduction -- 2 Study Area -- 2.1 Luxor Area -- 2.2 Kangavar Area -- 3 Problem Definition -- 4 Material and Methodology -- 4.1 Materials -- 4.2 Methodology -- 4.2.1 Classification of the Images -- 4.2.2 Band Combinations in TM and Sentinel 2 Data -- 5 Results -- 5.1 The Changes in the Urban Area -- 5.2 Band Combinations -- 6 Discussion -- 7 Recommendations -- 8 Conclusions -- References -- High Frequency GNSS Measurements for Structural Monitoring Applications -- Abstract -- 1 Introduction -- 2 Case Study and Experimental Results -- 3 Kinematic Experiments Applied to Wind-Powers Vibration Monitoring -- 4 Conclusions -- Acknowledgements -- References -- Extraction of Road Geometric Parameters from High Resolution Remote Sensing Images Validated by GNSS ... -- Abstract -- 1 Introduction -- 2 Existing Studies -- 3 Method Case Studies -- 3.1 Road Geometry Survey Using a Mobile Mapping System (MMS) -- 3.2 Road Parameters Extraction from High Resolution Satellite Images -- 4 Conclusions -- References -- Workshop on Interactively Presenting High-Quality Graphics in Cooperation with Various Computing Tools (IPHQC 2017) -- Using Tangible Contents Generated by CindyJS and Its Influence on Mathematical Cognition -- 1 Introduction.
2 Cinderella and CindyJS -- 3 Methods -- 4 Results -- 5 Discussions -- 6 Concluding Remarks -- References -- Analysis of the Use of Teaching Materials Generated by KeTCindy as an Aid to the Understanding of Mathematics -- 1 Introduction -- 2 K.5exETCindy -- 3 Cognitive Detection Clicker System -- 4 Experimental Study -- 4.1 Teaching Materials -- 4.2 Implementation -- 4.3 Results -- 5 Statistical Analysis of CDC Data -- 5.1 Comparison of Proportions of Correct Answers -- 5.2 Comparison of Response Times for Correct Answers -- 5.3 Analysis of Incorrect Answers -- 6 Concluding Remarks -- References -- Active Learning with Dynamic Geometry Software -- 1 Introduction -- 2 Beautiful Constructions -- 3 Relations Among Six Transformations -- 4 Space Curve as a Generator of Five Planar Curves -- 5 Visualization of Special Linear Group -- 6 Conclusion -- References -- Data Processing with K.5exETCindy -- 1 Introduction -- 2 Data Handling with K.5exETCindy -- 2.1 Data Input, Output and Display -- 2.2 Data Processing with K.5exETCindy Commands -- 2.3 Other Functions -- 3 Practical Example -- 3.1 Transition of Daily Values and of Moving Average per Week -- 3.2 Monthly Averages -- 4 Conclusions and Future Work -- References -- Brachistochrone Problem as Teaching Material -- Application of KeTCindy with Maxima -- 1 Introduction -- 2 Finding Equations of Motion and Total Time -- 3 Use of K.5exETCindy with Maxima -- 3.1 The Case of an Inverted Cycloid -- 3.2 The Case of a Circle -- 3.3 The Case of a Parabola -- 4 Examples of Interactive Materials -- 4.1 Using a Bézier Curve -- 4.2 Moving the Point with a Slider -- 5 Derivation of the Brachistochrone Curve -- 6 Conclusions -- References -- Producing Teaching Materials for Spatial Figures with KeTCindy and the Educational Benefits of Combining Materials -- 1 Introduction -- 2 Making a Plan for a Calculus Class.
2.1 Explanation of Polar Coordinates and Practices -- 2.2 Figures Represented by Polar Coordinates -- 2.3 Double Integrals Transformed by Polar Coordinates -- 2.4 Explanation of Formulas of Double Integrals -- 3 Our Experimental Class and Survey Results -- 4 Conclusion -- References -- Authoring Quizzes with Interactive Content on the Mathematics e-Learning System STACK -- 1 Introduction -- 2 Interactive Content Embedded in STACK Questions -- 2.1 How to Embed Interactive Content in STACK Questions -- 2.2 Examples of STACK Questions with Interactive Content -- 3 Discussion: Effective Use of Questions with Interactive Content -- 4 Conclusion -- References -- PDF Slide Teaching Materials Created Using K.5exETCindy -- 1 Introduction -- 2 K.5exETCindy System -- 3 PDF Slide Teaching Materials -- 3.1 Basic Production Method -- 3.2 Using Item Animations -- 3.3 Using Flip Animations -- 4 Effect in Math Classes Using PDF Slides -- 5 Conclusion and Future Works -- References -- KETpic-Matlab Toolbox for LaTeX High-Quality Graphical Artwork in Educational Materials on Bézier Curve Algorithms at a Master Level -- 1 Introduction -- 2 K.5exETpic-Matlab Toolbox for Bézier Curve Algorithms -- 2.1 About K.5exETpic -- 2.2 K.5exETpic-Matlab Toolbox Pipeline -- 3 Illustrative Examples -- 3.1 Example 1: De Casteljau's Algorithm for Evaluation -- 3.2 Example 2: De Casteljau's Algorithm for Subdivision -- 3.3 Example 3: Modified Algorithm for Degree Raising -- 3.4 Example 4: Variation Diminishing Property -- 3.5 Example 5: Basis Functions and Partition of Unity Property -- 3.6 Example 6: Connecting Bézier Curves with a Given Continuity -- 4 Conclusions and Future Work -- References -- Identification of High-Risk Hotspots Along Railway Lines -- Abstract -- 1 Preliminary Considerations -- 2 Materials and Methods -- 2.1 Notations.
2.2 Identification of the Railway Lines' Hotspots, Computation of Their Exposure.
Record Nr. UNISA-996466305103316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part III / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 766 p. 219 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Artificial intelligence
Application software
Algorithms
Computer vision
Social sciences—Data processing
Computer Communication Networks
Artificial Intelligence
Computer and Information Systems Applications
Computer Vision
Computer Application in Social and Behavioral Sciences
ISBN 3-319-62398-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996466303803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 799 p. 315 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Artificial intelligence
Application software
Software engineering
Data mining
Computers
Computer Communication Networks
Artificial Intelligence
Computer and Information Systems Applications
Software Engineering
Data Mining and Knowledge Discovery
Computing Milieux
ISBN 3-319-62407-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Welcome to Trieste -- Organization -- Contents - Part VI -- Workshop on Software Engineering Processes and Applications (SEPA 2017) -- MC-DMN: Meeting MCDM with DMN Involving Multi-criteria Decision-Making in Business Process -- 1 Introduction -- 2 Decision-Making in Business Process: Related Works -- 2.1 The BPMN Standard -- 2.2 The DMN Standard -- 2.3 DMN Limitations Relative to Criteria Preference -- 3 Multi-criteria Decision-Making -- 3.1 MCDM Methods -- 3.2 TOPSIS -- 4 DMN Under Multi-criteria Analysis -- 4.1 Analogy Between DMN Decision Table and TOPSIS Data Matrix -- 4.2 MC-DMN -- 4.3 MC-DMN Applying Example for ETL Software Selection -- 5 Conclusion and Future Works -- References -- Context Sensitive Query Correction Method for Query-Based Text Summarization -- 1 Introduction -- 2 Literature Survey -- 3 Overview of the Proposed Method: CSQ -- 3.1 Proposed Framework -- 3.2 Description of Proposed Method (CSQ) -- 3.3 Example Computation -- 4 Experimental Results and Discussion -- 4.1 Comparison of CSQ Method with Real-Word Spell Checkers -- 4.2 Comparison of CSQ Method with Non-word Spell Checkers -- 5 Conclusion -- References -- Ontological Controlling the Lexical Items in Conceptual Solution of Project Tasks -- Abstract -- 1 Introduction -- 2 Preliminary Bases -- 2.1 Conceptual Solution of the Task -- 2.2 Project Ontology -- 3 Related Works -- 4 Toolset for Creating a Project Ontology -- 4.1 Basic Workflows -- 4.2 Agent B. Filtering Out Stop Words -- 4.3 Agent D. Fetching Out the Ambiance -- 4.4 Programmed Access to the Ontology -- 5 Understanding of Textual Increments and Their Combinations -- 6 Example of Applying for the Ontological Support -- 7 Conclusion -- Acknowledgement -- References -- IoT-Based Healthcare Applications: A Review -- 1 Introduction -- 2 Method -- 2.1 Research Questions -- 2.2 Search Process.
2.3 Inclusion and Exclusion Criteria -- 2.4 Quality Assessment -- 2.5 Data Collection -- 3 Results -- 3.1 Search Results -- 3.2 Overview of Studies -- 3.3 Quality Evaluation Results -- 4 Discussion -- 4.1 What are the Main Characteristics of Healthcare Applications Based on IoT Infrastructure? -- 4.2 What are the Patterns and Protocols Used in Healthcare Applications Based on IoT Infrastructure? -- 4.3 What are the Challenges and Opportunities Related to Healthcare Applications Based on IoT Infrastructure? -- 4.4 Limitations of This Review -- 5 Conclusion and Future Works -- References -- Fast Semi-blind Color Image Watermarking Scheme Using DWT and Extreme Learning Machine -- 1 Introduction -- 2 Research Contribution and Motivation -- 3 Extreme Learning Machine -- 4 Experimental Details -- 4.1 Watermark Embedding Algorithm -- 4.2 Watermark Extraction Algorithm -- 5 Results and Discussion -- 5.1 Embedding and Extraction -- 5.2 Executing Image Processing Attacks -- 6 Conclusions -- References -- Quality Enhancement of Location Based Services Through Real Time Context Aware Obfuscation Using Crowd Sourcing -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Problem Definition -- 3 Overall System Design -- 3.1 Mobile Client with Web Interface -- 3.2 Middleware -- 3.3 Location Service Provider (LSP)/Location Server -- 4 Implementation and Experiments -- 5 Statistical Establishment of the System -- 6 Conclusions and Future Directions -- References -- A Model-Based Testing Method for Dynamic Aspect-Oriented Software -- 1 Introduction -- 2 Dynamic AOP and Model-Based Testing -- 3 Related Works -- 4 The MESOADI Method -- 4.1 Case Study: An Intelligent Transportation System -- 4.2 Dynamic Combined Reacheability Tree -- 4.3 A New Strategy to Derive Test Sequences -- RTPMESOADI -- 5 Results and Discussion -- 5.1 Timed Automata and Model-Checker.
5.2 Effectiveness Level of the Generated Test Cases -- 6 Conclusion and Future Work -- References -- The Impacts of Using SNSs on e-WOM and Knowledge Sharing Through Social Capital: An Empirical Study in Vietnam -- Abstract -- 1 Introduction -- 2 Definitions -- 2.1 Web 2.0 -- 2.2 Social Network Sites -- 2.3 Social Capital -- 2.4 e-WOM -- 2.5 Knowledge -- 2.6 Knowledge Management -- 2.7 Knowledge Sharing -- 3 Research Model -- 4 Research Process -- 4.1 Measurement Scales -- 4.2 Sample Size and Breakdown -- 4.3 Data Analysis Methods -- 5 Analysis Results -- 5.1 Sample Description -- 5.2 Preliminary Assessment of Measurement Scales -- 5.3 Exploratory Factor Analysis -- 5.4 Final Assessment of Measurement Scales Using CFA -- 5.5 Test Model and Hypothesis Using SEM -- 6 Discussion -- 6.1 For Vietnamese Businesses -- 6.2 For the Vietnamese Government -- 6.3 For Vietnamese Providers of Social Networking Services -- 7 Conclusion and Future Research -- References -- An Experiment to Evaluate Software Development Teams by Using Object-Oriented Metrics -- 1 Introduction -- 2 Related Works -- 3 Metrics for Object-Oriented Design -- 3.1 CK Metrics -- 3.2 MOOD Metrics -- 4 Methodology -- 5 Reference Values -- 5.1 CK Metrics -- 5.2 MOOD Metrics -- 6 Experiment Definition and Planning -- 6.1 Goal Definition -- 6.2 Planning -- 7 Operation of the Experiment -- 7.1 Preparation and Execution -- 7.2 Data Validation -- 8 Results -- 8.1 Data Collected from Participating Companies -- 8.2 Data Collected on Undergraduate Students -- 8.3 Metrics Results -- 8.4 Data Analysis and Interpretation -- 9 Software Metrics vs. Development Team -- 10 Conclusion and Future Works -- References -- An Event-Based Technique to Trace Requirements Modeled with SysML -- 1 Introduction -- 2 Background and Literature Survey -- 2.1 Event Based Traceability -- 2.2 Communication with Stakeholders.
2.3 SysML -- 3 Criteria for Traceability Requirements Tool -- 4 A Proposed Approach for Requirements Tracing with Supporting Tool -- 5 Evaluation of the Tool with TAM (Technology Acceptance Model) -- 6 Results -- 6.1 Responses to TAM Questionnaire -- 6.2 Interviews -- 7 Threats to Validity -- 8 Conclusion -- References -- Test Case/Step Minimization for Visual Programming Language Models and Its Application to Space Systems -- 1 Introduction -- 2 Visual Programing Languages: Required Features -- 3 The PCDVT Methodology -- 3.1 MC/DC Analysis and Derivation of LTL Properties -- 3.2 Model Checking -- 3.3 Minimization -- 4 Brazilian Satellite AOCS Model -- 4.1 Operation Modes -- 5 Experimental Assessment -- 6 Related Work -- 7 Conclusions -- References -- A System Based on Intelligent Documents -- 1 Introduction -- 2 Material Control System -- 2.1 Aims of the Project -- 2.2 Basic Critical System Requirements -- 2.3 Autonomy of ERP and Requisitions Systems -- 3 Related Work -- 4 Summary of Analysis of Non-digitalized Material Demand Management Processes -- 4.1 Crucial Decisions -- 4.2 RqS and ERP Can Be Used Like a Pair of Autonomous Services in SOA -- 5 Architecture of Digitalized Requisitions -- 6 Implementation of the System Based on Use Cases -- 6.1 Advantages for Users -- 6.2 Implementation Issues -- 7 Experience with System Implementation and Deployment -- 8 Current State of the Project -- 9 Open Questions for Further Research -- 10 Conclusions -- References -- Proposing an IoT-Based Healthcare Platform to Integrate Patients, Physicians and Ambulance Services -- 1 Introduction -- 2 Related Works -- 3 The Solution's Architecture -- 4 An IoT-Based Healthcare Platform -- 4.1 Design Issues and Requirements -- 4.2 Modules Overview -- 5 Conclusion and Future Works -- References -- A Systematic Literature Review on Microservices -- Abstract.
1 Introduction -- 2 Method -- 2.1 Research Questions -- 2.2 Search Sampling -- 2.3 Search Iteration -- 3 Screening the Papers -- 4 Keywording -- 4.1 Service Models in Cloud Computing -- 4.2 Operational Areas -- 4.3 Research Types -- 4.4 Emerging Standards and Tools -- 5 Data Extraction and Mapping -- 6 Conclusions and Future Work -- References -- Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments -- 1 Introduction -- 2 Activities and Fragments Logic for States Transitions -- 2.1 Assertion Syntax and Semantics -- 2.2 Android Procedures Inference Rules -- 2.3 Activities Inference Rules -- 2.4 Fragments Inference Rules -- 3 Related and Future Work -- References -- Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs -- 1 Introduction -- 2 Posting Graphs -- 3 Finding the Nonterminating Executions Using Posting Graphs -- 4 Related Work -- 5 Conclusion -- References -- Software Analytics for Web Usability: A Systematic Mapping -- 1 Introduction -- 2 Background -- 2.1 Software Analytics -- 2.2 Usability -- 3 Research Method -- 3.1 Systematic Mapping -- 3.2 Research Questions -- 3.3 Search Strategy -- 3.4 Screening of Papers -- 4 Results -- 4.1 Publications Distribution Over Time (RQ1) -- 4.2 Research Classification (RQ2) -- 4.3 Research Focus (RQ3) -- 4.4 Means for Capturing (RQ4) -- 4.5 Visualization of User Interaction (RQ5) -- 4.6 Mapping Means of Capture and Types of Visualization (RQ6) -- 5 Final Remarks and Limitations -- References -- Representing Contexual Relations with Sanskrit Word Embeddings -- 1 Introduction -- 2 Related Work -- 3 Proposed Framework -- 3.1 Data Pre-processing -- 3.2 Word Embeddings -- 3.3 Visualization -- 4 Experiments -- 5 Results -- 5.1 Similarity -- 5.2 Compositionality -- 5.3 Visualizing Distributed Projections -- 6 Conclusion -- References.
A Mobile-Sensor Fire Prevention System Based on the Internet of Things.
Record Nr. UNISA-996466302603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V / / edited 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
Computational Science and Its Applications – ICCSA 2017 [[electronic resource] ] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V / / edited 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
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXVI, 744 p. 265 illus.)
Disciplina 004
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer networks
Software engineering
Artificial intelligence
Compilers (Computer programs)
Application software
Computers, Special purpose
Computer Communication Networks
Software Engineering
Artificial Intelligence
Compilers and Interpreters
Computer and Information Systems Applications
Special Purpose and Application-Based Systems
ISBN 3-319-62404-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Welcome to Trieste -- Organization -- Contents - Part V -- Workshop on Computational Mathematics, and Statistics for Data Management and Software Engineering (IWCMSDMSE 2017) -- A Safe Depth Forecasting Model for Insuring Tubewell Installations Against Arsenic Risk in Bangladesh -- Abstract -- 1 Introduction -- 2 Initial Analysis of Arsenic Distribution -- 3 Sister-Village Method -- 3.1 You Can Choose Your Family - Selecting Sister Villages -- 4 Quantifying Uncertainty -- 4.1 Cross-Validation -- 4.2 Calibration Plots and Probability Scores -- 4.3 Optimal Determination of Floating Parameters -- 5 Insurance and Final Remarks -- 5.1 Rationale for Insurance: Risk Mitigation, Dissemination of Information -- 5.2 Pricing and Imperfect Credit Market -- 5.3 Adverse Selection, Moral Hazard and Contract Design -- 5.4 Conclusions -- References -- The Likelihood Ratio Test for Equality of Mean Vectors with Compound Symmetric Covariance Matrices -- 1 Introduction -- 2 The Likelihood Ratio Test Statistic -- 3 Characterization of the Distribution of the L.R.T. Statistic -- 4 The Exact Distribution of for Odd q -- 5 Near-Exact Distributions of for Even q -- 5.1 Near-Exact Distributions for Even q and Even p -- 5.2 Near-Exact Distributions for Even q and Odd p -- 6 Numerical Studies -- 7 Conclusions -- References -- Approximating a Retarded-Advanced Differential Equation Using Radial Basis Functions -- 1 Introduction -- 2 Preliminaries -- 3 The Problem -- 4 Radial Basis Functions -- 5 Numerical Approach -- 6 Conclusion and Final Remarks -- References -- Questioning Caregivers About Pediatric High Blood Pressure -- 1 Introduction -- 2 Questionnaire -- 3 Methodology -- 4 Empirical Application -- 5 Results and Final Remarks -- References -- Workshop on Land Use Monitoring for Soil consumption reduction (LUMS 2017).
Soil Erosion Modelling on Arable Lands and Soil Types in Basilicata, Southern Italy -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 3 Data Analysis -- 4 Results -- 5 Discussion and Final Remarks -- References -- An Estimate of Land Take in Municipal Planning of the Campania Region -- Abstract -- 1 Object of the Analysis -- 2 Land Take: From Analytical Problems to Contrasting Policies -- 3 Population Dynamics in Campania Region -- 4 The Sample of 40 Municipalities Under Analysis -- 5 The Municipal Planning Assessment -- 5.1 Virtuous Municipalities -- 5.2 Growing Municipalities -- 5.3 Uncontrolled Municipalities -- 5.4 Planning Standars, Manufacturing and Commercial Surfaces -- 6 Open Issues -- References -- Construction Costs Estimate for Civil Works. A Model for the Analysis During the Preliminary Stage of the Project -- Abstract -- 1 Relationship Between the Costs Estimate and the Project Levels -- 2 Overview on the International Classification Systems -- 2.1 The UNI 8290 Regulation -- 2.2 Uniformat II and Elemental Standard Form of Cost Analysis -- 3 An Economic Model to Estimate the Cost of Construction in Building Industry -- 4 Semi-analytical Estimates Procedure: MC and EMC for Classes of Technical Elements -- 5 Conclusion -- References -- Assessing the Effect of Land Use Planning on Soil Savings by SEA -- Abstract -- 1 Introduction -- 2 Facts and Data -- 3 Materials and Methods -- 4 Discussion -- 5 Conclusions -- References -- Pollination and the Integration of Ecosystem Services in Landscape Planning and Rural Development -- Abstract -- 1 Introduction -- 2 Setting the Context -- 3 Research Design -- 4 Mapping and Assessment of Pollination Ecosystem Service in Puglia -- 5 Discussion and Conclusions -- References -- Workshop on Mobile Communications (MC 2017) -- On Evaluating IoTivity Cloud Platform -- 1 Introduction.
2 Related Work -- 3 IoTivity Cloud Platform -- 4 Performance Evaluation -- 4.1 Testbed Setting -- 4.2 Testing Methodology -- 4.3 Testing Scenarios and Results -- 5 Conclusion and Future Work -- References -- Partial Switching Based MBMS Bearer Management Architecture and Procedure for V2N Services with High-Speed Mobility -- 1 Introduction -- 2 Preliminaries -- 3 Novel MBMS Bearer Management Architecture for V2N Services -- 3.1 Problem Definition -- 3.2 Switching Based Bearer Management Procedure -- 4 Design of the Switching Based Bearer Management Scheme -- 4.1 Estimating the Candidate Service Area -- 4.2 The Proposed Structure for MBMS Bearer Context -- 4.3 Procedure for Partially Switching MBMS Bearer by MME Triggering -- 5 Conclusion -- References -- Service Area Scheduling in a Drone Assisted Network -- 1 Introduction -- 2 Proposed MAC Protocol and Service Area Scheduling -- 2.1 Drone Assisted Network Environment -- 2.2 Proposed Data Collecting Framework of Drone -- 2.3 Effect of the Service Area Scheduling -- 2.4 Optimal Section Area Scheduling by Searching -- 3 Performance Evaluation -- 4 Conclusion -- References -- Throughput Analysis of a SWIPT Enabled Two-Way Decode-and-Forward Cognitive Relay Network -- 1 Introduction -- 2 System Model -- 3 SWIPT in Two-Way DF Cognitive Relay Network -- 3.1 Transmissions from Primary Nodes to Secondary Nodes -- 3.2 Transmissions from Relay to Primary and Secondary Nodes -- 3.3 Throughput Calculation -- 4 Performance Evaluation -- 5 Conclusion -- References -- Workshop on Mobile-Computing, Sensing, and Actuation - Fog Net-working (MSA4FOG 2017) -- Towards a Model of Enhancing Safety Fishing in South Africa -- Abstract -- 1 Introduction -- 2 Fishing -- 2.1 Types of Fishing -- 2.2 Methods of Fishing -- 2.3 Advantages of Fishing -- 2.4 Challenges of Fishing.
3 Spatial Distribution of Fishing Activities in South Africa -- 4 Related Work -- 5 System Design and Architecture -- 5.1 Business Rules of the System -- 6 Methodology -- 7 Data Analysis and Results -- 8 Conclusions -- Acknowledgements -- References -- Analysis of Impact of RSS over Different Time Durations in an Indoor Localization System -- Abstract -- 1 Introduction -- 2 System Model -- 2.1 System Operation -- 3 Experimental Testbeds -- 4 Results Analysis -- 5 Conclusion -- References -- Fog Networking for Machine Health Prognosis: A Deep Learning Perspective -- Abstract -- 1 Introduction -- 2 Literature Reviews -- 3 Proposed Method -- 4 Conclusion -- References -- A Survey on Bus Monitoring Systems -- 1 Introduction -- 2 Technologies -- 2.1 GPS -- 2.2 RFID -- 2.3 ZigBee -- 2.4 Other Communication Technologies -- 3 Bus Monitoring Researches -- 4 Bus Monitoring System Algorithms -- 5 Monitoring Problems -- 6 Conclusion -- References -- Workshop on Physiological and Affective Computing: Methods and Applications (PACMA 2017) -- Analysis of Keystroke Dynamics for Fatigue Recognition -- Abstract -- 1 Introduction -- 2 Methodological Backgrounds -- 2.1 Data -- 2.2 Dataset -- 2.3 Data Pre-processing -- 2.4 Feature Generation -- 2.5 Feature Ranking and Selection -- 2.6 Dataset Balancing -- 2.7 Classification -- 2.8 Evaluation Criteria -- 3 Results -- 4 Conclusion -- Acknowledgements -- References -- Gender, Age, Colour, Position and Stress: How They Influence Attention at Workplace? -- Abstract -- 1 Introduction -- 2 Gaze Point Detection -- 3 Experiment Settings -- 3.1 Human Reaction Time Testing -- 3.2 Simulation of Drilling Accident -- 3.3 Simulation of Crusher Accident -- 3.4 Simulation of Saw Accident -- 3.5 Simulation of Effects of STOP Sign Colour and Placement Position -- 4 Hypotheses -- 5 Results -- 5.1 Measurement of Human Reaction Time.
5.2 Simulation of Drilling Accident -- 5.3 Simulation of Crusher Accident -- 5.4 Simulation of Saw Accident -- 5.5 Simulation of Effects of STOP Sign Colour and Placement Position -- 6 Evaluation and Discussion -- 7 Conclusions -- References -- Workshop on Quantum Mechanics: Computational Strategies and Applications (QMCSA 2017) -- The Astrochemical Observatory: Experimental and Computational Focus on the Chiral Molecule Propylene Oxide as a Case Study -- 1 Introduction -- 2 Stereodynamics and Interactions of Chiral Molecules -- 3 Molecular Beam Experiments Involving Chiral Molecules -- 3.1 Spatial Molecular Control -- 3.2 Molecular Beam Scattering -- 3.3 Application to the Propylene Oxide Interactions -- 4 Simulations of the Scattering of Chiral Molecules -- 5 Concluding Remarks -- References -- Influence of the Intermolecular Potential Energy on N2-N2 Inelastic Collisions: A Quantum-Classical Study -- 1 Introduction -- 2 The Quantum-Classical Dynamical Approach for VV Energy Transfer -- 3 Potential Energy Surfaces -- 4 Computational Details -- 5 Results and Discussion -- 6 Concluding Remarks and Perspectives -- References -- The {{\bf HI}}\,{\varvec {\,+\,} }\,{{\bf OH}}\, \to \,{{\bf H}}_{{{\bf 2}}} {{\bf O}}\, {\,+\,} \,{{\bf I}} Reaction by First-Principles Molecular Dynamics: Stereodirectional and anti-Arrhenius Kinetics -- Abstract -- 1 Introduction -- 2 Theoretical and Numerical Procedures and Results -- 2.1 Molecular Dynamics Simulations -- 2.2 Computational Methods -- 2.3 Representation of Stereodirectional Dynamics -- 2.4 Delayed Reactivity and Vibrational Roaming of Product Water -- 2.5 Angle of Approach and Excitation of Bending in the Departing Water -- 3 Rate Constants and Comparison with Experiments -- Acknowledgments -- References.
Combinatorial and Geometrical Origins of Regge Symmetries: Their Manifestations from Spin-Networks to Classical Mechanisms, and Beyond.
Record Nr. UNISA-996466301003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui