ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (29)
  • embedded systems
  • Springer  (16)
  • MDPI - Multidisciplinary Digital Publishing Institute  (11)
  • Springer Nature Switzerland  (2)
  • American Chemical Society
  • Institute of Electrical and Electronics Engineers (IEEE)
  • Springer Science + Business Media
  • English  (29)
Collection
  • Books  (29)
Publisher
Language
  • English  (29)
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-11
    Description: This book includes papers from the section “Multisensor Information Fusion”, from Sensors between 2018 to 2019. It focuses on the latest research results of current multi-sensor fusion technologies and represents the latest research trends, including traditional information fusion technologies, estimation and filtering, and the latest research, artificial intelligence involving deep learning.
    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
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-11
    Description: A key aspect of cyber-physical systems (CPS) is their potential for integrating information technologies with embedded control systems and physical systems to form new or improved functionalities. CPS thus draws upon advances in many areas. This positioning provides unprecedented opportunities for innovation, both within and across existing domains. However, at the same time, it is commonly understood that we are already stretching the limits of existing methodologies. In embarking towards CPS with such unprecedented capabilities, it becomes essential to improve our understanding of CPS complexity and how we can deal with it. Complexity has many facets, including complexity of the CPS itself, of the environments in which the CPS acts, and in terms of the organizations and supporting tools that develop, operate, and maintain CPS. This book is a result of a journal Special Issue, with the objective of providing a forum for researchers and practitioners to exchange their latest achievements and to identify critical issues, challenges, opportunities, and future directions for how to deal with the complexity of future CPS. The contributions include 10 papers on the following topics: (I) Systems and Societal Aspects Related to CPS and Their Complexity; (II) Model-Based Development Methods for CPS; (III) CPS Resource Management and Evolving Computing Platforms; and (IV) Architectures for CPS.
    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
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    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
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    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
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2024-04-11
    Description: Power electronics technology is still an emerging technology, and it has found its way into many applications, from renewable energy generation (i.e., wind power and solar power) to electrical vehicles (EVs), biomedical devices, and small appliances, such as laptop chargers. In the near future, electrical energy will be provided and handled by power electronics and consumed through power electronics; this not only will intensify the role of power electronics technology in power conversion processes, but also implies that power systems are undergoing a paradigm shift, from centralized distribution to distributed generation. Today, more than 1000 GW of renewable energy generation sources (photovoltaic (PV) and wind) have been installed, all of which are handled by power electronics technology. The main aim of this book is to highlight and address recent breakthroughs in the range of emerging applications in power electronics and in harmonic and electromagnetic interference (EMI) issues at device and system levels as discussed in ?robust and reliable power electronics technologies, including fault prognosis and diagnosis technique stability of grid-connected converters and ?smart control of power electronics in devices, microgrids, and at system levels.
    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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    MDPI - Multidisciplinary Digital Publishing Institute
    Publication Date: 2022-06-21
    Description: The latest proliferation of Internet of Things deployments and edge computing combined with artificial intelligence has led to new exciting application scenarios, where embedded digital devices are essential enablers. Moreover, new powerful and efficient devices are appearing to cope with workloads formerly reserved for the cloud, such as deep learning. These devices allow processing close to where data are generated, avoiding bottlenecks due to communication limitations. The efficient integration of hardware, software and artificial intelligence capabilities deployed in real sensing contexts empowers the edge intelligence paradigm, which will ultimately contribute to the fostering of the offloading processing functionalities to the edge. In this Special Issue, researchers have contributed nine peer-reviewed papers covering a wide range of topics in the area of edge intelligence. Among them are hardware-accelerated implementations of deep neural networks, IoT platforms for extreme edge computing, neuro-evolvable and neuromorphic machine learning, and embedded recommender systems.
    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
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...