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 |
Autore | Moshou Dimitrios |
Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
Descrizione fisica | 1 electronic resource (346 p.) |
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 | 3-03897-413-7 |
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 |
Autore | Moshou Dimitrios |
Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2019 |
Descrizione fisica | 1 electronic resource (354 p.) |
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 | 3-03897-745-4 |
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 | ||
|
Sustainable Development of Energy, Water and Environment Systems (SDEWES 2021) |
Autore | Sahin Oz |
Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
Descrizione fisica | 1 electronic resource (128 p.) |
Soggetto topico | Research & information: general |
Soggetto non controllato |
biorefineries
hemicellulose lignin liquid hot water wheat straw Chlorella sorokiniana heterotrophic anaerobic digestate glycerol FAME electrodialysis erythritol downstream desalination waste reduction current efficiency colloidal particles biorefinery organosolv precipitation self-assembly solvent shifting sustainable built environment microbial fuel cell bio-digital interface adaptive dynamic cell reconfiguration on-site net-zero electricity energy-positive buildings active integrated facades thermal storage distributed systems exergy management Africa petroleum investment entropy weight information entropy uncertainty measure |
ISBN | 3-0365-6064-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | Sustainable Development of Energy, Water and Environment Systems |
Record Nr. | UNINA-9910639984303321 |
Sahin Oz
![]() |
||
Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström |
Autore | Zhao Zhiming |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (X, 373 p. 124 illus., 101 illus. in color.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Environment Special purpose computers Computers Software engineering Geography Computer Applications Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general |
Soggetto non controllato |
Computer Applications
Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general Computer and Information Systems Applications Environmental Sciences Database Management System Software Engineering Geography cloud computing cloud providers cloud services computer networks computing resource data communication systems databases distributed computer systems distributed systems engineering grid computing internet network protocols open access parallel processing systems signal processing telecommunication networks wireless telecommunication systems Information technology: general issues The environment Expert systems / knowledge-based systems Computer networking & communications Operating systems |
ISBN | 3-030-52829-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges. |
Record Nr. | UNINA-9910413438503321 |
Zhao Zhiming
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström |
Autore | Zhao Zhiming |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Springer Nature, 2020 |
Descrizione fisica | 1 online resource (X, 373 p. 124 illus., 101 illus. in color.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Environment Special purpose computers Computers Software engineering Geography Computer Applications Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general |
Soggetto non controllato |
Computer Applications
Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general Computer and Information Systems Applications Environmental Sciences Database Management System Software Engineering Geography cloud computing cloud providers cloud services computer networks computing resource data communication systems databases distributed computer systems distributed systems engineering grid computing internet network protocols open access parallel processing systems signal processing telecommunication networks wireless telecommunication systems Information technology: general issues The environment Expert systems / knowledge-based systems Computer networking & communications Operating systems |
ISBN | 3-030-52829-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges. |
Record Nr. | UNISA-996418281903316 |
Zhao Zhiming
![]() |
||
Springer Nature, 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|