Listar por título
Mostrando ítems 11799-11818 de 26911
-
Expression of the Wilms tumor suppressor gene (Wt1) in a subpopulation of embryonic cardiomyocytes is required for cardiac development
(2017-02-06)The Wilms’ tumour gene, WT1, encodes a zinc-finger transcription factor involved in the development of several organs. WT1 is expressed during mammalian embryonic development in many tissues, including the urogenital system, ... -
Expropiación legislativa versus confiscación regulatoria. Una distinción con ocasión de los procedimientos de resolución de entidades de crédito
(2019-07-08)En el ordenamiento jurídico español, el reconocimiento constitucional del derecho de propiedad como un derecho cuyo contenido esencial resulta indisponible para el legislador implica que los poderes públicos no pueden ... -
La expulsión del extranjero como consecuencia jurídica del delito en los Estados miembros del Consejo de Europa: ¿constituye un límite la enfermedad grave?
(2022-09-09)El trabajo analiza la sentencia de la Gran Sala del TEDH de 07.12.2021, caso Savran v. Denmark” ( Application no. 57467/15). Realiza una valoración crítica de la doctrina que establece en relación con el art. 3 CEDH ... -
Extended Variability Models, Algebra, and Arithmetic
(2023)Although classic variability models have been traditionally used to specify members of a product-line, their level of expressiveness was quite limited. Several extensions have been proposed, like numerical features, complex ... -
Extending FuzAtAnalyzer to approach the management of classical negation
(2015-09-16)FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from ... -
Extending model checkers for hybrid system verification: the case study of SPIN.
(Willey, 2013-07-26)A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, the ... -
Extension and validation of a novel destination brand equity model.
(2022-09-29)This study develops and tests a novel destination brand equity model and compares its validity with Aaker’s (1991) brand equity model, which is popular in tourism. The data were collected in Indonesia (n = 250) and the ... -
Extensión de la herramienta de computación quántica Quirk.
(2024)En la actualidad, la computación cuántica es uno de los puntos focales más sólidos en el mundo de la informática. Numerosos esfuerzos activos de investigación están en marcha, llevando continuamente a procesadores con ... -
Extensión de la plataforma de sistemas multiagente JADE para aplicaciones empresariales web
(2018-11-28)Extensión de la plataforma JADE para facilitar su integración en aplicaciones empresariales web, tanto Java EE como Spring. Se ha creado una capa de abstracción sobre este middleware que permite delegar todas las tareas ... -
Extensión de USE para soportar incertidumbre de medida en los datos primitivos OCL/UML
(2020-01-16)En la actualidad, está surgiendo la necesidad de modelar sistemas que traten con factores físicos. Con la llegada del Internet de las cosas [IoT] hay cada vez más sistemas software conectados a sensores que no dan una ... -
Extensión global de campos vectoriales locales en espacios Pseudo-Finsler I, II.
(2016-02-24)El problema de extensión global de campos locales (Killing, conformes, etc.) en variedades Pseudo-Riemannianas aparece naturalmente en múltiples contextos. Por ejemplo, es un ingrediente esencial en la prueba de que el ... -
Extension of Finite-Control Set Model-Based Predictive Control Techniques to Fault-Tolerant Multiphase Drives: Analysis and Contributions
(Servicio de Publicaciones y Divulgación Científica, 2015)Las máquinas eléctricas son una de las principales tecnologías que hacen posible las energías renovables y los vehículos eléctricos. La necesidad constante de incrementar la capacidad de potencia para generar más energía ... -
Exterior boundary-value poincaré problem for elliptic systems of the second order with two independent variables
(Springer Nature, 2023-12-21)This paper offers a number of examples showing that in the case of two independent variables the uniform ellipticity of a linear system of differential equations with partial derivatives of the second order, which fulfills ... -
Externalidades familiares en la educación de los jóvenes en España
(2014-05-12)• La coyuntura recesiva de los últimos seis años se acompaña de una caída dramática en los recursos públicos y de un cambio en las prioridades de la política económica y social entre equidad y eficiencia en detrimento de ... -
Extinción de las asociaciones intracompuesto tras la preexposición por bloques a sabores compuestos
(UMA Editorial, 2018)Algunas teorías actuales de aprendizaje perceptivo sugieren que en una preexposición en bloques a dos estímulos compuestos (AX, AX, AX, ... BX, BX, BX) la asociación intracompuesto A↔X, establecida durante el primer bloque ... -
ExTrA: Explaining architectural design tradeoff spaces via dimensionality reduction.
(Elsevier, 2022-12-19)In software design, guaranteeing the correctness of run-time system behavior while achieving an acceptable balance among multiple quality attributes remains a challenging problem. Moreover, providing guarantees about the ... -
Extracción de conocimiento usando atributos negativos en el Análisis de Conceptos Formales. Aplicaciones en la Ingeniería.
(UMA Editorial, 2017-06-19)El objetivo principal de esta tesis es desarrollar un marco general que permita, de una forma uniforme y eficiente, extraer, tratar y representar conocimiento a partir de información positiva y negativa de un conjunto de ... -
Extracción de información de análisis de antivirus hechos sobre archivos infectados por el virus Wannacry.
(2024)En 2017, se liberó un ataque a escala global del virus Wannacry, que afectó a miles de equipos Windows cifrando todos sus archivos, con el fin de extorsionar al usuario para que, a cambio de un rescate, el ciberterrorista ... -
Extracción de modelos casi-estáticos para dispositivos no-lineales a partir de medidas en el dominio de la frecuencia
(2019-09-11)In this contribution an extraction method already proposed by authors and suitable for FET-type devices that could be represented by a quasi-static model is illustrated. For the first time, the method is applied to a FET ... -
Extracción terminológica basada en corpus para la traducción de fichas técnicas de impresoras 3D
(2019-12-10)En el presente trabajos presentaremos una metodología para la creación de un glosario bilingüe y bidireccional (inglés-español/español-inglés) que será de utilidad para la traducción fichas técnicas de impresoras 3D. La ...