985 resultados para Formal Methods


Relevância:

20.00% 20.00%

Publicador:

Resumo:

As motivações que levaram à realização deste intitulado Da Cidade da Ribeira Grande à Cidade Velha em Cabo Verde Análise Histórico-Formal do Espaço Urbano (Sec. XV - Sec. XVIII), está relacionado com algumas características específicas do núcleo em causa. O próprio título do trabalho revela, de certo modo, a transformação sofrida pelos espaços da antiguidade da Ribeira Grande em Cabo Verde, que depois de ter sido a capital do arquipélago foi abandonada e passou a designar-se “Cidade Velha”. Apesar disso, a Ribeira Grande é uma cidade referenciada no universo urbanístico português, embora a dimensão do seu significado supere a própria dimensão física do núcleo. Foi a primeira cidade a ser construída pelos portugueses nos trópicos, ou talvez a única da época se, por conveniência nossa, não incluirmos no nosso conceito as praças fortificadas do norte de África ou a “cidade fortificação” de S. Jorge da Mina. É importante também pelas características específicas da sua localização e do seu espaço urbano. Ao contrário das suas congéneres no continente africano, foi uma cidade aberta, fundada com intuito de fixação e colonização do território. Com efeito, talvez tenha sido uma comunidade efémera. Mas, no seu curto espaço de vida, soube representar o papel que lhe coube.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Flow cytometry (FCM) is emerging as an important tool in environmental microbiology. Although flow cytometry applications have to date largely been restricted to certain specialized fields of microbiology, such as the bacterial cell cycle and marine phytoplankton communities, technical advances in instrumentation and methodology are leading to its increased popularity and extending its range of applications. Here we will focus on a number of recent flow cytometry developments important for addressing questions in environmental microbiology. These include (i) the study of microbial physiology under environmentally relevant conditions, (ii) new methods to identify active microbial populations and to isolate previously uncultured microorganisms, and (iii) the development of high-throughput autofluorescence bioreporter assays

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Elucidating the molecular and neural basis of complex social behaviors such as communal living, division of labor and warfare requires model organisms that exhibit these multi-faceted behavioral phenotypes. Social insects, such as ants, bees, wasps and termites, are attractive models to address this problem, with rich ecological and ethological foundations. However, their atypical systems of reproduction have hindered application of classical genetic approaches. In this review, we discuss how recent advances in social insect genomics, transcriptomics, and functional manipulations have enhanced our ability to observe and perturb gene expression, physiology and behavior in these species. Such developments begin to provide an integrated view of the molecular and cellular underpinnings of complex social behavior.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

