Computational Science and Its Applications -- ICCSA 2012

Name: Computational Science and Its Applications -- ICCSA 2012 | 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

Beniamino Murgante Osvaldo Gervasi Sanjay Misra Nadia Nedjah Ana Maria Alves Coutinho Rocha David Taniar Bernady O. Apduhan(Editor)

Springer (Publisher)

Published on 15. June 2012

XXII, 765 pages

E-Book

PDF with digital watermarking

System requirements

978-3-642-31137-6 (ISBN)

€53.49incl. 7% vat

System requirements

for PDF with digital watermarking

E-Book Single Licence

Available for download

Description

More details

Other editions

Persons

Content

Title
Preface
Organization
Table of Contents - Part III
Workshop on Optimization Techniques and Applications (OTA 2012)
Incorporating Radial Basis Functions in Pattern Search Methods: Application to Beam Angle Optimization in Radiotherapy Treatment Planning
Introduction
Beam Angle Optimization in IMRT Treatment Planning
BAO Model
FMO Model
Radial Basis Function Interpolation and Its Use within the Pattern Search Methods Framework
RBF Interpolation Problems
Incorporation of RBF Models in the Pattern Search Methods Framework Tailored for the BAO Problem
Head-and-Neck Clinical Examples
Results
Conclusions
References
On the Complexity of a Mehrotra-Type Predictor-Corrector Algorithm
Introduction
Technical Results
Polynomial Complexity
References
Design of Wood Biomass Supply Chains
Introduction
Problem Description
Mathematical Programming Model
Decision Variables and Constraints
Objective Function
Computation Results
Conclusions
References
On Solving a Stochastic Programming Model for Perishable Inventory Control
Introduction
Stochastic Programming Model
SDP Approach
Solution Properties for Deterministic Demand
Solution Properties for Stochastic Demand
Comparative Study
Conclusions
References
An Artificial Fish Swarm Filter-Based Method for Constrained Global Optimization
Introduction
Filter Paradigm
The AFSFilter Method
Random Behavior
Searching Behavior
Chasing Behavior
Swarming Behavior
The Filter Line Search Method
NumericalExperiments
Conclusions
References
Solving Multidimensional 0-1 Knapsack Problem with an Artificial Fish Swarm Algorithm
Introduction
Artificial Fish Swarm Algorithm
Binary Artificial Fish Swarm Algorithm
Initialization (Coding)
Constraints Handling (Decoding)
Visual Scope in b-AFSA
Operators Used in b-AFSA
Selection
Termination Condition
Leaping
The b-AFSA
Experimental Results
Conclusions
References
Optimization Modelof COTS Selection Based on Cohesion and Coupling for Modular Software Systems under Multiple Applications Environment
Introduction
Criteria for COTS Selection under Multiple Applications Development
Functional Performance
Cost
Intra-modular Coupling Density
Reusability
COTS Selection Problem Formulation
Notations
Bi-objective Optimization Model
Explanation on the Formulation of the Model
Solution Approach
An Illustrative Example
Conclusions
References
A Derivative-Free Filter Driven Multistart Technique for Global Optimization
Introduction
The Filter Driven Multistart Method
A Multistart Strategy
The Derivative-Free Filter Local Procedure
Stopping Rule
Experimental Results
Conclusions and Future Work
References
On Lower Bounds Using Additively Separable Terms in Interval B&B
Introduction
Properties of Interval Inclusion Functions
Additively Separate Lower Bounds
Additively Separable Baumann Lower Bound
Additively Separable Lower Bound Value Form (ASLBV)
Bound ASLB? Based on New Minorant ?
Numerical Illustration
Test Problems
Interval B&B Algorithm
Experimental Results
Conclusions
References
A Genetic Algorithm for the Job Shop on an ASRS Warehouse
Introduction
The Storage System
Processing Loads
Organizing the Process and Processing Time
Job Shop Scheduling Problem
Methodology
Constructive Algorithm
The Genetic Algorithm Structure
Computational Experiments
Conclusions
References
On Solving the Profit Maximization of Small Cogeneration Systems
Introduction
Physical Description of the Cogeneration System
MathematicalModel
Optimization Methods
Numerical Results and Discussion
Conclusions
References
Global Optimization Simplex Bisection Revisited Based on Considerations by Reiner Horst
Introduction
Covering Algorithms
Non-optimality Spheres
B&B Simplicial Covering Algorithm
Check on Covering a Simplex by Spheres
Numerical Illustration
Conclusions and Future Work
References
Application of Variance Analysis to the Combustion of Residual Oils
Introduction
Test Facility
Methodology
Results and Discussion
Conclusions
References
Warehouse Design and Planning: A Mathematical Programming Approach
Introduction
Literature Review
Warehouse Design and Planning
Inventory Decisions
Mathematical Programming Model
A MINLP Model for the Warehouse Design Problem
Methodology
Computational Results
Conclusions and Future Work
References
Application of CFD Tools to Optimize Natural Building Ventilation Design
Introduction
CFD Model
Mathematical Modeling
Numerical Solution
Simulation Test Cases
Geometry and Grid
Boundary Conditions
Numerical Results and Discussion
Conclusions
References
Workshop on Mobile Communications (MC 2012)
Middleware Integration for Ubiquitous Sensor Networks in Agriculture
Introduction
System Architecture
Middleware Design
Sensor Stream Data Path
Middleware Support
Data Analysis
Remote Control
Concluding Remarks
References
Usage Pattern-Based Prefetching: Quick Application Launch on Mobile Devices
Introduction
Related Work
Prefetching Scheme
Smartphone Usages
The Dataset Analysis
The Dataset Gathering
Application Popularity
Application Usage Patterns
Design of UPP
The Application Prediction Model
The Selection of Pages for Prefetching
The Triggering Time of Prefetching
Evaluation
Implementation
Experimental Setups
Experimental Evaluation
Conclusion
References
EIMOS: Enhancing Interactivity in Mobile Operating Systems
Introduction
Related Work
Process Scheduler in the Linux Systems
Research in the Desktop Environment
Design and Implementation of Eimos
Identification of the Topmost Process
Scheduler Support
I/O Prefetch Support
Evaluation
Conclusions and Future Work
References
Development of Mobile Hybrid MedIntegraWeb App for Interoperation between u-RPMS and HIS
Introduction
Related Studies
Context Based Access Control
Positioning Based Access Control
u-RPMS MedIntegraWeb Design
Implementation Results
Implementation Environment
Image of Service Implementation
Conclusion
References
A Distributed Lifetime-Maximizing Scheme for Connected Target Coverage in WSNs
Introduction
Related Works
Preliminaries
Assumption and Definitions
Problem Statement
Energy Consumption Model
Proposed Scheme
Performance Evaluation
Impact of Algorithm Parameters
Impact of Network Parameters
Conclusion
References
Reducing Last Level Cache Pollution in NUMA Multicore Systems for Improving Cache Performance
Introduction
Background and Motivation
Cache Pollution in Shared LLC
LLC Pollution Reduction Mechanism
Performance Evaluation
a Sensitivity in MA
Micro-benchmarks
Conclusion
References
The Fast Handover Scheme for Mobile Nodes in NEMO-Enabled PMIPv6
Introduction
Related Work
Proxy Mobile IPv6
Network Mobility
Network Mobility in PMIPv6
Proposed Scheme
Overview of the Proposed Scheme
Fast Handover Scheme for Mobile Nodes
Performance Evaluation
Analysis Scenario and Notations
Traffic Cost Analysis
Handover Latency
Results
Conclusion
References
A Reference Model for Virtual Resource Description and Discovery in Virtual Networks
Introduction
Related Work
Model Definition
ModelDescription
WSDL2.0 Schema
WSDL Extension to Describe the Virtual Resources
WSDL-Based VNet Resource Provisioning Framework
Model Analysis
Conclusion
References
TV Remote Control Using Human Hand Motion Based on Optical Flow System
Introduction
Related Works
Pointing Based Interaction
Dynamic Gesture Based Interaction
Static Gesture Based Interaction
Hand Held Device Based Interaction
Motion Recognition
Generation of Color Table
Vector Extraction
Feature Extraction
Natural Interaction for TV Control
Interaction Design
TV Emulation and Visual Feedback
System Configuration
User Evaluation and Results
Conclusion
References
Fast and Reliable Data Forwarding in Low-Duty-Cycle Wireless Sensor Networks
Introduction
Related Work
Preliminaries
Assumptions
Link Quality Model
Energy Model
Proposed Scheme
Motivation
Calculating the Sleep Latency
Forwarding Metric
Performance Evaluation
Comparison of Delivery Rate
Comparison of Energy Efficiency
Comparison of End to End delay
Conclusion
References
Workshop on Mobile-Computing, Sensing, and Actuation for Cyber Physical Systems (MSA4CPS 2012)
Neural Network and Physiological Parameters Based Control of Artificial Pancreas for Improved Patient Safety
Introduction
Materials and Methods
Mathematical Modeling
Closed Loop System
Neural Network Predictive Controller
Subcutaneous Route
Vital Signs for Hypoglycemia Detection
Modeling and Simulation
References
Conclusion
A Genetic Algorithm Assisted Resource Management Scheme for Reliable Multimedia Delivery over Cognitive Networks
Introduction
Related Work
System Model
Resource Model
Resource Allocation
Simulation Results
Conclusion
References
Performance Analysis of WiMAX Best Effort and ertPS Service Classes for Video Transmission
Introduction
Problem Definition
Simulation Setup
Results and Inferences
Future Work
References
Jump Oriented Programming on Windows Platform (on the x86)
Introduction
Related Work
Return Oriented Programming
Jump Oriented Programming
Limits
Finding Gadget Sets
Dispatcher Gadget
Other Gadgets
Proposed Algorithm and Scenario
Proposed Algorithm
Evaluation
Scenario
Possible Defenses
Conclusion
References
Cryptanalysis and Improvement of a Biometrics-Based Multi-server Authentication with Key Agreement Scheme
Introduction
Related Works
Biometric Authentication
Review of Yoon et al.'s Scheme
Server Registration Phase
User Registration Phase
Authenticated Key Agreement Phase
Password and Biometrics Update Phase
Cryptanalysis of Yoon et al.'s Scheme
Off-Line Password Guessing Attack
Improved Scheme
Server Registration Phase
User Registration Phase
Authenticated Key Agreement Phase
Password and Biometrics Update Phase
Security Analysis
Guessing Attacks
Replay Attacks
Stolen-Verifier Attacks
Stolen Smart Card Attacks
Insider Attacks
Server Spoofing Attacks
Registration Center Spoofing Attacks
Impersonation Attacks
Mutual Authentication
Session Key Security
Security of Ephemeral Secret Key
Security of Known-Key
Perfect Forward Secrecy
Secure Password and Biometrics Update Protocol
Conclusion
References
Rate-Distortion Optimized Transcoder Selection for Multimedia Transmission in Heterogeneous Networks
Introduction
System Overview
Distortion Due to Packet Loss
System Architecture
Network Architecture
Probability of Packet Loss
Delay Constraints
Transcoder Selection Problem and Solution
Rate-Distortion Optimized Solution
Naive Approach
Results and Discussions
Conclusions
References
Formal Probabilistic Analysis of Cyber-Physical Transportation Systems
Introduction
Related Work
Preliminaries
Theorem Proving
HOL Theorem Prover
Proposed Approach
Discrete Random Variables and the PMF
Continuous Random Variables and the CDF
Statistical Properties for Discrete Random Variables
Statistical Properties for Continuous Random Variables
Vehicle Platoon Control Algorithm
Conclusions
References
Workshop on Remote Sensing (RS 2012)
DEM Reconstruction of Coastal Geomorphology from DINSAR
Introduction
DInSAR Data Processing
Conventional DInSAR Method
DEM Reconstruction Using Multichannel MAP Height Estimator
Ground Survey
Results and Discussion
Conclusions
References
Three-Dimensional Coastal Front Visualization from RADARSAT-1 SAR Satellite Data
Introduction
3-D Model of Front
Velocity Bunching Model
Volterra Model
The Fuzzy B-Splines Method
Data Set and Study Area
Results and Discussion
Conclusions
References
A New Self-Learning Algorithm for Dynamic Classification of Water Bodies
Introduction
Material and Methods
Remote Sensing Data
Available Static Land-Water Masks
Dynamically Self-Learning Evaluation Method (DySLEM)
Structure of the Processor
Generation of Regional Static Land Water Mask (WS1)
Classification Algorithms of DySLEM
A Self-Learning Algorithm to Identify Temporal Dynamic of Water Bodies
Results
Conclusions
References
DEM Accuracy of High Resolution Satellite Images
Introduction
Study Area and Data Used
Study Area
Satellite Data
Field Survey
Methodology
Results
Conclusions
References
Low Cost Pre-operative Fire Monitoring from Fire Danger to Severity Estimation Based on Satellite MODIS,Landsat and ASTER Data: The Experience of FIRE-SAT Project in the Basilicata Region (Italy)
Introduction
Methodology
Fire Danger Estimation Rationale and Approaches
Fire Severity Estimation
Estimation of Vegetation Recovery Capability
Results
Conclusion
References
Investigating Satellite Landsat TM and ASTER Multitemporal Data Set to Discover Ancient Canals and Acqueduct Systems
Introduction
Study Area: History and Environmental Setting
Satellite Based Analysis
Results
Conclusions
References
Using Spatial Autocorrelation Techniques and Multi-temporal Satellite Data for Analyzing Urban Sprawl
Introduction
Materials and Methods
Change Detection
Spatial Autocorrelation Techniques
The Case Study
Change Detection
Spatial Autocorrelation
Results
Final Remarks
References
General Track on Information Systemsand Technologies
A Framework for QoS Based Dynamic Web Services Composition
Introduction
Related Work
A Randomized Algorithm for Multi-objective Optimization for Service Composition
Web Service Composition with Minimum Communication Cost [1]
Web Service Composition with Minimum Service Cost
Experiment Results
System Specification
Data Set
Results
Analysis of the Result
Conclusion
References
Data Summarization Model for User Action Log Files
Introduction
Related Works
Roadmap
The Model
The Optimal Summarization Problem
Conclusion and Future Work
References
User Modeling for Adaptive E-Learning Systems
Introduction
What Is Being Modeled?
How Is the Information Represented?
An Overview of Adaptive E-Learning System Architectures
Conclusion
References
An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
Introduction
SVM Parameter Selection
Developed Work
Search Module
Meta-Database
Meta-Learner
Experiments
Results
Statistical Analysis
Conclusions
References
An Investigation into Agile Methods in Embedded Systems Development
Introduction
Background
Systematic Review Conducted
Step 1: Planning
Step 2: Conduction
Step 3: Reporting
Discussion
Conclusion and Future Work
References
Heap Slicing Using Type Systems
Introduction
Programming Language and Two Operational Semantics
One-Slice Heap Semantics
? -Slices Heap Semantics
Pointer Analysis
Region Analysis
Data Slicing
Related and Future Work
References
Using Autonomous Search for Generating Good Enumeration Strategy Blends in Constraint Programming
Introduction
Constraint Programming
Related Work
AS+CPFramework
Choice Function
Experiments
Conclusion and Future Work
References
Evaluation of Normalization Techniques in Text Classification for Portuguese
Introduction
Technique for Normalization
Evaluation of Normalization Techniques in Text Classification
Datasets
Evaluation Approach of Normalization Techniques in Text Classification
Results Analysis
Conclusion
References
Extracting Definitions from Brazilian Legal Texts
Introduction
What Are Definitions?
Previous Works on Definition Extraction
Methodology
The Experimentation Corpus
Pre-processing
Segmentation
Part-of-Speech Tagging
Feature Extractors
Training
Classification
Results
Conclusion and Future Efforts
References
A Heuristic Diversity Production Approach
Introduction
Background
Artificial Neural Network
Decision Tree Learning
K-Nearest Neighbor Algorithm
Proposed Method
Preparing Different Sets from the Main Dataset
Creating an Ensemble of Diverse Classifiers
Combining Classifiers
Experimental Results
Conclusion
References
Structuring Taxonomies from Texts: A Case-Study on Defining Soil Classes
Introduction
Soil Classes in the Cerrado Biome
Material and Methods
Preparing the Data
The Clustering Approach
Forming the Text Classes
Results and Discussion
Conclusions and Future Work
References
Exploring Fuzzy Ontologies in Mining Generalized Association Rules
Introduction
Related Work
The Extended FOntGAR Algorithm
Ideas Used in the Proposed Algorithm
The Extended FOntGAR Step by Step
Calculating the Degrees of Support and Confidence
Experiments
Comparisons
Conclusions and Future Works
References
BTA: Architecture for Reusable Business Tier Components with Access Control
Introduction
Related Work
Business Tier Architecture (BTA)
Interfaces
Architecture
Proof of Concept
Discussion
Conclusion
References
Analysing the PDDL Language for Argumentation-Based Negotiation Planning
Introduction
Defining an Argumentation Process as a Planning Problem
The PDDL Language
A Brief Review of PDDL
Soft Constraints and Preferences
Definition of the Argumentation Plan Problem Using PDDL
Negotiation Language
Initial and Final States
Actions
PDDL Preferences for Argumentation Plan Generation
Case Study
Discussion: Pros and Cons of Using PDDL for Argumentation-Based Negotiation Planning
Conclusions
References
Predicting Potential Responders in Twitter: A Query Routing Algorithm
Introduction
Related Work
About the Act of Publish Question in the Web
About Expertise Finding
About Routing Questions
About the Differential of Our Research
Twitter
FormalModel
The Social Network
Problem Definition
The Routing Algorithm
Evaluation and Results
Methodological Aspects
Results and Discussion
Conclusion
References
Towards a Goal Recognition Model for the Organizational Memory
Introduction
Workflow Mining and Goal Recognition
Related Work
Proposed Approach
Learning a Workflow's Goals Model from Examples
Recognizing an Employee's Goals withing a Workflow
Experimental Evaluation
Experiment Set-Up
Goal Recognition Performance
Conclusions
References
SART: A New Association Rule Method for Mining Sequential Patterns in Time Series of Climate Data
Introduction
Background and Related Work
Proposed Method: Sequential Association Rules from Time Series (SART)
Experiments
Experiment 1
Experiment 2
Experiment 3
Conclusions and Further Research
References
Author Index

System requirements

Save as PDF Copy link into clipboard

Schweitzer Fachinformationen

Computational Science and Its Applications -- ICCSA 2012

Description

More details

Other editions

Additional editions

Persons

Content

System requirements