B-LOG: A branch and bound methodology for the parallel execution of logic programs

We propose a computational methodology -"B-LOG"-, which offers the potential for an effective implementation of Logic Programming in a parallel computer. We also propose a weighting scheme to guide the search process through the graph and we apply the concepts of parallel "branch and bound" algorithms in order to perform a "best-first" search using an information theoretic bound. The concept of "session" is used to speed up the search process in a succession of similar queries. Within a session, we strongly modify the bounds in a local database, while bounds kept in a global database are weakly modified to provide a better initial condition for other sessions. We also propose an implementation scheme based on a database machine using "semantic paging", and the "B-LOG processor" based on a scoreboard driven controller.

Experimenting with independent and-parallel prolog using standard prolog

This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like potential performance of parallel processing. But this potential can also be explored using only sequential systems. Being the spirit of this paper to show how this can be done with a standard system, only standard Prolog will be used in the implementations included. Such implementations include tests for parallelism in And-Prolog, a correctnesschecking meta-interpreter of parallel execution for

Experimenting with independent and-parallel prolog using standard prolog

This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like potential performance of parallel processing. But this potential can also be explored using only sequential systems. Being the spirit of this paper to show how this can be done with a standard system, only standard Prolog will be used in the implementations included. Such implementations include tests for parallelism in And-Prolog, a correctnesschecking meta-interpreter of parallel execution for

Comparative theoretical analysis between parallel and perpendicular geometries for 2D particle patterning in photovoltaic ferroelectric substrates

This paper describes the dielectrophoretic potential created by the evanescent electric field acting on a particle near a photovoltaic crystal surface depending on the crystal cut. This electric field is obtained from the steady state solution of the Kukhtarev equations for the photovoltaic effect, where the diffusion term has been disregarded. First, the space charge field generated by a small, square, light spot where d _ l (being d a side of the square and l the crystal thickness) is studied. The surface charge density generated in both geometries is calculated and compared as their relation determines the different properties of the dielectrophoretic potential for both cuts. The shape of the dielectrophoretic potential is obtained and compared for several distances to the sample. Afterwards other light patterns are studied by the superposition of square spots, and the resulting trapping profiles are analysed. Finally the surface charge densities and trapping profiles for different d/l relations are studied.

Microevolutionary responses in experimental populations of plants to CO2-enriched environments: parallel results from two model systems.

Despite the critical role that terrestrial vegetation plays in the Earth's carbon cycle, very little is known about the potential evolutionary responses of plants to anthropogenically induced increases in concentrations of atmospheric CO2. We present experimental evidence that rising CO2 concentration may have a direct impact on the genetic composition and diversity of plant populations but is unlikely to result in selection favoring genotypes that exhibit increased productivity in a CO2-enriched atmosphere. Experimental populations of an annual plant (Abutilon theophrasti, velvetleaf) and a temperate forest tree (Betula alleghaniensis, yellow birch) displayed responses to increased CO2 that were both strongly density-dependent and genotype-specific. In competitive stands, a higher concentration of CO2 resulted in pronounced shifts in genetic composition, even though overall CO2-induced productivity enhancements were small. For the annual species, quantitative estimates of response to selection under competition were 3 times higher at the elevated CO2 level. However, genotypes that displayed the highest growth responses to CO2 when grown in the absence of competition did not have the highest fitness in competitive stands. We suggest that increased CO2 intensified interplant competition and that selection favored genotypes with a greater ability to compete for resources other than CO2. Thus, while increased CO2 may enhance rates of selection in populations of competing plants, it is unlikely to result in the evolution of increased CO2 responsiveness or to operate as an important feedback in the global carbon cycle. However, the increased intensity of selection and drift driven by rising CO2 levels may have an impact on the genetic diversity in plant populations.

Van der Waals interactions between two parallel infinitely long single-walled nanotubes

The potential energies of van der Waals (VDW) interactions between two parallel, infinitely long and perfect SWNTs with identical, and different sizes were studied based on the continuum Lennard-Jones model. The conclusion of Girifalco's work on (n, n) SWNTs that the potentials of SWNT-SWNT fell on a single curve, is also applicable to SWNTs with different sizes. We further obtained the corresponding constants of the well depth phi(0) and equilibrium VDW gap g(0) for SWNTs with a radius from 2 to 25 Angstrom. (C) 2005 Elsevier B.V. All rights reserved.

Investigation into the biochemical changes in Tourette Syndrome with a potential for pharmacological manipulation

