977 resultados para Cook-Levin SAT SAT-solver
Resumo:
Sulfate (SO42-) is an important anion regulating many metabolic and cellular processes. Maintenance Of SO42- homeostasis occurs in the renal proximal tubule via membrane transport proteins. Two SO42- transporters that have been characterized and implicated in regulating serum SO42- levels are: NaSi- 1, a Na+-SO4 (2-) cotransporter located at the brush border membrane and Sat-1, a SO4 (2-) -anion exchanger located on the basolateral membranes of proximal tubular cells. Unlike Sat-1, for which very few studies have looked at regulation of its expression, NaSi- 1 has been shown to be regulated by various hormones and dietary conditions in vivo. To study this further, NaSj- I (SLC13A1) and Sat- I (SLC26A1) gene structures were determined and recent studies have characterized their respective gene promoters. This review presents the current understanding of the transcriptional regulation of NaSj- I and Sat- 1, and describes possible pathogenetic implications which arise as a consequence of altered SO(4)(2-)homeostasis. (c) 2005 Elsevier Ltd. All rights reserved.
Resumo:
Esta pesquisa objetiva conhecer se a prática da Rádio Imaculada Conceição 1490 AM reflete o pensamento de Maximiliano Kolbe, fundador do movimento da Milícia da Imaculada, no qual se filia institucionalmente. Quer descobrir quais os gêneros e formatos usados pela emissora em sua programação jornalística, e se estes conteúdos correspondem ao pensamento comunicacional do fundador da M.I. Para tanto, faz-se a análise da programação do jornal Milícia Sat. Utiliza-se o método comparativo para confrontar a história e a proposta comunicacional do fundador da M.I. com as de dois outros comunicadores católicos: Tiago Alberione (fundador da Família Paulina) e Josemaría Escrivá de Balaguer (fundador do Opus Dei). Este estudo pretende também reconstruir, por meio da história oral, a trajetória da emissora.
Resumo:
The problem of checking whether a system of incompletely specified Boolean functions is implemented by the given combinational circuit is considered. The task is reduced to testing out if two given logical descriptions are equivalent on the domain of one of them having functional indeterminacy. We present a novel SAT-based verification method that is used for testing whether the given circuit satisfies all the conditions represented by the system of incompletely specified Boolean functions.
Resumo:
This study investigated the influence that receiving instruction in two languages, English and Spanish, had on the performance of students enrolled in the International Studies Program (delayed partial immersion model) of Miami Dade County Public Schools on a standardized test in English, the Stanford Achievement Test, eighth edition, for three of its sections, Reading Comprehension, Mathematics Computations, and Mathematics Applications.^ The performance of the selected IS program/Spanish section cohort of students (N = 55) on the SAT Reading Comprehension, Mathematics Computation, and Mathematics Application along four consecutive years was contrasted with that of a control group of comparable students selected within the same feeder pattern where the IS program is implemented (N = 21). The performance of the group was also compared to the cross-sectional achievement patterns of the school's corresponding feeder pattern, region, and district.^ The research model for the study was a variation of the "causal-comparative" or "ex post facto design" sometimes referred to as "prospective". After data were collected from MDCPS, t-tests were performed to compare IS-Spanish students SAT performance for grades 3 to 6 for years 1994 to 1997 to control group, feeder pattern, region and district norms for each year for Reading Comprehension, Mathematics Computation, and Mathematics Applications. Repeated measures ANOVA and Tukey's tests were calculated to compare the mean percentiles of the groups under study and the possible interactions of the different variables. All tests were performed at the 5% significance level.^ From the analyses of the tests it was deduced that the IS group performed significantly better than the control group for all the three measures along the four years. The IS group mean percentiles on the three measures were also significantly higher than those of the feeder pattern, region, and district. The null hypotheses were rejected and it was concluded that receiving instruction in two languages did not negatively affect the performance of IS program students on tests taken in English. It was also concluded that the particular design the IS program enhances the general performance of participant students on Standardized tests.^ The quantitative analyses were coupled with interviews from teachers and administrators of the IS program to gain additional insight about different aspects of the implementation of the program at each particular school. ^
Resumo:
Urinary tract infections (UTIs) are among the most common infectious diseases of humans, with Escherichia coli responsible for >80% of all cases. One extreme of UTI is asymptomatic bacteriuria (ABU), which occurs as an asymptomatic carrier state that resembles commensalism. To understand the evolution and molecular mechanisms that underpin ABU, the genome of the ABU E. coli strain VR50 was sequenced. Analysis of the complete genome indicated that it most resembles E. coli K-12, with the addition of a 94-kb genomic island (GI-VR50-pheV), eight prophages, and multiple plasmids. GI-VR50-pheV has a mosaic structure and contains genes encoding a number of UTI-associated virulence factors, namely, Afa (afimbrial adhesin), two autotransporter proteins (Ag43 and Sat), and aerobactin. We demonstrated that the presence of this island in VR50 confers its ability to colonize the murine bladder, as a VR50 mutant with GI-VR50-pheV deleted was attenuated in a mouse model of UTI in vivo. We established that Afa is the island-encoded factor responsible for this phenotype using two independent deletion (Afa operon and AfaE adhesin) mutants. E. coli VR50afa and VR50afaE displayed significantly decreased ability to adhere to human bladder epithelial cells. In the mouse model of UTI, VR50afa and VR50afaE displayed reduced bladder colonization compared to wild-type VR50, similar to the colonization level of the GI-VR50-pheV mutant. Our study suggests that E. coli VR50 is a commensal-like strain that has acquired fitness factors that facilitate colonization of the human bladder.
Resumo:
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be significantly outperformed by using a portfolio of —possibly on-average slower— algorithms. Within the Constraint Programming (CP) context, a portfolio solver can be seen as a particular constraint solver that exploits the synergy between the constituent solvers of its portfolio for predicting which is (or which are) the best solver(s) to run for solving a new, unseen instance. In this thesis we examine the benefits of portfolio solvers in CP. Despite portfolio approaches have been extensively studied for Boolean Satisfiability (SAT) problems, in the more general CP field these techniques have been only marginally studied and used. We conducted this work through the investigation, the analysis and the construction of several portfolio approaches for solving both satisfaction and optimization problems. We focused in particular on sequential approaches, i.e., single-threaded portfolio solvers always running on the same core. We started from a first empirical evaluation on portfolio approaches for solving Constraint Satisfaction Problems (CSPs), and then we improved on it by introducing new data, solvers, features, algorithms, and tools. Afterwards, we addressed the more general Constraint Optimization Problems (COPs) by implementing and testing a number of models for dealing with COP portfolio solvers. Finally, we have come full circle by developing sunny-cp: a sequential CP portfolio solver that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers.
Resumo:
This paper presents the model named Accepting Networks of Evolutionary Processors as NP-problem solver inspired in the biological DNA operations. A processor has a rules set, splicing rules in this model,an object multiset and a filters set. Rules can be applied in parallel since there exists a large number of copies of objects in the multiset. Processors can form a graph in order to solve a given problem. This paper shows the network configuration in order to solve the SAT problem using linear resources and time. A rule representation arquitecture in distributed environments can be easily implemented using these networks of processors, such as decision support systems, as shown in the paper.
Resumo:
This paper describes a new technique referred to as watched subgraphs which improves the performance of BBMC, a leading state of the art exact maximum clique solver (MCP). It is based on watched literals employed by modern SAT solvers for boolean constraint propagation. In efficient SAT algorithms, a list of clauses is kept for each literal (it is said that the clauses watch the literal) so that only those in the list are checked for constraint propagation when a (watched) literal is assigned during search. BBMC encodes vertex sets as bit strings, a bit block representing a subset of vertices (and the corresponding induced subgraph) the size of the CPU register word. The paper proposes to watch two subgraphs of critical sets during MCP search to efficiently compute a number of basic operations. Reported results validate the approach as the size and density of problem instances rise, while achieving comparable performance in the general case.
Resumo:
In Step was a wearable artwork consisting of a pair of embroidered foot bandages and an actuator ‘cushion’ embedded with 15 electromechanical actuator pistons. The bandage was embedded with woven, soft and flexible fabric sensors - interconnected with metallic connecting threads, fasteners and a wireless interface (in a final form). When wrapped around a foot and lower leg the sensors sat on the ball of the toes and heel. This ‘wearable interface’ was then connected wirelessly to a soft sculptural form, which employed actuators to tap gently in response to the qualities of the walk detected by the soft sensors. In this way the ‘tread qualities’ of the walker could then be felt by someone else holding this device against their stomach – thereby allowing pairs of participants to ‘feel’ the tactile qualities of the other's walk. The work was presented both as a working object and via a short videorecorded performance.----- In Step generated innovative new approaches to interface and sensor embedded clothing/footware whilst also creating an evocative vehicle to comment upon contemporary Post Colonial theories of weight and groundedness – particularly the psycho-geographical ‘separation’ from the landscape that inspired Paul Carter’s “environmentally grounded poetics”. The work’s final form also suggested critical new directions for responsive clothing and footwear for the emerging genre of smart textiles.
Resumo:
The implementation of ‘good governance’ in Indonesia’s regional government sector became a central tenet in governance research following the introduction of the national code for governance in 2006. The code was originally drafted in 1999 as a response to the Asian financial crises and many cases of unearthed corruption, collusion, and nepotism. It was reviewed in 2001 and again in 2006 to incorporate relevant political, economical, and social developments. Even though the national code exists along with many regional government decrees on good governance, the extent of implementation of the tenets of good governance in Indonesia’s regional government is still questioned. Previous research on good governance implementation in Indonesian regional government (Mardiasmo, Barnes and Sakurai, 2008) identified differences in the nature and depth of implementation between various Indonesian regional governments. This paper analyses and extends this recent work and explores key factors that may impede the implementation and sustained application of governance practices across regional settings. The bureaucratic culture of Indonesian regional government is one that has been shaped for over approximately 30 years, in particular during that of the Soeharto regime. Previous research on this regime suggests a bureaucratic culture with a mix of positive and negative aspects. On one hand Soeharto’s regime resulted in strong development growth and strong economic fundamentals, resulting in Indonesia being recognised as one of the Asian economic tigers prior to the 1997 Asian financial crises. The financial crises however revealed a bureaucratic culture that was rife with corruption, collusion, and nepotism. Although subsequent Indonesian governments have been committed to eradicating entrenched practices it seems apparent that the culture is ingrained within the bureaucracy and eradication of it will take time. Informants from regional government agree with this observation, as they identify good governance as an innovative mechanism and to implement it will mean a deviation from the “old ways.” Thus there is a need for a “changed” mind set in order to implement sustained governance practices. Such an exercise has proven to be challenging so far, as there is “hidden” resistance from within the bureaucracy to change its ways. The inertia of such bureaucratic cultures forms a tension against the opportunity for the implementation of good governance. From this context an emergent finding is the existence of a ‘bureaucratic generation gap’ as an impeding variable to enhanced and more efficient implementation of governance systems. It was found that after the Asian financial crises the Indonesian government (both at national and regional level) drew upon a wider human resources pool to fill government positions – including entrants from academia, the private sector, international institutions, foreign nationals and new graduates. It suggested that this change in human capital within government is at the core of this ‘inter-generational divide.’ This divergence is exemplified, at one extreme, by [older] bureaucrats who have been in-position for long periods of time serving during the extended Soeharto regime. The “new” bureaucrats have only sat in their positions since the end of Asian financial crisis and did not serve during Soeharto’s regime. It is argued that the existence of this generation gap and associated aspects of organisational culture have significantly impeded modernising governance practices across regional Indonesia. This paper examines the experiences of government employees in five Indonesian regions: Solok, Padang, Gorontalo, Bali, and Jakarta. Each regional government is examined using a mixed methodology comprising of on-site observation, document analysis, and iterative semi-structured interviewing. Drawing from the experiences of five regional governments in implementing good governance this paper seeks to better understand the causal contexts of variable implementation governance practices and to suggest enhancements to the development of policies for sustainable inter-generational change in governance practice across regional government settings.
Resumo:
That Kenneth Frampton has had a significant impact on architectural thinking in Australia was recently demonstrated by his visit, which included two well-attended public lectures and a one-day symposium dedicated to his thinking and writing. Billed as part of the Year of the Built Environment celebrations, these were hosted by the New South Wales chapter of the RAIA, the UNSW Faculty of the Built Environment and the Museum of Contemporary Art. Richard Francis-Jones of FJMT coordinated the symposium, which comprised presentations divided into two sessions, entitled - predictably through no doubt with good intentions - 'Theory' and 'Practice', with four academics and four practitioners in each. Frampton sat to the side throughout, and delivered his own response between them,noting his discomfort in seemingly straddling this divide, as an architect first, then writer and academic, later. Predictably, the familiar Critical Regionalism argument was the mainstay of the day, perhaps the easiest to handle and now almost automatic, despite the fact that Frampton noted when questioned that he hasn't talked much about it in the last 10 years.
Resumo:
Book Synopsis: From Terra Nullius to Land of Opportunities and Last Frontier, the European dream has constructed and deconstructed Australia to feed its imagination of new societies. At the same time Australia has over the last two centuries forged and re-invented its own liaisons with Europe arguably to carve out its identity. From the arts to social sciences, to society itself, a complex dynamic has grown between the two continents in ways that invite study and discussion. A transnational research group has begun its collective investigation project of which this first volume is the outcome. The book is a substantial multidisciplinary collection of current research and offers critical perspectives on culture, literature and history around themes at the heart of the Imagined Australia project. The essays instigate reflection, discovery and discussion of how reciprocal imagining between Australia and Europe has articulated itself and ways and dimensions in which a relationship between communities, imagined and not, has unfolded.