Evidence of kinetically arrested supercooled phases in the pervoskite oxide NdNiO$_3$ (2009)
Kumar, Devendra, Rajeev, K. P., Alonso, J. A., Lope, M. J. Martinez
We report the time and temperature dependent response of thermopower in the non-magnetic perovskite oxide NdNiO$_3$. We find that on cooling below the metal-insulator transition temperature the...
Slow Dynamics in Hard Condensed Matter: A Case Study of the Phase Separating System NdNiO$_3$ (2008)
Kumar, Devendra, Rajeev, K. P., Alonso, J. A., Martinez-Lope, M. J.
We report the time dependent response of electrical resistivity in the non-magnetic perovskite oxide NdNiO$_3$ in its phase separated state and provide a physical explanation of the observations. We...
Half-metallic finite zigzag single-walled carbon nanotubes from first principles (2008)
Mañanes, A., Duque, F., Ayuela, Andrés, López, M. J., Alonso, J. A.
10 pages, 15 figures.-- PACS nrs.: 73.22.-f, 75.75.+a, 72.80.Rj, 85.75.-d.
Decidability of Modal System S5: A Recursive Algorithm. (2008)
J. A. Alonso, E. Briales, Facultad Matemáticas
Abstract.- The decidability method, given in [6], for modal system S5 uses the reduced modal normal form. In this paper we present a recursive algorithm for computing the reduced modal normal form...
Supercooling and the Metal-Insulator Phase Transition of NdNiO$_{3}$ (2007)
Kumar, Devendra, Rajeev, K. P., Alonso, J. A., Martinez-Lope, M. J.
We report the temperature and time dependence of electrical resistivity on high temperature, high oxygen pressure prepared polycrystalline samples of NdNiO_3. NdNiO_3 is metallic above 195 K and...
Molecular Computation Models in ACL2: a Simulation of Lipton's Experiment Solving SAT. # (2007)
J. A. Alonso, F. Sancho-caparrini
In this paper we present an ACL2 formalization of a molecular computing model: Adleman 's restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As...
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. # (2007)
In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is...
A generic instantiation tool and a case study: A generic multiset theory (2002)
In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the theory be as independent of a concrete implementation as possible. This is...
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT. ∗ (2002)
J. A. Alonso, F. Sancho-caparrini
In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a first step to formalize unconventional models of computation in ACL2. As an...
Velasco Roldán, Francisco, Alonso, J. A., Cueto, J., Herrero Rubio, José Miguel, Muñiz, F., Seebold Imbert, I., ...
Proximate and ultimate causes of natal dispersal in the great bustard Otis tarda (1998)
Alonso, J. C., Martín, E., Alonso, J. A., Morales, M. B.
Between 1991 and 1997 we studied the offspring independence and juvenile dispersal in a wild population of great bustards (Otis tarda). Young males were independent and began their juvenile dispersal...
Nebot, E., Alonso, J.A., Herrero, Isabel, Blanquer, H.
En este artículo se presenta una descripción del léxico monolingüe árabe del sistema de traducción automática árabe-español que se está desarrollando en los departamentos de Árabe y...
López, J. M., Alonso, J. A., March, N. H., Garcias, F., Barranco, M.
Using the extended Thomas-Fermi version of density-functional theory (DFT), calculations are presented for the barrier for the reaction Na20++Na20+¿Na402+. The deviation from the simple Coulomb...
Charge transfer in simple metallic alloys (1983)
The concept of electronic charge transfer is a convenient one to study the ionic contribution to the chemical binding in simple metallic alloys. In this paper we analyse several possible definitions...
Charge transfer in simple metallic alloys (1983)
The concept of electronic charge transfer is a convenient one to study the ionic contribution to the chemical binding in simple metallic alloys. In this paper we analyse several possible definitions...
Concentration fluctuations in simple liquid alloys with atomic size mismatch (1982)
Alonso, J.A., López, J.M., March, N.H.
Flory's expression for the free energy of mixing of binary liquid alloys with atomic size mismatch is modified by introducing the concentration dependency of the heat of mixing given by the...
Concentration fluctuations in simple liquid alloys with atomic size mismatch (1982)
Alonso, J.A., López, J.M., March, N.H.
Flory's expression for the free energy of mixing of binary liquid alloys with atomic size mismatch is modified by introducing the concentration dependency of the heat of mixing given by the...