Kynurenine (KYN) is the first stable metabolite of the kynurenine pathway, which accounts for over 95% of tryptophan metabolism. Two previous studies by this research group reported elevated plasma KYN in Tourette syndrome (TS) patients when compared with age and sex matched controls and another study showed that KYN potentiated 5-HT2A-mediated head-shakes (HS) in rodents. These movements have been suggested to model tics in TS. This raised the questions how KYN acts in eliciting this response and whether it is an action of its own or of a further metabolite along the kynurenine pathway. In the liver, where most of the kynurenine pathway metabolism takes place under physiological conditions, the first and the rate limiting enzyme is tryptophan-dioxygenase (TDO) which can be induced by cortisol. In extrahepatic tissues the same step of the pathway is catalyzed by indoleamine-dioxygenase (IDO), which is induced by cytokines, predominantly interferon-y (INF-y). Plasma neopterin, which shows parallel increase with KYN following immune stimulation, was also found elevated in one of these studies positively correlating with KYN. In the present work animal studies suggested that KYN potentiates and quinolinic acid (QUINA) dose dependently inhibits the 5-HT2A-mediated HS response in mice. The potentiating effect seen with KYN was suggested to be an effect of KYN itself. Radioligand binding and phosphoinositide (PI) hydrolysis studies were done to explore the mechanisms by which kynurenine pathway metabolites could alter a 5-HT2A-receptor mediated response. None of the kynurenine pathway metabolites tested showed direct binding to 5-HT2A-receptors. PI hydrolysis studies with KYN and QUINA showed that KYN did not have any effect while QUINA inhibited 5-HT2A-mediated PI hydrolysis. Plasma cortisol determination in TS patients with elevated plasma KYN did not show elevated plasma cortisol levels, suggesting that the increase of plasma KYN in these TS patients is unlikely to be due to an increased TDO activity induced by increased cortisol. Attention deficit hyperactivity disorder (ADHD) is commonly associated with TS. Salivary cortisol detected in a group of children primarily affected with ADHD showed significantly lower salivary cortisol levels when compared with age and sex matched controls. Plasma tryptophan, KYN, neopterin, INF-y and KYN/tryptophan ratio and night-time urinary 6-sulphatoxymelatonin (aMT6s) excretion measured in a group of TS patients did not show any difference in their levels when compared with age and sex matched controls, but TS patients failed to show the expected positive correlation seen between plasma INF-y, neopterin and KYN and the negative correlation seen between plasma KYN and night-time urinary aMT6s excretion seen in healthy controls. The relevance of the kynurenine pathway, melatonin secretion and cortisol to Tourette Syndrome and associated conditions and the mechanism by which KYN and QUINA alter the 5-HT2A-receptor mediated HS response are discussed.

FTIR, a potential tool to dementia diagnosis trough analysis of plasma

Nowadays it is still difficult to perform an early and accurate diagnosis of dementia, therefore many research focus on the finding of new dementia biomarkers that can aid in that purpose. So scientists try to find a noninvasive, rapid, and relatively inexpensive procedures for early diagnosis purpose. Several studies demonstrated that the utilization of spectroscopic techniques, such as Fourier Transform Infrared Spectroscopy (FTIR) and Raman spectroscopy could be an useful and accurate procedure to diagnose dementia. As several biochemical mechanisms related to neurodegeneration and dementia can lead to changes in plasma components and others peripheral body fluids, blood-based samples and spectroscopic analyses can be used as a more simple and less invasive technique. This work is intended to confirm some of the hypotheses of previous studies in which FTIR was used in the study of plasma samples of possible patient with AD and respective controls and verify the reproducibility of this spectroscopic technique in the analysis of such samples. Through the spectroscopic analysis combined with multivariate analysis it is possible to discriminate controls and demented samples and identify key spectroscopic differences between these two groups of samples which allows the identification of metabolites altered in this disease. It can be concluded that there are three spectral regions, 3500-2700 cm -1, 1800-1400 cm-1 and 1200-900 cm-1 where it can be extracted relevant spectroscopic information. In the first region, the main conclusion that is possible to take is that there is an unbalance between the content of saturated and unsaturated lipids. In the 1800-1400 cm-1 region it is possible to see the presence of protein aggregates and the change in protein conformation for highly stable parallel β-sheet. The last region showed the presence of products of lipid peroxidation related to impairment of membranes, and nucleic acids oxidative damage. FTIR technique and the information gathered in this work can be used in the construction of classification models that may be used for the diagnosis of cognitive dysfunction.

