1,034 research outputs found
Automated Analysis of Stateful Feature Models
In CAiSE 2005, we interpreted the extraction of relevant information
from extended feature models as an automated reasoning problem based on
constraint programming. Such extraction is driven by a catalogue of basic and
compound operations. Much has been done since, renaming the problem as the
automated analysis of feature models, a widely accepted problem in the Software
Product Line (SPL) community. In this chapter, we review this seminal contribution
and its impact in the community, highlighting the key milestones up to a more
complete problem formulation that we coin as the Automated Analysis of Stateful
Feature Models (AASFM). Finally, we envision some breakthroughs and challenges
in the AASFM.Ministerio de Ciencia e Innovación TIN2009- 07366Junta de Andalucía TIC-590
Recommended from our members
Included, but Deportable: A New Public Health Approach to Policies That Criminalize and Integrate Immigrants.
There has been a burst of research on immigrant health in the United States and an increasing attention to the broad range of state and local policies that are social determinants of immigrant health. Many of these policies criminalize immigrants by regulating the "legality" of their day-to-day lives while others function to integrate immigrants through expanded rights and eligibility for health care, social services, and other resources.Research on the health impact of policies has primarily focused on the extremes of either criminalization or integration. Most immigrants in the United States, however, live in states that possess a combination of both criminalizing and integrating policies, resulting in distinct contexts that may influence their well-being.We present data describing the variations in criminalization and integration policies across states and provide a framework that identifies distinct but concurrent mechanisms of deportability and inclusion that can influence health. Future public health research and practice should address the ongoing dynamics created by both criminalization and integration policies as these likely exacerbate health inequities by citizenship status, race/ethnicity, and other social hierarchies
Multiple Sources toward the High-mass Young Star S140 IRS1
S140 IRS1 is a remarkable source where the radio source at the center of the
main bipolar molecular outflow in the region is elongated perpendicular to the
axis of the outflow, an orientation opposite to that expected if the radio
source is a thermal jet exciting the outflow. We present results of 1.3 cm
continuum and H2O maser emission observations made with the VLA in its A
configuration toward this region. In addition, we also present results of
continuum observations at 7 mm and re-analyse observations at 2, 3.5 and 6 cm
(previously published). IRS 1A is detected at all wavelengths, showing an
elongated structure. Three water maser spots are detected along the major axis
of the radio source IRS 1A. We have also detected a new continuum source at 3.5
cm (IRS 1C) located ~0.6'' northeast of IRS 1A. The presence of these two YSOs
(IRS 1A and 1C) could explain the existence of the two bipolar molecular
outflows observed in the region. In addition, we have also detected three
continuum clumps (IRS 1B, 1D and 1E) located along the major axis of IRS 1A. We
discuss two possible models to explain the nature of IRS 1A: a thermal jet and
an equatorial wind.Comment: 17 pages, 4 figures, to be published in A
National Pride of the Filipino Youth
The main purpose of this study was to know how proud the youth are of being a Filipino. Socio-demographic characteristics also play a role in determining the national pride of Filipino youth. The level of pride similarly varied among domain-specific aspects. We used a structured survey questionnaire adopted and modified from the International Social Survey Programme from their National Identity study. For this study, a four-stage sampling was observed to get the sample. Sports was the top source of the Filipino youth's national pride, among the 12 domain-specific aspects. However, Politics and Democracy got the lowest level of national pride. Differences among sexes significantly varied in the aspect of Sports, Economy and Social Security, and Environment. Pride in Arts and Literature, Sports, Armed Forces, and History differ among religions. The difference in Educational Attainment affects the level of national pride of the youth in the aspect of Fair and Equal Treatment in All Groups. Moreover, the socio-demographic characteristics play a role in determining the national pride of the Filipino youth. The study used quantitative research approach, specifically descriptive. A self-administered survey was distributed to 400 randomly selected youth respondents of 15-29 years old in the National Capital Region, Philippines
Thioredoxin Profiling of Multiple Thioredoxin-Like Proteins in Staphylococcus aureus
Hydrogen sulfide (H2S) is thought to signal through protein S-sulfuration (persulfidation; S-sulfhydration) in both mammalian systems and bacteria. We previously profiled proteome S-sulfuration in Staphylococcus aureus (S. aureus) and identified two thioredoxin-like proteins, designated TrxP and TrxQ, that were capable of reducing protein persulfides as a potential regulatory mechanism. In this study, we further characterize TrxP, TrxQ and the canonical thioredoxin, TrxA, by identifying candidate protein substrates in S. aureus cells using a mechanism-based profiling assay where we trap mixed disulfides that exist between the attacking cysteine of a FLAG-tagged Trx and a persulfidated cysteine on the candidate substrate protein in cells. Largely non-overlapping sets of four, 32 and three candidate cellular substrates were detected for TrxA, TrxP, and TrxQ, respectively, many of which were previously identified as global proteome S-sulfuration targets including for example, pyruvate kinase, PykA. Both TrxA (kcat = 0.13 s-1) and TrxP (kcat = 0.088 s-1) are capable of reducing protein persulfides on PykA, a model substrate detected as a candidate substrate of TrxP; in contrast, TrxQ shows lower activity (kcat = 0.015 s-1). This work reveals that protein S-sulfuration, central to H2S and reactive sulfur species (RSS) signaling, may impact cellular activities and appears to be regulated in S. aureus largely by TrxP under conditions of sulfide stress
La evolución climática a largo plazo y evaluación de la seguridad
El concepto de almacenamiento geológico profundo para residuos radiactivos de alta actividad basa una parte importante de su seguridad a largo plazo en el comportamiento del medio geológico. De aquí que los estudios de seguridad post-clausura de tales almacenamientos deban contemplar la necesidad de cuantificar los procesos susceptibles de intervenir en la liberación y el transporte de los radionucleidos desde el propio almacenamiento hasta la biosfera, y las modificaciones importantes que esta última pueda sufrir debido tanto a factores naturales como antropogénicos, durante los periodos de tiempo del orden de cientos de miles de años en que se cifra la duración de la liberación de radionucleido
Widespread Protein Aggregation as an Inherent Part of Aging in C. elegans
Several hundred proteins become insoluble and aggregation-prone as a consequence of aging in Caenorhabditis elegans. The data indicate that these proteins influence disease-related protein aggregation and toxicity
- …