Stochastic generation of homogeneous isotropic turbulence with well-defined-spectra

A precise and simple computational model to generate well-behaved two-dimensional turbulent flows is presented. The whole approach rests on the use of stochastic differential equations and is general enough to reproduce a variety of energy spectra and spatiotemporal correlation functions. Analytical expressions for both the continuous and the discrete versions, together with simulation algorithms, are derived. Results for two relevant spectra, covering distinct ranges of wave numbers, are given.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Symmetric periodic orbits near heteroclinic loops at infinity for a class of polynomial vector fields

For polynomial vector fields in R3, in general, it is very difficult to detect the existence of an open set of periodic orbits in their phase portraits. Here, we characterize a class of polynomial vector fields of arbitrary even degree having an open set of periodic orbits. The main two tools for proving this result are, first, the existence in the phase portrait of a symmetry with respect to a plane and, second, the existence of two symmetric heteroclinic loops.

HouSI: Heuristic for delimitation of housing submarkets and price homogeneous areas

This paper seeks to address the problem of the empirical identification of housing market segmentation,once we assume that submarkets exist. The typical difficulty in identifying housing submarkets when dealing with many locations is the vast number of potential solutions and, in such cases, the use of the Chow test for hedonic functions is not a practical solution. Here, we solve this problem by undertaking an identification process with a heuristic for spatially constrained clustering, the"Housing Submarket Identifier" (HouSI). The solution is applied to the housing market in the city of Barcelona (Spain), where we estimate a hedonic model for fifty thousand dwellings aggregated into ten groups. In order to determine the utility of the procedure we seek to verify whether the final solution provided by the heuristic is comparable with the division of the city into ten administrative districts.

Multicointegration, polynomial cointegration and I(2) cointegration with structural breaks. An application to the sustainability of the US external deficit

In this paper we model the multicointegration relation, allowing for one structural break. Since multicointegration is a particular case of polynomial or I(2) cointegration, our proposal can also be applied in these cases. The paper proposes the use of a residualbased Dickey-Fuller class of statistic that accounts for one known or unknown structural break. Finite sample performance of the proposed statistic is investigated by using Monte Carlo simulations, which reveals that the statistic shows good properties in terms of empirical size and power. We complete the study with an empirical application of the sustainability of the US external deficit. Contrary to existing evidence, the consideration of one structural break leads to conclude in favour of the sustainability of the US external deficit.

Homogeneous Assays for Simplified Screening of HLA-conferred Genetic Disease Risk

The increasing incidence of type 1 diabetes has led researchers on a quest to find the reason behind this phenomenon. The rate of increase is too great to be caused simply by changes in the genetic component, and many environmental factors are under investigation for their possible contribution. These studies require, however, the participation of those individuals most likely to develop the disease, and the approach chosen by many is to screen vast populations to find persons with increased genetic risk factors. The participating individuals are then followed for signs of disease development, and their exposure to suspected environmental factors is studied. The main purpose of this study was to find a suitable tool for easy and inexpensive screening of certain genetic risk markers for type 1 diabetes. The method should be applicable to using whole blood dried on sample collection cards as sample material, since the shipping and storage of samples in this format is preferred. However, the screening of vast sample libraries of extracted genomic DNA should also be possible, if such a need should arise, for example, when studying the effect of newly discovered genetic risk markers. The method developed in this study is based on homogeneous assay chemistry and an asymmetrical polymerase chain reaction (PCR). The generated singlestranded PCR product is probed by lanthanide-labelled, LNA (locked nucleic acid)-spiked, short oligonucleotides with exact complementary sequences. In the case of a perfect match, the probe is hybridised to the product. However, if even a single nucleotide difference occurs, the probe is bound instead of the PCR product to a complementary quencher-oligonucleotide labelled with a dabcyl-moiety, causing the signal of the lanthanide label to be quenched. The method was applied to the screening of the well-known type 1 diabetes risk alleles of the HLA-DQB1 gene. The method was shown to be suitable as an initial screening step including thousands of samples in the scheme used in the TEDDY (The Environmental Determinants of Diabetes in the Young) study to identify those individuals at increased genetic risk. The method was further developed into dry-reagent form to allow an even simpler approach to screening. The reagents needed in the assay were in dry format in the reaction vessel, and performing the assay required only the addition of the sample and, if necessary, water to rehydrate the reagents. This allows the assay to be successfully executed even by a person with minimal laboratory experience.

