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.
Albion
| Albion |
| Pubbl/distr/stampa | Pullman, Wash., : Washington State University Press |
| Disciplina | 941/.005 |
| Soggetto topico | Història |
| Soggetto genere / forma |
periodicals.
Conference papers and proceedings. History Periodicals. Périodiques. Congressos. Revistes electròniques. |
| Soggetto non controllato | History |
| ISBN | 9780463884089 |
| ISSN | 2326-1242 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910144516203321 |
| Pullman, Wash., : Washington State University Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Annals of glaciology
| Annals of glaciology |
| Pubbl/distr/stampa | [Cambridge, Cambridgeshire], : International Glaciological Society |
| Disciplina | 551.3105 |
| Soggetto topico |
Glaciology
Glaciers Glaceres |
| Soggetto genere / forma |
Congressos.
Revistes electròniques. |
| ISSN | 1727-5644 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996320962403316 |
| [Cambridge, Cambridgeshire], : International Glaciological Society | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Annals of glaciology
| Annals of glaciology |
| Pubbl/distr/stampa | [Cambridge, Cambridgeshire], : International Glaciological Society |
| Descrizione fisica | 1 online resource |
| Disciplina | 551.3105 |
| Soggetto topico |
Glaciology
Glaciers Glaciologie Glaceres |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. Congressos. Revistes electròniques. |
| ISSN | 1727-5644 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910170659403321 |
| [Cambridge, Cambridgeshire], : International Glaciological Society | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu
| Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings / / edited by Ahmed Bouajjani, Lukáš Holík, Zhilin Wu |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (442 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Computer science Artificial intelligence Software Engineering Computer Engineering and Networks Computer Hardware Theory of Computation Artificial Intelligence Demostració automàtica de teoremes |
| Soggetto genere / forma |
Congressos.
Llibres electrònics |
| ISBN |
9783031199929
3031199928 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Learning Monitorable Operational Design Domains for Assured Autonomy -- Reinforcement Learning -- Dynamic Shielding for Reinforcement Learning in Black-Box Environments -- An Impossibility Result in Automata-Theoretic Reinforcement Learning -- Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems -- Program Analysis and Verification -- SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification -- Fence Synthesis under the C11 Memory Model -- Checking Scheduling-induced Violations of Control Safety Properties -- Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions -- SMT and Verification -- Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test -- Verification of SMT Systems with Quantifiers -- Projected Model Counting: Beyond Independent Support -- Automata and Applications -- Minimization of Automata for Liveness Languages -- Temporal Causality in Reactive Systems -- PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems -- Active Learning -- Learning Deterministic One-Clock Timed Automata via Mutation Testing -- Active Learning of One-Clock Timed Automata using Constraint Solving -- Learning and Characterizing Fully-Ordered Lattice Automata -- Probabilistic and Stochastic Systems -- Optimistic and Topological Value Iteration for Simple Stochastic Games -- Alternating Good-for-MDPs Automata -- PET - A Partial Exploration Tool for Probabilistic Verification -- STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego -- Synthesis and Repair -- Synthesis of Parametric Hybrid Automata from Time Series -- Optimal Repair For Omega-regular Properties -- Repairing Real-Time Requirements -- Verification of Neural Networks -- An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks -- Prioritizing Corners in OoD Detectors via Symbolic String Manipulation -- POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems. |
| Record Nr. | UNINA-9910620200703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational Physiology : Simula Summer School 2022 − Student Reports / / edited by Kimberly J. McCabe
| Computational Physiology : Simula Summer School 2022 − Student Reports / / edited by Kimberly J. McCabe |
| Autore | McCabe Kimberly J (Kimberly Joan) |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | 2023 |
| Descrizione fisica | 1 online resource (XII, 109 p. 45 illus., 41 illus. in color.) |
| Disciplina | 003.3 |
| Collana | Reports on Computational Physiology |
| Soggetto topico |
Mathematics - Data processing
Computational Science and Engineering Fisiologia Processament de dades |
| Soggetto genere / forma |
Congressos.
Llibres electrònics |
| ISBN | 9783031253744 |
| Classificazione | COM014000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. An Automated Cardiac Constitutive Modelling Framework with -- 2. Evolutionary Strain Energy Functions -- 3. Electromechanical In Silico Testing Alters Predicted Drug-Induced Risk to Develop Torsade de Pointes -- 4. In silico Investigation of Sex-Specific Osteoarthritis in Human Articular Chondrocytes -- 5. Recapitulating Functional Heterogeneity in Electrophysiologically Active Tissues -- 6. Realizing Synaptic Signal Transmission During Astrocyte-Neuron Interactions within the EMI Framework. |
| Record Nr. | UNINA-9910676686803321 |
McCabe Kimberly J (Kimberly Joan)
|
||
| 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digest of technical papers
| Digest of technical papers |
| Pubbl/distr/stampa | [Los Angeles] : , : Society for Information Display |
| Descrizione fisica | 1 online resource (volumes) : illustrations |
| Disciplina | 621.38 |
| Soggetto topico |
Information display systems
Affichage (Technique) Visualització (Informàtica) |
| Soggetto genere / forma |
periodicals.
proceedings (reports) Periodicals. Conference papers and proceedings. Périodiques. Actes de congrès. Congressos. Revistes electròniques. |
| ISSN | 2168-0159 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Society for Information Display ... International Symposium digest of technical papers
SID Symposium digest of technical papers SID International Symposium digest of technical papers |
| Record Nr. | UNINA-9910172164403321 |
| [Los Angeles] : , : Society for Information Display | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ESAIM Proceedings
| ESAIM Proceedings |
| Pubbl/distr/stampa | Paris, France, : Société de mathématiques appliquées et industrielles, ©1996- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Mathematics
Mathématiques Matemàtica |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. Congressos. Revistes electròniques. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
European series in applied and industrial mathematics.
ESAIM-PROC Proc. ESAIM |
| Record Nr. | UNISA-996214244103316 |
| Paris, France, : Société de mathématiques appliquées et industrielles, ©1996- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
ESAIM Proceedings
| ESAIM Proceedings |
| Pubbl/distr/stampa | Paris, France, : Société de mathématiques appliquées et industrielles, ©1996- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Mathematics
Mathématiques Matemàtica |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. Congressos. Revistes electròniques. |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
European series in applied and industrial mathematics.
ESAIM-PROC Proc. ESAIM |
| Record Nr. | UNINA-9910140237803321 |
| Paris, France, : Société de mathématiques appliquées et industrielles, ©1996- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MATEC web of conferences
| MATEC web of conferences |
| Pubbl/distr/stampa | Les Ulis : , : EDP Sciences - Web of Conferences, , 2012- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Materials science
Engineering Materials Chemistry, Physical and theoretical Ciència dels materials |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. Congressos. Revistes electròniques. |
| Soggetto non controllato | Materials Science |
| ISSN | 2261-236X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Materials science, engineering and chemistry web of conferences |
| Record Nr. | UNISA-996321939603316 |
| Les Ulis : , : EDP Sciences - Web of Conferences, , 2012- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
MATEC web of conferences
| MATEC web of conferences |
| Pubbl/distr/stampa | Les Ulis : , : EDP Sciences - Web of Conferences, , 2012- |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Materials science
Engineering Materials Chemistry, Physical and theoretical Ciència dels materials |
| Soggetto genere / forma |
Periodicals.
Conference papers and proceedings. Congressos. Revistes electròniques. |
| ISSN | 2261-236X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Materials science, engineering and chemistry web of conferences |
| Record Nr. | UNINA-9910141429603321 |
| Les Ulis : , : EDP Sciences - Web of Conferences, , 2012- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto genere / forma
-
Congressos.
(23)
- Periodicals. (14)
- Revistes electròniques. (14)
- Conference papers and proceedings. (11)
- History (3)