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.
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 electronic resource (244 p.) |
| Soggetto topico | Research & information: general |
| Soggetto non controllato |
scientific analysis
decision-support classical views on knowledge and authority designing participatory processes involving stakeholders artificiality reconciliation ecology drainage irrigation ditches ponds socio-hydrogeology groundwater management communication engagement socio-economic aspects river relocation river channel engineering geomorphology rehabilitation permeable pavements life cycle assessment stormwater management sustainability freshwater changes climate change evapotranspiration runoff catchments Greece flood cost adaptation flood management cost–benefit water use irrigation efficiency remote sensing emerging technologies real-time control surface irrigation Murray–Darling Basin Colorado water scarcity IWRM equity freshwater needs population density epidemics sanitation global water requirements hydroinformatics smart cities smart utilities resilience distributed systems data analytics decision support sociotechnical system ethics digital water Governance flood adaptation costs hydro-informatics water management |
| 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 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910586580203321 |
|
Shoham Sharon
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 electronic resource (189 p.) |
| Soggetto topico |
Technology: general issues
Energy industries & utilities |
| Soggetto non controllato |
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 |
| 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 | ||
| ||
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 electronic resource (198 p.) |
| Soggetto topico | Information technology industries |
| Soggetto non controllato |
facial image analysis
facial nerve paralysis deep convolutional neural networks image classification Chinese text classification long short-term memory convolutional neural network Arabic named entity recognition bidirectional recurrent neural network GRU LSTM natural language processing word embedding CNN object detection network attention mechanism feature fusion LSTM-CRF model elements recognition linguistic features POS syntactic rules action recognition fused features 3D convolution neural network motion map long short-term-memory tooth-marked tongue gradient-weighted class activation maps ship identification fully convolutional network embedded deep learning scalability gesture recognition human computer interaction alternative fusion neural network deep learning sentiment attention mechanism bidirectional gated recurrent unit Internet of Things convolutional neural networks graph partitioning distributed systems resource-efficient inference pedestrian attribute recognition graph convolutional network multi-label learning autoencoders long-short-term memory networks convolution neural Networks object recognition sentiment analysis text recognition IoT (Internet of Thing) systems medical applications |
| 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 | ||
| Materiale a stampa | ||
| 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. | UNINA-9910137790703321 |
| [New York], : Plenum Pub. Corp | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| 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 electronic 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 |
Schätztheorie
Kalman Filter estimation theory Sensornetze Verteilte SystemsData fusion distributed systems Datenfusion sensor networks Kalman filtering |
| ISBN | 1000045577 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346783203321 |
|
Reinhardt Marc
|
||
| KIT Scientific Publishing, 2015 | ||
| Materiale a stampa | ||
| 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 electronic resource (XI, 178 p. p.) |
| Collana | Forschungsberichte aus der Industriellen Informationstechnik / Institut für Industrielle Informationstechnik (IIIT), Karlsruher Institut für Technologie |
| Soggetto non controllato |
Multi-Objekt-Verfolgung
verteilte Systeme SensorenMulti-object-tracking sensors Objektklassifikation object classification pedestrian tracking distributed systems Personenverfolgung |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-9910346770903321 |
|
Pallauf Johannes
|
||
| KIT Scientific Publishing, 2016 | ||
| Materiale a stampa | ||
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
