IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Spectral and weak polynomial completeness for the porduct of nonsingular matrices

Let F be a field with at least four elements. In this paper, we identify all the pairs (A, B) of n x n nonsingular matrices over F , satisfying the following property: for every monic polynomial f(x) = xn + an-1xn-1 + … +a1x + aο over F, with a root in F and aο = (-1)n det(AB), there are nonsingular matrices X, Y ϵ Fnxn such that X A X-1 Y BY-1 has characteristic polynomial f (x). © 2014 © 2014 Taylor & Francis.

Spectral and weak polynomial completeness for the product of nonsingular matrices

Let F be a field with at least four elements. In this paper, we identify all the pairs (A, B) of n x n nonsingular matrices over F, satisfying the following property: for every monic polynomial f (x) = x(n) + a(n-1)x(n-1) +... + a(1)x + a(0) over F, with a root in F and a(0) = (-1)(n) det(AB), there are nonsingular matrices X, Y is an element of F-nxn such that XAX(-1)Y BY-1 has characteristic polynomial f (x).

Effects of an exercise training program in physical condition after liver transplantation in familial amyloidotic polyneuropathy: a case report

Introduction: Familial amyloidotic polyneuropathy (FAP) is a neurodegenerative disease that leads to sensory and motor polyneuropathies as well as functional limitations. So far, liver transplantation is the only treatment for FAP because the mutated protein causing the disease is mainly produced in the liver. With the increasing survival of transplant recipients, functional and cardiovascular problems as consequences of immunosuppressant side effects are increasing associated with sedentary lifestyles and/or retransplantation status. We sought to analyze the impact of exercise training programs on 1 FAP patient’s course long-term after liver transplantation. Methodology. A FAP patient (female; 49 years of age; body mass index 18.8 kg/m2) underwent a liver transplantation 133 months before assessment. She was assessed for body composition, isometric quadriceps muscle strength, functional capacity, fatigue, and levels of physical activity before and after a 6-month period of combined exercise training. Results: After the exercise training program, almost all variables were improved, namely, total body skeletal muscle mass, proximal femoral bone mineral density, quadriceps strength, maximal oxygen consumption on 6 minutes walk test (6mwt) or VO2peak, total ventilation on 6mwt, and fatigue. The improvement in distance on 6mwt (69.2 m) was clinically significant. Preintervention the levels of physical activity were below international recommendations for health; after the program they achieved the recommendations. Conclusion: The results showed an improvement in functional capacity with a decrease in future disability risk associated with a better lifestyle with respect to physical activity levels in 1 patient.

On differentiability and analyticity of positive definite functions

We derive a set of differential inequalities for positive definite functions based on previous results derived for positive definite kernels by purely algebraic methods. Our main results show that the global behavior of a smooth positive definite function is, to a large extent, determined solely by the sequence of even-order derivatives at the origin: if a single one of these vanishes then the function is constant; if they are all non-zero and satisfy a natural growth condition, the function is real-analytic and consequently extends holomorphically to a maximal horizontal strip of the complex plane.

Abelian symmetries in the two-Higgs-doublet model with fermions

We classify all possible implementations of an Abelian symmetry in the two-Higgs-doublet model with fermions. We identify those symmetries which are consistent with nonvanishing quark masses and a Cabibbo-Kobayashi-Maskawa quark-mixing matrix (CKM), which is not block-diagonal. Our analysis takes us from a plethora of possibilities down to 246 relevant cases, requiring only 34 distinct matrix forms. We show that applying Z(n) with n >= 4 to the scalar sector leads to a continuous U(1) symmetry in the whole Lagrangian. Finally, we address the possibilities of spontaneous CP violation and of natural suppression of the flavor-changing neutral currents. We explain why our work is relevant even for non-Abelian symmetries.

Models with three Higgs doublets in the triplet representations of A(4) or S-4

