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

Keywords: Theory of Computation ; 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 ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence

Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering

Keywords: Computer Systems Organization and Communication Networks ; Image Processing and Computer Vision ; Control Structures and Microprogramming ; Input/Output and Data Communications ; Operating Systems ; Information Systems and Communication Service ; Computer Engineering and Networks ; Computer Vision ; Database Management System ; computer hardware ; computer networks ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; hpc ; image processing ; microprocessor chips ; network protocols ; parallel architectures ; parallel processing systems ; processors ; signal processing ; telecommunication networks ; telecommunication systems ; telecommunication traffic ; open access ; Computer networking & communications ; Image processing ; Computer vision ; Algorithms & data structures ; Distributed databases ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UL Operating systems

Keywords: TA1-2040 ; T1-995 ; Q-factor ; lithium-ion power battery pack ; electromagnetic field (EMF) ; expert systems ; total harmonic distortion (THD) ; current-fed inverter ; rotor design ; class-D amplifier ; LCL-S topology ; current switching ripple ; system in package ; energy storage modelling ; smart micro-grid ; embedded systems ; equivalent inductance ; SHIL ; permanent magnet ; static var generator (SVG) ; permanent magnet synchronous motor (PMSM) ; control strategy and algorithm ; digital control ; zero-voltage switching (ZVS) ; SOC estimator ; electric power ; optimal design ; electromagnetic field interference (EMI) ; line frequency instability ; analog phase control ; five-phase permanent magnet synchronous machine ; distribution generation ; leakage inductance ; adjacent two-phase open circuit fault (A2-Ph) ; chaotic PWM ; electric vehicles ; CMOS chaotic circuit ; series active filter ; cascaded topology ; total demand distortion ; efficiency motor ; triangular ramp generator ; 4T analog MOS control ; inductive coupling ; induction machines ; nanocrystalline core ; semi-active bridge ; multi-level control ; simulation models ; voltage source inverters (VSI) ; battery management system BMS ; voltage source converter ; current control loops ; droop control ; particle swarm optimization ; variable control gain ; state of charge SoC ; extended Kalman filter ; transient control ; multi-objective optimization ; composite equalizer ; converter ; DHIL ; five-leg voltage source inverter ; axial flux machines ; bifurcation ; active receivers ; field programmable gate array ; Nyquist stability analysis ; electric vehicle ; static compensator ; stability ; common-mode inductor ; DC–DC converters ; support vector machines ; electromagnetic compatibility ; real-time simulation ; passive equalization ; matrix converters ; wireless power transfer ; digital phase control ; compensation topology ; volt-per-hertz control (scalar control) ; switching losses ; voltage control ; hybrid converter ; bidirectional converter ; coupling factor ; selective harmonic elimination method ; power electronics ; soft switching ; optimization design ; multilevel inverter ; five-phase machine ; phase-shift control ; lithium-ion battery ; voltage boost ; VPI active damping control ; parameter identification ; electrical engineering communications ; current control ; DC–DC conversion ; battery management system ; GaN cascode ; single-switch ; high-frequency modeling ; synchronous motor ; power quality ; water purification ; power factor correction (PFC) ; composite active vectors modulation (CVM) ; digital signal controller ; line start ; power density ; hardware in loop ; n/a ; fault diagnosis ; multi-level converter (MLC) ; induction motor ; dual three-phase (DTP) permanent magnet synchronous motors (PMSMs) ; neural networks ; electromagnetic interference filter ; battery chargers ; power converter ; harmonics ; multiphase space vector modulation ; torque ripple ; power factor correction ; electrical drives ; modular multilevel converter (MMC) ; active power filter ; double layer capacitor (DLC) models ; PMSG ; response time ; resonator structure ; floating-point ; effect factors ; DC-link voltage control ; sliding mode control ; phasor model technique ; wireless power transfer (WPT) ; slim DC-link drive ; fault-tolerant control ; lithium-ion batteries ; DC-AC power converters ; conducting angle determination (CAD) techniques ; variable speed pumped storage system ; impedance-based model ; one cycle control ; renewable energy sources ; series-series compensation ; cogging torque ; active rectifiers ; three-level boost converter (TLBC) ; DC-link cascade H-bridge (DCLCHB) inverter ; battery energy storage systems ; filter ; power management system ; improved extended Kalman filter ; dead-time compensation ; disturbance observer ; reference phase calibration ; frequency locking ; space vector pulse width modulation (SVPWM) ; predictive controllers ; nine switch converter ; transmission line ; spread-spectrum technique ; energy storage ; electromagnetic interference ; renewable energy resources control ; harmonic linearization ; misalignment ; plug-in hybrid electric vehicles ; high level programing ; nearest level modulation (NLM) ; magnetic equivalent circuit ; EMI filter ; permanent-magnet machines ; real-time emulation ; switched capacitor ; back EMF ; fixed-point ; HF-link MPPT converter ; condition monitoring ; WPT standards ; switching frequency ; switching frequency modelling ; high frequency switching power supply ; field-programmable gate array ; three-phase bridgeless rectifier ; ice melting ; AC–DC power converters ; hybrid power filter ; PSpice ; microgrid control ; total harmonic distortion ; grid-connected inverter ; dynamic PV model ; fuzzy ; boost converter ; SiC PV Supply ; voltage doubling ; nonlinear control ; distributed control ; power system operation and control ; one phase open circuit fault (1-Ph) ; direct torque control (DTC) ; battery modeling ; non-linear phenomena ; frequency-domain analysis ; advanced controllers ; vector control ; fixed-frequency double integral sliding-mode (FFDISM) ; power converters ; modulation index ; DC-DC buck converter ; small signal stability analysis ; active equalization ; voltage source inverter ; hardware-in-the-loop ; current source ; synchronization ; grid-connected VSI ; synchronous generator ; fault tolerant control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology

Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; 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 ; 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::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation

Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; 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::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science

