{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":58,"n_cols":5,"rows_kept":58,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[20,2,20,3],[21,2,21,3],[25,2,25,3],[33,2,33,3],[33,4,33,5],[34,2,34,3],[34,4,34,5],[35,2,35,3],[35,4,35,5],[36,2,36,3],[37,2,37,3],[38,2,38,3],[39,2,39,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[51,2,51,3],[52,2,52,3],[55,2,55,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910820091003321"]
[null,null,"Titolo",null,"Communicating embedded systems : software and design : formal methods / / edited by Claude Jard, Olivier H. Roux"]
[null,null,"Pubbl/distr/stampa",null,"London, : ISTE"]
[{"$nulls":4},"Hoboken, N.J., : Wiley, 2010"]
[null,null,"ISBN",null,"9781118558188"]
[{"$nulls":4},"1118558189"]
[{"$nulls":4},"9781118600092"]
[{"$nulls":4},"1118600096"]
[{"$nulls":4},"9781118600122"]
[{"$nulls":4},"1118600126"]
[{"$nulls":4},"9781299187450"]
[{"$nulls":4},"1299187455"]
[null,null,"Edizione",null,"[1st edition]"]
[null,null,"Descrizione fisica",null,"1 online resource (275 p.)"]
[null,null,"Collana",null,"ISTE"]
[null,null,"Disciplina",null,"621.39/2"]
[null,null,"Soggetti",null,"Embedded computer systems - Programming"]
[{"$nulls":4},"Embedded computer systems - Design and construction"]
[{"$nulls":4},"Computer software - Development"]
[{"$nulls":4},"Formal methods (Computer science)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Cover; Communicating Embedded Systems; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Models for Real-Time Embedded Systems; 1.1. Introduction; 1.1.1. Model-checking and control problems; 1.1.2. Timed models; 1.2. Notations, languages and timed transition systems; 1.3. Timed models; 1.3.1. Timed Automata; 1.3.2. Time Petri nets; 1.3.2.1. T-time Petri nets; 1.3.2.2. Timed-arc petri nets; 1.3.3. Compared expressiveness of several classes of timed models; 1.3.3.1. Bisimulation and expressiveness of timed models; 1.3.3.2. Compared expressiveness of different classes of TPN"]
[{"$nulls":4},"1.3.3.3. Compared expressiveness of TA, TPN, and TAPN1.4. Models with stopwatches; 1.4.1. Formal models for scheduling aspects; 1.4.1.1. Automata and scheduling; 1.4.1.2. Time Petri nets and scheduling; 1.4.2. Stopwatch automata; 1.4.3. Scheduling time Petri nets; 1.4.4. Decidability results for stopwatch models; 1.5. Conclusion; "]
[{"$nulls":4},"1.6. Bibliography; Chapter 2. Timed Model-Checking; 2.1. Introduction; 2.2. Timed models; 2.2.1. Timed transition system; 2.2.2. Timed automata; 2.2.3. Other models; 2.3. Timed logics; 2.3.1. Temporal logics CTL and LTL; 2.3.2. Timed extensions; 2.3.2.1. Timed CTL"]
[{"$nulls":4},"2.3.2.2. Timed LTL2.4. Timed model-checking; 2.4.1. Model-checking LTL and CTL (untimed case); 2.4.2. Region automaton; 2.4.3. Model-checking TCTL; 2.4.4. Model-checking MTL; 2.4.5. Efficient model-checking; 2.4.6. Model-checking in practice; 2.5. Conclusion; 2.6. Bibliography; Chapter 3. Control of Timed Systems; 3.1. Introduction; 3.1.1. Verification of timed systems; 3.1.2. The controller synthesis problem; 3.1.3. From control to game; 3.1.4. Game objectives; 3.1.5. Varieties of untimed games; 3.2. Timed games; 3.2.1. Timed game automata; 3.2.2. Strategies and course of the game"]
[{"$nulls":4},"3.2.2.1. The course of a timed game3.2.2.2. Strategies; 3.3. Computation of winning states and strategies; 3.3.1. Controllable predecessors; 3.3.2. Symbolic operators; 3.3.3. Symbolic computation of winning states; 3.3.4. Synthesis of winning strategies; 3.4. Zeno strategies; 3.5. Implementability; 3.5.1. Hybrid automata; 3.5.2. On the existence of non-implementable continuous controllers; 3.5.3. Recent results and open problems; 3.6. Specification of control objectives; 3.7. Optimal control; 3.7.1. TA with costs; 3.7.2. Optimal cost in timed games; 3.7.3. Computation of the optimal cost"]
[{"$nulls":4},"3.7.4. Recent results and open problems3.8. Efficient algorithms for controller synthesis; 3.8.1. On-the-fly algorithms; 3.8.2. Recent results and open problems; 3.9. Partial observation; 3.10. Changing game rules...; 3.11. Bibliography; Chapter 4. Fault Diagnosis of Timed Systems; 4.1. Introduction; 4.2. Notations; 4.2.1. Timed words and timed languages; 4.2.2. Timed automata; 4.2.3. Region graph of a TA; 4.2.4. Product of TA; 4.2.5. Timed automata with faults; 4.3. Fault diagnosis problems; 4.3.1. Diagnoser; 4.3.2. The problems; 4.3.3. Necessary and sufficient condition for diagnosability"]
[{"$nulls":4},"4.4. Fault diagnosis for discrete event systems"]
[null,null,null,"Sommario/riassunto","The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools. This book deals with these formal methods applied to communicating embedded systems by presenting the"]
[null,"2.","Record Nr.",null,"UNINA9910155323003321"]
[null,null,"Autore",null,"Madej Krystina"]
[null,null,"Titolo",null,"Physical Play and Children’s Digital Games / / by Krystina Madej"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016"]
[null,null,"ISBN",null,"9783319428758"]
[null,null,"Edizione",null,"[1st ed. 2016.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 89 p. 48 illus., 40 illus. in color.)"]
[null,null,"Collana",null,"SpringerBriefs in Computer Science, , 2191-5768"]
[null,null,"Disciplina",null,"794.8083"]
[null,null,"Soggetti",null,"User interfaces (Computer systems)"]
[{"$nulls":4},"Multimedia systems"]
[{"$nulls":4},"Child development"]
[{"$nulls":4},"Well-being"]
[{"$nulls":4},"Children"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[{"$nulls":4},"Media Design"]
[{"$nulls":4},"Early Childhood Education"]
[{"$nulls":4},"Child Well-being"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Introduction -- Play -- Child Development -- Toys and Games -- Engaging Young Children in Physical Play."]
[null,null,null,"Sommario/riassunto","Play engages humans cognitively, emotionally, and physically at all ages. Using a historical framework, and focusing on play as represented by material artifacts such as toys and games, this book explores play as a form of somatic engagement that reflects cultural attitudes about development and learning as these have evolved over time in western culture. Theorists in the twentieth century such as Klein and Winnicott, Huizinga and Callois, Piaget, Bruner and Vygotsy brought different perspectives to our understanding of play’s role in our society. In particular, Vygotsky’s theories about process provide insight into how children attend to learning and assimilate new information. The increasing use of digital media as both an entertainment and learning environment at ever-younger ages, is generating new discussions about the nature and value of play in children’s development, in particular, physical, or somatic play. The emphasis on games intended for children necessitates a discussion of "]
[{"$nulls":4},"the cognitive, behavioral, and neuroscience that supports play activities and physical engagement as a crucial aspect of development. The book then looks at the trajectory of digital games in contemporary culture and explores whether these artifacts (whether intended for learning or entertainment) have extended or are curtailing boundaries of somatic engagement. Finally, the book discusses alternative play and game design and, speculates on the future of new media play artifacts."]