05557nam 2200649 450 99646609130331620211008135723.03-540-87698-710.1007/978-3-540-87698-4(CKB)1000000000490429(SSID)ssj0000316888(PQKBManifestationID)11258552(PQKBTitleCode)TC0000316888(PQKBWorkID)10286907(PQKB)11120417(DE-He213)978-3-540-87698-4(MiAaPQ)EBC3063204(MiAaPQ)EBC6511654(Au-PeEL)EBL6511654(OCoLC)277000986(PPN)129063010(EXLCZ)99100000000049042920211008d2008 uy 0engurnn|008mamaatxtccrComputer safety, reliability, and security 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings /Michael D. Harrison, Mark-Alexander Sujan (eds.)1st ed. 2008.Berlin, Germany ;New York, New York :Springer,[2008]©20081 online resource (XIV, 456 p.) Programming and Software Engineering ;5219Includes index.3-540-87697-9 Includes bibliographical references and index.Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection – A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks – Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems.This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.Programming and Software Engineering ;5219Computer softwareReliabilityCongressesComputer securityComputer securityCongressesComputer softwareReliabilityComputer security.Computer security005.1Sujan Mark-AlexanderHarrison Michael DouglasInternational Conference on Computer Safety, Reliability, and SecurityMiAaPQMiAaPQMiAaPQBOOK996466091303316Computer Safety, Reliability, and Security2175020UNISA01742nam a2200553 i 450099100138110970753620020507192437.0931206s1987 de ||| | eng 3540177973b10839677-39ule_instLE01311408ExLDip.to Matematicaeng519.2AMS 22-XXAMS 28-XXAMS 31-XXAMS 34BAMS 35-XXAMS 35JAMS 46-XXAMS 58-XXAMS 60-06AMS 60-XXAMS 60GAMS 60HAMS 60JAMS 73-XXAMS 76-XXAMS 82-XXAMS 85-XXAlbeverio, Sergio44256Stochastic processes-Mathematics and physics II :proc. 2nd Bibos symp. held in Bielefeld, West Germany, April 15-19, 1985 /ed. by S. Albeverio, P. Blanchard, L. StrettBerlin :Springer-Verlag,1987vi, 359 p. ;24 cm.Lecture notes in mathematics,0075-8434 ;1250Lie groupsMeasure and integrationPotential theoryProbability theoryStochastic processesTopological groupsBlanchard, PhilippeStrett, L..b1083967723-02-1728-06-02991001381109707536LE013 60-XX ALB11 (1987)12013000075822le013-E0.00-l- 02020.i1094951328-06-02Stochastic processes-Mathematics and physics II923902UNISALENTOle01301-01-93ma -engde 0106785nam 22005175 450 991101563200332120250703130247.03-031-72305-810.1007/978-3-031-72305-6(MiAaPQ)EBC32195966(Au-PeEL)EBL32195966(CKB)39578204300041(DE-He213)978-3-031-72305-6(EXLCZ)993957820430004120250703d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierThe Comprehensive Atlas of Robotic Urologic Surgery A Step-by-Step Guide to Adult and Pediatric Urologic Procedures /edited by Li-Ming Su, Jason P. Joseph, Christopher E. Bayne3rd ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (1065 pages)3-031-72304-X Part I: Getting Started in Robotic Surgery -- Chapter 1. Establishing a Robotics Team and Practice -- Chapter 2. Robotics Training: Virtual Simulation -- Chapter 3. Robotics Training: Model-Based Simulation -- Chapter 4. Robotic Instrumentation, Personnel, and Operating Room Setup: Da Vinci Xi -- Chapter 5. Performance Improvement and Working with Your Robotic Assistant -- Chapter 6. Anesthetic Considerations for Robotic Surgery -- Part II: Robotic Surgery of the Upper Urinary Tract: Da Vinci Xi Platform -- Chapter 7. Robot-Assisted Total and Partial Adrenalectomy -- Chapter 8. Robotic Partial Nephrectomy: Transperitoneal Approach -- Chapter 9. Robotic Partial Nephrectomy: Advanced Techniques and Intraoperative Imaging -- Chapter 10. Robotic Partial Nephrectomy: Retroperitoneal Approach -- Chapter 11. Robotic Radical Nephrectomy and Nephrectomy with Caval Tumor Thrombus -- Chapter 12. Robot-Assisted Radical Nephroureterectomy -- Chapter 13. Robotic Donor Nephrectomy and Renal Transplantation -- Chapter 14. Robot-Assisted Pyeloplasty -- Chapter 15. Robot-Assisted Laparoscopic Extended Pyelolithotomy and Ureterolithotomy -- Chapter 16. Robot-Assisted Ureteral Reconstruction -- Chapter 17. Robot-Assisted Retroperitoneal Lymph Node Dissection -- Chapter 18. Complications and Management of Robotic Assisted Partial Nephrectomy -- Part III: Robotic Surgery of the Lower Urinary Tract: Da Vinci Xi Platform -- Chapter 19. Robot-Assisted Radical and Partial Cystectomy -- Chapter 20. Robot-Assisted Urinary Diversion -- Chapter 21. Transperitoneal Robot-Assisted Radical Prostatectomy: Anterior Approach -- Chapter 22. Transperitoneal Robot-Assisted Radical Prostatectomy: Posterior Approach -- Chapter 23. Transperitoneal Robot-Assisted Radical Prostatectomy: Retzius Sparing Approach -- Chapter 24. Transperitoneal Robot-Assisted Radical Prostatectomy: Hood Approach -- Chapter 25. Extraperitoneal Robot-Assisted Radical Prostatectomy -- Chapter 26. Robotic Radical Prostatectomy: Complex Case Management -- Chapter 27. Robot-assisted Salvage Prostatectomy -- Chapter 28. Robotic Simple Prostatectomy -- Chapter 29. Robotic Pelvic Lymphadenectomy: Standard and Extended Techniques -- Chapter 30. Robotic-Assisted Inguinal Lymphadenectomy -- Chapter 31. Robotic Sacrocolpopexy -- Chapter 32. Robotic Vesicovaginal Fistula Repair -- Chapter 33. Robotic Rectovesical Fistula Repair -- Chapter 34. Robotic Lower Urinary Tract Reconstruction: Complex Cases -- Chapter 35. Robotic Approaches to Gender Affirmation Surgery -- Chapter 36. Robotic Surgical Procedures for Male Infertility -- Chapter 37. Complications and Management of Robotic Lower Urinary Tract Procedures -- Part IV. Robotic Pediatric Urologic Surgery -- Chapter 38. Pediatric Robotic Pyeloplasty -- Chapter 39. Pediatric Robotic Anti-reflux Procedures -- Chapter 40. Pediatric Robotic Heminephrectomy and Diverticulectomy -- Chapter 41. Advanced Robotic Reconstruction in Pediatric Urology -- Chapter 42. Emerging Indications for Robotics in Pediatric Urology -- Part V: Single Port Robotic Surgery -- Chapter 43. Robot Instrument, Personnel and Operating Room Setup: Da Vinci SP -- Chapter 44. Single-Port Robotic-Assisted Prostatectomy -- Chapter 45. Single-Port Robotic-Assisted Partial Nephrectomy -- Chapter 46. Single-Port Pyeloplasty -- Chapter 47. Single-Port Simple Prostatectomy -- Part VI: Robotic Platforms: Past, Present, Future Perspectives -- Chapter 48. Robotic Surgery: Past, Present, and Future.This third edition atlas provides the most current techniques and methods for treating both benign and malignant urologic conditions using the most modern robotic platforms and equipment available to date. Robotic surgery has had a very well-established and increasing role in the field of urology for the past two decades, in many cases almost completely replacing traditional open and laparoscopic approaches. Robotic surgery has continued to expand and has been applied to urologic conditions in both adult and pediatric patients. In addition, advancements in robotic technology have opened the door to single-site (vs multi-port) surgeries, further reducing the morbidity and improving the cosmesis for many urologic procedures. The book begins with a guide to getting started in robotic surgery with new chapters on robotics training and performance improvement. From here, the book comprehensively and systematically covers a wide range of surgical procedures, including surgeries of the upper and lower urinary tract using the daVinci Xi platform, robotic pediatric urologic surgeries, and single port (daVinci SP) robotic surgery. A discussion of the past, present, and future of robotic surgical platforms wraps up this comprehensive guide. Each chapter is written by internationally-recognized leaders in the field in a consistent step-by-step format to help the audience learn how to expand their robotic surgical techniques and capabilities for their patients. The Comprehensive Atlas of Robotic Urologic Surgery, Third Edition is a singular resource for individuals who are involved in robotic surgery including urologic surgeons, trainees, nurses, physician assistants, and anesthesiologists.UrologyEndoscopic surgeryUrologyMinimally Invasive SurgeryUrology.Endoscopic surgery.Urology.Minimally Invasive Surgery.617.46059Su Li-Ming1833088Joseph Jason P1833089Bayne Christopher E1833090MiAaPQMiAaPQMiAaPQBOOK9911015632003321The Comprehensive Atlas of Robotic Urologic Surgery4408022UNINA