Geometrico-static modelling of continuum parallel robots

In this thesis, we explore three methods for the geometrico-static modelling of continuum parallel robots. Inspired by biological trunks, tentacles and snakes, continuum robot designs can reach confined spaces, manipulate objects in complex environments and conform to curvilinear paths in space. In addition, parallel continuum manipulators have the potential to inherit some of the compactness and compliance of continuum robots while retaining some of the precision, stability and strength of rigid-links parallel robots. Subsequently, the foundation of our work is performed on slender beam by applying the Cosserat rod theory, appropriate to model continuum robots. After that, three different approaches are developed on a case study of a planar parallel continuum robot constituted of two connected flexible links. We solve the forward and inverse geometrico-static problem namely by using (a) shooting methods to obtain a numerical solution, (b) an elliptic method to find a quasi-analytical solution, and (c) the Corde model to perform further model analysis. The performances of each of the studied methods are evaluated and their limits are highlighted. This thesis is divided as follows. Chapter one gives the introduction on the field of the continuum robotics and introduce the parallel continuum robots that is studied in this work. Chapter two describe the geometrico-static problem and gives the mathematical description of this problem. Chapter three explains the numerical approach with the shooting method and chapter four introduce the quasi-analytical solution. Then, Chapter five introduce the analytic method inspired by the Corde model and chapter six gives the conclusions of this work.

Design, Synthesis And Biological Evaluation Of Hybrid Bioisoster Derivatives Of N-acylhydrazone And Furoxan Groups With Potential And Selective Anti-trypanosoma Cruzi Activity.

Hybrid bioisoster derivatives from N-acylhydrazones and furoxan groups were designed with the objective of obtaining at least a dual mechanism of action: cruzain inhibition and nitric oxide (NO) releasing activity. Fifteen designed compounds were synthesized varying the substitution in N-acylhydrazone and in furoxan group as well. They had its anti-Trypanosoma cruzi activity in amastigotes forms, NO releasing potential and inhibitory cruzain activity evaluated. The two most active compounds (6, 14) both in the parasite amastigotes and in the enzyme contain the nitro group in para position of the aromatic ring. The permeability screening in Caco-2 cell and cytotoxicity assay in human cells were performed for those most active compounds and both showed to be less cytotoxic than the reference drug, benznidazole. Compound 6 was the most promising, since besides activity it showed good permeability and selectivity index, higher than the reference drug. Thereby the compound 6 was considered as a possible candidate for additional studies.

Antimicrobial And Antiproliferative Potential Of Anadenanthera Colubrina (vell.) Brenan.

The aim of the present study was to perform an in vitro analysis of the antimicrobial and antiproliferative potential of an extract from Anadenanthera colubrina (Vell.) Brenan (angico) and chemically characterize the crude extract. Antimicrobial action was evaluated based on the minimum inhibitory concentration (MIC), minimum bactericidal/fungicidal concentration, and the inhibition of formation to oral biofilm. Cell morphology was determined through scanning electron microscopy (SEM). Six strains of tumor cells were used for the determination of antiproliferative potential. The extract demonstrated strong antifungal activity against Candida albicans ATCC 18804 (MIC = 0.031 mg/mL), with similar activity found regarding the ethyl acetate fraction. The extract and active fraction also demonstrated the capacity to inhibit the formation of Candida albicans to oral biofilm after 48 hours, with median values equal to or greater than the control group, but the difference did not achieve statistical significance (P > 0.05). SEM revealed alterations in the cell morphology of the yeast. Regarding antiproliferative activity, the extract demonstrated cytostatic potential in all strains tested. The present findings suggest strong antifungal potential for Anadenanthera colubrina (Vell.) Brenan as well as a tendency toward diminishing the growth of human tumor cells.

Interplay Between Cell Growth And Cell Cycle In Plants.

