KNiTO

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. 

The 52 full papers presented  together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: 

Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; 

Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency. 

Computer Aided Verification :31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

SpringerOpen

Isil Dillig(editor)

Serdar Tasiran(editor)

Computer Science

Information Technology

Computer Science & IT

Humanities

Art & Humanities

Mathematics

Statistics

Math & Statistics

Principles of Macroeconomics for AP® Courses 2e covers the scope and sequence requirements for an Advanced Placement® macroeconomics course and is listed on the College Board’s AP® example textbook list. The second edition includes many current examples and recent data from FRED (Federal Reserve Economic Data), which are presented in a politically equitable way. The outcome is a balanced approach to the theory and application of economics concepts.

Principles of Macroeconomics for AP® Courses 2e

OpenStax

Steven A. Greenlaw

David Shapiro

This book is open access under a CC BY NC ND 4.0 license.

This book belongs to the Maritime Business and Economic History strand of the Palgrave Studies in Maritime Economics book series.

This volume highlights the contribution of the shipping industry to the transformations in business and society of the postwar era. Shipping was both an example and an engine of globalization and structural change. In turn, the industry experienced and pioneered, mirrored and enabled key developments that led to the present-day globalized economy. Contributions address issues such as the macro-level shift of shipping’s centre of gravity from Europe to Asia, the political and legal frameworks within which it developed, the strategies and performance of both successful and unsuccessful firms, and the links between the shipping industry and the wider economy and society. Without shipping and its ability to forge connections and networks of a global reach, the modern world would look very different.

By bringing together scholars from various disciplinary and national backgrounds, this book advances our understanding of the linkages that bind economies and societies together.

Shipping and Globalization in the Post-War Era: Contexts, Companies, Connections

Niels P. Petersson(editor)

Stig Tenold(editor)

Nicholas J. White(editor)

This unique resource provides a clear, effective introduction to the legal issues and applications of Intellectual Property. The book is directed at students and ordinary citizens with no formal background in the field, and who may be studying entrepreneurship, marketing, computer science, engineering, or other fields. It is useful in an array of courses ranging from Business Law and Product Design to Information Systems and many others.
Introduction to Intellectual Property covers patent basics and enforcement, copyright, trademark, and trade secrets. Each chapter is authored by an expert in the respective field, all under the guidance of principal author David Kline and executive editor David Kappos. The luminaries involved with this project represent the forefront of knowledge and experience on these topics, which makes the text an even more valuable resource for instructors, students, and professionals.
While informative for anyone with a professional or personal interest in intellectual property, this resource is a formal textbook, and is designed for the effective instruction of college students. Each chapter contains learning objectives, subsections, and topically oriented review questions.
Introduction to Intellectual Property was originally developed by the Michelson 20MM Foundation, released under the title The Intangible Advantage. It remains available along with an accompanying online course, video series, and other resources. Visit https://michelsonip.com/intangible-advantage/ for more information, and see below for more detailed descriptions of these assets.


Introduction to Intellectual Property

David Kline

David Kappos

Business

Economics

Business & Economics

Type

Kids Books

The natural world can be viewed as a continuously changing complex system comprising variable units that do not conform to any stable plan. Within this framework, human evolution is not the story of the past that created Homo sapiens and then handed this account over to written history. It is the ongoing process that shapes us now and will shape us in the future, body and mind. We must understand it in order to survive and be able to direct it to our advantage. The Dynamic Human presents a general theory of how humans function as a multi-individual system embedded in the natural world. The authors employ a unified approach of systems theory to outline forces that direct ongoing human evolution and produce its outcomes in terms of the past, present and future. Readers will find a perspective on the human place in nature, through a brief account of the past human evolution over 10 million years ago, a discussion of the earliest appearance of humans some 2 million years ago, and a description of the mechanisms of the changes in the gene pool of humans from generation-to-generation. Understanding the forces involved in these mechanisms (physical and mental growth and development) may allow us to understand human evolution better. The Dynamic Human presents a simplified perspective on human evolution for all readers interested in a discourse on the origins, nature and future of human beings.


The Dynamic Human

Bentham Science Publishers

Maciej Henneberg

Arthur Saniotis

Social Sciences

Springer Conferences

Beta-glucan is a polysaccharide and an important food supplement that strengthens the immune system. Beta-glucan can be obtained from many food sources such as mushrooms, yeast, or oats. Beta-glucan has a therapeutic use in the treatment of many diseases, thanks to its immune system strengthening effect. Its use helps curtail the need for administering high levels of antibiotics in case of serious infections. This book presents information about the medical applications of beta-glucan. Starting with an introduction to the basic biochemistry and classification of beta-glucan, the contents explain the readers about its use in treating a variety of medical conditions. These include cancer, allergies, COVID-19, respiratory tract infections, hypercholesterolemia, diabetes and many other other endocrinological, immunological and infectious diseases. This book is a comprehensive resource about the medical use of beta-glucan where any reader can find topical information and learn about recent studies on the therapeutic effects of beta-glucan on the treatment of different diseases.


