Table of Contents: “…1.2 Technique Overview -- 2 Item Preprocessing -- 3 Algorithm for Large Items -- 3.1 An Abstract Algorithm Based on Convolution -- 3.2 Discretizing the Function Domain -- 3.3 Fast Convolution Algorithm -- 4 Continuous Relaxation for Small Items -- 4.1 Continuous Relaxation Design and Error Analysis -- 4.2 Computing ""0365S Efficiently -- 5 Putting the Pieces Together-Combining Small and Large Items -- 6 Conclusion -- References -- Distributed Algorithms for Matching in Hypergraphs -- 1 Introduction -- 2 Our Contribution and Results -- 3 Related Work -- 4 A 3-Round O(d2)-Approximation…”
Click for online access

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification -- SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).…”
Click for online access

Table of Contents: “…Invited Papers -- Algorithms that Access the Input via Queries -- Towards Knowledge Exchange: State-of-the-Art and Open Problems -- Invited Talk: Resilient Distributed Algorithms -- Towards Minimally Conscious Finite-State Controlled Cyber-Physical Systems -- A Manifesto -- Reconstructing Phylogenetic Networks from Sequences: Where we Stand and What to do Next -- Foundations of Computer Science -- Full Papers -- Amnesiac Flooding: Synchronous Stateless Information Dissemination -- Asymptotic Approximation by Regular Languages -- Balanced Independent and Dominating Sets on Colored Interval Graphs -- Bike Assisted Evacuation on a Line -- Blocksequences of k-local Words -- Complexity of limit-cycle problems in Boolean networks -- Concatenation Operations and Restricted Variants of Two-Dimensional Automata -- Distance Hedonic Games -- Distributed Independent Set in Interval and Segment Intersection Graphs -- Hierarchical b-Matching -- Improved algorithms for online load balancing -- Iterated Uniform Finite-State Transducers on Unary Languages -- New bounds on the half-duplex communication complexity -- Novel Results on the Number of Runs of the Burrows-Wheeler-Transform -- On the Redundancy of D-ary Fano Codes -- On the Terminal Connection Problem -- Parameterized Complexity of d-Hitting Set with Quotas -- Parameterizing Role Coloring on Forests -- The Balanced Satisfactory Partition Problem -- The Multiple Traveling Salesman Problem on Spiders -- Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs -- Using the Metro-Map Metaphor for Drawing Hypergraphs -- Weighted Microscopic Image Reconstruction -- Foundations of Computer Science -- Short Papers -- A Normal Sequence Compressed by PPM* but not by Lempel-Ziv 78 -- Clusters of repetition roots: single chains -- Drawing Two Posets -- Fair Division is Hard even for Amicable Agents -- The Complexity of Flow Expansion and Electrical Flow Expansion -- Foundations of Software Engineering -- Full papers -- An Infrastructure for Platform-Independent Experimentation of Software Changes -- Using Process Models to understand Security Standards -- Web Test Automation: Insights from the Grey Literature -- Foundations of Data Science and Engineering -- Full Papers -- A Pipeline for Measuring Brand Loyalty through Social Media Mining -- Predicting Tennis Match Outcomes With Network Analysis and Machine Learning -- Role-Based Access Control on Graph Databases -- Semi-Automatic Column Type Inference for CSV Table Understanding -- Foundations of Data Science and Engineering -- Short papers -- Metadata Management on Data Processing in Data Lakes -- S2CFT: A new approach for paper submission recommendation -- Foundations of Algorithmic Computational Biology -- Full Papers -- Adding Matrix Control: Insertion-Deletion Systems With Substitutions III -- Sorting by Multi-Cut Rearrangements -- Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails.…”
Click for online access

Table of Contents: “…Intro -- Preface -- Organization -- Universally-Optimal Distributed Algorithms, (Congestion+Dilation)-Competitive Oblivious Routing, and Hop-Constrained Network Design (Abstract of Invited Talk) -- Contents -- Distributed Transformations of Hamiltonian Shapes Based on Line Moves -- 1 Introduction -- 1.1 Related Work -- 1.2 Our Contribution -- 2 Model -- 3 The Distributed Hamiltonian Transformation -- References -- Stand up Indulgent Gathering -- 1 Introduction -- 2 Model -- 3 The SUIG Algorithm -- 4 Concluding Remarks -- References…”
Click for online access

Table of Contents: “…— Towards second generation data mining systems -- Workflow management in the internet age -- Untyped queries, untyped reflective machines and conditional quantifiers -- Containment of conjunctive queries with built-in predicates with variables and constants over any ordered domain -- Using queries with multi-directional functions for numerical database applications -- Multiple range query optimization in spatial databases -- Optimizing command logs by exploiting semantic knowledge -- A distributed algorithm for global query optimization in multidatabase systems -- Transaction management in databases supporting collaborative applications -- Object-oriented design of a flexible workflow management system -- Extending transaction closures by n-ary termination dependencies -- Distributed information systems -- Integrated web — Database applications for electronic business -- Term weighting in query-based document clustering -- Discovery of object-oriented schema and schema conflicts -- On the ordering of rewrite rules -- Towards data and object modelling -- Propagation of structural modifications to an integrated schema -- Integration of schemas containing data versions and time components -- Deriving relationships between integrity constraints for schema comparison -- A database interface integrating a query language for versions -- nP-Tree: Region partitioning and indexing for efficient path planning -- Replication in mirrored disk systems -- Clustering techniques for minimizing object access time -- Designing persistence for real-time distributed object systems -- Partial replication of object-oriented databases -- Optimizing knowledge discovery over the WWW -- Data mining query language for object-oriented database -- Itemset materializing for fast mining of association rules -- Schema derivation for WWW information sources and their integration with databases in Bioinformatics -- Component-based information systems development tool supporting the SYNTHESIS design method -- Translating relational queries to object-oriented queries according to ODMG-93 -- A flexible framework for a correct database design -- Human resources information systems improvement: Involving financial systems and other sources data -- Physical structure design for relational databases -- Modeling of census data in a multidimensional environment.…”
Click to view e-book

Table of Contents: “…Identifying Regulatory Sites Using Neighborhood Species -- Genetic Programming and Other Machine Learning Approaches to Predict Median Oral Lethal Dose (LD50) and Plasma Protein Binding Levels (%PPB) of Drugs -- Hypothesis Testing with Classifier Systems for Rule-Based Risk Prediction -- Robust Peak Detection and Alignment of nanoLC-FT Mass Spectrometry Data -- One-Versus-One and One-Versus-All Multiclass SVM-RFE for Gene Selection in Cancer Classification -- Understanding Signal Sequences with Machine Learning -- Targeting Differentially Co-regulated Genes by Multiobjective and Multimodal Optimization -- Modeling Genetic Networks: Comparison of Static and Dynamic Models -- A Genetic Embedded Approach for Gene Selection and Classification of Microarray Data -- Modeling the Shoot Apical Meristem in A. thaliana: Parameter Estimation for Spatial Pattern Formation -- Evolutionary Search for Improved Path Diagrams -- Simplifying Amino Acid Alphabets Using a Genetic Algorithm and Sequence Alignment -- Towards Evolutionary Network Reconstruction Tools for Systems Biology -- A Gaussian Evolutionary Method for Predicting Protein-Protein Interaction Sites -- Bio-mimetic Evolutionary Reverse Engineering of Genetic Regulatory Networks -- Tuning ReliefF for Genome-Wide Genetic Analysis -- Dinucleotide Step Parameterization of Pre-miRNAs Using Multi-objective Evolutionary Algorithms -- Amino Acid Features for Prediction of Protein-Protein Interface Residues with Support Vector Machines -- Predicting HIV Protease-Cleavable Peptides by Discrete Support Vector Machines -- Inverse Protein Folding on 2D Off-Lattice Model: Initial Results and Perspectives -- Virtual Error: A New Measure for Evolutionary Biclustering -- Characterising DNA/RNA Signals with Crisp Hypermotifs: A Case Study on Core Promoters -- Evaluating Evolutionary Algorithms and Differential Evolution for the Online Optimization of Fermentation Processes -- The Role of a Priori Information in the Minimization of Contact Potentials by Means of Estimation of Distribution Algorithms -- Classification of Cell Fates with Support Vector Machine Learning -- Reconstructing Linear Gene Regulatory Networks -- Individual-Based Modeling of Bacterial Foraging with Quorum Sensing in a Time-Varying Environment -- Substitution Matrix Optimisation for Peptide Classification.…”
Click to view e-book

Table of Contents: “…An Estimation of Distribution Algorithm for Solving Flow Shop Scheduling Problems with Sequence-dependent Family Setup Times / Mansour Eddaly, Bassem Jarboui, Radhouan Bouabda, Patrick Siarry, Abdelwaheb Rebaï -- Genetic Algorithms for Solving Flexible Job Shop Scheduling Problems / Imed Kacem -- A Hybrid GRASP-Differential Evolution Algorithm for Solving Flow Shop Scheduling Problems with No-Wait Constraints / Hanen Akrout, Bassem Jarboui, Patrick Siarry, Abdelwaheb Rebaï -- A Comparison of Local Search Metaheuristics for a Hierarchical Flow Shop Optimization Problem with Time Lags / Emna Dhouib, Jacques Teghem, Daniel Tuyttens, Taïcir Loukil -- Neutrality in Flow Shop Scheduling Problems: Landscape Structure and Local Search / Marie-Eleonore Marmion -- Evolutionary Metaheuristic Based on Genetic Algorithm: Application to Hybrid Flow Shop Problem with Availability Constraints / Nadia Chaaben, Racem Mellouli, Faouzi Masmoudi -- Models and Methods in Graph Coloration for Various Production Problems / Nicolas Zufferey -- Mathematical Programming and Heuristics for Scheduling Problems with Early and Tardy Penalties / Mustapha Ratli, Rachid Benmansour, Rita Macedo, Saïd Hanafi, Christophe Wilbaut -- Metaheuristics for Biobjective Flow Shop Scheduling / Matthieu Basseur, Arnaud Liefooghe -- Pareto Solution Strategies for the Industrial Car Sequencing Problem / Caroline Gagné, Arnaud Zinflou, Marc Gravel -- Multi-Objective Metaheuristics for the Joint Scheduling of Production and Maintenance / Ali Berrichi, Farouk Yalaoui -- Optimization via a Genetic Algorithm Parametrizing the AHP Method for Multicriteria Workshop Scheduling / Fouzia Ounnar, Patrick Pujo, Afef Denguir -- A Multicriteria Genetic Algorithm for the Resource Constrained Task Scheduling Problem / Olfa Dridi, Saoussen Krichen, Adel Guitouni -- Metaheuristics for the Solution of Vehicle Routing Problems in a Dynamic Context / Tienté Hsu, Gilles Gonçalves, Rémy Dupas -- Combination of a Metaheuristic and a Simulation Model for the Scheduling of Resource-Constrained Transport Activities / Virginie André, Nathalie Grangeon, Sylvie Norre -- Vehicle Routing Problems with Scheduling Constraints / Rahma Lahyani, Frédéric Semet, Benoît Trouillet -- Metaheuristics for Job Shop Scheduling with Transportation / Qiao Zhang, Hervé Manier, Marie-Ange Manier.…”
Click for online access

Table of Contents: “…Efficiency in Synchronous Set Agreement -- Fault Tolerance and Synchronization -- Highly-Concurrent Multi-word Synchronization -- Fault Tolerance in Finite State Machines Using Fusion -- Wait-Free Dining Under Eventual Weak Exclusion -- On the Inherent Cost of Atomic Broadcast and Multicast in Wide Area Networks -- Detection of Disjunctive Normal Form Predicate in Distributed Systems -- Solving Classic Problems in Distributed Systems: The Smart-Message Paradigm -- Design of Concurrent Utilities in Jackal: A Software DSM Implementation -- Self-stabilization -- Anonymous Daemon Conversion in Self-stabilizing Algorithms by Randomization in Constant Space -- Snap-Stabilizing Waves in Anonymous Networks -- Self-stabilizing Distributed Protocol Switching -- A Self-stabilizing Algorithm for the Minimum Color Sum of a Graph -- Scheduling, Clustering, and Data Mining -- Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems -- Scalable and Distributed Mechanisms for Integrated Scheduling and Replication in Data Grids -- DGDCT: A Distributed Grid-Density Based Algorithm for Intrinsic Cluster Detection over Massive Spatial Data -- An Abstraction Based Communication Efficient Distributed Association Rule Mining -- List Heuristic Scheduling Algorithms for Distributed Memory Systems with Improved Time Complexity -- Parallel Architectures and Algorithms -- CG-Cell: An NPB Benchmark Implementation on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock Free Shortest Path Routing Algorithm for WK-Recursive Meshes -- Mobile Agents and Cryptography -- Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks -- Mobile Agent Rendezvous in a Ring Using Faulty Tokens -- A New Key-Predistribution Scheme for Highly Mobile Sensor Networks -- Alternative Protocols for Generalized Oblivious Transfer -- Networking Track Papers -- The Crossroads Approach to Information Discovery in Wireless Sensor Networks -- Tree-Based Anycast for Wireless Sensor/Actuator Networks -- A Distributed Algorithm for Load-Balanced Routing in Multihop Wireless Sensor Networks -- Using Learned Data Patterns to Detect Malicious Nodes in Sensor Networks -- An Efficient Key Establishment Scheme for Self-organizing Sensor Networks -- Internet and Security -- SuperTrust – A Secure and Efficient Framework for Handling Trust in Super Peer Networks -- A Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance Modelling of Stretched Hypercubes -- A Family of Collusion Resistant Symmetric Key Protocols for Authentication -- An Escalated Approach to Ant Colony Clustering Algorithm for Intrusion Detection System -- Sensor Networks II -- Interplay of Processing and Routing in Aggregate Query Optimization for Sensor Networks -- Exploiting Resource-Rich Actors for Bridging Network Partitions in Wireless Sensor and Actor Networks -- A New Top-Down Hierarchical Multi-hop Routing Protocol for Wireless Sensor Networks -- PROBESYNC: Platform Based Synchronization for Enhanced Life of Large Scale Wireless Sensor Networks -- Optical Networks -- An Adaptive Split Reservation Protocol (SRP) for Dynamically Reserving Wavelengths in WDM Optical Networks -- Routing and Wavelength Assignment in All Optical Networks Based on Clique Partitioning -- Fault Detection and Localization Scheme for Multiple Failures in Optical Network -- A Heuristic Search for Routing and Wavelength Assignment in Distributed WDM Optical Networks with Limited Range Wavelength Conversion -- QoS and Multimedia -- An Efficient Storage Mechanism to Distribute Disk Load in a VoD Server -- Multi Level Pricing for Service Differentiation and Congestion Control in Communication Networks -- Revenue-Driven Bandwidth Management for End-to-End Connectivity over IP Networks -- Modeling and Predicting Point-to-Point Communication Delay of Circuit Switching in the Mesh-Connected Networks -- Wireless Networks -- Maximizing Aggregate Saturation Throughput in IEEE 802.11 Wireless LAN with Service Differentiation -- Overloading Cellular DS-CDMA: A Bandwidth-Efficient Scheme for Capacity Enhancement -- Enhancing DHCP for Address Autoconfiguration in Multi-hop WLANs -- Channel Assignment in Multimedia Cellular Networks -- Ad Hoc Networks -- On Routing with Guaranteed Delivery in Three-Dimensional Ad Hoc Wireless Networks -- Energy-Efficient Dominating Tree Construction in Wireless Ad Hoc and Sensor Networks -- A Location-Aided Content Searching Mechanism for Large Mobile Ad Hoc Network Using Geographic Clusters -- A Centralized Algorithm for Topology Management in Mobile Ad-Hoc Networks through Multiple Coordinators.…”
Click to view e-book

