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.

Topological Complexity and Predictability in the Dynamics of a Tumor Growth Model with Shilnikov's Chaos

Dynamical systems modeling tumor growth have been investigated to determine the dynamics between tumor and healthy cells. Recent theoretical investigations indicate that these interactions may lead to different dynamical outcomes, in particular to homoclinic chaos. In the present study, we analyze both topological and dynamical properties of a recently characterized chaotic attractor governing the dynamics of tumor cells interacting with healthy tissue cells and effector cells of the immune system. By using the theory of symbolic dynamics, we first characterize the topological entropy and the parameter space ordering of kneading sequences from one-dimensional iterated maps identified in the dynamics, focusing on the effects of inactivation interactions between both effector and tumor cells. The previous analyses are complemented with the computation of the spectrum of Lyapunov exponents, the fractal dimension and the predictability of the chaotic attractors. Our results show that the inactivation rate of effector cells by the tumor cells has an important effect on the dynamics of the system. The increase of effector cells inactivation involves an inverse Feigenbaum (i.e. period-halving bifurcation) scenario, which results in the stabilization of the dynamics and in an increase of dynamics predictability. Our analyses also reveal that, at low inactivation rates of effector cells, tumor cells undergo strong, chaotic fluctuations, with the dynamics being highly unpredictable. Our findings are discussed in the context of tumor cells potential viability.

Low Complexity Intra Mode Selection for Efficient Distributed Video Coding

Motion compensated frame interpolation (MCFI) is one of the most efficient solutions to generate side information (SI) in the context of distributed video coding. However, it creates SI with rather significant motion compensated errors for some frame regions while rather small for some other regions depending on the video content. In this paper, a low complexity Infra mode selection algorithm is proposed to select the most 'critical' blocks in the WZ frame and help the decoder with some reliable data for those blocks. For each block, the novel coding mode selection algorithm estimates the encoding rate for the Intra based and WZ coding modes and determines the best coding mode while maintaining a low encoder complexity. The proposed solution is evaluated in terms of rate-distortion performance with improvements up to 1.2 dB regarding a WZ coding mode only solution.

Measuring and Controlling the Chaotic Motion of Profits

The study of economic systems has generated deep interest in exploring the complexity of chaotic motions in economy. Due to important developments in nonlinear dynamics, the last two decades have witnessed strong revival of interest in nonlinear endogenous business chaotic models. The inability to predict the behavior of dynamical systems in the presence of chaos suggests the application of chaos control methods, when we are more interested in obtaining regular behavior. In the present article, we study a specific economic model from the literature. More precisely, a system of three ordinary differential equations gather the variables of profits, reinvestments and financial flow of borrowings in the structure of a firm. Firstly, using results of symbolic dynamics, we characterize the topological entropy and the parameter space ordering of kneading sequences, associated with one-dimensional maps that reproduce significant aspects of the model dynamics. The analysis of the variation of this numerical invariant, in some realistic system parameter region, allows us to quantify and to distinguish different chaotic regimes. Finally, we show that complicated behavior arising from the chaotic firm model can be controlled without changing its original properties and the dynamics can be turned into the desired attracting time periodic motion (a stable steady state or into a regular cycle). The orbit stabilization is illustrated by the application of a feedback control technique initially developed by Romeiras et al. [1992]. This work provides another illustration of how our understanding of economic models can be enhanced by the theoretical and numerical investigation of nonlinear dynamical systems modeled by ordinary differential equations.

Dynamical behaviour on the parameter space: new populational growth models proportional to beta densities

We present new populational growth models, generalized logistic models which are proportional to beta densities with shape parameters p and 2, where p > 1, with Malthusian parameter r. The complex dynamical behaviour of these models is investigated in the parameter space (r, p), in terms of topological entropy, using explicit methods, when the Malthusian parameter r increases. This parameter space is split into different regions, according to the chaotic behaviour of the models.

Short-term Feature Space and Music Genre Classification

In music genre classification, most approaches rely on statistical characteristics of low-level features computed on short audio frames. In these methods, it is implicitly considered that frames carry equally relevant information loads and that either individual frames, or distributions thereof, somehow capture the specificities of each genre. In this paper we study the representation space defined by short-term audio features with respect to class boundaries, and compare different processing techniques to partition this space. These partitions are evaluated in terms of accuracy on two genre classification tasks, with several types of classifiers. Experiments show that a randomized and unsupervised partition of the space, used in conjunction with a Markov Model classifier lead to accuracies comparable to the state of the art. We also show that unsupervised partitions of the space tend to create less hubs.

Determination of pharmocotherapeutical complexity in institutionalized elderly

The phenomenon of aging is nowadays society as acquired the status of a social problem, with growing attention and concern, leading to an increase number of studies dedicated to the elderly. The lack of domestic, familiar or social support often lead elderly to nursing homes. Institutionalization is in many cases the only opportunity to have access to health care and life quality. Aging is also associated with a higher prevalence of chronic diseases that require long term medication sometimes for life. Frequently the onset of multiple pathologies at the same time require different therapies and the phenomenon of polypharmacy (five ou more drugs daily) can occur. Even more, the slow down of physiological and cognitives mechanisms associated with these chronic diseases can interphere, in one hand, with the pharmacocinetic of many medications and, on the other hand, with the facility to accomplish the therapeutical regimen. All of these realities contribute to an increase of pharmacotherapeutical complexity, decreasing the adherence and effectiveness of treatment. The pharmacotherapeutical complexity of an individual is characterized by the conciliator element of different characteristics of their drug therapy, such as: the number of medications used; dosage forms; dosing frequency and additional indications. It can be measured by the Medication Regimen Complexity Index (MRCI), originally validated in English.

