The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.
Introduces the concept of intrusion detection, discusses various approaches for intrusion detection systems (IDS), and presents the architecture and implementation of IDS. This title also includes the performance comparison of various IDS via simulation.
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.
A mobile agent system could be attacked by malicious agents, platforms and third parties. Mobile agents simply offer greater opportunities for abuse and misuse, which broadens the scale of threats significantly. In addition, since mobile agents have some unique characteristics such as their mobility, security problems have become more complicated in these systems. These security problems have become a bottleneck in the development and maintenance of mobile agent systems, especially in security sensitive applications such as electronic commerce. This book introduces the concept and structure of mobile agent systems and discusses various attacks and countermeasures. The emphasis is on the formal modeling and analysis of secure mobile agent systems and their applications.
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.
From Boron Trifluoride to Zinc, the 52 most widely used reagents in organic synthesis are described in this unique desktop reference for every organic chemist. The list of reagents contains classics such as N-Bromosuccinimide (NBS) and Trifluoromethanesulfonic Acid side by side with recently developed ones like Pinacolborane and Tetra-n-propylammonium Perruthenate (TPAP). For each reagent, a concise article provides a brief description of all important reactions for which the reagent is being used, including yields and reaction conditions, an overview of the physical properties of the reagent, its storage conditions, safe handling, laboratory synthesis and purification methods. Advantages and disadvantages of the reagent compared to alternative synthesis methods are also discussed. Reagents have been hand-picked from among the 5000 reagents contained in EROS, the Encyclopedia of Reagents for Organic Synthesis. Every organic chemist should be familiar with these key reagents that can make almost every reaction work.
Ideal for hand surgeons, residents in a hand surgery rotation, and therapists interested in a review of surgical principles, Principles of Hand Surgery and Therapy, 3rd Edition, by Drs. Thomas E. Trumble, Ghazi M. Rayan, Mark E. Baratz, Jeffrey E. Budoff, and David J. Slutsky, is a practical source of essential, up-to-date information in this specialized area. This single-volume, highly illustrated manual covers all areas of adult and pediatric hand surgery and therapy, including the elbow. You’ll find state-of-the-art basic science combined with step-by-step techniques and therapeutic protocols, helping you hone your skills and prescribe effective long-term care for every patient. An expanded therapy section with more than 50 diagnosis-specific rehabilitation protocols and more than 100 full-color photographs. New chapters on pediatric fractures; expanded coverage of carpal injuries, including fractures and ligament injuries and perilunate instability; a new chapter on diagnostic and therapeutic arthroscopy for wrist injuries; and expanded treatment of arthritis. New information on pediatric surgery with detailed surgical images. The latest information on pain management, as well as nerve physiology and nerve transfers. Core knowledge needed for the boards—including tumors, free tissue transfer, and thumb reconstruction. Consult this title on your favorite e-reader, conduct rapid searches, and adjust font sizes for optimal readability.
THE WORLD'S #1 SURGERY TEXT--UPDATED TO INCLUDE STATE-OF-THE-ART EVIDENCE-BASED SURGICAL CARE AND LEADERSHIP GUIDANCE FOR TRAINEES AND PRACTICING SURGEONS The Tenth Edition of Schwartz's Principles of Surgery maintains the book's unmatched coverage of the foundations of surgery while bringing into sharper focus new and emerging technologies. We have entered a new era of surgery in which minimally invasive surgery, robotic surgery, and the use of computers and genomic information have improved the outcomes and quality of life for patients. With these advances in mind, all chapters have been updated with an emphasis on evidence-based, state-of-the-art surgical care. An exciting new chapter, "Fundamental Principles of Leadership Training in Surgery," expands the scope of the book beyond the operating room to encompass the actual development of surgeons. This edition is also enriched by an increased number of international chapter authors and a new chapter on Global Surgery. More than ever, Schwartz's Principles of Surgery is international in scope--a compendium of the knowledge and technique of the world's leading surgeons. Features More clinically relevant than ever, with emphasis on high-yield discussion of diagnosis and treatment of surgical disease, arranged by organ system and surgical specialty Content is supported by boxed key points, detailed anatomical figures, diagnostic and management algorithms, and key references Beautiful full-color design
The definitive state-of-the-art resource on pediatric endoscopic endonasal approaches Today, expanded endonasal approaches (EEA) have revolutionized the surgical treatment paradigm for pediatric central skull base lesions. Specially adapted micro-instruments have been developed to permit passage through the narrow sinonasal pathways in children, enabling access to the entire midline skull base, from the crista galli to the cervico-medullary junction. Pediatric Endoscopic Endonasal Skull Base Surgery by Harminder Singh, Jeffrey Greenfield, Vijay Anand, and Theodore Schwartz is the first textbook focused solely on endoscopic endonasal management of cranial base pathologies in children. The book reflects in-depth expertise from an extraordinary group of international contributors from five continents, who share extensive knowledge on this emerging field. Thirty chapters are presented in three comprehensive sections. Key Features Core topics including anatomy, rhinological and anesthetic considerations, patient positioning and OR set-up, instrumentation, and endonasal corridors and approaches Fifteen chapters detail endoscopic treatment of a full spectrum of pediatric pathologies, such as craniopharyngioma, meningoencephalocele, basilar invagination, and benign and malignant tumors, among others Discussion of multiple skull-base closure techniques, managing complications, and neurosurgical and otolaryngological postoperative care Visually rich, the succinct text is enhanced with more than 200 high-quality surgical illustrations and intraoperative photographs, as well as procedural videos This unique reference is essential reading for neurosurgical and otolaryngology residents and fellows, as well as veteran surgeons, nurse-practitioners, and physician-assistants who treat and care for pediatric patients with skull-base conditions.
The gold-standard text on the diagnosis and treatment of disorders affecting the elderly – completely updated with a new full-color presentation A Doody's Core Title for 2021! The definitive treatise on the subject of geriatrics, this comprehensive text combines gerontology principles with clinical geriatrics, offering a uniquely holistic approach to this ever-expanding area of medicine. Written by some of the world’s most respected geriatricians, Hazzard’s Geriatric Medicine and Gerontology, Seventh Edition presents up-to-date, evidence-based information in a rich new full-color design. Unmatched as a textbook, this classic is also valuable to fellows in geriatric medicine. Hazzards’s Geriatric Medicine and Gerontology, Seventh Edition is logically divided into five parts: Principles of Gerontology, Principles of Geriatrics, Geriatric Syndromes, Principles of Palliative Medicine, and Organ Systems and Diseases. Within its pages, you will find balanced, authoritative coverage of every essential topic – from evaluation and management to nutrition and palliative medicine. Here’s why the Seventh Edition is the best edition ever: NEW full-color design with hundreds of color photographs NEW chapters: Quality of Care in Older Adults, Common Non-Pain Symptoms in Older Adults, Strategies of Effective Communication Around Advanced Illness, Palliative Medicine in the Continuum of Care Including Hospice, Coagulation Disorders, and Plasma Cell Disorders MORE chapters on Palliative Medicine NEW Learning Objectives and Key Points added to each chapter MORE tables, drawings, and clinical algorithms EVIDENCE-BASED through the use of the latest clinical practice guidelines , references to systemic reviews, and critically appraised topics UPDATED to reflect the most current clinical breakthroughs and advances for managing older adults in various settings
The #1 surgical practice and education resource -- completely updated and now in full-color! A Doody's Core Title ESSENTIAL PURCHASE for 2011! 4 STAR DOODY'S REVIEW! "In its evolution over nine editions, Schwartz's Principles of Surgery has reflected the latest in surgical practice. In the age of minimally invasive surgery, illustrations are important and these authors include a wealth of visual material of good to excellent quality."--Doody's Review Service Written by the world's foremost practitioners and instructors, this landmark reference logically progresses from basic science principles, including topics such as cells, genomics, and molecular surgery, to clinical areas such as pancreas. From cover to cover, the book reflects a distinctly modern approach in the dissemination of surgical knowledge, providing up-to-date coverage of all key surgical areas, from trauma and transplantation, to neurosurgery. In each chapter, this content is supported by a skill-building format that includes boxed key points, detailed anatomical figures, diagnostic and management algorithms, an abundance of informative tables, and key references. For every kind of procedure, this one-of-a-kind clinical companion helps you meet the sequential demands in the care of surgical patients, leading to the best possible outcomes. NEW TO THIS EDITION: Full color design for easier navigation 2 new chapters: “Accreditation Council for Graduate Medical Core Competencies,” examines the six areas designated as critical for general surgery resident training and “Ethics, Palliative Care, and Care at the End of Life,” offers an overview of biomedical ethics, and surveys specific issues in surgical and professional ethics, the general principles and considerations of palliative care, and care at the end of life Greater focus on evidence-based medicine with highlighted references in each chapter and separate key reference list Increased number of treatment and diagnostic algorithms Key points in every chapter International advisory board comprising renowned surgeons contributes important regional feedback on content and curricula Companion DVD of surgical video clips
The BEST EDITION yet of the #1 text for surgical practice and education A Doody's Core Title for 2024 & 2022! For half-a-century, no other text has provided such a solid grounding in basic science, anatomy, operative techniques, and more recently, professional development and leadership training, as Schwartz’s Principles of Surgery. Written by the world’s foremost surgeons, this landmark reference offers distinctly modern and all-encompassing coverage of every important topic in general surgery. Enhanced by a new two volume presentation, the Eleventh Edition has been completely updated and refreshed with an emphasis on state-of-the-art, evidence-based surgical care. You will find an exciting array of new contributors from around the world, new chapters on cutting-edge topics, plus the acclaimed learning aids that make the material easier to understand and memorize. This outstanding content is bolstered by more than 800 photographs and 1,300 line drawings, most in full color, as well as online videos demonstrating key operations. Here’s why the Eleventh Edition is the best edition yet: Six timely new chapters on important topics such as enhanced recovery after surgery (ERAS), ambulatory/outpatient surgery, evidence for surgery practice, skills and simulation, and web-based education and social media High-quality full-color design showcases an unsurpassed illustration program Emphasis on high-yield discussion of diagnosis and treatment of surgical disease, arranged by organ system and surgical specialty Acclaimed learning aids (many new to this edition), including an abundance of completely up-to-date tables that summarize the most current evidence, boxed key points, detailed anatomical figures, diagnostic and management algorithms, and an abundance of completely up-to-date tables, and key references More than the field’s cornerstone textbook, Schwartz’s Principles of Surgery is an international compendium of the knowledge and technique of the world’s leading surgeons.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.