%{search_type} search results

• Session 1: Low-Leakage and Subthreshold Circuits.- Subthreshold FIR Filter Architecture for Ultra Low Power Applications.- Reverse Vgs Static CMOS (RVGS-SCMOS)
• A New Technique for Dynamically Compensating the Process Variations in Sub-threshold Designs.- Improving the Power-Delay Performance in Subthreshold Source-Coupled Logic Circuits.- Design and Evaluation of Mixed 3T-4T FinFET Stacks for Leakage Reduction.- Session 2: Low-Power Methods and Models.- Temporal Discharge Current Driven Clustering for Improved Leakage Power Reduction in Row-Based Power-Gating.- Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.- Analysis of Effects of Input Arrival Time Variations on On-Chip Bus Power Consumption.- Power-Aware Design via Micro-architectural Link to Implementation.- Untraditional Approach to Computer Energy Reduction.- Session 3: Arithmetic and Memories.- Mixed Radix-2 and High-Radix RNS Bases for Low-Power Multiplication.- Power Optimization of Parallel Multipliers in Systems with Variable Word-Length.- A Design Space Comparison of 6T and 8T SRAM Core-Cells.- Latched CMOS DRAM Sense Amplifier Yield Analysis and Optimization.- Session 4: Variability and Statistical Timing.- Understanding the Effect of Intradie Random Process Variations in Nanometer Domino Logic.- A Study on CMOS Time Uncertainty with Technology Scaling.- Static Timing Model Extraction for Combinational Circuits.- A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA.- Statistical Modeling and Analysis of Static Leakage and Dynamic Switching Power.- Session 5: Synchronization and Interconnect.- Logic Synthesis of Handshake Components Using Structural Clustering Techniques.- Fast Universal Synchronizers.- A Performance-Driven Multilevel Framework for the X-Based Full-Chip Router.- PMD: A Low-Power Code for Networks-on-Chip Based on Virtual Channels.- Session 6: Power Supplies and Switching Noise.- Near-Field Mapping System to Scan in Time Domain the Magnetic Emissions of Integrated Circuits.- A Comparison between Two Logic Synthesis Forms from Digital Switching Noise Viewpoint.- Generating Worst-Case Stimuli for Accurate Power Grid Analysis.- Monolithic Multi-mode DC-DC Converter with Gate Voltage Optimization.- Session 7: Low-Power Circuits
• Reconfigurable Architectures.- Energy Efficiency of Power-Gating in Low-Power Clocked Storage Elements.- A New Dynamic Logic Circuit Design for an Effective Trade-Off between Noise-Immunity, Performance and Energy Dissipation.- Energy Efficient Elliptic Curve Processor.- Energy Efficient Coarse-Grain Reconfigurable Array for Accelerating Digital Signal Processing.- Power-Efficient Reconfiguration Control in Coarse-Grained Dynamically Reconfigurable Architectures.- Poster Session 1: Circuits and Methods.- Settling-Optimization-Based Design Approach for Three-Stage Nested-Miller Amplifiers.- Ultra Low Voltage High Speed Differential CMOS Inverter.- Differential Capacitance Analysis.- Automated Synchronous-to-Asynchronous Circuits Conversion: A Survey.- Novel Cross-Transition Elimination Technique Improving Delay and Power Consumption for On-Chip Buses.- Poster Session 2: Power and Delay Modeling.- Analytical High-Level Power Model for LUT-Based Components.- A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.- Power Dissipation Associated to Internal Effect Transitions in Static CMOS Gates.- Disjoint Region Partitioning for Probabilistic Switching Activity Estimation at Register Transfer Level.- Data Dependence of Delay Distribution for a Planar Bus.- Special Session: Power Optimizations Addressing Reconfigurable Architectures.- Towards Novel Approaches in Design Automation for FPGA Power Optimization.- Smart Enumeration: A Systematic Approach to Exhaustive Search.- An Efficient Approach for Managing Power Consumption Hotspots Distribution on 3D FPGAs.- Interconnect Power Analysis for a Coarse-Grained Reconfigurable Array Processor.- Keynotes (Abstracts).- Integration of Power Management Units onto the SoC.- Model to Hardware Matching for nm Scale Technologies.- Power and Profit: Engineering in the Envelope.
• (source: Nielsen Book Data)

Welcome to the proceedings of PATMOS 2008, the 18th in a series of int- national workshops. PATMOS 2008 was organized by INESC-ID / IST - TU Lisbon, Portugal, with sponsorship by Cadence, IBM, Chipidea, and Tecmic, and technical co-sponsorship by the IEEE. Over the years, PATMOS has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design meth- ologies, and tools required for the development of the upcoming generations of integrated circuits and systems. The technical program of PATMOS 2008 c- tained state-of-the-art technical contributions, three invited talks, and a special session on recon?gurable architectures. The technical program focused on t- ing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and op- mization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 41 papers presented at PATMOS. The papers were - ganized into 7 oral sessions (with a total of 31 papers) and 2 poster sessions (with a total of 10 papers). As is customary for the PATMOS workshops, full papers were required for review, and a minimum of three reviews were received per manuscript.
(source: Nielsen Book Data)

• Intro
• Preface
• Organization
• Contents
• Part II
• Contents
• Part I
• Short Papers
• Cluster-Based Basic Safety Message Dissemination in VANETs
• 1 Introduction
• 2 System Model and Problem Description
• 3 Cluster Formation Algorithm
• 4 Cluster-Based BSM Dissemination Scheme
• 5 Performance Evaluation
• 6 Conclusion
• References
• On-Road Vehicle Detection Algorithm Based on Mathematical Morphology
• 1 Introduction
• 2 Problem Definition
• 3 Algorithm of Vehicle Detection
• 3.1 Moving Vehicle Detection
• 3.2 Static Vehicle Detection
• 3.3 Pseudo Code of Algorithm

• 4 Experiment
• 5 Conclusion
• References
• Estimation of Short-Term Online Taxi Travel Time Based on Neural Network
• 1 Introduction
• 2 Related Work
• 3 Problem Definition
• 4 Model Architecture
• 4.1 The External Factors Part
• 4.2 The Spatio-Temporal Learning Part
• 4.3 The Auxiliary Learning Part
• 4.4 Model Training
• 5 Experiments
• 6 Conclusion
• References
• Research on Algorithms for Finding Top-K Nodes in Campus Collaborative Learning Community Under Mobile Social Network
• 1 Introduction
• 2 Research Status
• 3 Correlation Theory
• 3.1 Node Correlation

• 3.2 Node Accessibility
• 3.3 Node Contact Centrality CV
• 4 Algorithm Design
• 4.1 General Update Algorithm(Ye)
• 4.2 Update Algorithm Based on Accessibility(Tua)
• 4.3 Update Algorithm Based on Accessibility and Learning Centrality (Nla)
• 4.4 Evolutionary Algorithm(NC)
• 5 Experiment
• 5.1 Description of the Experiment
• 5.2 Experimental Results and Analysis
• 5.3 Outlook
• References
• VES: A Component Version Extracting System for Large-Scale IoT Firmwares
• 1 Introduction
• 2 Background and Preliminary Knowledge
• 2.1 Version Strings in Components