Drug therapy complexity: the importance of pharmacotherapeutic follow-up

Nowadays, the phenomenon of population ageing represents an worldwide problem, which assumes particular significance in Portugal. As they get older, individuals present more comorbidities and consequently consume an increasing number of drugs, which contributes to a growing drug therapy complexity. The institutionalized elders are particularly affected by this occurrence. Drug therapy complexity is defined as the conciliator of several characteristics of the pharmacotherapy and can affect patient’s safety and medication adherence. It can be measured with Medication Regimen Complexity Index (MRCI). This study aims to determine the drug therapy complexity of institutionalized elders in order to assess the need of pharmacotherapeutic follow-up.

FMRI 3D registration based on Fourier space subsets using neural networks

In this work, we present a neural network (NN) based method designed for 3D rigid-body registration of FMRI time series, which relies on a limited number of Fourier coefficients of the images to be aligned. These coefficients, which are comprised in a small cubic neighborhood located at the first octant of a 3D Fourier space (including the DC component), are then fed into six NN during the learning stage. Each NN yields the estimates of a registration parameter. The proposed method was assessed for 3D rigid-body transformations, using DC neighborhoods of different sizes. The mean absolute registration errors are of approximately 0.030 mm in translations and 0.030 deg in rotations, for the typical motion amplitudes encountered in FMRI studies. The construction of the training set and the learning stage are fast requiring, respectively, 90 s and 1 to 12 s, depending on the number of input and hidden units of the NN. We believe that NN-based approaches to the problem of FMRI registration can be of great interest in the future. For instance, NN relying on limited K-space data (possibly in navigation echoes) can be a valid solution to the problem of prospective (in frame) FMRI registration.

Explorador integrado de serviços de armazenamento na cloud: cloud cockpit

Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Análise prospetiva de modelos de transporte e usos do solo

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Vias de Comunicação e Transportes

Baryogenesis through split higgsogenesis

We study the cosmological evolution of asymmetries in the two-Higgs doublet extension of the Standard Model, prior to the electroweak phase transition. If Higgs flavour-exchanging interactions are sufficiently slow, then a relative asymmetry among the Higgs doublets corresponds to an effectively conserved quantum number. Since the magnitude of the Higgs couplings depends on the choice of basis in the :Higgs doublet space, we attempt to formulate basis-independent out-of-equilibrium conditions. We show that an initial asymmetry between the fliggs scalars, which could be generated by GP violation in the :Higgs sector, will be transformed into a baryon asymmetry by the sphalerons, without the need of B - L violation. This novel mechanism of baryogenesis through (split) Higgsogenesis is exemplified with simple scenarios based on the out-of-equilibrium decay of heavy singlet scalar fields into the illiggs doublets.

East of Suez and the imaginary tangles of space and self

Drawing on postcolonial studies and the theorization on imperial gothic, this paper centres on three texts: The Hosts of the Lord (1900) by Flora Annie Steel; East of Suez (1901) by Alice Perrin, and The Way of an Eagle (1912)by Ethel Dell. These three texts highlight in different ways the discursive mediation of the Other and its destabilizing effects on the identity of the European-minded colonizer, thus foregrounding the multifarious nature of the British imaginative engagement with India. In this context, it is particularly relevant to examine the political and ideological implications of representing anywhere East of Suez as a locus of primitivism and chaos vis-à-vis the colonizer’s ambivalent reactions. Thus we seek to demonstrate the power of two distinct practices or modes of representation – namely, the power of a metaphorical discourse versus metonymic discourse- within the proces of constructing the East for a vast Western readership.

Longe da vista, longe do coração: o design como “âncora” visual e elemento agregador da atividade museológica

To become an open to outer space, the "museum" acquired new forms and new expressions. The complexity of museological activity thus leads to new representations that alter the initial image of the museum as a building with objects. Their 'boundaries' are now less sharp, not only in relation to the spatial relationship, but also to its temporal dimension, creating an additional challenge which is the recognition of the museum itself. The design, while transdisciplinary activity, thereby assumes a key role in the communication of the museums in its visual representation and recognition of their action. The present study results from a survey conducted in 2010 to 364 Portuguese museums (from a universe of 849 museums), presenting an analysis to its base elements of visual expression of identity (name, logo, symbol, and color).

Space is a doubt: présence et ambiance vécue

Cet article se propose réfléchir à la présence créatrice du performer depuis la notion d’ambiance du choréographe japonais Y. Amagatzu. La notion d’ambiance est décrite par Yoshio Amagatzu comme une spatialité émergente de la rencontre des sujets – performers et public – dans l’espace performatif ; une spatialité sensible exprimant le potentiel de cette rencontre avec une « force orientatrice » spécifique. Mon approche s’intéresse en particulier aux conditions d’accordage (attunement) du performer au potentiel de cette spatialité émergente et aux effets de cette « adhérence perceptive» sur sa présence créatrice. Une approche qui m’a mené à étendre la notion de mouvement à l’espace de la relation performative, au delà des contours visibles du corps physique.