Table of Contents: “…Critical Issues in Model-Based Surrogate Functions in Estimation of Distribution Algorithms -- Sandholm Algorithm with K-means Clustering Approach for Multi-robot Task Allocation -- Genetic Programming for Modeling Vibratory Finishing Process: Role of Experimental Designs and Fitness Functions -- Non-fragile Robust PI Controller Design Using Co-variance Matrix Adaptation Evolutionary Strategy -- Meta Heuristic Approaches for Circular Open Dimension Problem -- Protein Function Prediction Using Adaptive Swarm Based Algorithm -- Reduction of Bullwhip Effect in Supply Chain through Improved Forecasting Method: An Integrated DWT and SVM Approach -- An Ant Colony Optimization Algorithm for the Min-Degree Constrained Minimum Spanning Tree Problem -- Multiobjective Differential Evolution Algorithm Using Binary Encoded Data in Selecting Views for Materializing in Data Warehouse -- Robust Protective Relay Setting and Coordination Using Modified Differential Evolution Considering Different Network Topologies -- Real-Coded Genetic Algorithm and Fuzzy Logic Approach for Real-Time Load-Tracking Performance of an Autonomous Power System -- Short Term Load Forecasting (STLF) Using Generalized Neural Network (GNN) Trained with Adaptive GA -- Gene Selection Using Multi-objective Genetic Algorithm Integrating Cellular Automata and Rough Set Theory -- Fusion at Features Level in CBIR System Using Genetic Algorithm -- New Bio-inspired Meta-Heuristics - Green Herons Optimization Algorithm - for Optimization of Travelling Salesman Problem and Road Network -- A Comparative Analysis of Results of Data Clustering with Variants of Particle Swarm Optimization -- Hybrid Particle Swarm Optimization Technique for Protein Structure Prediction Using 2D Off-Lattice Model -- Software Effort Estimation Using Functional Link Neural Networks Optimized by Improved Particle Swarm Optimization -- Improved Feature Selection Based on Particle Swarm Optimization for Liver Disease Diagnosis -- Groundwater System Modeling for Pollution Source Identification Using Artificial Neural Network -- Stochastic Analysis for Forecasting the MW Load of Plug-In Electric Vehicles -- Biometric Based Personal Authentication Using Eye Movement Tracking -- Accelerated Simulation of Membrane Computing to Solve the N-queens Problem on Multi-core -- A Genetic Algorithm Optimized Artificial Neural Network for the Segmentation of MR Images in Frontotemporal Dementia -- Intelligent Computation and Kinematics of 4-DOF SCARA Manipulator Using ANN and ANFIS -- Hybrid Neuro-Fuzzy Network Identification for Autonomous Underwater Vehicles -- Prediction of Protein Structural Class by Functional Link Artificial Neural Network Using Hybrid Feature Extraction Method -- ANN Modeling of a Steelmaking Process -- Crop Yield Forecasting Using Neural Networks -- Non-linear Dynamic System Identification Using FLLWNN with Novel Learning Method -- Analysis of Transient Stability Based STATCOM for Neural Network Controller in Cascaded Multilevel Inverter -- Emotion Recognition System by Gesture Analysis Using Fuzzy Sets -- Automatic Eye Detection in Face Images for Unconstrained Biometrics Using Genetic Programming -- Neural Network Based Gesture Recognition for Elderly Health Care Using Kinect Sensor -- City Block Distance for Identification of Co-expressed MicroRNAs -- Extreme Learning Machine Approach for On-Line Voltage Stability Assessment -- Quadratic Fuzzy Bilevel Chance Constrained Programming with Parameters Following Weibull Distribution -- Message Passing Methods for Estimation of Distribution Algorithms Based on Markov Networks -- Application of Neural Networks to Automatic Load Frequency Control -- RNN Based Solar Radiation Forecasting Using Adaptive Learning Rate -- Energy Efficient Aggregation in Wireless Sensor Networks for Multiple Base Stations -- An Intelligent Method for Handoff Decision in Next Generation Wireless Network -- Path Planning for the Autonomous Underwater Vehicle -- A Game Theoretic Approach for Reliable Power Supply in Islanded DG Grids -- Classification of Day-Ahead Deregulated Electricity Market Prices Using DCT-CFNN -- Multi-Objective Approach for Protein Structure Prediction -- Clustering Based Analysis of Spirometric Data Using Principal Component Analysis and Self Organizing Map -- Feature Selection of Motor Imagery EEG Signals Using Firefly Temporal Difference Q-Learning and Support Vector Machine -- Optimal Build-or-Buy Decision for Component Selection of Application Package Software -- Text and Data Mining to Detect Phishing Websites and Spam Emails -- Intelligent Fault Tracking by an Adaptive Fuzzy Predictor and a Fractional Controller of Electromechanical System – A Hybrid Approach -- Differential Evolution and Bacterial Foraging Optimization Based Dynamic Economic Dispatch with Non-smooth Fuel Cost Functions -- Permutation Flowshop Scheduling Problem Using Classical NEH, ILS-ESP Operator -- Analysis of Human Retinal Vasculature for Content Based Image Retrieval Applications -- Activity Recognition Using Multiple Features, Subspaces and Classifiers -- Advanced Optimization by Progressive Mapping Search Method of PSO and Neural Network -- Optimal Placement of DG in Distribution System Using Genetic Algorithm -- Intelligent Controllers in Path Tracking of a Manipulator with Bounded Disturbance Torque -- Multiscale and Multilevel Wavelet Analysis of Mammogram Using Complex Neural Network.…”
Click to view e-book

Table of Contents: “…Linear time algorithms for liveness and boundedness in conflict-free Petri nets -- q-Regular sequences and other generalizations of q-automatic sequences -- Complex polynomials and circuit lower bounds for modular counting -- A decidability result about convex polyominoes -- Edge insertion for optimal triangulations -- Simulating permutation networks on hypercubes -- Universal statistical tests -- Automata and pattern matching in planar directed acyclic graphs -- Regular expressions into finite automata -- Automata and codes with bounded deciphering delay -- Parallel complexity of heaps and min-max heaps -- On the complexity of some problems for the Blum, Shub & Smale model -- Average case analysis of a greedy algorithm for the minimum hitting set problem -- Achieving optimality for gate matrix layout and PLA folding: A graph theoretic approach -- How to write integers in non-integer base -- A simple randomized parallel algorithm for maximal f-matchings -- On the number of components of a recursive graph -- Factoring in skew-polynomial rings -- Leaders election without conflict resolution rule -- Dynamics of sand-piles games on graphs -- Rational function decomposition and Gröbner bases in the parameterization of plane curves -- The double reconstruction conjectures about colored hypergraphs and colored directed graphs -- Locally definable acceptance types — The three-valued case -- On the computation of the Hilbert series -- A distributed algorithm for finding all maximal cliques in a network graph -- Polynomial factorization 1987–1991 -- Properties of recognizable $$ mathcal{M}$$ -subsets of a free monoid -- On the Burnside semigroups x n = x n+m -- Massively parallel computing and factoring -- Some regularity conditions based on well quasi-orders -- Approximate matching of network expressions with spacers -- Unambiguous simulations of auxiliary pushdown automata and circuits -- On reversible automata -- Even induced cycles in planar graphs -- Arithmetic + logic + geometry = concurrency -- On the density and core of the complexity classes -- The “last” decision problem for rational trace languages -- Improved bounds for mixing rates of Markov chains and multicommodity flow -- Data structures and terminating Petri nets -- Circuits constructed with MOD q gates cannot compute AND in sublinear size -- Decomposing a k-valued transducer into k unambiguous ones -- An efficient algorithm for edge-coloring series parallel multigraphs -- Complexity issues in neural network computations.…”
Click to view e-book

Table of Contents: “…k ) -- Absorbing Random Walks and the NAE2SAT Problem -- Versioning Tree Structures by Path-Merging -- A Linear In-situ Algorithm for the Power of Cyclic Permutation -- Multi-bidding Strategy in Sponsored Keyword Auction -- A CSP-Based Approach for Solving Parity Game -- Characterizing and Computing Minimal Cograph Completions -- Efficient First-Order Model-Checking Using Short Labels -- Matching for Graphs of Bounded Degree -- Searching Trees with Sources and Targets -- Ranking of Closeness Centrality for Large-Scale Social Networks -- Mixed Search Number of Permutation Graphs -- The 2-Terminal-Set Path Cover Problem and Its Polynomial Solution on Cographs -- A Distributed Algorithm to Approximate Node-Weighted Minimum ?…”
Click to view e-book

Table of Contents: “…-- Ontology-Driven KDD Process Composition -- Mining Frequent Gradual Itemsets from Large Databases -- Selecting Computer Architectures by Means of Control-Flow-Graph Mining -- Visualization-Driven Structural and Statistical Analysis of Turbulent Flows -- Distributed Algorithm for Computing Formal Concepts Using Map-Reduce Framework -- Multi-Optimisation Consensus Clustering -- Improving Time Series Forecasting by Discovering Frequent Episodes in Sequences -- Measure of Similarity and Compactness in Competitive Space -- Bayesian Solutions to the Label Switching Problem -- Efficient Vertical Mining of Frequent Closures and Generators -- Isotonic Classification Trees.…”
Click to view e-book

Table of Contents: “…Section 1 – Invited Papers -- Transactional Memory Today -- Maintaining Coherent Views over Dynamic Distributed Data -- Malware: From Modelling to Practical Detection -- Semantic Frameworks—Meanings in the Architecture -- Section 2 – Networking -- Fuzzy-Controlled Source-Initiated Multicasting (FSIM) in Ad Hoc Networks -- On Optimal Space Tessellation with Deterministic Deployment for Coverage in Three-Dimensional Wireless Sensor Networks -- Seamless Handoff between IEEE 802.11 and GPRS Networks -- A Tool to Determine Strategic Location and Ranges of Nodes for Optimum Deployment of Wireless Sensor Network -- An Efficient Hybrid Data-Gathering Scheme in Wireless Sensor Networks -- Section 3 – Grid Computing and Web Services -- Introducing Dynamic Ranking on Web Pages Based on Multiple Ontology Supported Domains -- Multi-criteria Service Selection with Optimal Stopping in Dynamic Service-Oriented Systems -- Template-Based Process Abstraction for Reusable Inter-organizational Applications in RESTful Architecture -- Enhancing the Hierarchical Clustering Mechanism of Storing Resources’ Security Policies in a Grid Authorization System -- A Framework for Web-Based Negotiation -- Section 4 – Internet Technology and Distributed Computing -- Performance Analysis of a Renewal Input Bulk Service Queue with Accessible and Non-accessible Batches -- A Distributed Algorithm for Pattern Formation by Autonomous Robots, with No Agreement on Coordinate Compass -- Gathering Asynchronous Transparent Fat Robots -- Development of Generalized HPC Simulator -- Performance Analysis of Finite Buffer Queueing System with Multiple Heterogeneous Servers -- Finite Buffer Controllable Single and Batch Service Queues -- Enhanced Search in Peer-to-Peer Networks Using Fuzzy Logic -- Section 5 – Software Engineering: Secured Systems -- UML-Compiler: A Framework for Syntactic and Semantic Verification of UML Diagrams -- Evolution of Hyperelliptic Curve Cryptosystems -- Reliability Improvement Based on Prioritization of Source Code -- Secure Dynamic Identity-Based Remote User Authentication Scheme -- Theoretical Notes on Regular Graphs as Applied to Optimal Network Design -- Formal Approaches to Location Management in Mobile Communications -- Automated Test Scenario Selection Based on Levenshtein Distance -- Section 6 – Societal Applications -- Study of Diffusion Models in an Academic Social Network -- First Advisory and Real-Time Health Surveillance to Reduce Maternal Mortality Using Mobile Technology.…”
Click to view e-book

