Faustino Miranda (1905-1964)
نویسندگان
چکیده
منابع مشابه
Pedro Miranda
Abstract This report presents a discussion of modeling dynamics for the forwarder crane located in our department. To formulate dynamics of this system, standard Euler-Lagrange methods are applied, by considering the crane as a multi-body system composed by links and joints. This leads to a set of differential equations that contain various unknown parameters, which are related to the inertias,...
متن کاملDmd059121 1890..1905
Subcutaneous injection is an important route of administration for therapeutic proteins that provides several advantages over other modes of parenteral delivery. Despite extensive clinical use, the exact mechanism underlying subcutaneous absorption of proteins is not completely understood, and the accuracy of prediction of absorption of biotherapeutics in humans remains unsatisfactory. This rev...
متن کاملMiranda in Isabelle
This paper describes our experience in formalising arguments about the Miranda functional programming language in Isabelle. After explaining some of the problems of reasoning about Miranda, we explain our two different approaches to encoding Miranda in Isabelle. We conclude by discussing some shorter examples and a case study of reasoning about hardware. Miranda1[Turner, 1990, Thompson, 1995b] ...
متن کاملDario Augusto Oliveira Miranda
Aim: To review the literature on the prevalence and incidence of peri-implantitis. Methods: Out of 322 potentially relevant publications we identified 29 articles concerning 23 studies, with information on the presence of signs of peri-implantitis in populations of at least 20 cases. Results and Conclusions: All studies provided data from convenience samples, typically from patients who were tr...
متن کاملDmd065763 1905..1916
Montelukast has been recommended as a selective in vitro and in vivo probe of cytochrome P450 (P450) CYP2C8 activity, but its selectivity toward this enzyme remains unclear. We performed detailed characterization of montelukast metabolism in vitro using human liver microsomes (HLMs), expressed P450s, and uridine 59-diphospho-glucuronosyltransferases (UGTs). Kinetic and inhibition experiments pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Botanical Sciences
سال: 2016
ISSN: 2007-4476
DOI: 10.17129/botsci.1095