Recent studies have shown that novel processing and modeling techniques may be used to create patient-specific prostheses, artificial tissues, and other implants using data obtained from magnetic resonance imaging, computed tomography, or other imaging techniques. For example, customized prostheses may be fabricated that possess suitable features, including geometry, size, and weight, for a given medical condition. Many advances have been made in the development of patient-specific implants in the past decade, yet this information is not readily available to scientists and students. Printed Biomaterials: Novel Processing and Modeling Techniques for Medicine and Surgery provides the biomaterials scientist and engineer, as well as advanced undergraduate or graduate students, with a comprehensive discussion of contemporary medical implant research and development. The development of printed biomaterials is multidisciplinary, and includes concepts traditionally associated with engineering, materials science, medicine, and surgery. This text highlights important topics in these core fields in order to provide the fundamentals necessary to comprehend current processing and modeling technologies and to develop new ones.

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.