977 resultados para Cook-Levin SAT SAT-solver
Resumo:
In metazoans, bone morphogenetic proteins (BMPS) direct a myriad of developmental and adult homeostatic evens through their heterotetrameric type I and type II receptor complexes. We examined 3 existing and 12 newly generated mutations in the Drosophila type I receptor gene, saxophone (sax), the ortholog of the human Activin Receptor-Like. Kinasel and -2 (ALK1/ACVR1 and ALK2/ACVR1) genes. Our genetic analyses identified two distinct classes of sax alleles. The first class consists of homozygous viable gain-of-function (GOF) alleles that exhibit (1) synthetic lethality in combination with mutations in BMP pathway components, and (2) significant maternal effect lethality that can be rescued by an increased dosage of the BMP encoding gene, dpp(+). In contrast, the second class consists of alleles that are recessive lethal and do not exhibit lethality in combination with mutations in other BMP pathway components. The alleles in this second class are clearly loss-of-function (LOF) with both complete and partial loss-of-function mutations represented. We find that one allele in the second class of recessive lethals exhibits dominant-negative behavior, albeit distinct from the GOF activity of the first class of viable alleles. On the basis of the fact that the first class of viable alleles can be reverted to lethality and on our ability to independently generate recessive lethal sat mutations, our analysis demonstrates that sax is an essential gene. Consistent with this conclusion, we find that a normal sax transcript is produced by sax(P), a viable allele previously reported to be mill, and that this allele can be reverted to lethality. Interestingly, we determine that two mutations in the first: class of sax alleles show the same amino acid substitutions as mutations in the human receptors ALK1/ACVR1-1 and ACVR1/ALK2, responsible for cases of hereditary hemorrhagic telangiectasia type 2 (HHT2) and fibrodysplasia ossificans progressiva (FOP), respectively. Finally, the data presented here identify different functional requirements for the Sax receptor, support the proposal that Sax participates in a heteromeric receptor complex, and provide a mechanistic framework for future investigations into disease states that arise from defects in BMP/TGF-beta signaling.
Resumo:
The adsorption of 4-aminopyridine (4-AP) on Co and Ag electrodes in acid or alkaline solutions of KCl and KI electrolyte salts were monitored by the Surface-enhanced Raman Spectroscopy (SERS) technique. The SERS intensity for the Ag electrode was in 2 orders of magnitude higher than for the Co electrode, due to the enhancement of the Raman cross-section on Ag by the surface-plasmon excitation. In acidic chloride medium (pH 4), the SERS results for Ag electrodes indicate that the protonated form of 4-AP (4-APH(+)) adsorbs in the potential range of -0.1 to -0.6 V (Ag broken vertical bar AgCl broken vertical bar KCl sat) through hydrogen-bonding between 4-APH(+) and Cl(-) adsorbed on the electrode surface: at more negative potentials the neutral form 4-AP is the predominant adsorbed species. For Co electrode in the same medium, only bands due to neutral 4-AP were observed in the spectra at -0.8 and -0.9 V. For more negative potentials bands assigned to both 4-AP and 4-AP surface complex are observed, with the lasts being enhanced, as the potentials are turned more negative. In alkaline chloride medium (pH 13), for less negative potentials the bands assigned to free 4-AP were observed in the spectra of both Ag and Co surfaces. For more negative potentials, only bands assigned to the 4-AP surface complex were observed. For 0.1 mol L(-1) KI acidic or alkaline solutions, bands assigned to 4-AP and 4-APH(+) were observed in a wider potential range than in chloride solutions. An adsorption scheme of 4-AP on Ag and Co is proposed for acidic and alkaline solutions. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
The 195-bp satellite DNA is the most abundant Trypanosoma cruzi repetitive sequence. Here we show by RNA blotting and RT-PCR that 195 SAT is intensely transcribed. We observed a positive correlation between the level of satellite RNA and the abundance of the satellite copies in the genome of T cruzi strains and that the satellite expression is not developmentally regulated. By analyzing CL Brener individual reads, we estimated that 195 SAT corresponds to approximately 5% of the CL Brener genome. 195 SAT elements were found in only 37 annotated contigs, indicating that a large number of satellite copies were not incorporated into the assembled data. The assembled satellite units are distributed in non-syntenic regions with Trypanosoma brucei and Leishmania major genomes, enriched with surface proteins, retroelements, RHS and hypothetical proteins. Satellite repeats were not observed in annotated subtelomeric regions. We report that 12 satellite sequences are truncated by the retroelement VIPER. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
Student Affairs Adds Deans for Spiritual Life, Sexual Diversity Hugh Gourley, Art Museum Director and Leader TwitterFEED Colby Covers the Campaign Mitchell Scholar Wins Travel Fellowship to Jordan Finance Alumni Give Students a Preview Shea Is New Goldfarb Center Director New Storage Facility To Be Boon to Colby Libraries Author and Icon, Woodward Receives Lovejoy Honor South African Reconciliation Advocate is Oak Fellow Message in a Box Tobacco Banned on Most of Campus New Mellon Fellowship in Environmental Studies Belgrade Lakes EPSCoR Research Has Impact Colby Volunteers Boost SAT Scores for Local Students
Resumo:
The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.
Resumo:
Esta dissertação problematiza a internação psiquiátrica de jovens, tomando-a não a partir de uma perspectiva psicopatológica individual, mas de uma dimensão subjetivo-social contemporânea, representada pelos percursos desses jovens pelas chamadas redes sociais. A presente pesquisa tem como campo empírico o Centro Integrado de Atenção Psicossocial para crianças e adolescentes (CIAPS) do Hospital Psiquiátrico São Pedro (HPSP), na cidade de Porto Alegre/Brasil. Também fazem parte do campo investigativo o Fórum Técnico Macrometropolitano de Saúde Mental (FTMSM), o Serviço de Admissão e Triagem (SAT) do HPSP e o II Seminário Internacional de Justiça Terapêutica. O objetivo do estudo é investigar como se produz a internação psiquiátrica, tendo como foco de visibilidade desta produção o percurso dos jovens pelas chamadas redes sociais. Para tanto, como metodologia, foram realizadas oficinas com os jovens que estavam em atendimento sob regime de internação no CIAPS/HPSP. Contudo, para que a discussão não se restringisse à perspectiva dos jovens, ampliou-se o campo empírico para as instituições referidas com o intuito de problematizar-se as acepções de rede para os serviços em saúde mental envolvidos nos percursos juvenis. Percebeu-se uma recorrência no modo de funcionamento da “rede”, acarretando na produção de um certo perfil dos jovens que internam, como pobreza sócio-econômica e uso de drogas. Outro aspecto importante diz respeito ao papel da ordem judicial nos encaminhamentos à internação, que por vezes obedece tanto a uma lógica de punição aos jovens e dos serviços, como também de estratégia de acesso aos serviços de saúde.
Resumo:
Last week I sat down with a Brazilian acquaintance who was shaking his head over the state of national politics. A graduate of a military high school, he'd been getting e-mails from former classmates, many of them now retired army officers, who were irate over the recent presidential elections. "We need to kick these no-good Petistas out of office," one bristled, using the derogatory shorthand for members of the ruling Workers Party, or PT in Portuguese.
Resumo:
Visita do sociólogo Thomas D. Cook
Resumo:
This paper consists in a study case at the Alesat company, which aims at analyzing how the networks from the former companies Ale and Sat influence the formation of partnerships. The study was based on literature by Burt (1992), Granovetter (1973), Uzzi (1997), Contractor and Lorange (1988), Gulati (1998), Child and Faulkner (1998), and others, to verify how important the social relations were between the companies to the formation of a strategic alliance. The research method we adopted analyzed the first partnership between Ale and Sat and the last one that ended up with the merger of the companies resulting in a new company, Alesat. Semi-structured interviews were conducted in 2008 with the council board of the company. Secondary data were also collected from specific web sites from the area, such as ANP, Sindicom and Fecombustíveis, as well as from important newspapers in the market. The primary data were analyzed through the content analysis technique from Triviños (1987). The secondary data were analyzed through the documental analysis technique from Richardson (1985). This way, through the data collected, it can be concluded that the social ties between the companies were important in the partnership, and among the reasons that made the companies get together, the key one was the fact that the union would make possible to the companies act in regions in which they didn t have too much market share, making them a bigger player nationally wise
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico
Resumo:
Powdery mildew is one of the most serious diseases of soybean and is found in all producing countries. The purpose of this study was to validate microsatellite markers previously identified as associated with resistance to powdery mildew in soybean. The study was conducted in two F, parent populations with contrasting resistance to powdery mildew, In the analysis 10 SSR primers were used for the populations. and tour polymorphic markers were identified for cross I (MGBR95-20937 x IAC-Foscarin 31) and three for cross 2 (MGBR-46 x Empresa Brasileira de Pesquisa Agropecuária (EMBRAPA) 48). The Chi-square analysis of the phenotypic evaluation confirmed the expected segregation (3: 1) of a dominant gene related to resistance. The polymorphic markers also segregated as expected (1:2:1). The markers Sat 366 and Sat 393 in the crosses 1 and 2. respectively, located at 9.41 and 12.45 cM from the gene. were considered promising for marker-assisted selection for resistance to powdery mildew in soybean. at a selection efficiency of 92.7% and 60.3% respectively.
Resumo:
Les premiers concepts de schizophrénie comprenaient des définitions non-spécifiques sur le trouble schizophrénique. Ce n est qu en 1980 que Crow a proposé la classification la plus connue pour ce trouble: la distinction en soustypes I et II, de symptomatologie positive ou négative, les symptômes du syndrome positif correspondant aux hallucinations et aux délires et ceux du syndrome négatif au repli affectif et à la pauvreté du discours. Bien que la thérapie médicamenteuse présente des avancées dans le traitement de la maladie, la psychothérapie est la plus indiquée pour remédier aux préjudices sociaux et interpersonnels que celle-ci provoque. L objectif de cette étude est de relater une intervention comportementale, dans un Centre de Soins Psychosocial, auprès d une patiente de 19 ans, en utilisant des Exercices de Réadaptation Psychosociale (SAT) en tant que la possibilité de traitement de la schizophrénie. Ce processus a contribué à une réduction du stéréotype de la maladie chez la jeune patiente, considérant qu elle a élargi son répertoire social et a rendu possible des avancées dans les sphères psychologique, sociale et professionnelle.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Orbital remote sensing has been used as a beneficial tool in improving the knowledge on oceanographic and hydrodynamic aspects in northern portion of the continental shelf of Rio Grande do Norte, offshore Potiguar Basin. Aspects such as geography, temporal and spatial resolution combined with a consistent methodology and provide a substantial economic advantage compared to traditional methods of in situ data collecting. Images of the Moderate Resolution Imaging Spectroradiometer (MODIS) sensor onboard NASA's AQUA satellite were obtained to support systematic data collections related to the campaign of environmental monitoring and characterization of Potiguar Basin, held in May 2004. Images of Total Suspension Matter (TSM) and values of radiance standard were generated for the calculation of concentrations of total suspension matter (TSM), chlorophyll-a and sea surface temperature (SST). These data sets were used for statistical comparisons between measures in situ and satellite estimates looking validate algorithms or develop a comprehensive regional approach empirically. AQUA-MODIS images allowed the simultaneous comparison of two-dimensional water quality (total suspension matter), phytoplankton biomass (chlorophyll-a) variability and physical (temperature). For images of total suspension matter, the generated models showed a good correlation with the field data, allowing quantitative and qualitative analysis. The images of chlorophyll-a showed a consistent correlation with the in situ values of concentration. The algorithms adjusted for these images obtained a correlation coefficient fairly well with the data field in order that the sensor can be having an effect throughout the water column and not just the surface. This has led to a fit between the data of chlorophyll-the integration of the average sampling interval of the entire water column up to the level of the first optical depth, with the data generated from the images. This method resulted in higher values of chlorophyll concentration to greater depths, due to the fact that we are integrating more values of chlorophyll in the water column. Thus we can represent the biomass available in the water column. Images SST and SST measures in situ showed a mean difference DT (SST insitu - SST sat) around -0.14 ° C, considered low, making the results very good. The integration of total suspension matter, chlorophyll-a, the temperature of the sea surface (SST) and auxiliary data enabled the recognition of some of the main ways to fund the continental shelf. The main features highlighted were submerged canyons of rivers Apodi and Açu, some of the lines and beachrocks reefs, structural highs and the continental shelf break which occurs at depths around -60 m. The results confirmed the high potential for use of the AQUA-MODIS images to environmental monitoring of sea areas due to ease of detection of the field two-dimensional material in suspension on the sea surface, temperature and the concentration of chlorophyll-a