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.
Behavior of Metallic and Composite Structures (Second Volume)
| Behavior of Metallic and Composite Structures (Second Volume) |
| Autore | Sadowski Tomasz |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 online resource (325 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
3D-printed sandwich
4 methods (CPT, FSDT, S-FSDT, FEM) adhesion adhesive bond strength adhesive joint adhesive layer thickness age-adjusted effective modulus method AlCrN arc current artificial neural networks axial compressive behaviour beams bending response bolt boundary strengthening boundary structure C-section ceramic-matrix composites (CMCs) characterization techniques cohesive law components of transverse forces in bending composite stanchion compression concrete creep concrete filled steel tube (CFST) columns confined concrete connection crashworthiness curved steel-concrete composite box beam damage deformation diagrams deformation twin-boundary interaction digital image correlation dislocation-boundary interaction dislocation-interface interaction distortional mode dual adhesive dynamic pulse buckling ember-resistant alloys energy absorption experiment failure FE analysis FEM fracture fracture mechanics geometrical optimization glued laminated timber hardness height factor I-shaped beam interactive buckling knots Koiter's theory Kolsky method laboratory tests local compression long-term behavior material tests mechanism maps medium length membrane components of transverse forces minicomposite mixed mode I+II loading modulus of elasticity moisture content natural composite nonlinear analysis nonlinear stability numerical modeling pine wood prediction reinforced concrete (RC) sandwich panels with corrugated channel core shear forces single lap joints size effect square plate steel mesh steel plate steel-concrete composite bridge structure temperature tensile test TH-section through-beam joint timber turbine jet engine two-node finite beam element with 26 DOFs verification wear wood wood defects wood model wood species |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Behavior of Metallic and Composite Structures |
| Record Nr. | UNINA-9910557392303321 |
Sadowski Tomasz
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| 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 | ||
| ||
District Heating and Cooling Networks
| District Heating and Cooling Networks |
| Autore | Borge Diez David |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (270 p.) |
| Soggetto topico | History of engineering and technology |
| Soggetto non controllato |
4th generation district heating
air-conditioning baseline model big data frameworks biomass biomass district heating for rural locations CFD model CO2 emissions abatement Computational Fluid Dynamics data center data mining algorithms data streams analysis district cooling district heating district heating (DH) network domestic energy consumption forecast energy efficiency energy management in renovated building energy prediction energy system modeling greenhouse gas emissions Gulf Cooperation Council heat pumps heat reuse hot climate hydronic pavement system low temperature district heating system low temperature networks low-temperature district heating machine learning neural networks nZEB optimal control optimization parameter analysis prediction algorithm primary energy use residential retrofit Scotland space cooling sustainable energy thermal inertia thermal-hydraulic performance thermally activated cooling time delay TRNSYS twin-pipe ultralow-temperature district heating variable-temperature district heating verification |
| ISBN | 3-03928-840-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910404083603321 |
|
Borge Diez David
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Environmental Analysis of Organic Pollutants
| Environmental Analysis of Organic Pollutants |
| Autore | Liu Wenbin |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (312 p.) |
| Soggetto topico |
Industrial chemistry and chemical engineering
Technology: general issues |
| Soggetto non controllato |
adsorption
ammonia emission ammonia oxidizing archaeal ammonia oxidizing bacterial analytical method biomass combustion biphasic concentration-response bisphenol A bisphenol analogs bisphenol analogues bottled drink bottom sediments brain development cardiovascular diseases (CVDs) chemical industrial park chemical modification chemiluminescence CHP plant composting congener correlation DBP dechlorane plus DEHP diagnosis DIBP dietary intake distribution ecological risk assessment economic parameters electroplating industry emission emissions environmental media environmental monitoring environmental risk EPS feedback control Fenton system gas chromatography-mass spectrometry gene expression HBCD heart failure heavy metals historical trends hydroxyl radicals incineration joint toxicity maternal blood multiwell plate N fractions Odra River estuary online monitoring organic pollutants organotin compounds oxidative stress PAHs PCDD/F PCNs PFASs phthalate polybrominated diphenyl ethers (PBDEs) polycyclic aromatic hydrocarbons (PAHs) polyhaloaromatic compounds polypropylene POPs pore size distribution QSAR-ICE-SSD quality control (QC) reference materials (RMs) regulated e-waste recycling renewable energies resin risk assessment risks screening assay sediment sediment core sequential samples serum shallow lake sources spatial distribution tetrabromobisphenol A thibz gene thyroid hormone trace elements trueness turning frequency variation vegetable verification VOCs volatile organic compounds (VOCs) water analysis water treatment Xenopus laevis XPS zebrafish |
| ISBN | 3-0365-5316-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910619466403321 |
|
Liu Wenbin
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Finite Difference Computing with PDEs [[electronic resource] ] : A Modern Software Approach / / by Hans Petter Langtangen, Svein Linge
| Finite Difference Computing with PDEs [[electronic resource] ] : A Modern Software Approach / / by Hans Petter Langtangen, Svein Linge |
| Autore | Langtangen Hans Petter |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Springer Nature, 2017 |
| Descrizione fisica | 1 online resource (XXIII, 507 p. 150 illus.) |
| Disciplina | 004 |
| Collana | Texts in Computational Science and Engineering |
| Soggetto topico |
Computer mathematics
Computer science—Mathematics Numerical analysis Computational Science and Engineering Mathematical Applications in Computer Science Numeric Computing |
| Soggetto non controllato |
python
numerical methods finite difference methods programming verification differential equations |
| ISBN | 3-319-55456-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Vibration ODEs -- Wave Equations -- Diffusion equations -- Advection-dominated equations -- Nonlinear problems -- Useful formulas -- Truncation error analysis -- Software engineering: wave equation model -- References -- Index. . |
| Record Nr. | UNINA-9910231237503321 |
|
Langtangen Hans Petter
|
||
| Springer Nature, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters
| Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
| Autore | Ralf Küsters |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
| Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
| ISBN | 3-319-89722-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
| Record Nr. | UNINA-9910293140103321 |
|
Ralf Küsters
|
||
| Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters
| Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
| Autore | Ralf Küsters |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
| Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
| ISBN | 3-319-89722-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
| Record Nr. | UNISA-996465583103316 |
|
Ralf Küsters
|
||
| Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Remote Sensing of the Terrestrial Hydrologic Cycle
| Remote Sensing of the Terrestrial Hydrologic Cycle |
| Autore | Tang Qiuhong |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 online resource (260 p.) |
| Soggetto topico |
Geography
Research & information: general |
| Soggetto non controllato |
China
ChinaFLUX climate change clouds and earth's radiation energy system (CERES) cloudy sky cooling effects Daihai Lake deep learning Doppler radar dry-wet regime error analysis evaluation evapotranspiration evapotranspiration (ET) exorheic catchments Fengyun GIMMS GLDAS GPM GRACE Huangqihai Lake hydrological cycle IMERG infrared remote sensing irrigation intensity irrigation mapping irrigation signal K-nearest neighbor lake degradation land cover change leave-one-out cross validation Microwave emissivity difference vegetation index (EDVI) MODIS n/a precipitation precipitation classification quantitative precipitation estimates radar-rain gauge merging rain gauge random forest remote sensing reservoir storage runoff satellite remote sensing SMAP soil moisture SRTM subhumid region terrestrial water storage changes Three-North region three-temperature model Tropical Precipitation Measurement Mission (TRMM) urban hedges Variable Infiltration Capacity (VIC) model vegetation dynamics verification water balance weather radar quantitative precipitation estimation winter wheat Yarlung Zangbo River |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557581803321 |
|
Tang Qiuhong
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Space for Sustainability: Using Data from Earth Observation to Support Sustainable Development Indicators
| Space for Sustainability: Using Data from Earth Observation to Support Sustainable Development Indicators |
| Autore | Morse Stephen |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (222 p.) |
| Soggetto topico |
Environmental economics
Research and information: general |
| Soggetto non controllato |
Brazil
climate change data challenges demography desertification earth observation Earth observation Earth Observation Earth Observation (EO) Earth observations education end-users Environmental Land Management environmental management flooding global change Google Street View (GSV) gridded population habitat assessment habitat suitability hazards indicator type Land Degradation Neutrality land use monitoring overcrowded schools planetary measurement remote sensing reporting SDGs socio-economic soil organic carbon soil organic matter Sustainable Development Goals UN sustainable development goals uncertainty evaluation urbanization verification very high resolution satellite data vulnerability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Space for Sustainability |
| Record Nr. | UNINA-9910580205203321 |
|
Morse Stephen
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
