Our experience with clinical intestinal transplantation under FK 506 immunosuppression showed that 50% of the recipients were able to be independent from TPN after transplantation, but 10% require partial TPN with functioning grafts, 10% needed total TPN after graft removal, and 30% of the recipients died postoperatively, mostly from sepsis due to severe graft rejection. For further improvement...

A comparison was made of activities of 25 different enzymes in aortic, pulmonary artery, and coronary artery samples derived from 18to 54-year-old men and women. The aorta and coronary artery of women were found to contain lower concentrations of 4 TPN-dependent enzymes (glucose-6-phosphate dehydrogenase, 6-phosphogluconate dehydrogenase, isocitric dehydrogenase, and TPN-malic enzyme). Since TP...

Abstract. This report describes a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA). We consider bounded TPN, whose underlying net is not necessarily bounded. We prove that the obtained TA is timed-bisimilar to the initial TPN. The number of clocks of the automaton is much lower than with other methods available. We have implemented the method...

This paper proposes an optimal solution to large-scale Flexible Manufacturing System (FMS) scheduling problems under availability constraints based on Timed Petri Nets (TPNs). First a decomposition method of TPNs is proposed, then a mathematical model is derived based on their properties. The mathematical model is built to determine the optimal firing sequence of TPN transitions to minimize the...

Time Petri Nets (TPN) are Petri Net based models augmented with timing information by associating an interval to each transition. The ring time of a transition is chosen non-deterministically (but not in a stochastic manner) from its associated interval. This paper presents a technique to check if a TPN satis es temporal properties expressed in real-time Computational Tree Logic (RTCTL). The tr...

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a comp...

Total Parenteral Beslenme (TPN) oral veya enteral yoldan beslenemeyen hastalara uygulanmaktadır. beslenmenin en yaygın kullanıldığı bebek grubu prematüre bebeklerdir. bebeklerde ilk başarılı uygulamaları 1960’lı yıllarda yapılmıştır. Prematüre parenteral beslenme gereksinim duyulan karbonhidrat, protein, yağ, vitamin ve mineralleri karşılamalıdır. Bu grup doğumdan sonra glikoz, 12 saat içinde a...

Methods: Twenty-four newborn rabbits were randomly divided into 3 groups: normal control group receiving breast milk, TPN group receiving TPN at a dose of 200 kcal/kg per day, and SAMe group receiving TPN plus SAMe at an intravenous dose of 100 mg/kg per day. Blood and liver samples were collected one week later. The levels of serum bile acid, alanine aminotransferase (ALT), alkaline phosphatas...

BACKGROUND AND AIMS Protein calorie malnutrition for cancer patients is related with altered cellular and humoral immunity. Standard TPN and glutamine and lipid emulsion with omega 3 fatty acids were given to colorectal cancer patients and the effects of these to neutrophil functions and IL-8 levels are compared. METHODS Consecutive 36 patients with colorectal cancer diagnosed with endoscopic...

Many applications of autonomous agents require groups to work in tight coordination. To be dependable, these groups must plan, carry out and adapt their activities in a way that is robust to failure and uncertainty. Previous work has produced contingent plan execution systems that provide robustness during their plan extraction phase, by choosing between functionally redundant methods, and duri...