We apply multiresolution techniques to study the effective properties of boundary value problems. Conditions under which boundary values are preserved in the effective (`homogenized') formulation are developed and discussed. Relations between the eigenfunctions and eigenvalues of the generic...

Dynamic geometry programs provide environments where accurate construction of geometric configurations can be done. Nevertheless, intrinsic limitations in their standard development technology mostly produce objects that are equationally unknown and so can not be further used in constructions....

In this article we analyse the thermodynamics of steam reforming by using computing techniques from symbolics, numerics and graphics. It is shown that the integration of the various computing methods normally used separately in scientific problem-solving allows the development of efficient and...

Nowadays, most scientists and engineers rely on computer simulations to analyze, design, and prototype complex systems. Scientific and engineering system models are implemented in a variety of simulation environments; however, limited model libraries are often provided to users who are compelled...

We describe the capabilities of Lugares for obtaining the equations and graphs of plane loci. Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis...

We present a framework for implementing massively distributed applications in symbolic computing. Using this framework, computations with massive resource requirements can be distributed and processed in parallel on a network of workstations or on a large scale network such as the Internet. For...

The aim of this paper is to expound an original algebraic model for managing the knowledge provided by different expert humans when developing expert systems. This model is conceived as an extension of classical propositional logics in which each proposition is associated with a set of human...

It is well known in the literature that obtaining the parameter estimates for the Smooth Transition Autoregressive-Generalized Autoregressive Conditional Heteroskedasticity (STAR-GARCH) can be problematic due to computational difficulties. Conventional optimization algorithms do not seem to...

The payoff distribution pricing model (PDPM) of Dybvig [13] is a powerful tool for measuring the inefficiency of any investment strategy in a multiperiod setting. In this study, we extend the PDPM in three major ways. Firstly, we develop an operational formula for computing the inefficiency...

The self-organization of particles in a two-phase system in the coexistence region through a diffusive mechanism is known as Ostwald ripening. A mesoscopic model derived from the spin exchange Ising model is used here in a computational study of Ostwald ripening. The typical cluster size is...