10th Anniversary of Water
| 10th Anniversary of Water |
| Autore | Hoekstra Arjen Y |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (244 p.) |
| Soggetto topico | Research & information: general |
| Soggetto non controllato |
adaptation
analytics artificiality catchments classical views on knowledge and authority climate change Colorado communication cost cost-benefit data decision support decision-support designing participatory processes involving stakeholders digital water distributed systems ditches drainage emerging technologies engagement engineering epidemics equity ethics evapotranspiration flood flood adaptation costs flood management freshwater changes freshwater needs geomorphology global water requirements Governance Greece groundwater management hydro-informatics hydroinformatics irrigation irrigation efficiency IWRM life cycle assessment Murray-Darling Basin permeable pavements ponds population density real-time control reconciliation ecology rehabilitation remote sensing resilience river channel river relocation runoff sanitation scientific analysis smart cities smart utilities socio-economic aspects socio-hydrogeology sociotechnical system stormwater management surface irrigation sustainability water management water scarcity water use |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557152503321 |
Hoekstra Arjen Y
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Innovative Topologies and Algorithms for Neural Networks
| Innovative Topologies and Algorithms for Neural Networks |
| Autore | Xibilia Maria Gabriella |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (198 p.) |
| Soggetto topico | Information technology industries |
| Soggetto non controllato |
3D convolution neural network
action recognition alternative fusion neural network Arabic named entity recognition attention mechanism autoencoders bidirectional gated recurrent unit bidirectional recurrent neural network Chinese text classification CNN convolution neural Networks convolutional neural network convolutional neural networks deep convolutional neural networks deep learning distributed systems elements recognition embedded deep learning facial image analysis facial nerve paralysis feature fusion fully convolutional network fused features gesture recognition gradient-weighted class activation maps graph convolutional network graph partitioning GRU human computer interaction image classification Internet of Things IoT (Internet of Thing) systems linguistic features long short-term memory long short-term-memory long-short-term memory networks LSTM LSTM-CRF model medical applications motion map multi-label learning natural language processing object detection network object recognition pedestrian attribute recognition POS syntactic rules resource-efficient inference scalability sentiment analysis sentiment attention mechanism ship identification text recognition tooth-marked tongue word embedding |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557553903321 |
Xibilia Maria Gabriella
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of network and systems management
| Journal of network and systems management |
| Pubbl/distr/stampa | [New York], : Plenum Pub. Corp |
| Disciplina | 004.6 |
| Soggetto topico | Computer networks - Management |
| Soggetto genere / forma | Periodicals. |
| Soggetto non controllato |
telecommunications
distributed systems communication networks networked computing |
| ISSN | 1573-7705 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996213229803316 |
| [New York], : Plenum Pub. Corp | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Linear Estimation in Interconnected Sensor Systems with Information Constraints
| Linear Estimation in Interconnected Sensor Systems with Information Constraints |
| Autore | Reinhardt Marc |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2015 |
| Descrizione fisica | 1 online resource (XVII, 227 p. p.) |
| Collana | Karlsruhe Series on Intelligent Sensor-Actuator-Systems / Karlsruher Institut für Technologie, Intelligent Sensor-Actuator-Systems Laboratory |
| Soggetto non controllato |
Datenfusion
distributed systems estimation theory Kalman Filter Kalman filtering Schätztheorie sensor networks Sensornetze Verteilte SystemsData fusion |
| ISBN | 1000045577 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346783203321 |
Reinhardt Marc
|
||
| KIT Scientific Publishing, 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objektsensitive Verfolgung und Klassifikation von Fußgängern mit verteilten Multi-Sensor-Trägern
| Objektsensitive Verfolgung und Klassifikation von Fußgängern mit verteilten Multi-Sensor-Trägern |
| Autore | Pallauf Johannes |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2016 |
| Descrizione fisica | 1 online resource (XI, 178 p. p.) |
| Collana | Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
distributed systems
Multi-Objekt-Verfolgung object classification Objektklassifikation pedestrian tracking Personenverfolgung SensorenMulti-object-tracking sensors verteilte Systeme |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910346770903321 |
Pallauf Johannes
|
||
| KIT Scientific Publishing, 2016 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
| Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
| Autore | Sergey Ilya |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
| Altri autori (Persone) | SergeyIlya |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
| ISBN | 3-030-99336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464540903316 |
Sergey Ilya
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sensors in Agriculture: Volume 1 / Dimitrios Moshou
| Sensors in Agriculture: Volume 1 / Dimitrios Moshou |
| Autore | Moshou Dimitrios |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (346 p.) |
| Soggetto topico | History of engineering and technology |
| Soggetto non controllato |
optical sensor
spectral analysis response surface sampling sensor evaluation electromagnetic induction multivariate water quality parameters mandarin orange crop inspection platform SPA-MLR object tracking feature selection simultaneous measurement diseases genetic algorithms processing of sensed data electrochemical sensors thermal image ECa-directed soil sampling handheld recognition patterns salt concentration clover-grass bovine embedded hardware weed control soil field crops vineyard connected dominating set water depth sensors SS-OCT wheat striped stem-borer silage geostatistics detection NIR hyperspectral imaging electronic nose machine learning virtual organizations of agents packing density data validation and calibration dataset Wi-SUN temperature sensors geoinformatics gas sensor X-ray fluorescence spectroscopy vegetable oil photograph-grid method Vitis vinifera WSN distribution algorithms laser-induced breakdown spectroscopy irrigation quality assessment energy efficiency wireless sensor network (WSN) geo-information Fusarium texture features weeds discrimination big data soil moisture sensors meat spoilage land cover stereo imaging near infrared sensors biological sensing compound sensor pest management moisture plant localization heavy metal contamination artificial neural networks spectral pre-processing moisture content apparent soil electrical conductivity data fusion semi-arid regions smart irrigation back propagation model wireless sensor network energy balance light-beam fluorescent measurement agriculture precision agriculture deep learning spectroscopy hulled barely dielectric probe RPAS water supply network rice leaves mobile app gradient boosted machines hyperspectral camera one-class nitrogen LiDAR total carbon chemometrics analysis rice agricultural land on-line vis-NIR measurement CARS obstacle detection stratification neural networks regression estimator Kinect proximity sensing distributed systems pest noninvasive detection texture feature soil mapping classification soil salinity visible and near-infrared reflectance spectroscopy germination computer vision hyperspectral imaging diffusion dielectric dispersion UAS random forests case studies total nitrogen thermal imaging cameras dry matter composition near-infrared salt tolerance deep convolutional neural networks soil type classification water management preprocessing methods wireless sensor networks (WSN) remote sensing image classification precision plant protection radar spatial variability GF-1 satellite plant disease naked barley leaf area index CIE-Lab change of support radiative transfer model 3D reconstruction plant phenotyping vine near infrared vegetation indices remote sensing greenhouse time-series data scattering sensor crop area speckle spatial data grapevine breeding wide field view partial least squares-discriminant analysis spiking area frame sampling chromium content machine-learning RGB-D sensor pest scouting PLS Capsicum annuum spatial-temporal model drying temperature boron tolerance ambient intelligence laser wavelength fuzzy logic dynamic weight landslide management zones real-time processing event detection crop monitoring apple shelf-life rice field monitoring wireless sensor birth sensor proximal sensor |
| ISBN |
9783038974130
3038974137 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346859003321 |
Moshou Dimitrios
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sensors in Agriculture: Volume 2 / Dimitrios Moshou
| Sensors in Agriculture: Volume 2 / Dimitrios Moshou |
| Autore | Moshou Dimitrios |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
| Descrizione fisica | 1 electronic resource (354 p.) |
| Soggetto topico | History of engineering and technology |
| Soggetto non controllato |
optical sensor
spectral analysis response surface sampling sensor evaluation electromagnetic induction multivariate water quality parameters mandarin orange crop inspection platform SPA-MLR object tracking feature selection simultaneous measurement diseases genetic algorithms processing of sensed data electrochemical sensors thermal image ECa-directed soil sampling handheld recognition patterns salt concentration clover-grass bovine embedded hardware weed control soil field crops vineyard connected dominating set water depth sensors SS-OCT wheat striped stem-borer silage geostatistics detection NIR hyperspectral imaging electronic nose machine learning virtual organizations of agents packing density data validation and calibration dataset Wi-SUN temperature sensors geoinformatics gas sensor X-ray fluorescence spectroscopy vegetable oil photograph-grid method Vitis vinifera WSN distribution algorithms laser-induced breakdown spectroscopy irrigation quality assessment energy efficiency wireless sensor network (WSN) geo-information Fusarium texture features weeds discrimination big data soil moisture sensors meat spoilage land cover stereo imaging near infrared sensors biological sensing compound sensor pest management moisture plant localization heavy metal contamination artificial neural networks spectral pre-processing moisture content apparent soil electrical conductivity data fusion semi-arid regions smart irrigation back propagation model wireless sensor network energy balance light-beam fluorescent measurement agriculture precision agriculture deep learning spectroscopy hulled barely dielectric probe RPAS water supply network rice leaves mobile app gradient boosted machines hyperspectral camera one-class nitrogen LiDAR total carbon chemometrics analysis rice agricultural land on-line vis-NIR measurement CARS obstacle detection stratification neural networks regression estimator Kinect proximity sensing distributed systems pest noninvasive detection texture feature soil mapping classification soil salinity visible and near-infrared reflectance spectroscopy germination computer vision hyperspectral imaging diffusion dielectric dispersion UAS random forests case studies total nitrogen thermal imaging cameras dry matter composition near-infrared salt tolerance deep convolutional neural networks soil type classification water management preprocessing methods wireless sensor networks (WSN) remote sensing image classification precision plant protection radar spatial variability GF-1 satellite plant disease naked barley leaf area index CIE-Lab change of support radiative transfer model 3D reconstruction plant phenotyping vine near infrared vegetation indices remote sensing greenhouse time-series data scattering sensor crop area speckle spatial data grapevine breeding wide field view partial least squares-discriminant analysis spiking area frame sampling chromium content machine-learning RGB-D sensor pest scouting PLS Capsicum annuum spatial-temporal model drying temperature boron tolerance ambient intelligence laser wavelength fuzzy logic dynamic weight landslide management zones real-time processing event detection crop monitoring apple shelf-life rice field monitoring wireless sensor birth sensor proximal sensor |
| ISBN |
9783038977452
3038977454 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346858903321 |
Moshou Dimitrios
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2019 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||