Juan A. Alonso

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this work we deal with a multiregional model in discrete time for an age-structured population which lives in an environment that changes randomly with time and is distributed in different spatial patches. In addition, and as is often the case in applications, we assume that migration is fast with respect to demography. Using approximate aggregation(More)
In this paper we present an ACL2 formalization of a molecular computing model: Adle-man's restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an application of this model, an implementation of Lipton's experiment solving SAT [7] is described, based on the formalization given in [6]. We use ACL2 to make a(More)
The morphology of inflectional languages poses specific problems in the processing of morphological alternations. Regular alternations at morpheme boundaries can be elegantly captured by the use of rule formalisms based on the two-level morphology model. Stem alternations and completely irregular alternations at morpheme boundaries, however, need to be(More)
A~stract Ta.~ p~esant paper tries to outlln~ a model to ~nhanc~ tile trm~sfer control within the N~T;d. Machine Translation, System. The model is being currently tested An th~ ~srman-Spanish system which is under development in Barcelona and relies upon techniques belonging to the GPSG framework. The central idea is to extract from the transfer part of th,~(More)
  • 1