Approximate controllability of second-order distributed implicit functional systems

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

Almost automorphic mild solutions to some partial neutral functional-differential equations and applications

The paper considers the existence and uniqueness of almost automorphic mild solutions to some classes of first-order partial neutral functional-differential equations. Sufficient conditions for the existence and uniqueness of almost automorphic mild solutions to the above-mentioned equations are obtained. As an application, a first-order boundary value problem arising in control systems is considered. (C) 2007 Elsevier Ltd. All fights reserved.

Peptides containing T cell epitopes, derived from Sm14, but not from paramyosin, induce a Th1 type of immune response, reduction in liver pathology and partial protection against Schistosoma mansoni infection in mice

Sm14 and paramyosin are two major Schistosoma mansoni vaccine candidate antigens. Recently, we have identified Sm14 and paramyosin epitopes that are recognized by T cells of resistant individuals living in endemic areas for schistosomiasis. Herein, mice were immunized with these peptides separately or in association in order to evaluate their vaccine potential. Immunization of mice with Sm14 peptides alone or mixed with paramyosin peptides was able to induce 26%-36.7% or 28%-29.2% of worm burden reduction, 67% or 46% of intestinal eggs reduction and also 54%-61% or 43%-52% of liver pathology reduction, respectively. Protection was associated with a Th1 type of immune response induced by Sm14 peptide immunization. In contrast, paramyosin peptide vaccination did not engender protective immunity or liver pathology reduction and immunization was associated with a Th2 type of immune response. (C) 2008 Elsevier B.V. All rights reserved.

Robust algorithms for solving stochastic partial differential equations

A robust semi-implicit central partial difference algorithm for the numerical solution of coupled stochastic parabolic partial differential equations (PDEs) is described. This can be used for calculating correlation functions of systems of interacting stochastic fields. Such field equations can arise in the description of Hamiltonian and open systems in the physics of nonlinear processes, and may include multiplicative noise sources. The algorithm can be used for studying the properties of nonlinear quantum or classical field theories. The general approach is outlined and applied to a specific example, namely the quantum statistical fluctuations of ultra-short optical pulses in chi((2)) parametric waveguides. This example uses a non-diagonal coherent state representation, and correctly predicts the sub-shot noise level spectral fluctuations observed in homodyne detection measurements. It is expected that the methods used wilt be applicable for higher-order correlation functions and other physical problems as well. A stochastic differencing technique for reducing sampling errors is also introduced. This involves solving nonlinear stochastic parabolic PDEs in combination with a reference process, which uses the Wigner representation in the example presented here. A computer implementation on MIMD parallel architectures is discussed. (C) 1997 Academic Press.

Proposal for the interaction of non-conventional partial agonists and catecholamines with the 'putative beta(4)-adrenoceptor' in mammalian heart

1. Evidence for a 'putative beta(4)-adrenoceptor' originated over 20 years ago when cardiostimulant effects were observed to nonconventional partial agonists, These agonists were originally described as beta(1)- and beta(2)-adrenoceptor antagonists; however, they cause cardiostimulant effects at much higher concentrations than those required to block beta(1)- and beta(2)-adrenoceptors. Cardiostimulant effects of non-conventional partial agonists have been observed in mouse, rat, guinea-pig, cat, ferret and human heart tissues, 2. The receptor is expressed in several heart regions, including the sinoatrial node, atrium and ventricle, 3. The receptor is resistant to blockade by most antagonists that possess high affinity for beta(1)- and beta(2)- adrenoceptors, but is blocked with moderate affinity by (-)-bupranolol and CGP 20712A. 4. The receptor is pharmacologically distinct from the beta(3)-adrenoceptor. Micromolar concentrations of beta(3)-adrenoceptor agonists have no agonist or blocking activity, The receptor is also resistant to blockade by a beta(3)-adrenoceptor-selective antagonist. 5. The receptor mediates increases in cAMP levels and cAMP-dependent protein kinase (PK) A activity in cardiac tissues. Phosphodiesterase inhibition potentiates the positive chronotropic and inotropic effects of non-conventional partial agonists. 6. The receptor mediates hastening of atrial and ventricular relaxation, which is consistent with involvement of a cAMP-dependent pathway. 7. The non-conventional partial agonist (-)-[H-3]-CGP 12177A labels the cardiac putative beta(4)-adrenoceptor, Non-conventional partial agonists compete for binding with affinities that are closely similar to their agonist potencies, Catecholamines compete for binding in a stereoselective manner with a rank order of affinity of (-)-R0363 > (-)-isoprenaline > (-)-noradrenaline greater than or equal to (-)-adrenaline much greater than (-)-isoprenaline, suggesting that catecholamines can interact with the receptor. 8. The putative beta(4)-adrenoceptor appears to be coupled to the G(s)-adenylyl cyclase system, which could serve as a guide to its future cloning, Activation of the receptor may plausibly improve diastolic function but could also mediate arrhythmias.