The growth of organs and whole plants depends on both cell growth and cell-cycle progression, but the interaction between both processes is poorly understood. In plants, the balance between growth and cell-cycle progression requires coordinated regulation of four different processes: macromolecular synthesis (cytoplasmic growth), turgor-driven cell-wall extension, mitotic cycle, and endocycle. Potential feedbacks between these processes include a cell-size checkpoint operating before DNA synthesis and a link between DNA contents and maximum cell size. In addition, key intercellular signals and growth regulatory genes appear to target at the same time cell-cycle and cell-growth functions. For example, auxin, gibberellin, and brassinosteroid all have parallel links to cell-cycle progression (through S-phase Cyclin D-CDK and the anaphase-promoting complex) and cell-wall functions (through cell-wall extensibility or microtubule dynamics). Another intercellular signal mediated by microtubule dynamics is the mechanical stress caused by growth of interconnected cells. Superimposed on developmental controls, sugar signalling through the TOR pathway has recently emerged as a central control point linking cytoplasmic growth, cell-cycle and cell-wall functions. Recent progress in quantitative imaging and computational modelling will facilitate analysis of the multiple interconnections between plant cell growth and cell cycle and ultimately will be required for the predictive manipulation of plant growth.

Islet Neogenesis-associated Protein (ingap): The Role Of Its Endogenous Production As A Positive Modulator Of Insulin Secretion.

Islet neogenesis-associated protein (INGAP) is a peptide found in pancreatic exocrine-, duct- and islet- non-β-cells from normal hamsters. Its increase induced by either its exogenous administration or by the overexpression of its gene enhances β-cell secretory function and increases β-cell mass by a combination of stimulation of cell replication and islet neogenesis and reduction of β-cell apoptosis. We studied the potential modulatory role of endogenous INGAP in insulin secretion using two different experimental approaches. Hamster islets transfected with INGAP-small interfering RNA (INGAP-siRNA) were used to study glucose-stimulated insulin secretion (GSIS). In parallel, freshly isolated islets were incubated with high glucose and the same concentration of either a specific anti-INGAP rabbit serum or normal rabbit serum. INGAP-siRNA transfected islets reduced their INGAP mRNA and protein content by 35.1% and 47.2%, respectively whereas GSIS decreased by 25.8%. GSIS by transfected islets attained levels comparable to those recorded in control islets when INGAP pentadecapeptide (INGAP-PP) was added to the culture medium. INGAP antibody in the medium decreased significantly GSIS in a dose-dependent manner. These results indicate that endogenous INGAP plays a physiological positive modulatory role in insulin secretion, supporting its possible use in the treatment of prediabetes and Type 2 diabetes.

Whole Cortical And Default Mode Network Mean Functional Connectivity As Potential Biomarkers For Mild Alzheimer's Disease.

The search for an Alzheimer's disease (AD) biomarker is one of the most relevant contemporary research topics due to the high prevalence and social costs of the disease. Functional connectivity (FC) of the default mode network (DMN) is a plausible candidate for such a biomarker. We evaluated 22 patients with mild AD and 26 age- and gender-matched healthy controls. All subjects underwent resting functional magnetic resonance imaging (fMRI) in a 3.0 T scanner. To identify the DMN, seed-based FC of the posterior cingulate was calculated. We also measured the sensitivity/specificity of the method, and verified a correlation with cognitive performance. We found a significant difference between patients with mild AD and controls in average z-scores: DMN, whole cortical positive (WCP) and absolute values. DMN individual values showed a sensitivity of 77.3% and specificity of 70%. DMN and WCP values were correlated to global cognition and episodic memory performance. We showed that individual measures of DMN connectivity could be considered a promising method to differentiate AD, even at an early phase, from normal aging. Further studies with larger numbers of participants, as well as validation of normal values, are needed for more definitive conclusions.

Antioxidant And Anti-diabetic Potential Of Passiflora Alata Curtis Aqueous Leaves Extract In Type 1 Diabetes Mellitus (nod-mice).

Leaves of Passiflora alata Curtis were characterized for their antioxidant capacity. Antioxidant analyses of DPPH, FRAP, ABTS, ORAC and phenolic compounds were made in three different extracts: aqueous, methanol/acetone and ethanol. Aqueous extract was found to be the best solvent for recovery of phenolic compounds and antioxidant activity, when compared with methanol/acetone and ethanol. To study the anti-inflammatory properties of this extract in experimental type 1 diabetes, NOD mice were divided into two groups: the P. alata group, treated with aqueous extract of P. alata Curtis, and a non-treated control group, followed by diabetes expression analysis. The consumption of aqueous extract and water ad libitum lasted 28 weeks. The treated-group presented a decrease in diabetes incidence, a low quantity of infiltrative cells in pancreatic islets and increased glutathione in the kidney and liver (p<0.05), when compared with the diabetic and non-diabetic control-groups. In conclusion, our results suggest that the consumption of aqueous extract of P. alata may be considered a good source of natural antioxidants and compounds found in its composition can act as anti-inflammatory agents, helping in the control of diabetes.