• 2.2 Function Calling Convention
• 2.3 Intermediate Representation
• 3 Framework and Algorithm
• 3.1 Method Overview
• 3.2 Pre-processing
• 3.3 Data-Flow of Arguments
• 3.4 Version Arguments Extraction
• 3.5 Stack Space Recover
• 4 Evaluation
• 4.1 Dataset
• 4.2 Accuracy and Efficiency
• 4.3 Implement in Real-World
• 5 Related Work
• 6 Conclusion
• References
• Virtual Location Generation for Location Privacy Protection in VANET
• 1 Introduction
• 2 Problem Description and Virtual Location Generation
• 2.1 Problem Description
• 2.2 PDF of d
• 2.3 PDF of

• 2.4 Virtual Location Generation
• 3 Attack Model of Adversaries
• 4 Performance Evaluation Metrics
• 4.1 Qos Loss Metric
• 4.2 Location Privacy Metric
• 5 Numerical Analysis
• 6 Conclusion
• References
• Reliable Visible Light-Based Underground Localization Utilizing a New Mechanism: Reverse Transceiver Position
• 1 Introduction
• 2 Algorithm Overview
• 3 Locate Miners by Base Station
• 3.1 Frequency Selection
• 3.2 Frequency Identification
• 3.3 Frequency Power Tracking
• 4 Algorithm Experiments
• 4.1 Experimental Device and Environment
• 4.2 Algorithm Evaluation
• 5 Conclusion

The two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held during September 13-15, 2020. The conference was planned to take place in Qingdao, China; due to the COVID-19 pandemic it was held virtually. The 67 full and 14 short papers presented in these proceedings were carefully reviewed and selected from 216 submissions. The papers focus on data path algorithms; control path algorithms; network protocol design; network security; network services; and cloud computing.
(source: Nielsen Book Data)

• Discrete analog of the Jacobi set for vector fields
• Computing and reducing slope complexes
• Persistent Homology Computation Using Combinatorial Map Simplification
• Inferring Underlying Manifold of Data by the Use of Persistent Homology Analysis
• Gaps and Well-Composed Objects in the Triangular Grid
• Generating Second Order (Co)homological Information within AT-Model Context
• Computing the Component-Labeling and the Adjacency Tree of a Binary Digital Image in Near Logarithmic-time
• Towards Emotion Recognition: A Persistent Entropy Application
• Harmonic holes as the submodules of brain network and network dissimilarity
• Persistent 1-Cycles: Definition, Computation, and Its Application
• A persistence-based approach to automatic detection of line segments in images
• On the Nonlinear Statistics of Optical Flow
• Topological Homogeneity for Electron Microscopy Images
• Characterizing epithelial tissues using persistent entropy.

This book constitutes the proceedings of the 7th International Workshop on Computational Topology in Image Context, CTIC 2019, held in Málaga, Spain, in January 2019. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions. Papers deal with theoretical issues but most of them put the attention on the applicability of concepts and algorithms. These were designed to deal with objects and images, but also with the speech signal. The final application must be for instance in the medical domain or in the robotics one.

• System design space exploration
• Deep learning optimization
• System security
• Multi/many-core scheduling
• System energy and heat management
• Many-core communication
• Electronic system-level design and verification.

This book constitutes the refereed proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2019, held in Pythagorion, Samos, Greece, in July 2019. The 21 regular papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on system design space exploration; deep learning optimization; system security; multi/many-core scheduling; system energy and heat management; many-core communication; and electronic system-level design and verification. In addition there are 13 papers from three special sessions which were organized on topics of current interest: insights from negative results; machine learning implementations; and European projects.

• Information Systems Applications (incl. Internet).- Information Storage and Retrieval.- Systems and Data Security.- Computer Appl. in Administrative Data Processing.- Ontologies.- Databases.- Semantics.- Cooperative Information Systems.- Cloud Computing.- Trust, Security, Privacy and Risk Management.
• (source: Nielsen Book Data)

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), and International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), held as part of OTM 2018 in October 2018 in Valletta, Malta. As the three main conferences and the associated workshops all share the distributed aspects of modern computing systems, they experience the application pull created by the Internet and by the so-called Semantic Web, in particular developments of Big Data, increased importance of security issues, and the globalization of mobile-based technologies.
(source: Nielsen Book Data)

• Image and video capture.- visual attention and object detection.- self-localization and pose estimation.- motion and tracking.- 3D reconstruction.- features, learning and validation.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 9th International Conference on Computer Vision Systems, ICVS 2013, held in St. Petersburg, Russia, July 16-18, 2013. Proceedings. The 16 revised papers presented with 20 poster papers were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on image and video capture; visual attention and object detection; self-localization and pose estimation; motion and tracking; 3D reconstruction; features, learning and validation.
(source: Nielsen Book Data)

• A Pre-processing Aware RINS Based MIP Heuristic / Thiago M. Gomes, Haroldo G. Santos, Marcone J.F. Souza
• A Hybrid Simulated Annealing Algorithm for Location of Cross-Docking Centers in a Supply Chain / S.M. Mousavi, R. Tavakkoli-Moghaddam, A. Siadat, B. Vahdani
• Intensification/Diversification in Decomposition Guided VNS / Samir Loudni, Mathieu Fontaine, Patrice Boizumault
• A Hybridized Particle Swarm Optimization with Expanding Neighborhood Topology for the Feature Selection Problem / Yannis Marinakis, Magdalene Marinaki
• Interleaving Constraint Propagation: An Efficient Cooperative Search with Branch and Bound / Eric Monfroy, Broderick Crawford, Ricardo Soto
• Automatic Tuning of GRASP with Evolutionary Path-Relinking / L.F. Morán-Mirabal, J.L. González-Velarde, M.G.C. Resende
• Combining Genetic Algorithm and Simulated Annealing Methods for Reconstructing HV-Convex Binary Matrices / Hadded Mohamed, Hasni Hamadi
• Experimental Analysis of Pheromone-Based Heuristic Column Generation Using irace / Florence Massen, Manuel López-Ibáñez, Thomas Stützle, Yves Deville
• A New Hybrid Metaheuristic -- Combining Stochastic Tunneling and Energy Landscape Paving / Kay Hamacher
• Workgroups Diversity Maximization: A Metaheuristic Approach / Marco Caserta, Stefan Voß
• Balancing Bicycle Sharing Systems: Improving a VNS by Efficiently Determining Optimal Loading Operations / Günther R. Raidl, Bin Hu, Marian Rainer-Harbach, Petrina Papazek
• Automatic Design of Hybrid Stochastic Local Search Algorithms / Marie-Eléonore Marmion, Franco Mascia, Manuel López-Ibáñez
• GRASP and Variable Neighborhood Search for the Virtual Network Mapping Problem / Johannes Inführ, Günther R. Raidl
• Hybrid Metaheuristics for the Far From Most String Problem / Daniele Ferone, Paola Festa, Mauricio G.C. Resende
• On Missing Data Hybridizations for Dimensionality Reduction / Oliver Kramer
• A Hybrid ACO+CP for Balancing Bicycle Sharing Systems / Luca Di Gaspero, Andrea Rendl, Tommaso Urli.

