Tianwen Xu

© 2014 American Chemical Society.Attempts to apply artificial nano/micromotors for diverse biomedical applications have inspired a variety of strategies for designing motors with diverse propulsion mechanisms and functions. However, existing artificial motors are made exclusively of synthetic materials, which are subject to serious immune attack and clearance upon entering the bloodstream. Herein we report an elegant approach that turns natural red blood cells into functional micromotors with the aid of ultrasound propulsion and magnetic guidance. Iron oxide nanoparticles are loaded into the RBCs, where their asymmetric distribution within the cells results in a net magnetization, thus enabling magnetic alignment and guidance under acoustic propulsion. The RBC motors display efficient guided and prolonged propulsion in various biological fluids, including undiluted whole blood. The stability and functionality of the RBC motors, as well as the tolerability of regular RBCs to the ultrasound operation, are carefully examined. Since the RBC motors preserve the biological and structural features of regular RBCs, these motors possess a wide range of antigenic, transport, and mechanical properties that common synthetic motors cannot achieve and thus hold considerable promise for a number of practical biomedical uses.

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law.

Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠ALL) to reason about the normative consequences of possibly conflicting legal systems. The semantics of ALL is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language of ALL describes the legal status of paths in transition systems. The formalization is used to study abstract revisions of legal systems. The expressivity of ALL is studied and its completeness is proved.