Rapid prototyping of ubiquitous computing environments

Ubiquitous computing raises new usability challenges that cut across design and development. We are particularly interested in environments enhanced with sensors, public displays and personal devices. How can prototypes be used to explore the users' mobility and interaction, both explicitly and implicitly, to access services within these environments? Because of the potential cost of development and design failure, these systems must be explored using early assessment techniques and versions of the systems that could disrupt if deployed in the target environment. These techniques are required to evaluate alternative solutions before making the decision to deploy the system on location. This is crucial for a successful development, that anticipates potential user problems, and reduces the cost of redesign. This thesis reports on the development of a framework for the rapid prototyping and analysis of ubiquitous computing environments that facilitates the evaluation of design alternatives. It describes APEX, a framework that brings together an existing 3D Application Server with a modelling tool. APEX-based prototypes enable users to navigate a virtual world simulation of the envisaged ubiquitous environment. By this means users can experience many of the features of the proposed design. Prototypes and their simulations are generated in the framework to help the developer understand how the user might experience the system. These are supported through three different layers: a simulation layer (using a 3D Application Server); a modelling layer (using a modelling tool) and a physical layer (using external devices and real users). APEX allows the developer to move between these layers to evaluate different features. It supports exploration of user experience through observation of how users might behave with the system as well as enabling exhaustive analysis based on models. The models support checking of properties based on patterns. These patterns are based on ones that have been used successfully in interactive system analysis in other contexts. They help the analyst to generate and verify relevant properties. Where these properties fail then scenarios suggested by the failure provide an important aid to redesign.

A bounded upwinding scheme for computing convection-dominated transport problems

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

Increasing Moodle Resources Through Cloud Computing

The increase of higher education offer is a basic need of developed and emerging countries. It requires increasing and ongoing investments. The offer of higher education, by means of Distance Learning, based on the Internet, is one of the most efficient manners for the massification of this offer, as it allows ample coverage and lower costs. In this scenario, we highlight Moodle, an open and low-cost environment for Distance Learning. Its utilization may be amplified through the adoption of an emerging Information and Communication Technology (ICT), Cloud Computing, which allows the virtualization of Moodle sites, cutting costs, facilitating management and increasing its service capacity. This article diffuses a public tool, opened and free, for automatic conversion of Moodle sites, such that these may be hosted on Azure: the Cloud Computing environment of Microsoft.

The adaptive compensations in endocrine pancreas from glucocorticoid-treated rats are reversible after the interruption of treatment

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

MATHEMATICA notebook for computing tetrahedral finite element shape functions and matrices for the Helmholtz equation

A MATHEMATICA notebook to compute the elements of the matrices which arise in the solution of the Helmholtz equation by the finite element method (nodal approximation) for tetrahedral elements of any approximation order is presented. The results of the notebook enable a fast computational implementation of finite element codes for high order simplex 3D elements reducing the overheads due to implementation and test of the complex mathematical expressions obtained from the analytical integrations. These matrices can be used in a large number of applications related to physical phenomena described by the Poisson, Laplace and Schrodinger equations with anisotropic physical properties.

A class of reversible quadratic polynomial vector fields on S-2

We study a class of quadratic reversible polynomial vector fields on S-2. We classify all the centers of this class of vector fields and we characterize its global phase portrait. (C) 2010 Elsevier B.V. All rights reserved.

On the reversible quadratic polynomial vector fields on S-2

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

Interpolating EFGM for computing continuous and discontinuous electromagnetic fields

Purpose - This paper proposes an interpolating approach of the element-free Galerkin method (EFGM) coupled with a modified truncation scheme for solving Poisson's boundary value problems in domains involving material non-homogeneities. The suitability and efficiency of the proposed implementation are evaluated for a given set of test cases of electrostatic field in domains involving different material interfaces.Design/methodology/approach - the authors combined an interpolating approximation with a modified domain truncation scheme, which avoids additional techniques for enforcing the Dirichlet boundary conditions and for dealing with material interfaces usually employed in meshfree formulations.Findings - the local electric potential and field distributions were correctly described as well as the global quantities like the total potency and resistance. Since, the treatment of the material interfaces becomes practically the same for both the finite element method (FEM) and the proposed EFGM, FEM-oriented programs can, thus, be easily extended to provide EFGM approximations.Research limitations/implications - the robustness of the proposed formulation became evident from the error analyses of the local and global variables, including in the case of high-material discontinuity.Practical implications - the proposed approach has shown to be as robust as linear FEM. Thus, it becomes an attractive alternative, also because it avoids the use of additional techniques to deal with boundary/interface conditions commonly employed in meshfree formulations.Originality/value - This paper reintroduces the domain truncation in the EFGM context, but by using a set of interpolating shape functions the authors avoided the use of Lagrange multipliers as well Mathematics in Engineering high-material discontinuity.

