Buscar
Mostrando ítems 1-10 de 50
Artículo
Diversities, hyperconvexity and fixed points
(Elsevier, 2014-01)
Diversities have been recently introduced as a generalization of metrics for which a rich tight span theory could be stated. In this work we take up a number of questions about hyperconvexity, diversities and fixed points ...
Artículo
El giro dinámico en la epistemología formal: el caso del razonamiento explicativo
(Universidad del País Vasco, 2014)
We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering ...
Artículo
The ALHAMBRA survey: Evolution of galaxy clustering since z∼1
(Oxford University Press, 2014-06)
We study the clustering of galaxies as function of luminosity and redshift in the range 0.35< z < 1.25 using data from the Advanced Large Homogeneous Area Medium-Band Redshift Astronomical (ALHAMBRA) survey. The ALHAMBRA ...
Artículo
Effect of high SWNT content on the room temperature mechanical properties of fully dense 3YTZP/SWNT composites
(Elsevier, 2014)
This paper is devoted to correlate the microstructure and room temperature mechanical properties of single-wall carbon nanotube (SWNT) reinforced 3. mol% yttria stabilized tetragonal zirconia with high SWNT content (2.5, ...
Ponencia
Demostración de NDT-Driver: una herramienta de soporte a los mecanismos de transformación de NDT
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
En el contexto del paradigma de ingeniería guiada por modelos (MDE), el uso de metodologías como es el caso de NDT (Navigational Development Techniques) ayuda a asegurar la calidad de los resultados durante el desarrollo ...
Artículo
Region-specific metabolic alterations in the brain of the APP/PS1 transgenic mice of Alzheimer's disease
(Elsevier, 2014)
Alzheimer's disease (AD) is the most common neurodegenerative disorder worldwide, but its etiology is still not completely understood. The identification of underlying pathological mechanisms is becoming increasingly ...
Artículo
Programmed cell death (PCD): an essential process of cereal seed development and germination
(Frontiers media, 2014)
The life cycle of cereal seeds can be divided into two phases, development and germination, separated by a quiescent period. Seed development and germination require the growth and differentiation of new tissues, but ...
Artículo
Small universal simple spiking neural P systems with weights
(Springer, 2014)
Spiking neural P systems with weights (WSN P systems, for short) are a new variant of spiking neural P systems, where the rules of a neuron are enabled when the potential of that neuron equals a given value. It is known ...
Artículo
NDT-Suite: A Methodological Tool Solution in the Model-Driven Engineering Paradigm
(SCIRP: Scientific Research Publishing, 2014)
Although the Model-Driven paradigm is being accepted in the research environment as a very useful and powerful option for effective software development, its real application in the enter prise context is still a challenge ...
Artículo
Stabilization of a non standard FETI-DP mortar method for the Stokes problem
(EDP Sciences, 2014-01)
In a recent paper [E. Chacón Vera and D. Franco Coronil, J. Numer. Math. 20 (2012) 161–182.] a non standard mortar method for incompressible Stokes problem was introduced where the use of the trace spaces H1/2 and H1/2 00 ...