This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Metaheuristics, HM 2013, held in Ischia, Italy, in May 2013. The 16 revised full papers presented were carefully reviewed and selected from 30 submissions. The selected papers cover both theoretical and experimental results, including new paradigmatic hybrid solvers and automatic design approaches as well as applications to logistics and public transport.
(source: Nielsen Book Data)

• Speech and Audio Applications
• Convolutive Signal Separation
• The 2010 Signal Separation Evaluation Campaign (SiSEC2010)
• Audio
• Theory
• Telecom
• Tensor Factorizations
• Sparsity I
• Sparsity; Biomedical Applications
• Non-negativity; Image Processing Applications
• Tensors; Joint Diagonalization
• Sparsity II
• Biomedical Applications
• Emerging Topics.

Annotation This book constitutes the proceedings of the 9th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2010, held in St. Malo, France, in September 2010. The 25 papers presented were carefully reviewed and selected from over hundred submissions. The papers collected in this volume demonstrate that the research activity in the field continues to gather theoreticians and practitioners, with contributions ranging range from abstract concepts to the most concrete and applicable questions and considerations. Speech and audio, as well as biomedical applications, continue to carry the mass of the considered applications. Unsurprisingly the concepts of sparsity and non-negativity, as well as tensor decompositions, have become predominant, reflecting the strong activity on these themes in signal and image processing at large.

• Human-Machine Interaction
• Recognizing Gestures for Virtual and Real World Interaction
• Multimodal Speaker Recognition in a Conversation Scenario
• FaceL: Facile Face Labeling
• Automatic Assessment of Eye Blinking Patterns through Statistical Shape Models
• Open-Set Face Recognition-Based Visitor Interface System
• Cascade Classifier Using Divided CoHOG Features for Rapid Pedestrian Detection
• Sensors, Features and Representations
• Boosting with a Joint Feature Pool from Different Sensors
• A Multi-modal Attention System for Smart Environments
• Individual Identification Using Gait Sequences under Different Covariate Factors
• Using Local Symmetry for Landmark Selection
• Combining Color, Depth, and Motion for Video Segmentation
• Stable Structural Deformations
• Demand-Driven Visual Information Acquisition
• Stereo, 3D and Optical Flow
• A Real-Time Low-Power Stereo Vision Engine Using Semi-Global Matching
• Feature-Based Stereo Vision Using Smart Cameras for Traffic Surveillance
• Development and Long-Term Verification of Stereo Vision Sensor System for Controlling Safety at Railroad Crossing
• Generation of 3D City Models Using Domain-Specific Information Fusion
• Bio-inspired Stereo Vision System with Silicon Retina Imagers
• A Fast Joint Bioinspired Algorithm for Optic Flow and Two-Dimensional Disparity Estimation
• Calibration and Registration
• GPU-Accelerated Nearest Neighbor Search for 3D Registration
• Visual Registration Method for a Low Cost Robot
• Automatic Classification of Image Registration Problems
• Practical Pan-Tilt-Zoom-Focus Camera Calibration for Augmented Reality
• Mobile and Autonomous Systems
• Learning Objects and Grasp Affordances through Autonomous Exploration
• Integration of Visual Cues for Robotic Grasping
• A Hierarchical System Integration Approach with Application to Visual Scene Exploration for Driver Assistance
• Real-Time Traversable Surface Detection by Colour Space Fusion and Temporal Analysis
• Saliency-Based Obstacle Detection and Ground-Plane Estimation for Off-Road Vehicles
• Performance Evaluation of Stereo Algorithms for Automotive Applications
• Evaluation, Studies and Applications
• White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making
• Evaluating the Suitability of Feature Detectors for Automatic Image Orientation Systems
• Interest Point Stability Prediction
• Relevance of Interest Points for Eye Position Prediction on Videos
• A Computer Vision System for Visual Grape Grading in Wine Cellars
• Inspection of Stamped Sheet Metal Car Parts Using a Multiresolution Image Fusion Technique
• Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection
• Learning, Recognition and Adaptation
• Increasing the Robustness of 2D Active Appearance Models for Real-World Applications
• Learning Query-Dependent Distance Metrics for Interactive Image Retrieval
• Consistent Interpretation of Image Sequences to Improve Object Models on the Fly
• Nonideal Iris Recognition Using Level Set Approach and Coalitional Game Theory
• Incremental Video Event Learning
• A System for Probabilistic Joint 3D Head Tracking and Pose Estimation in Low-Resolution, Multi-view Environments
• Robust Tracking by Means of Template Adaptation with Drift Correction
• A Multiple Hypothesis Approach for a Ball Tracking System
• Fast Vision-Based Object Recognition Using Combined Integral Map.

Annotation This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009. The 21 papers for oral presentation presented together with 24 poster presentations and 2 invited papers were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on human-machine-interaction, sensors, features and representations, stereo, 3D and optical flow, calibration and registration, mobile and autonomous systems, evaluation, studies and applications, learning, recognition and adaption.

