| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465310803316 |
|
|
Titolo |
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / / edited by Andrea Corradini, Ugo Montanari |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2009.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 343 p.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5486 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Computer science—Mathematics |
Mathematical logic |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Mathematics of Computing |
Theory of Computation |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
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 -- Concurrent Abstract State Machines and ?+? CAL Programs -- Molecules as Automata -- Service-Level Agreements for Service-Oriented Computing -- Contributed Papers -- Tiles for Reo -- C-semiring Frameworks for Minimum Spanning Tree Problems -- What Is a Multi-modeling Language? -- Generalized Theoroidal Institution Comorphisms -- Graph Transformation with Dependencies for the Specification of Interactive Systems -- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi -- A Rewriting Logic Approach to Type Inference -- A Term-Graph Syntax for Algebras over Multisets -- Transformations of Conditional Rewrite Systems Revisited -- Towards a Module System for K -- Property |
|
|
|
|
|
|
|
|
|
|
|
Preserving Refinement for Csp-Casl -- Reconfiguring Distributed Reo Connectors -- A Rewrite Approach for Pattern Containment -- A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum -- Heterogeneous Logical Environments for Distributed Specifications -- Term-Generic Logic -- Declarative Debugging of Rewriting Logic Specifications -- Translating a Dependently-Typed Logic to First-Order Logic. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2008, held in Pisa, Italy, on June 13-16, 2008. The 18 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 33 presentations at the workshop. The papers focus on the algebraic approaches to the specification and development of systems, and address topics such as formal methods for system development, specification languages and methods, systems and techniques for reasoning about specifications, specification development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910831014703321 |
|
|
Titolo |
Adaptive Sports Medicine : A Clinical Guide / / edited by Arthur Jason De Luigi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[2nd ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (507 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Sports medicine |
Orthopedics |
Primary care (Medicine) |
Sports Medicine |
Orthopaedics |
Primary Care Medicine |
Medicina esportiva |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
History of Adaptive and Disabled Rights within Society -- Wheelchair Sports Technology and Biomechanics -- Technology and Biomechanics of Adaptive Sports Prostheses -- Review of Injury Epidemiology in Paralympic Sports -- Medical Considerations in Adaptive Sports -- Emergent Care of the Adaptive Athlete -- Surgical Considerations in the Adaptive Athlete -- Rehabilitation of the Adaptive Athlete -- Pain Management of the Adaptive Athlete -- Sports Related Concussion in Para Athletes -- Adaptive Running -- Adaptive Cycling -- Adaptive Golf -- Wheelchair Basketball -- Wheelchair Rugby -- Adaptive Soccer -- Wheelchair Softball -- Para Dance Sports -- Wheelchair Fencing -- Wheelchair Curling -- Wheelchair Tennis and Para-table Tennis -- Adaptive Volleyball -- Adaptive Water Sports -- Hockey and the Adaptive Athlete: Para Ice Hockey, Special Hockey, Standing Amputee Hockey, Deaf Hockey, and Blind Hockey -- Adaptive Alpine Skiing and Para-snowboarding -- Adaptive Throwing Sports: Discus, Javelin, Shot |
|
|
|
|
|
|
|
|
|
|
|
Put, and Boccia -- Adaptive Shooting Sports: Archery, Air Rifle, Trapshooting -- Powerlifting in Adaptive Sports -- Adaptive Combative Sports (Judo, Taekwondo, Boxing, Wrestling, Mixed Martial Arts) -- Adaptive Extreme Sports -- Wheelchair Lacrosse -- Military Veterans and Adaptive Sports -- Pediatric Adaptive Athletes -- Adaptive Sports Event Planning -- Policy and Advocacy Initiatives to Promote the Benefits of Sports Participation for Individuals with Disability -- Controversies in Adaptive Sports. |
|
|
|
|
|
|
Sommario/riassunto |
|
Now in a revised and expanded second edition, this unique book provides a comprehensive review of the unique aspects of adaptive sports medicine and adaptive athletes who are increasingly active and prominent, not only individually and in local leagues and organizations but also in larger settings like the Paralympics and Warrior Games. This book is divided into four thematic sections. Section one covers the history and natural course of the care, policies, and laws for persons with disabilities, as well as the biomechanics and technology of wheelchair sports and adaptive sports prostheses. The medical considerations of the adaptive athlete comprise section two, including epidemiology, emergent care, and surgical and rehabilitative considerations. Section three is the largest section, discussing considerations for specific adaptive sports, including adaptive running, cycling, water sports, throwing sports, wheelchair basketball, softball and rugby, as well as combative and extreme sports. Selected topics, including event planning, advocacy and controversies such as doping, are covered in section four. Chapters new to this edition include approaches to concussions and sports-related considerations for specific populations like children and adolescents, active duty military and veterans. A comprehensive yet practical text, Adaptive Sports Medicine 2nd Edition remains the go-to resource for this active population and is an invaluable reference for any sports medicine or primary medicine practitioner. |
|
|
|
|
|
|
|
| |