Keywords: Circuits and Systems ; Cyber-physical systems, IoT ; Electronics and Microelectronics, Instrumentation ; Electronic Circuits and Systems ; Cyber-Physical Systems ; cyber-physical systems ; embedded systems ; model verification ; software runtime systems ; real-time computing ; open-access embedded systems ; Electronics: circuits & components ; Electrical engineering ; Cybernetics & systems theory ; Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering

Keywords: architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation

Keywords: TA1-2040 ; T1-995 ; artificial neural network ; online diagnosis ; genetic algorithm ; renewable energy ; unit commitment ; photovoltaic panel ; power forecasting ; metaheuristic ; monitoring system ; embedded systems ; firefly algorithm ; tracking system ; MPPT algorithm ; integrated storage ; day-ahead forecast ; solar radiation ; prototype model ; artificial neural networks ; parameter extraction ; thermal image ; thermal model ; solar cell ; PV cell temperature ; evolutionary algorithms ; uncertainty ; battery ; harmony search meta-heuristic algorithm ; single-diode photovoltaic model ; symbiotic organisms search ; photovoltaics ; tilt angle ; smart photovoltaic system blind ; orientation ; photovoltaic ; particle swarm optimization ; analytical methods ; computational intelligence ; statistical errors ; ensemble methods ; solar photovoltaic ; electrical parameters ; demand response ; metaheuristic algorithm ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology

Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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