• Keynotes.- Robust Low Power Embedded SRAM Design: From System to Memory Cell.- Variability in Advanced Nanometer Technologies: Challenges and Solutions.- Subthreshold Circuit Design for Ultra-Low-Power Applications.- Special Session.- SystemC AMS Extensions: New Language - New Methods - New Applications.- Session
• 1: Variability & Statistical Timing.- Process Variation Aware Performance Analysis of Asynchronous Circuits Considering Spatial Correlation.- Interpreting SSTA Results with Correlation.- Residue Arithmetic for Variation-Tolerant Design of Multiply-Add Units.- Exponent Monte Carlo for Quick Statistical Circuit Simulation.- Poster Session
• 1: Circuit Level Techniques.- Clock Repeater Characterization for Jitter-Aware Clock Tree Synthesis.- A Hardware Implementation of the User-Centric Display Energy Management.- On-chip Thermal Modeling Based on SPICE Simulation.- Switching Noise Optimization in the Wake-Up Phase of Leakage-Aware Power Gating Structures.- Session
• 2: Power Management.- Application-Specific Temperature Reduction Systematic Methodology for 2D and 3D Networks-on-Chip.- Data-Driven Clock Gating for Digital Filters.- Power Management and Its Impact on Power Supply Noise.- Assertive Dynamic Power Management (AsDPM) Strategy for Globally Scheduled RT Multiprocessor Systems.- Session
• 3: Low Power Circuits & Technology.- Design Optimization of Low-Power 90nm CMOS SOC Application Using 0.5V Bulk PMOS Dynamic-Threshold with Dual Threshold (MTCMOS): BP-DTMOS-DT Technique.- Crosstalk in High-Performance Asynchronous Designs.- Modeling and Reducing EMI in GALS and Synchronous Systems.- Low-Power Dual-Edge Triggered State Retention Scan Flip-Flop.- Poster Session
• 2: System Level Techniques.- Multi-granularity NoC Simulation Framework for Early Phase Exploration of SDR Hardware Platforms.- Dynamic Data Type Optimization and Memory Assignment Methodologies.- Accelerating Embedded Software Power Profiling Using Run-Time Power Emulation.- Write Invalidation Analysis in Chip Multiprocessors.- Practical Design Space Exploration of an H264 Decoder for Handheld Devices Using a Virtual Platform.- BSAA: A Switching Activity Analysis and Visualisation Tool for SoC Power Optimisation.- Session
• 4: Power & Timing Optimization Techniques.- Reducing Timing Overhead in Simultaneously Clock-Gated and Power-Gated Designs by Placement-Aware Clustering.- Low Energy Voltage Dithering in Dual V DD Circuits.- Product On-Chip Process Compensation for Low Power and Yield Enhancement.- Session
• 5: Self-timed Circuits.- Low-Power Soft Error Hardened Latch.- Digital Timing Slack Monitors and Their Specific Insertion Flow for Adaptive Compensation of Variabilities.- Quasi-Delay-Insensitive Computing Device: Methodological Aspects and Practical Implementation.- The Magic Rule of Tiles: Virtual Delay Insensitivity.- Session
• 6: Low Power Circuit Analysis & Optimization.- Analysis of Power Consumption Using a New Methodology for the Capacitance Modeling of Complex Logic Gates.- A New Methodology for Power-Aware Transistor Sizing: Free Power Recovery (FPR).- Routing Resistance Influence in Loading Effect on Leakage Analysis.- Session
• 7: Low Power Design Studies.- Processor Customization for Software Implementation of the AES Algorithm for Wireless Sensor Networks.- An On-Chip Multi-mode Buck DC-DC Converter for Fine-Grain DVS on a Multi-power Domain SoC Using a 65-nm Standard CMOS Logic Process.- Energy Dissipation Reduction of a Cardiac Event Detector in the Sub-V t Domain By Architectural Folding.- A New Optimized High-Speed Low-Power Data-Driven Dynamic (D3L) 32-Bit Kogge-Stone Adder.
• (source: Nielsen Book Data)

Welcome to the proceedings of the 19th International Workshop on Power and TimingModeling, OptimizationandSimulation, PATMOS2009.Overtheyears, PATMOShasevolvedintoanimportantEuropeanevent, whereresearchersfrom both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design methodologies, and tools required for the development of the upcoming generations of integrated circuits and s- tems. PATMOS 2009 was organized by TU Delft, The Netherlands, with sp- sorship by the NIRICT Design Lab and Cadence Design Systems, and technical co-sponsorshipbytheIEEE.Furtherinformationabouttheworkshopisavai lable athttp://ens.ewi.tudelft.nl/patmos09. The technical programof PATMOS 2009 contained state-of-the-arttechnical contributions, three invited keynotes, and a special session on SystemC-AMS Extensions. The technical program focused on timing, performance, and power consumption, as well as architectural aspects with particular emphasis on m- eling, design, characterization, analysis, and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert reviewers, selected the 36 papers presented at PATMOS. The papers were - ganized into 7 oral sessions (with a total of 26 papers) and 2 poster sessions (with a total of 10 papers). As is customary for the PATMOS workshops, full papers were required for review, and a minimum of three reviews were received per manuscript.
(source: Nielsen Book Data)

• Beachnote.- What Else Is Broken? Can We Fix It?.- Architectures for Multimedia.- Programmable and Scalable Architecture for Graphics Processing Units.- The Abstract Streaming Machine: Compile-Time Performance Modelling of Stream Programs on Heterogeneous Multiprocessors.- CABAC Accelerator Architectures for Video Compression in Future Multimedia: A Survey.- Programmable Accelerators for Reconfigurable Video Decoder.- Scenario Based Mapping of Dynamic Applications on MPSoC: A 3D Graphics Case Study.- Multiple Description Scalable Coding for Video Transmission over Unreliable Networks.- Multi/Many Cores Architectures.- Evaluation of Different Multithreaded and Multicore Processor Configurations for SoPC.- Implementing Fine/Medium Grained TLP Support in a Many-Core Architecture.- Implementation of W-CDMA Cell Search on a FPGA Based Multi-Processor System-on-Chip with Power Management.- A Multiprocessor Architecture with an Omega Network for the Massively Parallel Model GCA.- VLSI Architectures Design.- Towards Automated FSMD Partitioning for Low Power Using Simulated Annealing.- Radix-4 Recoded Multiplier on Quantum-Dot Cellular Automata.- Prediction in Dynamic SDRAM Controller Policies.- Inversion/Non-inversion Implementation for an 11,424 Gate-Count Dynamic Optically Reconfigurable Gate Array VLSI.- Architecture Modeling and Exploration Tools.- Visualization of Computer Architecture Simulation Data for System-Level Design Space Exploration.- Modeling Scalable SIMD DSPs in LISA.- NoGAP: A Micro Architecture Construction Framework.- A Comparison of NoTA and GENESYS.- Special Session
• 1: Instruction-Set Customization.- to Instruction-Set Customization.- Constraint-Driven Identification of Application Specific Instructions in the DURASE System.- A Generic Design Flow for Application Specific Processor Customization through Instruction-Set Extensions (ISEs).- Runtime Adaptive Extensible Embedded Processors - A Survey.- Special Session
• 2: The Future of Reconfigurable Computing and Processor Architectures.- to the Future of Reconfigurable Computing and Processor Architectures.- An Embrace-and-Extend Approach to Managing the Complexity of Future Heterogeneous Systems.- Applying the Stream-Based Computing Model to Design Hardware Accelerators: A Case Study.- Reconfigurable Multicore Server Processors for Low Power Operation.- Reconfigurable Computing in the New Age of Parallelism.- Reconfigurable Multithreading Architectures: A Survey.- Special Session
• 3: Mastering Cell BE and GPU Execution Platforms.- to Mastering Cell BE and GPU Execution Platforms.- Efficient Mapping of Multiresolution Image Filtering Algorithms on Graphics Processors.- Implementing Blocked Sparse Matrix-Vector Multiplication on NVIDIA GPUs.- Experiences with Cell-BE and GPU for Tomography.- Realizing FIFO Communication When Mapping Kahn Process Networks onto the Cell.- Exploiting Locality on the Cell/B.E. through Bypassing.- Exploiting the Cell/BE Architecture with the StarPU Unified Runtime System.
• (source: Nielsen Book Data)

