OBJECTIVE Chlamydia pneumoniae (Cpn) infection of vascular smooth muscle cells increases interleukin-6 (IL-6) secretion in vitro. In vivo, IL-6 stimulates liver C-reactive protein (CRP) production. Because serum levels of IL-6 and CRP are independent risk factors for stroke and myocardial infarction (MI), we investigated whether Cpn burden in carotid plaques might provide a link between plaque ...

OBJECTIVE With the use of data from 3 Louisiana State University Health Sciences Center (LSUHSC) publications, various parameters for buttock/thigh-level sciatic nerve and tibial and common peroneal divisions/nerve injuries were summarized, and outcomes were compared. METHODS Data from 806 buttock/thigh-level sciatic nerve and tibial and common peroneal division/nerve injury repairs were summ...

Abstract A complementary system for a given logic is proof whose theorems are exactly the formulas that not valid according to in question. This article contribution theory of classical propositional logic. In particular, we present proof-net system, $$\textsf{CPN}$$ CPN , sound and complete with respect set ...

Chaperonins are a class of proteins that facilitate the assembly of oligomeric proteins (Hemmingsen et al., 1988). In plants cpn-60 are present in both plastids and the mitochondria, however, the mitochondrial form is different from either subunit of the plastid chaperonin (Martel et al., 1990). Mitochondrial chaperonin has been cloned from a number of plant species including Arabidopsis, maize...

We derive an explicit expression for an associative ∗-product on the fuzzy complex projective space, CPN−1 F . This generalises previous results for the fuzzy 2-sphere and gives a discrete non-commutative algebra of functions on CPN−1 F , represented by matrix multiplication. The matrices are restricted to ones whose dimension is that of the totally symmetric representations of SU(N). In the li...

In this paper, we present a controller synthesis method for resource allocation systems based on coloured Petri nets (CPN). The first contribution of this work is the use of High-level Petri nets as a basis model for the specification of the plant model as well as for the controller generation. Indeed, we present an automatic generation of a controller characterised by a CPN subnet (with a fixe...

The contribution of this paper is to present a model-based approach to requirements engineering for reactive systems, and more specifically to controllers. The approach suggests the creation of a CPN model based on several diagrams, for validating the functional requirements of the system under development. An automatic gas pump controller is used as case study. We propose a generic structure f...

In order to widen the applicability of Design/CPN for the speciication and design of large scale distributed applications, a framework has been developed that supports the interaction of Design/CPN and Java processes. Thereby a seamless embedding of the two worlds of Petri nets and object-oriented programming is achieved, allowing problem oriented modeling at diierent abstraction levels in a fu...

The aim of this article is to report a patient with an iatrogenic injury of the common peroneal nerve (CPN) caused by compression due to tight fascial closure after surgical excision of a skin mass in the posterolateral popliteal fossa area. Injury to the CPN results in significant disability with foot drop. Palsy of the CPN is a most frequent complication of various orthopedic or other surgica...

The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow toolset is a widely used industrial tool to design and validate hybrid control systems using numerical simulation methods for the continuous parts and an executable Stateflow (combination of Statecharts and Flowcharts) for the discrete event parts. On the other hand, Colored P...