Keywords: TA1-2040 ; T1-995 ; recognition algorithm ; n/a ; 3D ConvNets ; consistent line clustering ; skeletal data ; fused point and line feature matching ; soft decision tree ; texture retrieval ; vision system ; laser sensor ; neural network ; iris segmentation ; correlation filters ; embedded systems ; underwater imaging ; stereo vision ; seam-line ; image processing ; quality control ; dynamic programming ; visual information fusion ; semantic segmentation ; parallel line ; textile retrieval ; structure extraction ; line scan camera ; orientation relevance ; measurement error ; rotation-angle ; star image prediction ; convolutional neural network (CNN) ; tightly-coupled VIO ; visual sensors ; stereo ; parking assist system ; visual detection ; omnidirectional imaging ; RGB-D SLAM ; narrow butt joint ; appearance-temporal features ; vision-guided robotic grasping ; scale invariance ; support vector machine (SVM) ; straight wing aircraft ; statistical information of gray-levels differences ; Local Binary Patterns ; robotics ; mobile robots ; textile localization ; indoor environment ; CLOSIB ; geometric moments ; perceptually uniform histogram ; single-shot 3D shape measurement ; salient region detection ; person re-identification ; calibration ; stereo camera ; simplified initialization strategy ; LSTM ; SLAM ; image mosaic ; convolutional neural network ; lane marking detection ; finger alphabet ; robot manipulation ; patrol robot ; inverse compositional Gauss-Newton algorithm ; checkerboard ; action localization ; hybrid histogram descriptor ; pivotal frames ; lane marking reconstruction ; warp function ; visual localization ; RGB-D ; automatic calibration ; Siamese network ; object recognition ; human visual system ; LRF ; Gray code ; visual tracking ; motion-aware ; visual odometry ; adaptive update strategy ; Manhattan frame estimation ; vibration ; confidence response map ; lane marking ; 3D reconstruction ; indoor visual SLAM ; pose estimation ; global feature descriptor ; sweet pepper ; texture classification ; ego-motion estimation ; pose estimates ; planes intersection ; adaptive model ; support vector machines ; motif co-occurrence histogram ; handshape recognition ; non-rigid reconstruction ; camera calibration ; map representation ; optical flow ; robotic welding ; FOV ; background dictionary ; appearance based model ; Visual Sensors ; spatial transformation ; star sensor ; image retrieval ; depth vision ; iterative closest point ; automated design ; semantic mapping ; regression based model ; seam tracking ; image binarization ; GTAW ; boosted decision tree ; pedestrian detection ; presentation attack detection ; visible light and near-infrared light camera sensors ; large field of view ; fringe projection profilometry ; sensors combination ; catadioptric sensor ; RGB-D sensor ; texture description ; UAV image ; motion estimation ; extrinsic calibration ; visual sensor ; advanced driver assistance system (ADAS) ; content-based image retrieval ; action segmentation ; stereo-vision ; visual mapping ; around view monitor (AVM) system ; illumination ; speed measurement ; Richardson-Lucy algorithm ; digital image correlation ; point cloud ; receptive field correspondence ; human visual attention ; camera pose ; sign language ; symmetry axis ; end-to-end architecture ; local parallel cross pattern ; iris recognition ; depth image registration ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology

Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science

Keywords: T58.5-58.64 ; nuclei detection ; System-on-Chip ; FPGA ; K-Means ; hardware acceleration ; image analysis ; perceptual coding ; line buffer ; heterogeneous computing ; window filters ; processor architectures ; hardware accelerators ; stream processing ; embedded systems ; image processing pipeline ; image processing ; generalized Laplacian of Gaussian filter ; background estimation ; real-time systems ; FPGA implementation ; hardware architecture ; compression ; image borders ; memory ; zig-zag scan ; histopathology ; just-noticeable difference (JND) ; memory management ; downsampling ; image segmentation ; feature extraction ; design ; mean Shift clustering ; high-throughput ; segmentation ; streaming architecture ; power ; D-SWIM ; hardware/software co-design ; high-level synthesis ; contrast masking ; texture detection ; pipeline ; field programmable gate array (FPGA) ; JPEG-LS ; low-latency ; connected components analysis ; luminance masking ; field programmable gate arrays (FPGA) ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries

