Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Microbiome and the Eye: What’s the connection? highlights how alterations in the gut and eye microbiomes can lead to systemic immune alterations with subsequent effects on the eye. The book is divided into two sections, one highlighting how alterations in the gut microbiome impact various components of health outside the gut, with a focus on the immune system and inflammatory mediators, and the second focusing on studies on a variety of ocular diseases, including ocular surface diseases/dry eye, keratitis, uveitis, glaucoma, and retinopathy to gut dysbiosis. With its translational approach, the book is suitable for both researchers and clinicians.The book will help readers understand the mechanisms in which gut and eye microbiome composition may influence health in multiple compartments, with a focus on eye diseases. Key Features: Helps researchers understand the clinical eye diseases that have been linked to gut microbiome abnormalities. Helps clinicians understand the mechanisms in which gut microbiome composition may influence health in multiple compartments. Provides a foundation for future studies that consider gut microbiome manipulations as a treatment for specific eye diseases.

Eye --- Immunology. --- Diseases. --- Immunobiology --- Life sciences --- Serology --- Ophthalmology --- Diseases and defects --- Medical microbiology. --- Eye Diseases --- Microbiota --- Gastrointestinal Microbiome

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

Automatic theorem proving --- Software engineering. --- Artificial intelligence. --- Computer science. --- Computers. --- Computer engineering. --- Computer networks. --- Software Engineering. --- Artificial Intelligence. --- Theory of Computation. --- Computer Hardware. --- Computer Engineering and Networks.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Only recently have we begun to appreciate the role of microbiome in health and disease. Environmental factors and change of life style including diet significantly shape human microbiome that in turn appears to modify gut barrier function affecting nutrient & electrolyte absorption and inflammation. Approaches that can reverse the gut dysbiosis represent as reasonable and novel strategies for restoring the balance between host and microbes. In the book, we offer summary and discussion on the advances in understanding of pathophysiological mechanisms of microbial host interactions in human diseases. We will not only discuss intestinal bacterial community, but also viruses, fungi and oral microbiome. Microbiome studies will facilitate diagnosis, functional studies, drug development and personalized medicine. Thus, this book will further highlight the microbiome in the context of health and disease, focusing on mechanistic concepts that underlie the complex relationships between host and microbes.

General microbiology --- Human physiology --- Medical microbiology, virology, parasitology --- Human medicine --- medische microbiologie --- geneeskunde --- microbiologie --- fysiologie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Formal methods (Computer science) --- Software engineering. --- Computer science. --- Logic design. --- Information Systems. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computation by Abstract Devices. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Mathematical logic. --- Computer logic. --- Management information systems. --- Computers. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Mathematical logic --- Logic --- Computer science --- Information systems --- Computer. Automation --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- informatiesystemen --- wiskunde --- software engineering --- informatica management --- logica --- computerkunde