Table of Contents: “…Invited Talk -- Modeling and Analyzing Massive Terrain Data Sets -- Coloring Triangle-Free Graphs on Surfaces -- Best Paper Award Presentation -- Integer Representation and Counting in the Bit Probe Model -- 1A Graph Algorithms I -- Minimum Degree Orderings -- Greedy Approximation for Source Location Problem with Vertex-Connectivity Requirements in Undirected Graphs -- Dynamic Distance Hereditary Graphs Using Split Decomposition -- Unifying Two Graph Decompositions with Modular Decomposition -- 1B Computational Geometry I -- Escaping Off-Line Searchers and a Discrete Isoperimetric Theorem -- Geometric Spanner of Segments -- Dilation-Optimal Edge Deletion in Polygonal Cycles -- 2A Complexity I -- Unbounded-Error Classical and Quantum Communication Complexity -- A Spectral Method for MAX2SAT in the Planted Solution Model -- On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices -- The 1-Versus-2 Queries Problem Revisited -- 2B Graph Drawing -- Approximating the Crossing Number of Toroidal Graphs -- Width-Optimal Visibility Representations of Plane Graphs -- Computing Upward Topological Book Embeddings of Upward Planar Digraphs -- Algorithms for the Hypergraph and the Minor Crossing Number Problems -- 3A Distributed Algorithms -- On Mixing and Edge Expansion Properties in Randomized Broadcasting -- Linear Reconfiguration of Cube-Style Modular Robots -- Fast Message Dissemination in Random Geometric Ad-Hoc Radio Networks -- Sensor Network Gossiping or How to Break the Broadcast Lower Bound -- On the Complexity of the “Most General” Undirected Firing Squad Synchronization Problem -- 3B Optimization I -- Capacitated Domination Problem -- The Complexity of Finding Subgraphs Whose Matching Number Equals the Vertex Cover Number -- New Bounds for the Nearly Equitable Edge Coloring Problem -- Approximation to the Minimum Cost Edge Installation Problem -- Approximability of Packing Disjoint Cycles -- 4A Data Structure I -- Succinct Representation of Labeled Graphs -- More Efficient Algorithms and Analyses for Unequal Letter Cost Prefix-Free Coding -- Kinetic Maintenance of Mobile k-Centres on Trees -- Checking Value-Sensitive Data Structures in Sublinear Space -- 4B Game Theory -- Manipulation in Games -- Using Nash Implementation to Achieve Better Frugality Ratios -- The Price of Nash Equilibria in Multicast Transmissions Games -- 5A Database Applications -- An Efficient Algorithm for Enumerating Pseudo Cliques -- Fast Adaptive Diagnosis with a Minimum Number of Tests -- Dynamic Structures for Top-k Queries on Uncertain Data -- Separating Populations with Wide Data: A Spectral Analysis -- 5B Online Algorithms -- A Constant-Competitive Algorithm for Online OVSF Code Assignment -- Average-Case Analysis of Online Topological Ordering -- Energy Efficient Deadline Scheduling in Two Processor Systems -- On the Relative Dominance of Paging Algorithms -- 6A I/O Algorithms -- I/O-Efficient Map Overlay and Point Location in Low-Density Subdivisions -- Geometric Streaming Algorithms with a Sorting Primitive -- External Memory Range Reporting on a Grid -- Approximate Range Searching in External Memory -- 6B Networks -- Faster Treasure Hunt and Better Strongly Universal Exploration Sequences -- Hardness and Approximation of Traffic Grooming -- Depth of Field and Cautious-Greedy Routing in Social Networks -- Locating Facilities on a Network to Minimize Their Average Service Radius -- 7A Optimization II -- Faster Combinatorial Algorithms for Determinant and Pfaffian -- A Polynomial-Time-Delay and Polynomial-Space Algorithm for Enumeration Problems in Multi-criteria Optimization -- The Parameterized Complexity of the Unique Coverage Problem -- Bounded Tree-Width and CSP-Related Problems -- 7B Computational Geometry II -- Covering Points by Unit Disks of Fixed Location -- Geodesic Disks and Clustering in a Simple Polygon -- An O(n 2logn) Time Algorithm for Computing Shortest Paths Amidst Growing Discs in the Plane -- Optimal Triangulation with Steiner Points -- 8A Geometric Applications -- New Algorithm for Field Splitting in Radiation Therapy -- In-Place Algorithm for Image Rotation -- Higher Order Voronoi Diagrams of Segments for VLSI Critical Area Extraction -- 8B Data Structures II -- Distributed Relationship Schemes for Trees -- Fast Evaluation of Union-Intersection Expressions -- A Sub-cubic Time Algorithm for the k-Maximum Subarray Problem -- 9A Computational Geometry III -- Compressing Spatio-temporal Trajectories -- Finding Popular Places -- Maintaining Extremal Points and Its Applications to Deciding Optimal Orientations -- 9B Complexity II -- The Monomial Ideal Membership Problem and Polynomial Identity Testing -- On the Fault Testing for Reversible Circuits -- The Space Complexity of k-Tree Isomorphism -- 10A String -- Algorithms for Computing the Length-Constrained Max-Score Segments with Applications to DNA Copy Number Data Analysis -- Space Efficient Indexes for String Matching with Don’t Cares -- 2-Stage Fault Tolerant Interval Group Testing -- Approximate String Matching with Swap and Mismatch -- 10B Graph Algorithms II -- Minimum Fill-In and Treewidth of Split+?…”
Click to view e-book

Table of Contents: “…1 Real-world free boundary problems -- 1.1 Hypersonic flow -- 1.2 Problems with free boundaries close to fixed boundaries -- 1.3 Free boundary problems in superconductors -- 1.4 Elastic contact -- 1.5 Partial solution -- 1.6 References -- 2 Terminally attached polymer chains -- 2.1 Experiments and the MWC model -- 2.2 The SCF theory -- 2.3 Numerical results -- 2.4 Mathematical problems -- 2.5 References -- 3 Orientation of colloidal magnetically switchable particles -- 3.1 Ferrohydrodynamics -- 3.2 A statistical mechanics approach -- 3.3 References -- 4 Information, probability and learning from examples -- 4.1 Learning from examples -- 4.2 Simple geometric examples -- 4.3 The Vapnik and Chervonenkis theory -- 4.4 References -- 5 An augmented drift-diffusion formulation in semiconductor devices -- 5.1 Semiconductor device modeling -- 5.2 The augmented drift-diffusion model -- 5.3 Mathematical issues -- 5.4 Partial solution -- 5.5 References -- 6 Analytical and heuristic modeling of distributed algorithms -- 6.1 Examples and terminology -- 6.2 Analytic results -- 6.3 Markov mode for search tree -- 6.4 Search with multiprocessor -- 6.5 References -- 7 Modeling catalytic converter performance -- 7.1 Chemical reactions -- 7.2 The differential equations -- 7.3 Numerical approach -- 7.4 Control problems -- 7.5 References -- 8 A model for titanium silicide film growth -- 8.1 Description of the process -- 8.2 A model with interfaces -- 8.3 A two-dimensional model -- 8.4 References -- 9 A three-state model for gel electrophoresis -- 9.1 Polymer reptation and the repton model -- 9.2 A biased repton model -- 9.3 Mapping into a discrete pseudospin model -- 9.4 Mean field approximation -- 9.5 Open problems -- 9.6 References -- 10 A limited coalescence problem -- 10.1 The model -- 10.2 Asymptotic distribution -- 10.3 The Monte Carlo method -- 10.4 Mathematical results -- 10.5 References -- 11 High field semiconductor equations -- 11.1 Motivation -- 11.2 Scaling -- 11.3 Moderate force -- 11.4 Strong force -- 11.5 The semiconductor case -- 11.6 Open problems -- 11.7 References -- 12 Structured singular values and invariant theory -- 12.1 FDLTI systems -- 12.2 Feedback under parametric uncertainty -- 12.3 Structured singular value -- 12.4 A new approach -- 12.5 Open problems -- 12.6 References -- 13 Signal design with an amplitude constraint -- 13.1 Lp/Lq signal design -- 13.2 Necessary optimality condition -- 13.3 The fixed-point problem -- 13.4 Open problems -- 13.5 References -- 14 Head-disk interface in magnetic storage device -- 14.1 Modified Reynolds equation -- 14.2 Free molecular flow -- 14.3 The limiting process as h?…”
Click to view e-book

Table of Contents: “…-- Fault-Containment in Weakly-Stabilizing Systems -- Stability of Distributed Algorithms in the Face of Incessant Faults -- Dependability Engineering of Silent Self-stabilizing Systems -- Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective -- Efficient Robust Storage Using Secret Tokens -- An Optimal Self-stabilizing Firing Squad -- Anonymous Transactions in Computer Networks -- Nash Equilibria in Stabilizing Systems -- ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation -- A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks -- Separation of Circulating Tokens -- Visiting Gafni’s Reduction Land: From the BG Simulation to the Extended BG Simulation -- Randomized Gathering of Mobile Robots with Local-Multiplicity Detection -- Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat -- CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks -- Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links -- Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler -- Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision -- Finding Good Partners in Availability-Aware P2P Networks -- Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables -- Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity -- Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems -- Model Checking Coalition Nash Equilibria in MAD Distributed Systems -- OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs -- A Self-stabilizing Algorithm for Graph Searching in Trees -- A Metastability-Free Multi-synchronous Communication Scheme for SoCs -- From Local Impact Functions to Global Adaptation of Service Compositions -- A Wireless Security Framework without Shared Secrets -- Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks -- Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning -- Network-Friendly Gossiping -- Black Hole Search with Tokens in Interconnected Networks -- Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model -- Speculation for Parallelizing Runtime Checks -- Optimistic Fair Exchange Using Trusted Devices -- Application Data Consistency Checking for Anomaly Based Intrusion Detection -- Self Adaptive High Interaction Honeypots Driven by Game Theory -- Cooperative Autonomic Management in Dynamic Distributed Systems -- Brief Announcements -- Brief Announcement: Consistent Fixed Points and Negative Gain -- Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems -- Safer Than Safe: On the Initial State of Self-stabilizing Systems -- Brief Announcement: Unique Permutation Hashing -- Randomization Adaptive Self-stabilization -- Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization -- Brief Announcement: An OS Architecture for Device Self-protection -- Brief Announcement: Towards Secure Cloud Computing -- Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters -- Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks -- Relocation Analysis of Stabilizing MAC -- Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model -- Brief Announcement: How to Overcome the Limits of Bounds -- Brief Announcement: The Design and Evaluation of a Distributed Reliable File System.…”
Click to view e-book

Table of Contents: “…Edge-Connected Graph and a Biconnected Graph -- Location Problems Based on Node-Connectivity and Edge-Connectivity between Nodes and Node-Subsets -- Parallel and Distributed Algorithms -- An Intuitive and Effective New Representation for Interconnection Network Structures -- Randomized Leader Election Protocols in Radio Networks with no Collision Detection -- Deterministic Broadcasting Time with Partial Knowledge of the Network -- Algorithms and Data Structures (V) -- Minimizing Makespan in Batch Machine Scheduling -- Preemptive Parallel Task Scheduling in O(n) + Poly(m) Time -- Compressed Text Databases with Efficient Query Algorithms Based on the Compressed Suffix Array -- Computational Geometry (I) -- A Better Lower Bound for Two-Circle Point Labeling -- Voronoi Diagram of a Circle Set Constructed from Voronoi Diagram of a Point Set -- An Improved Algorithm for Subdivision Traversal without Extra Storage -- Algorithms and Data Structures (VI) -- Generalized H-Coloring of Graphs -- Finding a Two-Core of a Tree in Linear Time -- Unbalanced and Hierarchical Bipartite Matchings with Applications to Labeled Tree Comparison -- Computational Geometry (II) -- Optimal Beam Penetrations in Two and Three Dimensions -- Searching a Simple Polygon by a k-Searcher -- Characterization of Rooms Searchable by Two Guards -- Computational Biology -- Improved Phylogeny Comparisons: Non-shared Edges, Nearest Neighbor Interchanges, and Subtree Transfers -- Phylogenetic k-Root and Steiner k-Root -- Computational Geometry (III) -- Maintenance of a Piercing Set for Intervals with Applications -- Optimal Polygon Cover Problems and Applications.…”
Click to view e-book

Table of Contents: “…-- Balance in AVL trees -- A tight lower bound for selection in sorted X+Y -- Greedy triangulation approximates the optimum and can be implemented in linear time in the average case -- Generating random graphs efficiently -- Linear extensions with backtracking -- Storing shortest paths for a polyhedron -- An improved join dependency for efficient constraint checking -- On the power of query-independent compilation -- Parallel transitive closure computation in highly scalable multiprocessors -- Methods and tools for integrating database systems and object-oriented programming systems -- Incremental database design revisited -- Partial document ranking by heuristic methods -- Context inheritance and content inheritance in an object-oriented data model -- Graphical specification of recursive queries -- On designing relational database schemes for efficient query processing -- The mean value approach to performance evaluation of time-stamp ordering algorithms -- A backend text retrieval machine for signature-based document ranking -- Partitioning and scheduling of parallel functional programs using complexity information -- Subtree availability in binary tree architectures -- An optimal parallel algorithm for the vertical segment visibility reporting problem -- A fault-tolerant binary tree architecture -- Unordered tree contraction -- Conflict-free sorting algorithms under single-channel and multi-channel broadcast communication models -- Parallel routing and sorting on the pancake network -- Practical parallel algorithms for chordal graphs -- Logarithmic time NC algorithms for comparability graphs and circle graphs -- Compact hypercubes: Properties and recognition -- Increasing communication bandwidth on hypercube -- Programming a parallel sort using distributed procedure calls -- A note on off-line permutation routing on a mesh-connected processor array -- A fully-pipelined solutions constructor for dynamic programming problems -- On the fault-tolerance of quasi-minimal cayley networks -- Some fast parallel algorithms for parentheses matching -- A simple optimal parallel algorithm to solve the lowest common ancestor problem -- Extended cycle shrinking: A restructuring method for parallel compilation -- Sequential and distributed algorithms for the all pairs quickest path problem -- An efficient approximation algorithm for hypercube scheduling -- An optimal parallel algorithm to reconstruct a binary tree from its traversals -- An efficient multiprocessor architecture for image processing in VLSI -- Generalized fault tolerance properties of star graphs -- A formal description of the IC* model of parallel computation -- An efficient algorithm for quiescence detection in a distributed system -- Interval arithmetic for computing performance guarantees in client-server software -- Enhanced reliability in scheduling critical tasks for hard real-time distributed systems -- A design and modeling environment to develop real-time, distributed software systems -- On the management of remote procedure call transactions -- Simple atomic snapshots a linear complexity solution with unbounded time-stamps -- A distributed scheduling algorithm for heterogeneous real-time systems -- A distributed solution to the k-out of-M resources allocation problem -- Efficient distributed resource scheduling for adaptive real-time operation support -- Mapping of fault-tolerant permutations in omega interconnection network -- Artificial neural networks for predicting silicon content in raw iron from blast furnaces -- A chemical reactor selection expert system created by training an artificial neural network -- A modeling technique for generating causal explanations of physical systems -- Planning in conceptual networks -- Empirical study of the meaning of the hedge “VERY” -- Kernel knowledge versus belt knowledge in default reasoning: A logical approach -- Neural network processing elements as a new generation of ”flip-flops” -- A proof-theoretic framework for nonmonotonic reasoning and logic programming -- On semantics, syntactics and fixpoints of general programs -- A framework for variable-resolution vision -- An RMS for temporal reasoning with abstraction.…”
Click to view e-book

