AL MOMENTO ESAURITO

Lecture Notes in Computer Science Ser.: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings by Swarat Chaudhuri (2023, Trade Paperback)

Informazioni su questo prodotto

Prodotto più venduto in Università e adulti

Diapositiva attuale {CURRENT_SLIDE} di {TOTAL_SLIDES}- Prodotto più venduto in Università e adulti

Psichiatria. Un'industria di morte. DVD
Nessun punteggio o recensione
EUR 11,90 Novità
EUR 9,90 usato
Necronomicon
Nessun punteggio o recensione
EUR 12,00 Novità
EUR 12,00 usato
Detonation Island
Nessun punteggio o recensione
EUR 7,00 Novità
---- usato
Valvole e dintorni. Ascesa e declino delle valvole termoioniche
Nessun punteggio o recensione
EUR 19,90 Novità
---- usato

Risparmia su Università e adulti

Diapositiva attuale {CURRENT_SLIDE} di {TOTAL_SLIDES}- Risparmia su Università e adulti

Libri Carlos Castaneda - Gli Insegnamenti Di Don Juan
EUR 10,67
Prezzo medio di vendita EUR 11,42
Il miracolo della presenza mentale. Un manuale di meditazione
EUR 10,00
Prezzo medio di vendita EUR 11,94
Libri Famiglia Cristiana Nella Casa Del Padre. Repertorio Di Canti Per La Liturg
EUR 18,46
Prezzo medio di vendita EUR 19,03
Libri I Tre Iniziati - Il Kybalion. Uno Studio Della Filosofia Ermetica Dell'ant
EUR 11,13
Prezzo medio di vendita EUR 11,86

Altri oggetti che ti potrebbero interessare

Diapositiva attuale {CURRENT_SLIDE} di {TOTAL_SLIDES}- Altri oggetti che ti potrebbero interessare

Informazioni su questo prodotto

Product Identifiers

Publisher
Springer
ISBN-10
3031331699
ISBN-13
9783031331695
eBay Product ID (ePID)
15060628578

Product Key Features

Number of Pages
Xxiii, 490 Pages
Publication Name
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Language
English
Subject
Software Development & Engineering / General, Hardware / General, Computer Science, General
Publication Year
2023
Type
Textbook
Subject Area
Mathematics, Computers
Author
Swarat Chaudhuri
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Weight
27.6 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Dewey Edition
23
Series Volume Number
13903
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
004.0151
Table Of Content
Non-linear Activation Functions.- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes.- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq.- Verifying an Aircraft Collision Avoidance Neural Network with Marabou.- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.- Learning Symbolic Timed Models from Concrete Timed Data.- Reward Shaping from Hybrid Systems Models in Reinforcement Learning.- Conservative Safety Monitors of Stochastic Dynamical Systems.- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.- A Framework for Policy Based Negotiation.- Rewrite-Based Decomposition of Signal Temporal Logic Specifications.- Quantitative Verification and Strategy Synthesis for BDI Agents.- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.- Reasoning over Test Specifications using Assume-Guarantee Contracts.- Formally Proved Memory Controllers: From the Standards to Silicon.- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.- Formalized High Level Synthesis with Applications to Cryptographic Hardware.- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.- Automata-Based Software Model Checking of Hyperproperties.- Condition Synthesis Realizability via Constrained Horn Clauses.- A Toolkit for Automated Testing of Dafny.- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.- Subtropical Satisfiability for SMT Solving.- A Linear Weight Transfer Rule for Local Search.- 1.1 : Zero-suppressed Decision Diagrams in External Memory.- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
Synopsis
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
LC Classification Number
QA76.758

Scegli la categoria

Lecture Notes in Computer Science Ser.: NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings by Swarat Chaudhuri (2023, Trade Paperback)

Prodotto più venduto in Università e adulti

Psichiatria. Un'industria di morte. DVD

Necronomicon

Detonation Island

Valvole e dintorni. Ascesa e declino delle valvole termoioniche

Risparmia su Università e adulti

Libri Carlos Castaneda - Gli Insegnamenti Di Don Juan

Il miracolo della presenza mentale. Un manuale di meditazione

Libri Famiglia Cristiana Nella Casa Del Padre. Repertorio Di Canti Per La Liturg

Libri I Tre Iniziati - Il Kybalion. Uno Studio Della Filosofia Ermetica Dell'ant

Altri oggetti che ti potrebbero interessare

Libri e riviste di narrativa tascabili, della science fiction

Libri e riviste di narrativa, della science fiction in inglese

Libri e riviste di narrativa Autore Isaac Asimov, della science fiction

Libri e riviste di narrativa tascabili, della science fiction in italiano

Libri e riviste di narrativa copertine rigide, della science fiction

Libri e riviste di narrativa di autore louisa may alcott

Informazioni su questo prodotto

Product Identifiers

Product Key Features

Dimensions

Additional Product Features