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.
Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 574 p. 230 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42111-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part III -- Protein Ligand Docking Using Simulated Jumping -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Meta Heuristic Techniques -- 2.1.1 Genetic Algorithm -- 2.1.2 Simulated Annealing -- 2.1.3 Tabu Search -- 2.1.4 Ant Colony System -- 2.1.5 Memetic Algorithm -- 3 Simulated Jumping -- 3.1 Overview -- 3.2 Successful Applications of SJ -- 4 Problem Formulation -- 5 Motivation -- 6 Proposed Solution -- 7 Experimental Tests -- 8 Conclusions -- Acknowledgement -- References -- GLSDock - Drug Design Using Guided Local Search -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Meta Heuristic Techniques -- 2.1.1 Genetic Algorithm -- 2.1.2 Simulated Annealing -- 2.1.3 Tabu Search -- 2.1.4 Ant Colony System -- 3 GLS -- 3.1 Successful Applications of GLS -- 4 Motivation -- 5 Proposed Solution -- 6 Experimental Evaluation -- 7 Conclusions -- Acknowledgement -- References -- The Appraisal of Buildable Land for Property Taxation in the Adopted General Municipal Plan -- Abstract -- 1 Introduction -- 2 Context, Methodological Approach and Aims of the Work -- 3 Procedural Analysis of the Process for the Approval of a GP: Stages and Schedules, Main Variables -- 3.1 Phases and Schedules -- 3.2 Main Variables -- 4 The Estimate of an ADNAP Area Through the Transformation Value -- 5 Conclusion -- References -- Modeling and Simulating Nutrient Management Practices for the Mobile River Watershed -- Abstract -- 1 Introduction -- 2 Methods -- 2.1 Study Area -- 2.2 Hydrological Code -- 2.3 Topographical, Landuse, and Meteorological Datasets -- 2.4 Water Quality Simulations -- 3 Results -- 3.1 Filter Strip BMP -- 3.2 Stream Bank Stabilization and Fencing BMP -- 4 Conclusions -- Acknowledgment -- References -- A Geospatial Service Oriented Framework for Disaster Risk Zone Identification -- 1 Introduction.
2 Overview of the Framework -- 3 Automatic Integration of Geospatial Web Services -- 4 Service Oriented (SO) Framework -- 4.1 Disaster Relative Factor Collection and Corresponding Constraint Depiction -- 4.2 Feature Collection Based on the Disaster Factors -- 4.3 Processing of Individual Feature Sets -- 4.4 Integration of the Processed Feature Sets -- 4.5 Identification of Probable Risk Spots -- 5 Case Study of Execution of the Proposed Framework -- 5.1 Results -- 5.2 Discussion -- 6 Conclusion -- References -- Evaluation of Current State of Agricultural Land Using Problem-Oriented Fuzzy Indicators in GIS Envi ... -- Abstract -- 1 Introduction -- 2 Evaluation of Damage of Winter Crops by Frost -- 2.1 Modelling Winter Crops Response on the Adverse Agrometeorological Conditions -- 2.2 Example 1 -- 3 Evaluation of Soil Amendments -- 3.1 Example 2 -- 4 Evaluation of Soil Disturbance -- 4.1 Example 3 -- 5 Conclusions -- References -- New Prospects of Network-Based Urban Cellular Automata -- 1 Introduction -- 2 A Networked Global Urban Cellular Automata Framework -- 3 Challenges of Big Data to Networks-Based Global Urban Cellular Automata -- 4 Discussion and Conclusion -- References -- GIS Applications to Support Entry-Exit Inspection and Quarantine Activities -- Abstract -- 1 Introduction -- 2 Methods -- 3 Results -- 3.1 Pilot Project -- 4 Conclusion -- 5 Credits -- References -- Civil Security in Urban Spaces: Adaptation of the KDE-Method for Optimized Hotspot-Analysis for Emergency and Rescue Services -- Abstract -- 1 Civil Security - A Public Good -- 2 KDE Methods for Hotspot Analysis -- 3 Optimization of the Analysis Chain: Adaptation of KDE for Area-Related Issues -- 4 Discussion of Results and Outlook -- Acknowledgements -- References -- A Basic Geothematic Map for Land Planning and Modeling (Daunian Subapennine - Apulia Region, Italy) -- Abstract. 1 Introduction -- 2 The Study Area: Geological Setting and Existing Cartography -- 3 Materials and Methodology for Producing the Geothematic Map -- 4 The New Geolithological Map -- 4.1 Cretaceous-Miocene Apennine Group -- 4.2 Pliocene Wedge-Top Group -- 4.3 Quaternary Continental Deposits -- 5 Conclusions -- References -- Spatial Modeling and Geovisualization of Rental Prices for Real Estate Portals -- Abstract -- 1 Introduction -- 2 State of the Art of Analyzing and Mapping Rental Prices -- 2.1 Hedonic Regression as the Non-spatial Standard Method of Rental Price Modeling -- 2.2 Non-appropriate Reference Geometries to Map Hedonic Regression Results -- 3 Selection of Spatial Modeling and Visualization Alternatives -- 3.1 Quantitative Data: Rental Property Offers Database -- 3.2 Kriging as Spatial Alternative to Model Rental Prices -- 3.3 Random Forest as an Alternative to Process Modeling -- 3.4 Prototype Development of Grid-Maps as Alternative Geovisualisation Approach -- 4 Conclusions -- References -- Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts -- 1 Introduction -- 2 Related Work -- 3 The jABC Framework and PROPHETS -- 4 Example: Synthesizing Workflows for Assessing Impacts of Sea-Level Rise -- 4.1 The Example Application -- 4.2 Domain Modeling -- 4.3 Workflow Synthesis -- 5 Conclusion -- References -- Urban Growth and Real Estate Income. A Comparison of Analytical Models -- Abstract -- 1 Introduction -- 2 The Housing Dimension in Strategic Planning -- 3 Analysing Changes in Resident Population at the Local Scale -- 4 Temporal Evolution and Spatial Distribution of Real Estate Values -- 5 Conclusions -- References -- A Digital Platform to Support Citizen-Government Interactions from Volunteered Geographic Informatio ... -- Abstract -- 1 Introduction. 2 Other Platforms for Participatory Mapping -- 3 Citizen to Government (C2G) or Bottom-up Cases -- 3.1 The Roma Neighborhood -- 3.2 The Lindavista Neighborhood -- 4 Preliminary Results -- 5 Conclusions -- References -- Future Cities Urban Transformation and Sustainable Development -- Abstract -- 1 Introduction -- 2 Resilient Cities: New Ways of Planning for Sustainable Development -- 3 Action Plans and Areas of Intervention -- 4 Urban Transformation Policies and Sustainable Mobility -- 5 Sustainable Mobility in Sicily -- 6 Conclusions -- Acknowledgements -- References -- A Seismic Risk Model for Italy -- Abstract -- 1 Introduction -- 2 Seismic Hazard -- 3 Seismic Vulnerability -- 4 Exposure -- 5 Application Results -- 6 Conclusions -- References -- Depreciation Methods for Firm's Assets -- Abstract -- 1 Introduction -- 2 Depreciation Methods -- 2.1 Straight-Line Method -- 2.2 Sum of Years Digits Method -- 2.3 Declining Balance Method -- 2.4 Declining Balance Switched to Straight-Line Method -- 2.5 Sinking-Fund Method -- 2.6 Annuity Method -- 2.7 Machine Hours Method -- 2.8 Production Units Method -- 2.9 Depletion Method -- 3 Comparison and Impact of Depreciation Methods -- 4 Concluding Remarks -- References -- A Density Dependent Host-Parasitoid Model with Allee and Refuge Effects -- 1 Introduction -- 2 The Model -- 2.1 Stability Analysis of Model (3) -- 2.2 Numerical Simulations for the Model 3 -- 3 The Model with Allee Effect -- 3.1 Stability Analysis of Model (7) -- 3.2 Numerical Simulations for the Model 7 -- 4 The Model with Host Refuge -- 4.1 Stability Analysis of Model (11) -- 4.2 Numerical Simulations for the Model 11 -- 5 Discussion -- References -- Interpreting Heterogeneous Geospatial Data Using Semantic Web Technologies -- 1 Introduction -- 2 State of the Art -- 2.1 Related Work on Geospatial Data Integration. 2.2 The Semantic Web Technologies -- 3 Semantification -- 3.1 Schema-Assisted Semantification -- 3.2 Semiautomated Schemaless Semantification -- 3.3 Extending GeoSPARQL -- 3.4 Interlinking -- 3.5 Management of Data Sources -- 4 Case Study of Semantification -- 4.1 National Strategy for Critical Infrastructure Protection -- 4.2 Distributed Data in Spatial Data Infrastructures -- 5 Conclusion -- 5.1 Future Work -- References -- Identification of Transport Vehicle for Mobile Network Subscribers -- Abstract -- 1 Introduction -- 2 Method -- 3 Application -- 4 Conclusions -- Acknowledgments -- References -- Light Penetration Ability Assessment of Satellite Band for Seagrass Detection Using Landsat 8 OLI Satellite Data -- Abstract -- 1 Introduction -- 2 Material -- 3 Method -- 3.1 Satellite Data Processing -- 3.2 Retrieval of Seagrass Features -- 4 Results -- 5 Discussion -- 6 Conclusion -- Acknowledgements -- References -- Specifying the Computation Viewpoints for a Corporate Spatial Data Infrastructure Using ICA's Formal Model -- Abstract -- 1 Introduction -- 2 ICA's Formal SDI Model -- 2.1 Computation Viewpoint -- 3 SDI-Cemig -- 3.1 Computational Objects of SDI-Cemig and Their Interfaces -- 4 Discussion of Results -- 5 Conclusions -- Acknowledgment -- References -- Processing and Geo-visualization of Spatio-Temporal Sensor Data from Connected Automotive Electronics Systems -- Abstract -- 1 Introduction -- 2 Data, Content and Application Potential -- 3 Data Logging, Filtering and Visualization -- 4 Additional Data Processing -- 5 Need for Holistic and Integrated Approaches -- 6 Conclusion and Outlook -- Acknowledgement -- References -- Quality Attributes and Methods for VGI -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Tools to Develop VGI Systems -- 3.1 Ushahidi Platform -- 3.2 ClickOnMap Platform -- 4 Quality Attributes and Methods for VGI. 4.1 VGI Quality Attributes. |
| Record Nr. | UNISA-996465683803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 702 p. 263 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42089-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part IV -- Where the Streets Have Known Names -- 1 Introduction -- 2 Related Work -- 2.1 Toponymy and Street Names -- 2.2 Linked Open Data -- 3 Street Name Matching Method -- 3.1 Toponym Retrieval -- 3.2 Entity Retrieval -- 3.3 Entity Ranking -- 4 Evaluation -- 5 Results and Discussion -- 6 Crowd Sourcing Local Knowledge -- 6.1 Requirements -- 6.2 Storyboard -- 6.3 Software Architecture -- 7 Conclusion and Future Work -- References -- Functions and Perspectives of Public Real Estate in the Urban Policies: The Sustainable Development Plan of Syracuse -- Abstract -- 1 Introduction -- 2 Case Study -- 3 Methods and Procedures -- 3.1 Urban Perspective: The Redevelopment of the Borgo S. Antonio Quarter -- 3.2 Public Properties Appraisal -- 3.3 PPP - Public Private Partnership -- 3.4 Italian Real Estate Investment Funds -- 3.5 Jessica -- 3.6 Risk Approach -- 4 Results and Discussions -- 4.1 Generating Strategies: Urban Equalization and Regeneration -- 4.2 Real Estate Development of the Two Properties: Appraisals -- 4.3 Real Estate Finance: Scenario Analyses -- 5 Conclusions -- Acknowledgements -- References -- Soil Loss, Productivity and Cropland Values GIS-Based Analysis and Trends in the Basilicata Region (Southern Italy) from 1980 to 2013 -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 2.1 Methodology - USPED -- 3 Data Analysis and Results -- 3.1 USPED Method Application -- 3.1.1 Rainfall Erosivity -- 3.1.2 Soil Erodibility -- 3.1.3 Slope-Length Factor -- 3.1.4 Cover and Management Factor -- 3.1.5 Model Application and Validation -- 4 Discussion and Final Remarks -- References -- Fair Planning and Affordability Housing in Urban Policy. The Case of Syracuse (Italy) -- Abstract -- 1 Introduction -- 2 Materials -- 3 Methods -- 3.1 Equalization and Compensation Pattern.
3.2 Housing Affordability -- 4 Application of the Equalization Pattern -- 5 Discussion. Compensation Scenarios for Social Housing -- 6 Conclusions -- Acknowledgements -- References -- Cap Rate and the Historic City. Past and Future of the Real Estate of Noto (Italy) -- Abstract -- 1 Introduction -- 2 Materials. Noto Real Estate -- 3 Methods -- 3.1 General Issues -- 3.2 Procedure -- 4 Results and Discussions -- 4.1 Clustering Analysis -- 4.2 Costs Calculation -- 4.3 Ordinary and Extra-Ordinary Incomes -- 4.4 Capitalization Rates -- 5 Conclusions -- Acknowledgements -- References -- Industrial Areas and the City. Equalization and Compensation in a Value-Oriented Allocation Pattern -- Abstract -- 1 Introduction -- 2 Materials -- 3 Methods and Procedures -- 3.1 Objectives, Data Sources, Information -- 3.2 The MAVT Approach to Select and Allocate the Enterprises in a Sustainable Way -- 3.3 Equalization and Compensation -- 4 Applications and Results -- 4.1 The Allocation of the Areas to the Firms -- 4.2 Results of the Equalization and Compensation Process -- 5 Discussions and Conclusions -- Acknowledgements -- References -- Environmental Noise Sensing Approach Based on Volunteered Geographic Information and Spatio-Temporal ... -- Abstract -- 1 Introduction -- 2 Related Work -- 3 The Proposed Methodology -- 3.1 Prediction Model at Geographic Neighborhood-Level -- 3.2 Time Intervals -- 3.3 Generalities of the Prediction Model for Environmental Noise -- 4 The Case Study -- 5 Experimental Results -- 5.1 Prediction Model Based on Support Vector Machine -- 5.1.1 Performance of the Artificial Neural Networks -- 5.1.2 Performance of the Support Vector Machine -- 5.1.3 Performance Comparison Between ANN and SVM -- 5.2 Visualization of Environmental Noise Maps -- 6 Conclusion and Future Work -- Acknowledgments -- References. A Knowledge-Based Approach for the Implementation of a SDSS in the Partenio Regional Park (Italy) -- Abstract -- 1 Introduction -- 2 A Spatial Decision-Making Process for the Landscape Evaluation. A Literature Review -- 3 The Methodological Steps of the Knowledge-Based Approach -- 4 Case Study -- 4.1 The Representation and the Process Models -- 4.2 Outcome: Two Evaluation Scenario for the Tourism Development Through WLC Method -- 5 Conclusions -- References -- Factors of Perceived Walkability: A Pilot Empirical Study -- Abstract -- 1 Introduction -- 2 Background -- 3 Experimental Design -- 4 Results -- 5 Conclusion -- References -- Evaluating the Effect of Urban Intersections on Walkability -- Abstract -- 1 Introduction -- 2 Background and Related Research -- 3 The Evaluation Model -- 4 A Case Study of Application of the Evaluation Method -- 4.1 Study Area -- 4.2 Data and Evaluation Criteria -- 4.3 The Evaluation Procedure -- 4.4 Prioritizing Intersections -- 5 Discussion of Results -- 6 Conclusions and Future Work -- References -- Coupling Surveys with GPS Tracking to Explore Tourists' Spatio-Temporal Behaviour -- Abstract -- 1 Introduction -- 2 Background -- 3 The Case Study -- 3.1 Exploratory Data Analysis of Interviews and Tourists Profiling -- 3.2 Tourists' Spatial Behaviour -- 3.3 Time Use by Tourist Profiles -- 4 Conclusions -- References -- Countryside vs City: A User-Centered Approach to Open Spatial Indicators of Urban Sprawl -- Abstract -- 1 Introduction: Actionable Knowledge About Urban Sprawl -- 2 Conceptual Background: Open Spatial Indicators and Urban Sprawl in a European Perspective -- 3 Research Design -- 3.1 Research Approach and Process -- 3.2 Data and Analytical Methods -- 3.3 Research Context -- 4 Discussion of Preliminary Results -- 4.1 Classifying Urban Forms Based on Landscape Metrics. 4.2 Land Use Matters: Sorting Out Sprawl Patterns According to Urban Functions -- 4.3 Putting Socio-Economic Drivers into the Picture: Land Use Efficiency -- 4.4 Sprawling in Time: Tracking Urban Change to Understand Land Taking Processes -- 5 Concluding Remarks and Future Developments -- Acknowledgments -- References -- Integrating Financial Analysis and Decision Theory for the Evaluation of Alternative Reuse Scenarios of Historical Buildings -- Abstract -- 1 Introduction -- 2 Case of Study -- 2.1 The Context -- 2.2 Calculation of Likelihood Function of NPV -- 3 Probabilistic Analysis of the Re-Use Revenue for Determining the Expected Value -- 4 The Gaming Among DM -- 5 The Coalition Among DM -- 5.1 The Intersection Between Expected Utility and Likelihood -- 6 Conclusion -- Acknowledgements -- References -- Spatial Analysis for the Study of Environmental Settlement Patterns: The Archaeological Sites of the Santa Cruz Province -- Abstract -- 1 Introduction -- 2 Methods -- 2.1 Map Algebra -- 2.2 Predictive Models -- 3 The Study Case -- 3.1 The Study Area -- 3.2 The Archaeological Settings and the Sites of Santa Cruz -- 3.3 The Archaeological Sensibility Evaluation (ASE) Model -- 4 Results -- 5 Final Discussion -- Acknowledgments -- References -- Self-renovation in Rome: Ex Ante, in Itinere and Ex Post Evaluation -- Abstract -- 1 Introduction -- 2 Aims of the Work and Assessment Approach -- 2.1 General Aims and Particular Focus -- 2.2 Assessment Approach and Perimeter of Investigation -- 3 Projects of Self-renovation of School Buildings in the City of Rome for Residential Purposes -- 3.1 Decisions and Repercussions Regarding the Procedures for Identifying the Structures and Determin ... -- 3.2 Decisions and Repercussions Tied to the Procedures for the Planning, Design and Execution of the ... 4 Considerations and Strategies of Action to Be Followed (in Advance) for the Development of Future ... -- 5 Conclusions -- References -- Enhancing an IaaS Ontology Clustering Scheme for Resiliency Support in Hybrid Cloud -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Problem Issues -- 4 The IaaS Service Discovery -- 4.1 Initial Approach -- 4.2 The IaaS Cloud Service Ontology -- 5 Clustering Using Some Existing Methods -- 5.1 Similarity Computation -- 5.2 Clustering Results -- 6 Enhancing the Clustering Scheme -- 6.1 Problem Issues -- 6.2 The Clustering Procedure -- 6.3 Verification and Performance Test -- 6.4 Test Environment -- 6.5 Experiment Results -- 7 Conclusion and Future Work -- Acknowledgment -- References -- A Simple Stochastic Gradient Variational Bayes for Latent Dirichlet Allocation -- 1 Introduction -- 2 Stochastic Gradient Variational Bayes -- 3 Our Proposal -- 3.1 Lower Bound Estimation -- 3.2 Maximization of Lower Bound -- 3.3 Estimation Without Sampling -- 4 Experiment -- 4.1 Data Sets -- 4.2 Evaluation Method -- 4.3 Inference Settings -- 4.4 Evaluation Results -- 4.5 Effect of Sampling -- 5 Conclusion -- References -- On Optimizing Partitioning Strategies for Faster Inverted Index Compression -- 1 Introduction -- 2 Background -- 2.1 Index Compression -- 2.2 Directed Acyclic Graph -- 3 Optimizing Partitioning Strategy via Pruning DAG -- 3.1 VSEncoding -- 3.2 Optimized Partitioning Strategy -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Indexing Performance -- 4.3 Decompression Performance -- 5 Conclusion and Future Work -- References -- The Analysis for Ripple-Effect of Ontology Evolution Based on Graph -- 1 Introduction -- 2 The Function of Property in Ontology Evolution -- 3 Extracting Semantic Relationships in Ontology -- 3.1 Semantic Relationships -- 3.2 Quantization for the Strength of Semantic Relationship. 3.3 Construction of SRG Graph Model. |
| Record Nr. | UNISA-996465788703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 702 p. 263 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42089-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part IV -- Where the Streets Have Known Names -- 1 Introduction -- 2 Related Work -- 2.1 Toponymy and Street Names -- 2.2 Linked Open Data -- 3 Street Name Matching Method -- 3.1 Toponym Retrieval -- 3.2 Entity Retrieval -- 3.3 Entity Ranking -- 4 Evaluation -- 5 Results and Discussion -- 6 Crowd Sourcing Local Knowledge -- 6.1 Requirements -- 6.2 Storyboard -- 6.3 Software Architecture -- 7 Conclusion and Future Work -- References -- Functions and Perspectives of Public Real Estate in the Urban Policies: The Sustainable Development Plan of Syracuse -- Abstract -- 1 Introduction -- 2 Case Study -- 3 Methods and Procedures -- 3.1 Urban Perspective: The Redevelopment of the Borgo S. Antonio Quarter -- 3.2 Public Properties Appraisal -- 3.3 PPP - Public Private Partnership -- 3.4 Italian Real Estate Investment Funds -- 3.5 Jessica -- 3.6 Risk Approach -- 4 Results and Discussions -- 4.1 Generating Strategies: Urban Equalization and Regeneration -- 4.2 Real Estate Development of the Two Properties: Appraisals -- 4.3 Real Estate Finance: Scenario Analyses -- 5 Conclusions -- Acknowledgements -- References -- Soil Loss, Productivity and Cropland Values GIS-Based Analysis and Trends in the Basilicata Region (Southern Italy) from 1980 to 2013 -- Abstract -- 1 Introduction -- 2 Materials and Methods -- 2.1 Methodology - USPED -- 3 Data Analysis and Results -- 3.1 USPED Method Application -- 3.1.1 Rainfall Erosivity -- 3.1.2 Soil Erodibility -- 3.1.3 Slope-Length Factor -- 3.1.4 Cover and Management Factor -- 3.1.5 Model Application and Validation -- 4 Discussion and Final Remarks -- References -- Fair Planning and Affordability Housing in Urban Policy. The Case of Syracuse (Italy) -- Abstract -- 1 Introduction -- 2 Materials -- 3 Methods -- 3.1 Equalization and Compensation Pattern.
3.2 Housing Affordability -- 4 Application of the Equalization Pattern -- 5 Discussion. Compensation Scenarios for Social Housing -- 6 Conclusions -- Acknowledgements -- References -- Cap Rate and the Historic City. Past and Future of the Real Estate of Noto (Italy) -- Abstract -- 1 Introduction -- 2 Materials. Noto Real Estate -- 3 Methods -- 3.1 General Issues -- 3.2 Procedure -- 4 Results and Discussions -- 4.1 Clustering Analysis -- 4.2 Costs Calculation -- 4.3 Ordinary and Extra-Ordinary Incomes -- 4.4 Capitalization Rates -- 5 Conclusions -- Acknowledgements -- References -- Industrial Areas and the City. Equalization and Compensation in a Value-Oriented Allocation Pattern -- Abstract -- 1 Introduction -- 2 Materials -- 3 Methods and Procedures -- 3.1 Objectives, Data Sources, Information -- 3.2 The MAVT Approach to Select and Allocate the Enterprises in a Sustainable Way -- 3.3 Equalization and Compensation -- 4 Applications and Results -- 4.1 The Allocation of the Areas to the Firms -- 4.2 Results of the Equalization and Compensation Process -- 5 Discussions and Conclusions -- Acknowledgements -- References -- Environmental Noise Sensing Approach Based on Volunteered Geographic Information and Spatio-Temporal ... -- Abstract -- 1 Introduction -- 2 Related Work -- 3 The Proposed Methodology -- 3.1 Prediction Model at Geographic Neighborhood-Level -- 3.2 Time Intervals -- 3.3 Generalities of the Prediction Model for Environmental Noise -- 4 The Case Study -- 5 Experimental Results -- 5.1 Prediction Model Based on Support Vector Machine -- 5.1.1 Performance of the Artificial Neural Networks -- 5.1.2 Performance of the Support Vector Machine -- 5.1.3 Performance Comparison Between ANN and SVM -- 5.2 Visualization of Environmental Noise Maps -- 6 Conclusion and Future Work -- Acknowledgments -- References. A Knowledge-Based Approach for the Implementation of a SDSS in the Partenio Regional Park (Italy) -- Abstract -- 1 Introduction -- 2 A Spatial Decision-Making Process for the Landscape Evaluation. A Literature Review -- 3 The Methodological Steps of the Knowledge-Based Approach -- 4 Case Study -- 4.1 The Representation and the Process Models -- 4.2 Outcome: Two Evaluation Scenario for the Tourism Development Through WLC Method -- 5 Conclusions -- References -- Factors of Perceived Walkability: A Pilot Empirical Study -- Abstract -- 1 Introduction -- 2 Background -- 3 Experimental Design -- 4 Results -- 5 Conclusion -- References -- Evaluating the Effect of Urban Intersections on Walkability -- Abstract -- 1 Introduction -- 2 Background and Related Research -- 3 The Evaluation Model -- 4 A Case Study of Application of the Evaluation Method -- 4.1 Study Area -- 4.2 Data and Evaluation Criteria -- 4.3 The Evaluation Procedure -- 4.4 Prioritizing Intersections -- 5 Discussion of Results -- 6 Conclusions and Future Work -- References -- Coupling Surveys with GPS Tracking to Explore Tourists' Spatio-Temporal Behaviour -- Abstract -- 1 Introduction -- 2 Background -- 3 The Case Study -- 3.1 Exploratory Data Analysis of Interviews and Tourists Profiling -- 3.2 Tourists' Spatial Behaviour -- 3.3 Time Use by Tourist Profiles -- 4 Conclusions -- References -- Countryside vs City: A User-Centered Approach to Open Spatial Indicators of Urban Sprawl -- Abstract -- 1 Introduction: Actionable Knowledge About Urban Sprawl -- 2 Conceptual Background: Open Spatial Indicators and Urban Sprawl in a European Perspective -- 3 Research Design -- 3.1 Research Approach and Process -- 3.2 Data and Analytical Methods -- 3.3 Research Context -- 4 Discussion of Preliminary Results -- 4.1 Classifying Urban Forms Based on Landscape Metrics. 4.2 Land Use Matters: Sorting Out Sprawl Patterns According to Urban Functions -- 4.3 Putting Socio-Economic Drivers into the Picture: Land Use Efficiency -- 4.4 Sprawling in Time: Tracking Urban Change to Understand Land Taking Processes -- 5 Concluding Remarks and Future Developments -- Acknowledgments -- References -- Integrating Financial Analysis and Decision Theory for the Evaluation of Alternative Reuse Scenarios of Historical Buildings -- Abstract -- 1 Introduction -- 2 Case of Study -- 2.1 The Context -- 2.2 Calculation of Likelihood Function of NPV -- 3 Probabilistic Analysis of the Re-Use Revenue for Determining the Expected Value -- 4 The Gaming Among DM -- 5 The Coalition Among DM -- 5.1 The Intersection Between Expected Utility and Likelihood -- 6 Conclusion -- Acknowledgements -- References -- Spatial Analysis for the Study of Environmental Settlement Patterns: The Archaeological Sites of the Santa Cruz Province -- Abstract -- 1 Introduction -- 2 Methods -- 2.1 Map Algebra -- 2.2 Predictive Models -- 3 The Study Case -- 3.1 The Study Area -- 3.2 The Archaeological Settings and the Sites of Santa Cruz -- 3.3 The Archaeological Sensibility Evaluation (ASE) Model -- 4 Results -- 5 Final Discussion -- Acknowledgments -- References -- Self-renovation in Rome: Ex Ante, in Itinere and Ex Post Evaluation -- Abstract -- 1 Introduction -- 2 Aims of the Work and Assessment Approach -- 2.1 General Aims and Particular Focus -- 2.2 Assessment Approach and Perimeter of Investigation -- 3 Projects of Self-renovation of School Buildings in the City of Rome for Residential Purposes -- 3.1 Decisions and Repercussions Regarding the Procedures for Identifying the Structures and Determin ... -- 3.2 Decisions and Repercussions Tied to the Procedures for the Planning, Design and Execution of the ... 4 Considerations and Strategies of Action to Be Followed (in Advance) for the Development of Future ... -- 5 Conclusions -- References -- Enhancing an IaaS Ontology Clustering Scheme for Resiliency Support in Hybrid Cloud -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Problem Issues -- 4 The IaaS Service Discovery -- 4.1 Initial Approach -- 4.2 The IaaS Cloud Service Ontology -- 5 Clustering Using Some Existing Methods -- 5.1 Similarity Computation -- 5.2 Clustering Results -- 6 Enhancing the Clustering Scheme -- 6.1 Problem Issues -- 6.2 The Clustering Procedure -- 6.3 Verification and Performance Test -- 6.4 Test Environment -- 6.5 Experiment Results -- 7 Conclusion and Future Work -- Acknowledgment -- References -- A Simple Stochastic Gradient Variational Bayes for Latent Dirichlet Allocation -- 1 Introduction -- 2 Stochastic Gradient Variational Bayes -- 3 Our Proposal -- 3.1 Lower Bound Estimation -- 3.2 Maximization of Lower Bound -- 3.3 Estimation Without Sampling -- 4 Experiment -- 4.1 Data Sets -- 4.2 Evaluation Method -- 4.3 Inference Settings -- 4.4 Evaluation Results -- 4.5 Effect of Sampling -- 5 Conclusion -- References -- On Optimizing Partitioning Strategies for Faster Inverted Index Compression -- 1 Introduction -- 2 Background -- 2.1 Index Compression -- 2.2 Directed Acyclic Graph -- 3 Optimizing Partitioning Strategy via Pruning DAG -- 3.1 VSEncoding -- 3.2 Optimized Partitioning Strategy -- 4 Experiments -- 4.1 Experimental Setup -- 4.2 Indexing Performance -- 4.3 Decompression Performance -- 5 Conclusion and Future Work -- References -- The Analysis for Ripple-Effect of Ontology Evolution Based on Graph -- 1 Introduction -- 2 The Function of Property in Ontology Evolution -- 3 Extracting Semantic Relationships in Ontology -- 3.1 Semantic Relationships -- 3.2 Quantization for the Strength of Semantic Relationship. 3.3 Construction of SRG Graph Model. |
| Record Nr. | UNINA-9910483621903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications - ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 574 p. 230 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42111-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part III -- Protein Ligand Docking Using Simulated Jumping -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Meta Heuristic Techniques -- 2.1.1 Genetic Algorithm -- 2.1.2 Simulated Annealing -- 2.1.3 Tabu Search -- 2.1.4 Ant Colony System -- 2.1.5 Memetic Algorithm -- 3 Simulated Jumping -- 3.1 Overview -- 3.2 Successful Applications of SJ -- 4 Problem Formulation -- 5 Motivation -- 6 Proposed Solution -- 7 Experimental Tests -- 8 Conclusions -- Acknowledgement -- References -- GLSDock - Drug Design Using Guided Local Search -- Abstract -- 1 Introduction -- 2 Related Work -- 2.1 Meta Heuristic Techniques -- 2.1.1 Genetic Algorithm -- 2.1.2 Simulated Annealing -- 2.1.3 Tabu Search -- 2.1.4 Ant Colony System -- 3 GLS -- 3.1 Successful Applications of GLS -- 4 Motivation -- 5 Proposed Solution -- 6 Experimental Evaluation -- 7 Conclusions -- Acknowledgement -- References -- The Appraisal of Buildable Land for Property Taxation in the Adopted General Municipal Plan -- Abstract -- 1 Introduction -- 2 Context, Methodological Approach and Aims of the Work -- 3 Procedural Analysis of the Process for the Approval of a GP: Stages and Schedules, Main Variables -- 3.1 Phases and Schedules -- 3.2 Main Variables -- 4 The Estimate of an ADNAP Area Through the Transformation Value -- 5 Conclusion -- References -- Modeling and Simulating Nutrient Management Practices for the Mobile River Watershed -- Abstract -- 1 Introduction -- 2 Methods -- 2.1 Study Area -- 2.2 Hydrological Code -- 2.3 Topographical, Landuse, and Meteorological Datasets -- 2.4 Water Quality Simulations -- 3 Results -- 3.1 Filter Strip BMP -- 3.2 Stream Bank Stabilization and Fencing BMP -- 4 Conclusions -- Acknowledgment -- References -- A Geospatial Service Oriented Framework for Disaster Risk Zone Identification -- 1 Introduction.
2 Overview of the Framework -- 3 Automatic Integration of Geospatial Web Services -- 4 Service Oriented (SO) Framework -- 4.1 Disaster Relative Factor Collection and Corresponding Constraint Depiction -- 4.2 Feature Collection Based on the Disaster Factors -- 4.3 Processing of Individual Feature Sets -- 4.4 Integration of the Processed Feature Sets -- 4.5 Identification of Probable Risk Spots -- 5 Case Study of Execution of the Proposed Framework -- 5.1 Results -- 5.2 Discussion -- 6 Conclusion -- References -- Evaluation of Current State of Agricultural Land Using Problem-Oriented Fuzzy Indicators in GIS Envi ... -- Abstract -- 1 Introduction -- 2 Evaluation of Damage of Winter Crops by Frost -- 2.1 Modelling Winter Crops Response on the Adverse Agrometeorological Conditions -- 2.2 Example 1 -- 3 Evaluation of Soil Amendments -- 3.1 Example 2 -- 4 Evaluation of Soil Disturbance -- 4.1 Example 3 -- 5 Conclusions -- References -- New Prospects of Network-Based Urban Cellular Automata -- 1 Introduction -- 2 A Networked Global Urban Cellular Automata Framework -- 3 Challenges of Big Data to Networks-Based Global Urban Cellular Automata -- 4 Discussion and Conclusion -- References -- GIS Applications to Support Entry-Exit Inspection and Quarantine Activities -- Abstract -- 1 Introduction -- 2 Methods -- 3 Results -- 3.1 Pilot Project -- 4 Conclusion -- 5 Credits -- References -- Civil Security in Urban Spaces: Adaptation of the KDE-Method for Optimized Hotspot-Analysis for Emergency and Rescue Services -- Abstract -- 1 Civil Security - A Public Good -- 2 KDE Methods for Hotspot Analysis -- 3 Optimization of the Analysis Chain: Adaptation of KDE for Area-Related Issues -- 4 Discussion of Results and Outlook -- Acknowledgements -- References -- A Basic Geothematic Map for Land Planning and Modeling (Daunian Subapennine - Apulia Region, Italy) -- Abstract. 1 Introduction -- 2 The Study Area: Geological Setting and Existing Cartography -- 3 Materials and Methodology for Producing the Geothematic Map -- 4 The New Geolithological Map -- 4.1 Cretaceous-Miocene Apennine Group -- 4.2 Pliocene Wedge-Top Group -- 4.3 Quaternary Continental Deposits -- 5 Conclusions -- References -- Spatial Modeling and Geovisualization of Rental Prices for Real Estate Portals -- Abstract -- 1 Introduction -- 2 State of the Art of Analyzing and Mapping Rental Prices -- 2.1 Hedonic Regression as the Non-spatial Standard Method of Rental Price Modeling -- 2.2 Non-appropriate Reference Geometries to Map Hedonic Regression Results -- 3 Selection of Spatial Modeling and Visualization Alternatives -- 3.1 Quantitative Data: Rental Property Offers Database -- 3.2 Kriging as Spatial Alternative to Model Rental Prices -- 3.3 Random Forest as an Alternative to Process Modeling -- 3.4 Prototype Development of Grid-Maps as Alternative Geovisualisation Approach -- 4 Conclusions -- References -- Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts -- 1 Introduction -- 2 Related Work -- 3 The jABC Framework and PROPHETS -- 4 Example: Synthesizing Workflows for Assessing Impacts of Sea-Level Rise -- 4.1 The Example Application -- 4.2 Domain Modeling -- 4.3 Workflow Synthesis -- 5 Conclusion -- References -- Urban Growth and Real Estate Income. A Comparison of Analytical Models -- Abstract -- 1 Introduction -- 2 The Housing Dimension in Strategic Planning -- 3 Analysing Changes in Resident Population at the Local Scale -- 4 Temporal Evolution and Spatial Distribution of Real Estate Values -- 5 Conclusions -- References -- A Digital Platform to Support Citizen-Government Interactions from Volunteered Geographic Informatio ... -- Abstract -- 1 Introduction. 2 Other Platforms for Participatory Mapping -- 3 Citizen to Government (C2G) or Bottom-up Cases -- 3.1 The Roma Neighborhood -- 3.2 The Lindavista Neighborhood -- 4 Preliminary Results -- 5 Conclusions -- References -- Future Cities Urban Transformation and Sustainable Development -- Abstract -- 1 Introduction -- 2 Resilient Cities: New Ways of Planning for Sustainable Development -- 3 Action Plans and Areas of Intervention -- 4 Urban Transformation Policies and Sustainable Mobility -- 5 Sustainable Mobility in Sicily -- 6 Conclusions -- Acknowledgements -- References -- A Seismic Risk Model for Italy -- Abstract -- 1 Introduction -- 2 Seismic Hazard -- 3 Seismic Vulnerability -- 4 Exposure -- 5 Application Results -- 6 Conclusions -- References -- Depreciation Methods for Firm's Assets -- Abstract -- 1 Introduction -- 2 Depreciation Methods -- 2.1 Straight-Line Method -- 2.2 Sum of Years Digits Method -- 2.3 Declining Balance Method -- 2.4 Declining Balance Switched to Straight-Line Method -- 2.5 Sinking-Fund Method -- 2.6 Annuity Method -- 2.7 Machine Hours Method -- 2.8 Production Units Method -- 2.9 Depletion Method -- 3 Comparison and Impact of Depreciation Methods -- 4 Concluding Remarks -- References -- A Density Dependent Host-Parasitoid Model with Allee and Refuge Effects -- 1 Introduction -- 2 The Model -- 2.1 Stability Analysis of Model (3) -- 2.2 Numerical Simulations for the Model 3 -- 3 The Model with Allee Effect -- 3.1 Stability Analysis of Model (7) -- 3.2 Numerical Simulations for the Model 7 -- 4 The Model with Host Refuge -- 4.1 Stability Analysis of Model (11) -- 4.2 Numerical Simulations for the Model 11 -- 5 Discussion -- References -- Interpreting Heterogeneous Geospatial Data Using Semantic Web Technologies -- 1 Introduction -- 2 State of the Art -- 2.1 Related Work on Geospatial Data Integration. 2.2 The Semantic Web Technologies -- 3 Semantification -- 3.1 Schema-Assisted Semantification -- 3.2 Semiautomated Schemaless Semantification -- 3.3 Extending GeoSPARQL -- 3.4 Interlinking -- 3.5 Management of Data Sources -- 4 Case Study of Semantification -- 4.1 National Strategy for Critical Infrastructure Protection -- 4.2 Distributed Data in Spatial Data Infrastructures -- 5 Conclusion -- 5.1 Future Work -- References -- Identification of Transport Vehicle for Mobile Network Subscribers -- Abstract -- 1 Introduction -- 2 Method -- 3 Application -- 4 Conclusions -- Acknowledgments -- References -- Light Penetration Ability Assessment of Satellite Band for Seagrass Detection Using Landsat 8 OLI Satellite Data -- Abstract -- 1 Introduction -- 2 Material -- 3 Method -- 3.1 Satellite Data Processing -- 3.2 Retrieval of Seagrass Features -- 4 Results -- 5 Discussion -- 6 Conclusion -- Acknowledgements -- References -- Specifying the Computation Viewpoints for a Corporate Spatial Data Infrastructure Using ICA's Formal Model -- Abstract -- 1 Introduction -- 2 ICA's Formal SDI Model -- 2.1 Computation Viewpoint -- 3 SDI-Cemig -- 3.1 Computational Objects of SDI-Cemig and Their Interfaces -- 4 Discussion of Results -- 5 Conclusions -- Acknowledgment -- References -- Processing and Geo-visualization of Spatio-Temporal Sensor Data from Connected Automotive Electronics Systems -- Abstract -- 1 Introduction -- 2 Data, Content and Application Potential -- 3 Data Logging, Filtering and Visualization -- 4 Additional Data Processing -- 5 Need for Holistic and Integrated Approaches -- 6 Conclusion and Outlook -- Acknowledgement -- References -- Quality Attributes and Methods for VGI -- Abstract -- 1 Introduction -- 2 Related Works -- 3 Tools to Develop VGI Systems -- 3.1 Ushahidi Platform -- 3.2 ClickOnMap Platform -- 4 Quality Attributes and Methods for VGI. 4.1 VGI Quality Attributes. |
| Record Nr. | UNINA-9910483368103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 634 p. 282 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42108-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part II -- High Performance Computing and Networks -- Parallel Sparse Matrix-Vector Multiplication Using Accelerators -- 1 Introduction -- 2 Sparse Matrix-Vector Multiplication -- 2.1 Parallel SpMV -- 3 Accelerator -- 3.1 Programming Model of Xeon Phi -- 4 Implementation of SpMV -- 5 Evaluation of Parallel SpMV -- 5.1 Experimental Results -- 5.2 Performance of Each SpMV Implementation (single Process) -- 5.3 Performance of Each SpMV Implementation (64 MPI Processes) -- 6 Investigation of SpMV Kernel for MIC -- 6.1 Existing Kernels and Their Problems -- 6.2 Applying Segmented Scan to SpMV -- 7 Conclusion -- References -- On the Cluster-Connectivity of Wireless Sensor Networks -- 1 Wireless Sensor Networks -- 1.1 System Model -- 1.2 Graph-Theoretic Model -- 1.3 Minimum Total Energy Topology Problems: Nondeterministic Polynomial-Time Completeness -- 2 Clustered Wireless Sensor Networks -- 2.1 System Model -- 2.2 Graph-Theoretic Model -- 2.3 Connectivity Problems of Clustered Wireless Sensor Networks -- 3 Clustered-Graph Connectivity Problems: Nondeterministic Polynomial-Time Completeness -- 4 Minimization of Clustered-Graph Connectivity: Nondeterministic Polynomial-Time Hardness, and Approximation Algorithm -- 5 Concluding Remarks -- References -- A PBIL for Load Balancing in Network Coding Based Multicasting -- Abstract -- 1 Introduction -- 2 Problem Formulation -- 3 The Proposed PBIL -- 3.1 New PV Update Scheme -- 3.2 The Overall Procedure of the Proposed PBIL -- 4 Performance Evaluation -- 4.1 Test Instances -- 4.2 Overall Performance Evaluation -- 5 Conclusions -- Acknowledgements -- References -- A Proposed Protocol for Periodic Monitoring of Cloud Storage Services Using Trust and Encryption -- Abstract -- 1 Introduction -- 2 Background -- 2.1 Encryption -- 2.2 Trust -- 2.3 Hash -- 3 Related Work.
4 File Integrity Monitoring Protocol -- 4.1 Protocol Requirements -- 4.2 Protocol Operating Principle -- 4.3 Protocol Architecture -- 4.3.1 File Storage Process -- 4.3.2 Verification Process -- 4.3.3 Trust Level Classification Process -- 5 Protocol Analysis -- 6 Simulations -- 7 Conclusions -- Acknowledgments -- References -- Implementation of Multiple-Precision Floating-Point Arithmetic on Intel Xeon Phi Coprocessors -- 1 Introduction -- 2 Multiple-Precision Floating-Point Number Representation -- 3 Vectorization and Parallelization of Multiple-Precision Floating-Point Addition, Subtraction and Multiplication -- 4 Vectorization and Parallelization of Multiple-Precision Floating-Point Division and Square Root -- 4.1 Newton Iteration -- 4.2 Vectorization and Parallelization -- 5 Performance Results -- 6 Conclusion -- References -- Towards a Sustainable Architectural Design by an Adaptation of the Architectural Driven Design Method -- Abstract -- 1 Introduction -- 2 Problem Statement and Solution Approach -- 3 Background -- 3.1 Sustainability and the Karlskrona Manifesto -- 3.2 Architecture Driven Design - ADD -- 3.3 Sustainable Health Services on Cloud -- 4 Proposal Solution -- 5 Architectural Sustainability Analysis of the HCR -- 5.1 Environmental Sustainability -- 5.2 Social Sustainability -- 5.3 Technical Sustainability -- 5.4 Economic Sustainability -- 5.5 Individual Sustainability -- 6 Conclusions -- References -- The Design and Implementation on the Android Application Protection System -- Abstract -- 1 Introduction -- 2 Related Background -- 2.1 Security Threats -- 2.2 Security Reinforcement Measure -- 3 Static Defense Solution -- 3.1 DEX Shell Mechanism -- 3.2 DEX Shell Technology -- 3.3 Class Loading Mechanism of Dalvik -- 3.4 Design of Static Defense Solution -- 4 Dynamic Defense Solution -- 4.1 Dynamic Attack Mechanism. 4.2 Dynamic Defense Mechanism -- 5 System Design and Implementation -- 5.1 Design -- 5.2 Architecture of System -- 6 Implement of Defense Solution -- 6.1 Static Defense Solution -- 6.2 Dynamic Defensing Solution -- 7 Security Analysis -- 7.1 Static Security Analysis -- 7.2 Dynamic Security Analysis -- 8 Conclusions -- Acknowledgment -- References -- Extending the ITU-T G.1070 Opinion Model to Support Current Generation H.265/HEVC Video Codec -- Abstract -- 1 Introduction -- 2 Experimental Setup -- 3 Result Analysis -- 3.1 Video Quality Affected by Coding -- 3.2 Video Quality Affected by Packet Loss -- 3.3 Accuracy of the Model -- 4 Conclusion -- References -- New Advantages of Using Chains in Computing Multiple s-t Probabilistic Connectivity -- 1 Introduction -- 2 Factoring Method for Network Reliability Calculation -- 3 One of Pivot Nodes is Inside a Chain -- 4 Both Pivot Nodes are Inside Different Chains -- 5 Obtaining Bounds for (G) and C(G) Through Known Part of Rij -- 6 Example -- 7 Conclusion -- References -- A Delay-Driven Switching-Based Broadcasting Scheme in Low-Duty-Cycled Wireless Sensor Networks -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 System Model and Assumptions -- 3.2 Timeslot Design -- 3.3 Problem Formulation -- 4 Proposed Scheme -- 4.1 Motivation -- 4.2 Switching Criteria -- 4.3 Switching Decision -- 4.4 Sending Schedule Priority -- 4.5 Collision-Free Scheduling -- 5 Performance Evaluation -- 5.1 Simulation Environment -- 5.2 Simulation Results -- 6 Conclusion -- Acknowledgement -- References -- Memory-Aware Scheduling for Mixed-Criticality Systems -- 1 Introduction -- 2 Related Work -- 3 Models and Problem Formulation -- 3.1 System Models -- 3.2 Problem Formulation -- 4 Theoretical Foundation -- 5 Memory-Processor Priority Co-assignment for Mixed-Criticality Task Set -- 6 Evaluation. 6.1 Experimental Setting -- 6.2 Experiment Results and Discussions -- 7 Conclusion -- References -- A Generalized Ant Routing Mechanism Framework in Mobile P2P Networks -- Abstract -- 1 Introduction -- 2 ACO and Routing Protocols -- 2.1 Basic Idea of ACO -- 2.2 Design Challenge of Routing Protocols in MP2P -- 3 Survey of Ant Routing Protocols -- 3.1 Discussion of Representative Ant Routing Protocols -- 3.2 General Ant Routing Principles -- 4 Generalized Ant Routing Mechanism Framework -- 4.1 Ant Module -- 4.2 Node Module -- 4.3 Data Packet Module -- 5 A Generalized Solution -- 5.1 A Generalized Solution from the Framework -- 5.2 Simulation Study -- 6 Conclusions and Future Work -- Acknowledgments -- References -- WACA: WearAble Device Based Home Control Assistant Framework -- Abstract -- 1 Introduction -- 2 Motivation and Considerations -- 3 Proposed System Architecture -- 3.1 Framework Design -- 3.2 Gesture Patterns -- 3.3 Control Protocol Design -- 3.4 Service Scenarios -- 4 Experiment Result and Evaluation -- 5 Conclusion and Future Works -- References -- Media, Screen, Input, and Context Sharing System for D2D Services in Smart TV 2.0 -- Abstract -- 1 Introduction -- 2 Related Work -- 3 System Design and Development -- 3.1 System Outline -- 3.2 Media Sharing System -- 3.3 Screen Sharing System -- 3.4 Input Sharing System -- 3.5 Context Sharing System -- 4 System Analysis -- 5 Conclusion -- Acknowledgement -- Indoor Location: An Adaptable Platform -- 1 Introduction -- 2 Platform Architecture -- 2.1 I/O Manager -- 2.2 Request Manager -- 2.3 Data Publication Manager -- 2.4 Map Manager -- 2.5 Location Manager -- 2.6 Event Manager -- 2.7 Things Manager -- 2.8 Data Storage Manager -- 3 Evaluation -- 4 Related Work -- 5 Conclusion and Future Works -- References. Sequential and Parallel Hybrid Approaches of Augmented Neural Networks and GRASP for the 0-1 Multidimensional Knapsack Problem -- 1 Introduction -- 2 0-1 Multidimensional Knapsack Problem -- 3 Augmented Neural Networks -- 4 GRASP -- 5 Proposed Solution -- 6 Comparative Results -- 7 Conclusions and Future Work -- References -- Computational Verification of Network Programs for Several OpenFlow Switches in Coq -- 1 Introduction -- 2 Preliminary -- 2.1 NetCore -- 2.2 Coq -- 3 Methodology of Verification -- 4 Verification -- 4.1 Overview of Verification -- 5 Discussion -- 6 Conclusion -- A Appendix (Program that Does Not Generate Looping Packets) -- B Appendix (Program that Generates Looping Packets) -- References -- Parallelizing Simulated Annealing Algorithm in Many Integrated Core Architecture -- 1 Introduction -- 2 Simulated Annealing Algorithm -- 2.1 The Basic Idea -- 2.2 Generation of New Solutions -- 2.3 To Solve TSP Using Simulated Annealing Algorithm -- 2.4 To Improve Simulated Annealing Algorithm for TSP -- 3 Parallel SAA in MIC -- 3.1 MIC Architecture -- 3.2 A Parallel Simulated Annealing Algorithm -- 4 Experimental Results -- 4.1 Parallel SAA in CPU Architecture -- 4.2 Parallel SAA in MIC Architecture -- 5 Conclusions and Future Work -- References -- On Efficient SC-Based Soft Handoff Scheme in Proxy Mobile IPv6 Networks -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed Scheme -- 4 Performance Evaluation -- 4.1 Markov Chain Model for Soft Handoff and the Handoff Queue -- 4.2 Numerical Results and Discussion -- 5 Conclusion -- Acknowledgement -- References -- Distributed Computing Infrastructure Based on Dynamic Container Clusters -- 1 Introduction -- 2 Related Work -- 3 Deploying and Running Applications in DCIs: Containers vs Virtual Machines -- 4 Simulating Container-Based Distributed Computing Infrastructure. 5 Building and Evaluating Container-Based Distributed Computing Environment. |
| Record Nr. | UNISA-996465685303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 636 p. 207 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42092-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465789303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 634 p. 282 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42108-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part II -- High Performance Computing and Networks -- Parallel Sparse Matrix-Vector Multiplication Using Accelerators -- 1 Introduction -- 2 Sparse Matrix-Vector Multiplication -- 2.1 Parallel SpMV -- 3 Accelerator -- 3.1 Programming Model of Xeon Phi -- 4 Implementation of SpMV -- 5 Evaluation of Parallel SpMV -- 5.1 Experimental Results -- 5.2 Performance of Each SpMV Implementation (single Process) -- 5.3 Performance of Each SpMV Implementation (64 MPI Processes) -- 6 Investigation of SpMV Kernel for MIC -- 6.1 Existing Kernels and Their Problems -- 6.2 Applying Segmented Scan to SpMV -- 7 Conclusion -- References -- On the Cluster-Connectivity of Wireless Sensor Networks -- 1 Wireless Sensor Networks -- 1.1 System Model -- 1.2 Graph-Theoretic Model -- 1.3 Minimum Total Energy Topology Problems: Nondeterministic Polynomial-Time Completeness -- 2 Clustered Wireless Sensor Networks -- 2.1 System Model -- 2.2 Graph-Theoretic Model -- 2.3 Connectivity Problems of Clustered Wireless Sensor Networks -- 3 Clustered-Graph Connectivity Problems: Nondeterministic Polynomial-Time Completeness -- 4 Minimization of Clustered-Graph Connectivity: Nondeterministic Polynomial-Time Hardness, and Approximation Algorithm -- 5 Concluding Remarks -- References -- A PBIL for Load Balancing in Network Coding Based Multicasting -- Abstract -- 1 Introduction -- 2 Problem Formulation -- 3 The Proposed PBIL -- 3.1 New PV Update Scheme -- 3.2 The Overall Procedure of the Proposed PBIL -- 4 Performance Evaluation -- 4.1 Test Instances -- 4.2 Overall Performance Evaluation -- 5 Conclusions -- Acknowledgements -- References -- A Proposed Protocol for Periodic Monitoring of Cloud Storage Services Using Trust and Encryption -- Abstract -- 1 Introduction -- 2 Background -- 2.1 Encryption -- 2.2 Trust -- 2.3 Hash -- 3 Related Work.
4 File Integrity Monitoring Protocol -- 4.1 Protocol Requirements -- 4.2 Protocol Operating Principle -- 4.3 Protocol Architecture -- 4.3.1 File Storage Process -- 4.3.2 Verification Process -- 4.3.3 Trust Level Classification Process -- 5 Protocol Analysis -- 6 Simulations -- 7 Conclusions -- Acknowledgments -- References -- Implementation of Multiple-Precision Floating-Point Arithmetic on Intel Xeon Phi Coprocessors -- 1 Introduction -- 2 Multiple-Precision Floating-Point Number Representation -- 3 Vectorization and Parallelization of Multiple-Precision Floating-Point Addition, Subtraction and Multiplication -- 4 Vectorization and Parallelization of Multiple-Precision Floating-Point Division and Square Root -- 4.1 Newton Iteration -- 4.2 Vectorization and Parallelization -- 5 Performance Results -- 6 Conclusion -- References -- Towards a Sustainable Architectural Design by an Adaptation of the Architectural Driven Design Method -- Abstract -- 1 Introduction -- 2 Problem Statement and Solution Approach -- 3 Background -- 3.1 Sustainability and the Karlskrona Manifesto -- 3.2 Architecture Driven Design - ADD -- 3.3 Sustainable Health Services on Cloud -- 4 Proposal Solution -- 5 Architectural Sustainability Analysis of the HCR -- 5.1 Environmental Sustainability -- 5.2 Social Sustainability -- 5.3 Technical Sustainability -- 5.4 Economic Sustainability -- 5.5 Individual Sustainability -- 6 Conclusions -- References -- The Design and Implementation on the Android Application Protection System -- Abstract -- 1 Introduction -- 2 Related Background -- 2.1 Security Threats -- 2.2 Security Reinforcement Measure -- 3 Static Defense Solution -- 3.1 DEX Shell Mechanism -- 3.2 DEX Shell Technology -- 3.3 Class Loading Mechanism of Dalvik -- 3.4 Design of Static Defense Solution -- 4 Dynamic Defense Solution -- 4.1 Dynamic Attack Mechanism. 4.2 Dynamic Defense Mechanism -- 5 System Design and Implementation -- 5.1 Design -- 5.2 Architecture of System -- 6 Implement of Defense Solution -- 6.1 Static Defense Solution -- 6.2 Dynamic Defensing Solution -- 7 Security Analysis -- 7.1 Static Security Analysis -- 7.2 Dynamic Security Analysis -- 8 Conclusions -- Acknowledgment -- References -- Extending the ITU-T G.1070 Opinion Model to Support Current Generation H.265/HEVC Video Codec -- Abstract -- 1 Introduction -- 2 Experimental Setup -- 3 Result Analysis -- 3.1 Video Quality Affected by Coding -- 3.2 Video Quality Affected by Packet Loss -- 3.3 Accuracy of the Model -- 4 Conclusion -- References -- New Advantages of Using Chains in Computing Multiple s-t Probabilistic Connectivity -- 1 Introduction -- 2 Factoring Method for Network Reliability Calculation -- 3 One of Pivot Nodes is Inside a Chain -- 4 Both Pivot Nodes are Inside Different Chains -- 5 Obtaining Bounds for (G) and C(G) Through Known Part of Rij -- 6 Example -- 7 Conclusion -- References -- A Delay-Driven Switching-Based Broadcasting Scheme in Low-Duty-Cycled Wireless Sensor Networks -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 System Model and Assumptions -- 3.2 Timeslot Design -- 3.3 Problem Formulation -- 4 Proposed Scheme -- 4.1 Motivation -- 4.2 Switching Criteria -- 4.3 Switching Decision -- 4.4 Sending Schedule Priority -- 4.5 Collision-Free Scheduling -- 5 Performance Evaluation -- 5.1 Simulation Environment -- 5.2 Simulation Results -- 6 Conclusion -- Acknowledgement -- References -- Memory-Aware Scheduling for Mixed-Criticality Systems -- 1 Introduction -- 2 Related Work -- 3 Models and Problem Formulation -- 3.1 System Models -- 3.2 Problem Formulation -- 4 Theoretical Foundation -- 5 Memory-Processor Priority Co-assignment for Mixed-Criticality Task Set -- 6 Evaluation. 6.1 Experimental Setting -- 6.2 Experiment Results and Discussions -- 7 Conclusion -- References -- A Generalized Ant Routing Mechanism Framework in Mobile P2P Networks -- Abstract -- 1 Introduction -- 2 ACO and Routing Protocols -- 2.1 Basic Idea of ACO -- 2.2 Design Challenge of Routing Protocols in MP2P -- 3 Survey of Ant Routing Protocols -- 3.1 Discussion of Representative Ant Routing Protocols -- 3.2 General Ant Routing Principles -- 4 Generalized Ant Routing Mechanism Framework -- 4.1 Ant Module -- 4.2 Node Module -- 4.3 Data Packet Module -- 5 A Generalized Solution -- 5.1 A Generalized Solution from the Framework -- 5.2 Simulation Study -- 6 Conclusions and Future Work -- Acknowledgments -- References -- WACA: WearAble Device Based Home Control Assistant Framework -- Abstract -- 1 Introduction -- 2 Motivation and Considerations -- 3 Proposed System Architecture -- 3.1 Framework Design -- 3.2 Gesture Patterns -- 3.3 Control Protocol Design -- 3.4 Service Scenarios -- 4 Experiment Result and Evaluation -- 5 Conclusion and Future Works -- References -- Media, Screen, Input, and Context Sharing System for D2D Services in Smart TV 2.0 -- Abstract -- 1 Introduction -- 2 Related Work -- 3 System Design and Development -- 3.1 System Outline -- 3.2 Media Sharing System -- 3.3 Screen Sharing System -- 3.4 Input Sharing System -- 3.5 Context Sharing System -- 4 System Analysis -- 5 Conclusion -- Acknowledgement -- Indoor Location: An Adaptable Platform -- 1 Introduction -- 2 Platform Architecture -- 2.1 I/O Manager -- 2.2 Request Manager -- 2.3 Data Publication Manager -- 2.4 Map Manager -- 2.5 Location Manager -- 2.6 Event Manager -- 2.7 Things Manager -- 2.8 Data Storage Manager -- 3 Evaluation -- 4 Related Work -- 5 Conclusion and Future Works -- References. Sequential and Parallel Hybrid Approaches of Augmented Neural Networks and GRASP for the 0-1 Multidimensional Knapsack Problem -- 1 Introduction -- 2 0-1 Multidimensional Knapsack Problem -- 3 Augmented Neural Networks -- 4 GRASP -- 5 Proposed Solution -- 6 Comparative Results -- 7 Conclusions and Future Work -- References -- Computational Verification of Network Programs for Several OpenFlow Switches in Coq -- 1 Introduction -- 2 Preliminary -- 2.1 NetCore -- 2.2 Coq -- 3 Methodology of Verification -- 4 Verification -- 4.1 Overview of Verification -- 5 Discussion -- 6 Conclusion -- A Appendix (Program that Does Not Generate Looping Packets) -- B Appendix (Program that Generates Looping Packets) -- References -- Parallelizing Simulated Annealing Algorithm in Many Integrated Core Architecture -- 1 Introduction -- 2 Simulated Annealing Algorithm -- 2.1 The Basic Idea -- 2.2 Generation of New Solutions -- 2.3 To Solve TSP Using Simulated Annealing Algorithm -- 2.4 To Improve Simulated Annealing Algorithm for TSP -- 3 Parallel SAA in MIC -- 3.1 MIC Architecture -- 3.2 A Parallel Simulated Annealing Algorithm -- 4 Experimental Results -- 4.1 Parallel SAA in CPU Architecture -- 4.2 Parallel SAA in MIC Architecture -- 5 Conclusions and Future Work -- References -- On Efficient SC-Based Soft Handoff Scheme in Proxy Mobile IPv6 Networks -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Proposed Scheme -- 4 Performance Evaluation -- 4.1 Markov Chain Model for Soft Handoff and the Handoff Queue -- 4.2 Numerical Results and Discussion -- 5 Conclusion -- Acknowledgement -- References -- Distributed Computing Infrastructure Based on Dynamic Container Clusters -- 1 Introduction -- 2 Related Work -- 3 Deploying and Running Applications in DCIs: Containers vs Virtual Machines -- 4 Simulating Container-Based Distributed Computing Infrastructure. 5 Building and Evaluating Container-Based Distributed Computing Environment. |
| Record Nr. | UNINA-9910483368003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang
| Computational Science and Its Applications – ICCSA 2016 [[electronic resource] ] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXVII, 636 p. 207 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Algorithms Software engineering Computer simulation Application software Data mining Computer Communication Networks Software Engineering Computer Modelling Computer and Information Systems Applications Data Mining and Knowledge Discovery |
| ISBN | 3-319-42092-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483621803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
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 | ||
| ||