Table of Contents: “…Support Tools and Environments -- Skipping Non-essential Instructions Makes Data-dependence Profiling Faster -- A Toolchain to Verify the Parallelization of OmpSs-2 Applications -- Performance and Power Modeling, Prediction and Evaluation -- Towards a Model to Estimate the Reliability of Large-scale Hybrid Supercomputers -- A Learning-Based Approach for Evaluating the Capacity of Data Processing Pipelines -- Operation-Aware Power Capping -- A Comparison of the Scalability of OpenMP Implementations -- Evaluating the Effectiveness of a Vector-Length-Agnostic Instruction Set -- Scheduling and Load Balancing -- Parallel Scheduling of Data-Intensive Tasks -- A Makespan Lower Bound for the Scheduling of the Tiled Cholesky Factorization Based on ALAP Scheduling -- Optimal GPU-CPU Offloading Strategies for Deep Neural Network Training -- Improving mapping for sparse direct solvers: A trade-off between data locality and load balancing -- High Performance Architectures and Compilers -- Modelling Standard and Randomized Slimmed Folded Clos Networks -- OmpMemOpti: Optimized Memory Movement for Heterogeneous Computing -- Data Management, Analytics and Machine Learning -- Accelerating Deep Learning Inference with Cross-Layer Data Reuse on GPUs -- Distributed Fine-Grained Traffic Speed Prediction for Large-Scale Transportation Networks based on Automatic LSTM Customization and Sharing -- Optimizing FFT-based convolution on ARMv8 multi-core CPUs -- Maximizing I/O Bandwidth for Reverse Time Migration on Heterogeneous Large-Scale Systems -- Cluster, Cloud and Edge Computing -- TorqueDB: Distributed Querying of Time-series Data from Edge-local Storage -- Data-Centric Distributed Computing on Networks Mobile Devices -- WPSP: a multi-correlated weighted policy for VM selection and migration for Cloud computing -- Theory and Algorithms for Parallel and Distributed Processing -- LCP-Aware Parallel String Sorting -- Mobile RAM and Shape Formation by Programmable Particles -- Approximation Algorithm for Estimating Distances in Distributed Virtual Environments -- On the Power of Randomization in Distributed Algorithms in Dynamic Networks with Adaptive Adversaries -- 3D Coded SUMMA: Communication-Efficient and Robust Parallel Matrix Multiplication -- Parallel and Distributed Programming, Interfaces, and Languages -- Managing Failures in task-based parallel workflows in distributed computing environments -- Accelerating Nested Data Parallelism: Preserving Regularity -- Using Dynamic Broadcasts to improve Task-Based Runtime Performances -- A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map -- Multicore and Manycore Parallelism -- NVPhTM: An Efficient Phase-Based Transactional System for Non-Volatile Memory -- Enhancing Resource Management through Prediction-based Policies -- Accelerating Overlapping Community Detection: Performance Tuning a Stochastic Gradient Markov Chain Monte Carlo Algorithm -- Parallel Numerical Methods and Applications -- A Prediction Framework for Fast Sparse Triangular Solves -- Multiprecision block-Jacobi for Iterative Triangular Solves -- Efficient Ephemeris Models for Spacecraft Trajectory Simulations on GPUs -- Parallel Finite Cell Method with Adaptive Geometric Multigrid -- Accelerator Computing -- cuDTW++: Ultra-Fast Dynamic Time Warping on CUDA-enabled GPUs -- Heterogeneous CPU+iGPU Processing for Efficient Epistasis Detection -- SYCL-Bench: A Versatile Single-Source Benchmark Suite for Heterogeneous Computing.…”
Click for online access

Table of Contents: “…Extending Bounded Model Checking -- Interpolation and SAT-Based Model Checking -- Bounded Model Checking and Induction: From Refutation to Verification -- Symbolic Model Checking -- Reasoning with Temporal Logic on Truncated Paths -- Structural Symbolic CTL Model Checking of Asynchronous Systems -- A Work-Efficient Distributed Algorithm for Reachability Analysis -- Games, Trees, and Counters -- Modular Strategies for Infinite Games on Recursive Graphs -- Fast Mu-Calculus Model Checking when Tree-Width Is Bounded -- Dense Counter Machines and Verification Problems -- Tool Presentations I -- TRIM: A Tool for Triggered Message Sequence Charts -- Model Checking Multi-Agent Programs with CASP -- Monitoring Temporal Rules Combined with Time Series -- FAST: Fast Acceleration of Symbolic Transition Systems -- Rabbit: A Tool for BDD-Based Verification of Real-Time Systems -- Abstraction I -- Making Predicate Abstraction Efficient: -- A Symbolic Approach to Predicate Abstraction -- Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods -- Dense Time -- Digitizing Interval Duration Logic -- Timed Control with Partial Observability -- Hybrid Acceleration Using Real Vector Automata -- Tool Presentations II -- Abstraction and BDDs Complement SAT-Based BMC in DiVer -- TLQSolver: A Temporal Logic Query Checker -- Evidence Explorer: A Tool for Exploring Model-Checking Proofs -- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols -- Infinite State Systems -- Iterating Transducers in the Large -- Algorithmic Improvements in Regular Model Checking -- Efficient Image Computation in Infinite State Model Checking -- Abstraction II -- Thread-Modular Abstraction Refinement -- A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement -- Abstraction for Branching Time Properties -- Applications -- Certifying Optimality of State Estimation Programs -- Domain-Specific Optimization in Automata Learning -- Model Checking Conformance with Scenario-Based Specifications -- Theorem Proving -- Deductive Verification of Advanced Out-of-Order Microprocessors -- Theorem Proving Using Lazy Proof Explication -- Automata-Based Verification -- Enhanced Vacuity Detection in Linear Temporal Logic -- Bridging the Gap between Fair Simulation and Trace Inclusion -- An Improved On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Invariants -- Strengthening Invariants by Symbolic Consistency Testing -- Linear Invariant Generation Using Non-linear Constraint Solving -- Explicit Model Checking -- To Store or Not to Store -- Calculating ?…”
Click to view e-book

Table of Contents: “…Proof-Labeling Schemes: Broadcast, Unicast and in Between -- Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs -- The Dynamics and Stability of Probabilistic Population Processes -- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping -- Self-Tuning Eventually-Consistent Data Stores -- An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks -- An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults -- Fault-Induced Dynamics of Oblivious Robots on a Line -- Relaxed Data Types as Consistency Conditions -- Ant-Inspired Dynamic Task Allocation via Gossiping -- Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited visibility -- Robust Routing Made Easy -- Generalized Paxos Made Byzantine (and Less Complex) -- ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms -- How to Simulate Message-passing Algorithms in mobile agent systems with faults -- A Self-Stabilizing General De Bruijn Graph -- Constant-Time Complete Visibility for Asynchronous Robots with Lights -- On Security Analysis of Proof-of-Elapsed-Time (PoET) -- Brief Announcement: Federated Code Auditing and Delivery for MPC -- Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees -- A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation -- Universally Optimal Gathering under Limited Visibility -- Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights --  Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin -- Scalable Funding of Bitcoin Micropayment Channel Networks -- Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem -- Space-Optimal Proportion Consensus with Population Protocols -- Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion -- Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios -- Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness -- TorBricks: Blocking-Resistant Tor Bridge Distribution -- Cover Time in Edge-Uniform Stochastically-Evolving Graphs -- Bitcoin a Distributed Shared Register -- Broadcast Encryption with Both Temporary and Permanent Revocation -- Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights -- Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. .…”
Click to view e-book

Table of Contents: “…Main Track (Regular Papers) -- A Column Generation Heuristic for the General Vehicle Routing Problem -- A Combination of Evolutionary Algorithm, Mathematical Programming, and a New Local Search Procedure for the Just-In-Time Job-Shop Scheduling Problem -- A Math-Heuristic Algorithm for the DNA Sequencing Problem -- A Randomized Iterated Greedy Algorithm for the Founder Sequence Reconstruction Problem -- Adaptive “Anytime” Two-Phase Local Search -- Adaptive Filter SQP -- Algorithm Selection as a Bandit Problem with Unbounded Losses -- Bandit-Based Estimation of Distribution Algorithms for Noisy Optimization: Rigorous Runtime Analysis -- Consistency Modifications for Automatically Tuned Monte-Carlo Tree Search -- Distance Functions, Clustering Algorithms and Microarray Data Analysis -- Gaussian Process Assisted Particle Swarm Optimization -- Learning of Highly-Filtered Data Manifold Using Spectral Methods -- Multiclass Visual Classifier Based on Bipartite Graph Representation of Decision Tables -- Main Track (Short Papers) -- A Linear Approximation of the Value Function of an Approximate Dynamic Programming Approach for the Ship Scheduling Problem -- A Multilevel Scheme with Adaptive Memory Strategy for Multiway Graph Partitioning -- A Network Approach for Restructuring the Korean Freight Railway Considering Customer Behavior -- A Parallel Multi-Objective Evolutionary Algorithm for Phylogenetic Inference -- Convergence of Probability Collectives with Adaptive Choice of Temperature Parameters -- Generative Topographic Mapping for Dimension Reduction in Engineering Design -- Learning Decision Trees for the Analysis of Optimization Heuristics -- On the Coordination of Multidisciplinary Design Optimization Using Expert Systems -- On the Potentials of Parallelizing Large Neighbourhood Search for Rich Vehicle Routing Problems -- Optimized Ensembles for Clustering Noisy Data -- Stochastic Local Search for the Optimization of Secondary Structure Packing in Proteins -- Systematic Improvement of Monte-Carlo Tree Search with Self-generated Neural-Networks Controllers -- Special Session: LION-SWOP -- Grapheur: A Software Architecture for Reactive and Interactive Optimization -- The EvA2 Optimization Framework -- Special Session: LION-CCEC -- Feature Extraction from Optimization Data via DataModeler’s Ensemble Symbolic Regression -- Special Session: LION-PP -- Understanding TSP Difficulty by Learning from Evolved Instances -- Time-Bounded Sequential Parameter Optimization -- Pitfalls in Instance Generation for Udine Timetabling -- Special Session: LION-MOME -- A Study of the Parallelization of the Multi-Objective Metaheuristic MOEA/D -- An Interactive Evolutionary Multi-objective Optimization Method Based on Polyhedral Cones -- On the Distribution of EMOA Hypervolumes -- Adapting to a Realistic Decision Maker: Experiments towards a Reactive Multi-objective Optimizer.…”
Click to view e-book

Table of Contents: “…-- Application of semantic analysis of Polish speech for purpose of automatic gender identification -- 2 Intelligent Agents and Distributed Activities -- Agent Based Freight Distrbution System -- Improvement of The User Interface for Autonomous Load Distributing Algorithm -- The ROLCoDE framework used in a computational distributed calculation -- Some Tasks of Intelligent Tutoring Systems Design for Civil Aviation Pilots -- Presence Production in a Distributed Shared Virtual Environment for Exploring Mathematics -- Basic workflow model at distributed intelligent production and its verification -- MEME: An Adaptive Email-based Knowledge Sharing System for Educational Institutions -- 3 Distributed Production Networks and Modelling Complex Systems -- Models and Methods of Optimal Planning of Sales Volume for Manufacture With Probability Character of Technological Process -- Approximation-Decomposition Method for Modelling Thermal Systems -- An analysis of performance of CAN (Controller Area Network) Fieldbus -- Effective Methods of Temporal Data Representation in Data Warehouse Systems -- Outsourcing it and Virtualization in E-Business Solutions (Selected Issues) -- Algorithmic Models for Supervectoring Calculation in Solving Base DSP Problems -- 4 Computer Graphics and Pattern Recognition -- Perception-Driven Global Illumination and Rendering Computation -- Real-Time Shadow Casting in Virtual Studio -- JaTrac — an exercise in designing educational raytracer -- A Few Approaches To Face Detection In Face Recognition Systems -- 5 Computer Security and Safety -- Software support for collaborative risk management -- New Experimental Results in Differential — Linear Cryptanalysis of Reduced Variants of DES -- A Complete Logic ofAuthentication -- Generating Bent Functions -- Multilevel Lattice-Based Authorization in Distributed Supervisory and Control Systems -- Specification of timed authentication protocols with colored Petri nets -- A Combinatorial Algorithm for Sharing a Key -- Distributed Password -- 6 Logic Synthesis and Simulation -- Utilizing High-Level Information for Formal Hardware Verification -- Tabular Teclmiques for MVLogic -- A Method of Analysis of Operational Petri Nets -- Method and Validation for VHDL Case Statement Optimization -- Algorithms of Generation Boolean Equations for a Multiplication Operation -- Consideration of Task’s Deadline for Scheduling Method with Used Processors Limitation -- Author Index.…”
Click to view e-book

