Interactive Calculus in a Virtual Learning Environment

The teaching of higher level mathematics for technical students in a virtual learningenvironment poses some difficulties, but also opportunities, now specific to that virtuality.On the other hand, resources and ways to do now manly available in VLEs might soon extend to all kinds of environments.In this short presentation we will discuss anexperience carried at Universitat Oberta deCatalunya (UOC) involving (an on line university), first, the translation of LaTeX written existent materials to a web based format(specifically, a combination of XHTML andMathML), and then the integration of a symbolic calculator software (WIRIS) running as a Java applet embedded in the materials, intending to achieve an evolution from memorising concepts and repetitive algorithms to understanding and experiment concepts and the use of those algorithms.

Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living.

Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to realize robust methods. One of the major limitations of the Ambient Intelligence systems today is the lack of semantic models of those activities on the environment, so that the system can recognize the speci c activity being performed by the user(s) and act accordingly. In this context, this thesis addresses the general problem of knowledge representation in Smart Spaces. The main objective is to develop knowledge-based models, equipped with semantics to learn, infer and monitor human behaviours in Smart Spaces. Moreover, it is easy to recognize that some aspects of this problem have a high degree of uncertainty, and therefore, the developed models must be equipped with mechanisms to manage this type of information. A fuzzy ontology and a semantic hybrid system are presented to allow modelling and recognition of a set of complex real-life scenarios where vagueness and uncertainty are inherent to the human nature of the users that perform it. The handling of uncertain, incomplete and vague data (i.e., missing sensor readings and activity execution variations, since human behaviour is non-deterministic) is approached for the rst time through a fuzzy ontology validated on real-time settings within a hybrid data-driven and knowledgebased architecture. The semantics of activities, sub-activities and real-time object interaction are taken into consideration. The proposed framework consists of two main modules: the low-level sub-activity recognizer and the high-level activity recognizer. The rst module detects sub-activities (i.e., actions or basic activities) that take input data directly from a depth sensor (Kinect). The main contribution of this thesis tackles the second component of the hybrid system, which lays on top of the previous one, in a superior level of abstraction, and acquires the input data from the rst module's output, and executes ontological inference to provide users, activities and their in uence in the environment, with semantics. This component is thus knowledge-based, and a fuzzy ontology was designed to model the high-level activities. Since activity recognition requires context-awareness and the ability to discriminate among activities in di erent environments, the semantic framework allows for modelling common-sense knowledge in the form of a rule-based system that supports expressions close to natural language in the form of fuzzy linguistic labels. The framework advantages have been evaluated with a challenging and new public dataset, CAD-120, achieving an accuracy of 90.1% and 91.1% respectively for low and high-level activities. This entails an improvement over both, entirely data-driven approaches, and merely ontology-based approaches. As an added value, for the system to be su ciently simple and exible to be managed by non-expert users, and thus, facilitate the transfer of research to industry, a development framework composed by a programming toolbox, a hybrid crisp and fuzzy architecture, and graphical models to represent and con gure human behaviour in Smart Spaces, were developed in order to provide the framework with more usability in the nal application. As a result, human behaviour recognition can help assisting people with special needs such as in healthcare, independent elderly living, in remote rehabilitation monitoring, industrial process guideline control, and many other cases. This thesis shows use cases in these areas.

Theory of differential inequalities with appliciations to singular perturbiation problems and method of lines

During recent years, the theory of differential inequalities has been extensively used to discuss singular perturbation problems and method of lines to partial differential equations. The present thesis deals with some differential inequality theorems and their applications to singularly perturbed initial value problems, boundary value problems for ordinary differential equations in Banach space and initial boundary value problems for parabolic differential equations. The method of lines to parabolic and elliptic differential equations are also dealt The thesis is organised into nine chapters

Virtual communities and strategic learning of calculus in enginery. 'Comunidades virtuales y el aprendizaje estratégico de cálculo en ingeniería'.

Resumen basado en el de la publicación

Scale-invariant moving finite elements for nonlinear partial differential equations in two dimensions

A scale-invariant moving finite element method is proposed for the adaptive solution of nonlinear partial differential equations. The mesh movement is based on a finite element discretisation of a scale-invariant conservation principle incorporating a monitor function, while the time discretisation of the resulting system of ordinary differential equations is carried out using a scale-invariant time-stepping which yields uniform local accuracy in time. The accuracy and reliability of the algorithm are successfully tested against exact self-similar solutions where available, and otherwise against a state-of-the-art h-refinement scheme for solutions of a two-dimensional porous medium equation problem with a moving boundary. The monitor functions used are the dependent variable and a monitor related to the surface area of the solution manifold. (c) 2005 IMACS. Published by Elsevier B.V. All rights reserved.

