Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Intelligent Integrated Systems
This book gives a state-of-the-art overview by internationally recognized researchers of the architectures of breakthrough devices required for future intelligent integrated systems. The first section highlights Advanced Silicon-Based CMOS Technologies. New device and functional architectures are reviewed in chapters on Tunneling Field-Effect Transistors and 3-D monolithic Integration, which the alternative materials could possibly use in the future. The way we can augment silicon technologies is illustrated by the co-integration of new types of devices, such as molecular and resistive spintronics-based memories and smart sensors, using nanoscale features co-integrated with silicon CMOS or above it.
Handbook Of Porphyrin Science: With Applications To Chemistry, Physics, Materials Science, Engineering, Biology And Medicine (Volumes 1-5)
This is the first set of Handbook of Porphyrin Science.Porphyrins, phthalocyanines and their numerous analogues and derivatives are materials of tremendous importance in chemistry, materials science, physics, biology and medicine. They are the red color in blood (heme) and the green in leaves (chlorophyll); they are also excellent ligands that can coordinate with almost every metal in the Periodic Table. Grounded in natural systems, porphyrins are incredibly versatile and can be modified in many ways; each new modification yields derivatives demonstrated new chemistry, physics and biology, with a vast array of medicinal and technical applications.As porphyrins are currently employed as platf...
From Reactive Systems to Cyber-Physical Systems
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made fundamental research contributions in a number of areas, including process algebra, model checking, probabilistic processes, runtime verification, and the modeling and analysis of cardiac cells, neural circuits and flocking behaviors. He is perhaps best known for the algorithm he and Paris Kanellakis invented for checking bi-simulation. The title of this volume From Reactive Systems to Cyber-Physical Systems reflects Scott's main research focus throughout his career. It contains the papers written by his closest friends and collaborators. The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
CONCUR 2005 - Concurrency Theory
This book constitutes the refereed proceedings of the 16th International Conference on Concurreny Theory, CONCUR 2005, held in San Francisco, CA, USA in August 2005. The 38 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 100 submissions. Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification.
Annual Reports in Medicinal Chemistry
Annual Reports in Medicinal Chemistry provides timely and critical reviews of important topics in medicinal chemistry together with an emphasis on emerging topics in the biological sciences, which are expectedto provide the basis for entirely new future therapies.
Index Medicus
Vols. for 1963- include as pt. 2 of the Jan. issue: Medical subject headings.
Hepatitis B Virus and Liver Disease
This book provides a comprehensive, state-of-the art review of HBV infection and liver disease. It discusses new data on basic and translational medicine, including the viral life cycle, the immunopathogenesis of virus-induced chronic hepatitis, viral and host genetic factors affecting disease progression, and the mechanism of virus-induced hepatocarcinogenesis, as well as their potential applications in daily clinical practice. The clinical aspects of chronic HBV infection are examined in chapters on the global epidemiology, efficacy of HBV vaccination, natural history, co-infections with HCV, HDV or HIV, and management of special populations including children, pregnant women and patients undergoing immunosuppressive therapy. Further, it describes the advances and perspectives in the development of novel antiviral treatments as possible cures for HBV infection. The book is a valuable resource for medical students, physicians, and researchers who are interested in managem ent of patients with chronic HBV infection and investigation of HBV infection.
