Buscar
Mostrando ítems 191-200 de 200
Ponencia
Formal Verification of P Systems with Active Membranes through Model Checking
(Springer, 2011)
Formal verification of P systems using model checking has attracted a significant amount of research in recent years. However, up to now only P systems with static structure have been considered. This paper makes ...
Artículo
Glycogen Synthase Kinase-3-ß (GSK3ß) negatively regulates PTTG1/human Securin protein stability, and GSK3ß inactivation correlates with securin accumulation in breast tumors.
(The American Society for Biochemistry and Molecular Biology, 2011)
PTTG1, also known as securin, is an inactivating partner of separase, the major effector for chromosome segregation during mitosis. At the metaphase-to-anaphase transition, securin is targeted for proteasomal destruction ...
Artículo
Microwave-based digestion method for extraction of 127I and 129I from solid material for measurements by AMS and ICP-MS
(Elsevier, 2011)
This work presents a microwave-based digestion method followed by a radiochemical extraction procedure to extract iodine from environmental matrices that provides iodine in a form suitable for the measurement of 129I by ...
Artículo
Detecting relevant variables and interactions in supervised classification
(Elsevier, 2011-08-16)
The widely used Support Vector Machine (SVM) method has shown to yield good results in Supervised Classification problems. When the interpretability is an important issue, then classification methods such as Classification ...
Artículo
Patrones de variación espacial de las comunidades intermareales de la Isla de Tarifa (Cádiz)
(Cádiz Fundación Migres, 2011)
El ecosistema mediolitoral se encuentra muy deteriorado en la mayor parte de la costa andaluza debido a la facilidad de acceso y la consiguiente presión humana. Sin embargo, la Isla de Tarifa refleja un estado de excelente ...
Artículo
A comparative analysis of the NADPH thioredoxin reductase C-2-Cys peroxiredoxin system from plants and Cyanobacteria
(American Society of Plant Biologists, 2011)
Redox regulation based on disulfide-dithiol conversion catalyzed by thioredoxins is an important component of chloroplast function. The reducing power is provided by ferredoxin reduced by the photosynthetic electron transport ...
Ponencia
Empirical computation of the quasi-optimal number of informants in particle swarm optimization
(ACM Digital Library, 2011)
In the standard particle swarm optimization (PSO), a new particle’s position is generated using two main informant elements: the best position the particle has found so far and the best performer among its neighbors. ...
Artículo
Effect of thermal residual stresses on matrix failure under transverse tension at micromechanical level: A numerical and experimental analysis
(Elsevier, 2011)
In the present work the influence at micromechanical scale of thermal residual stresses, originated in the cooling down associated to the curing process of fibrous composites, on inter-fibre failure under transverse tension ...
Artículo
Representativity of thermal stresses in designing composite joints based on singular stress states at multimaterial corners
(Elsevier, 2011-09)
Using adhesives curing at temperature in bonded joints between dissimilar materials (composites and metals) gives rise to residual stresses due to the difference in the value of the thermal expansion coefficients of the ...
Artículo
Notched-butt test for the determination of adhesion strength at bimaterial interfaces
(Taylor & Francis / Koninklijke Brill NV, 2011)
For the experimental determination of adhesion strength between materials it is desirable to have a uniform stress distribution within the interface of the specimen. The common butt-test with a flat interface between two ...