1000 resultados para Functional Constraint


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Ionotropic glutamate receptors are important excitatory neurotransmitter receptors in the mammalian central nervous system that have been implicated in a number of neuropathologies such as epilepsy, ischemia, and amyotrophic lateral sclerosis. Glutamate binding to an extracellular ligand binding domain initiates a series of structural changes that leads to the formation of a cation selective transmembrane channel, which consequently closes due to desensitization of the receptor. The crystal structures of the AMPA subtype of the glutamate receptor have been particularly useful in providing initial insight into the conformational changes in the ligand binding domain; however, these structures are limited by crystallographic constraint. To gain a clear picture of how agonist binding is coupled to channel activation and desensitization, it is essential to study changes in the ligand binding domain in a dynamic, physiological state. In this dissertation, a technique called Luminescence Resonance Energy Transfer was used to determine the conformational changes associated with activation and desensitization in a functional AMPA receptor (ÄN*-AMPA) that contains the ligand binding domain and transmembrane segments; ÄN*-AMPA has been modified such that fluorophores can be introduced at specific sites to serve as a readout of cleft closure or to establish intersubunit distances. Previous structural studies of cleft closure of the isolated ligand binding domain in conjunction with functional studies of the full receptor suggest that extent of cleft closure correlates with extent of activation. Here, LRET has been used to show that a similar relationship between cleft closure and activation is observed in the “full length” receptor showing that the isolated ligand binding domain is a good model of the domain in the full length receptor for changes within a subunit. Similar LRET investigations were used to study intersubunit distances specifically to probe conformational changes between subunits within a dimer in the tetrameric receptor. These studies show that the dimer interface is coupled in the open state, and decoupled in the desensitized state, similar to the isolated ligand binding domain crystal structure studies. However, we show that the apo state dimer interface is not pre-formed as in the crystal structure, hence suggesting a mechanism for functional transitions within the receptor based on LRET distances obtained.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