We consider the quark sector of theories containing three scalar SU(2)(L) doublets in the triplet representation of A(4) (or S-4) and three generations of quarks in arbitrary A(4) (or S-4) representations. We show that for all possible choices of quark field representations and for all possible alignments of the Higgs vacuum expectation values that can constitute global minima of the scalar potential, it is not possible to obtain simultaneously nonvanishing quark masses and a nonvanishing CP-violating phase in the Cabibbo-Kobayashi-Maskawa quark mixing matrix. As a result, in this minimal form, models with three scalar fields in the triplet representation of A(4) or S-4 cannot be extended to the quark sector in a way consistent with experiment. DOI: 10.1103/PhysRevD.87.055010.

Academic social network in EHES

This paper presents the foundations of an Academic Social Network (ASN) focusing the Bologna Declaration and the Bologna Process (BP) mobility issues using ontological support. An ASN will permit students to share commons academic interests, preferences and mobility paths in the European Higher Education Space (EHES). The description of the conceptual support is ontology based allowing knowledge sharing and reuse. An approach is presented by merging Academic Ontology to Support the Bologna Mobility Process with Friend of a Friend ontology. The resulting ontology supports the student mobility profile in the ASN. The strategies to make available, in the network, knowledge about mobility issues, are presented including knowledge discovery and simulation approaches to cover student's mobility scenarios for BP.

Transvase : quando a ficção invade a realidade

ABSTRACT: Adopting the concept of metalepsis, as explained by Gérard Genette, I intend to tackle the miscegenation of ontological worlds as practiced in metacinematic films dealing either with the creator or the spectator and made famous with Woody Allen’s film The Purple Rose of Cairo (1985, EUA). Assuming the existence of two adjoining fictional universes, one of them intrafilmically projected onto a screen and the other positioned in front of it so as to create or observe the other, one realizes that, in fact, they both communicate in a more intense way. That is, they both can cross the barrier that separates them and function, literally, as communicating vessels thrusting themselves onto the other side of fiction. The use of this screen passage technique – which I call ‘spilling narrative’ – although it takes place inside the film, at an intradiegetic level, cannot be considered a simple comic effect. In actuality, it is a very serious affair, denoting the authorial intervention as a reflexive practice of écriture by means of a mise en abyme, according to Lucien Dällenbach. Therefore, the fictional spilling over of worlds which totally blends together both sides of the twice artificial universe of the fabula, represents the emotional and intellectual involvement of the creator with his/her creation and of the spectator with the world watched. Both illustrate the desire of fusion inherent in the acts of creation and reception. My approach will be based on Gabriele Salvatores’ Happy Family (2010) and Wojciech Marczewski’s Escape from the ‘Liberty’ Cinema (1990).

Development of TNBS-induced colitis: animal model to test new pharmacological approaches

IBD is a gastro-intestinal disorder marked with chronic inflammation of intestinal epithelium, damaging mucosal tissue and manifests into several intestinal and extra-intestinal symptoms. Currently used medical therapy is able to induce and maintain the patient in remission, however no modifies or reverses the underlying pathogenic mechanism. The research of other medical approaches is crucial to the treatment of IBD and, for this, it´s important to use animal models to mimic the characteristics of disease in real life. The aim of the study is to develop an animal model of TNBS-induced colitis to test new pharmacological approaches. TNBS was instilled intracolonic single dose as described by Morris et al. It was administered 2,5% TNBS in 50% ethanol through a catheter carefully inserted into the colon. Mice were kept in a Tredelenburg position to avoid reflux. On day 4 and 7, the animals were sacrificed by cervical dislocation. The induction was confirmed based on clinical symptoms/signs, ALP determination and histopathological analysis. At day 4, TNBS group presented a decreased body weight and an alteration of intestinal motility characterized by diarrhea, severe edema of the anus and moderate morbidity, while in the two control groups weren’t identified any alteration on the clinical symptoms/signs with an increase of the body weight. TNBS group presented the highest concentrations of ALP comparing with control groups. The histopathology analysis revealed severe necrosis of the mucosa with widespread necrosis of the intestinal glands. Severe hemorrhagic and purulent exsudates were observed in the submucosa, muscular and serosa. TNBS group presented clinical symptoms/signs and histopathological features compatible with a correct induction of UC. The peak of manifestations became maximal at day 4 after induction. This study allows concluding that it’s possible to develop a TNBS induced colitis 4 days after instillation.

