the proceedings contain 25 papers. the special focus in this conference is on Intelligent Transport systems. the topics include: Interoperable Traceability in Supply Chains: A Use Case in Agritech;treemob: E...
ISBN:
(纸本)9783031863691
the proceedings contain 25 papers. the special focus in this conference is on Intelligent Transport systems. the topics include: Interoperable Traceability in Supply Chains: A Use Case in Agritech;treemob: Expressive Mobility Data Representation through Tree-Based Structures;From GPS Traces to Individual Emission Exposure: A Data-Driven Four-Step Process;capacity Vehicle Routing Problem with Time Windows: Simulation Tool for Footprint Network Design;chain of Portable Health Folders: A Systematic Literature Review;integrating Metro Infrastructure in Circular Food Supply Chains: A Model for Decentralized Quito’s Food Bank Network Redesign;An AutoML Approach for Bike Demand Forecasting and Redistribution;adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning;machine Learning Approach for Labeling Undetected Planned Trips in Public Transport Operators;reinforcement Learning algorithms with Graph Convolution Networks for Traffic Signal Control;optimizing Intelligent Transportation systems with Multi-agent Reinforcement Learning: A Socio-economic Impact Assessment;a Mobile Application to Secure Pedestrians Interacting with Automated Vehicles;A Simulation-Based Security Benchmarking Approach for Assessing Cooperative Driving Automation (CDA) Applications;wireless Interference and Regulatory Frameworks for Frequency Allocation in V2X Communication systems;runtime Norms Regulation Framework for Drones’ Smart Cities Applications;a Data-Driven Integrated Framework for Virtual Testing of Autonomous Vehicles in Mixed Traffic Scenarios;federated Learning for Lane-Change Prediction;Evaluating Traffic Control Strategies for Autonomous Shuttle in Different AV Penetration, Using SUMO Traffic Simulation;Adaptive Video Bitrate Allocation for Remotely Operated Vehicles (ROV);experimental Evaluation of Road-Crossing Decisions by Autonomous Wheelchairs Against Environmental Factors;impact of Network Delays on Edge-Assisted Platooning systems in 5G Networks: Addressing Lat
the proceedings contain 14 papers. the topics discussed include: physiological computing reshapes user-system interaction research and its practical application;regression analyses between physiological indexes and le...
ISBN:
(纸本)9789897583292
the proceedings contain 14 papers. the topics discussed include: physiological computing reshapes user-system interaction research and its practical application;regression analyses between physiological indexes and level of understanding with VAS of a listening task;exploring the feasibility and performance of one-step three-factor authentication with ear-EEG;flow neurophysiology in knowledge work: electroencephalographic observations from two cognitive tasks;exploring biofeedback with a tangible interface designed for relaxation;making sense: experiences with multi-sensor fusion in industrial assistance systems;and the feasibility and effectiveness of P300 responses using low fidelity equipment in three distinctive environments.
the proceedings contain 215 papers. the topics discussed include: analysis of risk factors for cervical cancer based on machine learning methods;study on energy storage system participating in frequency regulation of ...
ISBN:
(纸本)9781538660041
the proceedings contain 215 papers. the topics discussed include: analysis of risk factors for cervical cancer based on machine learning methods;study on energy storage system participating in frequency regulation of wind farm based on polyline fuzzy neural network;multiple convolutional neural networks for online visual tracking;spatio-temporal-aware sparse denoising autoencoder neural network for air quality prediction;least squares DCGAN based semantic image inpainting;fire flame image detection based on transfer learning;and a networked control scheme of residential microgrid for China remote areas.
the proceedings contain 386 papers. the topics discussed include: joint distortion estimation and layer selection of unequal error protection for SVC video transmission over FSO networks;research of distributed comput...
ISBN:
(纸本)9781728120584
the proceedings contain 386 papers. the topics discussed include: joint distortion estimation and layer selection of unequal error protection for SVC video transmission over FSO networks;research of distributed computing framework for foreign exchange market monitoring;fusing syntax and word embedding knowledge for measuring semantic similarity;performance modeling and optimization of controller cluster deployments in software-defined WAN;a spam review detection method by verifying consistency among multiple review sites;real-time depth estimation with an optimized encoder-decoder architecture on embedded devices;energy distribution in EV energy network under energy shortage;SLAs-aware online task scheduling based on deep reinforcement learning method in cloud environment;and maximizing revenue with adaptive modulation and multiple FEC in flexible optical networks.
the proceedings contain 3 papers. the topics discussed include: SABO: dynamic MPI+OpenMP resource balancer;LEC-PR: proactive recovery method in erasure-coded storage;and Petri nets for concurrent programming.
ISBN:
(纸本)9781665475082
the proceedings contain 3 papers. the topics discussed include: SABO: dynamic MPI+OpenMP resource balancer;LEC-PR: proactive recovery method in erasure-coded storage;and Petri nets for concurrent programming.
the proceedings contain 314 papers. the topics discussed include: enhancing the reliability of cloud data by implementing AES algorithm;formally investigating traceability metrics of data warehouse requirements model ...
ISBN:
(纸本)9781665412728
the proceedings contain 314 papers. the topics discussed include: enhancing the reliability of cloud data by implementing AES algorithm;formally investigating traceability metrics of data warehouse requirements model using briand’s framework;performance analysis of adhoc on-demand distance vector protocol under the influence of black-hole, gray-hole and worm-hole attacks in mobile adhoc network;method of determining dynamic distance of an object from camera devices using ml and its applications;smart city air quality prediction using machine learning;diabetic retinopathy detection by means of deep learning;a cognitive study on paddy cultivation using random sampling technique;and transmission of multimedia data in underwater terrain using acoustic waves.
the proceedings contain 8 papers. the topics discussed include: keeping it real: why HPC data services don’t achieve I/O microbenchmark performance;towards on-demand I/O forwarding in HPC platforms;gauge: an interact...
ISBN:
(纸本)9781665415941
the proceedings contain 8 papers. the topics discussed include: keeping it real: why HPC data services don’t achieve I/O microbenchmark performance;towards on-demand I/O forwarding in HPC platforms;gauge: an interactive data-driven visualization tool for HPC application I/O performance analysis;fractional-overlap declustered parity: evaluating reliability for storage systems;GPU direct I/O with HDF5;emulating I/O behavior in scientific workflows on high performance computingsystems;Pangeo benchmarking analysis: object storage vs. POSIX file system;and fingerprinting the checker policies of parallel file systems.
the proceedings contain 45 papers. the topics discussed include: design and implementation of a new run-time life-cycle for interactive public display applications;the leap motion movement for 2D pointing tasks - char...
ISBN:
(纸本)9789897580840
the proceedings contain 45 papers. the topics discussed include: design and implementation of a new run-time life-cycle for interactive public display applications;the leap motion movement for 2D pointing tasks - characterization and comparison to other devices;mental workload management as a tool in e-learning scenarios;traffic expression through ubiquitous and pervasive sensorization - smart cities and assessment of driving behavior;location-based proactive services using WSFD in pervasive environments;schedulers for BGW tasks to guarantee quality of service of embedded real-time systems;evaluating the usability of an automated transport and retrieval system;personal e-comfort modeling and management based on multi-agent system and internet of things network;mathematical model of a human leg - the switched linear system approach;on the road to a reference architecture for pervasive computing;and a multimodal user interface using the webinos platform to connect a smart input device to the web of things.
Tools and algorithms for the Construction and Analysis of systems : 5thinternationalconference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amster...
详细信息
Tools and algorithms for the Construction and Analysis of systems : 5thinternationalconference, Tacas '99, Held as Part of the Joint European conferences on theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings by Tacas '99 (1999 : Amsterdam, Netherlands); Cleaveland, W. R. (Walter Rance), 1961-; Etaps '99 (1999 : Amsterdam, Netherlands); published by Berlin ; New York : Springer
the proceedings contain 46 papers. the topics discussed include: the impact of virtual learning environments on the practical skills of open distance learning students in electrical engineering;ontology reuse: neural ...
ISBN:
(纸本)9781665484220
the proceedings contain 46 papers. the topics discussed include: the impact of virtual learning environments on the practical skills of open distance learning students in electrical engineering;ontology reuse: neural network-based measurement of concepts representations and similarities in ontology corpus;modelling the IEC 61850 and DNP3 protocol using OPNET in an electrical substation communication network;cognitive solution for multimedia access;dynamic remote networking for modular data centers;novel data-based model for future epidemiology;sentiment analysis of South African news company;enhanced data integrity encryption algorithm for cloud computing;development of data acquisition system for real-time monitoring using a smartphone;reducing routing overhead with a clustering protocol based on ad hoc distance vector and dynamic source routing protocols;and application of artificial neural network on South African sign language recognition system.
暂无评论