ALBERT

Keywords: high-level synthesis ; HLS ; SDSoC ; support vector machines ; SVM ; code refactoring ; Zynq ; ZedBoard ; extreme edge ; embedded edge computing ; internet of things deployment ; hardware design ; IoT security ; Contiki-NG ; trustability ; embedded systems ; collaborative filtering ; recommender systems ; parallelism ; reconfigurable hardware ; neuroevolution ; block-based neural network ; dynamic and partial reconfiguration ; scalability ; reinforcement learning ; embedded system ; artificial intelligence ; hardware acceleration ; neuromorphic processor ; power consumption ; harsh environment ; fog computing ; edge computing ; cloud computing ; IoT gateway ; LoRa ; WiFi ; low power consumption ; low latency ; flexible ; smart port ; quantisation ; evolutionary algorithm ; neural network ; FPGA ; Movidius VPU ; 2D graphics accelerator ; line-drawing ; Bresenham’s algorithm ; alpha-blending ; anti-aliasing ; field-programmable gate array ; deep learning ; performance estimation ; Gaussian process ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries

Keywords: falls ; slips ; trips ; postural perturbations ; wearables ; stretch-sensors ; ankle kinematics ; rowing ; technology ; inertial sensor ; accelerometer ; performance ; signal processing ; sEMG ; knee ; random forest ; principal component analysis ; back propagation ; estimation model ; knee angle ; deep learning ; neural networks ; gait-phase classification ; electrogoniometer ; EMG sensors ; walking ; gait-event detection ; automotive radar ; machine learning ; walking analysis ; seated posture ; cognitive engagement ; stress level ; load cells ; embedded systems ; sensorized seat ; flexion-relaxation phenomenon ; surface electromyography ; wearable device ; WBSN ; automatic detection of the FRP ; Internet of Things (IoT) ; human activity recognition (HAR) ; motion analysis ; wearable sensors ; cerebral palsy ; hemiplegia ; motor disorders ; gait variability ; coefficient of variation ; surface EMG ; statistical gait analysis ; activation patterns ; co-activation ; Parkinson’s disease ; activity recognition ; rate invariance ; Lie group ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues

Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications

Keywords: artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering

Keywords: embedded computer systems ; cyber security ; system-level design and design-space exploration ; multi-objective optimization ; system trade-offs ; energy-efficient computing ; run-time management ; machine learning ; concurrent workloads ; multi-core systems ; processing-in-memory ; near-memory processing ; resource management ; code annotation ; compiler optimizations ; online heuristics ; energy efficiency ; 3D-stacked memories ; non-volatile memories ; peak-power management ; many-core ; directed acyclic task graphs ; high performance computing ; data centers ; resource allocation ; profit ; energy consumption ; reinforcement learning ; server consolidation ; RF ; NoC ; OFDMA ; simulator ; routing ; reconfigurable ; Hybrid Application Mapping (HAM) ; many-core systems ; embedded systems ; composability ; design space exploration (DSE) ; Network-on-Chip (NoC) ; real-time guarantees ; predictability ; multi/many-core platforms ; reliability ; mixed-criticality ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues

Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science

Keywords: automotive ; current ; electric power train ; electric vehicle ; embedded systems ; delay ; detection ; distributed systems ; measurements ; power train ; sensor ; signals ; time delay estimation ; unmanned aerial vehicles ; wireless sensor networks ; intelligent data processing ; trajectory planning ; relevant data extraction ; data consensus ; Internet of Things ; precision agriculture ; system identification ; smart building ; artificial neural network ; energy efficiency ; black box modeling ; educational robotics ; data acquisition ; sensors ; ROS ; STEM ; CNN (Convolutional neural networks) ; deep learning ; pavement defects ; residual connection ; attention gate ; atrous spatial pyramid pooling ; intelligent charging ; demand response ; linear programming ; optimization ; smart parking ; smart grid ; ODE Solver ; OpenCL ; Parareal ; parallel/multi-core computing ; sensing systems ; heterogenous embedded systems ; deep sparse auto-encoders ; medical diagnosis ; linear model ; data classification ; PSO algorithm ; safety-related system ; component ; FPGA-designing ; logical and power-oriented checkability ; hidden faults ; clock signal ; consumed and dissipated power ; temperature and current consumption sensors ; n/a ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities

Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation

