| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465909103316 |
|
|
Titolo |
Automated Technology for Verification and Analysis [[electronic resource] ] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / / edited by Ahmed Bouajjani, Wei-Ngan Chin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-280-38884-6 |
9786613566768 |
3-642-15643-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2010.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 404 p. 112 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6252 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computer logic |
Programming languages (Electronic computers) |
Software Engineering/Programming and Operating Systems |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results -- Abstraction Learning -- Synthesis: Words and Traces -- Regular Papers -- Promptness in ?-Regular Automata -- Using Redundant Constraints for Refinement -- Methods for Knowledge Based Controlling of Distributed Systems -- Composing Reachability Analyses of Hybrid Systems for Safety and Stability -- The Complexity of Codiagnosability for Discrete Event and Timed Systems -- On |
|
|
|
|
|
|
|
|
|
|
Scenario Synchronization -- Compositional Algorithms for LTL Synthesis -- What’s Decidable about Sequences? -- A Study of the Convergence of Steady State Probabilities in a Closed Fork-Join Network -- Lattice-Valued Binary Decision Diagrams -- A Specification Logic for Exceptions and Beyond -- Non-monotonic Refinement of Control Abstraction for Concurrent Programs -- An Approach for Class Testing from Class Contracts -- Efficient On-the-Fly Emptiness Check for Timed Büchi Automata -- Reachability as Derivability, Finite Countermodels and Verification -- LTL Can Be More Succinct -- Automatic Generation of History-Based Access Control from Information Flow Specification -- Auxiliary Constructs for Proving Liveness in Compassion Discrete Systems -- Symbolic Unfolding of Parametric Stopwatch Petri Nets -- Recursive Timed Automata -- Probabilistic Contracts for Component-Based Design -- Tool Papers -- Model-Checking Web Applications with Web-TLR -- GAVS: Game Arena Visualization and Synthesis -- CRI: Symbolic Debugger for MCAPI Applications -- MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming -- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems -- Developing Model Checkers Using PAT -- YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B -- COMBINE: A Tool on Combined Formal Methods for Bindingly Verification -- Rbminer: A Tool for Discovering Petri Nets from Transition Systems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466208503316 |
|
|
Titolo |
Automated Technology for Verification and Analysis [[electronic resource] ] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings / / edited by Madhavan Mukund, Supratik Chakraborty |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 438 p. 106 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7561 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computer logic |
Programming languages (Electronic computers) |
Software Engineering |
Programming Techniques |
Computer Communication Networks |
Logics and Meanings of Programs |
Programming Languages, Compilers, Interpreters |
Software Engineering/Programming and Operating Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
International conference proceedings. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic |
|
|
|
|
|
|
|
|
|
|
|
|
|
verification, constraint solving and applications, and probabilistic systems. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910779786003321 |
|
|
Titolo |
Undernutrition [[electronic resource] ] : effects, causes and management / / Jason E. Lee, editor |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hauppauge, N.Y., : Nova Science Publishers, c2011 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (189 p.) |
|
|
|
|
|
|
Collana |
|
Nutrition and diet research progress |
Public health in the 21st century |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Malnutrition |
Poor - Nutrition |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Reproductive programming : the role of early life nutrition -- / Stella Chadio, Basiliki Kotsampasi -- Maternal perinatal undernutrition programs stress neuroendocrine systems in the male rat / D. Vieau ... [et al.] -- Effects of maternal undernutrition on lung growth and development in the offspring / Chung-Ming Chen, Leng-Fang Wang, Hsiu-Chu Chou -- Undernutrition from fetal life to puberty, fetal programming, and compensatory growth in rat testes / P. Genovese ... [et al.] -- Does educational attainment affect nutritional status? : a study among underprivileged adults of six districts of West Bengal, India / Sadaruddin Biswas, Kaushik Bose -- Prevalence of thinness among rural Bengalee Muslim school children from Eastern India / Prakash Ranjan Mondal, Sadaruddin Biswas, Kaushik Bose -- Long-term effects of early undernutrition on wound healing / Marilena Chinali Komesu, Miguel Angel Sala, Fabiano Misael Cavenaghi -- Effects of protein deprivation on the temporomandibular joint / Joao Gualberto de C. Luz. |
|
|
|
|
|
|
|
| |