Advances in Reinforcement Learning

Reinforcement Learning (RL) is a very dynamic area in terms of theory and application. This book brings together many different aspects of the current research on several fields associated to RL which has been growing rapidly, producing a wide variety of learning algorithms for different applications. Based on 24 Chapters, it covers a very broad variety of topics in RL and their application in autonomous systems. A set of chapters in this book provide a general overview of RL while other chapters focus mostly on the applications of RL paradigms: Game Theory, Multi-Agent Theory, Robotic, Networking Technologies, Vehicular Navigation, Medicine and Industrial Logistic

Computer Aided Verification

This 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

Abstracts on Radio Direction Finding (1899 - 1995)

The files on this record represent the various databases that originally composed the CD-ROM issue of "Abstracts on Radio Direction Finding" database, which is now part of the Dudley Knox Library's Abstracts and Selected Full Text Documents on Radio Direction Finding (1899 - 1995) Collection. (See Calhoun record https://calhoun.nps.edu/handle/10945/57364 for further information on this collection and the bibliography). Due to issues of technological obsolescence preventing current and future audiences from accessing the bibliography, DKL exported and converted into the three files on this record the various databases contained in the CD-ROM. The contents of these files are: 1) RDFA_CompleteBibliography_xls.zip [RDFA_CompleteBibliography.xls: Metadata for the complete bibliography, in Excel 97-2003 Workbook format; RDFA_Glossary.xls: Glossary of terms, in Excel 97-2003 Workbookformat; RDFA_Biographies.xls: Biographies of leading figures, in Excel 97-2003 Workbook format]; 2) RDFA_CompleteBibliography_csv.zip [RDFA_CompleteBibliography.TXT: Metadata for the complete bibliography, in CSV format; RDFA_Glossary.TXT: Glossary of terms, in CSV format; RDFA_Biographies.TXT: Biographies of leading figures, in CSV format]; 3) RDFA_CompleteBibliography.pdf: A human readable display of the bibliographic data, as a means of double-checking any possible deviations due to conversion

Advanced Sensing and Image Processing Techniques for Healthcare Applications

This Special Issue aims to attract the latest research and findings in the design, development and experimentation of healthcare-related technologies. This includes, but is not limited to, using novel sensing, imaging, data processing, machine learning, and artificially intelligent devices and algorithms to assist/monitor the elderly, patients, and the disabled population

Virginia Commonwealth University Courses

Listing of courses for the 2019-2020 year

Advances in Parvovirus Research 2020

Viruses of the Parvoviridae family constitute a most diverse and intriguing field of research. Parvoviruses can differ widely in their structure, genome organization and expression, virus–cell interactions, and impact on hosts. The translational implication of research on parvoviruses is relevant, since many viruses are important human and veterinary pathogens, while other viruses can be engineered as tools for oncolytic therapy or as sophisticated gene delivery vectors. Exploring the diversity and inherent complexity in the biology of these apparently simple viruses is a still challenging topic for the scientific community. The Special Issue of Viruses is a collection of recent contributions in the field of parvovirus research, encompassing many aspects of basic and translational research on viruses of the family Parvoviridae, including on their structure, replication, and gene expression in addition to virus–host interactions and the development of vaccines and viral vectors

Energy Efficiency: A Guide to Current and Emerging Technologies. Volume 1: Buildings and Transportation

Energy Efficiency: A Guide to Current and Emerging Technologies is the fourth and final major CAE project, carried out between 1993 and 1996. It was published in 1996 in two volumes – Volume 1, Buildings and Transportation, dealing with domestic, commercial and industrial buildings and transport, and Volume 2, Primary Production and Industry, dealing with primary production, food processing, forestry processing and manufacturing and minerals. Volume 2 also includes a section on general energy efficiency technologies. The focus of the two volumes is on energy efficiency technologies currently available and applied overseas, but not widely used in New Zealand, and on emerging technologies that are likely to prove practical for New Zealand within the next decade. While the emphasis is on New Zealand experience, the technologies discussed have application worldwide. Barriers that might restrict the use of individual technologies are also discussed