Strongly Connected Components (SCCs) play a crucial role in understanding the structural properties of directed graphs, with a plethora of applications across various domains including engineering, computer science an...
详细信息
In order to avoid various problems during drilling associated withthe instability of the wellbore walls, mud losses, etc., it is necessary to use the concept of a "safety window" of mud ("mud weight wi...
详细信息
We consider the distributed and parallel construction of low-diameter decompositions with strong diameter. We present algorithms for arbitrary undirected, weighted graphs and also for undirected, weighted graphs that ...
详细信息
the proceedings contain 16 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Multilevel transitive and intransitive non-interference, causally;a game interpretat...
ISBN:
(纸本)9783319395180
the proceedings contain 16 papers. the special focus in this conference is on Coordination Models and Languages. the topics include: Multilevel transitive and intransitive non-interference, causally;a game interpretation of retractable contracts;tuple spaces implementations and their efficiency;on-the-fly mean-field model-checking for attribute-based coordination;scheduling games for concurrent systems;an asynchronous parallel abstraction for speculative pipeline computations;modelling ambulance deployment with CARMA;on synchronous and asynchronous compatibility of communicating components;a formal analysis of the global sequence protocol;improving gossip dynamics through overlapping replicates;from modelling to systematic deployment of distributed active objects;an interference-free programming model for network objects and on sessions and infinite data.
the proceedings contain 16 papers. the special focus in this conference is on Internet and distributedcomputingsystems. the topics include: A quantitative system of sedentary condition based on wireless body area ne...
ISBN:
(纸本)9783319977942
the proceedings contain 16 papers. the special focus in this conference is on Internet and distributedcomputingsystems. the topics include: A quantitative system of sedentary condition based on wireless body area network;private comparison protocol and its application to range queries;congestion control in lan-to-lan connections;implementing an application that automates glaucoma detection through the use of image processing and fuzzy logic;risk driving behaviors detection using pressure cushion;robust epidemic aggregation under churn;dynamic service migration via approximate markov decision process in mobile edge-clouds;architecture-independent cloud computation for sensor environment and its applications;a proposed adaptive rate algorithm to administrate the video buffer occupancy for smooth video streaming;integrating traditional stores and e-commerce into a multi-tiered recommender system architecture supported by IoT;smart nutrition monitoring system using heterogeneous internet of things platform;towards a reference architecture for swarm intelligence-based internet of things;a sensor-based human activity recognition system via restricted boltzmann machine and extended space forest;exploiting the sem framework for modeling smart cities.
the project WAI aims to tackle the growth of mental health disorders among the younger population, namely the most prevalent anxiety disorders. It intends to enhance educational strategies to help schools, teachers, a...
详细信息
the proceedings contain 248 papers. the topics discussed include: parallel computing implementation for real-time image dehazing based on dark channel;improved parallel algorithms for sequential minimal optimization o...
ISBN:
(纸本)9781538666142
the proceedings contain 248 papers. the topics discussed include: parallel computing implementation for real-time image dehazing based on dark channel;improved parallel algorithms for sequential minimal optimization of classification problems;heterogeneous assignment of functional units with Gaussian execution time on a tree;high performance and low latency vision system with hardware accelerator;merge-based parallel sparse matrix-sparse vector multiplication with a vector architecture;a learning-based adjustment model with genetic algorithm of function point estimation;high-performance implementation of matrix-free Runge-Kutta discontinuous Galerkin method for Euler equations;a step towards hadoop dynamic scaling;and towards building a distributed data management architecture to integrate multi-sources remote sensing big data.
the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication fo...
ISBN:
(纸本)9781450393089
the proceedings contain 27 papers. the topics discussed include: CougaR: fast and eclipse-resilient dissemination for blockchain networks;optimizing complex event forecasting;predicate-based push-pull communication for distributed CEP;toward reducing cross-shard transaction overhead in sharded blockchains;substream management in distributed streaming dataflows;a multi-level caching architecture for stateful stream computation;travel light - state shedding for efficient operator migration;zero-shot cost models for distributed stream processing;window-based parallel operator execution with in-network computing;event-based data-centric semantics for consistent data management in microservices;knowledge graph stream processing at the edge;and deriving a realistic workload model to simulate high-volume financial data feeds for performance benchmarking.
the proceedings contain 63 papers. the special focus in this conference is on Automatic Control and Soft computing. the topics include: Hamiltonian View of160;Finite Dimensional Quantum Mechanics;necessary Optimalit...
ISBN:
(纸本)9783031817236
the proceedings contain 63 papers. the special focus in this conference is on Automatic Control and Soft computing. the topics include: Hamiltonian View of Finite Dimensional Quantum Mechanics;necessary Optimality Conditions for a Weak Minimum in Control Problems with Non-regular Mixed Constraints;Pedestrian Safety Crosswalks in Smart Cities: the VALLPASS Approach;data Entry Errors Detection for Industrial Quality Control Variables Using Data-Driven Models;optimal Management of systems Based on Multifunctional Elements;a Double Layer Control Method for Sustainable Agricultural Production Management in a Competitive Market;comparison of Two Numerical Methods for Riemannian Cubic Polynomials on Stiefel Manifolds;a Note on the Minimal of Crisis Problem: A Multiprocess Approach;fixed Point theory Analysis of a Lambda Policy Iteration with Randomization for the Ćirić Contraction Operator;geodesic Flow for the Statistical Transformation Model of Multivariate Normal Distributions;endpoint Geodesic Formulas for the Special Euclidean Group;on Minimum-Dispersion Control of Nonlinear Diffusion Processes;a Parameter Estimation Process for Improved Drug Infusion;identification of Control Law and Trajectory for Mobile Disturbance Rejection in a 2D thermal Context;a Family of Metrics and Quasi-geodesics on the Manifold of Essential Matrices;synergistic Offshore Energy Harvesting: Advancements in Hybrid Semisubmersible Floating Wind Turbines with Oscillating Water Columns;sensitivity Analysis for Optimal Control: Application to an Irrigation Problem;a Hybrid Learning-Based Path Planning Algorithm for Enhanced Safety in Autonomous Robots;laser Engraving for 3D Surfaces: A Robotized Application Case Study;implementation of a Water Level Control System Using Programmable Logic Controller with Remote Access;abstraction Based Safety for Markov Decision Processes;Comparison of Mode Selection and Reconstructions Obtained by DyCA and DMD with Respect to Noise Robustness and Sampling;Compar
the proceedings contain 41 papers. the topics discussed include: a study of utilization bound and run-time overhead for cluster scheduling in multiprocessor real-time systems;improving the schedulability of sporadic s...
ISBN:
(纸本)9780769541556
the proceedings contain 41 papers. the topics discussed include: a study of utilization bound and run-time overhead for cluster scheduling in multiprocessor real-time systems;improving the schedulability of sporadic self-suspending soft real-time multiprocessor task systems;real-time communication for multicore systems with multi-domain ring buses;towards pervasive mashups in embedded devices;real-time activity recognition in wireless body sensor networks: from simple gestures to complex activities;detecting, locating, and tracking hacker activities within a WLAN network;sensitivity analysis for EDF scheduled arbitrary deadline real-time systems;feasibility analysis under fixed priority scheduling with fixed preemption points;modeling of real-time system designs for parametric analysis;and context-based analysis of system execution traces for validating distributed real-time and embedded system quality-of-service properties.
暂无评论