TheSAMOSworkshopisaninternationalgatheringofhighlyquali?edrese archers from academia and industry, sharing ideas in a 3-day lively discussion on the quietandinspiringnorthernmountainsideoftheMediterraneanislandofS amos. The workshopmeeting is one of two co-locatedevents (the other event being the IC-SAMOS).Asatradition, theworkshopfeaturespresentationsinthemorning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti?c arena. Consequently, the workshopprovidesthe participantswithanenvironmentwherecollaboration rather than competition is fostered. The SAMOS conference and workshop were established in 2001 by Stamatis Vassiliadis with the goals outlined above in mind, and located on Samos, one of the most beautiful islands of the Aegean. The rich historical and cultural environment of the island, coupled with the intimate atmosphereandthe slowpaceofasmallvillagebythe seainthe middle of the Greek summer, provide a very conducive environment where ideas can be exchanged and shared freely.
(source: Nielsen Book Data)

• Hybrid Metaheuristic for the Assembly Line Worker Assignment and Balancing Problem
• An ELSxPath Relinking Hybrid for the Periodic Location-Routing Problem
• Hybridizing Beam-ACO with Constraint Programming for Single Machine Job Scheduling
• Multiple Variable Neighborhood Search Enriched with ILP Techniques for the Periodic Vehicle Routing Problem with Time Windows
• A Hybridization of Electromagnetic-Like Mechanism and Great Deluge for Examination Timetabling Problems
• Iterative Relaxation-Based Heuristics for the Multiple-choice Multidimensional Knapsack Problem
• Solving a Video-Server Load Re-Balancing Problem by Mixed Integer Programming and Hybrid Variable Neighborhood Search
• Effective Hybrid Stochastic Local Search Algorithms for Biobjective Permutation Flowshop Scheduling
• Hierarchical Iterated Local Search for the Quadratic Assignment Problem
• Incorporating Tabu Search Principles into ACO Algorithms
• A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal?+?+?
• Multi-neighborhood Local Search for the Patient Admission Problem
• Matheuristics: Optimization, Simulation and Control.

This book constitutes the refereed proceedings of the 6th International Workshop on Hybrid Metaheuristics, HM 2009, held in Udine, Italy, in October 2009. The 12 revised full papers presented together with one invited talk were carefully reviewed and selected from 22 submissions. The papers discuss current issues of combinations of metaheuristics and other solving techniques of universal concern such as novel combinations of components from different metaheuristics, hybridization of metaheuristics and AI/OR techniques, low-level hybridization, high-level hybridization, portfolio techniques, expert systems, cooperative search, automated parameter tuning, empirical and statistical comparison, theoretical aspects of hybridization, parallelization, and software libraries.

• Applications, Experimentation, Power Management
• Long-Term Animal Observation by Wireless Sensor Networks with Sound Recognition
• Experimental Study on Mobile RFID Performance
• Experimental Study on Secure Data Collection in Vehicular Sensor Networks
• Experimental Study of Independent and Dominating Sets in Wireless Sensor Networks Using Graph Coloring Algorithms
• A Comparison of Block-Based and Clip-Based Cooperative Caching Techniques for Streaming Media in Wireless Home Networks
• Dynamic Power Management for Sensor Node in WSN Using Average Reward MDP
• Energy Consumption of Fair-Access in Sensor Networks with Linear and Selected Grid Topologies
• Lookahead Expansion Algorithm for Minimum Power Multicasting in Wireless Ad Hoc Networks
• RE2-CD: Robust and Energy Efficient Cut Detection in Wireless Sensor Networks
• Coverage, Detection, and Topology Control
• Energy-Efficient Composite Event Detection in Wireless Sensor Networks --?-Net Approach to Sensor k-Coverage
• Biologically-Inspired Target Recognition in Radar Sensor Networks
• Stochastic k-Coverage in Wireless Sensor Networks
• Herd-Based Target Tracking Protocol in Wireless Sensor Networks
• Minimum Interference Planar Geometric Topology in Wireless Sensor Networks
• Topology Inference in Wireless Mesh Networks
• Maximum Independent Set of Links under Physical Interference Model
• Routing, Querying, and Data Collection
• CSR: Constrained Selfish Routing in Ad-Hoc Networks
• Multicast Extensions to the Location-Prediction Based Routing Protocol for Mobile Ad Hoc Networks
• AGSMR: Adaptive Geo-Source Multicast Routing for Wireless Sensor Networks
• On the Capacity of Hybrid Wireless Networks with Opportunistic Routing
• NQAR: Network Quality Aware Routing in Wireless Sensor Networks
• A Network Coding Approach to Reliable Broadcast in Wireless Mesh Networks
• Workload-Driven Compressed Skycube Queries in Wireless Applications
• Routing-Aware Query Optimization for Conserving Energy in Wireless Sensor Networks
• In-Network Historical Data Storage and Query Processing Based on Distributed Indexing Techniques in Wireless Sensor Networks
• Throughput Potential of Overlay Cognitive Wireless Mesh Networks
• Data Collection with Multiple Sinks in Wireless Sensor Networks
• Communication in Naturally Mobile Sensor Networks
• Void Avoidance in Three-Dimensional Mobile Underwater Sensor Networks
• Localization, Security, and Services
• Distributed Range-Free Localization Algorithm Based on Self-Organizing Maps
• Location Discovery in SpeckNets Using Relative Direction Information
• Providing Source-Location Privacy in Wireless Sensor Networks
• Fully Decentralized, Collaborative Multilateration Primitives for Uniquely Localizing WSNs
• Relative Span Weighted Localization of Uncooperative Nodes in Wireless Networks
• A Consistency-Based Secure Localization Scheme against Wormhole Attacks in WSNs
• Can You See Me? The Use of a Binary Visibility Metric in Distance Bounding
• A Secure Framework for Location Verification in Pervasive Computing
• to Mobile Trajectory Based Services: A New Direction in Mobile Location Based Services
• Spectrally Efficient Frequency Hopping System Design under Hostile Jamming
• A QoS Framework with Traffic Request in Wireless Mesh Network
• Scheduling and Resource Management
• An Approximation Algorithm for Conflict-Aware Many-to-One Data Aggregation Scheduling in Wireless Sensor Networks
• On Approximation Algorithms for Interference-Aware Broadcast Scheduling in 2D and 3D Wireless Sensor Networks
• Dynamic Scheduling of Pigeons for Delay Constrained Applications
• Energy Efficient DNA-Based Scheduling Scheme for Wireless Sensor Networks
• Minimum-Latency Schedulings for Group Communications in Multi-channel Multihop Wireless Networks
• Traffic-Aware Channel Assignment in Wireless Sensor Networks
• Sniffer Channel Selection for Monitoring Wireless LANs
• Uplink Resource Management Design in Multi-access Wireless Networks
• Throughput Measurement-Based Access Point Selection for Multi-rate Wireless LANs
• Online Social Networks, Applications, and Systems
• Latency-Bounded Minimum Influential Node Selection in Social Networks
• Design and Implementation of Davis Social Links OSN Kernel
• Information Extraction as Link Prediction: Using Curated Citation Networks to Improve Gene Detection
• Social Network Privacy via Evolving Access Control
• Utopia Providing Trusted Social Network Relationships within an Un-trusted Environment
• Discovery and Protection of Sensitive Linkage Information for Online Social Networks Services
• Social-Stratification Probabilistic Routing Algorithm in Delay-Tolerant Network.

