971 resultados para Logic outer-approximation algorithm


Relevância:

20.00% 20.00%

Publicador:

Resumo:

"Vegeu el resum a l'inici del document del fitxer adjunt."

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a novel spatiotemporal-adaptive Multiscale Finite Volume (MsFV) method, which is based on the natural idea that the global coarse-scale problem has longer characteristic time than the local fine-scale problems. As a consequence, the global problem can be solved with larger time steps than the local problems. In contrast to the pressure-transport splitting usually employed in the standard MsFV approach, we propose to start directly with a local-global splitting that allows to locally retain the original degree of coupling. This is crucial for highly non-linear systems or in the presence of physical instabilities. To obtain an accurate and efficient algorithm, we devise new adaptive criteria for global update that are based on changes of coarse-scale quantities rather than on fine-scale quantities, as it is routinely done before in the adaptive MsFV method. By means of a complexity analysis we show that the adaptive approach gives a noticeable speed-up with respect to the standard MsFV algorithm. In particular, it is efficient in case of large upscaling factors, which is important for multiphysics problems. Based on the observation that local time stepping acts as a smoother, we devise a self-correcting algorithm which incorporates the information from previous times to improve the quality of the multiscale approximation. We present results of multiphase flow simulations both for Darcy-scale and multiphysics (hybrid) problems, in which a local pore-scale description is combined with a global Darcy-like description. The novel spatiotemporal-adaptive multiscale method based on the local-global splitting is not limited to porous media flow problems, but it can be extended to any system described by a set of conservation equations.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In a seminal paper [10], Weitz gave a deterministic fully polynomial approximation scheme for counting exponentially weighted independent sets (which is the same as approximating the partition function of the hard-core model from statistical physics) in graphs of degree at most d, up to the critical activity for the uniqueness of the Gibbs measure on the innite d-regular tree. ore recently Sly [8] (see also [1]) showed that this is optimal in the sense that if here is an FPRAS for the hard-core partition function on graphs of maximum egree d for activities larger than the critical activity on the innite d-regular ree then NP = RP. In this paper we extend Weitz's approach to derive a deterministic fully polynomial approximation scheme for the partition function of general two-state anti-ferromagnetic spin systems on graphs of maximum degree d, up to the corresponding critical point on the d-regular tree. The main ingredient of our result is a proof that for two-state anti-ferromagnetic spin systems on the d-regular tree, weak spatial mixing implies strong spatial mixing. his in turn uses a message-decay argument which extends a similar approach proposed recently for the hard-core model by Restrepo et al [7] to the case of general two-state anti-ferromagnetic spin systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

(Summary of the production) The idea that religion has to succeed in a «market», selling «salvation goods», has proved to be extremely attractive to scholars in sociology and the study of religion. Max Weber used the term «salvation good» to compare different religious traditions. Pierre Bourdieu employed the term in order to analyze «religious economy». And recently, an American group of researchers advocating «rational choice of religion» put the theme at the forefront of current debates. This book - the fruit of an International Congress in Lausanne in April 2005 - brings together leading specialists in the fields of sociology and the study of religion who discuss the terms «salvation goods» (or religious goods) and «religious market». The authors test the applicability of these concepts by using specific examples and they either deliberately advocate or criticize Weberian, Bourdieusian or rational-choice perspectives.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

OBJECTIVE: To weight the rod-, cone-, and melanopsin-mediated activation of the retinal ganglion cells, which drive the pupil light reflex by varying the light stimulus wavelength, intensity, and duration. DESIGN: Experimental study. PARTICIPANTS: Forty-three subjects with normal eyes and 3 patients with neuroretinal visual loss. METHODS: A novel stimulus paradigm was developed using either a long wavelength (red) or short wavelength (blue) light given as a continuous Ganzfeld stimulus with stepwise increases over a 2 log-unit range. The pupillary movement before, during, and after the light stimulus was recorded in real time with an infrared illuminated video camera. MAIN OUTCOME MEASURES: The percent pupil contraction of the transient and sustained pupil response to a low- (1 cd/m(2)), medium- (10 cd/m(2)), and high-intensity (100 cd/m(2)) red- and blue-light stimulus was calculated for 1 eye of each subject. From the 43 normal eyes, median and 25th, 75th, 5th, and 95th percentile values were obtained for each stimulus condition. RESULTS: In normal eyes at lower intensities, blue light evoked much greater pupil responses compared with red light when matched for photopic luminance. The transient pupil contraction was generally greater than the sustained contraction, and this disparity was greatest at the lowest light intensity and least apparent with bright (100 cd/m(2)) blue light. A patient with primarily rod dysfunction (nonrecordable scotopic electroretinogram) showed significantly reduced pupil responses to blue light at lower intensities. A patient with achromatopsia and an almost normal visual field showed selective reduction of the pupil response to red-light stimulation. A patient with ganglion cell dysfunction owing to anterior ischemic optic neuropathy demonstrated global loss of pupil responses to red and blue light in the affected eye. CONCLUSIONS: Pupil responses that differ as a function of light intensity and wavelength support the hypothesis that selected stimulus conditions can produce pupil responses that reflect phototransduction primarily mediated by rods, cones, or melanopsin. Use of chromatic pupil responses may be a novel way to diagnose and monitor diseases affecting either the outer or inner retina.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