A conjecture on small embeddings of partial Steiner triple systems

A well-known, and unresolved, conjecture states that every partial Steiner triple system of order u can be embedded in a Steiner triple system of order v for all v equivalent to 1 or 3 (mod 6), v greater than or equal to 2u + 1. However, some partial Steiner triple systems of order u can be embedded in Steiner triple systems of order v < 2u + 1. A more general conjecture that considers these small embeddings is presented and verified for some cases. (C) 2002 Wiley Periodicals, Inc.

Robust model-order reduction of complex biological processes

This paper addresses robust model-order reduction of a high dimensional nonlinear partial differential equation (PDE) model of a complex biological process. Based on a nonlinear, distributed parameter model of the same process which was validated against experimental data of an existing, pilot-scale BNR activated sludge plant, we developed a state-space model with 154 state variables in this work. A general algorithm for robustly reducing the nonlinear PDE model is presented and based on an investigation of five state-of-the-art model-order reduction techniques, we are able to reduce the original model to a model with only 30 states without incurring pronounced modelling errors. The Singular perturbation approximation balanced truncating technique is found to give the lowest modelling errors in low frequency ranges and hence is deemed most suitable for controller design and other real-time applications. (C) 2002 Elsevier Science Ltd. All rights reserved.

A partial velocity approach to subcycling structural dynamics

Subcycling, or the use of different timesteps at different nodes, can be an effective way of improving the computational efficiency of explicit transient dynamic structural solutions. The method that has been most widely adopted uses a nodal partition. extending the central difference method, in which small timestep updates are performed interpolating on the displacement at neighbouring large timestep nodes. This approach leads to narrow bands of unstable timesteps or statistical stability. It also can be in error due to lack of momentum conservation on the timestep interface. The author has previously proposed energy conserving algorithms that avoid the first problem of statistical stability. However, these sacrifice accuracy to achieve stability. An approach to conserve momentum on an element interface by adding partial velocities is considered here. Applied to extend the central difference method. this approach is simple. and has accuracy advantages. The method can be programmed by summing impulses of internal forces, evaluated using local element timesteps, in order to predict a velocity change at a node. However, it is still only statistically stable, so an adaptive timestep size is needed to monitor accuracy and to be adjusted if necessary. By replacing the central difference method with the explicit generalized alpha method. it is possible to gain stability by dissipating the high frequency response that leads to stability problems. However. coding the algorithm is less elegant, as the response depends on previous partial accelerations. Extension to implicit integration, is shown to be impractical due to the neglect of remote effects of internal forces acting across a timestep interface. (C) 2002 Elsevier Science B.V. All rights reserved.

Conditioning information in mutual fund performance evaluation: Portuguese evidence

We estimate and compare the performance of Portuguese-based mutual funds that invest in the domestic market and in the European market using unconditional and conditional models of performance evaluation. Besides applying both partial and full conditional models, we use European information variables, instead of the most common local ones, and consider stochastically detrended conditional variables in order to avoid spurious regressions. The results suggest that mutual fund managers are not able to outperform the market, presenting negative or neutral performance. The incorporation of conditioning information in performance evaluation models is supported by our findings, as it improves the explanatory power of the models and there is evidence of both time-varying betas and alphas related to the public information variables. It is also shown that the number of lags to be used in the stochastic detrending procedure is a critical choice, as it will impact the significance of the conditioning information. In addition, we observe a distance effect, since managers who invest locally seem to outperform those who invest in the European market. However, after controlling for public information, this effect is slightly reduced. Furthermore, the results suggest that survivorship bias has a small impact on performance estimates.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

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.

Development of an interface for ontology‐based transformation between features of different types

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

JPEG decoder implementation on FPGA using dynamic partial reconfiguration

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e telecomunicações

Presentations for monoids of finite partial isometries

In this paper we give presentations for the monoid DPn of all partial isometries on {1,..., n} and for its submonoid ODPn of all order-preserving partial isometries.

Congruences on monoids of order-preserving or order-reversing transformations on a finite chain

Glasgow Mathematical Journal, nº 47 (2005), pg. 413-424