This book constitutes the refereed proceedings of the 4th Annual International Conference on Wireless Algorithms, Systems, and Applications, WASA 2009, held in Boston, MA, USA, in August 2009. The 36 revised full papers presented together with 15 invited papers and 7 workshop papers were carefully reviewed and selected from numerous submissions. Providing a forum for researchers and practitioners worldwide, the papers address current research and development efforts of various issues in the area of algorithms, systems and applications for current and next generation infrastructure and wireless networks. They are divided in topical sections on applications, experimentation, power management; coverage, detection, and topology control; routing, querying, and data collection; localization, security, and services; scheduling and resource management; and online social networks, applications, and systems.
(source: Nielsen Book Data)

• Prediction.- Pattern Recognition.- Word, Text and Document Processing.
• (source: Nielsen Book Data)

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The 4th volume, LNCS 11304, is organized in topical sections on feature selection, clustering, classification, and detection. .
(source: Nielsen Book Data)
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The first volume, LNCS 11301, is organized in topical sections on deep neural networks, convolutional neural networks, recurrent neural networks, and spiking neural networks.
(source: Nielsen Book Data)

• Robotics and Control.- Biomedical Applications.- Hardware.
• (source: Nielsen Book Data)

• Time-Series Analysis.- Social Systems.- Image and Signal Processing.
• (source: Nielsen Book Data)

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The 7th and final volume, LNCS 11307, is organized in topical sections on robotics and control; biomedical applications; and hardware.
(source: Nielsen Book Data)
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The third volume, LNCS 11303, is organized in topical sections on embedded learning, transfer learning, reinforcement learning, and other learning approaches.
(source: Nielsen Book Data)
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The second volume, LNCS 11302, is organized in topical sections on other neural network models, stability analysis, optimization, and supervised learning.
(source: Nielsen Book Data)

• On the Structure of Reduced Kernel Lattice Bases / Karen Aardal, Frederik von Heymann
• All-or-Nothing Generalized Assignment with Application to Scheduling Advertising Campaigns / Ron Adany, Moran Feldman, Elad Haramaty
• Constant Integrality Gap LP Formulations of Unsplittable Flow on a Path / Aris Anagnostopoulos, Fabrizio Grandoni
• Intersection Cuts for Mixed Integer Conic Quadratic Sets / Kent Andersen, Anders Nedergaard Jensen
• Content Placement via the Exponential Potential Function Method / David Applegate, Aaron Archer
• Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem: II. The Unimodular Two-Dimensional Case / Amitabh Basu, Robert Hildebrand
• Blocking Optimal Arborescences / Attila Bernáth, Gyula Pap
• Minimum Clique Cover in Claw-Free Perfect Graphs and the Weak Edmonds-Johnson Property / Flavia Bonomo, Gianpaolo Oriolo
• A Complexity and Approximability Study of the Bilevel Knapsack Problem / Alberto Caprara, Margarida Carvalho
• Matroid and Knapsack Center Problems / Danny Z. Chen, Jian Li, Hongyu Liang.

• Cut-Generating Functions / Michele Conforti, Gérard Cornuéjols
• Reverse Chvátal-Gomory Rank / Michele Conforti, Alberto Del Pia
• On Some Generalizations of the Split Closure / Sanjeeb Dash, Oktay Günlük
• Packing Interdiction and Partial Covering Problems / Michael Dinitz, Anupam Gupta
• On Valid Inequalities for Quadratic Programming with Continuous Variables and Binary Indicators / Hongbo Dong, Jeff Linderoth
• An Improved Integrality Gap for Asymmetric TSP Paths / Zachary Friggstad, Anupam Gupta, Mohit Singh
• Single Commodity-Flow Algorithms for Lifts of Graphic and Co-graphic Matroids / Bertrand Guenin, Leanne Stuive
• A Stochastic Probing Problem with Applications / Anupam Gupta, Viswanath Nagarajan
• Thrifty Algorithms for Multistage Robust Optimization / Anupam Gupta, Viswanath Nagarajan
• Shallow-Light Steiner Arborescences with Vertex Delays / Stephan Held, Daniel Rotter
• Two Dimensional Optimal Mechanism Design for a Sequencing Problem / Ruben Hoeksma, Marc Uetz.

• Advances on Matroid Secretary Problems: Free Order Model and Laminar Case / Patrick Jaillet, José A. Soto
• A Polynomial-Time Algorithm to Check Closedness of Simple Second Order Mixed-Integer Sets / Diego Alejandro Morán Ramírez
• The Complexity of Scheduling for p-Norms of Flow and Stretch / Benjamin Moseley, Kirk Pruhs, Cliff Stein
• The Euclidean k-Supplier Problem / Viswanath Nagarajan, Baruch Schieber
• Facial Structure and Representation of Integer Hulls of Convex Sets / Vishnu Narayanan
• An Efficient Polynomial-Time Approximation Scheme for the Joint Replenishment Problem / Tim Nonner, Maxim Sviridenko
• Chain-Constrained Spanning Trees / Neil Olver, Rico Zenklusen
• A Simpler Proof for O(Congestion+Dilation) Packet Routing / Thomas Rothvoß
• 0/1 Polytopes with Quadratic Chvátal Rank / Thomas Rothvoß, Laura Sanitá
• Eight-Fifth Approximation for the Path TSP / András Sebő
• Fast Deterministic Algorithms for Matrix Completion Problems / Tasuku Soma
• Approximating the Configuration-LP for Minimizing Weighted Sum of Completion Times on Unrelated Machines / Maxim Sviridenko, Andreas Wiese.

This book constitutes the proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2013, held in Valparaíso, Chile, in March 2013. The 33 full papers presented were carefully reviewed and selected from 98 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization with the aim to present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