Keywords: TA1-2040 ; T1-995 ; similarity measure ; information filter ; out-of-sequence ; Hellinger distance ; coefficient of determination maximization strategy ; uncertainty measure ; embedded systems ; Internet of things (IoT) ; random delays ; adaptive distance function ; random finite set ; Dempster–Shafer evidence theory (DST) ; safe trajectory ; health reliability degree ; dynamic optimization ; state probability approximation ; sensors bias ; multi-environments ; belief entropy ; quaternion ; closed world ; Gaussian process regression ; Gaussian mixture model (GMM) ; intelligent transport system ; multirotor UAV ; multi-sensor system ; attitude ; time-domain data fusion ; precision landing ; Industry 4.0 ; magnetic angular rate and gravity (MARG) sensor ; uncertainty ; unscented information filter ; data classification ; high-definition map ; global information ; inconsistent data ; extended belief entropy ; sensor system ; Steffensen’s iterative method ; SLAM ; the Range-Range-Range frame ; evidential reasoning ; belief functions ; powered two wheels (PTW) ; electronic nose ; particle swarm optimization ; grey group decision-making ; user experience platform ; complex surface measurement ; DoS attack ; extended Kalman filter ; ICP ; Gaussian density peak clustering ; artificial marker ; random parameter matrices ; optimal estimate ; local structure descriptor ; object classification ; domain adaption ; networked systems ; expectation maximization (EM) algorithm ; attitude estimation ; Gaussian process model ; least-squares smoothing ; target positioning ; RFS ; spectral clustering ; maintenance decision ; multi-target tracking ; GMPHD ; time-distributed ConvLSTM model ; non-rigid feature matching ; unknown inputs ; cardiac PET ; subspace alignment ; gradient domain ; multi-sensor measurement ; data fusion ; Bar-Shalom Campo ; Kalman filter ; signal feature extraction methods ; sensor data fusion algorithm ; distributed architecture ; predictive modeling techniques ; Gaussian mixture model ; self-reporting ; deep learning ; mutual support degree ; security zones ; sensor array ; soft sensor ; aircraft pilot ; projection ; vehicle-to-everything ; distributed intelligence system ; square-root cubature Kalman filter ; information fusion ; evidence combination ; LiDAR ; feature representations ; multi-sensor information fusion ; linear constraints ; galvanic skin response ; decision-level sensor fusion ; most suitable parameter form ; Pignistic vector angle ; SINS/DVL integrated navigation ; fault diagnosis ; facial expression ; yaw estimation ; dual gating ; multi-sensor data fusion ; multisensor system ; A* search algorithm ; data fusion architectures ; drift compensation ; augmented state Kalman filtering (ASKF) ; manifold ; nested iterative method ; data preprocessing ; interference suppression ; conflicting evidence ; sonar network ; Gaussian process ; health management decision ; state estimation ; eye-tracking ; high-dimensional fusion data (HFD) ; MEMS accelerometer and gyroscope ; multitarget tracking ; gaussian mixture probability hypothesis density ; integer programming ; image registration ; Dempster–Shafer evidence theory ; linear regression ; data association ; nonlinear system ; covariance matrix ; multi-source data fusion ; fuzzy neural network ; least-squares filtering ; fire source localization ; network flow theory ; weight maps ; camera ; plane matching ; calibration ; unmanned aerial vehicle ; fixed-point filter ; workload ; intelligent and connected vehicles ; mimicry security switch strategy ; alumina concentration ; the Range-Point-Range frame ; spatiotemporal feature learning ; distributed fusion ; user experience evaluation ; image fusion ; vehicular localization ; sensor fusion ; vibration ; parameter learning ; weighted fusion estimation ; data registration ; pose estimation ; surface quality control ; trajectory reconstruction ; land vehicle ; square root ; Deng entropy ; multi-focus ; EEG ; low-cost sensors ; sensor fusing ; sensor data fusion ; packet dropouts ; estimation ; industrial cyber-physical system (ICPS) ; multi-sensor time series ; multi-sensor network ; Human Activity Recognition (HAR) ; transfer ; multisensor data fusion ; convergence condition ; interaction tracker ; acoustic emission ; Covariance Projection method ; mix-method approach ; orthogonal redundant inertial measurement units ; sematic segmentation ; Surface measurement ; conflict measurement ; user experience measurement ; observable degree analysis ; open world ; novel belief entropy ; cutting forces ; machine health monitoring ; Bayesian reasoning method ; orientation ; surface modelling ; hybrid adaptive filtering ; supervoxel ; RTS smoother ; Dempster-Shafer evidence theory (DST) ; fast guided filter. ; multi-sensor joint calibration ; principal component analysis ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology

Keywords: component-based software engineering ; mode ; mode-switch ; complexity ; cyber-physical systems ; systems engineering ; uncertainty ; microgrid ; distributed design ; self-similar architecture ; plug-n-play ; distributed control ; distribution network ; field test ; autonomous cyber-physical systems ; resilience ; ethics ; nano-bio-info-cogno technologies ; smart cyber-physical systems ; self-generated intelligence ; ampliative reasoning mechanism ; procedural abduction ; data-driven system control ; run-time acquired data ; computational functions ; self-adaptation capability ; human/socially-centered applications ; embedded systems ; software component ; component-based development ; CBD ; GPU ; GPU component ; allocation ; component allocation ; architecture layer ; time-triggered system ; real-time ; adaptation ; scheduling ; multi-core ; real-time systems ; Fixed-Priority Preemptive Scheduling (FPPS) ; mixed-criticality systems ; n/a ; Cyber Physical Systems ; Reactive Systems ; Model-Based Design ; Embedded Systems ; Automatic Code Generation ; IDE ; Internet of Things ; model testing ; mutation testing ; energy consumption ; EAST-ADL ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology