top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advances and Novel Approaches in Discrete Optimization
Advances and Novel Approaches in Discrete Optimization
Autore Werner Frank
Pubbl/distr/stampa Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020
Descrizione fisica 1 online resource (354 p.)
Soggetto topico Mathematics & science
Research & information: general
Soggetto non controllato ABC4 index
algorithm
AND/OR tree
approximation algorithm
arithmetic mean
balaban index
batch scheduling
batching scheduling
bi-criteria scheduling
bin packing
branch and bound
capacitated lot sizing
combinatorial generation
combinatorial optimization
competitive ratio
contraflow configuration
crossing number
cyclic permutation
deep learning
degree of vertex
divisible numbers
dual problem
due-date
dynamic flow
dynamic programming
embedded systems
Euler-Catalan's triangle
evacuation planning
extended adjacency index
forgotten index
FPGA
FPTAS
GA5 index
genetic algorithm
graph
Harris hawks optimizer
HDN3(m)
inventory
inverse problem
irregular 3D objects
job families
job-shop
join product
labeled Dyck path
lateness
linear deterioration
LNS
load frequency control
logistic supports
machine non-availability
makespan
makespan criterion
Max-cut problem
maximum machine cost
meta-heuristics
method
minimization of maximum penalty
mixed integer formulation
n/a
network optimization
nonlinear optimization
numerical conversion
online algorithm
operator non-availability
packing
partial lane reversals, algorithms and complexity
particle swarm optimization
pointer network
quasi-phi-function s
ranking algorithm
reclassified the zagreb indices
reinforcement learning
release-time
retail
RHDN3(m)
RISC
scheduling
scheduling algorithm
scheduling with rejection
sensitivity analysis
shortages
single-machine scheduling
smart grid
supervised learning
THDN3(m)
time complexity
total weighted completion time
Transportation
unary NP-hard
uncertain processing times
unranking algorithm
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910557686003321
Werner Frank  
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Applications of Power Electronics: Volume 1 / Frede Blaabjerg, Pooya Davari, Tomislav Dragicevic
Applications of Power Electronics: Volume 1 / Frede Blaabjerg, Pooya Davari, Tomislav Dragicevic
Autore Blaabjerg Frede
Pubbl/distr/stampa MDPI - Multidisciplinary Digital Publishing Institute, 2019
Descrizione fisica 1 electronic resource (476 p.)
Soggetto topico History of engineering and technology
Soggetto non controllato 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
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
ISBN 9783038979753
3038979759
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910346691403321
Blaabjerg Frede  
MDPI - Multidisciplinary Digital Publishing Institute, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Applications of Power Electronics: Volume 2 / Frede Blaabjerg, Pooya Davari, Tomislav Dragicevic
Applications of Power Electronics: Volume 2 / Frede Blaabjerg, Pooya Davari, Tomislav Dragicevic
Autore Blaabjerg Frede
Pubbl/distr/stampa MDPI - Multidisciplinary Digital Publishing Institute, 2019
Descrizione fisica 1 electronic resource (500 p.)
Soggetto topico History of engineering and technology
Soggetto non controllato 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
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
ISBN 9783039210213
3039210211
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910346691303321
Blaabjerg Frede  
MDPI - Multidisciplinary Digital Publishing Institute, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
Autore Blanchette Jasmin
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (xv, 756 pages) : illustrations (some color)
Disciplina 006.333
Altri autori (Persone) BlanchetteJasmin
KovácsLaura
PattinsonDirk <1970->
Collana Lecture notes in computer science
Soggetto topico Automatic theorem proving
Computer logic
Soggetto non controllato 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
ISBN 3-031-10769-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996483156703316
Blanchette Jasmin  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
C++ Programming Fundamentals
C++ Programming Fundamentals
Autore Malhotra D
Edizione [1st ed.]
Pubbl/distr/stampa New York : , : Mercury Learning & Information, , 2022
Descrizione fisica 1 online resource (289 pages)
Disciplina 005.133
Altri autori (Persone) MalhotraN
Soggetto topico COMPUTERS / Programming Languages / C++
Soggetto non controllato AI
arrays
computer science
developers
embedded systems
file handling
game design
pointers
polymorphism
programming
video game
ISBN 1-68392-974-8
1-68392-975-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Cover -- Title -- Copyright -- Contents -- Preface -- Acknowledgments -- Chapter 1 C++ and Beyond -- Introduction -- 1.1 The Origin of C++ -- 1.2 Why Use C++? -- 1.3 Various Programming Paradigms -- 1.3.1 Structural Programming -- 1.3.2 Procedural Programming -- 1.3.3 Object Oriented Programming -- 1.4 C++ Basics -- 1.4.1 Variables -- 1.4.2 Data Types -- 1.4.3 Data Modifiers -- 1.t C++ Execution Flow -- Summary -- Exercises -- Theory Questions -- MCQ-Based -- Practical Application -- References -- Books -- Websites -- Chapter 2 Basic Play in C++ -- 2.1 Literals, Constants, and Qualifiers -- 2.2 Stream-Based IO -- 2.3 Comments -- 2.4 Operators and Types -- 2.4.1 Types of Operators in C++ -- 2.5 Type Conversion -- 2.6 Keywords -- 2.7 Loops in C++ -- 2.9 Control Statements -- 2.9 Defining Functions -- 2.9.1 Why Use Functions? -- 2.10 C vs. C++ -- Summary -- Exercises -- Theory Questions -- MCQ-Based -- Practical Questions -- References -- Books -- Websites -- Chapter 3 Arrays and Strings -- 3.1 What is an Array? -- 3.1.1 Ways to Declare Arrays -- 3.1.2 Ways to Access Array Members -- 3.1.3 Traversing a 1D Array -- 3.2 Operations on an Array -- 3.2.1 Passing an Array to Functions -- 3.2.2 Finding the Length -- 3.2.3 Enum in C++ -- 3.2.4 Searching -- 3.3 Multi-Dimensional Array -- 3.4 Strings -- 3.5 String Functions -- Summary -- Exercises -- Theory Questions -- MCQ-Based -- Practical Questions -- References -- Books -- Websites -- Chapter 4 Pointers in C++ -- 4.1 Introduction -- 4.2 Pointers: Declaration and Initialization -- 4.3 Casting and Passing Pointers -- 4.3.1 Typecasting -- 4.3.2 Passing -- 4.4 Using Pointers with Arrays -- 4.5 Pointer Use -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 5 Classes in C++ -- 5.1 Class Making.
5.2 Constructors and Destructors -- 5.3 The This Pointer -- 5.4 Class Methods -- 5.5 The static Keyword -- 5.6 Memory Management and Garbage Collection in C++ -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 6 Inheritance -- 6.1 Introduction -- 6.2 Inheritance -- 6.2.1 Access Specifiers -- 6.2.2 Inheritance Modes -- 6.3 Types of Inheritance -- 6.4 Constructor Calling -- 6.5 Implementing Inheritance -- Summary -- Exercises -- Theory Questions -- Practial Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 7 Polymorphism -- 7.1 Introduction -- 7.2 Dynamic vs. Static Binding -- 7.3 Interface and Implementation -- 7.4 Function Overriding and Overloading -- 7.5 Friend and Generic Functions -- 7.5.1 Friend Functions -- 7.5.2 Generic Functions -- 7.6 Namespaces -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 8 Operator Overloading -- 8.1 Basics -- 8.2 How to Overload an Operator? -- 8.3 Overloading Unary Operators -- 8.4 Overloading Binary Operators -- 8.5 Overloading by Friend Function -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 9 Structure and Union -- 9.1 Structure: Declaration and Definition -- 9.2 Accessing a Structure -- 9.3 Union -- 9.4 Differences Between Structure and Union -- 9.5 Enum in C++ -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 10 Exception Handling -- 10.1 Errors and Exceptions -- 10.2 Exception Handling -- 10.3 Various Exceptions -- 10.4 Custom Exceptions in C++ -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Chapter 11 File Handling.
11.1 Files and Streams -- 11.2 File Operations -- 11.3 Random Access and Object Serialization -- Summary -- Exercises -- Theory Questions -- Practical Questions -- MCQ-Based -- References -- Books -- Websites -- Index.
Record Nr. UNINA-9910838375803321
Malhotra D  
New York : , : Mercury Learning & Information, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber-Physical Systems
Challenges and Directions Forward for Dealing with the Complexity of Future Smart Cyber-Physical Systems
Autore Törngren Martin
Pubbl/distr/stampa Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021
Descrizione fisica 1 online resource (232 p.)
Soggetto topico History of engineering and technology
Soggetto non controllato adaptation
allocation
ampliative reasoning mechanism
architecture layer
Automatic Code Generation
autonomous cyber-physical systems
CBD
complexity
component allocation
component-based development
component-based software engineering
computational functions
Cyber Physical Systems
cyber-physical systems
data-driven system control
distributed control
distributed design
distribution network
EAST-ADL
embedded systems
Embedded Systems
energy consumption
ethics
field test
Fixed-Priority Preemptive Scheduling (FPPS)
GPU
GPU component
human/socially-centered applications
IDE
Internet of Things
microgrid
mixed-criticality systems
mode
mode-switch
model testing
Model-Based Design
multi-core
mutation testing
n/a
nano-bio-info-cogno technologies
plug-n-play
procedural abduction
Reactive Systems
real-time
real-time systems
resilience
run-time acquired data
scheduling
self-adaptation capability
self-generated intelligence
self-similar architecture
smart cyber-physical systems
software component
systems engineering
time-triggered system
uncertainty
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910557582003321
Törngren Martin  
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computational Intelligence in Photovoltaic Systems / Emanuele Ogliari, Sonia Leva
Computational Intelligence in Photovoltaic Systems / Emanuele Ogliari, Sonia Leva
Autore Ogliari Emanuele
Pubbl/distr/stampa MDPI - Multidisciplinary Digital Publishing Institute, 2019
Descrizione fisica 1 electronic resource (180 p.)
Soggetto topico History of engineering and technology
Soggetto non controllato 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
ISBN 9783039210992
3039210998
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910674025103321
Ogliari Emanuele  
MDPI - Multidisciplinary Digital Publishing Institute, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part II. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (560 pages) : illustrations (black and white)
Altri autori (Persone) VizelYakir
Collana Lecture notes in computer science
Soggetto topico Computer software - Verification
Soggetto non controllato 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
ISBN 3-031-13188-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485664103316
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
Autore Shoham Sharon
Pubbl/distr/stampa Cham, : Springer Nature, 2022
Descrizione fisica 1 online resource (563 pages) : illustrations (black and white)
Disciplina 005.14
Collana Lecture Notes in Computer Science
Soggetto topico Computer software - Verification
Soggetto non controllato 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
ISBN 3-031-13185-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996485664203316
Shoham Sharon  
Cham, : Springer Nature, 2022
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Convergence of Intelligent Data Acquisition and Advanced Computing Systems
Convergence of Intelligent Data Acquisition and Advanced Computing Systems
Autore Stamatescu Grigore
Pubbl/distr/stampa Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021
Descrizione fisica 1 online resource (189 p.)
Soggetto topico Energy industries & utilities
Technology: general issues
Soggetto non controllato artificial neural network
atrous spatial pyramid pooling
attention gate
automotive
black box modeling
clock signal
CNN (Convolutional neural networks)
component
consumed and dissipated power
current
data acquisition
data classification
data consensus
deep learning
deep sparse auto-encoders
delay
demand response
detection
distributed systems
educational robotics
electric power train
electric vehicle
embedded systems
energy efficiency
FPGA-designing
heterogenous embedded systems
hidden faults
intelligent charging
intelligent data processing
Internet of Things
linear model
linear programming
logical and power-oriented checkability
measurements
medical diagnosis
n/a
ODE Solver
OpenCL
optimization
parallel/multi-core computing
Parareal
pavement defects
power train
precision agriculture
PSO algorithm
relevant data extraction
residual connection
ROS
safety-related system
sensing systems
sensor
sensors
signals
smart building
smart grid
smart parking
STEM
system identification
temperature and current consumption sensors
time delay estimation
trajectory planning
unmanned aerial vehicles
wireless sensor networks
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910557333503321
Stamatescu Grigore  
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui