05138nam 22007214a 450 991045104810332120200520144314.01-280-50520-697866105052031-4294-0210-51-60750-158-9600-00-0485-01-60129-137-X(CKB)1000000000340193(EBL)265976(OCoLC)171569126(SSID)ssj0000200659(PQKBManifestationID)11179026(PQKBTitleCode)TC0000200659(PQKBWorkID)10221595(PQKB)11485973(MiAaPQ)EBC265976(Au-PeEL)EBL265976(CaPaEBR)ebr10130638(CaONFJC)MIL50520(OCoLC)290475297(EXLCZ)99100000000034019320051128d2006 uy 0engur|n|---|||||txtccrMedicine meets virtual reality 14[electronic resource] accelerating change in healthcare : next medical toolkit /edited by James D. Westwood ... [et al.]Amsterdam IOS Press20061 online resource (620 p.)Studies in health technology and informatics ;v. 119Description based upon print version of record.1-58603-583-5 Includes bibliographical references.Title page; Preface; Conference Organization; Contents; Centerline-Based Parametric Model of Colon for Colonoscopy Simulator; New Tools for Sculpting Cranial Implants in a Shared Haptic Augmented Reality Environment; Reification of Abstract Concepts to Improve Comprehension Using Interactive Virtual Environments and a Knowledge-Based Design: A Renal Physiology Model; A Surgical and Fine-Motor Skills Trainer for Everyone? Touch and Force-Feedback in a Virtual Reality Environment for Surgical TrainingA Topologically Faithful, Tissue-Guided, Spatially Varying Meshing Strategy for the Computation of Patient-Specific Head Models for Endoscopic Pituitary Surgery SimulationDetermination of Face Validity for the Simbionix LAP Mentor Virtual Reality Training Module; Enhancing the Visual Realism of Hysteroscopy Simulation; The Surgical Simulation and Training Markup Language (SSTML): An XML-Based Language for Medical Simulation; Online Robust Model Estimation During In Vivo Needle Insertions; A Software Framework for Surgical Simulation Virtual EnvironmentsAugmented Assessment as a Means to Augmented RealityA Holographic Collaborative Medical Visualization System; Bounds for Damping that Guarantee Stability in Mass-Spring Systems; Bootstrapped Ultrasound Calibration; Combining High-Fidelity Human Patient Simulators with a Standardized Family Member: A Novel Approach to Teaching Breaking Bad News; Virtual Environment-Based Training Simulator for Endoscopic Third Ventriculostomy; Evaluation Methods of a Middleware for Networked Surgical Simulations; A Biomechanical Analysis of Surgeon's Gesture in a Laparoscopic Virtual ScenarioSmart Tool for Force Measurements During Knee Arthroscopy: In Vivo Human StudyFactors Affecting Targeting Using the Computer Assisted Orthopaedic Surgery System (CAOSS); Contouring in 2D While Viewing Stereoscopic 3D Volumes; Integrative Haptic and Visual Interaction for Simulation of PMMA Injection During Vertebroplasty; Flow Visualization for Interactive Simulation of Drugs Injection During Chemoembolization; The Use of a Computer Aided Design (CAD) Environment in 3D Reconstruction of Anatomic SurfacesSimulating the Domain of Medical Modeling and Simulation: The Medical Modeling and Simulation DatabaseAssessing Cognitive & Motor Performance in Minimally Invasive Surgery (MIS) for Training & Tool Design; Virtual Patients: Assessment of Synthesized Versus Recorded Speech; Needle Artifact Localization in 3T MR Images; Robot-Assisted Needle Placement in Open-MRI: System Architecture, Integration and Validation; Polymer Film Based Sensor Networks for Non-Invasive Medical Monitoring; Detecting Trigger Points and Irreversibility Thresholds in Shock and TraumaA Haptic VR Milling Surgery Simulator - Using High-Resolution CT-DataThe remarkable accomplishments of the IT industry and the Internet are trickling steadily into healthcare. This series provides more effective healthcare at a lower overall cost, driven by cheaper and better computers.Studies in health technology and informatics ;v. 119.Medical educationCongressesVirtual reality in medicineCongressesElectronic books.Medical educationVirtual reality in medicine610.2856Westwood James D869270Medicine Meets Virtual RealityMiAaPQMiAaPQMiAaPQBOOK9910451048103321Medicine meets virtual reality 141982816UNINA03418nam 22007455 450 99646555260331620230406013500.03-642-22012-610.1007/978-3-642-22012-8(CKB)2670000000095931(SSID)ssj0000530725(PQKBManifestationID)11351717(PQKBTitleCode)TC0000530725(PQKBWorkID)10569614(PQKB)11249696(DE-He213)978-3-642-22012-8(MiAaPQ)EBC3066852(PPN)153864869(EXLCZ)99267000000009593120110618d2011 u| 0engurnn#008mamaatxtccrAutomata, Languages and Programming[electronic resource] 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II /edited by Luca Aceto, Monika Henzinger, Jiri Sgall1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XXVI, 666 p.)Theoretical Computer Science and General Issues,2512-2029 ;6756Bibliographic Level Mode of Issuance: Monograph3-642-22011-8 Includes bibliographical references and index.The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland, in July 2011. The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with 4 invited talks, 3 best student papers, and 3 best papers were carefully reviewed and selected from a total of 398 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management.Theoretical Computer Science and General Issues,2512-2029 ;6756Computer scienceSoftware engineeringMachine theoryComputer networksAlgorithmsComputer Science Logic and Foundations of ProgrammingSoftware EngineeringFormal Languages and Automata TheoryComputer Communication NetworksAlgorithmsTheory of ComputationComputer science.Software engineering.Machine theory.Computer networks.Algorithms.Computer Science Logic and Foundations of Programming.Software Engineering.Formal Languages and Automata Theory.Computer Communication Networks.Algorithms.Theory of Computation.005.1015113Aceto Lucaedthttp://id.loc.gov/vocabulary/relators/edtHenzinger Monikaedthttp://id.loc.gov/vocabulary/relators/edtSgall Jiriedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465552603316Automata, languages and programming339738UNISA01926nam 2200481I 450 991070381860332120150821150836.0(CKB)5470000002435549(OCoLC)919007137(EXLCZ)99547000000243554920150821j201505 ua 0engurcn|||||||||txtrdacontentcrdamediacrrdacarrierAir traffic management technology demostration phase 1 (ATD) interval management for near-term operations validation of acceptability (IM-NOVA) experiment /Jennifer L. Kibler [and three others]Hampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,May 2015.1 online resource (ix, 67 pages) color illustrationsNASA/TP ;2015-218767Title from title screen (viewed Aug. 21 2015)."May 2015."Includes bibliographical references (pages 31-34).Air traffic management technology demostration phase 1 Air traffic controlnasatNavigationnasatFlight management systemsnasatRadar approach controlnasatGround based controlnasatAir traffic control.Navigation.Flight management systems.Radar approach control.Ground based control.Kibler Jennifer L.1421375Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910703818603321Air traffic management technology demostration phase 1 (ATD) interval management for near-term operations validation of acceptability (IM-NOVA) experiment3542407UNINA