204 research outputs found

    A system of relational syllogistic incorporating full Boolean reasoning

    Full text link
    We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

    Mechanisms of TSC-mediated Control of Synapse Assembly and Axon Guidance

    Get PDF
    Tuberous sclerosis complex is a dominant genetic disorder produced by mutations in either of two tumor suppressor genes, TSC1 and TSC2; it is characterized by hamartomatous tumors, and is associated with severe neurological and behavioral disturbances. Mutations in TSC1 or TSC2 deregulate a conserved growth control pathway that includes Ras homolog enriched in brain (Rheb) and Target of Rapamycin (TOR). To understand the function of this pathway in neural development, we have examined the contributions of multiple components of this pathway in both neuromuscular junction assembly and photoreceptor axon guidance in Drosophila. Expression of Rheb in the motoneuron, but not the muscle of the larval neuromuscular junction produced synaptic overgrowth and enhanced synaptic function, while reductions in Rheb function compromised synapse development. Synapse growth produced by Rheb is insensitive to rapamycin, an inhibitor of Tor complex 1, and requires wishful thinking, a bone morphogenetic protein receptor critical for functional synapse expansion. In the visual system, loss of Tsc1 in the developing retina disrupted axon guidance independently of cellular growth. Inhibiting Tor complex 1 with rapamycin or eliminating the Tor complex 1 effector, S6 kinase (S6k), did not rescue axon guidance abnormalities of Tsc1 mosaics, while reductions in Tor function suppressed those phenotypes. These findings show that Tsc-mediated control of axon guidance and synapse assembly occurs via growth-independent signaling mechanisms, and suggest that Tor complex 2, a regulator of actin organization, is critical in these aspects of neuronal development

    MAP4K3 Is a Component of the TORC1 Signalling Complex that Modulates Cell Growth and Viability in Drosophila melanogaster

    Get PDF
    Background: MAP4K3 is a conserved Ser/Thr kinase that has being found in connection with several signalling pathways, including the Imd, EGFR, TORC1 and JNK modules, in different organisms and experimental assays. We have analyzed the consequences of changing the levels of MAP4K3 expression in the development of the Drosophila wing, a convenient model system to characterize gene function during epithelial development. Methodology and Principal Findings: Using loss-of-function mutants and over-expression conditions we find that MAP4K3 activity affects cell growth and viability in the Drosophila wing. These requirements are related to the modulation of the TORC1 and JNK signalling pathways, and are best detected when the larvae grow in a medium with low protein concentration (TORC1) or are exposed to irradiation (JNK). We also show that MAP4K3 display strong genetic interactions with different components of the InR/Tor signalling pathway, and can interact directly with the GTPases RagA and RagC and with the multi-domain kinase Tor. Conclusions and Significance: We suggest that MAP4K3 has two independent functions during wing development, one related to the activation of the JNK pathway in response to stress and other in the assembling or activation of the TORC1 complex, being critical to modulate cellular responses to changes in nutrient availability

    High-Throughput Sequencing to Reveal Genes Involved in Reproduction and Development in Bactrocera dorsalis (Diptera: Tephritidae)

    Get PDF
    BACKGROUND: Tephritid fruit flies in the genus Bactrocera are of major economic significance in agriculture causing considerable loss to the fruit and vegetable industry. Currently, there is no ideal control program. Molecular means is an effective method for pest control at present, but genomic or transcriptomic data for members of this genus remains limited. To facilitate molecular research into reproduction and development mechanisms, and finally effective control on these pests, an extensive transcriptome for the oriental fruit fly Bactrocera dorsalis was produced using the Roche 454-FLX platform. RESULTS: We obtained over 350 million bases of cDNA derived from the whole body of B. dorsalis at different developmental stages. In a single run, 747,206 sequencing reads with a mean read length of 382 bp were obtained. These reads were assembled into 28,782 contigs and 169,966 singletons. The mean contig size was 750 bp and many nearly full-length transcripts were assembled. Additionally, we identified a great number of genes that are involved in reproduction and development as well as genes that represent nearly all major conserved metazoan signal transduction pathways, such as insulin signal transduction. Furthermore, transcriptome changes during development were analyzed. A total of 2,977 differentially expressed genes (DEGs) were detected between larvae and pupae libraries, while there were 1,621 DEGs between adults and larvae, and 2,002 between adults and pupae. These DEGs were functionally annotated with KEGG pathway annotation and 9 genes were validated by qRT-PCR. CONCLUSION: Our data represent the extensive sequence resources available for B. dorsalis and provide for the first time access to the genetic architecture of reproduction and development as well as major signal transduction pathways in the Tephritid fruit fly pests, allowing us to elucidate the molecular mechanisms underlying courtship, ovipositing, development and detailed analyses of the signal transduction pathways

    Diet and Energy-Sensing Inputs Affect TorC1-Mediated Axon Misrouting but Not TorC2-Directed Synapse Growth in a Drosophila Model of Tuberous Sclerosis

    Get PDF
    The Target of Rapamycin (TOR) growth regulatory system is influenced by a number of different inputs, including growth factor signaling, nutrient availability, and cellular energy levels. While the effects of TOR on cell and organismal growth have been well characterized, this pathway also has profound effects on neural development and behavior. Hyperactivation of the TOR pathway by mutations in the upstream TOR inhibitors TSC1 (tuberous sclerosis complex 1) or TSC2 promotes benign tumors and neurological and behavioral deficits, a syndrome known as tuberous sclerosis (TS). In Drosophila, neuron-specific overexpression of Rheb, the direct downstream target inhibited by Tsc1/Tsc2, produced significant synapse overgrowth, axon misrouting, and phototaxis deficits. To understand how misregulation of Tor signaling affects neural and behavioral development, we examined the influence of growth factor, nutrient, and energy sensing inputs on these neurodevelopmental phenotypes. Neural expression of Pi3K, a principal mediator of growth factor inputs to Tor, caused synapse overgrowth similar to Rheb, but did not disrupt axon guidance or phototaxis. Dietary restriction rescued Rheb-mediated behavioral and axon guidance deficits, as did overexpression of AMPK, a component of the cellular energy sensing pathway, but neither was able to rescue synapse overgrowth. While axon guidance and behavioral phenotypes were affected by altering the function of a Tor complex 1 (TorC1) component, Raptor, or a TORC1 downstream element (S6k), synapse overgrowth was only suppressed by reducing the function of Tor complex 2 (TorC2) components (Rictor, Sin1). These findings demonstrate that different inputs to Tor signaling have distinct activities in nervous system development, and that Tor provides an important connection between nutrient-energy sensing systems and patterning of the nervous system

    Regulation of cellular proliferation, differentiation and cell death by activated Raf

    Get PDF
    The protein kinases Raf-1, A-Raf and B-Raf connect receptor stimulation with intracellular signaling pathways and function as a central intermediate in many signaling pathways. Gain-of-function experiments shed light on the pleiotropic biological activities of these enzymes. Expression experiments involving constitutively active Raf revealed the essential functions of Raf in controlling proliferation, differentiation and cell death in a cell-type specific manner

    Dynamic Switch of Negative Feedback Regulation in Drosophila Akt–TOR Signaling

    Get PDF
    Akt represents a nodal point between the Insulin receptor and TOR signaling, and its activation by phosphorylation controls cell proliferation, cell size, and metabolism. The activity of Akt must be carefully balanced, as increased Akt signaling is frequently associated with cancer and as insufficient Akt signaling is linked to metabolic disease and diabetes mellitus. Using a genome-wide RNAi screen in Drosophila cells in culture, and in vivo analyses in the third instar wing imaginal disc, we studied the regulatory circuitries that define dAkt activation. We provide evidence that negative feedback regulation of dAkt occurs during normal Drosophila development in vivo. Whereas in cell culture dAkt is regulated by S6 Kinase (S6K)–dependent negative feedback, this feedback inhibition only plays a minor role in vivo. In contrast, dAkt activation under wild-type conditions is defined by feedback inhibition that depends on TOR Complex 1 (TORC1), but is S6K–independent. This feedback inhibition is switched from TORC1 to S6K only in the context of enhanced TORC1 activity, as triggered by mutations in tsc2. These results illustrate how the Akt–TOR pathway dynamically adapts the routing of negative feedback in response to the activity load of its signaling circuit in vivo

    Germ band retraction as a landmark in glucose metabolism during Aedes aegypti embryogenesis

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The mosquito <it>A. aegypti </it>is vector of dengue and other viruses. New methods of vector control are needed and can be achieved by a better understanding of the life cycle of this insect. Embryogenesis is a part of <it>A. aegypty </it>life cycle that is poorly understood. In insects in general and in mosquitoes in particular energetic metabolism is well studied during oogenesis, when the oocyte exhibits fast growth, accumulating carbohydrates, lipids and proteins that will meet the regulatory and metabolic needs of the developing embryo. On the other hand, events related with energetic metabolism during <it>A. aegypti </it>embryogenesis are unknown.</p> <p>Results</p> <p>Glucose metabolism was investigated throughout <it>Aedes aegypti </it>(Diptera) embryonic development. Both cellular blastoderm formation (CBf, 5 h after egg laying - HAE) and germ band retraction (GBr, 24 HAE) may be considered landmarks regarding glucose 6-phosphate (G6P) destination. We observed high levels of glucose 6-phosphate dehydrogenase (G6PDH) activity at the very beginning of embryogenesis, which nevertheless decreased up to 5 HAE. This activity is correlated with the need for nucleotide precursors generated by the pentose phosphate pathway (PPP), of which G6PDH is the key enzyme. We suggest the synchronism of egg metabolism with carbohydrate distribution based on the decreasing levels of phosphoenolpyruvate carboxykinase (PEPCK) activity and on the elevation observed in protein content up to 24 HAE. Concomitantly, increasing levels of hexokinase (HK) and pyruvate kinase (PK) activity were observed, and PEPCK reached a peak around 48 HAE. Glycogen synthase kinase (GSK3) activity was also monitored and shown to be inversely correlated with glycogen distribution during embryogenesis.</p> <p>Conclusions</p> <p>The results herein support the hypothesis that glucose metabolic fate changes according to developmental embryonic stages. Germ band retraction is a moment that was characterized as a landmark in glucose metabolism during <it>Aedes aegypti </it>embryogenesis. Furthermore, the results also suggest a role for GSK3 in glycogen balance/distribution during morphological modifications.</p
    corecore