Medical Applications of Beta-Glucan

Betül Gürünlü

Recent Progress in Pharmaceutical Nanobiotechnology: A Medical Perspective offers a comprehensive exploration of the dynamic field of pharmaceutical nanobiotechnology, focusing on its medical applications. This edited reference serves as a valuable resource for researchers, students, and professionals in various disciplines (pharmacology, biotechnology, clinical medicine and nanotechnology) , providing insights into the latest advancements and practical implications of nanotechnology in the pharmaceutical sector.
 
 
 
The book presents 14 edited and referenced chapters that cover several themes for readers.
 
 
 
General Pharmaceutical Nanobiotechnology:
Introduction to the interdisciplinary field
Exploration of nanoscale materials for medical purposes
Nanoparticle Development and Applications:
Bioinspired Nanomedicines
Lipid-Based Nanocarriers
Metallic Nanoparticles and Their Applications
Nanoparticle Targeting Strategies
Nanomedicine-Based Therapies for Cancer Stem Cells
Biotechnological Aspects:
Biotechnological Significance of Exosomes
Glycoconjugates: Biosynthesis and Functions
Innovative Nanotherapies:
Novel Nanotechnological Approaches for Glioblastoma
Biocompatibility of Nanomedicines and Bio Corona
Diagnostic and Sensing Applications:
Role of Nanoparticular/Nano Vesicular Systems as Biosensors
In Vitro Applications of Drug-Carrying Nanoparticles in Cell Culture Studies
In Vivo Imaging Techniques: Bioluminescence and Fluorescence Imaging
Precision Medicine:
The Role of Nano and Biopharmaceutics in Precision Medicine
 
 
 
 
Audience
 
Postgraduate researchers in pharmaceutical biotechnology; pharmacy professionals and academicians

Recent Progress in Pharmaceutical Nanobiotechnology: A Medical Perspective

Habibe Yilmaz

"Herbal Medicine: Back to the Future compiles expert reviews on the application of herbal medicines (including Ayurveda, Chinese traditional medicines and alternative therapies) to treat different ailments. The book series demonstrates the use of sophisticated methods to understand traditional medicine, while providing readers a glimpse into the future of herbal medicine.
 
 
 
This volume presents reviews of plant based therapies useful for treating different infectious diseases. The list of topics includes some niche reviews in this area including a review of the neem plant, the historical use of herbs in infectious disease therapy in Russia, and natural remedies from garlic, among other topics., The topics included in this volume are:
 
- Improving anti-microbial activity of allicin and carvacrol through stabilized analogs and nanotechnology
 
- Plant phenolics as an alternative source of antimicrobial compounds
 
- Herbal medicine in Russia’s history: the use of herbal medicine for infectious diseases in Russia’s history
 
- Azadirachta indica (neem) in various infectious diseases
 
- Contribution of novel delivery systems in the development of phytotherapeutics
 
 
 
This volume is essential reading for all researchers in the field of natural product chemistry and pharmacology. Medical professionals involved in internal medicine who seek to improve their knowledge about herbal medicine and alternative therapies for tropical and other infectious diseases will also benefit from the contents of the volume."


Infectious Diseases

Ferid Murad

Atta-ur-Rahman

Ka Bian

"Frontiers in Clinical Drug Research - Anti-Cancer Agents is a book series intended for pharmaceutical scientists, postgraduate students and researchers seeking updated and critical information for developing clinical trials and devising research plans in anti-cancer research. Reviews in each volume are written by experts in medical oncology and clinical trials research and compile the latest information available on special topics of interest to oncology and pharmaceutical chemistry researchers. The eighth volume of the book features reviews on these topics:
 
 
 
- Key data management elements in clinical trials for oncological therapeutics
 
- Prospects for therapeutic targeting of microRNAs in brain tumors
 
- Breast cancer vaccines: current status and future approach
 
- Desmocollin-3 and cancer
 
- MDM2-p53 antagonists under clinical evaluation: a promising cancer targeted therapy for cancer patients harbouring wild-type tp53
 
- Towards targeted therapy: anticancer agents targeting cell organelle mitochondria
 
- Anticancer therapeutic strategies in gliomas: chemotherapy, immunotherapy, and molecularly targeted therapy in adults
 
 
 