Keywords: TA1-2040 ; T1-995 ; Q-factor ; lithium-ion power battery pack ; electromagnetic field (EMF) ; expert systems ; total harmonic distortion (THD) ; current-fed inverter ; rotor design ; class-D amplifier ; LCL-S topology ; current switching ripple ; system in package ; energy storage modelling ; smart micro-grid ; embedded systems ; equivalent inductance ; SHIL ; permanent magnet ; static var generator (SVG) ; permanent magnet synchronous motor (PMSM) ; control strategy and algorithm ; digital control ; zero-voltage switching (ZVS) ; SOC estimator ; electric power ; optimal design ; electromagnetic field interference (EMI) ; line frequency instability ; analog phase control ; five-phase permanent magnet synchronous machine ; distribution generation ; leakage inductance ; adjacent two-phase open circuit fault (A2-Ph) ; chaotic PWM ; electric vehicles ; CMOS chaotic circuit ; series active filter ; cascaded topology ; total demand distortion ; efficiency motor ; triangular ramp generator ; 4T analog MOS control ; inductive coupling ; induction machines ; nanocrystalline core ; semi-active bridge ; multi-level control ; simulation models ; voltage source inverters (VSI) ; battery management system BMS ; voltage source converter ; current control loops ; droop control ; particle swarm optimization ; variable control gain ; state of charge SoC ; extended Kalman filter ; transient control ; multi-objective optimization ; composite equalizer ; converter ; DHIL ; five-leg voltage source inverter ; axial flux machines ; bifurcation ; active receivers ; field programmable gate array ; Nyquist stability analysis ; electric vehicle ; static compensator ; stability ; common-mode inductor ; DC–DC converters ; support vector machines ; electromagnetic compatibility ; real-time simulation ; passive equalization ; matrix converters ; wireless power transfer ; digital phase control ; compensation topology ; volt-per-hertz control (scalar control) ; switching losses ; voltage control ; hybrid converter ; bidirectional converter ; coupling factor ; selective harmonic elimination method ; power electronics ; soft switching ; optimization design ; multilevel inverter ; five-phase machine ; phase-shift control ; lithium-ion battery ; voltage boost ; VPI active damping control ; parameter identification ; electrical engineering communications ; current control ; DC–DC conversion ; battery management system ; GaN cascode ; single-switch ; high-frequency modeling ; synchronous motor ; power quality ; water purification ; power factor correction (PFC) ; composite active vectors modulation (CVM) ; digital signal controller ; line start ; power density ; hardware in loop ; n/a ; fault diagnosis ; multi-level converter (MLC) ; induction motor ; dual three-phase (DTP) permanent magnet synchronous motors (PMSMs) ; neural networks ; electromagnetic interference filter ; battery chargers ; power converter ; harmonics ; multiphase space vector modulation ; torque ripple ; power factor correction ; electrical drives ; modular multilevel converter (MMC) ; active power filter ; double layer capacitor (DLC) models ; PMSG ; response time ; resonator structure ; floating-point ; effect factors ; DC-link voltage control ; sliding mode control ; phasor model technique ; wireless power transfer (WPT) ; slim DC-link drive ; fault-tolerant control ; lithium-ion batteries ; DC-AC power converters ; conducting angle determination (CAD) techniques ; variable speed pumped storage system ; impedance-based model ; one cycle control ; renewable energy sources ; series-series compensation ; cogging torque ; active rectifiers ; three-level boost converter (TLBC) ; DC-link cascade H-bridge (DCLCHB) inverter ; battery energy storage systems ; filter ; power management system ; improved extended Kalman filter ; dead-time compensation ; disturbance observer ; reference phase calibration ; frequency locking ; space vector pulse width modulation (SVPWM) ; predictive controllers ; nine switch converter ; transmission line ; spread-spectrum technique ; energy storage ; electromagnetic interference ; renewable energy resources control ; harmonic linearization ; misalignment ; plug-in hybrid electric vehicles ; high level programing ; nearest level modulation (NLM) ; magnetic equivalent circuit ; EMI filter ; permanent-magnet machines ; real-time emulation ; switched capacitor ; back EMF ; fixed-point ; HF-link MPPT converter ; condition monitoring ; WPT standards ; switching frequency ; switching frequency modelling ; high frequency switching power supply ; field-programmable gate array ; three-phase bridgeless rectifier ; ice melting ; AC–DC power converters ; hybrid power filter ; PSpice ; microgrid control ; total harmonic distortion ; grid-connected inverter ; dynamic PV model ; fuzzy ; boost converter ; SiC PV Supply ; voltage doubling ; nonlinear control ; distributed control ; power system operation and control ; one phase open circuit fault (1-Ph) ; direct torque control (DTC) ; battery modeling ; non-linear phenomena ; frequency-domain analysis ; advanced controllers ; vector control ; fixed-frequency double integral sliding-mode (FFDISM) ; power converters ; modulation index ; DC-DC buck converter ; small signal stability analysis ; active equalization ; voltage source inverter ; hardware-in-the-loop ; current source ; synchronization ; grid-connected VSI ; synchronous generator ; fault tolerant control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology

Keywords: architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; 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::UYA Mathematical theory of computation ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation

Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; 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 ; 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::UK Computer hardware