A NEW HOMOGENEOUS ELECTROCATALYST FOR ELECTROCHEMICAL CARBONYLATION OF METHANOL TO DIMETHYL CARBONATE

Electrosynthesis of dimethyl carbonate (DMC) from methanol and carbon monoxide using an Cu(phen)Cl2 catalyst was achieved at room temperature and atmospheric pressure. The catalytic activity of the ligand 1,10-phenanthroline (phen) and the catalytic system were analyzed. The IR characterization results for the complex catalyst showed that copper ions were coordinated by nitrogen atoms of phen. In addition, the effects of the influencing factors, such as reaction time (t), reaction temperature (T) and the surface area of the working electrode (SWE) were studied.

RAPID AND SENSITIVE DETERMINATION OF PALLADIUM USING HOMOGENEOUS LIQUID-LIQUID MICROEXTRACTION VIA FLOTATION ASSISTANCE FOLLOWED BY GRAPHITE FURNACE ATOMIC ABSORPTION SPECTROMETRY

A method for the determination of trace amounts of palladium was developed using homogeneous liquid-liquid microextraction via flotation assistance (HLLME-FA) followed by graphite furnace atomic absorption spectrometry (GFAAS). Ammonium pyrrolidine dithiocarbamate (APDC) was used as a complexing agent. This was applied to determine palladium in three types of water samples. In this study, a special extraction cell was designed to facilitate collection of the low-density solvent extraction. No centrifugation was required in this procedure. The water sample solution was added to the extraction cell which contained an appropriate mixture of extraction and homogeneous solvents. By using air flotation, the organic solvent was collected at the conical part of the designed cell. Parameters affecting extraction efficiency were investigated and optimized. Under the optimum conditions, the calibration graph was linear in the range of 1.0-200 µg L-1 with a limit of detection of 0.3 µg L-1. The performance of the method was evaluated for the extraction and determination of palladium in water samples and satisfactory results were obtained. In order to verify the accuracy of the approach, the standard addition method was applied for the determination of palladium in spiked synthetic samples and satisfactory results were obtained.

Upconverting Phosphor Technology: Exceptional Photoluminescent Properties Light Up Homogeneous Bioanalytical Assays

The aim of the present study was to demonstrate the wide applicability of the novel photoluminescent labels called upconverting phosphors (UCPs) in proximity-based bioanalytical assays. The exceptional features of the lanthanide-doped inorganic UCP compounds stem from their capability for photon upconversion resulting in anti-Stokes photoluminescence at visible wavelengths under near-infrared (NIR) excitation. Major limitations related to conventional photoluminescent labels are avoided, rendering the UCPs a competitive next-generation label technology. First, the background luminescence is minimized due to total elimination of autofluorescence. Consequently, improvements in detectability are expected. Second, at the long wavelengths (>600 nm) used for exciting and detecting the UCPs, the transmittance of sample matrixes is significantly greater in comparison with shorter wavelengths. Colored samples are no longer an obstacle to the luminescence measurement, and more flexibility is allowed even in homogeneous assay concepts, where the sample matrix remains present during the entire analysis procedure, including label detection. To transform a UCP particle into a biocompatible label suitable for bioanalytical assays, it must be colloidal in an aqueous environment and covered with biomolecules capable of recognizing the analyte molecule. At the beginning of this study, only UCP bulk material was available, and it was necessary to process the material to submicrometer-sized particles prior to use. Later, the ground UCPs, with irregular shape, wide size-distribution and heterogeneous luminescence properties, were substituted by a smaller-sized spherical UCP material. The surface functionalization of the UCPs was realized by producing a thin hydrophilic coating. Polymer adsorption on the UCP surface is a simple way to introduce functional groups for bioconjugation purposes, but possible stability issues encouraged us to optimize an optional silica-encapsulation method which produces a coating that is not detached in storage or assay conditions. An extremely thin monolayer around the UCPs was pursued due to their intended use as short-distance energy donors, and much attention was paid to controlling the thickness of the coating. The performance of the UCP technology was evaluated in three different homogeneous resonance energy transfer-based bioanalytical assays: a competitive ligand binding assay, a hybridization assay for nucleic acid detection and an enzyme activity assay. To complete the list, a competitive immunoassay has been published previously. Our systematic investigation showed that a nonradiative energy transfer mechanism is indeed involved, when a UCP and an acceptor fluorophore are brought into close proximity in aqueous suspension. This process is the basis for the above-mentioned homogeneous assays, in which the distance between the fluorescent species depends on a specific biomolecular binding event. According to the studies, the submicrometer-sized UCP labels allow versatile proximity-based bioanalysis with low detection limits (a low-nanomolar concentration for biotin, 0.01 U for benzonase enzyme, 0.35 nM for target DNA sequence).

