Información de la editorial
SPRINGER-VERLAG BERLIN |
Documentos disponibles de esta editorial (40)
texto impreso
Chaver Martínez, Daniel Ángel ; Tenllado Van Der Reijden, Christian ; Piñuel Moreno, Luis ; Prieto Matías, Manuel ; Tirado Fernández, Francisco | SPRINGER-VERLAG BERLIN | 2002This paper addresses the implementation of a 2-D Discrete Wavelet Transform on general-purpose microprocessors, focusing on both memory hierarchy and SIMD parallelization issues. Both topics are somewhat related, since SIMD extensions are only u[...]texto impreso
Besada Portas, Eva ; Cruz García, Jesús Manuel de la ; Plis, Sergey M. ; Lane, Terran | SPRINGER-VERLAG BERLIN | 2010Monitoring the variables of real world dynamical systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding probability distribution over the unobserved variables. However, the[...]texto impreso
We present a method to find curves over the finite field F-3 with many rational points. The method is based in an arithmetic study of linear systems of projective plane curves of a given degree and prescribed singularities. We have found curves [...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to [...]texto impreso
Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach based on omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous step for determining the volume of wood in the[...]texto impreso
Cruz García, Jesús Manuel de la ; Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach by combining several attributes at the pixel level for omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous [...]texto impreso
We consider an extended electromagnetic theory in which the scalar state which is usually eliminated be means of the Lorenz condition is allowed to propagate. On super-Hubble scales, such a state is given by the temporal component of the electro[...]texto impreso
Barro, Guillermo ; Gallego Maestro, Jesús ; Pérez González, Pablo Guillermo ; Eliche Moral, María del Carmen ; Balcells, M. ; Villar, V. ; Cardiel López, Nicolás ; Cristobal Hornillos, D. ; Gil de Paz, Armando ; Guzmán, R. ; Pelló, R. ; Prieto, M. ; Zamorano Calvo, Jaime | SPRINGER-VERLAG BERLIN | 2010We present a study that links the NCs to the rest-frame luminosity functions (LFs) at the passbands probed by the observed K-band at different epochs. Making use of a large K-band selected sample in the Groth Field, HDFN and CDFS (?0.27deg^(2)),[...]texto impreso
Díaz, J. ; García Herrera, Ricardo ; Velázquez de Castro, F. ; Hernández, E. ; López, C. ; Otero, A. | SPRINGER-VERLAG BERLIN | 2002-08The effects of heat waves on the population have been described by different authors and a consistent relationship between mortality and temperature has been found, especially in elderly subjects. The present paper studies this effect in Seville[...]texto impreso
A quantum dot (QD) is a structure in which electrons can be confined to small length scales, comparable to their Fermi wavelength. A set of electrons held in such a structure is conceptually similar to a set of atomic electrons bound to a nucleu[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007The behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has been proposed. Due to its high level of abstraction, this[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. [...]texto impreso
Nieva Soto, Susana ; Sánchez-Hernández, Jaime ; Sáenz-Pérez, Fernando | SPRINGER-VERLAG BERLIN | 2008In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint deductive database query language. In addition to constraints, our p[...]texto impreso
Pascual Ramírez, Sergio ; Gallego Maestro, Jesús ; Cardiel López, Nicolás | SPRINGER-VERLAG BERLIN | 2010EMIR is a near-infrared wide-field camera and multi-object spectrograph being built for the 10.4m Spanish telescope (Gran Telescopio Canarias, GTC) at La Palma Observatory. The Data Factory Pipeline (DFP) will be optimized for handling and reduc[...]texto impreso
Fuzzy multi-criteria decision making in stereovision matching for fish-eye lenses in forest analysis
Herrera Caro, Pedro Javier ; Pajares Martinsanz, Gonzalo ; Guijarro Mata-García, María ; Ruz Ortíz, José Jaime ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2009This paper describes a novel stereovision matching approach based on omni-directional images obtained with fish-eye lenses in forest environments. The goal is to obtain a disparity map as a previous step for determining the volume of wood in the[...]texto impreso
Cardiel López, Nicolás ; Gallego Maestro, Jesús ; Pascual Ramírez, Sergio ; Eliche Moral, María del Carmen ; Castillo Morales, África ; Guzmán, R. ; Gil de Paz, Armando ; Pérez González, Pablo Guillermo ; Gorgas García, Francisco Javier ; Zamorano Calvo, Jaime | SPRINGER-VERLAG BERLIN | 2010We present a short summary of the activities developed by GUAIX, the Universidad Complutense de Madrid (UCM) Group of Extragalactic Astrophysics and Astronomical Instrumentation. At present we are focused in the development of data reduction pip[...]texto impreso
Díaz, J. ; Jordán, A. ; García Herrera, Ricardo ; López, C. ; Alberdi, J.C. ; Hernández, E. ; Otero, A. | SPRINGER-VERLAG BERLIN | 2002-03Objective: The objective of this paper is to analyse and quantify the effects exerted on summer mortality by extremes of heat, particularly among persons aged 65–74 and 75 years and over, groups in which mortality is higher. Methods: The study i[...]texto impreso
Sánchez, S. F. ; Cardiel López, Nicolás ; Verheijen, M. A. W. ; Benítez, N. | SPRINGER-VERLAG BERLIN | 2007We report on integral field spectrocopy observations, performed with the PPAK module of the PMAS spectrograph, covering a field-of-view of ?74”×64” centered on the core of the galaxy cluster Abell 2218. A total of 43 objects were detected, 27 of[...]texto impreso
In this paper it is presented the features and behavior of the tutoring-training system MACRO-SYS. This system allows students to simulate experiments with complex macroeconomic environments. Users have to show their knowledge level by solving t[...]texto impreso
Díaz, J. ; García Herrera, Ricardo ; Ribera, P. ; Alberdi, J.C. ; Hernández, Emiliano ; Pajares, M.S. ; Otero, A. | SPRINGER-VERLAG BERLIN | 1999-09Objective: Evaluation of the association between air pollution and mortality and morbidity is becoming ever more complex owing to changes in innercity air pollution, marked by decreasing values for all main pollutants save those associated with [...]texto impreso
Martín Hernández, J.M. ; Mármol Queraltó, E. ; Gorgas García, Francisco Javier ; Cardiel López, Nicolás ; Sánchez Blázquez, P. ; Cenarro, A.J. ; Peletier, R. F. ; Vazdekis, A. ; Falcón Barroso, J. | SPRINGER-VERLAG BERLIN | 2010We are presenting new empirical fitting functions for the Lick/IDS line-strength indices as measured in MILES (Medium-resolution INT Library of Empirical Spectra). Following previous work in the field, these functions describe the empirical beha[...]texto impreso
Santos Peñas, Matilde ; Pajares Martinsanz, Gonzalo ; Portela, M. ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2003The aim of image fusion is to combine information from multiple images of the same scene. The result of image fusion is a new image,,which is more suitable for human and machine perception or further image-processing tasks such as segmentation, [...]texto impreso
Romero Pérez, Mª Pilar ; Gambi, J.M. ; Patino, E. ; Antolin Sánchez, Roberto | SPRINGER-VERLAG BERLIN | 2008In order to keep geostationary satellites within the prescribed boundaries to satisfy mission requirements, orbital station keeping manoeuvres are performed periodically to compensate natural perturbations on the satellites. The propulsion syste[...]texto impreso
Besada Portas, Eva ; Cruz García, Jesús Manuel de la ; Plis, Sergey M. ; Lane, Terran | SPRINGER-VERLAG BERLIN | 2009Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding probability distribution over the unobserved variables. However, they [...]texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Núñez García, Manuel | SPRINGER-VERLAG BERLIN | 2008-10This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most relevant expected properties of the implementation under test. Intuitively, an invaria[...]texto impreso
Cruz García, Jesús Manuel de la ; Guijarro Mata-García, María ; Pajares Martinsanz, Gonzalo ; Herrera Caro, Pedro Javier | SPRINGER-VERLAG BERLIN | 2011One objective for classifying pixels belonging to specific textures in natural images is to achieve the best performance in classification as possible. We propose a new unsupervised hybrid classifier. The base classifiers for hybridization are t[...]texto impreso
Pajares Martinsanz, Gonzalo ; Ruz Ortíz, José Jaime ; Cruz García, Jesús Manuel de la | SPRINGER-VERLAG BERLIN | 2005Under illumination variations image change detection becomes a difficult task. Some existing image change detection methods try to compensate this effect. It is assumed that an image can be expressed in terms of its illumination and reflectance [...]texto impreso
Castro, F. ; Chaver Martínez, Daniel Ángel ; Piñuel Moreno, Luis ; Prieto Matías, Manuel ; Huang, M. C. ; Tirado Fernández, Francisco | SPRINGER-VERLAG BERLIN | 2005The load-store queue (LQ-SQ) of modem superscalar processors is responsible for keeping the order of memory operations. As the performance gap between processing speed and memory access becomes worse, the capacity requirements for the LQ-SQ incr[...]texto impreso
Muñoz Mateos, J.C. ; Gil de Paz, Armando ; Zamorano Calvo, Jaime ; Pérez González, Pablo Guillermo ; Gallego Maestro, Jesús | SPRINGER-VERLAG BERLIN | 2010We present a detailed analysis of the radial distribution of dust properties (extinction, PAH abundance and dust-to-gas ratio) in 57 galaxies in the SINGS sample, performed on a multi-wavelength set of UV, IR and radio surface brightness profile[...]texto impreso
Eliche Moral, María del Carmen ; Prieto, Mercedes ; Gallego Maestro, Jesús ; Zamorano Calvo, Jaime | SPRINGER-VERLAG BERLIN | 2011Hierarchical models predict that massive early-type galaxies (mETGs) are the latest systems to be in place into the cosmic scenario (at ztexto impreso
The most important advantage of widefield cameras is, precisely, the widefield, since this offers the observers the possibility of obtaining vast amounts of data in a much shorter observing time. However, for a reliable data interpretation it is[...]texto impreso
Makarov, Valeri A. ; Pavlov, Alexey N. ; Makarova, J. ; Panetsos, Fivos | SPRINGER-VERLAG BERLIN | 2005Spike separation is a basic prerequisite for analyzing of the cooperative neural behavior and neural code when registering extracellularly. Final performance of any spike sorting method is basically defined by the quality of the discriminative f[...]texto impreso
Pérez González, Pablo Guillermo ; Alonso Herrero, Almudena ; Donley, Jennifer ; Rieke, George ; Barro, Guillermo ; Gallego Maestro, Jesús ; Zamorano Calvo, Jaime | SPRINGER-VERLAG BERLIN | 2010We present the latest results of the Spitzer Cosmological Surveys concerning the characterization of the evolution of galaxies in the last 12 Gyr (from z=4). We have analyzed the stellar mass function up to z=4 using a sample of more the 28,000 [...]texto impreso
García Merayo, Mercedes ; Hwang, Iksoon ; Núñez García, Manuel ; Cavalli, Ana | SPRINGER-VERLAG BERLIN | 2009In this paper we introduce a formal framework to test systems where non-deterministic decisions are probabilistically quantified and temporal information is defined by using random variables. We define an appropriate extension of the classical f[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test [...]texto impreso
Eliche Moral, María del Carmen ; Prieto, M. ; Barro, Guillermo ; Balcells, M. ; Gallego Maestro, Jesús ; Pérez González, Pablo Guillermo ; Zamorano Calvo, Jaime ; Cardiel López, Nicolás ; Gil de Paz, Armando ; Guzmán, R. ; Pelló, R. ; Villar, V. | SPRINGER-VERLAG BERLIN | 2010Considering that the recent history of E-S0’s can be approximated by Pure Luminosity Evolution (PLE), we have examined a set of PLE models in order to de-limit the epoch in which the majority of the red galaxy population moved away this simple [...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2008THOTL represents a conservative extension of HOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce sev[...]texto impreso
In this paper we introduce our application HappyMovie, a Facebook application for movie recommendation to groups. This system takes advantage of social data available in this social network to promote fairness for the provided recommendations. G[...]texto impreso
Cruz García, Jesús Manuel de la ; Sánchez Benítez, David ; Pajares Martinsanz, Gonzalo ; Gu, Dawei | SPRINGER-VERLAG BERLIN | 2011We present a method for locating and determining the six degrees of freedom through a simple algorithm based on artificial vision. This algorithm can estimate the relative orientation of the camera with respect to a precise figure, it gives, rol[...]texto impreso
Chaver Martínez, Daniel Ángel ; Tenllado Van Der Reijden, Christian ; Piñuel Moreno, Luis ; Tirado Fernández, Francisco | SPRINGER-VERLAG BERLIN | 2003In this paper we discuss several issues relevant to the vectorization of a 2-D Discrete Wavelet Transform on current microprocessors. Our research is based on previous studies about the efficient exploitation of the memory hierarchy, due to its [...]