• Sleep-Transistor Based Power-Gating Tradeoff Analyses / Sven Rosinger, Wolfgang Nebel
• Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level / Chenxi Ni, Ziyad Al Tarawneh, Gordon Russell
• Non-invasive Power Simulation at System-Level with SystemC / Daniel Lorenz, Philipp A. Hartmann
• A Standard Cell Optimization Method for Near-Threshold Voltage Operations / Masahiro Kondo, Shinichi Nishizawa
• An Extended Metastability Simulation Method for Synchronizer Characterization / Salomon Beer, Ran Ginosar
• Phase Space Based NBTI Model / Reef Eilers, Malte Metzdorf, Sven Rosinger
• Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths / Axel Reimer, Lars Kosmann, Daniel Lorenz
• Noise Margin Based Library Optimization Considering Variability in Sub-threshold / Tobias Gemmeke, Maryam Ashouei.

• TCP Window Based DVFS for Low Power Network Controller SoC / Eyal-Itzhak Nave, Ran Ginosar
• Adaptive Synchronization for DVFS Applications / Ghaith Tarawneh, Alex Yakovlev
• Muller C-Element Metastability Containment / Thomas Polzer, Andreas Steininger
• Low Power Implementation of Trivium Stream Cipher / J.M. Mora-Gutiérrez
• A Generic Architecture for Robust Asynchronous Communication Links / Jakob Lechner, Robert Najvirt
• Direct Statistical Simulation of Timing Properties in Sequential Circuits / Javier Rodríguez, Qin Tang, Amir Zjajo
• PVTA Tolerant Self-adaptive Clock Generation Architecture / Jordi Pérez-Puigdemont, Antonio Calomarde
• On-Chip NBTI and PBTI Tracking through an All-Digital Aging Monitor Architecture / Hossein Karimiyan Alidash, Andrea Calimera
• Two-Phase MOBILE Interconnection Schemes for Ultra-Grain Pipeline Applications / Juan Núñez, María J. Avedillo.

• Design of a 150 mV Supply, 2 MIPS, 90nm CMOS, Ultra-Low-Power Microprocessor / Pieter Weckx, Nele Reynders
• Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation / Dimitris Bekiaris, Ioannis Kosmadakis
• Low-Power Delay Sensors on FPGAs / Panagiotis Sakellariou, Vassilis Paliouras
• Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines / Arash Saifhashemi, Peter A. Beerel
• Dynamic Power Management of a Computer with Self Power-Managed Components / Maryam Triki, Yanzhi Wang, Ahmed C. Ammari
• Network Time Synchronization: A Full Hardware Approach / Jorge Juan, Julian Viejo, Manuel J. Bellido
• Case Studies of Logical Computation on Stochastic Bit Streams / Peng Li, Weikang Qian, David J. Lilja
• dRail: A Novel Physical Layout Methodology for Power Gated Circuits / Jatin N. Mistry, John Biggs, James Myers.

This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems, including reconfigurable hardware such as FPGAs. The technical program focus on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.
(source: Nielsen Book Data)

• Quantum Optical Transient Encryption and Processing / Zeev Zalevsky, David Sylman, H. John Caulfield
• Parallel Processing for Prime Factorization with Spatial Amplitude Modulation in Optics / Kouichi Nitta, Takashi Kamigiku, Takeshi Nakajima, Osamu Matoba
• An Optical Polynomial Time Solution for the Satisfiability Problem / Sama Goliaei, Saeed Jalili
• To What Extent Is Zero Energy Computing Feasible? / Joseph Shamir
• All-Optical XOR Gate for QPSK In-Phase and Quadrature Components Based on Periodically Poled Lithium Niobate Waveguide for Photonic Coding and Error Detection Applications / Emma Lazzeri, Antonio Malacarne, Giovanni Serafino
• All-Optical Ultrafast Adder/Subtractor and MUX/DEMUX Circuits with Silicon Microring Resonators / Purnima Sethi, Sukhdev Roy
• Cloud Computing for Nanophotonic Simulations / Nikolay L. Kazanskiy, Pavel G. Serafimovich
• All-Optical Ultrafast Switching and Logic with Bacteriorhodopsin Protein / Sukhdev Roy, Chandresh Yadav
• A Nano-Optics Vector Matrix Multiplier for Implementing State Machines / Eyal Cohen, Shlomi Dolev, Michael Rosenblit
• Optical Energy Efficient Asynchronous Automata and Circuits / Amir Anter, Shlomi Dolev, Joseph Shamir
• Object Signature Acquisition through Compressive Scanning / Jonathan I. Tamir, Dan E. Tamir, Shlomi Dolev
• All-Optical SOA-Assisted 40 Gbit/s DQPSK-to-OOK Format Conversion / Mirco Scaffardi, Valeria Vercesi, Sergio Pinna, Antonella Bogoni.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Optical SuperComputing, OSC 2012, held in Bertinoro, Italy, in July 2012. The 11 papers presented together with 11 invited papers were carefully reviewed and selected for inclusion in this book. Being an annual forum for research presentations on all facets of optical computing for solving hard computation tasks, OCS addresses the following topics of interest: design of optical computing devices, electro-optic devices for interacting with optical computing devices, practical implementations, analysis of existing devices and case studies, optical and laser switching technologies, applications and algorithms for optical devices, alpha particles, X-rays and nano-technologies for optical computing.