Reversible holographic glasses using visible lasers

Antimony based glasses have been investigated for the first time regarding the possibility of holographic data storage using visible lasers sources. Changes in both refractive index and the absorption coefficient were measured using a holographic setup. The modulation of the optical constants is reversible by heat treatment. Bragg gratings were written under visible light of an Ar laser and erased thermally.

Reversible equivariant Hopf bifurcation

In this paper we study codimension-one Hopf bifurcation from symmetric equilibrium points in reversible equivariant vector fields. Such bifurcations are characterized by a doubly degenerate pair of purely imaginary eigenvalues of the linearization of the vector field at the equilibrium point. The eigenvalue movements near such a degeneracy typically follow one of three scenarios: splitting (from two pairs of imaginary eigenvalues to a quadruplet on the complex plane), passing (on the imaginary axis), or crossing (a quadruplet crossing the imaginary axis). We give a complete description of the behaviour of reversible periodic orbits in the vicinity of such a bifurcation point. For non-reversible periodic solutions. in the case of Hopf bifurcation with crossing eigenvalues. we obtain a generalization of the equivariant Hopf Theorem.

Periodic orbits for a class of reversible quadratic vector field on R-3

For a class of reversible quadratic vector fields on R-3 we study the periodic orbits that bifurcate from a heteroclinic loop having two singular points at infinity connected by an invariant straight line in the finite part and another straight line at infinity in the local chart U-2. More specifically, we prove that for all n is an element of N, there exists epsilon(n) > 0 such that the reversible quadratic polynomial differential systemx = a(0) + a(1y) + a(3y)(2) + a(4Y)(2) + epsilon(a(2x)(2) + a(3xz)),y = b(1z) + b(3yz) + epsilon b(2xy),z = c(1y) +c(4az)(2) + epsilon c(2xz)in R-3, with a(0) < 0, b(1)c(1) < 0, a(2) < 0, b(2) < a(2), a(4) > 0, c(2) < a(2) and b(3) is not an element of (c(4), 4c(4)), for epsilon is an element of (0, epsilon(n)) has at least n periodic orbits near the heteroclinic loop. (c) 2007 Elsevier B.V. All rights reserved.

Characterization of the reversible photoinduced optical changes in Sb-based glasses

Changes occurring in absorption coefficients when glasses in the SbPO4-WO3 binary system were irradiated by light, at the edge of the absorption band, were measured in real time. These glasses present good thermal and optical properties and photoinduced changes in the absorption coefficients are reversible by heat treatment around 150 degrees C. Subsequent recording/erasing cycles could be made without sample degradation. The sensitivity of the induced optical changes was studied for different wavelengths, light powers and energy of light dose exposures, and for different compositions of the glasses. The changes in the absorption coefficients of the glass samples were accompanied by a color change from yellow to blue, and were also characterized by visible spectroscopy. The color changes occurred through the entire volume of the glass (similar to 2 mm thickness) for the Ar-ion laser lines at the edge of the absorption band. (c) 2006 Elsevier B.V. All rights reserved.

A simple prescription for computing the stress-energy tensor

A non-variational technique for computing the stress-energy tensor is presented. The prescription is used, among other things, to obtain the correct field equations for Prasanna's highly nonlinear electrodynamics.

Computational studies of the reversible domain swapping of p13suc1

A minimalist representation of protein structures using a Go- like potential for interactions is implemented to investigate the mechanisms of the domain swapping of p13suc1, a protein that exists in two native conformations: a monomer and a domain- swapped dimer formed by the exchange of a beta- strand. Inspired by experimental studies which showed a similarity of the transition states for folding of the monomer and the dimer, in this study we justify this similarity in molecular descriptions. When intermediates are populated in the simulations, formation of a domain- swapped dimer initiates from the ensemble of unfolded monomers, given by the fact that the dimer formation occurs at the folding/ unfolding temperature of the monomer ( T-f). It is also shown that transitions, leading to a dimer, involve the presence of two intermediates, one of them has a dimeric form and the other is monomeric; the latter is much more populated than the former. However, at temperatures lower than T-f, the population of intermediates decreases. It is argued that the two folded forms may coexist in absence of intermediates at a temperature much lower than T-f. Computational simulations enable us to find a mechanism, `` lock- and- dock'', for domain swapping of p13suc1. To explore the route toward dimer formation, the folding of unstructured monomers must be retarded by first locking one of the free ends of each chain. Then, the other free termini could follow and dock at particular regions, where most intrachain contacts are formed, and thus de. ne the transition states of the dimer. The simulations also showed that a decrease in the maximum distance between monomers increased their stability, which is explained based on confinement arguments. Although the simulations are based on models extracted from the native structure of the monomer and the dimer of p13suc1, the mechanism of the domain- swapping process could be general, not only for p13suc1.