| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICASMIL0001133 |
|
|
Titolo |
Emotions, cognition, and behavior / edited by Carroll E. Izard, Jerome Kagan, and Robert B. Zajonc |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, : Cambridge university press, 1984 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
sul front. : Based, in part, on workshops sponsored by the Committee on Social and Affective Development During Childhood of the Social Science Research Council |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910720065703321 |
|
|
Titolo |
Model Checking Software : 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings / / edited by Georgiana Caltais, Christian Schilling |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
9783031321573 |
9783031321566 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (202 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 13872 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic control |
Robotics |
Automation |
Software engineering |
Artificial intelligence |
Computer engineering |
Computer networks |
Control, Robotics, Automation |
Software Engineering |
Artificial Intelligence |
Computer Engineering and Networks |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Binary Decision Diagrams -- Efficient Implementation of LIMDDs for Quantum Circuit\ Simulation -- ParaGnosis: A Tool for Parallel Knowledge Compilation -- Concurrency -- Model Checking Futexes -- Sound Concurrent Traces for Online Monitoring -- Testing -- Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks -- Accelerating black box testing with light-weight learning -- Synthesis -- WikiCoder: Learning to Write Knowledge-Powered Code -- Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties -- Explicit-state Model Checking -- Elimination of Detached Regions in Dependency Graph Verification -- Potency-Based Heuristic Search with Randomness for Explicit Model Checking -- GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking. |
|
|
|
|
|
|
|
| |