• Improving Particle Filter with Better Proposal Distribution for Nonlinear Filtering Problems
• Performance Evaluation with Control Channel on the Coexistence Scenario of TD-LTE and LTE-FDD
• Buffer Occupation in Wireless Social Networks
• Efficient Identity-Based Encryption without Pairings and Key Escrow for Mobile Devices
• A Network Forensics System for Information Leak Events
• Maximum Independent Set of Links with a Monotone and Sublinear Power Assignment
• An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems
• A Novel Delay-Resilient Remote Memory Attestation for Smart Grid
• A Source-Relay Selection Scheme with Power Allocation for Asymmetric Two-Way Relaying Networks in Underground Mines
• Performance Analysis of Broadcast in Multi-channel Multi-radio Wireless Mesh Networks
• SAFE: A Strategy-Proof Auction Mechanism for Multi-radio, Multi-channel Spectrum Allocation
• A Context-Aware MAC Protocol for VANETs
• A Balance Storage Nodes Assignment for Wireless Sensor Networks
• A Trustworthiness Evaluation Method for Wireless Sensor Nodes Based on D-S Evidence Theory
• UCOR: An Unequally Clustering-Based Hierarchical Opportunistic Routing Protocol for WSNs
• A Quadri-Stage Contention MAC Protocol with Opportunistic Network Coding Support for Underwater Acoustic Networks
• Fast Encryption of JPEG 2000 Images in Wireless Multimedia Sensor Networks
• Evaluating Selective ARQ and Slotted Handshake Based Access in Real World Underwater Networks
• ActiviTune: A Multi-stage System for Activity Recognition of Passive Entities from Ambient FM-Radio Signals
• From Decision Fusion to Localization in Radar Sensor Networks: A Game Theoretical View
• Characterizing the Impact of Non-uniform Deployment of APs on Network Performance under Partially Overlapped Channels
• Patient's Motion Recognition Based on SOM-Decision Tree
• Range-Free Mobile Node Localization Using Static Anchor
• Neighbor Discovery Algorithm Based on the Regulation of Duty-Cycle in Mobile Sensor Network
• Diversity between Human Behaviors and Metadata Analysis: A Measurement of Mobile App Recommendation
• An Urban Area-Oriented Improving Particle Filter with Better Proposal Distribution for Nonlinear Filtering Problems
• Performance Evaluation with Control Channel on the Coexistence Scenario of TD-LTE and LTE-FDD
• Buffer Occupation in Wireless Social Networks
• Efficient Identity-Based Encryption without Pairings and Key Escrow for Mobile Devices
• A Network Forensics System for Information Leak Events
• Maximum Independent Set of Links with a Monotone and Sublinear Power Assignment
• An Auction Mechanism for Resource Allocation in Mobile Cloud Computing Systems
• A Novel Delay-Resilient Remote Memory Attestation for Smart Grid
• A Source-Relay Selection Scheme with Power Allocation for Asymmetric Two-Way Relaying Networks in Underground Mines
• Performance Analysis of Broadcast in Multi-channel Multi-radio Wireless Mesh Networks
• SAFE: A Strategy-Proof Auction Mechanism for Multi-radio, Multi-channel Spectrum Allocation
• A Context-Aware MAC Protocol for VANETs
• A Balance Storage Nodes Assignment for Wireless Sensor Networks
• A Trustworthiness Evaluation Method for Wireless Sensor Nodes Based on D-S Evidence Theory
• UCOR: An Unequally Clustering-Based Hierarchical Opportunistic Routing Protocol for WSNs
• A Quadri-Stage Contention MAC Protocol with Opportunistic Network Coding Support for Underwater Acoustic Networks
• Fast Encryption of JPEG 2000 Images in Wireless Multimedia Sensor Networks
• Evaluating Selective ARQ and Slotted Handshake Based Access in Real World Underwater Networks
• ActiviTune: A Multi-stage System for Activity Recognition of Passive Entities from Ambient FM-Radio Signals
• From Decision Fusion to Localization in Radar Sensor Networks: A Game Theoretical View
• Characterizing the Impact of Non-uniform Deployment of APs on Network Performance under Partially Overlapped Channels
• Patient's Motion Recognition Based on SOM-Decision Tree
• Range-Free Mobile Node Localization Using Static Anchor
• Neighbor Discovery Algorithm Based on the Regulation of Duty-Cycle in Mobile Sensor Network
• Diversity between Human Behaviors and Metadata Analysis: A Measurement of Mobile App Recommendation
• An Urban Area-Oriented Traffic Information Query Strategy in VANETs
• Navigation for Indoor Mobile Robot Based on Wireless Sensor Network
• iMac: Strategy-Proof Incentive Mechanism for Mobile Crowdsourcing
• Social Welfare Maximization in Participatory Smartphone Sensing
• An Optimal Solution for Round Rotation Time Setting in LEACH
• UPC-MAC: A Power Control MAC Protocol for Underwater Sensor Networks
• FMAC for Coexisting Ad Hoc Cognitive Radio Networks
• Effective RSS Sampling for Forensic Wireless Localization
• An Optimal Leakage Detection Strategy for Underground Pipelines Using Magnetic Induction-Based Sensor Networks
• Compressive Data Retrieval with Tunable Accuracy in Vehicular Sensor Networks
• Enforcing Spectrum Access Rules in Cognitive Radio Networks through Cooperative Jamming
• Photo Forensics on Shanzhai Mobile Phone
• Local Information Storage Protocol for Urban Vehicular Networks
• Maximum Independent Set of Links with Power Control
• Sweep-Coverage with Energy-Restricted Mobile Wireless Sensor Nodes
• The Trading between Virtual Mobile Operator and Wireless Service Provider in the Two-Tier Femtocell Network
• Truthful Online Reverse Auction with Flexible Preemption for Access Permission Transaction in Macro-Femtocell Networks
• Social Communications Assisted Epidemic Disease Influence Minimization.

This book constitutes the refereed proceedings of the 7th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2013, held in Zhangjiajie, China, in August 2013. The 25 revised full papers presented together with 18 invited papers were carefully reviewed and selected from 80 submissions. The papers cover the following topics: effective and efficient state-of-the-art algorithm design and analysis, reliable and secure system development and implementations, experimental study and testbed validation, and new application exploration in wireless networks.

• A Framework for Label Images / Loïc Mazo
• Perfect Discrete Morse Functions on Triangulated 3-Manifolds / Rafael Ayala, Desamparados Fernández-Ternero and José Antonio Vilches
• Removal Operations in nD Generalized Maps for Efficient Homology Computation / Guillaume Damiand, Rocio Gonzalez-Diaz and Samuel Peltier
• Enhancing the Reconstruction from Non-uniform Point Sets Using Persistence Information / Erald Vuçini
• Parallel Skeletonizing of Digital Images by Using Cellular Automata / Francisco Peña-Cantillana, Ainhoa Berciano, Daniel Díaz-Pernil and Miguel A. Gutiérrez-Naranjo
• Towards a Certified Computation of Homology Groups for Digital Images / Jónathan Heras, Maxime Dénès, Gadea Mata, Anders Mörtberg and María Poza, et al.
• An Efficient Algorithm to Compute Subsets of Points in Zn / Ana Pacheco and Pedro Real
• Computational Topology in Text Mining / Hubert Wagner, Paweł Dłotko and Marian Mrozek
• Concentrated Curvature for Mean Curvature Estimation in Triangulated Surfaces / Mohammed Mostefa Mesmoudi, Leila De Floriani and Paola Magillo
• Deletion of (26,6)-Simple Points as Multivalued Retractions / Carmen Escribano, Antonio Giraldo and María Asunción Sastre
• Topological Operators on Cell Complexes in Arbitrary Dimensions / Lidija Čomić and Leila De Floriani
• Triangle Mesh Compression and Homological Spanning Forests / Javier Carnero, Helena Molina-Abril and Pedro Real
• Homology Computations via Acyclic Subspace / Piotr Brendel, Paweł Dłotko, Marian Mrozek and Natalia Żelazna
• Multi-scale Approximation of the Matching Distance for Shape Retrieval / Andrea Cerri, Barbara Di Fabio and Filippo Medri
• Persistent Homology for 3D Reconstruction Evaluation / Antonio Gutierrez, David Monaghan, María José Jiménez and Noel E. O'Connor
• Persistence Modules, Shape Description, and Completeness / Francesca Cagliari, Massimo Ferri, Luciano Gualandri and Claudia Landi.

This book constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. The 16 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They focus on the topology and computation in image context. The workshop is devoted to computational methods using topology for the analysis and comparison of images. The involved research fields comprise computational topology and geometry, discrete topology and geometry, geometrical modeling, algebraic topology for image applications, and any other field involving a geometric-topological approach to image processing.