Ventilação não invasiva com altas pressões pode ser mais eficaz do que com baixas pressões no tratamento da atelectasia pós-operatória de cirurgia cardíaca?

Mestrado em Fisioterapia

Insights into the mechanims underlyng the antiproliferative potential of a Co(II) coordination compound bearing 1,10-Phenanthroline-5,6-Dione: DNA and protein interaction studies

The very high antiproliferative activity of [Co(Cl)(H2O)(phendione)(2)][BF4] (phendione is 1,10-phenanthroline-5,6-dione) against three human tumor cell lines (half-maximal inhibitory concentration below 1 mu M) and its slight selectivity for the colorectal tumor cell line compared with healthy human fibroblasts led us to explore the mechanisms of action underlying this promising antitumor potential. As previously shown by our group, this complex induces cell cycle arrest in S phase and subsequent cell death by apoptosis and it also reduces the expression of proteins typically upregulated in tumors. In the present work, we demonstrate that [Co(Cl)(phendione)(2)(H2O)][BF4] (1) does not reduce the viability of nontumorigenic breast epithelial cells by more than 85 % at 1 mu M, (2) promotes the upregulation of proapoptotic Bax and cell-cycle-related p21, and (3) induces release of lactate dehydrogenase, which is partially reversed by ursodeoxycholic acid. DNA interaction studies were performed to uncover the genotoxicity of the complex and demonstrate that even though it displays K (b) (+/- A standard error of the mean) of (3.48 +/- A 0.03) x 10(5) M-1 and is able to produce double-strand breaks in a concentration-dependent manner, it does not exert any clastogenic effect ex vivo, ruling out DNA as a major cellular target for the complex. Steady-state and time-resolved fluorescence spectroscopy studies are indicative of a strong and specific interaction of the complex with human serum albumin, involving one binding site, at a distance of approximately 1.5 nm for the Trp214 indole side chain with log K (b) similar to 4.7, thus suggesting that this complex can be efficiently transported by albumin in the blood plasma.

Complex Dynamics of defective interfering baculoviruses during serial passage in insect cells

Defective interfering (DI) viruses are thought to cause oscillations in virus levels, known as the ‘Von Magnus effect’. Interference by DI viruses has been proposed to underlie these dynamics, although experimental tests of this idea have not been forthcoming. For the baculoviruses, insect viruses commonly used for the expression of heterologous proteins in insect cells, the molecular mechanisms underlying DI generation have been investigated. However, the dynamics of baculovirus populations harboring DIs have not been studied in detail. In order to address this issue, we used quantitative real-time PCR to determine the levels of helper and DI viruses during 50 serial passages of Autographa californica multiple nucleopolyhedrovirus (AcMNPV) in Sf21 cells. Unexpectedly, the helper and DI viruses changed levels largely in phase, and oscillations were highly irregular, suggesting the presence of chaos. We therefore developed a simple mathematical model of baculovirus-DI dynamics. This theoretical model reproduced patterns qualitatively similar to the experimental data. Although we cannot exclude that experimental variation (noise) plays an important role in generating the observed patterns, the presence of chaos in the model dynamics was confirmed with the computation of the maximal Lyapunov exponent, and a Ruelle-Takens-Newhouse route to chaos was identified at decreasing production of DI viruses, using mutation as a control parameter. Our results contribute to a better understanding of the dynamics of DI baculoviruses, and suggest that changes in virus levels over passages may exhibit chaos.