Title:
Autoethnography, Self-Narrative and Teacher Education edited by Mike Hayler.
Studies in Professional Life and Work ;
Studies in Professional Life and Work ;
Author:
Hayler, Mike.
SpringerLink (Online service)
General Notes:
Autoethnography, Self-Narrative and Teacher Education examines the professional life and work of teacher educators. In adopting an autoethnographic and life-history approach, Mike Hayler develops a theoretically informed discussion of how the professional identity of teacher educators is both formed and represented by narratives of experience. The book draws upon analytic autoethnography and life-history methods to explore the ways in which teacher educators construct and develop their conceptions and practice by engaging with memory through narrative, in order to negotiate some of the ambivalences and uncertainties of their work. The author’s own story of learning, embedded within the text, was shared with other teacher-educators, who following interviews wrote self-narratives around themes which emerged from discussion. The focus for analysis develops from how professional identity and pedagogy are influenced by changing perceptions and self-narratives of life and work experiences, and how this may influence professional culture, content and practice in this area. The book includes an evaluation of how using this approach has allowed the author to investigate both the subject and method of the research with implications for educational research and the practice of teacher education. Audience: Scholars and students of education and the education of teachers, researchers interested in autoethnography and self-narrative.
Publisher:
SensePublishers,
Publication Place:
Rotterdam :
ISBN:
9789460916724
Subject:
Education.
Education.
Teaching and Teacher Education.
Series:
Studies in Professional Life and Work ; 5
Studies in Professional Life and Work ; 5
Physical Description:
VII, 115p. digital.
Electronic Location:
http://dx.doi.org/10.1007/978-94-6091-672-4
Publication Date:
2011.
Title:
Autoimmune Bullous Diseases Approach and Management / edited by Naveed Sami.
Author:
Sami, Naveed. editor.
SpringerLink (Online service)
General Notes:
Bullous pemphigoid -- Epidermolysis Bullosa Acquisita -- Linear IgA Bullous Disease -- Dermatitis Herpetiformis -- Bullous pemphigoid -- Epidermolysis Bullosa Acquisita -- Linear IgA Bullous Disease -- Dermatitis Herpetiformis -- Pemphigoid Gestationis -- Pediatric Bullous Diseases -- Pemphigus Vulgaris -- Pemphigus Foliaceus -- Ocular Cicatricial Pemphigoid -- Mucous Membrane Pemphigoid (extra ocular) -- Local therapy -- Systemic Steroids -- Pemphigoid Gestationis.
This book provides a coherent synopsis on the treatment and management of autoimmune blistering diseases. Each chapter focuses on one condition, and summarizes the present-day literature on currently available therapies, and how they may fit into various feasible treatment algorithms. Many of these disorders can have irreversible consequences, and in some cases the potential to be fatal. The contributing authors are individuals who have devoted their careers to understanding these diseases, and have invested countless hours in their research laboratories and clinical settings. Autoimmune Bullous Diseases: Approach and Management serves as a guide in assisting clinicians to develop their approach to treatment based on the specific disease and its severity. The information and algorithms presented provide pragmatic direction and assistance in the management of patients with these diseases.
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Place:
Cham :
ISBN:
9783319267289
Subject:
Medicine.
Immunology.
Dermatology.
Rheumatology.
Pediatrics.
Medicine & Public Health.
Dermatology.
Immunology.
Rheumatology.
Pediatrics.
Edition:
1st ed. 2016.
Contents:
Bullous pemphigoid -- Epidermolysis Bullosa Acquisita -- Linear IgA Bullous Disease -- Dermatitis Herpetiformis -- Bullous pemphigoid -- Epidermolysis Bullosa Acquisita -- Linear IgA Bullous Disease -- Dermatitis Herpetiformis -- Pemphigoid Gestationis -- Pediatric Bullous Diseases -- Pemphigus Vulgaris -- Pemphigus Foliaceus -- Ocular Cicatricial Pemphigoid -- Mucous Membrane Pemphigoid (extra ocular) -- Local therapy -- Systemic Steroids -- Pemphigoid Gestationis.
Physical Description:
XV, 265 p. 54 illus., 4 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-319-26728-9
Publication Date:
2016.
Title:
Autoimmune Bullous Diseases Text and Review / edited by Marcel F. Jonkman.
Author:
Jonkman, Marcel F. editor.
SpringerLink (Online service)
General Notes:
Part I: Immunology and diagnostic tests-B-cells, autoantibodies and isotypes -- Dermatological examination of bullous diseases -- How to take a biopsy -- Direct immunofluorescence -- Indirect immunofluorescence -- Immunoblot -- ELISA testing -- Part II: Pemphigus-Structure of desmosomes -- Pemphigus foliaceus -- Pemphigus vulgaris -- Paraneoplastic pemphigus -- IgA pemphigus -- Part III: Pemphigoids-Structure of hemidesmosomes and basement membrane zone -- Cutaneous pemphigoid -- Mucous membrane pemphigoid -- Epidermolysis bullosa acquisita -- Bullous systemic lupus erythematosus -- Linear IgA Disease -- Part IV: Other inflammatory bullous diseases-Dermatitis herpetiformis -- Erythema multiforme -- Porphyria and pseudoporphyria -- Bullous dermatitis artefacta -- Part V: Resources-Patient support groups -- International centres for AIBD.
This book provides a quick study and reference guide for physicians who treat patients with autoimmune bullous diseases (AIBDs), the most life-threatening inflammatory diseases of the skin. AIBDs are rare, and comprise less than 1% of the dermatological patients. As such, they are often given little focus in general dermatology literature, despite being complicated and demanding diseases . Autoimmune Bullous Diseases Study Guide: Text and Review is written in direct and simple diction with tables and figures to practically illustrate this difficult field. At the end of each chapter the reader is challenged to check the learned matter with multiple-choice questions. It contains protocols and follows international guidelines, making it suitable study material for courses on autoimmune bullous diseases. Residents and researchers in dermatology and adjacent disciplines will find this book useful as a quick guide when dealing with these patients.
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Place:
Cham :
ISBN:
9783319237541
Subject:
Medicine.
Immunology.
Dermatology.
Medicine & Public Health.
Dermatology.
Immunology.
Edition:
1st ed. 2016.
Contents:
Part I: Immunology and diagnostic tests-B-cells, autoantibodies and isotypes -- Dermatological examination of bullous diseases -- How to take a biopsy -- Direct immunofluorescence -- Indirect immunofluorescence -- Immunoblot -- ELISA testing -- Part II: Pemphigus-Structure of desmosomes -- Pemphigus foliaceus -- Pemphigus vulgaris -- Paraneoplastic pemphigus -- IgA pemphigus -- Part III: Pemphigoids-Structure of hemidesmosomes and basement membrane zone -- Cutaneous pemphigoid -- Mucous membrane pemphigoid -- Epidermolysis bullosa acquisita -- Bullous systemic lupus erythematosus -- Linear IgA Disease -- Part IV: Other inflammatory bullous diseases-Dermatitis herpetiformis -- Erythema multiforme -- Porphyria and pseudoporphyria -- Bullous dermatitis artefacta -- Part V: Resources-Patient support groups -- International centres for AIBD.
Physical Description:
XII, 221 p. 111 illus., 1 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-319-23754-1
Publication Date:
2016.
Title:
Autoimmune Diseases Acute and Complex Situations / edited by Munther A. Khamashta, Manuel Ramos-Casals.
Author:
Khamashta, Munther A.
Ramos-Casals, Manuel.
SpringerLink (Online service)
General Notes:
<p>Assessment and Management of the Rheumatological Patient on the Critical Care Unit<i> .-</i>Life-threatening Complications of Systemic Lupus Erythematosus -- Catastrophic Antiphospholipid Syndrome -- Complex Situations in Rheumatoid Arthritis<i>.-</i>Sjögren’s Syndrome: Beyond Sicca Involvement -- Systemic Sclerosis: Severe Involvement of Internal Organs -- Vasculitic Emergencies in Patients with Large-vessel Vasculitides -- Life-threatening Presentations of ANCA-related Vasculitis -- Severe Polyarteritis Nodosa<i>.-</i>Life-threatening Cryoglobulinemia -- Behçet Disease: Clinical Presentations Affecting Prognosis and Survival -- Myositis: When Weakness Can Kill -- Complicated Sarcoidosis: Challenges in Dealing with Severe Manifestations -- Complex Situations in Patients with Adult-onset Still’s Disease -- Managing Acute and Complex Dermatological Situations -- Life-threatening Autoimmune Haematological Disorders -- Autoimmune Ear, Nose and Throat Emergencies -- Ophthalmological Emergencies in Rheumatic and Autoimmune Diseases -- Emergencies for the Vascular Surgeon -- Complicated Pregnancy in Patients with Autoimmune Systemic Diseases -- The Complex Management of Viral-related Autoimmune Diseases -- The Role of Intravenous Immunoglobulins in the Management of Acute Complex Autoimmune Conditions<i>.-</i>Life-threatening Complications of Biological Therapies</p><p><i></i></p>.
Autoimmune Diseases: Acute and Complex Situations provides a detailed overview of conditions associated with autoimmune diseases that are considered either life-threatening or requiring complex management. These include abdominal pain, arthritis, cutaneous ulcers, gastrointestinal hemorrhage, epilepsy, pancreatitis, stroke and white-matter CNS lesions. Autoimmune Diseases: Acute and Complex Situations addresses the latest clinical and immunological prognostic factors that may help to identify patients at higher risk of developing potentially life-threatening involvement. This book comprehensively helps the reader to diagnose these patients, in whom an early therapeutic approach is essential. Autoimmune Diseases: Acute and Complex Situations is a valuable reference tool for rheumatologists, internists, immunologists, and all the specialists involved in the multidisciplinary care of patient with rheumatic and systemic autoimmune diseases.
Publisher:
Springer London,
Publication Place:
London :
ISBN:
9780857293589
Subject:
Medicine.
Internal medicine.
Rheumatology.
Medicine & Public Health.
Rheumatology.
Internal medicine.
Contents:
<p>Assessment and Management of the Rheumatological Patient on the Critical Care Unit<i> .-</i>Life-threatening Complications of Systemic Lupus Erythematosus -- Catastrophic Antiphospholipid Syndrome -- Complex Situations in Rheumatoid Arthritis<i>.-</i>Sjögren’s Syndrome: Beyond Sicca Involvement -- Systemic Sclerosis: Severe Involvement of Internal Organs -- Vasculitic Emergencies in Patients with Large-vessel Vasculitides -- Life-threatening Presentations of ANCA-related Vasculitis -- Severe Polyarteritis Nodosa<i>.-</i>Life-threatening Cryoglobulinemia -- Behçet Disease: Clinical Presentations Affecting Prognosis and Survival -- Myositis: When Weakness Can Kill -- Complicated Sarcoidosis: Challenges in Dealing with Severe Manifestations -- Complex Situations in Patients with Adult-onset Still’s Disease -- Managing Acute and Complex Dermatological Situations -- Life-threatening Autoimmune Haematological Disorders -- Autoimmune Ear, Nose and Throat Emergencies -- Ophthalmological Emergencies in Rheumatic and Autoimmune Diseases -- Emergencies for the Vascular Surgeon -- Complicated Pregnancy in Patients with Autoimmune Systemic Diseases -- The Complex Management of Viral-related Autoimmune Diseases -- The Role of Intravenous Immunoglobulins in the Management of Acute Complex Autoimmune Conditions<i>.-</i>Life-threatening Complications of Biological Therapies</p><p><i></i></p>.
Physical Description:
XII, 416p. 80 illus., 42 illus. in color. digital.
Electronic Location:
http://dx.doi.org/10.1007/978-0-85729-358-9
Publication Date:
2011.
Title:
Autoimmune Diseases of the Skin Pathogenesis, Diagnosis, Management / edited by Michael Hertl.
Author:
Hertl, Michael.
SpringerLink (Online service)
General Notes:
<P>Autoimmune disorders of the skin remain an enigma for many clinicians and scientists not familiar with these mostly severe and chronic diseases. The book provides an overview and the latest information on the broad spectrum of cutaneous autoimmune disorders for clinicians, scientists and practitioners in dermatology, medicine, rheumatology, ENT, pediatrics and ophthalmology. The book is unique since it presents the state-of-the-art knowledge on pathophysiology, clinical diagnosis and management of these disorders provided by the world experts in the field. The primary intention is to broaden the understanding of the pathophysiology of cutaneous autoimmune disorders and to provide a practical guide to how to identify and handle these conditions. The book is illustrated with many tables, illustrative figures and clinical color photographs. The third edition has been thoroughly updated and extended by chapters on paraneoplastic cutaneous syndromes, atopic dermatitis and autoimmunity and Skin manifestations of rheumatic diseases.</P>
Publisher:
Springer Vienna,
Publication Place:
Vienna :
ISBN:
9783211992258
Subject:
Medicine.
Immunology.
Dermatology.
Ophthalmology.
Otorhinolaryngology.
Pediatrics.
Rheumatology.
Medicine & Public Health.
Dermatology.
Rheumatology.
Immunology.
Pediatrics.
Otorhinolaryngology.
Ophthalmology.
Edition:
3.
Physical Description:
XXII, 594 p. 95 illus. in color. digital.
Electronic Location:
http://dx.doi.org/10.1007/978-3-211-99225-8
Publication Date:
2011.
Title:
Autoimmune (IgG4-related) Pancreatitis and Cholangitis edited by Michael J. Levy, Suresh T. Chari.
Author:
Levy, Michael J. editor.
Chari, Suresh T. editor.
SpringerLink (Online service)
General Notes:
Background and Perspective -- Immune Pathogenesis -- Overview of Types 1 and 2 -- Histologic Features -- CT and MRI Features -- EUS Features -- ERCP Features -- Clinical Features -- Approach to Diagnosis -- Surgical Implications -- Approach to Therapy -- Secondary Sclerosing Cholangitis -- Histologic Features -- CT and MRI Features -- ERCP and EUS/IDUS Features -- Clinical Spectrum and Management -- Overview -- Tubulointerstitial Nephritis and other Renal Involvement by IgG4-Related Disease -- IgG4-related Lung Disease -- Italian Experience -- British Experience -- Japanese Experience -- Korean Experience -- Summary and Look to the Future.
Autoimmune (IgG4-related) Pancreatitis and Cholangitis reviews the breadth of clinical, imaging, histological, laboratory, and imaging features associated with IgG4-associated systemic disease, especially AIP and IAC. Written by experts in their fields, each chapter includes an overview of existing data as well as the most up-to-date scientific information and emerging data. The book also addresses areas of uncertainty and controversy, briefly highlighting clinical and research needs relative to the respective topic. Comprehensive and easy to use, Autoimmune (IgG4-related) Pancreatitis and Cholangitis is a valuable resource for physicians who deal with or are interested in these complex disease processes, including gastroenterologists, hepatologists, and surgeons.
Publisher:
Springer New York : Imprint: Springer,
Publication Place:
New York, NY :
ISBN:
9781441964304
Subject:
Medicine.
Gastroenterology.
Clinical medicine.
Emergency medicine.
Rheumatology.
Medicine & Public Health.
Gastroenterology.
Hepatology.
Rheumatology.
Primary care ( Medicine ).
Contents:
Background and Perspective -- Immune Pathogenesis -- Overview of Types 1 and 2 -- Histologic Features -- CT and MRI Features -- EUS Features -- ERCP Features -- Clinical Features -- Approach to Diagnosis -- Surgical Implications -- Approach to Therapy -- Secondary Sclerosing Cholangitis -- Histologic Features -- CT and MRI Features -- ERCP and EUS/IDUS Features -- Clinical Spectrum and Management -- Overview -- Tubulointerstitial Nephritis and other Renal Involvement by IgG4-Related Disease -- IgG4-related Lung Disease -- Italian Experience -- British Experience -- Japanese Experience -- Korean Experience -- Summary and Look to the Future.
Physical Description:
XI, 265 p. 121 illus., 72 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-1-4419-6430-4
Publication Date:
2013.
Title:
Autoimmune Liver Diseases Perspectives from Japan / edited by Hiromasa Ohira.
Author:
Ohira, Hiromasa. editor.
SpringerLink (Online service)
General Notes:
Preface -- Part I Autoimmune Hepatitis.- 1 Pathogenesis of Autoimmune Hepatitis-. 2 Animal Models of Autoimmune Hepatitis -- 3 Epidemiology and Natural History in Japan -- 4 Histological Findings of Autoimmune Hepatitis -- 5 Diagnosis of Autoimmune Hepatitis -- 6 Acute Presentation of Autoimmune Hepatitis -- 7 Treatment of Autoimmune Hepatitis -- 8 Management Strategies for Autoimmune Hepatitis Treatment Non-Responders -- 9 Pediatric Autoimmune Hepatitis -- 10 Nonalcoholic Steatohepatitis -Autoimmune Hepatitis Overlap -- 11 IgG4-Related Autoimmune Hepatitis -- Part II Primary Biliary Cirrhosis -- 12 The Onset Mechanism of Primary Biliary Cirrhosis -- 13 Genetic Factors in Pathogenesis of Primary Biliary Cirrhosis -- 14 Animal Models of Primary Biliary Cirrhosis -- 15 Epidemiology and Natural History in Japan -- 16 New Histological Staging and Grading System for Primary Biliary Cirrhosis -- 17 Autoantibodies in Primary Biliary Cirrhosis -- 18 Diagnosis and UDCA Treatment of Primary Biliary Cirrhosis -- 19 Bezafibrate Treatment of Primary Biliary Cirrhosis -- 20 Management the Patients with Feature of Autoimmune Hepatitis -- 21 Liver Transplantation for Primary Biliary Cirrhosis .
Autoimmune Liver Diseases summarizes the recent high-impact research and clinical findings obtained in Japan in the study and treatment of autoimmune liver diseases. Although these disorders are relatively rare, they are recognized as an important group of refractory liver diseases, the most common of which are autoimmune hepatitis (AIH) and primary biliary cirrhosis (PBC). The book therefore comprises two major sections, one dealing with AIH, the other with PBC. AIH in Japanese patients creates a unique disease population, as its clinical features are different from those of Western patients resulting from the different genetic background of the two patient populations. Also, mouse models of neonatal thymectomy-PD-1 knockout mice, clinical analyses of acute hepatitis-like manifestations, and research findings on IgG4-related autoimmune hepatitis have been reported in Japan and are included in this book. A disease-susceptibility gene specific to Japanese PBC patients has also recently been discovered. Because of the relatively homogeneous population of Japan, analyses conducted with Japanese PBC patients have yielded findings that are highly relevant to the pathogenesis of the disease. Furthermore, new pathological staging criteria, anti-gp210 antibodies and the basis they provide for improved accuracy of prognosis, treatment with bezafibrate, and the outcomes of living-donor liver transplantation are also presented here. This volume therefore serves as a useful resource not only for hepatologists, but also for researchers, clinical residents, and medical students both in Japan and in other countries.
Publisher:
Springer Japan : Imprint: Springer,
Publication Place:
Tokyo :
ISBN:
9784431547891
Subject:
Medicine.
Internal medicine.
Gastroenterology.
Hepatology.
Medicine & Public Health.
Gastroenterology.
Hepatology.
Internal medicine.
Contents:
Preface -- Part I Autoimmune Hepatitis.- 1 Pathogenesis of Autoimmune Hepatitis-. 2 Animal Models of Autoimmune Hepatitis -- 3 Epidemiology and Natural History in Japan -- 4 Histological Findings of Autoimmune Hepatitis -- 5 Diagnosis of Autoimmune Hepatitis -- 6 Acute Presentation of Autoimmune Hepatitis -- 7 Treatment of Autoimmune Hepatitis -- 8 Management Strategies for Autoimmune Hepatitis Treatment Non-Responders -- 9 Pediatric Autoimmune Hepatitis -- 10 Nonalcoholic Steatohepatitis -Autoimmune Hepatitis Overlap -- 11 IgG4-Related Autoimmune Hepatitis -- Part II Primary Biliary Cirrhosis -- 12 The Onset Mechanism of Primary Biliary Cirrhosis -- 13 Genetic Factors in Pathogenesis of Primary Biliary Cirrhosis -- 14 Animal Models of Primary Biliary Cirrhosis -- 15 Epidemiology and Natural History in Japan -- 16 New Histological Staging and Grading System for Primary Biliary Cirrhosis -- 17 Autoantibodies in Primary Biliary Cirrhosis -- 18 Diagnosis and UDCA Treatment of Primary Biliary Cirrhosis -- 19 Bezafibrate Treatment of Primary Biliary Cirrhosis -- 20 Management the Patients with Feature of Autoimmune Hepatitis -- 21 Liver Transplantation for Primary Biliary Cirrhosis .
Physical Description:
VIII, 305 p. 70 illus., 44 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-4-431-54789-1
Publication Date:
2014.
Title:
Autoimmune Pancreatitis edited by Terumi Kamisawa, Jae Bock Chung.
Author:
Kamisawa, Terumi. editor.
Chung, Jae Bock. editor.
SpringerLink (Online service)
General Notes:
Preface -- Part 1. Overview of type 1 and type 2 -- Part 2. Epidemiology -- Part 3. Pathophysiology -- Part 4. Pathology -- Part 5. Clinical features -- Part 6. Pancreatic endocrine and exocrine functions -- Part 7. Serology -- Part 8. Diagnostic criteria -- Part 9. Imaging -- Abdominal ultrasonography -- CT and MRI with MRCP -- Endoscopy; ERCP and EUS -- PET-CTNobumasa Mizuno -- Part 10. Tissue acquisition for histologic diagnosis -- Part 11. Other organ involvements -- Sclerosing cholangitis -- Sialadenitis and dacryoadenitis -- Retroperitoneal fibrosis -- Renal lesions -- Pulmonary lesions -- Lymphadenopathy -- GI tract -- Part 12. Treatment -- Steroids -- Immunomodulatory drugs and rituximab -- Relapse -- Part 13. Prognosis -- Development to chronic pancreatitis -- Occurrence of malignant neoplasms -- Part 14. Type 2 AIP -- Part 15. International survey -- Part 16. AIP in the USA -- Part 17. AIP in Europe -- Part 18. Future perspective.
This book provides up-to-date information on all aspects of autoimmune pancreatitis, a unique form of pancreatitis characterized clinically by frequent presentation with obstructive jaundice and dramatic response to steroids, histologically by a lymphoplasmacytic infiltrate with fibrosis, and radiologically by pancreatic enlargement. Current concepts regarding the disease and its classification into subtypes 1 and 2 are explained, and clinical, serological, and histopathological findings are carefully described. Imaging features on all the relevant modalities are illustrated, covering both the pancreas and other involved organs. Current and emerging therapeutic strategies, including steroids, immunomodulatory drugs, and rituximab, are then discussed. The reader will find the book to be an excellent aid to the diagnosis of autoimmune pancreatitis and its differentiation from pancreatobiliary malignancies, as well as a clear guide to treatment.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783642550867
Subject:
Medicine.
Internal medicine.
Medicine & Public Health.
Internal medicine.
Contents:
Preface -- Part 1. Overview of type 1 and type 2 -- Part 2. Epidemiology -- Part 3. Pathophysiology -- Part 4. Pathology -- Part 5. Clinical features -- Part 6. Pancreatic endocrine and exocrine functions -- Part 7. Serology -- Part 8. Diagnostic criteria -- Part 9. Imaging -- Abdominal ultrasonography -- CT and MRI with MRCP -- Endoscopy; ERCP and EUS -- PET-CTNobumasa Mizuno -- Part 10. Tissue acquisition for histologic diagnosis -- Part 11. Other organ involvements -- Sclerosing cholangitis -- Sialadenitis and dacryoadenitis -- Retroperitoneal fibrosis -- Renal lesions -- Pulmonary lesions -- Lymphadenopathy -- GI tract -- Part 12. Treatment -- Steroids -- Immunomodulatory drugs and rituximab -- Relapse -- Part 13. Prognosis -- Development to chronic pancreatitis -- Occurrence of malignant neoplasms -- Part 14. Type 2 AIP -- Part 15. International survey -- Part 16. AIP in the USA -- Part 17. AIP in Europe -- Part 18. Future perspective.
Physical Description:
XII, 209 p. 77 illus., 26 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-642-55086-7
Publication Date:
2015.
Title:
Autoimmune Thrombocytopenia edited by Yoji Ishida, Yoshiaki Tomiyama.
Author:
Ishida, Yoji. editor.
Tomiyama, Yoshiaki. editor.
SpringerLink (Online service)
General Notes:
Part 1 Introduction -- 1 Megakaryocytopoiesis and thrombocytopoisis -- Part 2 History -- 2 History -- Part 3 Epidemiology -- 3 Epidemiology -- Part 4 Pathophysiology -- 4 Platelet membrane glycoproteins -- 5 Autoantigens in ITP -- 6 T cell abnormalities -- Part 5 Clinical manifestation -- 7 ITP in adults -- 8 ITP in childhood -- Part 6 Diagnosis -- 9 Diagnosis in general -- 10 Differential Diagnosis: Secondary ITP -- 11 Differential Diagnosis: Hereditary thrombocytopenia -- 12 Differential Diagnosis: Aplastic thrombocytopenia -- Part 7 Treatment of Adults -- 13 Helicobacter pylori (H. pylori) eradication -- 14 Steroid -- 15 High dose Immunnoglobulin -- 16 Splenectomy -- 17 Rituximab -- 18 TPO-R agonist -- 19 Others (Syk inhibitor and Other medications) -- 20 Transfusion -- 21 Therapy in pregnancy -- Part 8 Treatment of Children -- 22 Treatment of Children.
This book provides a concise yet comprehensive summary of the current state of knowledge concerning the pathophysiology, differential diagnosis and treatment options that support day-to-day patient management. It reviews a variety of treatments including TOP-R antagonists, along with Syk inhibitor, which has recently proven to be effective, enabling readers to update and broaden their knowledge of the disease. Covering topics ranging from basic science to clinical practice, Autoimmune Thrombocytopenia will appeal to a wide readership, from medical interns and residents to clinicians and hematologists, offering them a thought-provoking, instructive and informative collection of cutting-edge works. Accordingly, readers will gain an overview of the autoimmune and other causes of the disease, and the book will serve as a foundation for new research directions that further our understanding of the pathophysiology and development of diagnosis and treatment options.
Publisher:
Springer Singapore : Imprint: Springer,
Publication Place:
Singapore :
ISBN:
9789811041426
Subject:
Medicine.
Hematology.
Medicine & Public Health.
Hematology.
Contents:
Part 1 Introduction -- 1 Megakaryocytopoiesis and thrombocytopoisis -- Part 2 History -- 2 History -- Part 3 Epidemiology -- 3 Epidemiology -- Part 4 Pathophysiology -- 4 Platelet membrane glycoproteins -- 5 Autoantigens in ITP -- 6 T cell abnormalities -- Part 5 Clinical manifestation -- 7 ITP in adults -- 8 ITP in childhood -- Part 6 Diagnosis -- 9 Diagnosis in general -- 10 Differential Diagnosis: Secondary ITP -- 11 Differential Diagnosis: Hereditary thrombocytopenia -- 12 Differential Diagnosis: Aplastic thrombocytopenia -- Part 7 Treatment of Adults -- 13 Helicobacter pylori (H. pylori) eradication -- 14 Steroid -- 15 High dose Immunnoglobulin -- 16 Splenectomy -- 17 Rituximab -- 18 TPO-R agonist -- 19 Others (Syk inhibitor and Other medications) -- 20 Transfusion -- 21 Therapy in pregnancy -- Part 8 Treatment of Children -- 22 Treatment of Children.
Physical Description:
X, 229 p. 26 illus., 7 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-981-10-4142-6
Publication Date:
2017.
Title:
Autologous bone plugs fusion treatment for lumbar instability : 3E criteria, technical operative notes, the functioning of the Oh's screw / Soo-Young Oh.
Author:
Oh, Sooyoung.
ebrary, Inc.
General Notes:
Includes bibliographical references and index.
The 3E triad complies with the Swiss health authorities quality standards -- Steps towards recognition -- Anatomical aspects of lumbar fusion -- Clinical consideration of instability -- Indication for fusion operation -- Contraindication for operation -- History of Oh's temporary marking screw development -- Aspects of autologous bone plugs -- Operative technical procedure -- Routine postoperative checks (plug and screw) -- Expected effects -- Discussion -- History of transplantation surgery -- Presentations and publications -- Individual remarks.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2011. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
Publisher:
Karger,
Publication Place:
Basel ; New York :
ISBN:
9783805591881 (hard cover : alk. paper)
3805591888 (hard cover : alk. paper)
9783805591898 (e-book)
Subject:
Spine -- Instability -- Treatment.
Lumbar vertebrae.
Bone-grafting.
Autografts.
Electronic books.
Contents:
The 3E triad complies with the Swiss health authorities quality standards -- Steps towards recognition -- Anatomical aspects of lumbar fusion -- Clinical consideration of instability -- Indication for fusion operation -- Contraindication for operation -- History of Oh's temporary marking screw development -- Aspects of autologous bone plugs -- Operative technical procedure -- Routine postoperative checks (plug and screw) -- Expected effects -- Discussion -- History of transplantation surgery -- Presentations and publications -- Individual remarks.
Physical Description:
v, 99 p. : ill.
Electronic Location:
http://site.ebrary.com/lib/excellence/Doc?id=10568670
Publication Date:
c2009.
Title:
Autologous Fat Transfer Art, Science, and Clinical Practice / edited by Melvin A. Shiffman.
Author:
Shiffman, Melvin A.
SpringerLink (Online service)
General Notes:
<P>From the contents</P> <P>History, Principles, Fat Cell Metabolism -- Preoperative -- Techniques for Aesthetic Procedures: Guidelines. – Evaluation and Interpretation -- Transfer With Rice Grain-Sized Fat Parcels. Fat Transfer in the Asian -- Lipofilling Acne Scars -- Auto-Graft Muscle Injection. Complimentary Fat Grafting of the Face -- Transplants in Male and Femail Genitals, Breast Augmentation -- Rejuvenation of the Hand -- Buttocks and Legs -- Techniques for Non Aesthetic Procedures: Fat Transfer for Mild Pectus Excavatum Correction -- Correction of Hemifacial Atrophy -- Recontouring Postradiation Defect -- Treatment of Migraine Headache with Botulinum Toxin, Supercilii Muscle Resection, and Fat Transfer -- Fascia Transplantation and Fat Injectiosn for Sulcus Volaclis -- Retropharyngeal Fat Transfer for Congenital Short Palate -- Autologous Fat Transplantation Around Temporomandibular Joint Prosthesis -- Complications -- Miscellaneous: Medical Legal Aspects.</P>.
<P>The book covers all aspects of autologous fat transfer including the history of fat transfer, the history of autologous fat survival, a variety of aesthetic and plastic procedures of the face and body, noncosmetic applications of fat transfer, preoperative care, complications, and medical-legal aspects. The contributors are international experts in the field of autologous fat transfer. The Table of Contents shows the variety of subjects.</P> <P>The book is intended for residents and fellows, practicing and highly experienced cosmetic surgeons, and surgeons in the fields of plastic surgery, general surgery, otolaryngology, ophthalmology, oral-maxillofacial surgery, neurosurgery, orthopedic surgery, and other surgical subspecialties.</P>
Publisher:
Springer Berlin Heidelberg,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783642004735
Subject:
Medicine.
Neurosurgery.
Ophthalmology.
Otorhinolaryngology.
Surgery.
Medicine & Public Health.
Plastic Surgery.
Otorhinolaryngology.
Oral and Maxillofacial Surgery.
Ophthalmology.
Neurosurgery.
Contents:
<P>From the contents</P> <P>History, Principles, Fat Cell Metabolism -- Preoperative -- Techniques for Aesthetic Procedures: Guidelines. – Evaluation and Interpretation -- Transfer With Rice Grain-Sized Fat Parcels. Fat Transfer in the Asian -- Lipofilling Acne Scars -- Auto-Graft Muscle Injection. Complimentary Fat Grafting of the Face -- Transplants in Male and Femail Genitals, Breast Augmentation -- Rejuvenation of the Hand -- Buttocks and Legs -- Techniques for Non Aesthetic Procedures: Fat Transfer for Mild Pectus Excavatum Correction -- Correction of Hemifacial Atrophy -- Recontouring Postradiation Defect -- Treatment of Migraine Headache with Botulinum Toxin, Supercilii Muscle Resection, and Fat Transfer -- Fascia Transplantation and Fat Injectiosn for Sulcus Volaclis -- Retropharyngeal Fat Transfer for Congenital Short Palate -- Autologous Fat Transplantation Around Temporomandibular Joint Prosthesis -- Complications -- Miscellaneous: Medical Legal Aspects.</P>.
Physical Description:
digital.
Electronic Location:
http://dx.doi.org/10.1007/978-3-642-00473-5
Publication Date:
2010.
Title:
Autologous Resurfacing and Fracture Dowelling A Manual of Transplantation Technique / by Klaus Draenert, Yvette Draenert, Tim Pohlemann, Gerd Regel.
Author:
Draenert, Klaus. author.
Draenert, Yvette. author.
Pohlemann, Tim. author.
Regel, Gerd. author.
SpringerLink (Online service)
General Notes:
Historical Background -- Microscopical Anatomy -- Growth -- Turnover and Healing Processes -- Bone Substitutes -- Cartilage-Bone Grafting -- Clinical Practice of Autologous Resurfacing® -- Fracture Dowelling -- Instrumentation.
This book describes in detail a unique and very precise operative technique that uses autologous cartilage/bone grafts for the reconstruction of load-bearing joint surfaces and for dowelling of non-unions. The technique, employing diamond instruments and a wet grinding process, has been developed and refined over the past 30 years at the Center for Orthopaedic Sciences (ZOW), first in Bern and later in Munich. A step-by-step description of the method is provided for each indication, with the aid of many high-quality illustrations. Correctly applied, the technique has been very successful in restoring high-level athletes to competition; it can be applied even in “hopeless cases” and offers excellent late results. This guide will be invaluable for orthopaedic surgeons wishing to master this proven and effective approach.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783642249112
Subject:
Medicine.
Orthopedic surgery.
Medicine & Public Health.
Surgical Orthopedics.
Contents:
Historical Background -- Microscopical Anatomy -- Growth -- Turnover and Healing Processes -- Bone Substitutes -- Cartilage-Bone Grafting -- Clinical Practice of Autologous Resurfacing® -- Fracture Dowelling -- Instrumentation.
Physical Description:
XII, 140 p. 189 illus., 149 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-642-24911-2
Publication Date:
2012.
Title:
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Author:
Esparza, Javier. editor.
Fraigniaud, Pierre. editor.
Husfeldt, Thore. editor.
Koutsoupias, Elias. editor.
SpringerLink (Online service)
General Notes:
Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch -- Time-Expanded Packings -- Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM -- The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average -- Tighter Relations between Sensitivity and Other Complexity Measures -- On Hardness of Jumbled Indexing -- Morphing Planar Graph Drawings Optimally -- Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star Partitions of Perfect Graphs -- Coordination Mechanisms for Selfish Routing over Time on a Tree -- On Area-Optimal Planar Graph Drawings -- Shortest Two Disjoint Paths in Polynomial Time -- Listing Triangles -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical Growth Model [Extended Abstract]. Lower Bounds for Approximate LDCs -- Holographic Algorithms Beyond Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost -- The Bose-Hubbard Model is QMA-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum Entropy Summary Trees -- Thorp Shuffling, Butterflies, and Non-Markovian Couplings.-Dynamic Complexity of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile -- Canadians Should Travel Randomly -- Efficiency Guarantees in Auctions with Budgets -- Parameterized Complexity of Bandwidth on Trees -- Testing Equivalence of Polynomials under Shifts -- Optimal Analysis of Best Fit Bin Packing -- Light Spanners.-Semi-Streaming Set Cover (Extended Abstract) -- Online Stochastic Reordering Buffer Scheduling -- Demand Queries with Preprocessing -- Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs -- Public vs Private Coin in Bounded-Round Information -- En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations -- Improved Submatrix Maximum Queries in Monge Matrices -- For-All Sparse Recovery in Near-Optimal Time -- Families with Infants: A General Approach to Solve Hard Partition Problems -- Changing Bases: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not -- Partial Garbling Schemes and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information Theoretical Cryptogenography -- The Complexity of Somewhat Approximation Resistant Predicates -- Approximate Nonnegative Rank Is Equivalent to the Smooth Rectangle Bound -- Distance Oracles for Time-Dependent Networks -- Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields -- Coloring Relatives of Interval Overlap Graphs via On-line Games -- Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits.-Testing Forest-Isomorphism in the Adjacency List Model -- Parameterized Approximation Schemes Using Graph Widths -- FPTAS for Weighted Fibonacci Gates and Its Applications -- Parameterized Algorithms to Preserve Connectivity -- Nonuniform Graph Partitioning with Unrelated Weights -- Precedence-Constrained Scheduling of Malleable Jobs with Preemption -- Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability -- QCSP on Semicomplete Digraphs -- Fast Pseudorandomness for Independence and Load Balancing [Extended Abstract] -- Determining Majority in Networks with Local Interactions and Very Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster Parameterized Algorithm for Treedepth -- Pseudorandom Graphs in Data Structures -- Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications -- The Mondshein Sequence -- Balanced Allocations: A Simple Proof for the Heavily Loaded Case -- Close to Uniform Prime Number Generation with Fewer Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs -- Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem (Extended Abstract) -- On Learning, Lower Bounds and (un)Keeping Promises -- Certificates in Data Structures -- Optimal Query Complexity for Estimating the Trace of a Matrix -- Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles -- Spatial Mixing of Coloring Random Graphs.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783662439487
Subject:
Computer science.
Computer communication systems.
Computers.
Algorithms.
Computer science -- Mathematics.
Information storage and retrieval.
Computer science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer Communication Networks.
Information Storage and Retrieval.
Information Systems Applications (incl.Internet).
Discrete Mathematics in Computer Science.
Series:
Lecture Notes in Computer Science, 8572
Lecture notes in computer science, 8572
Contents:
Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak Parity -- Consequences of Faster Alignment of Sequences -- Distance Labels with Optimal Local Stretch -- Time-Expanded Packings -- Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM -- The Tropical Shadow-Vertex Algorithm Solves Mean Payoff Games in Polynomial Time on Average -- Tighter Relations between Sensitivity and Other Complexity Measures -- On Hardness of Jumbled Indexing -- Morphing Planar Graph Drawings Optimally -- Incremental Algorithm for Maintaining DFS Tree for Undirected Graphs -- On the Role of Shared Randomness in Simultaneous Communication -- Short PCPs with Projection Queries -- Star Partitions of Perfect Graphs -- Coordination Mechanisms for Selfish Routing over Time on a Tree -- On Area-Optimal Planar Graph Drawings -- Shortest Two Disjoint Paths in Polynomial Time -- Listing Triangles -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical Growth Model [Extended Abstract]. Lower Bounds for Approximate LDCs -- Holographic Algorithms Beyond Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition of Entangled Games with Exponential Decay via the Superposed Information Cost -- The Bose-Hubbard Model is QMA-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum Entropy Summary Trees -- Thorp Shuffling, Butterflies, and Non-Markovian Couplings.-Dynamic Complexity of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile -- Canadians Should Travel Randomly -- Efficiency Guarantees in Auctions with Budgets -- Parameterized Complexity of Bandwidth on Trees -- Testing Equivalence of Polynomials under Shifts -- Optimal Analysis of Best Fit Bin Packing -- Light Spanners.-Semi-Streaming Set Cover (Extended Abstract) -- Online Stochastic Reordering Buffer Scheduling -- Demand Queries with Preprocessing -- Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs -- Public vs Private Coin in Bounded-Round Information -- En Route to the Log-Rank Conjecture: New Reductions and Equivalent Formulations -- Improved Submatrix Maximum Queries in Monge Matrices -- For-All Sparse Recovery in Near-Optimal Time -- Families with Infants: A General Approach to Solve Hard Partition Problems -- Changing Bases: Multistage Optimization for Matroids and Matchings -- Problems -- Nearly Linear-Time Model-Based Compressive Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not -- Partial Garbling Schemes and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information Theoretical Cryptogenography -- The Complexity of Somewhat Approximation Resistant Predicates -- Approximate Nonnegative Rank Is Equivalent to the Smooth Rectangle Bound -- Distance Oracles for Time-Dependent Networks -- Efficient Indexing of Necklaces and Irreducible Polynomials over Finite Fields -- Coloring Relatives of Interval Overlap Graphs via On-line Games -- Superpolynomial Lower Bounds for General Homogeneous Depth 4 Arithmetic Circuits.-Testing Forest-Isomorphism in the Adjacency List Model -- Parameterized Approximation Schemes Using Graph Widths -- FPTAS for Weighted Fibonacci Gates and Its Applications -- Parameterized Algorithms to Preserve Connectivity -- Nonuniform Graph Partitioning with Unrelated Weights -- Precedence-Constrained Scheduling of Malleable Jobs with Preemption -- Unbounded Entanglement Can Be Needed to Achieve the Optimal Success Probability -- QCSP on Semicomplete Digraphs -- Fast Pseudorandomness for Independence and Load Balancing [Extended Abstract] -- Determining Majority in Networks with Local Interactions and Very Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster Parameterized Algorithm for Treedepth -- Pseudorandom Graphs in Data Structures -- Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications -- The Mondshein Sequence -- Balanced Allocations: A Simple Proof for the Heavily Loaded Case -- Close to Uniform Prime Number Generation with Fewer Random Bits -- Optimal Strong Parallel Repetition for Projection Games on Low Threshold Rank Graphs -- Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem (Extended Abstract) -- On Learning, Lower Bounds and (un)Keeping Promises -- Certificates in Data Structures -- Optimal Query Complexity for Estimating the Trace of a Matrix -- Faster Separators for Shallow Minor-Free Graphs via Dynamic Approximate Distance Oracles -- Spatial Mixing of Coloring Random Graphs.
Physical Description:
XXXIV, 1090 p. 74 illus. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-662-43948-7
Publication Date:
2014.
Title:
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Author:
Esparza, Javier. editor.
Fraigniaud, Pierre. editor.
Husfeldt, Thore. editor.
Koutsoupias, Elias. editor.
SpringerLink (Online service)
General Notes:
Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient Complexity of Boolean Operations -- Handling Infinitely Branching WSTS -- Transducers with Origin Information -- Weak MSO+U with Path Quantifiers over Infinite Trees -- On the Decidability of MSO+U on Infinite Trees -- A Coalgebraic Foundation for Coinductive Union Types -- Turing Degrees of Limit Sets of Cellular Automata -- On the Complexity of Temporal-Logic Path Checking -- Parameterised Linearisability -- Games with a Weak Adversary -- The Complexity of Ergodic Mean-payoff Games -- Toward a Structure Theory of Regular Infinitary Trace Languages -- Unary Pushdown Automata and Straight-Line Programs -- Robustness against Power is PSpace-complete -- A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic -- Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs -- Coalgebraic Weak Bisimulation from Recursive Equations over Monads -- Piecewise Boolean Algebras and Their Domains -- Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency -- Bisimulation Equivalence of First-Order Grammars -- Context Unification is in PSPACE -- Monodic Fragments of Probabilistic First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear Recurrence Sequences -- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences -- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words -- Hardness Results for Intersection Non-Emptiness -- Branching Bisimilarity Checking for PRS -- Track C: Foundations of Networked Computing Labeling Schemes for Bounded Degree Graphs -- Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints -- Distributed Computing on Core-Periphery Networks: Axiom-Based Design 399 -- Fault-Tolerant Rendezvous in Networks -- Data Delivery by Energy-Constrained Mobile Agents on a Line -- The Power of Two Choices in Distributed Voting -- Jamming-Resistant Learning in Wireless Networks -- Facility Location in Evolving Metrics -- Solving the ANTS Problem with Asynchronous Finite State Machines -- Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set -- Randomized Rumor Spreading in Dynamic Graphs -- Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods -- Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems -- Orienting Fully Dynamic Graphs with Worst-Case Time Bounds -- Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router -- The Melbourne Shuffle: Improving Oblivious Storage in the Cloud -- Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems -- Bypassing Erdos’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners.
This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denmark, in July 2014. The total of 136 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 484 submissions. The papers are organized in three tracks focussing on Algorithms, Complexity, and Games, Logic, Semantics, Automata, and Theory of Programming, Foundations of Networked Computation.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783662439517
Subject:
Computer science.
Computer communication systems.
Computers.
Algorithms.
Computer science -- Mathematics.
Information storage and retrieval.
Computer science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer Communication Networks.
Information Storage and Retrieval.
Information Systems Applications (incl.Internet).
Discrete Mathematics in Computer Science.
Series:
Lecture Notes in Computer Science, 8573
Lecture notes in computer science, 8573
Contents:
Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient Complexity of Boolean Operations -- Handling Infinitely Branching WSTS -- Transducers with Origin Information -- Weak MSO+U with Path Quantifiers over Infinite Trees -- On the Decidability of MSO+U on Infinite Trees -- A Coalgebraic Foundation for Coinductive Union Types -- Turing Degrees of Limit Sets of Cellular Automata -- On the Complexity of Temporal-Logic Path Checking -- Parameterised Linearisability -- Games with a Weak Adversary -- The Complexity of Ergodic Mean-payoff Games -- Toward a Structure Theory of Regular Infinitary Trace Languages -- Unary Pushdown Automata and Straight-Line Programs -- Robustness against Power is PSpace-complete -- A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic -- Computability in Anonymous Networks: Revocable vs. Irrecovable Outputs -- Coalgebraic Weak Bisimulation from Recursive Equations over Monads -- Piecewise Boolean Algebras and Their Domains -- Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency -- Bisimulation Equivalence of First-Order Grammars -- Context Unification is in PSPACE -- Monodic Fragments of Probabilistic First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus -- On the Positivity Problem for Simple Linear Recurrence Sequences -- Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences -- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words -- Hardness Results for Intersection Non-Emptiness -- Branching Bisimilarity Checking for PRS -- Track C: Foundations of Networked Computing Labeling Schemes for Bounded Degree Graphs -- Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints -- Distributed Computing on Core-Periphery Networks: Axiom-Based Design 399 -- Fault-Tolerant Rendezvous in Networks -- Data Delivery by Energy-Constrained Mobile Agents on a Line -- The Power of Two Choices in Distributed Voting -- Jamming-Resistant Learning in Wireless Networks -- Facility Location in Evolving Metrics -- Solving the ANTS Problem with Asynchronous Finite State Machines -- Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set -- Randomized Rumor Spreading in Dynamic Graphs -- Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods -- Optimal Competitiveness for Symmetric Rectilinear Steiner Arborescence and Related Problems -- Orienting Fully Dynamic Graphs with Worst-Case Time Bounds -- Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router -- The Melbourne Shuffle: Improving Oblivious Storage in the Cloud -- Sending Secrets Swiftly: Approximation Algorithms for Generalized Multicast Problems -- Bypassing Erdos’ Girth Conjecture: Hybrid Stretch and Sourcewise Spanners.
Physical Description:
XXX, 624 p. 49 illus. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-662-43951-7
Publication Date:
2014.
Title:
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Author:
Halldórsson, Magnús M. editor.
Iwama, Kazuo. editor.
Kobayashi, Naoki. editor.
Speckmann, Bettina. editor.
SpringerLink (Online service)
General Notes:
Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication.
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783662476727
Subject:
Computer science.
Computer communication systems.
Computers.
Algorithms.
Computer science -- Mathematics.
Information storage and retrieval.
Computer science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer Communication Networks.
Information Storage and Retrieval.
Information Systems Applications (incl.Internet).
Discrete Mathematics in Computer Science.
Series:
Lecture Notes in Computer Science, 9134
Lecture notes in computer science, 9134
Contents:
Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication.
Physical Description:
XXXI, 1111 p. 78 illus. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-662-47672-7
Publication Date:
2015.
Title:
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Author:
Halldórsson, Magnús M. editor.
Iwama, Kazuo. editor.
Kobayashi, Naoki. editor.
Speckmann, Bettina. editor.
SpringerLink (Online service)
General Notes:
Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation -- On Reducing Linearizability to State Reachability -- The Complexity of Synthesis from Probabilistic Components -- Edit Distance for Pushdown Automata -- Solution Sets for Equations over Free Groups Are EDT0L Languages -- Limited Set Quantifiers over Countable Linear Orderings -- Reachability Is in DynFO -- Natural Homology -- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree Transducers with Origin -- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed-Dimensional Energy Games Are in Pseudo-Polynomial Time -- An Algebraic Geometric Approach to Nivat’s Conjecture -- Nominal Kleene Coalgebra -- On Determinisation of Good-for-Games Automata -- Owicki-Gries Reasoning for Weak Memory Models -- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire Category Quantifier in Monadic Second Order Logic -- Liveness of Parameterized Timed Networks -- Symmetric Strategy Improvement -- Effect Algebras, Presheaves, Non-locality and Contextuality -- On the Complexity of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded Clique-Width -- An Approach to Computing Downward Closures -- How Much Lookahead Is Needed to Win Infinite Games? -- Symmetric Graph Properties Have Independent Edges -- Polylogarithmic-Time Leader Election in Population Protocols -- Core Size and Densification in Preferential Attachment Networks -- Maintaining Near-Popular Matchings -- Ultra-Fast Load Balancing on Scale-Free Networks -- Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms -- The Range of Topological Effects on Communication -- Secretary Markets with Local Information -- A Simple and Optimal Ancestry Labeling Scheme for Trees -- Interactive Communication with Unknown Noise Rate -- Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs -- A Unified Framework for Strong Price of Anarchy in Clustering Games -- On the Diameter of Hyperbolic Random Graphs -- Tight Bounds for Cost-Sharing in Weighted Congestion Games -- Distributed Broadcast Revisited: Towards Universal Optimality -- Selling Two Goods Optimally -- Adaptively Secure Coin-Flipping, Revisited -- Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem -- Normalization Phenomena in Asynchronous Networks -- Broadcast from Minicast Secure Against General Adversaries.
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.
Publisher:
Springer Berlin Heidelberg : Imprint: Springer,
Publication Place:
Berlin, Heidelberg :
ISBN:
9783662476666
Subject:
Computer science.
Computer communication systems.
Computers.
Algorithms.
Computer science -- Mathematics.
Information storage and retrieval.
Computer science.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer Communication Networks.
Information Storage and Retrieval.
Information Systems Applications (incl.Internet).
Discrete Mathematics in Computer Science.
Series:
Lecture Notes in Computer Science, 9135
Lecture notes in computer science, 9135
Contents:
Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation -- On Reducing Linearizability to State Reachability -- The Complexity of Synthesis from Probabilistic Components -- Edit Distance for Pushdown Automata -- Solution Sets for Equations over Free Groups Are EDT0L Languages -- Limited Set Quantifiers over Countable Linear Orderings -- Reachability Is in DynFO -- Natural Homology -- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree Transducers with Origin -- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed-Dimensional Energy Games Are in Pseudo-Polynomial Time -- An Algebraic Geometric Approach to Nivat’s Conjecture -- Nominal Kleene Coalgebra -- On Determinisation of Good-for-Games Automata -- Owicki-Gries Reasoning for Weak Memory Models -- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire Category Quantifier in Monadic Second Order Logic -- Liveness of Parameterized Timed Networks -- Symmetric Strategy Improvement -- Effect Algebras, Presheaves, Non-locality and Contextuality -- On the Complexity of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded Clique-Width -- An Approach to Computing Downward Closures -- How Much Lookahead Is Needed to Win Infinite Games? -- Symmetric Graph Properties Have Independent Edges -- Polylogarithmic-Time Leader Election in Population Protocols -- Core Size and Densification in Preferential Attachment Networks -- Maintaining Near-Popular Matchings -- Ultra-Fast Load Balancing on Scale-Free Networks -- Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms -- The Range of Topological Effects on Communication -- Secretary Markets with Local Information -- A Simple and Optimal Ancestry Labeling Scheme for Trees -- Interactive Communication with Unknown Noise Rate -- Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs -- A Unified Framework for Strong Price of Anarchy in Clustering Games -- On the Diameter of Hyperbolic Random Graphs -- Tight Bounds for Cost-Sharing in Weighted Congestion Games -- Distributed Broadcast Revisited: Towards Universal Optimality -- Selling Two Goods Optimally -- Adaptively Secure Coin-Flipping, Revisited -- Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem -- Normalization Phenomena in Asynchronous Networks -- Broadcast from Minicast Secure Against General Adversaries.
Physical Description:
XXXIX, 717 p. 65 illus. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-662-47666-6
Publication Date:
2015.
Title:
Automata, Universality, Computation Tribute to Maurice Margenstern / edited by Andrew Adamatzky.
Emergence, Complexity and Computation,
Emergence, Complexity and Computation,
Author:
Adamatzky, Andrew. editor.
SpringerLink (Online service)
General Notes:
The common structure of the curves having a same Gauss word -- Logical theory of the additive monoid of subsets of natural integers -- Some reflections on mathematics and its relation to computer Science -- Sampling a Two-way Finite Automaton -- Constructing reversible Turing machines by reversible logic element with memory -- The Grossone methodology perspective on Turing machines -- On Parallel Array P Systems -- Computational models based on splicing -- Linear Cellular Automata and Decidability -- Algorithms with Active Cells Modeled by Cellular Automata with Write-Access (CA-w) -- Broadcasting automata and patterns on Z2 -- Real-Time Prime Generators Implemented on Small-State Cellular Automata -- Phyllosilicate Automata.
This book is an intellectually stimulating excursion into mathematical machines and structures capable for a universal computation. World top experts in computer science and mathematics overview exciting and intriguing topics of logical theory of monoids, geometry of Gauss word, philosophy of mathematics in computer science, asynchronous and parallel P-systems, decidability in cellular automata, splicing systems, reversible Turing machines, information flows in two-way finite automata, prime generators in automaton arrays, Grossone and Turing machines, automaton models of atomic lattices. The book is full of visually attractive examples of mathematical machines, open problems and challenges for future research. Those interested in the advancement of a theory of computation, philosophy of mathematics, future and emergent computing paradigms, architectures and implementations will find the book vital for their research and development.
Publisher:
Springer International Publishing : Imprint: Springer,
Publication Place:
Cham :
ISBN:
9783319090399
Subject:
Engineering.
Computer science -- Mathematics.
Computer mathematics.
Physics.
Complexity, Computational.
Engineering.
Complexity.
Complex Networks.
Mathematical Applications in Computer Science.
Series:
Emergence, Complexity and Computation, 12
Emergence, Complexity and Computation, 12
Contents:
The common structure of the curves having a same Gauss word -- Logical theory of the additive monoid of subsets of natural integers -- Some reflections on mathematics and its relation to computer Science -- Sampling a Two-way Finite Automaton -- Constructing reversible Turing machines by reversible logic element with memory -- The Grossone methodology perspective on Turing machines -- On Parallel Array P Systems -- Computational models based on splicing -- Linear Cellular Automata and Decidability -- Algorithms with Active Cells Modeled by Cellular Automata with Write-Access (CA-w) -- Broadcasting automata and patterns on Z2 -- Real-Time Prime Generators Implemented on Small-State Cellular Automata -- Phyllosilicate Automata.
Physical Description:
XII, 418 p. 107 illus., 24 illus. in color. online resource.
Electronic Location:
http://dx.doi.org/10.1007/978-3-319-09039-9
Publication Date:
2015.
Log in
Help