Table of Contents: “…-- Combined Optimization of Feature Selection and Algorithm Parameters in Machine Learning of Language -- Iteratively Extending Time Horizon Reinforcement Learning -- Volume under the ROC Surface for Multi-class Problems -- Improving the AUC of Probabilistic Estimation Trees -- Scaled CGEM: A Fast Accelerated EM -- Pairwise Preference Learning and Ranking -- A New Way to Introduce Knowledge into Reinforcement Learning -- Improvement of the State Merging Rule on Noisy Data in Probabilistic Grammatical Inference -- COllective INtelligence with Sequences of Actions -- Rademacher Penalization over Decision Tree Prunings -- Learning Rules to Improve a Machine Translation System -- Optimising Performance of Competing Search Engines in Heterogeneous Web Environments -- Robust k-DNF Learning via Inductive Belief Merging -- Logistic Model Trees -- Color Image Segmentation: Kernel Do the Feature Space -- Evaluation of Topographic Clustering and Its Kernelization -- A New Pairwise Ensemble Approach for Text Classification -- Self-evaluated Learning Agent in Multiple State Games -- Classification Approach towards Ranking and Sorting Problems -- Using MDP Characteristics to Guide Exploration in Reinforcement Learning -- Experiments with Cost-Sensitive Feature Evaluation -- A Markov Network Based Factorized Distribution Algorithm for Optimization -- On Boosting Improvement: Error Reduction and Convergence Speed-Up -- Improving SVM Text Classification Performance through Threshold Adjustment -- Backoff Parameter Estimation for the DOP Model -- Improving Numerical Prediction with Qualitative Constraints -- A Generative Model for Semantic Role Labeling -- Optimizing Local Probability Models for Statistical Parsing -- Extended Replicator Dynamics as a Key to Reinforcement Learning in Multi-agent Systems -- Visualizations for Assessing Convergence and Mixing of MCMC -- A Decomposition of Classes via Clustering to Explain and Improve Naive Bayes -- Improving Rocchio with Weakly Supervised Clustering -- A Two-Level Learning Method for Generalized Multi-instance Problems -- Clustering in Knowledge Embedded Space -- Ensembles of Multi-instance Learners.…”
Click to view e-book

Table of Contents: “…The Cray Research MPP Fortran Programming Model -- Resource Optimisation via Structured Parallel Programming -- SYNAPS/3 — An Extension of C for Scientific Computations -- The Pyramid Programming System -- Intelligent Algorithm Decomposition for Parallelism with Alfer -- Symbolic Array Data Flow Analysis and Pattern Recognition in Numerical Codes -- A GUI for Parallel Code Generation -- Formal Techniques Based on Nets, Object Orientation and Reusability for Rapid Prototyping of Complex Systems -- Adaptor — A Transformation Tool for HPF Programs -- A Parallel Framework for Unstructured Grid Solvers -- A Study of Software Development for High Performance Computing -- Parallel Computational Frames: An Approach to Parallel Application Development based on Message Passing Systems -- A Knowledge-Based Scientific Parallel Programming Environment -- Parallel Distributed Algorithm Design Through Specification Transformation: The Asynchronous Vision System -- Steps Towards Reusability and Portability in Parallel Programming -- An Environment for Portable Distributed Memory Parallel Programming -- Reuse, Portability and Parallel Libraries -- Assessing the Usability of Parallel Programming Systems: The Cowichan Problems -- Experimentally Assessing the Usability of Parallel Programming Systems -- Experiences with Parallel Programming Tools -- The MPI Message Passing Interface Standard -- An Efficient Implementation of MPI -- Post: A New Postal Delivery Model -- Asynchronous Backtrackable Communications in the SLOOP Object-Oriented Language -- A Parallel I/O System for High-Performance Distributed Computing -- Language and Compiler Support for Parallel I/O -- Locality in Scheduling Models of Parallel Computation -- A Load Balancing Algorithm for Massively Parallel Systems -- Static Performance Prediction in PCASE: A Programming Environment for Parallel Supercomputers -- A Performance Tool for High-Level Parallel Programming Languages -- Implementation of a Scalable Trace Analysis Tool -- The Design of a Tool for Parallel Program Performance Analysis and Tuning -- The MPP Apprentice Performance Tool: Delivering the Performance of the Cray T3D -- Optimized Record-Replay Mechanism for RPC-based Parallel Programming -- Abstract Debugging of Distributed Applications -- Design of a Parallel Object-Oriented Linear Algebra Library -- A Library for Coarse Grain Macro-Pipelining in Distributed Memory Architectures -- An Improved Massively Parallel Implementation of Colored Petri-Net Specifications -- A Tool for Parallel System Configuration and Program Mapping based on Genetic Algorithms -- Emulating a Paragon XP/S on a Network of Workstations -- Evaluating VLIW-in-the-large -- Implementing a N-Mixed Memory Model on a Distributed Memory System -- Working Group Report: Reducing the Complexity of Parallel Software Development -- Working Group Report: Usability of Parallel Programming System -- Working Group Report: Skeletons/Templates.…”
Click to view e-book

Table of Contents: “…6.5.1 A Construction of Hybrid System -- 6.5.2 An Explicit Lyapunov Function Proof of Convergence -- 6.6 Example -- 6.7 Conclusions -- 7 Distributed Robust Nash Equilibrium Seeking for Aggregative Games Under Persistent Attacks -- 7.1 Introduction -- 7.2 Problem Formulation and Model Description -- 7.2.1 Game Formulation -- 7.2.2 Physical Model Description -- 7.2.3 Networked Attack Descriptions -- 7.3 Distributed Algorithm Design -- 7.4 Stability of the Hybrid Algorithm -- 7.5 Proofs of the Main Theorems -- 7.6 Example -- 7.7 Conclusions and Future Work -- Appendix References…”
Click for online access

Table of Contents: “…Blood leukocyte object detection according to model-parameter transfer and deformable convolution -- Heterogeneous Software Effort Estimation via Cascaded Adversarial Auto-Encoder -- A Novel Distributed Reinforcement Learning Method for Classical Chinese Poetry Generation -- Memory Access Optimization of High-order CFD Stencil Computations on GPU -- The Dataflow Runtime Environment of DFC -- Adaptive Tensor-Train Decomposition for Neural Network Compression -- Development of a UAV path planning approach for multi-building inspection with minimal cost -- Construction of Completely Independent Spanning Tree based on Vertex Degree -- Distributed Algorithm for Truss Maintenance in Dynamic Graphs -- Short-term load forecasting based on CNN-BiLSTM with Bayesian Optimization and Attention Mechanism -- On The Non-ergodic Convergence Rate of The Directed Nonsmooth Composite Optimization -- 6D Pose Estimation Based on the Adaptive Weight of RGB-D Feature -- ^Blockchain-based Secure Outsourcing of Fully Homomorphic Encryption using Hidden Ideal Lattice -- Multiple Projections Learning for Dimensional Reduction -- Preventing DDoS Attacks on Bitcoin Memory Pool by the Dynamic Fee Threshold Mechanism -- The Compiler of DFC: A Source Code Converter that Transform the Dataflow Code to the Multi-threaded C Code -- Online Learning-Based Co-Task Dispatching with Function Configuration in Edge Computing -- System-Level FPGA Routing for Logic Verification with Time-Division Multiplexing -- Protein interresidue contact prediction based on deep learning and massive features from multi-sequence alignment -- See Fine Color from the Rough Black-and-White -- Data Aggregation Aware Routing for Distributed Training -- A New Integer Programming Model for the File Transfer Scheduling Problem -- Approximation Algorithms for the General Clustered Routing Problem -- Maximizing Group Coverage in Social Networks -- ^LightLayers: Parameter Efficient Dense and Convolutional Layers for Image Classification -- The Hybrid Navigation Method in Face of Dynamic Obstacles -- A relaxed balanced lock-free binary search tree -- A Dynamic Parameter Tuning Method for High Performance SpMM.…”
Click for online access

Table of Contents: “…1/e)–Approximation, Fixed Parameter Tractability and a Subexponential Algorithm -- A New Algorithm for Finding Trees with Many Leaves -- Faster Parameterized Algorithms for Minimum Fill-In -- Graph Layout Problems Parameterized by Vertex Cover -- A Linear Kernel for the k-Disjoint Cycle Problem on Planar Graphs -- 4A Distributed Algorithm -- How to Guard a Graph? -- Tree Decontamination with Temporary Immunity -- Reconfiguration of Cube-Style Modular Robots Using O(logn) Parallel Moves -- Squaring the Circle with Weak Mobile Robots -- 4B Database -- Evaluation of General Set Expressions -- Computing with Priced Information: When the Value Makes the Price -- Deductive Inference for the Interiors and Exteriors of Horn Theories -- Leaf Powers and Their Properties: Using the Trees -- 5A Approximation Algorithm II -- Deterministic Sparse Column Based Matrix Reconstruction via Greedy Approximation of SVD -- Minimizing Total Flow-Time: The Unrelated Case -- Approximating the Volume of Unions and Intersections of High-Dimensional Geometric Objects -- Space-Efficient Informational Redundancy -- 5B Computational Biology -- Minkowski Sum Selection and Finding -- Constructing the Simplest Possible Phylogenetic Network from Triplets -- New Results on Optimizing Rooted Triplets Consistency -- A Method to Overcome Computer Word Size Limitation in Bit-Parallel Pattern Matching -- 6A Computational Geometry I -- Inducing Polygons of Line Arrangements -- Free-Form Surface Partition in 3-D -- Approximate Nearest Neighbor Search under Translation Invariant Hausdorff Distance -- Preprocessing Imprecise Points and Splitting Triangulations -- Efficient Output-Sensitive Construction of Reeb Graphs -- 6B Complexity I -- Signature Theory in Holographic Algorithms -- The Complexity of SPP Formula Minimization -- Understanding a Non-trivial Cellular Automaton by Finding Its Simplest Underlying Communication Protocol -- Negation-Limited Inverters of Linear Size -- 3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge -- 7A Computational Geometry II -- A Complete Approximation Algorithm for Shortest Bounded-Curvature Paths -- Detecting Commuting Patterns by Clustering Subtrajectories -- On the Stretch Factor of Convex Delaunay Graphs -- Covering a Simple Polygon by Monotone Directions -- 7B Network -- On the Stability of Web Crawling and Web Search -- Average Update Times for Fully-Dynamic All-Pairs Shortest Paths -- Computing Frequency Dominators and Related Problems -- Computing Best Swaps in Optimal Tree Spanners -- 8A Optimization -- Covering a Point Set by Two Disjoint Rectangles -- Computing the Maximum Detour of a Plane Graph in Subquadratic Time -- Finding Long Paths, Cycles and Circuits -- Computing Best and Worst Shortcuts of Graphs Embedded in Metric Spaces -- 8B Routing -- On Labeled Traveling Salesman Problems -- Navigating in a Graph by Aid of Its Spanning Tree -- Single Vehicle Scheduling Problems on Path/Tree/Cycle Networks with Release and Handling Times -- Bidirectional Core-Based Routing in Dynamic Time-Dependent Road Networks -- 9A Graph Algorithm II -- Bandwidth of Bipartite Permutation Graphs -- König Deletion Sets and Vertex Covers above the Matching Size -- Independent Sets of Maximum Weight in Apple-Free Graphs -- Enumeration of Perfect Sequences of Chordal Graph -- From Tree-Width to Clique-Width: Excluding a Unit Interval Graph -- 9B Complexity II -- New Results on the Most Significant Bit of Integer Multiplication -- Sorting with Complete Networks of Stacks -- Quantum Query Complexity of Boolean Functions with Small On-Sets -- Unbounded-Error Quantum Query Complexity -- Super-Exponential Size Advantage of Quantum Finite Automata with Mixed States.…”
Click to view e-book

Table of Contents: “…Chapter 22 -- Description and Consistency Checking of Distributed Algorithms in UML Models using Composite Structure and State Machine Diagrams. …”
Click for online access

Click for online access

