| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910464450903321 |
|
|
Titolo |
Practical guide to emergency ultrasound / / editors, Karen S. Cosby, John L. Kendall |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Philadelphia : , : Wolters Kluwer Health/Lippincott Williams & Wilkins, , [2014] |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-4698-3010-8 |
1-4698-3933-4 |
1-4698-3011-6 |
1-4698-7712-0 |
|
|
|
|
|
|
|
|
Edizione |
[Second edition.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (468 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
CosbyKaren S |
KendallJohn L |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Ultrasonic imaging |
Emergency medicine - Diagnosis |
Electronic books. |
|
|
|
|
|
|
|
|
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 |
|
section I. Getting started with bedside ultrasound -- section II. Ultrasound in the resuscitation of acute injury or illness -- section III. Evaluation of abdominal conditions -- section IV. Evaluation of pelvic complaints -- section V. Vascular emergencies -- section VI. Scrotal emergencies -- section VII. Soft tissue and musculoskeletal conditions -- section VIII. Problems of the head and neck -- section IX. Pediatric ultrasound -- section X. Implementing ultrasound into the clinical setting. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Keep pace with the rapid changes in Emergency Ultrasound knowledge. This 2nd edition of the Practical Guide to Emergency Ultrasound addressesyour need fora practical,comprehensive,how-tobook on ultrasound techniques in the emergency department, including new and expanded applications. Organized in an easy-to-navigate problem-based and symptom-based approach, chapters cover many uses for ultrasound in the ED and proper ultrasound technique. Over |
|
|
|
|
|
|
|
|
|
|
|
|
|
900 images, many in full color, illustrate key concepts and diagnoses, including the use of echocardiography in the ED and newer applications for imagi |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910495909803321 |
|
|
Autore |
Seguin Laura |
|
|
Titolo |
Apprentissages de la citoyenneté : Expériences démocratiques et environnement / Laura Seguin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris, : Éditions de la Maison des sciences de l’homme, 2020 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (360 p.) |
|
|
|
|
|
|
Soggetti |
|
Political Science |
Sociology |
citoyenneté |
démocratie |
environnement |
sciences politiques |
sociologie |
démocratie participative |
apprentissage |
citizenship |
democraty |
political sciences |
sociology |
participatory democracy |
learning process |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Citizenship has been making a strong resurgence in the environmental |
|
|
|
|
|
|
|
|
|
|
field, visible both in institutionalised procedures intended to include all citizens in decision-making, and in protest movements or resistance to some planning projects or land uses. For those who take part—citizens, members of associations, policy makers and public policy professionals—, these two kinds of participatory experiences represent significant spaces for political learning. Through the exploration of an institutionalised procedure for public participation (a citizens’ conference on water management) and a protest movement (against shale gas), this work identifies what actors learn on the one hand, and the learning methods on the other. The ethnographic survey and the use of educational sciences constitute the originality of this research which describes and analyses experiments in political learning, education to conflict as well as participation. À l'heure où de nouvelles formes de démocratie rencontrent les débats sur l'environnement, ce livre décrit deux expériences où citoyenneté et prise de conscience écologique se mêlent. En Poitou-Charentes, Laura Seguin a suivi une conférence de citoyens sur la gestion de l'eau. Ce dispositif de participation, destiné à inclure des citoyens dans les prises de décision, n'est pas sans rappeler la Convention citoyenne pour le climat. En Ardèche, l'expérience de la citoyenneté prend la forme d'une mobilisation contestataire contre l'extraction de gaz de schiste, plongeant le lecteur dans les rouages d'un mouvement de résistance et de fabrique d'alternatives écologiques. Ces expériences participatives, faites de débats conflictuels, d'échanges et de construction de savoirs, d'émotions et de délibérations, constituent pour ceux qui y prennent part (citoyens, acteurs associatifs, élus, professionnels des politiques publiques...) de véritables espaces d'apprentissages. En analysant le point de vue de tous les acteurs, cet ouvrage identifie à la fois… |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910768461503321 |
|
|
Titolo |
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings / / edited by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Mahesh Viswanathan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIV, 430 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 5311 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer networks |
Computer science |
Computers, Special purpose |
Software engineering |
Compilers (Computer programs) |
Computer Communication Networks |
Computer Science Logic and Foundations of Programming |
Special Purpose and Application-Based Systems |
Software Engineering |
Compilers and Interpreters |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust and Automation in Verification Tools -- Model Checking -- CTL Model-Checking with Graded Quantifiers -- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic for Genetic Regulatory Networks -- Compositional Verification for Component-Based Systems and Application -- A Direct Algorithm for Multi-valued Bounded Model Checking -- Software Verification -- Model Checking Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures -- |
|
|
|
|
|
|
|
|
|
|
|
Automating Algebraic Specifications of Non-freely Generated Data Types -- Interpolants for Linear Arithmetic in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo Equality with Lazy Superposition -- Linear-Time Analysis -- Controllable Test Cases for the Distributed Test Architecture -- Tool Demonstration Papers -- Goanna: Syntactic Software Model Checking -- A Dynamic Assertion-Based Verification Platform for Validation of UML Designs -- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications -- DiVinE Multi-Core – A Parallel LTL Model-Checker -- Alaska -- NetQi: A Model Checker for Anticipation Game -- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT -- Timed and Stochastic Systems -- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions -- Decidable Compositions of O-Minimal Automata -- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies -- Model Based Importance Analysis for Minimal CutSets -- Theory -- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic -- Tree Pattern Rewriting Systems -- Deciding Bisimilarity of Full BPA Processes Locally -- Optimal Strategy Synthesis in Request-Response Games -- Short Papers -- Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol -- Impartial Anticipation in Runtime-Verification -- Run-Time Monitoring of Electronic Contracts -- Practical Efficient Modular Linear-Time Model-Checking -- Passive Testing of Timed Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers. |
|
|
|
|
|
|
|
| |