CIAO is an advanced programming environment supporting Logic and Constraint programming. It offers a simple concurrent kernel on top of which declarative and non-declarative extensions are added via librarles. Librarles are available for supporting the ISOProlog standard, several constraint domains, functional and higher order programming, concurrent and distributed programming, internet programming, and others. The source language allows declaring properties of predicates via assertions, including types and modes. Such properties are checked at compile-time or at run-time. The compiler and system architecture are designed to natively support modular global analysis, with the two objectives of proving properties in assertions and performing program optimizations, including transparently exploiting parallelism in programs. The purpose of this paper is to report on recent progress made in the context of the CIAO system, with special emphasis on the capabilities of the compiler, the techniques used for supporting such capabilities, and the results in the áreas of program analysis and transformation already obtained with the system.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Certain aspects of functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión of Prolog covering function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The possibility of premigratory modulation in gastric digestive performance was investigated in a long-distance migrant, the eastern curlew (Numenius madagascariensis), in eastern Australia. The rate of intake in the curlews was limited by the rate of digestion but not by food availability. It was hypothesized that before migration, eastern curlews would meet the increased energy demand by increasing energy consumption. It was predicted that (1) an increase in the rate of intake and the corresponding rate of gastric throughput would occur or (2) the gastric digestive efficiency would increase between the mid-nonbreeding and premigratory periods. Neither crude intake rate (the rate of intake calculated including inactive pauses; 0.22 g DM [grams dry mass] or 3.09 kJ min(-1)) nor the rate of gastric throughput (0.15 g DM or 2.85 kJ min(-1)) changed over time. Gastric digestive efficiency did not improve between the periods (91%) nor did the estimated overall energy assimilation efficiency (63% and 58%, respectively). It was concluded that the crustacean-dominated diet of the birds is processed at its highest rate and efficiency throughout a season. It appears that without a qualitative shift in diet, no increase in intake rate is possible. Accepting these findings at their face value poses the question of how and over what time period the eastern curlews store the nutrients necessary for the ensuing long, northward nonstop flight.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hsp90 is a molecular chaperone essential for cell viability in eukaryotes that is associated with the maturation of proteins involved in important cell functions and implicated in the stabilization of the tumor phenotype of various cancers, making this chaperone a notably interesting therapeutic target. Celastrol is a plant-derived pentacyclic triterpenoid compound with potent antioxidant, anti-inflammatory and anticancer activities; however, celastrol's action mode is still elusive. In this work, we investigated the effect of celastrol on the conformational and functional aspects of Hsp90α. Interestingly, celastrol appeared to target Hsp90α directly as the compound induced the oligomerization of the chaperone via the C-terminal domain as demonstrated by experiments using a deletion mutant. The nature of the oligomers was investigated by biophysical tools demonstrating that a two-fold excess of celastrol induced the formation of a decameric Hsp90α bound throughout the C-terminal domain. When bound, celastrol destabilized the C-terminal domain. Surprisingly, standard chaperone functional investigations demonstrated that neither the in vitro chaperone activity of protecting against aggregation nor the ability to bind a TPR co-chaperone, which binds to the C-terminus of Hsp90α, were affected by celastrol. Celastrol interferes with specific biological functions of Hsp90α. Our results suggest a model in which celastrol binds directly to the C-terminal domain of Hsp90α causing oligomerization. However, the ability to protect against protein aggregation (supported by our results) and to bind to TPR co-chaperones are not affected by celastrol. Therefore celastrol may act primarily by inducing specific oligomerization that affects some, but not all, of the functions of Hsp90α. To the best of our knowledge, this study is the first work to use multiple probes to investigate the effect that celastrol has on the stability and oligomerization of Hsp90α and on the binding of this chaperone to Tom70. This work provides a novel mechanism by which celastrol binds Hsp90α.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Muscle strength and functional independence are considered to be determinants of frailty levels among elderly people. The aim here was to compare lower-limb muscle strength (LLMS) with functional independence in relation to sex, age and number of frailty criteria, and to ascertain the influence of these variables on elderly outpatients' independence. Quantitative cross-sectional study, in a tertiary hospital. The study was conducted on 150 elderly outpatients of both sexes who were in a cognitive condition allowing oral communication, between October 2005 and October 2007. The following instruments were used: five-times sit-to-stand test (FTSST), Functional Independence Measurement (FIM) and Lawton's Instrumental Activities of Daily Living Scale (IADL). Descriptive, comparative, multivariate, univariate and Cronbach alpha analyses were performed. The mean time taken in the FTSST was 21.7 seconds; the mean score for FIM was 82.2 and for IADL was 21.2; 44.7% of the subjects presented 1-2 frailty criteria and 55.3% > 3 criteria. There was a significant association between LLMS and functional independence in relation to the number of frailty criteria, without homogeneity regarding sex and age. Functional independence showed significant influence from sex and LLMS. Elderly individuals with 1 or 2 frailty criteria presented greater independence in all FTSST scores. The subjects with higher LLMS presented better functional independence.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Hevea brasiliensis is a native species of the Amazon Basin of South America and the primary source of natural rubber worldwide. Due to the occurrence of South American Leaf Blight disease in this area, rubber plantations have been extended to suboptimal regions. Rubber tree breeding is time-consuming and expensive, but molecular markers can serve as a tool for early evaluation, thus reducing time and costs. In this work, we constructed six different cDNA libraries with the aim of developing gene-targeted molecular markers for the rubber tree. A total of 8,263 reads were assembled, generating 5,025 unigenes that were analyzed; 912 expressed sequence tags (ESTs) represented new transcripts, and two sequences were highly up-regulated by cold stress. These unigenes were scanned for microsatellite (SSR) regions and single nucleotide polymorphisms (SNPs). In total, 169 novel EST-SSR markers were developed; 138 loci were polymorphic in the rubber tree, and 98 % presented transferability to six other Hevea species. Locus duplication was observed in H. brasiliensis and other species. Additionally, 43 SNP markers in 13 sequences that showed similarity to proteins involved in stress response, latex biosynthesis and developmental processes were characterized. cDNA libraries are a rich source of SSR and SNP markers and enable the identification of new transcripts. The new markers developed here will be a valuable resource for linkage mapping, QTL identification and other studies in the rubber tree and can also be used to evaluate the genetic variability of other Hevea species, which are valuable assets in rubber tree breeding.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The genera Cochliomyia and Chrysomya contain both obligate and saprophagous flies, which allows the comparison of different feeding habits between closely related species. Among the different strategies for comparing these habits is the use of qPCR to investigate the expression levels of candidate genes involved in feeding behavior. To ensure an accurate measure of the levels of gene expression, it is necessary to normalize the amount of the target gene with the amount of a reference gene having a stable expression across the compared species. Since there is no universal gene that can be used as a reference in functional studies, candidate genes for qPCR data normalization were selected and validated in three Calliphoridae (Diptera) species, Cochliomyia hominivorax Coquerel, Cochliomyia macellaria Fabricius, and Chrysomya albiceps Wiedemann . The expression stability of six genes ( Actin, Gapdh, Rp49, Rps17, α -tubulin, and GstD1) was evaluated among species within the same life stage and between life stages within each species. The expression levels of Actin, Gapdh, and Rp49 were the most stable among the selected genes. These genes can be used as reliable reference genes for functional studies in Calliphoridae using similar experimental settings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The androgynophore column, a distinctive floral feature in passion flowers, is strongly crooked or bent in many Passiflora species pollinated by bats. This is a floral feature that facilitates the adaptation to bat pollination. Crooking or bending of plant organs are generally caused by environmental stimulus (e.g. mechanical barriers) and might involve the differential distribution of auxin. Our aim was to study the role of the perianth organs and the effect of auxin in bending of the androgynophore of the bat-pollinated species Passiflora mucronata. Morpho-anatomical characterisation of the androgynophore, including measurements of curvature angles and cell sizes both at the dorsal (convex) and ventral (concave) sides of the androgynophore, was performed on control flowers, flowers from which perianth organs were partially removed and flowers treated either with auxin (2,4-dichlorophenoxyacetic acid; 2,4-D) or with an inhibitor of auxin polar transport (naphthylphthalamic acid; NPA). Asymmetric growth of the androgynophore column, leading to bending, occurs at a late stage of flower development. Removing the physical constraint exerted by perianth organs or treatment with NPA significantly reduced androgynophore bending. Additionally, the androgynophores of plants treated with 2,4-D were more curved when compared to controls. There was a larger cellular expansion at the dorsal side of the androgynophores of plants treated with 2,4-D and in both sides of the androgynophores of plants treated with NPA. This study suggests that the physical constraint exerted by perianth and auxin redistribution promotes androgynophore bending in P. mucronata and might be related to the evolution of chiropterophily in the genus Passiflora.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Obesity is associated with insulin resistance and is known to be a risk factor for type-2 diabetes. In obese individuals, pancreatic beta-cells try to compensate for the increased insulin demand in order to maintain euglycemia. Most studies have reported that this adaptation is due to morphological changes. However, the involvement of beta-cell functional adaptations in this process needs to be clarified. For this purpose, we evaluated different key steps in the glucose-stimulated insulin secretion (GSIS) in intact islets from female ob/ob obese mice and lean controls. Obese mice showed increased body weight, insulin resistance, hyperinsulinemia, glucose intolerance and fed hyperglycemia. Islets from ob/ob mice exhibited increased glucose-induced mitochondrial activity, reflected by enhanced NAD(P)H production and mitochondrial membrane potential hyperpolarization. Perforated patch-clamp examination of beta-cells within intact islets revealed several alterations in the electrical activity such as increased firing frequency and higher sensitivity to low glucose concentrations. A higher intracellular Ca(2+) mobilization in response to glucose was also found in ob/ob islets. Additionally, they displayed a change in the oscillatory pattern and Ca(2+) signals at low glucose levels. Capacitance experiments in intact islets revealed increased exocytosis in individual ob/ob beta-cells. All these up-regulated processes led to increased GSIS. In contrast, we found a lack of beta-cell Ca(2+) signal coupling, which could be a manifestation of early defects that lead to beta-cell malfunction in the progression to diabetes. These findings indicate that beta-cell functional adaptations are an important process in the compensatory response to obesity.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objective of this case report was to describe the oral rehabilitation of a five-year-old boy patient diagnosed with amelogenesis imperfecta (AI) in the primary dentition. AI is a group of hereditary disorders that affects the enamel structure. The patient was brought to the dental clinic complaining of tooth hypersensitivity during meals. The medical history and clinical examination were used to arrive at the diagnosis of AI. The treatment was oral rehabilitation of the primary molars with stainless steel crowns and resin-filled celluloid forms. The main objectives of the selected treatment were to enhance the esthetics, restore masticatory function, and eliminate the teeth sensitivity. The child was monitored in the pediatric dentistry clinic at four-month intervals until the mixed dentition stage. Treatment not only restored function and esthetic, but also showed a positive psychological impact and thereby improved perceived quality of life. The preventive, psychological, and curative measures of a young child with AI were successful. This result can encourage the clinicians to seek a cost-effective technique such as stainless steel crowns, and resin-filled celluloid forms to reestablish the oral functions and improve the child's psychosocial development.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present study, composition, functional properties and sensory characteristics of Mozzarella cheese produced from milk with somatic cell counts (SCC) at low (<200,000 cells/mL), intermediate (≈400,000 cells/mL) and high (>800,000 cells/mL) levels were investigated. Three batches of cheese were produced for each SCC category. The cheeses were vacuum packed in plastic bags and analysed after 2, 9, 16, 23 and 30 days of storage at 4ºC. SCC level did not affect the moisture, fat, total protein and ash content, mesophilic and psychrotrophic bacteria, and sensory parameters of Mozzarella cheese. However, meltability increased in cheese manufactured from high SCC milk. Results indicated that raw milk used to produce Mozzarella cheese should not contain high SCC (>800,000 cells/mL) in order to avoid changes in the functional properties of the Mozzarella cheese.