Table of Contents: “…Quality of Future Internet Services -- Performance Analysis of Peer-to-Peer Networks for File Distribution -- MULTI+: Building Topology-Aware Overlay Multicast Trees -- Predicting the Perceptual Service Quality Using a Trace of VoIP Packets -- Evaluating the Utility of Media–Dependent FEC in VoIP Flows -- Architecture of End-to-End QoS for VoIP Call Processing in the MPLS Network -- Analysis of the Distribution of the Backoff Delay in 802.11 DCF: A Step Towards End-to-End Delay Guarantees in WLANs -- Analysis of the IEEE 802.11 DCF with Service Differentiation Support in Non-saturation Conditions -- An Interaction Model and Routing Scheme for QoS Support in Ad Hoc Networks Connected to Fixed Networks -- Load Analysis of Topology-Unaware TDMA MAC Policies for Ad Hoc Networks -- Performance of TCP/IP with MEDF Scheduling -- Ping Trunking: A Vegas-Like Congestion Control Mechanism for Aggregated Traffic -- An Aggregate Flow Marker for Improving TCP Fairness in Multiple Domain DiffServ Networks -- Combined Use of Prioritized AIMD and Flow-Based Traffic Splitting for Robust TCP Load Balancing -- Online Traffic Engineering: A Hybrid IGP+MPLS Routing Approach -- A Fast Heuristic for Genetic Algorithms in Link Weight Optimization -- A New Prediction-Based Routing and Wavelength Assignment Mechanism for Optical Transport Networks -- On the Construction of QoS Enabled Overlay Networks -- MPLS Protection Switching Versus OSPF Rerouting -- A Distributed-Request-Based DiffServ CAC for Seamless Fast-Handoff in Mobile Internet -- Cross-Layer Analytical Modeling of Wireless Channels for Accurate Performance Evaluation -- Efficiency Issues in MPLS Transport for the UMTS Access Network -- QoS Constraints in Bluetooth-Based Wireless Sensor Networks -- Quality of Service Routing -- A Distributed Algorithm to Provide QoS by Avoiding Cycles in Routes -- The Case for Source Address Dependent Routing in Multihoming -- QoS Routing in DWDM Optical Packet Networks -- A Proposal for Inter-domain QoS Routing Based on Distributed Overlay Entities and QBGP -- Policy-Aware Connectionless Routing -- Maximum Flow Routing with Weighted Max-Min Fairness -- Survivable Online Routing for MPLS Traffic Engineering -- Smart Routing with Learning-Based QoS-Aware Meta-strategies -- Internet Charging and QoS Technology -- An Efficient Auction Mechanism for Hierarchically Structured Bandwidth Markets -- Multi-bid Versus Progressive Second Price Auctions in a Stochastic Environment -- Distributed Multi-link Auctions for Network Resource Reservation and Pricing -- A Game-Theoretic Analysis of TCP Vegas -- BarterRoam: A Novel Mobile and Wireless Roaming Settlement Model -- Charging for Web Content Pre-fetching in 3G Networks -- Provider-Level Service Agreements for Inter-domain QoS Delivery -- Operations Support System for End-to-End QoS Reporting and SLA Violation Monitoring in Mobile Services Environment.…”
Click to view e-book

Table of Contents: “…Invited Talks -- Visual Data Mining for Business Intelligence Applications -- Parallel Data Mining on Large Scale PC Cluster -- XML: DTD and Queries -- XML Query Languages in Practice: An Evaluation -- A Two-Level Method for Clustering DTDs1 -- XML Queries via SQL -- Inferring DTD to Facilitate User-Oriented XML Documents Query -- O-O: Modeling and Implementation -- An Object Oriented Multidimensional Data Model for OLAP -- Applying Object-Oriented Conceptual Modeling Techniques to the Design of Multidimensional Databases and OLAP Applications -- An Optimal Locking Scheme in Object-Oriented Database Systems -- Association Rules: Mining and Application -- An Efficient Distributed Algorithm for Computing Association Rules -- Mining Association Rules with Negative Items Using Interest Measure -- Probabilistic Approach to Association Rules in Incomplete Databases -- Discovering Sequential Patterns from Non-uniform Databases -- An Effective Approach to Mining Exception Class Association Rules1 -- Enterprise Information Systems and E-Commerce -- Integrated Data Management and Enterprise Models -- A Virtual Private Network for Virtual Enterprise Information Systems -- Adaptive Online Retail Web Site Based on Hidden Markov Model -- A Protocol for Untraceable Electronic Cash -- The Web: Document Management and Retrieval -- Materializing Web Data for OLAP and DSS -- Hierarchically Classifying Chinese Web Documents without Dictionary Support and Segmentation Procedure1 -- Web Clustering and Association Rule Discovery for Web Broadcast -- A Non-Euclidean Model for Web Retrieval -- Advanced Replacement Policies for WWW Caching -- Spatial and Temporal Databases -- Extending Rectangle Join Algorithms for Rectilinear Polygons -- HMT: Modeling Temporal Aspects in Hypermedia Applications -- Hana Tree: A Dynamic and Robust Access Method for Spatial Data Handling -- MADGIS: A New Architecture for Distributed GIS under Internet Environment -- Data Warehousing -- Global View Maintenance by Using Inference Relationship among Views -- Maintaining Materialized Views for Data Warehouses with Multiple Remote Sources -- Using Loglinear Models to Compress Datacubes -- Materialized View Selection in a Data Warehouse -- Information Retrieval -- ExSight: Highly Accurate Object Based Image Retrieval System Enhanced by Redundant Object Extraction -- Applying Anaphora Resolution to Question Answering and Information Retrieval Systems -- MB+tree: A Dynamically Updatable Metric Index for Similarity Search -- An Information Store and Retrieval Facility on CORBA -- Retrieving Content Directly from Antique Book Images -- Semi-Structured Data -- Schema Based Data Storage and Query Optimization for Semi-structured Data1 -- Automatic Wrapper Generation for Web Search Engines -- Multi-level Schema Extraction for Heterogeneous Semi-structured Data -- Agent, Rough Set and Learning -- Rough Set Based WebCT Learning -- MultiAgent Systems for Coalition Support -- A Fast Globally Supervised Learning Algorithm for Gaussian Mixture Models -- Optimizing Classifiers by Genetic Algorithm.…”
Click to view e-book

Table of Contents: “…Theory -- Set operator decomposition and conditionally translation invariant elementary operators -- Mutational equations of morphological dilation tubes -- Thresholdings, umbrae, residuals, and surpluses of l-images -- Filtering -- Adaptive parameterized openings -- Synthesis of adaptive weighted order statistic filters with gradient algorithms -- A spatially variant, locally adaptive, background normalization operator -- Using genetic algorithms in the design of morphological filters -- Minimal generator basis of a finite structural opening -- Segmentation -- Watershed, hierarchical segmentation and waterfall algorithm -- Minimum spanning forests for morphological segmentation -- The flat zone approach and color images -- Joint region and motion estimation with morphological tools -- Morphological segmentation of image sequences -- Sampling -- Critical morphological sampling and applications to image coding -- A sampling approach based on equicontinuity -- Coding -- Application of morphological filters for contour image sequence coding -- The geodesic morphological skeleton and fast transformation algorithms -- Multi—parameter skeleton decomposition -- Representations and slope transform -- Morphological systems theory: slope transforms, Max—Min differential equations, envelope filters, and sampling -- Two dual representations of morphology based on the parallel normal transport property -- Dominance and incidence structures with applications to stochastic geometry and mathematical morphology -- Granulometries and shape description -- The multiscale morphology decomposition theorem -- Statistical pattern spectrum for binary pattern recognition -- Generalized geodesic distances applied to interpolation and shape description -- Random models and tessellations -- Performance analysis of a morphological Voronoï tessellation algorithm -- Optimization in Voronoï diagrams -- A stochastic tessellation of digital space -- Liquid phase sintered materials modelling by random closed sets -- Monte-Carlo estimation of morphological granulometric discrete size distributions -- Algorithmic techniques -- On the implementation of morphological operations -- An evaluation of priority queues for mathematical morphology -- One pixel thick skeletons -- Fast grayscale granulometry algorithms -- An efficient implementation technique of adaptive morphological operations -- Implementation of a distributed watershed algorithm -- Visualization of Minkowski operations by computer graphics techniques -- Morphogenesis simulations with lattice gas -- Biological applications -- Single object geometry — the stereology of registered serial sections -- Texture classification using neural networks and local granulometries -- Fusion of MR and CT images of the human brain using multiresolution morphology -- Morphological scheme for morphometric analysis of epidermal biopsy images -- Automatic quantification of spine parameters from X—ray images by means of morphological tools -- Industrial and remote sensing applications -- Image Processing: a key to success in industrial applications -- Radar images analysis using morphological filters -- Application of morphological operators to supervised multidimensional data classification -- Appendix A -- The “Centre de Morphologie Mathémathique”: an overview -- Appendix B -- List of posters contributions presented at ISMM’94 -- Author Index.…”
Click to view e-book

Table of Contents: “…Localization and Mobility Management -- Markov Localization of Wireless Local Area Network Clients -- A Topology Based Localization in Ad Hoc Mobile Sensor Networks -- Grcmob: A Group Mobility Pattern Generator to Evaluate Mobile Ad Hoc Networks Performance -- Activity-Based User Modeling in Service-Oriented Ad-Hoc-Networks -- MAC and Radio Resource Management -- Media Access Control Schemes for Mobile Ad Hoc Networks -- Throughput Evaluation and Enhancement of TCP Clients in Wi-Fi Hot Spots -- An Adaptive IEEE 802.11 MAC in Multihop Wireless Ad Hoc Networks Considering Large Interference Range -- A Distributed Algorithm for Bandwidth Allocation in Stable Ad Hoc Networks -- Bluetooth Scatternets -- Locally Optimal Scatternet Topologies for Bluetooth Ad Hoc Networks -- An On-Demand Bluetooth Scatternet Formation Algorithm -- Ad Hoc Routing I -- GPS-Based Route Discovery Algorithms for On-Demand Routing Protocols in MANETs -- Dynamic AODV Backup Routing in Dense Mobile Ad-Hoc Networks -- Multipath Power Sensitive Routing Protocol for Mobile Ad Hoc Networks -- Security, Applications, and Service Support -- Dependable and Secure Data Storage in Wireless Ad Hoc Networks: An Assessment of DS2 -- A Comparative Analysis on Performance of Mobile IP with Paging Support -- Preventive and Corrective Protection for Mobile Ad Hoc Network Routing Protocols -- Dynamic Service Adaptation for Runtime System Extensions -- Ad Hoc Routing II -- Flood Filtering and Route Selection for Energy-Efficient On-Demand Routing in Wireless Ad Hoc Networks -- High Throughput Route Selection in Multi-rate Ad Hoc Wireless Networks -- A Three-Tier Framework Supporting Soft QoS Routing in MANET -- MAC Analytical Models -- Achieving Maximum Throughput and Service Differentiation by Enhancing the IEEE 802.11 MAC Protocol -- Throughput of the Multi-hop Slotted Aloha with Multi-packet Reception -- On Demand Internet Access -- WIDE: Wireless Information Delivery Environment in Distributed Hot Spots -- Smart Wireless Access Points for Pervasive Computing -- NAT-Based Internet Connectivity for On-Demand Ad Hoc Networks -- Poster Session -- Efficient Management of Domain Foreign Agents in Mobile Computing Environment Using Load Balance -- Node Synchronization Based Redundant Routing for Mobile Ad-Hoc Networks -- A New Backoff Algorithm to Guarantee Quality of Service over IEEE 802.11 Wireless Local Area Networks -- A Light Protocol for Distance Estimation in Bluetooth Mobile Ad-Hoc Networks -- Access Router Discovery and Selection in Advanced Wireless Networks -- Enhancing HIPERLAN/2 Security Aspects -- Analytical Modeling of a Traffic Differentiation Strategy for 802.11.…”
Click to view e-book

Table of Contents: “…Probabilistic Models and Estimation -- A Double-Loop Algorithm to Minimize the Bethe Free Energy -- A Variational Approach to Maximum a Posteriori Estimation for Image Denoising -- Maximum Likelihood Estimation of the Template of a Rigid Moving Object -- Metric Similarities Learning through Examples: An Application to Shape Retrieval -- A Fast MAP Algorithm for 3D Ultrasound -- Designing the Minimal Structure of Hidden Markov Model by Bisimulation -- Relaxing Symmetric Multiple Windows Stereo Using Markov Random Fields -- Matching Images to Models — Camera Calibration for 3-D Surface Reconstruction -- A Hierarchical Markov Random Field Model for Figure-Ground Segregation -- Articulated Object Tracking via a Genetic Algorithm -- Image Modelling and Synthesis -- Learning Matrix Space Image Representations -- Supervised Texture Segmentation by Maximising Conditional Likelihood -- Designing Moiré Patterns -- Optimization of Paintbrush Rendering of Images by Dynamic MCMC Methods -- Illumination Invariant Recognition of Color Texture Using Correlation and Covariance Functions -- Clustering, Grouping, and Segmentation -- Path Based Pairwise Data Clustering with Application to Texture Segmentation -- A Maximum Likelihood Framework for Grouping and Segmentation -- Image Labeling and Grouping by Minimizing Linear Functionals over Cones -- Grouping with Directed Relationships -- Segmentations of Spatio-Temporal Images by Spatio-Temporal Markov Random Field Model -- Highlight and Shading Invariant Color Image Segmentation Using Simulated Annealing -- Edge Based Probabilistic Relaxation for Sub-pixel Contour Extraction -- Two Variational Models for Multispectral Image Classification -- Optimization and Graphs -- An Experimental Comparison of Min-cut/Max-flow Algorithms for Energy Minimization in Vision -- A Discrete/Continuous Minimization Method in Interferometric Image Processing -- Global Energy Minimization: A Transformation Approach -- Global Feedforward Neural Network Learning for Classification and Regression -- Matching Free Trees, Maximal Cliques, and Monotone Game Dynamics -- Efficiently Computing Weighted Tree Edit Distance Using Relaxation Labeling -- Estimation of Distribution Algorithms: A New Evolutionary Computation Approach for Graph Matching Problems -- A Complementary Pivoting Approach to Graph Matching -- Application of Genetic Algorithms to 3-D Shape Reconstruction in an Active Stereo Vision System -- Shapes, Curves, Surfaces, and Templates -- A Markov Process Using Curvature for Filtering Curve Images -- Geodesic Interpolating Splines -- Averaged Template Matching Equations -- A Continuous Shape Descriptor by Orientation Diffusion -- Multiple Contour Finding and Perceptual Grouping as a Set of Energy Minimizing Paths -- Shape Tracking Using Centroid-Based Methods -- Optical Flow and Image Registration: A New Local Rigidity Approach for Global Minimization -- Spherical Object Reconstruction Using Star-Shaped Simplex Meshes -- Gabor Feature Space Diffusion via the Minimal Weighted Area Method -- 3D Flux Maximizing Flows.…”
Click to view e-book

