| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996418280903316 |
|
|
Titolo |
NASA Formal Methods [[electronic resource] ] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXI, 442 p. 49 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 12229 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer organization |
Computers |
Artificial intelligence |
Computer simulation |
Software Engineering |
Computer Systems Organization and Communication Networks |
Theory of Computation |
Artificial Intelligence |
Simulation and Modeling |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix |
|
|
|
|
|
|
|
|
|
|
|
Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces. |
|
|
|
|
|
|
Sommario/riassunto |
|
The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910788289103321 |
|
|
Autore |
Kurlan Roger M. |
|
|
Titolo |
Hyperkinetic movement disorders / / Roger M. Kurlan, Paul E. Greene, Kevin M. Biglan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Oxford : , : Oxford University Press, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-19-937546-1 |
0-19-937547-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (209 pages) : illustrations (some color), portraits |
|
|
|
|
|
|
Collana |
|
Contemporary neurology series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This resource covers the signs, pathophysiology, genetics (where applicable), and treatment options of each form of hyperkinetic movement disorder. There is a presentation of clinically-focused information regarding the full spectrum of neurological and psychiatric conditions characterised by involuntary movements. This title expands on hyperkinetic movement disorders where substantial progress has been made in the understanding of the role of the basal ganglia in the pathophysiology of these hyperkinesia disorders and in motor control, muscle tone, posture, and cognitive processes. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910171045903321 |
|
|
Titolo |
Campi immaginabili : rivista quadrimestrale di cultura |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Soveria Mannelli, : Rubbettino, [2012?]- |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
| |