the proceedings contain 197 papers. the topics discussed include: using measurement, data analysis and modeling for research borehole polygons;universal acquisition system for frequency domain parameters measurement;d...
ISBN:
(纸本)9781457714238
the proceedings contain 197 papers. the topics discussed include: using measurement, data analysis and modeling for research borehole polygons;universal acquisition system for frequency domain parameters measurement;data acquisition systems of plants' state in precision agriculture;implementation of accurate frame interleaved sampling in a low cost FPGA-based data acquisition system;computer devices for precision agriculture;investigation of histogram method implementation for high resolution ADC testing;digital compensation unit for impedance metrology working up to 2 MHz;modeling and data processing for thin-film optical sensors;virtual sub-metering via combined classifiers;link power control algorithm for energy consumption reduction in AMM powerline networks;the synchrophasor visualization based on virtual instrumentation;and RF spectrum monitoring and management system based on an RF receiver multi-server architecture.
the proceedings contain 197 papers. the topics discussed include: using measurement, data analysis and modeling for research borehole polygons;universal acquisition system for frequency domain parameters measurement;d...
ISBN:
(纸本)9781457714238
the proceedings contain 197 papers. the topics discussed include: using measurement, data analysis and modeling for research borehole polygons;universal acquisition system for frequency domain parameters measurement;data acquisition systems of plants' state in precision agriculture;implementation of accurate frame interleaved sampling in a low cost FPGA-based data acquisition system;computer devices for precision agriculture;investigation of histogram method implementation for high resolution ADC testing;digital compensation unit for impedance metrology working up to 2 MHz;modeling and data processing for thin-film optical sensors;virtual sub-metering via combined classifiers;link power control algorithm for energy consumption reduction in AMM powerline networks;the synchrophasor visualization based on virtual instrumentation;and RF spectrum monitoring and management system based on an RF receiver multi-server architecture.
the proceedings contain 39 papers. the topics discussed include: experimental analysis of link estimation methods in low power wireless networks;distributed receiver/receiver synchronization in wireless sensor network...
ISBN:
(纸本)9783642234897
the proceedings contain 39 papers. the topics discussed include: experimental analysis of link estimation methods in low power wireless networks;distributed receiver/receiver synchronization in wireless sensor networks: new solution and joint offset/skew estimators for Gaussian delays;minimum-cost linear coverage by sensors with adjustable ranges;two sides approximation algorithms for channel assignments in wireless network;efficient maximum weighted sum-rate computation for multiple input single output broadcast channels;on topology of sensor networks deployed for tracking;multicast capacity-delay tradeoff with network coding in MANET;maximizing capacity with power control under physical interference model in simplex mode;a genetic algorithm for constructing a reliable MCDS in probabilistic wireless networks;wireless coverage via dynamic programming;energy efficient data aggregation in solar sensor networks;and minimum delay routing in multihop wireless networks.
the proceedings contain 36 papers. the topics discussed include: viewpoint-oriented software development: tool support for integrating multiple perspectives by distributed graph transformation;consistent integration o...
ISBN:
(纸本)3540672826
the proceedings contain 36 papers. the topics discussed include: viewpoint-oriented software development: tool support for integrating multiple perspectives by distributed graph transformation;consistent integration of formal methods;on memory-block traversal problems in model-checking timed systems;symbolic model checking for rectangular hybrid systems;efficient data structure for fully symbolic verification of real-time software systems;verification of parameterized systems using logic program transformations;abstracting WS1S systems to verify parameterized networks;FMona: A tool for expressing validation techniques over infinite state systems;compositional state space generation with partial order reductions for asynchronous communicating systems;Salsa: combining constraint solvers with BDDs for automatic invariant checking;and symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation.
the proceedings contain 31 papers. the topics discussed include: a network-controlled approach for the timely and reliable acquisition of bursty data in WMSNs;minimizing nested interrupts of secondary users in multi-p...
ISBN:
(纸本)9783642414275
the proceedings contain 31 papers. the topics discussed include: a network-controlled approach for the timely and reliable acquisition of bursty data in WMSNs;minimizing nested interrupts of secondary users in multi-priority cognitive radio networks;a stability-aware cooperative routing scheme in multi-rate mobile ad-hoc wireless networks;using human-centric wireless sensor networks to support personal security;toward efficient packet buffering and congestion control approaches for reliable data delivery in mobile ad hoc network;RAS: a task scheduling algorithm based on resource attribute selection in a task scheduling framework;reporting an experience on design and implementation of C-healthsystems on azure cloud;quality control for crowdsourcing with spatial and temporal distribution;and a 2.4-GHz fractional-N PLL frequency synthesizer with a low power full-modulus-range programmable frequency divider.
the proceedings contain 34 papers. the special focus in this conference is on Blockchain and Trustworthy systems. the topics include: Facilitating Feature and Topology Lightweighting: An Ethereum Transaction Grap...
ISBN:
(纸本)9789819614134
the proceedings contain 34 papers. the special focus in this conference is on Blockchain and Trustworthy systems. the topics include: Facilitating Feature and Topology Lightweighting: An Ethereum Transaction Graph Compression Method for Malicious Account Detection;A Secure Hierarchical Federated Learning Framework Based on FISCO Group Mechanism;research on Network Traffic Anomaly Detection Approach with Deep Learning;hyper-Parameter Optimization and Proxy Re-encryption for Federated Learning;exploring Embedded Content in the Ethereum Blockchain: Data Restoration and Analysis;task Allocation and Process Optimization for Weather Services;location Data Sharing Method Based on Blockchain and Attribute-Based Encryption;Implicit White-Box Implementations of Efficient Double-Block-Length MAC;a Survey on Blockchain Scalability;supply Chain Financing Model Embedded with "Full-Process" Blockchain;reCon: Faster Smart Contract Vulnerability Detection by Reusable Symbolic Execution Tree;SVD-SESDG: Smart Contract Vulnerability Detection Technology via Symbol Execution and State Variable Dependency Graph;dual-View Aware Smart Contract Vulnerability Detection for Ethereum;blockchain Layered Sharding Algorithm Based On Transaction Characteristics;An Empirical Study on the Performance of EVMs and Wasm VMs for Smart Contract Execution;ponzi Scheme Detection in Smart Contracts Using Heterogeneous Semantic Graph.
the proceedings contain 34 papers. the special focus in this conference is on Blockchain and Trustworthy systems. the topics include: Facilitating Feature and Topology Lightweighting: An Ethereum Transaction Grap...
ISBN:
(纸本)9789819614103
the proceedings contain 34 papers. the special focus in this conference is on Blockchain and Trustworthy systems. the topics include: Facilitating Feature and Topology Lightweighting: An Ethereum Transaction Graph Compression Method for Malicious Account Detection;A Secure Hierarchical Federated Learning Framework Based on FISCO Group Mechanism;research on Network Traffic Anomaly Detection Approach with Deep Learning;hyper-Parameter Optimization and Proxy Re-encryption for Federated Learning;exploring Embedded Content in the Ethereum Blockchain: Data Restoration and Analysis;task Allocation and Process Optimization for Weather Services;location Data Sharing Method Based on Blockchain and Attribute-Based Encryption;Implicit White-Box Implementations of Efficient Double-Block-Length MAC;a Survey on Blockchain Scalability;supply Chain Financing Model Embedded with "Full-Process" Blockchain;reCon: Faster Smart Contract Vulnerability Detection by Reusable Symbolic Execution Tree;SVD-SESDG: Smart Contract Vulnerability Detection Technology via Symbol Execution and State Variable Dependency Graph;dual-View Aware Smart Contract Vulnerability Detection for Ethereum;blockchain Layered Sharding Algorithm Based On Transaction Characteristics;An Empirical Study on the Performance of EVMs and Wasm VMs for Smart Contract Execution;ponzi Scheme Detection in Smart Contracts Using Heterogeneous Semantic Graph.
the proceedings contain 28 papers. the topics discussed include: tables: a spreadsheet-inspired programming model for sensor networks;optimized Java binary and virtual machine for tiny motes;programming sensor network...
ISBN:
(纸本)3642136508
the proceedings contain 28 papers. the topics discussed include: tables: a spreadsheet-inspired programming model for sensor networks;optimized Java binary and virtual machine for tiny motes;programming sensor networks using REMORA component model;stateful mobile modules for sensor networks;design and implementation of a robust sensor data fusion system for unknown signals;control theoretic sensor deployment approach for data fusion based detection;approximate distributed kalman filtering for cooperative multi-agent localization;thermal-aware sensor scheduling for distributed estimation;decentralized subspace tracking via gossiping;on multihop broadcast over adaptively duty-cycled wireless sensor networks;a novel mobility management scheme for target tracking in cluster-based sensor networks;suppressing redundancy in wireless sensor network traffic;and ensuring data storage security against frequency-based attacks in wireless networks.
the proceedings contain 14 papers. the topics discussed include: emergent behavior in large electrical networks;algorithms and error bounds for multivariate piecewise constant approximation;anisotropic triangulation m...
ISBN:
(纸本)9783642168758
the proceedings contain 14 papers. the topics discussed include: emergent behavior in large electrical networks;algorithms and error bounds for multivariate piecewise constant approximation;anisotropic triangulation methods in adaptive image approximation;form assessment in coordinate metrology;discontinuous Galerkin methods for linear problems: an introduction;a numerical analyst's view of the lattice Boltzmann method;approximating probability measures on manifolds via radial basis functions;towards calculating the basin of attraction of non-smooth dynamical systems using radial basis functions;stabilizing lattice Boltzmann simulation of fluid flow past a circular cylinder with Ehrenfests' limiter;fast and stable interpolation of well data using the norm function;and algorithms and literate programs for weighted low-rank approximation with missing data.
暂无评论