Table of Contents: “…7.1 Introduction -- 7.2 Node Location Problems -- 7.3 Full Topology Design Problems -- 7.4 Multilayer Network Design -- 7.5 Notes and Sources -- 7.6 Exercises -- References -- Part Two: Algorithms -- Chapter 8: Gradient Algorithms in Network Design -- 8.1 Introduction -- 8.2 Convergence Rates -- 8.3 Projected Gradient Methods -- 8.4 Asynchronous and Distributed Algorithm Implementations -- 8.5 Non-Smooth Functions -- 8.6 Stochastic Gradient Methods -- 8.7 Stopping Criteria -- 8.8 Algorithm Design Hints -- 8.9 Notes and Sources -- 8.10 Exercises -- References…”
Click for online access

Table of Contents: “…-- Rewriting: An effective model of concurrency -- Mercury: Object-affinity scheduling and continuation passing on multiprocessors -- Dynamic allocation of communication bandwidth in multicomputers -- Load balanced priority queues on distributed memory machines -- Parallel computations with algebraic numbers a case study: Jordan normal form of matrices -- Batch dynamic algorithms for two graph problems -- A general method for maximizing the error-detecting ability of distributed algorithms -- MAGE: A Massively Agent Execution System for logic programming -- Checking the serial correctness of control-parallel programs -- NXLib — A parallel programming environment for workstation clusters -- Applying human factors techniques to the design of a tool for parallel program performance analysis and tuning -- An Actor based programming system for heterogeneous processing -- Introducing fairness in CSP systems specified with state variables -- A dataflow-based massively parallel programming language and its implementation -- Using subpages for coherency control in parallel database systems -- A new multi-dimensional interconnection network for SIMD architectures -- A scalable bit-sequential SIMD architecture for pattern recognition -- An iterative array processor architecture for matrix computation -- Datarol-II: A fine-grain massively parallel architecture -- From BSP to a virtual von Neumann machine -- Data parallel relational database processing on the connection machine CM-2 with DataVault -- Staggered scheme: A loop allocation policy -- Using parallel simulated annealing in the mapping problem -- A new parallel MIMD Connected Component Labeling algorithm -- Using reference counters in update based coherent memory -- Compositional reasoning about real-time distributed systems with limited resources -- Dynamic load balancing on a virtually-shared memory parallel computer system -- Analysing the load balancing scheme of a parallel system on multiprocessors — A modeling approach — -- Performance of interconnection network in multithreaded architectures -- Scheduling algorithms performance with the pSystem parallel programming environment -- A new routing scheme for concatenating two omega networks.…”
Click to view e-book

Click for online access

Click for online access

Table of Contents: “…4-geometry Plane -- Computational Biology -- Approximation and Exact Algorithms for RNA Secondary Structure Prediction and Recognition of Stochastic Context-Free Languages -- On the Multiple Gene Duplication Problem -- Geometry III -- Visibility Queries in Simple Polygons and Applications -- Quadtree Decomposition, Steiner Triangulation, and Ray Shooting -- Optimality and Integer Programming Formulations of Triangulations in General Dimension -- Approximation Algorithm -- Space-Efficient Approximation Algorithms for MAXCUT and COLORING Semidefinite Programs -- A Capacitated Vehicle Routing Problem on a Tree -- Approximation Algorithms for Some Optimum Communication Spanning Tree Problems -- Complexity III -- The Edge-Disjoint Paths Problem is NP-Complete for Partial k-Trees -- Inapproximability Results for Guarding Polygons without Holes -- The Inapproximability of Non NP-hard Optimization Problems -- Parallel and Distributed Algorithm -- An Efficient NC Algorithm for a Sparse k-Edge-Connectivity Certificate -- A Parallel Algorithm for Sampling Matchings from an Almost Uniform Distribution -- Optimal Approximate Agreement with Omission Faults.…”
Click to view e-book

Table of Contents: “…1: Keynote Papers -- The NIST Design Repository Project -- Evolving Connectionist and Fuzzy-Connectionist Systems for On-line Adaptive Decision Making and Control -- Recent New Development in Evolutionary Programming -- Emotional Image Retrieval with Interactive Evolutionary Computation -- 2: Design Support Systems -- Using Genetic Algorithms to Encourage Engineering Design Creativity -- Abduction Problem in Probabilistic Constraint Logic Programming -- Aspects of Evolutionary Design by Computers -- Surface Optimisation within the CAD/CAM Environment using Genetic Algorithms -- 3: Intelligent Control -- Adaptive Sugeno Fuzzy Control: A Case Study -- An Experimental and Comparative Study of Fuzzy PID Control Structures -- An Accurate COG Defuzzifier Design Using the Coadaptation of Learning and Evolution -- A Multiagent Intelligent Control System for Glass Industry -- Predictive Control Using Fuzzy Models -- Evolutionary Design of a Helicopter Autopilot -- Decomposition of a Fuzzy Controller Based on Inference Break-up Method -- 4: Identification and Modelling -- Experimental Evaluation of Intelligent Identification Algorithms Applied to a Wind Tunnel Process -- Improvement of Membership Function Identification Method in Usability and Precision -- General Parameter Radial Basis Function Neural Network Based Adaptive Fuzzy Systems -- Uneven Division of Input Spaces for Hierarchical Fuzzy Modeling -- Ensembles of Evolutionary created Artificial Neural Networks and Nearest Neighbour Classifiers -- 5: Data Mining -- Application of Multi-dimensional Fuzzy Analysis to Decision Making -- Information-Theoretic Fuzzy Approach to Knowledge Discovery in Databases -- Intelligent Electronic Catalogs for Sales Support — Introducing Case-Based Reasoning Techniques to on-line Product Selection Applications -- A Genetic Algorithm for Generalized Rule Induction -- 6: Optimisation -- Multiobjective Optimization by Nessy Algorithm -- The Scout Algorithm applied to the Maximum Clique Problem -- Unconstrained Optimization Using Genetic Box Search -- Improvement of Simple Genetic Algorithm for Solving the Uncapacitated Warehouse Location Problem -- Optimizing Neural Networks for Time Series Prediction -- 7: Optimisation for Industrial Applications -- Maximum Entropy Image Restoration by Evolutionary Algorithm -- The Finite Element Method and Soft Computing -- A Tabu Search Approach for the Tool Assignment and Machine Loading Problem in Flexible Manufacturing Systems -- Investigating Evolutionary Optimisation of Constrained Functions to Capture Shape Descriptions from Range Data -- Optimal Selection of Pressure Vessels -- 8: New Topics in EA Basics -- Simulation of Baldwin Effect and Dawkins Memes by Genetic Algorithm -- Approach to Structure Synthesis by Genetic Algorithms -- A Study of Altruism by Genetic Algorithm -- The Bivariate Marginal Distribution Algorithm -- 9: New Frontier for Soft Computing -- Granular Computing using Neighborhood Systems -- Toward Fuzziness in Natural Language Processing -- A New Approach to Acquisition of Comprehensible Fuzzy Rules -- Zero-Point Probability for Linear Source Separation -- Code Optimization for DNA Computing of Maximal Cliques -- 10: Summary of Tutorials -- On Line Tutorials on Evolutionary Computing -- Fuzzy Control Tutorial -- 11: Summary of Discussion -- 11: Summary of Discussion -- Keyword Index -- List of Reviewers.…”
Click to view e-book

Table of Contents: “…to Distributed Systems -- Distributed Systems versus Parallel Systems -- Partial Orders -- Notation -- Overview of the book -- Exercises -- Bibliographic Remarks -- 1 Time -- 1.1 Introduction -- 1.2 Model of a distributed system -- 1.3 Logical Clocks -- 1.4 Vector Clocks -- 1.5 Direct Dependency Clocks -- 1.6 Higher Dimensional Clocks -- 1.7 Exercises -- 1.8 Bibliographic Remarks -- 2 Mutual Exclusion -- 2.1 Introduction -- 2.2 Problem -- 2.3 Lamport’s Algorithm -- 2.4 Ricart and Agrawala’s Algorithm -- 2.5 Centralized Algorithm -- 2.6 Dijkstra’s Self-stabilizing Algorithm -- 2.7 Exercises -- 2.8 Bibliographic Remarks -- 3 Global State -- 3.1 Introduction -- 3.2 Consistent Cuts -- 3.3 Global Snapshots of Processes -- 3.4 Global Snapshots of Processes and Channels -- 3.5 Global Snapshots for non-FIFO channels -- 3.6 Applications of Global Snapshot Algorithms -- 3.7 Exercises -- 3.8 Bibliographic Remarks -- 4 Possible Global Predicates -- 4.1 Introduction -- 4.2 Possibility of a Global Predicate -- 4.3 NP-Completeness of Global Predicate Detection -- 4.4 Linear Predicates -- 4.5 Semi-Linear Predicates -- 4.6 Exercises -- 4.7 Bibliographic Remarks -- 5 Conjunctive Possible Global Predicates -- 5.1 Introduction -- 5.2 Weak Conjunctive Predicates -- 5.3 A Vector Clock based Centralized Algorithm for WCP -- 5.4 A Direct Dependence based Centralized Algorithm for WCP -- 5.5 A Vector Clock based Distributed Algorithm for WCP -- 5.6 A Centralized Algorithm for Generalized Conjunctive Predicates -- 5.7 A Vector Clock based Distributed GCP Detection Algorithm -- 5.8 Exercises -- 5.9 Bibliographic Remarks -- 6 Relational Possible Global Predicates -- 6.1 Introduction -- 6.2 Relational Predicate with Two Integer Variables -- 6.3 Relational predicates with N Boolean Variables -- 6.4 Bounded Sum Predicates -- 6.5 Exercises -- 6.6 Bibliographic Remarks -- 7 Inevitable Global Predicates -- 7.1 Introduction -- 7.2 Global Sequence -- 7.3 Logic for Global Predicates -- 7.4 Strong Conjunctive Predicates -- 7.5 Algorithms for Detecting SCP -- 7.6 Exercises -- 7.7 Bibliographic Remarks -- 8 Control Flow Predicates -- 8.1 Introduction -- 8.2 LRDAG Logic -- 8.3 Examples -- 8.4 Decentralized Detection Algorithm -- 8.5 Exercises -- 8.6 Bibliographic Remarks -- 9 Order -- 9.1 Introduction -- 9.2 Relationship among Message Orderings -- 9.3 FIFO Ordering of Messages -- 9.4 Causal Ordering Of Messages -- 9.5 Synchronous Ordering of Messages -- 9.6 Exercises -- 9.7 Bibliographic Remarks -- 10 Computation -- 10.1 Introduction -- 10.2 Global Functions -- 10.3 Repeated Computation -- 10.4 Exercises -- 10.5 Bibliographic Remarks -- References.…”
Click to view e-book

Table of Contents: “…The First Section: Advanced Evolutionary Computing Theory and Algorithms -- Co-Evolutionary Cultural Based Particle Swarm Optimization Algorithm -- Non-cooperative Game Model Based Bandwidth Scheduling and the Optimization of Quantum-Inspired Weight Adaptive PSO in a Networked Learning Control System -- Modified Bacterial Foraging Optimizer for Liquidity Risk Portfolio Optimization -- A Combined System for Power Quality Improvement in Grid-Parallel Microgrid -- A Distance Sorting Based Multi-Objective Particle Swarm Optimizer and Its Applications -- A Discrete Harmony Search Algorithm -- CFBB PID Controller Tuning with Probability based Binary Particle Swarm Optimization Algorithm -- A Novel Cultural Algorithm and Its Application to the Constrained Optimization in Ammonia Synthesis -- Pareto Ant Colony Algorithm for Building Life Cycle Energy Consumption Optimization -- Particle Swarm Optimization Based Clustering: A Comparison of Different Cluster Validity Indices -- A Frequency Domain Approach to PID Controllers Design in Boiler-Turbine Units -- An Estimation of Distribution Algorithm Based on Clayton Copula and Empirical Margins -- Clonal Selection Classification Algorithm for High-Dimensional Data -- The Second Section: Advanced Neural Network Theory and Algorithms -- A General Framework for High-Dimensional Data Reduction Using Unsupervised Bayesian Model -- The Model Following Neural Control Applied to Energy-Saving BLDC Air Conditioner System -- Develop of Specific Sewage Pretreatment and Network Monitoring System -- Application of Radial Basis Function Neural Network in Modeling Wastewater Sludge Recycle System -- Improved Stability Criteria for Delayed Neural Networks -- Aplication of the Single Neuron PID Controller on the Simulated Chassis Dynamometer -- Research on the Neural Network Information Fusion Technology for Distinguishing Chemical Agents -- The Third Section: Innovative Education in Systems Modeling and Simulation -- Simulating Energy Requirements for an MDF Production Plant -- Three-Dimensional Mesh Generation for Human Heart Model -- Interactive Identification Method for Box-Jenkins Models -- Research on Nano-repositioning of Atomic Force Microscopy Based on Nano-manipulation -- Research on Expression Method of a Unified Constraint Multi-domain Model for Complex Products -- The Fourth Section: Intelligent Methods in Developing Vehicles, Engines and Equipments -- An Automatic Collision Avoidance Strategy for Unmanned Surface Vehicles -- Research on Fire-Engine Pressure Balance Control System Based Upon Neural Networks -- The Summary of Reconstruction Method for Energy Conservation and Emission Reduction of Furnace -- Osmotic Energy Conversion Techniques from Seawater -- The Fifth Section: Fuzzy, Neural, and Fuzzy-Neuro Hybrids -- Vibration Monitoring of Auxiliaries in Power Plants Based on AR (P) Model Using Wireless Sensor Networks -- Performance Prediction for a Centrifugal Pump with Splitter Blades Based on BP Artificial Neural Network -- Short-Term Traffic Flow Prediction Based on Interval Type-2 Fuzzy Neural Networks -- Neural Network and Sliding Mode Control Combining Based Reconfigurable Control -- Study on Membrane Protein Interaction Networks by Constructing Gene Regulatory Network Model.…”
Click to view e-book

