This paper tries to bridge the gap from agent conceptualization to formal specification in the field of requirement engineering. The IAM (Intentionnal Agent Method) approach aims to integrate the agent ontology with Time Petri Nets (TPN) in the development process helps in the construction of efficient and safe large software system. TPNs deals formally with concurrency. Mathematically, it allo...

BACKGROUND & AIMS Our previous studies have provided evidence that p38 mitogen-activated protein kinase (MAPK) is involved in total parenteral nutrition (TPN)-associated complications, but its exact effects and mechanisms have not been fully understood. This study aimed to evaluate the roles of p38 MAPK inhibitor SB203580 in the TPN-induced loss of intestinal barrier function and liver disease....

Psilocybin is a classic psychedelic and a candidate drug model of psychosis. This study measured the effects of psilocybin on resting-state network and thalamocortical functional connectivity (FC) using functional magnetic resonance imaging (fMRI). Fifteen healthy volunteers received intravenous infusions of psilocybin and placebo in 2 task-free resting-state scans. Primary analyses focused on ...

In today's competitive manufacturing systems it is critical to be responding quickly to the demands of customers and decreasing total cost of production. Long cycle times are associated with higher costs of work in process (WIP), increased demand forecasting errors, and lower yields due to slower control feedback. Automated Assembling Shop (AAS) is a class of systems exhibiting concurrency and ...

This article deals with the temporal validation of STIMAP, a medium access protocol. This protocol has been designed to meet the specific requirements of an implantable network-based neuroprosthese. This article presents the modeling of STIMAP with Time Petri Nets (TPN), and the verification of the deterministic medium access it provides, using timed model checking. The specific case of the syn...

In this work, we present a Colored Petri Net (CPN) model used for prototyping and modeling a complex switching scheme for ATM switches based on the combined I/O buffering technique. The new scheme is evaluated here within an overall setting that includes the traffic regulations enforced by the leaky bucket algorithm. It is based on splitting the traffic coming into input lines into two priority...

Total parenteral nutrition (TPN) is commonly used clinically to sustain patients; however, TPN is associated with profound mucosal atrophy, which may adversely affect clinical outcomes. Using a mouse TPN model, removing enteral nutrition leads to decreased crypt proliferation, increased intestinal epithelial cell (IEC) apoptosis and increased mucosal tumor necrosis factor alpha (TNF-α) expressi...

Total parenteral nutrition (TPN) is essential for patients with impaired gut function but leads to parenteral nutrition-associated liver disease (PNALD). TPN disrupts the normal enterohepatic circulation of bile acids, and we hypothesized that it would decrease intestinal expression of the newly described metabolic hormone fibroblast growth factor-19 (FGF19) and also glucagon-like peptides-1 an...

In this paper we characterize the time-dependent behavior of typical queueing systems that arise in ATM networks under the presense of overloads. Transient queue length distribution and transient cell loss probability are obtained numerically and transient characteristics such as maximum overshoot and relaxation time are used t o quantify the effects of congestion periods. A new measure, Expect...