Data mining techniques for identification of spectrally homogeneous areas using NDVI temporal profiles of soybean crop

The aim of this study was to group temporal profiles of 10-day composites NDVI product by similarity, which was obtained by the SPOT Vegetation sensor, for municipalities with high soybean production in the state of Paraná, Brazil, in the 2005/2006 cropping season. Data mining is a valuable tool that allows extracting knowledge from a database, identifying valid, new, potentially useful and understandable patterns. Therefore, it was used the methods for clusters generation by means of the algorithms K-Means, MAXVER and DBSCAN, implemented in the WEKA software package. Clusters were created based on the average temporal profiles of NDVI of the 277 municipalities with high soybean production in the state and the best results were found with the K-Means algorithm, grouping the municipalities into six clusters, considering the period from the beginning of October until the end of March, which is equivalent to the crop vegetative cycle. Half of the generated clusters presented spectro-temporal pattern, a characteristic of soybeans and were mostly under the soybean belt in the state of Paraná, which shows good results that were obtained with the proposed methodology as for identification of homogeneous areas. These results will be useful for the creation of regional soybean "masks" to estimate the planted area for this crop.

Algorithm to determine the intersection curves between bezier surfaces by the solution of multivariable polynomial system and the differential marching method

The determination of the intersection curve between Bézier Surfaces may be seen as the composition of two separated problems: determining initial points and tracing the intersection curve from these points. The Bézier Surface is represented by a parametric function (polynomial with two variables) that maps a point in the tridimensional space from the bidimensional parametric space. In this article, it is proposed an algorithm to determine the initial points of the intersection curve of Bézier Surfaces, based on the solution of polynomial systems with the Projected Polyhedral Method, followed by a method for tracing the intersection curves (Marching Method with differential equations). In order to allow the use of the Projected Polyhedral Method, the equations of the system must be represented in terms of the Bernstein basis, and towards this goal it is proposed a robust and reliable algorithm to exactly transform a multivariable polynomial in terms of power basis to a polynomial written in terms of Bernstein basis .

Homogeneous assay technologies in drug screening: Quenching Resonance Energy Transfer (QRET) technique

Information gained from the human genome project and improvements in compound synthesizing have increased the number of both therapeutic targets and potential lead compounds. This has evolved a need for better screening techniques to have a capacity to screen number of compound libraries against increasing amount of targets. Radioactivity based assays have been traditionally used in drug screening but the fluorescence based assays have become more popular in high throughput screening (HTS) as they avoid safety and waste problems confronted with radioactivity. In comparison to conventional fluorescence more sensitive detection is obtained with time-resolved luminescence which has increased the popularity of time-resolved fluorescence resonance energy transfer (TR-FRET) based assays. To simplify the current TR-FRET based assay concept the luminometric homogeneous single-label utilizing assay technique, Quenching Resonance Energy Transfer (QRET), was developed. The technique utilizes soluble quencher to quench non-specifically the signal of unbound fraction of lanthanide labeled ligand. One labeling procedure and fewer manipulation steps in the assay concept are saving resources. The QRET technique is suitable for both biochemical and cell-based assays as indicated in four studies:1) ligand screening study of β2 -adrenergic receptor (cell-based), 2) activation study of Gs-/Gi-protein coupled receptors by measuring intracellular concentration of cyclic adenosine monophosphate (cell-based), 3) activation study of G-protein coupled receptors by observing the binding of guanosine-5’-triphosphate (cell membranes), and 4) activation study of small GTP binding protein Ras (biochemical). Signal-to-background ratios were between 2.4 to 10 and coefficient of variation varied from 0.5 to 17% indicating their suitability to HTS use.