Table of Contents: “…3.5 Greedy Randomized Adaptive Search Procedure (GRASP) -- 3.6 Set-Partitioning Problem (SPP) -- 3.7 G-DE-SPP Method -- 4 Experiments, Analysis and Results -- 5 Conclusion and Future Works -- References -- An Evolutionary Algorithm for Learning Interpretable Ensembles of Classifiers -- 1 Introduction -- 2 The Proposed Estimation of Distribution Algorithm (EDA) for Evolving Ensembles -- 2.1 Individuals (Candidate Solutions) -- 2.2 Fitness Evaluation -- 2.3 PBIL's Probabilistic Graphical Model -- 2.4 Early Stop and Termination -- 2.5 Complexity Analysis -- 3 Experimental Setup…”
Click for online access

Table of Contents: “…Emerging technologies for Knowledge science, engineering and management -- Federated Prompting and Chain-of-Thought Reasoning for Improving LLMs Answering -- Advancing Domain Adaptation of BERT by Learning Domain Term Semantics -- Deep Reinforcement Learning for Group-Aware Robot Navigation in Crowds -- An Enhanced Distributed Algorithm for Area Skyline Computation based on Apache Spark -- TCMCoRep: Traditional Chinese Medicine data mining with Contrastive Graph Representation Learning -- Local-Global Fusion Augmented Graph Contrastive Learning Based on Generative Models -- PRACM: Predictive Rewards for Actor-Critic with Mixing Function in Multi-Agent Reinforcement Learning -- A Cybersecurity Knowledge Graph Completion Method for Scalable Scenarios -- Research on remote sensing image classification based on Transfer learning and Data Augmentation -- Multivariate Long-Term Traffic Forecasting with Graph Convolutional Network and Historical Attention Mechanism -- Multi-hop Reading Comprehension Learning Method Based on Answer Contrastive Learning -- Importance-based Neuron Selective Distillation for Interference Mitigation in Multilingual Neural Machine Translation -- Are GPT Embeddings Useful for Ads and Recommendation? …”
Click for online access

Table of Contents: “…Mendoza-Granada and M. Villagra, A Distributed Algorithm for Spectral Sparsication of Graphs with Applications to Data Clustering.…”
Click for online access

Click to view e-book

Table of Contents: “…-- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel P2P Based e-Learning Environment -- Heuristic-Based Scheduling to Maximize Throughput of Data-Intensive Grid Applications -- Failure Recovery in Grid Database Systems -- On Design of Cluster and Grid Computing Environment Toolkit for Bioinformatics Applications -- Study of Scheduling Strategies in a Dynamic Data Grid Environment -- Virtual Molecular Computing – Emulating DNA Molecules -- Session II A: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors with Minimum Disclosure -- Lean-DFS: A Distributed Filesystem for Resource Starved Clients -- Session II B: Wireless Networks -- A Fair Medium Access Protocol Using Adaptive Flow-Rate Control Through Cooperative Negotiation Among Contending Flows in Ad Hoc Wireless Network with Directional Antenna -- Analytical-Numerical Study of Mobile IPv6 and Hierarchical Mobile IPv6 -- An Adaptive Transmission Power Control Protocol for Mobile Ad Hoc Networks -- A Macro-Mobility Scheme for Reduction in Handover Delay and Signaling Traffic in MIPv6 -- QoS Support in TLMM: Three Level Mobility Model for IP-Based Networks -- Path Stability Based Adaptation of MANET Routing Protocols -- A. …”
Click to view e-book

Table of Contents: “…Fog Computing: Concepts & Recent Advances -- 1.1 Introduction -- 1.2 Fog Computing Architectures -- 1.2.1 Hierarchical Architecture Model -- 1.2.2 Layered Architecture Model -- 1.3 Computation Offloading in Fog Computing Architectures -- 1.4 Key Technologies for Future Fog Computing Architectures -- 1.4.1 Communication and Networking Technologies -- 1.4.2 Virtualization Technologies -- 1.4.3 Storage Technologies -- 1.4.4 Privacy and Data Security Technologies -- 1.5 Conclusions -- 2 Applications of Fog Computing -- 2.1 Introduction -- 2.2 Typical Applications of Fog Computing -- 2.2.1 Healthcare -- 2.2.2 Smart Cities -- 2.2.3 Smart Grid -- 2.2.4 Industrial Robotics and Automation in Smart Factories -- 2.2.5 Agriculture -- 2.2.6 Logistics and Supply Chains -- 2.3 Summary and Conclusions -- -- 3 Cooperation for Distributed Task Offloading in Fog Computing Networks -- 3.1 Introduction -- 3.2 System Model -- 3.2.1 Fog Computing Networks -- 3.2.2 Computation Tasks -- 3.2.3 Computation Offloading Model -- 3.3 Cooperation-based Task Offloading Models -- 3.4 Open Research Issues -- 3.4.1 Data Fragmentation -- 3.4.2 Distribution of Fog Networks -- 3.4.3 Advances of Distributed Algorithms -- 3.4.4 Comprehensive Performance Analysis -- 3.5 Conclusions -- -- 4 Fog Resource Aware Framework for Adaptive Task Offloading in Fog-based IoT Systems -- 4.1 Introduction -- 4.2 Related Works -- 4.3 System Model and Problem Formulation -- 4.3.1 System Model -- 4.3.2 Problem Formulation 4.4 FRATO: Fog Resource Aware Task Offloading Framework -- 4.4.1 Offloading Strategies for Minimizing Service Provisioning Delay -- 4.4.2 Mathematical Formulation of FRATO -- 4.4.3 Solution Deployment Analysis -- 4.5 Distributed Resource Allocation in Fog -- 4.5.1 Task Priority-based Resource Allocation -- 4.5.2 Maximal Resource Utilization based Allocation -- 4.6 Simulation and Performance Evaluation -- 4.6.1 Simulation Environment Setup -- 4.6.2 Comparative Approaches -- 4.6.3 Evaluation and Analysis -- 4.6.4 Further Analysis of Computation Time and Complexity -- 4.7 Conclusions -- 4.8 Future Works -- 4.8.1 Data Fragmentation -- 4.8.2 Distribution of Fog Networks -- 4.8.3 Advance of Optimization Algorithms -- 4.8.4 Comprehensive Performance Analysis -- -- 5 Dynamic Collaborative Task Offloading in Fog computing Systems -- 5.1 Introduction -- 5.2 Related Works -- 5.3 System Model and Problem Formulation -- 5.3.1 System Model -- 5.3.2 Computation Task Model -- 5.3.3 Problem Formulation -- 5.4 Optimization Problem for Minimization of Task Execution Delay -- 5.5 Simulation and Performance Evaluation -- 5.5.1 Simulation Environment Setup -- 5.5.2 Evaluation and Analysis -- 5.6 Conclusions and Future Works -- 6 Fundamentals of Matching Theory -- 6.1 Introduction -- 6.2 Basic Concepts and Terminologies -- 6.3 Classification -- 6.3.1 One-to-One (OTO) Matching -- 6.3.2 Many-to-One (MTO) Matching -- 6.3.3 Many-to-Many (MTM) Matching -- 6.3.4 Variants of Matching Models -- 6.4 Matching Algorithms -- 6.5 Conclusions -- 7 Matching Theory for Distributed Computation Offloading in Fog Computing Systems -- 7.1 Introduction -- 7.2 System and Offloading Problem Description -- 7.2.1 System Model -- 7.2.2 Computation Tasks -- 7.2.3 Computation Offloading Models -- 7.2.4 Optimization Problems of Computational Offloading -- 7.3 Proposed Matching-based Models for Distributed Computation -- 7.3.1 One-to-One (OTO) Matching -- 7.3.2 Many-to-One (MTO) Matching7 -- 7.3.3 Many-to-Many (MTM) Matching -- 7.4 Challenges and Open Research Issues -- 7.4.1 Matching With Dynamics -- 7.4.2 Matching with Groups -- 7.4.3 Matching with Externality -- 7.4.4 Security and Privacy of Data and End Users -- 7.4.5 New Offloading Application Scenarios -- 7.4.6 Application of AI and ML-Based Techniques -- 7.5 Conclusions -- 8 Distributed Computation Offloading Frameworks for Fog Networks -- 8.1 Introduction -- 8.2 Preliminary and Related Works -- 8.2.1 Preliminary of Many-to-One (M2O) Matching Model -- 8.2.2 Related Works -- 8.3 System Model -- 8.3.1 Fog Computing Networks -- 8.3.2 Computation Offloading Model -- 8.4 Problem Formulation -- 8.5 Description of DISCO Framework -- 8.5.1 Overview -- 8.5.2 PL Construction -- 8.5.3 Matching Algorithms -- 8.5.4 Optimal Task Offloading and Communication Scheduling Algorithm -- 8.5.5 Stability Analysis -- 8.6 Simulations and Performance Evaluation -- 8.6.1 Simulation Environment Setup -- 8.6.2 Evaluation and Analysis -- 8.7 Conclusions -- 9 Reinforcement Learning-based Resource Allocations in Fog Networks -- 9.1 Introduction -- 9.2 Fog Computing Environment -- 9.2.1 System Model -- 9.2.2 Resource Allocation Problems in Fog Computing Systems -- 9.3 Reinforcement Learning -- 9.3.1 Basic Concepts -- 9.3.2 Taxonomy of RL Algorithms -- 9.4 RL based Algorithms for Resource Allocation in FC Systems -- 9.4.1 Resource Sharing and Management -- 9.4.2 Task Scheduling -- 9.4.3 Task Offloading and Redistribution -- 9.5 Challenges and Open Issues of RL-based Resource Allocations -- 9.5.1 RL-related Challenges -- 9.5.2 Fog Computing Environment related Challenges -- 9.5.3 Computation Task related Challenges -- 9.6 Conclusions and Discussions -- -- -- 10 Bandit Learning and Matching based Distributed Task Offloading in Fog Networks -- 10.1 Introduction -- 10.2 Bacground and Related Works -- 10.2.1 One-to-One Matching-based Task Offloading -- 10.2.2 Bandit Learning-based Computation Offloading -- 10.3 System Model -- 10.3.1 Fog Computing networks -- 10.3.2 Computation Offloading Model -- 10.4 Design of BLM-DTO Algorithm -- 10.4.1 OTO Matching Model for Computation Offloading -- 10.4.2 Multi-Player Multi-Armed Bandit with TS -- 10.5 Simulation Results and Evaluation Analysis -- 10.5.1 Simulation Environment Configuration -- 10.5.2 Comparative Evaluation and Analysis -- 10.6 Conclusions and Discussions.…”
Click for online access

Table of Contents: “…The Best Genetic Algorithm I: A Comparative Study of Structurally Different Genetic Algorithms -- The Best Genetic Algorithm II: A Comparative Study of Structurally Different Genetic Algorithms -- The Concept of Confidence for Inheritance-Based Genetic Algorithms -- WIGA: Wolbachia Infection Genetic Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using Hierarchical Genetic Algorithm -- A Study of Genetic Algorithms to Solve the School Timetabling Problem -- Explicit Exploration in Estimation of Distribution Algorithms -- An Ant Colony Algorithm for Improving Ship Stability in the Containership Stowage Problem -- Including Modal Improvisation and Music-Inspired Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network to Large Scale Euclidean TSP -- Determination of Cardiac Ejection Fraction by Electrical Impedance Tomography Using an Artificial Neural Network -- Bidirectional Recurrent Neural Networks for Biological Sequences Prediction -- Complete Diagnosis of Electrical Power Systems Using MDS and ANFIS -- Intelligent Rotor Time Constant Identification Approach in Indirect Field Oriented Induction Motor Drive -- Flame Classification through the Use of an Artificial Neural Network Trained with a Genetic Algorithm -- Traffic Sign Recognition Based on Linear Discriminant Analysis -- Association Measures and Aggregation Functions -- JT2FIS: A Java Type-2 Fuzzy Inference Systems Class Library for Building Object-Oriented Intelligent Applications -- Fault Detection and Diagnosis of Electrical Networks Using a Fuzzy System and Euclidian Distance -- An Embedded Fuzzy Agent for Online Tuning of a PID Controller for Position Control of a DC Motor -- A Note on Parameter Selection for Support Vector Machines -- Reinforcement Learning Method for Portfolio Optimal Frontier Search -- Weighed Aging Ensemble of Heterogenous Classifiers for Incremental Drift Classification -- Similarity Based on Data Compression -- Pattern Recognition with Spiking Neural Networks -- Subjective Evaluation of Labeling Methods for Association Rule Clustering -- An Algorithm of Classification for Nonstationary Case -- Using NIAR k-d Trees to Improve the Case-Based Reasoning Retrieval Step -- Weighting Query Terms towards Multi-faceted Information Fusion of Market Data -- An Agents and Artifacts Approach to Distributed Data Mining -- Evaluating Business Intelligence Gathering Techniques for Horizon Scanning Applications -- Identification of Relations in Region Connection Calculus: 9-Intersection Reduced to3+-Intersection Predicates -- Fast and Robust Object Recognition Based on Reduced Shock-Graphs and Pruned-SIFT -- Matching Qualitative Spatial Scene Descriptions a la Tabu -- Classification of Mexican Paper Currency Denomination by Extracting Their Discriminative Colors -- Towards Reduced EEG Based Brain-Computer Interfacing for Mobile Robot Navigation -- Practical Speech Recognition for Contextualized Service Robots -- Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains -- An Approach Based on an Interactive Procedure for Multiple Objective Optimisation Problems -- On Modeling Planning Problems: Experience from the Petrobras Challenge -- An Introduction to Concept-Level Sentiment Analysis -- Common Sense Knowledge Based Personality Recognition from Text -- Implementing Fuzzy Subtractive Clustering to Build a Personality Fuzzy Model Based on Big Five Patterns for Engineers -- Finding Opinion Strength Using Rule-Based Parsing for Arabic Sentiment Analysis -- Emotion Based Features of Bird Singing for Turdus Migratorius Identification.…”
Click to view e-book