AIMS/HYPOTHESIS: Diabetic macular edema represents the main cause of visual loss in diabetic retinopathy. Besides inner blood retinal barrier breakdown, the role of the outer blood retinal barrier breakdown has been poorly analyzed. We characterized the structural and molecular alterations of the outer blood retinal barrier during the time course of diabetes, focusing on PKCζ, a critical protein for tight junction assembly, known to be overactivated by hyperglycemia. METHODS: Studies were conducted on a type2 diabetes Goto-Kakizaki rat model. PKCζ level and subcellular localization were assessed by immunoblotting and immunohistochemistry. Cell death was detected by TUNEL assays. PKCζ level on specific layers was assessed by laser microdissection followed by Western blotting. The functional role of PKCζ was then evaluated in vivo, using intraocular administration of its specific inhibitor. RESULTS: PKCζ was localized in tight junction protein complexes of the retinal pigment epithelium and in photoreceptors inner segments. Strikingly, in outer segment PKCζ staining was restricted to cone photoreceptors. Short-term hyperglycemia induced activation and delocalization of PKCζ from both retinal pigment epithelium junctions and cone outer segment. Outer blood retinal barrier disruption and photoreceptor cone degeneration characterized long-term hyperglycemia. In vivo, reduction of PKCζ overactivation using a specific inhibitor, restored its tight-junction localization and not only improved the outer blood retinal barrier, but also reduced photoreceptor cell-death. CONCLUSIONS: In the retina, hyperglycemia induced overactivation of PKCζ is associated with outer blood retinal barrier breakdown and photoreceptor degeneration. In vivo, short-term inhibition of PKCζ restores the outer barrier structure and reduces photoreceptor cell death, identifying PKCζ as a potential target for early and underestimated diabetes-induced retinal pathology.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

To measure the contribution of individual transactions inside the total risk of a credit portfolio is a major issue in financial institutions. VaR Contributions (VaRC) and Expected Shortfall Contributions (ESC) have become two popular ways of quantifying the risks. However, the usual Monte Carlo (MC) approach is known to be a very time consuming method for computing these risk contributions. In this paper we consider the Wavelet Approximation (WA) method for Value at Risk (VaR) computation presented in [Mas10] in order to calculate the Expected Shortfall (ES) and the risk contributions under the Vasicek one-factor model framework. We decompose the VaR and the ES as a sum of sensitivities representing the marginal impact on the total portfolio risk. Moreover, we present technical improvements in the Wavelet Approximation (WA) that considerably reduce the computational effort in the approximation while, at the same time, the accuracy increases.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

With the advent of High performance computing, it is now possible to achieve orders of magnitude performance and computation e ciency gains over conventional computer architectures. This thesis explores the potential of using high performance computing to accelerate whole genome alignment. A parallel technique is applied to an algorithm for whole genome alignment, this technique is explained and some experiments were carried out to test it. This technique is based in a fair usage of the available resource to execute genome alignment and how this can be used in HPC clusters. This work is a rst approximation to whole genome alignment and it shows the advantages of parallelism and some of the drawbacks that our technique has. This work describes the resource limitations of current WGA applications when dealing with large quantities of sequences. It proposes a parallel heuristic to distribute the load and to assure that alignment quality is mantained.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The weak selection approximation of population genetics has made possible the analysis of social evolution under a considerable variety of biological scenarios. Despite its extensive usage, the accuracy of weak selection in predicting the emergence of altruism under limited dispersal when selection intensity increases remains unclear. Here, we derive the condition for the spread of an altruistic mutant in the infinite island model of dispersal under a Moran reproductive process and arbitrary strength of selection. The simplicity of the model allows us to compare weak and strong selection regimes analytically. Our results demonstrate that the weak selection approximation is robust to moderate increases in selection intensity and therefore provides a good approximation to understand the invasion of altruism in spatially structured population. In particular, we find that the weak selection approximation is excellent even if selection is very strong, when either migration is much stronger than selection or when patches are large. Importantly, we emphasize that the weak selection approximation provides the ideal condition for the invasion of altruism, and increasing selection intensity will impede the emergence of altruism. We discuss that this should also hold for more complicated life cycles and for culturally transmitted altruism. Using the weak selection approximation is therefore unlikely to miss out on any demographic scenario that lead to the evolution of altruism under limited dispersal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.