Portable or implantable devices for infusion of insulin. Includes open-loop systems which may be patient-operated or controlled by a pre-set program and are designed for constant delivery of small quantities of insulin, increased during food ingestion, and closed-loop systems which deliver quantities of insulin automatically based on an electronic glucose sensor
Implanted fluid propulsion systems with self-contained power source for providing long-term controlled-rate delivery of drugs such as chemotherapeutic agents or analgesics. Delivery rate may be externally controlled or osmotically or peristatically controlled with the aid of transcutaneous monitoring
Programmanalyse -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
Programmation automatique. : Handbook of learning and approximate dynamic programming / [edited by] Jennie Si [and others]
2004
1
Programmation automatique -- Congrès. : ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.)