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 : 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 : 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 : 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 : 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 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 I / / 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 I / / 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, 650 p. 202 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-42085-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part I -- Computational Methods, Algorithms and Scientific Applications -- A Nonlinear Multiscale Viscosity Method to Solve Compressible Flow Problems -- 1 Introduction -- 2 Governing Equations and Variational Multiscale Formulation -- 3 Numerical Experiments -- 3.1 2D Oblique Shock Problem -- 3.2 2D Reflected Shock Problem -- 3.3 2D Explosion Problem -- 4 Conclusions -- References -- "Extended Cross-Product" and Solution of a Linear System of Equations -- Abstract -- 1 Introduction -- 2 Extended Cross Product -- 3 Projective Representation and Duality Principle -- 3.1 Projective Representation -- 3.2 Principle of Duality -- 4 Solution of Ax = B -- 5 Solution of Ax = 0 -- 6 Solution Ax = b and Ax = 0 -- 7 Barycentric Coordinates Computation -- 8 Intersection of Two Planes -- 9 Closest Point on the Line Given as an Intersection of Two Planes -- 10 Symbolic Manipulations -- 11 Example of Application -- 12 Efficiency of Computation and GPU Code -- 13 GPU Code -- 14 Conclusion -- Acknowledgment -- References -- Dynamical Behavior of a Cooperation Model with Allee Effect -- 1 Introduction -- 2 Analysis of Model (1) -- 2.1 Fixed Points and Their Stability -- 2.2 Stability via Lyapunov Function -- 3 Numerical Simulations of Model (1) -- 3.1 Phase Plane Diagrams -- 3.2 Time Series Diagrams -- 3.3 Basin of Attraction -- 4 Analysis of Model (2) -- 4.1 Fixed Points and Their Stability -- 4.2 Stability via Lyapunov Function -- 5 Numerical Simulations of Model (2) -- 5.1 Phase Plane Diagrams -- 5.2 Time Series Diagrams -- 5.3 Basin of Attraction -- 6 Conclusion -- References -- Stability of a Certain 2-Dimensional Map with Cobweb Diagram -- 1 Introduction -- 1.1 A Root Finding Algorithm -- 2 Stability of System () -- 2.1 Dynamics of System () in a Rectangular Region.
2.2 Stability of System () with Cobweb Diagram -- 3 Conclusions -- A Related Lemmas/Theorems -- References -- A New Heuristic for Bandwidth and Profile Reductions of Matrices Using a Self-organizing Map -- 1 Introduction -- 2 Self-organizing Map with Winner-takes-most Approach -- 3 Self-organizing Map Applied to Bandwidth and Profile Reductions -- 4 Description of Tests -- 5 Results and Analysis -- 5.1 Tests with the Harwell-Boeing Sparse Matrix Collection -- 5.2 Simulations with Linear Systems Originated from Discretization of the Heat Conduction Equation by Finite Volumes -- 5.3 Simulations with Linear Systems Arising from the Discretization of the Laplace Equation by Finite Volumes -- 6 Conclusions -- References -- Modeling Combustions: The ab initio Treatment of the O(3P) + CH3OH Reaction -- 1 Introduction -- 2 Ab Initio Calculations of the Molecular Geometries and Energies -- 3 The Fitting of the Potential Energy Surface -- 4 Dynamical Calculations and Probabilities -- 5 Conclusions -- References -- Point Placement in an Inexact Model with Applications -- 1 Introduction -- 2 The Distance Geometry Approach -- 2.1 Algorithm DGPL -- 2.2 Simulating DGPL -- 3 Mumey's Approach to the Probe Location Problem -- 3.1 Overview of Mumey's Algorithm -- 4 Experimental Results -- 5 Three Dimensional Embedding -- 6 Conclusions -- References -- Development and Validation of a Logistic Regression Model to Estimate the Risk of WMSDs in Portuguese Home Care Nurses -- 1 Introduction -- 2 Problem Description -- 3 Model Development -- 3.1 Sample Size Considerations -- 4 Model Validation -- 5 Materials and Methods -- 6 Results -- 7 Conclusion -- References -- Analytical Spatial-Angular Structure of Uniform Slab Radiation Fields for Strongly Elongated Phase Functions -- Abstract -- 1 Introduction. 2 New Integral Equations for Upgoing and Downgoing Intensities of Inner Radiation Fields -- 3 Fitting Analytical Approximations for Upgoing and Downgoing Intensities of Radiation Fields -- 4 Results of Auxiliary Functions and Slab's Brightness Coefficients Numerical Modelling -- 5 Conclusion -- References -- Acetone Clusters Molecular Dynamics Using a Semiempirical Intermolecular Potential -- 1 Introduction -- 2 Potential Energy Surface -- 3 The Simulation Protocol of the Molecular Dynamics -- 4 The (CH3-CO-CH3)2 and (CH3-CO-CH3)3 Small Aggregates -- 5 Conclusions -- References -- Cumulative Updating of Network Reliability with Diameter Constraint and Network Topology Optimization -- 1 Introduction -- 2 Problem Statement -- 3 Brief Survey of Exact Methods for Network Reliability Calculation -- 4 Cumulative Updating of Network Reliability -- 5 Genetic Algorithm -- 6 Artificial Immune System -- 7 Case Studies -- 8 Conclusion -- References -- Set Covering Problem Resolution by Biogeography-Based Optimization Algorithm -- 1 Introduction -- 2 Set Covering Problem -- 2.1 Formal Definition -- 3 Biogeography-Based Optimization Algorithm -- 3.1 Migration Operator -- 3.2 Mutation Operator -- 3.3 Algorithm Description -- 4 Biogeography-Based Optimization Algorithm for the SCP -- 4.1 General Considerations -- 4.2 Fitness -- 4.3 Repair Infeasible Solutions -- 4.4 Delete Redundant Columns -- 4.5 Optimize Stagnation in Local Optimum -- 5 Experiments and Results -- 6 Conclusion -- References -- Finding Solutions of the Set Covering Problem with an Artificial Fish Swarm Algorithm Optimization -- 1 Introduction -- 2 Set Covering Problem -- 2.1 How Has It Been Solved Before? -- 2.2 Metaheuristics that Have Solved SCP -- 2.3 Metaheuristics, Bio-Inspired and AFSA -- 3 Artificial Fish Swarm Algorithm -- 3.1 Main Behaviors of AFSA -- 3.2 Another Description of AFSA. 3.3 Proposed Algorithm of AFSA Binary Version -- 4 Artificial Fish Swarm Algorithm and Its Simplified Binary Version -- 4.1 Features that Were Modified in AFSA -- 4.2 Initialization of Population -- 4.3 Generation of Trial Population -- 4.4 The Effect-Based Crossover in Simplified Binary Version of AFSA -- 4.5 Deal with Constraints of SCP -- 4.6 Selection of New Population -- 4.7 Reinitialization of Current Population -- 4.8 Exploitation or Local Search -- 4.9 Conditions to Finish the Algorithm -- 4.10 AFSA-SCP Proposed Algorithm -- 5 Experimental Results -- 6 Conclusions -- References -- Linear Programming in a Multi-Criteria Model for Real Estate Appraisal -- Abstract -- 1 Introduction -- 2 The Mathematical Formalism of the Model -- 3 The Case Study -- 4 The Results -- 5 Conclusion -- References -- A Prioritisation Model Aiding for the Solution of Illegal Buildings Problem -- Abstract -- 1 Introduction -- 2 The Problem of Illegal Buildings in Italy -- 3 The Management of Illegal Building Activity in Italy -- 4 Assigning an Order of Precedence on Demolition of Illegal Building Works -- 5 The Assessment Points of View -- 6 Choice of the Evaluation Aggregation Procedure -- 7 The TOPSIS Method -- 7.1 Literary Review -- 7.2 Basic Concepts and Features -- 7.3 The Aggregative Procedure -- 8 Weights Elicitation -- 9 Verification of the Assessment Model -- 10 Concluding Remarks -- References -- Solving the Set Covering Problem with a Binary Black Hole Inspired Algorithm -- 1 Introduction -- 2 Conceptual Context -- 2.1 SCP Explanation and Detail -- 2.2 Black Holes -- 3 Algorithm -- 3.1 Big Bang -- 3.2 Fitness Evaluation -- 3.3 Rotation Operator -- 3.4 Collapse into the Black Hole -- 3.5 Implementation -- 3.6 Feasibility and Unfeasibility -- 3.7 Event Horizon -- 4 Experimental Results -- 5 Analysis and Conclusions -- References. Solving Biobjective Set Covering Problem Using Binary Cat Swarm Optimization Algorithm -- 1 Introduction -- 2 Basic Concepts -- 2.1 Swarm Intelligent -- 2.2 Multi Objective -- 2.3 Pareto Dominance -- 2.4 Hypervolume -- 3 Set Covering Problem -- 4 Cat Swarm Optimization CSO -- 4.1 Basic Concepts -- 4.2 Parameters Important -- 4.3 Description of Cat Swarm Optimization - Main Algorithm -- 4.4 Seeking Mode -- 4.5 Tracing Mode -- 5 The Execution of the Algorithm -- 6 Experimental Results -- 7 Conclusion and Future Work -- References -- An Accelerated Multistart Derivative-Free Framework for the Beam Angle Optimization Problem in IMRT -- 1 Introduction -- 2 Multistart Derivative-Free Framework for BAO -- 2.1 BAO Formulation -- 2.2 FMO for an Intra-cranial Tumor Case -- 2.3 Multistart Approach for the Continuous BAO Problem -- 3 Computational Results -- 4 Conclusions and Future Work -- References -- Collisional Energy Exchange in CO2--N2 Gaseous Mixtures -- 1 Introduction -- 2 Intermolecular Interactions by the Bond-Bond Approach -- 2.1 Extension of the Bond-Bond Model -- 3 Molecular Dynamics Simulations -- 4 Conclusions -- References -- A Theoretical and Computational Approach to a Semi-classical Model for Electron Spectroscopy Calculations in Collisional Autoionization Processes -- Abstract -- 1 Introduction -- 2 Experimental -- 3 A New Semi-classical Computational Approach for the Electron Kinetic Energy Spectra Calculation -- 4 Conclusions -- Acknowledgments -- References -- Solving Set Covering Problem with Fireworks Explosion -- 1 Introduction -- 2 Set Covering Problem -- 3 Fireworks Algorithm -- 3.1 Components of FWA -- 4 Binary Firework Algorithm -- 5 Solving the Set Covering Problem -- 6 Result -- 7 Conclusions -- References -- Simulation of Space Charge Dynamics in High Intensive Beams on Hybrid Systems -- 1 Introduction. 2 Lie Algebra in Accelerator Physics. |
| Record Nr. | UNISA-996465686403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Science and Its Applications – ICCSA 2016 : 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 : 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 2016 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / / 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 : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / / 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, 650 p. 202 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-42085-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents - Part I -- Computational Methods, Algorithms and Scientific Applications -- A Nonlinear Multiscale Viscosity Method to Solve Compressible Flow Problems -- 1 Introduction -- 2 Governing Equations and Variational Multiscale Formulation -- 3 Numerical Experiments -- 3.1 2D Oblique Shock Problem -- 3.2 2D Reflected Shock Problem -- 3.3 2D Explosion Problem -- 4 Conclusions -- References -- "Extended Cross-Product" and Solution of a Linear System of Equations -- Abstract -- 1 Introduction -- 2 Extended Cross Product -- 3 Projective Representation and Duality Principle -- 3.1 Projective Representation -- 3.2 Principle of Duality -- 4 Solution of Ax = B -- 5 Solution of Ax = 0 -- 6 Solution Ax = b and Ax = 0 -- 7 Barycentric Coordinates Computation -- 8 Intersection of Two Planes -- 9 Closest Point on the Line Given as an Intersection of Two Planes -- 10 Symbolic Manipulations -- 11 Example of Application -- 12 Efficiency of Computation and GPU Code -- 13 GPU Code -- 14 Conclusion -- Acknowledgment -- References -- Dynamical Behavior of a Cooperation Model with Allee Effect -- 1 Introduction -- 2 Analysis of Model (1) -- 2.1 Fixed Points and Their Stability -- 2.2 Stability via Lyapunov Function -- 3 Numerical Simulations of Model (1) -- 3.1 Phase Plane Diagrams -- 3.2 Time Series Diagrams -- 3.3 Basin of Attraction -- 4 Analysis of Model (2) -- 4.1 Fixed Points and Their Stability -- 4.2 Stability via Lyapunov Function -- 5 Numerical Simulations of Model (2) -- 5.1 Phase Plane Diagrams -- 5.2 Time Series Diagrams -- 5.3 Basin of Attraction -- 6 Conclusion -- References -- Stability of a Certain 2-Dimensional Map with Cobweb Diagram -- 1 Introduction -- 1.1 A Root Finding Algorithm -- 2 Stability of System () -- 2.1 Dynamics of System () in a Rectangular Region.
2.2 Stability of System () with Cobweb Diagram -- 3 Conclusions -- A Related Lemmas/Theorems -- References -- A New Heuristic for Bandwidth and Profile Reductions of Matrices Using a Self-organizing Map -- 1 Introduction -- 2 Self-organizing Map with Winner-takes-most Approach -- 3 Self-organizing Map Applied to Bandwidth and Profile Reductions -- 4 Description of Tests -- 5 Results and Analysis -- 5.1 Tests with the Harwell-Boeing Sparse Matrix Collection -- 5.2 Simulations with Linear Systems Originated from Discretization of the Heat Conduction Equation by Finite Volumes -- 5.3 Simulations with Linear Systems Arising from the Discretization of the Laplace Equation by Finite Volumes -- 6 Conclusions -- References -- Modeling Combustions: The ab initio Treatment of the O(3P) + CH3OH Reaction -- 1 Introduction -- 2 Ab Initio Calculations of the Molecular Geometries and Energies -- 3 The Fitting of the Potential Energy Surface -- 4 Dynamical Calculations and Probabilities -- 5 Conclusions -- References -- Point Placement in an Inexact Model with Applications -- 1 Introduction -- 2 The Distance Geometry Approach -- 2.1 Algorithm DGPL -- 2.2 Simulating DGPL -- 3 Mumey's Approach to the Probe Location Problem -- 3.1 Overview of Mumey's Algorithm -- 4 Experimental Results -- 5 Three Dimensional Embedding -- 6 Conclusions -- References -- Development and Validation of a Logistic Regression Model to Estimate the Risk of WMSDs in Portuguese Home Care Nurses -- 1 Introduction -- 2 Problem Description -- 3 Model Development -- 3.1 Sample Size Considerations -- 4 Model Validation -- 5 Materials and Methods -- 6 Results -- 7 Conclusion -- References -- Analytical Spatial-Angular Structure of Uniform Slab Radiation Fields for Strongly Elongated Phase Functions -- Abstract -- 1 Introduction. 2 New Integral Equations for Upgoing and Downgoing Intensities of Inner Radiation Fields -- 3 Fitting Analytical Approximations for Upgoing and Downgoing Intensities of Radiation Fields -- 4 Results of Auxiliary Functions and Slab's Brightness Coefficients Numerical Modelling -- 5 Conclusion -- References -- Acetone Clusters Molecular Dynamics Using a Semiempirical Intermolecular Potential -- 1 Introduction -- 2 Potential Energy Surface -- 3 The Simulation Protocol of the Molecular Dynamics -- 4 The (CH3-CO-CH3)2 and (CH3-CO-CH3)3 Small Aggregates -- 5 Conclusions -- References -- Cumulative Updating of Network Reliability with Diameter Constraint and Network Topology Optimization -- 1 Introduction -- 2 Problem Statement -- 3 Brief Survey of Exact Methods for Network Reliability Calculation -- 4 Cumulative Updating of Network Reliability -- 5 Genetic Algorithm -- 6 Artificial Immune System -- 7 Case Studies -- 8 Conclusion -- References -- Set Covering Problem Resolution by Biogeography-Based Optimization Algorithm -- 1 Introduction -- 2 Set Covering Problem -- 2.1 Formal Definition -- 3 Biogeography-Based Optimization Algorithm -- 3.1 Migration Operator -- 3.2 Mutation Operator -- 3.3 Algorithm Description -- 4 Biogeography-Based Optimization Algorithm for the SCP -- 4.1 General Considerations -- 4.2 Fitness -- 4.3 Repair Infeasible Solutions -- 4.4 Delete Redundant Columns -- 4.5 Optimize Stagnation in Local Optimum -- 5 Experiments and Results -- 6 Conclusion -- References -- Finding Solutions of the Set Covering Problem with an Artificial Fish Swarm Algorithm Optimization -- 1 Introduction -- 2 Set Covering Problem -- 2.1 How Has It Been Solved Before? -- 2.2 Metaheuristics that Have Solved SCP -- 2.3 Metaheuristics, Bio-Inspired and AFSA -- 3 Artificial Fish Swarm Algorithm -- 3.1 Main Behaviors of AFSA -- 3.2 Another Description of AFSA. 3.3 Proposed Algorithm of AFSA Binary Version -- 4 Artificial Fish Swarm Algorithm and Its Simplified Binary Version -- 4.1 Features that Were Modified in AFSA -- 4.2 Initialization of Population -- 4.3 Generation of Trial Population -- 4.4 The Effect-Based Crossover in Simplified Binary Version of AFSA -- 4.5 Deal with Constraints of SCP -- 4.6 Selection of New Population -- 4.7 Reinitialization of Current Population -- 4.8 Exploitation or Local Search -- 4.9 Conditions to Finish the Algorithm -- 4.10 AFSA-SCP Proposed Algorithm -- 5 Experimental Results -- 6 Conclusions -- References -- Linear Programming in a Multi-Criteria Model for Real Estate Appraisal -- Abstract -- 1 Introduction -- 2 The Mathematical Formalism of the Model -- 3 The Case Study -- 4 The Results -- 5 Conclusion -- References -- A Prioritisation Model Aiding for the Solution of Illegal Buildings Problem -- Abstract -- 1 Introduction -- 2 The Problem of Illegal Buildings in Italy -- 3 The Management of Illegal Building Activity in Italy -- 4 Assigning an Order of Precedence on Demolition of Illegal Building Works -- 5 The Assessment Points of View -- 6 Choice of the Evaluation Aggregation Procedure -- 7 The TOPSIS Method -- 7.1 Literary Review -- 7.2 Basic Concepts and Features -- 7.3 The Aggregative Procedure -- 8 Weights Elicitation -- 9 Verification of the Assessment Model -- 10 Concluding Remarks -- References -- Solving the Set Covering Problem with a Binary Black Hole Inspired Algorithm -- 1 Introduction -- 2 Conceptual Context -- 2.1 SCP Explanation and Detail -- 2.2 Black Holes -- 3 Algorithm -- 3.1 Big Bang -- 3.2 Fitness Evaluation -- 3.3 Rotation Operator -- 3.4 Collapse into the Black Hole -- 3.5 Implementation -- 3.6 Feasibility and Unfeasibility -- 3.7 Event Horizon -- 4 Experimental Results -- 5 Analysis and Conclusions -- References. Solving Biobjective Set Covering Problem Using Binary Cat Swarm Optimization Algorithm -- 1 Introduction -- 2 Basic Concepts -- 2.1 Swarm Intelligent -- 2.2 Multi Objective -- 2.3 Pareto Dominance -- 2.4 Hypervolume -- 3 Set Covering Problem -- 4 Cat Swarm Optimization CSO -- 4.1 Basic Concepts -- 4.2 Parameters Important -- 4.3 Description of Cat Swarm Optimization - Main Algorithm -- 4.4 Seeking Mode -- 4.5 Tracing Mode -- 5 The Execution of the Algorithm -- 6 Experimental Results -- 7 Conclusion and Future Work -- References -- An Accelerated Multistart Derivative-Free Framework for the Beam Angle Optimization Problem in IMRT -- 1 Introduction -- 2 Multistart Derivative-Free Framework for BAO -- 2.1 BAO Formulation -- 2.2 FMO for an Intra-cranial Tumor Case -- 2.3 Multistart Approach for the Continuous BAO Problem -- 3 Computational Results -- 4 Conclusions and Future Work -- References -- Collisional Energy Exchange in CO2--N2 Gaseous Mixtures -- 1 Introduction -- 2 Intermolecular Interactions by the Bond-Bond Approach -- 2.1 Extension of the Bond-Bond Model -- 3 Molecular Dynamics Simulations -- 4 Conclusions -- References -- A Theoretical and Computational Approach to a Semi-classical Model for Electron Spectroscopy Calculations in Collisional Autoionization Processes -- Abstract -- 1 Introduction -- 2 Experimental -- 3 A New Semi-classical Computational Approach for the Electron Kinetic Energy Spectra Calculation -- 4 Conclusions -- Acknowledgments -- References -- Solving Set Covering Problem with Fireworks Explosion -- 1 Introduction -- 2 Set Covering Problem -- 3 Fireworks Algorithm -- 3.1 Components of FWA -- 4 Binary Firework Algorithm -- 5 Solving the Set Covering Problem -- 6 Result -- 7 Conclusions -- References -- Simulation of Space Charge Dynamics in High Intensive Beams on Hybrid Systems -- 1 Introduction. 2 Lie Algebra in Accelerator Physics. |
| Record Nr. | UNINA-9910483624803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Science and Its Applications – ICCSA 2016 : 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 : 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 | ||
| ||