Plant species and habitat structure in a sand dune field in the brazilian Caatinga: a homogeneous habitat harbouring an endemic biota

One dune habitat in the semi-arid Caatinga Biome, rich in endemisms, is described based on plant species composition, woody plant density, mean height and phenology and a multivariate analysis of the micro-habitats generated by variables associated to plants and topography. The local flora is composed mainly by typically sand-dweller species of Caatinga, suggesting the existence of a phytogeographic unity related to the sandy areas in the Caatinga biome, which seems to be corroborated by faunal distribution. Moreover, some species are probably endemic from the dunes, a pattern also found in vertebrates. The plant distribution is patchy, there is no conspicuous herbaceous layer and almost 50% of the ground represents exposed sand. Phenology is not synchronized among species, occurring leaves budding and shedding, flowers development and anthesis, fruits production and dispersion both in rainy and dry seasons. Leaf shedding is low compared to the level usually observed in Caatinga areas and about 50% of the woody individuals were producing leaves in both seasons. Spectrum of dispersal syndromes shows an unexpected higher proportion of zoochorous species among the phanerophytes, accounting for 31.3% of the species, 78.7% of the total frequency and 78.6% of the total density. The habitat of the dunes is very simple and homogeneous in structure and most of environmental variance in the area is explained by one gradient of woody plants density and another of increase of Bromelia antiacantha Bertol. (Bromeliaceae) and Tacinga inamoena (K. Schum.) N.P. Taylor & Stuppy (Cactaceae) toward valleys, which seem to determine two kinds of protected micro-habitats for the small cursorial fauna.

Unveiling Shi’i Religious Identities: Case Studies of Hijab in Culturally Homogeneous Canadian Schools

This qualitative case study explored 10 young female Shi’i Muslim Arabic-Canadian students’ experiences associated with wearing the Hijab (headscarf) within their home, community, and predominantly White Canadian public elementary school environments. The study integrated several bodies of scholarly theories in order to examine the data under a set of comprehensive lenses that more fully articulates and theorizes on the diversity of female Shi’i Muslim Canadian students’ experiences. These theories are: identity theories with a focus on religious identity and negative stereotypes associated with Muslims; feminism and the Hijab discourses; research pertaining to Muslims in school settings; and critical race theory. In order to readdress the dearth of information about Shi’is’ experiences in schools, this study provides an in-depth case study analysis in which the methodology strategies included 10 semi-structured in-depth interviews, 2 focus-group meetings, and the incorporation of the researcher’s fieldnotes. Data analysis revealed the following themes corresponding to participants’ experiences and values in their social worlds of home, community, and schools: (a) martyrdom and self-sacrifice as a means for social justice; (b) transformational meaning of the Hijab; (c) intersectionality between culture, religion, and gender; and (d) effects of visits “back home” on participants’ religious identities. Additional themes related to participants’ school experiences included: (a) “us versus them” mentality; (b) religious and complex secular dialogues; (c) absence of Muslim representations in monocultural schools; (d) discrimination; (e) remaining silent versus speaking out; and (f) participants’ strategies for preserving their identities. Recommendations are made to integrate Shi’i Muslim females’ identity within the context of Islam and the West, most notably in relation to: (a) the role of Muslim community in nondiverse settings as a space that advances and nurtures Shi’i Muslim identity; and (b) holistic and culturally responsive teaching that fosters respect of others’ religiosity and spirituality. This study makes new inroads into feminist theorizing by drawing conceptual links between these previously unknown connections such as the impact of the historical female exemplary role model and the ritual stories on the experiences of Muslim females wearing the Hijab.