Audience: Pharmaceutical Scientists, Medicinal Chemists, Clinical Oncologists, Researchers in Pre-clinical studies and clinical trials"


Frontiers in Clinical Drug Research - Anti-Cancer Agents: Volume 8

Sciences

Care

Biomedicine

Health Sciences

This open access book explores the collision between the sustainable energy transition and the Internet of Things (IoT). In that regard, this book’s arrival is timely. Not only is the Internet of Things for energy applications, herein called the energy Internet of Things (eIoT), rapidly developing but also the transition towards sustainable energy to abate global climate is very much at the forefront of public discourse. It is within the context of these two dynamic thrusts, digitization and global climate change, that the energy industry sees itself undergoing significant change in how it is operated and managed. This book recognizes that they impose five fundamental energy management change drivers: 1.) the growing demand for electricity, 2.) the emergence of renewable energy resources, 3.) the emergence of electrified transportation, 4.) the deregulation of electric power markets, 5.) and innovations in smart grid technology. Together, they challenge many of the assumptions upon which the electric grid was first built.

The goal of this book is to provide a single integrated picture of how eIoT can come to transform our energy infrastructure. This book links the energy management change drivers mentioned above to the need for a technical energy management solution. It, then, describes how eIoT meets many of the criteria required for such a technical solution. In that regard, the book stresses the ability of eIoT to add sensing, decision-making, and actuation capabilities to millions or perhaps even billions of interacting “smart" devices. With such a large scale transformation composed of so many independent actions, the book also organizes the discussion into a single multi-layer energy management control loop structure. Consequently, much attention is given to not just network-enabled physical devices but also communication networks, distributed control & decision making, and finally technical architectures and standards. Having gone into the detail of these many simultaneously developing technologies, the book returns to how these technologies when integrated form new applications for transactive energy. In that regard, it highlights several eIoT-enabled energy management use cases that fundamentally change the relationship between end users, utilities, and grid operators. Consequently, the book discusses some of the emerging applications for utilities, industry, commerce, and residences. The book concludes that these eIoT applications will transform today’s grid into one that is much more responsive, dynamic, adaptive and flexible. It also concludes that this transformation will bring about new challenges and opportunities for the cyber-physical-economic performance of the grid and the business models of its increasingly growing number of participants and stakeholders.

eIoT: The Development of the Energy Internet of Things in Energy Infrastructure

Steffi O. Muhanji

Alison E. Flint

Amro M. Farid

"Protocols used in Molecular Biology is a compilation of several examples of molecular biology protocols. Each example is presented with a concise introduction, materials and chemicals required, a step-by-step procedure and troubleshooting tips. Information about the applications of the protocols is also provided. The techniques included in this book are essential to research in the fields of proteomics, genomics, cell culture, epigenetic modification and structural biology. The protocols can also be used by clinical researchers (neuroscientists and oncologists, for example) for medical applications (diagnostics, therapeutics and multidisciplinary projects).
 
 
 
Techniques explained in this reference include:
 
-          Nucleic Acid (DNA/RNA) isolation
 
-          Next-generation sequencing through real time PCR
 
-          Western Blotting
 
-          2-D gel electrophoresis
 
-          Immunohistochemistry
 
-          Chromatin immunoprecipitation (ChIP)
 
-          Live cell-culture techniques
 
-          Golgi Staining
 
 
 
Key Features:
 
-          Recent laboratory protocols
 
-          Diverse examples of molecular biology experiments
 
-          Simple step-by-step presentation of information
 
-          Special focus on scientific and clinical applications  
 
 
 
Protocols used in Molecular Biology is essential reading for academicians, molecular biologists, as well as graduate and undergraduate students studying basic and applied research. Pharmacologists, and medical researchers can also benefit from the wide array of techniques presented in the book."


Protocols used in Molecular Biology

Sandeep Kumar Singh

Dhiraj Kumar

"Some arrangements and structures of permanent magnets are hypothesized to exert measurable physiological and pathological effects on living tissues when exposed to the resultant electromagnetic field. From Microbe to Man: Biological responses to artificial static magnetic field-exposure explores the effects of such arrangements based on this hypothesis.
The book begins with an explanation of the mechanisms of artificial static magnetic fields (SMFs). This is followed by sequential sections presenting the effects of SMF exposure on living organisms backed by thorough experimental studies (on microbial, animal and human trials). In conclusion, the work reveals the positive nature of SMF treatment and shows that this is indeed a viable alternative to invasive treatment in the case of a number of acute and chronic conditions, such as stomatological pain and osteoporosis"


From Microbe to Man: Biological responses in microbes, animals and humans upon exposure to artificial static magnetic fields

Your Cart

Best Books

Health Sciences

Science & Engineering