Differential changes in transforming growth factor β isoform expression during postnatal cardiac growth

Transforming growth factor-β (TGF-β) is synthesised as an inactive precursor protein; this is cleaved to produce the mature peptide and a latency associated protein (LAP), which remains associated with the mature peptide until activation by LAP degradation. Isoform specific antibodies raised against the LAPs for TGF-β2and -β3were used to determine the myocardial levels of LAP (activatable TGF-β) and full length precursor (inactive TGF-β) forms during post-natal development in the rat. TGF-β2was present predominantly as the precursor in 2 day old myocardium. There was an age-dependent shift from precursor protein to LAP between 2 and 28 days. A corresponding increase in the level of mature (activatable) TGF-β2was found. TGF-β3was detected in significant quantities only as LAP. However, a four-fold increase in the expression of TGF-β3LAP was observed between 2 and 28 days. The substantial increases in activatable forms of TGF-β2and -β3that occur in myocardium during the first 28 days of life in the rat support a role for these proteins in post-natal cardiac development.

New results and open problems on Toeplitz operators in Bergman spaces

We discuss some of the recent progress in the field of Toeplitz operators acting on Bergman spaces of the unit disk, formulate some new results, and describe a list of open problems -- concerning boundedness, compactness and Fredholm properties -- which was presented at the conference "Recent Advances in Function Related Operator Theory'' in Puerto Rico in March 2010.

Serine-like proteolytic enzymes correlated with differential pathogenicity in patients with acute Acanthamoeba keratitis

P>Acute ocular infection due to free-living amoebae of the genus Acanthamoeba is characterized by severe pain, loss of corneal transparency and, eventually, blindness. Proteolytic enzymes secreted by trophozoites of virulent Acanthamoeba strains have an essential role in the mechanisms of pathogenesis, including adhesion, invasion and destruction of the corneal stroma. In this study, we analysed the relationship between the extracellular proteases secreted by clinical isolates of Acanthamoeba and the clinical manifestations and severity of disease that they caused. Clinical isolates were obtained from patients who showed typical symptoms of Acanthamoeba keratitis. Trophozoites were cultivated axenically, and extracellular proteins were collected from cell culture supernatants. Secreted enzymes were partially characterized by gelatin and collagen zymography. Acanthamoeba trophozoites secreted proteases with different molecular masses, proteolysis rates and substrate specificities, mostly serine-like proteases. Different enzymatic patterns of collagenases were observed, varying between single and multiple collagenolytic activities. Low molecular weight serine proteases were secreted by trophozoites associated with worse clinical manifestations. Consequently, proteolytic enzymes of some Acanthamoeba trophozoites could be related to the degree of their virulence and clinical manifestations of disease in the human cornea.

QUASISTATIONARY DISTRIBUTIONS AND FLEMING-VIOT PROCESSES IN FINITE SPACES

Consider a continuous-time Markov process with transition rates matrix Q in the state space Lambda boolean OR {0}. In In the associated Fleming-Viot process N particles evolve independently in A with transition rates matrix Q until one of them attempts to jump to state 0. At this moment the particle jumps to one of the positions of the other particles, chosen uniformly at random. When Lambda is finite, we show that the empirical distribution of the particles at a fixed time converges as N -> infinity to the distribution of a single particle at the same time conditioned on not touching {0}. Furthermore, the empirical profile of the unique invariant measure for the Fleming-Viot process with N particles converges as N -> infinity to the unique quasistationary distribution of the one-particle motion. A key element of the approach is to show that the two-particle correlations are of order 1/N.

Hemocyte types and total and differential counts in unparasitized and parasitized Anastrepha obliqua (Diptera, Tephritidae) larvae

Os tipos de hemócitos e as contagens total e diferencial foram estudados em larvas parasitadas e não parasitadas de Anastrepha obliqua pertencentes ao início e ao final da terceira fase. em ambas as fases do desenvolvimento, tanto em larvas parasitadas quanto nas não parasitadas, foram observados pró-hemócitos, plasmatócitos, granulócitos, adipo-hemócitos, esferulócitos e oenocitóides. A presença de divisões mitóticas indica os pró-hemócitos como células-tronco. Pró-hemócitos, plasmatócitos e granulócitos são as células mais numerosas na hemolinfa de A. obliqua. Foi observada diferença no número total de hemócitos entre larvas parasitadas e não parasitadas apenas no final da terceira fase.

Large amplitude oscillations for a class of symmetric polynomial differential systems in R³

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Stability of neutral functional differential equations in terms of measures

In this paper we investigate the relationships between different concepts of stability in measure for the solutions of an autonomous or periodic neutral functional differential equation.

Differential alterations in the activity of matrix metalloproteinases within the nervous tissue of dogs in distinct manifestations of visceral leishmaniasis

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)