Buscar
Mostrando ítems 21-30 de 328
Artículo
Effect of dislocations on electrical and electron transport properties of InN thin films. II. Density and mobility of the carriers
(American Institute of Physics, 2006-11)
The influence of dislocations on electron transport properties of undoped InN thin films grown by molecular-beam epitaxy on AlN 0001 pseudosubstrates is reported. The microstructure and the electron transport in InN ...
Ponencia
Applying XML technologies in Requirements Verification
(2002)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
Ensayo automatizado para el desarrollo de caudalímetros
(Iberdrola Instituto Tecnológico, 1998)
En este artículo se expone la estructura de un banco hidráulico que ha sido desarrollado por el grupo de investigación Instrumentación Electrónica y Aplicaciones, sito en el Departamento de Tecnología Electrónica de la ...
Artículo
A new species of Caprellinoides (Crustacea : Amphipoda : Phtisicidae) from the Antarctic
(BMC, 2001)
A new caprellid species, Caprellinoides singularis, is described and illustrated based on the material collected on the Polarstern Cruise ANT XVII/3 from the Branfield Strait. The most striking characteristic of this species ...
Ponencia
Design issues for the VLSI implementation of universal approximator fuzzy systems
(Institute of Electrical and Electronics Engineers, 1999)
Several VLSI realizations of fuzzy systems have been proposed in the literature in the recent years. They employ analog or digital circuitry, offering more or less programmability, implementing difference inference methods, ...
Artículo
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...
Artículo
Molecular-dynamics simulations of premelting processes in Cr2O3
(American Physical Society, 1998)
Molecular-dynamics simulations of the (0001) surface Of Cr2O3 were carried out in the [300-2800 K] range of temperatures using a classical Pauling-type pair potential. The analysis of the structural data shows a strong ...
Ponencia
EVFUZZYSYSTEM: evolución de sistemas difusos para problemas de regresión multi-dimensionales
(Universidad de Huelva, 2010)
Este trabajo presenta EvFuzzySystem, un método evolutivo que permite el diseño com pleto de sistemas de lógica difusa, generando de forma simultánea funciones miembro y conjunto de reglas apropiados. EvFuzzySys tem ...
Ponencia
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial com plexity of the analyses. In previous works, we successfully automated the generation of ...
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...