I study the impact of a universal child benefit on fertility and family well-being. I exploitthe unanticipated introduction of a new, sizeable, unconditional child benefit in Spain in2007, granted to all mothers giving birth on or after July 1, 2007. The regressiondiscontinuity-type design allows for a credible identification of the causal effects. I find thatthe benefit did lead to a significant increase in fertility, as intended, part of it coming froman immediate reduction in abortions. On the unintended side, I find that families whoreceived the benefit did not increase their overall expenditure or their consumption ofdirectly child-related goods and services. Instead, eligible mothers stayed out of the laborforce significantly longer after giving birth, which in turn led to their children spending lesstime in formal child care and more time with their mother during their first year of life. Ialso find that couples who received the benefit were less likely to break up the year afterhaving the child, although this effect was only short-term. Taken together, the resultssuggest that child benefits of this kind may successfully increase fertility, as well asaffecting family well-being through their impact on maternal time at home and familystability.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recently, kernel-based Machine Learning methods have gained great popularity in many data analysis and data mining fields: pattern recognition, biocomputing, speech and vision, engineering, remote sensing etc. The paper describes the use of kernel methods to approach the processing of large datasets from environmental monitoring networks. Several typical problems of the environmental sciences and their solutions provided by kernel-based methods are considered: classification of categorical data (soil type classification), mapping of environmental and pollution continuous information (pollution of soil by radionuclides), mapping with auxiliary information (climatic data from Aral Sea region). The promising developments, such as automatic emergency hot spot detection and monitoring network optimization are discussed as well.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents 3-D brain tissue classificationschemes using three recent promising energy minimizationmethods for Markov random fields: graph cuts, loopybelief propagation and tree-reweighted message passing.The classification is performed using the well knownfinite Gaussian mixture Markov Random Field model.Results from the above methods are compared with widelyused iterative conditional modes algorithm. Theevaluation is performed on a dataset containing simulatedT1-weighted MR brain volumes with varying noise andintensity non-uniformities. The comparisons are performedin terms of energies as well as based on ground truthsegmentations, using various quantitative metrics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Standard surgical aortic valve replacement with a biological prosthesis remains the treatment of choice for low- and mid-risk elderly patients (traditionally >65 years of age) suffering from severe symptomatic aortic valve stenosis or insufficiency, and for young patients with formal contraindications to long-lasting anticoagulation. Unfortunately, despite the fact that several technical improvements have noticeably improved the resistance of pericardial and bovine bioprostheses to leaflet calcifications and ruptures, the risk of early valve failure with rapid degeneration still exists, especially for patients under haemodialysis and for patients <60 years of age at the time of surgery. Until now, redo open heart surgery under cardiopulmonary bypass and on cardioplegic arrest was the only available therapeutic option in case of bioprosthesis degeneration, but it carried a higher surgical risk when elderly patients with severe concomitant comorbidities were concerned. Since a few years, the advent of new transcatheter aortic valve procedures has opened new horizons in cardiac surgery and, in particular, the possibility of implanting stented valves within the degenerated stented bioprosthesis, the so-called 'valve-in-valve' (VinV) concept, has become a clinical practice in experienced cardiac centres. The VinV procedure represents a minimally invasive approach dedicated to high-risk redo patients, and published preliminary reports have shown a success rate of 100% with absence of significant valvular leaks, acceptable transvalvular gradients and low complication rate. However, this procedure is not riskless and the most important concerns are about the size mismatch and the right positioning within the degenerated bioprosthesis. In this article, we review the limited available literature about VinV procedures, underline important technical details for the positioning and provide guidelines to prevent valve-prosthesis mismatch comparing the three sizes of the only commercially available transapical device, the Edwards Sapien, with the inner diameter of three of the most commonly used stented bioprostheses.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper contrasts empirically the results of alternative methods for estimating thevalue and the depreciation of mineral resources. The historical data of Mexico andVenezuela, covering the period 1920s-1980s, is used to contrast the results of severalmethods. These are the present value, the net price method, the user cost method andthe imputed income method. The paper establishes that the net price and the user costare not competing methods as such, but alternative adjustments to different scenariosof closed and open economies. The results prove that the biases of the methods, ascommonly described in the theoretical literature, only hold under the most restrictedscenario of constant rents over time. It is argued that the difference between what isexpected to happen and what actually did happen is for the most part due to a missingvariable, namely technological change. This is an important caveat to therecommendations made based on these models.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Consider the problem of testing k hypotheses simultaneously. In this paper,we discuss finite and large sample theory of stepdown methods that providecontrol of the familywise error rate (FWE). In order to improve upon theBonferroni method or Holm's (1979) stepdown method, Westfall and Young(1993) make eective use of resampling to construct stepdown methods thatimplicitly estimate the dependence structure of the test statistics. However,their methods depend on an assumption called subset pivotality. The goalof this paper is to construct general stepdown methods that do not requiresuch an assumption. In order to accomplish this, we take a close look atwhat makes stepdown procedures work, and a key component is a monotonicityrequirement of critical values. By imposing such monotonicity on estimatedcritical values (which is not an assumption on the model but an assumptionon the method), it is demonstrated that the problem of constructing a validmultiple test procedure which controls the FWE can be reduced to the problemof contructing a single test which controls the usual probability of a Type 1error. This reduction allows us to draw upon an enormous resamplingliterature as a general means of test contruction.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bacteria are generally difficult specimens to prepare for conventional resin section electron microscopy and mycobacteria, with their thick and complex cell envelope layers being especially prone to artefacts. Here we made a systematic comparison of different methods for preparing Mycobacterium smegmatis for thin section electron microscopy analysis. These methods were: (1) conventional preparation by fixatives and epoxy resins at ambient temperature. (2) Tokuyasu cryo-section of chemically fixed bacteria. (3) rapid freezing followed by freeze substitution and embedding in epoxy resin at room temperature or (4) combined with Lowicryl HM20 embedding and ultraviolet (UV) polymerization at low temperature and (5) CEMOVIS, or cryo electron microscopy of vitreous sections. The best preservation of bacteria was obtained with the cryo electron microscopy of vitreous sections method, as expected, especially with respect to the preservation of the cell envelope and lipid bodies. By comparison with cryo electron microscopy of vitreous sections both the conventional and Tokuyasu methods produced different, undesirable artefacts. The two different types of freeze-substitution protocols showed variable preservation of the cell envelope but gave acceptable preservation of the cytoplasm, but not lipid bodies, and bacterial DNA. In conclusion although cryo electron microscopy of vitreous sections must be considered the 'gold standard' among sectioning methods for electron microscopy, because it avoids solvents and stains, the use of optimally prepared freeze substitution also offers some advantages for ultrastructural analysis of bacteria.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The question of where retroviral DNA becomes integrated in chromosomes is important for understanding (i) the mechanisms of viral growth, (ii) devising new anti-retroviral therapy, (iii) understanding how genomes evolve, and (iv) developing safer methods for gene therapy. With the completion of genome sequences for many organisms, it has become possible to study integration targeting by cloning and sequencing large numbers of host-virus DNA junctions, then mapping the host DNA segments back onto the genomic sequence. This allows statistical analysis of the distribution of integration sites relative to the myriad types of genomic features that are also being mapped onto the sequence scaffold. Here we present methods for recovering and analyzing integration site sequences.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

AbstractText BACKGROUND: Profiling sperm DNA present on vaginal swabs taken from rape victims often contributes to identifying and incarcerating rapists. Large amounts of the victim's epithelial cells contaminate the sperm present on swabs, however, and complicate this process. The standard method for obtaining relatively pure sperm DNA from a vaginal swab is to digest the epithelial cells with Proteinase K in order to solubilize the victim's DNA, and to then physically separate the soluble DNA from the intact sperm by pelleting the sperm, removing the victim's fraction, and repeatedly washing the sperm pellet. An alternative approach that does not require washing steps is to digest with Proteinase K, pellet the sperm, remove the victim's fraction, and then digest the residual victim's DNA with a nuclease. METHODS: The nuclease approach has been commercialized in a product, the Erase Sperm Isolation Kit (PTC Labs, Columbia, MO, USA), and five crime laboratories have tested it on semen-spiked female buccal swabs in a direct comparison with their standard methods. Comparisons have also been performed on timed post-coital vaginal swabs and evidence collected from sexual assault cases. RESULTS: For the semen-spiked buccal swabs, Erase outperformed the standard methods in all five laboratories and in most cases was able to provide a clean male profile from buccal swabs spiked with only 1,500 sperm. The vaginal swabs taken after consensual sex and the evidence collected from rape victims showed a similar pattern of Erase providing superior profiles. CONCLUSIONS: In all samples tested, STR profiles of the male DNA fractions obtained with Erase were as good as or better than those obtained using the standard methods.