Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Mesoscopic organization reveals the constraints governing C. elegans nervous system

One of the biggest challenges in biology is to understand how activity at the cellular level of neurons, as a result of their mutual interactions, leads to the observed behavior of an organism responding to a variety of environmental stimuli. Investigating the intermediate or mesoscopic level of organization in the nervous system is a vital step towards understanding how the integration of micro-level dynamics results in macro-level functioning. In this paper, we have considered the somatic nervous system of the nematode Caenorhabditis elegans, for which the entire neuronal connectivity diagram is known. We focus on the organization of the system into modules, i.e., neuronal groups having relatively higher connection density compared to that of the overall network. We show that this mesoscopic feature cannot be explained exclusively in terms of considerations, such as optimizing for resource constraints (viz., total wiring cost) and communication efficiency (i.e., network path length). Comparison with other complex networks designed for efficient transport (of signals or resources) implies that neuronal networks form a distinct class. This suggests that the principal function of the network, viz., processing of sensory information resulting in appropriate motor response, may be playing a vital role in determining the connection topology. Using modular spectral analysis, we make explicit the intimate relation between function and structure in the nervous system. This is further brought out by identifying functionally critical neurons purely on the basis of patterns of intra- and inter-modular connections. Our study reveals how the design of the nervous system reflects several constraints, including its key functional role as a processor of information.Comment: Published version, Minor modifications, 16 pages, 9 figure

Tetraspanin (TSP-17) Protects Dopaminergic Neurons against 6-OHDA-Induced Neurodegeneration in <i>C. elegans</i>

Parkinson's disease (PD), the second most prevalent neurodegenerative disease after Alzheimer's disease, is linked to the gradual loss of dopaminergic neurons in the substantia nigra. Disease loci causing hereditary forms of PD are known, but most cases are attributable to a combination of genetic and environmental risk factors. Increased incidence of PD is associated with rural living and pesticide exposure, and dopaminergic neurodegeneration can be triggered by neurotoxins such as 6-hydroxydopamine (6-OHDA). In C. elegans, this drug is taken up by the presynaptic dopamine reuptake transporter (DAT-1) and causes selective death of the eight dopaminergic neurons of the adult hermaphrodite. Using a forward genetic approach to find genes that protect against 6-OHDA-mediated neurodegeneration, we identified tsp-17, which encodes a member of the tetraspanin family of membrane proteins. We show that TSP-17 is expressed in dopaminergic neurons and provide genetic, pharmacological and biochemical evidence that it inhibits DAT-1, thus leading to increased 6-OHDA uptake in tsp-17 loss-of-function mutants. TSP-17 also protects against toxicity conferred by excessive intracellular dopamine. We provide genetic and biochemical evidence that TSP-17 acts partly via the DOP-2 dopamine receptor to negatively regulate DAT-1. tsp-17 mutants also have subtle behavioral phenotypes, some of which are conferred by aberrant dopamine signaling. Incubating mutant worms in liquid medium leads to swimming-induced paralysis. In the L1 larval stage, this phenotype is linked to lethality and cannot be rescued by a dop-3 null mutant. In contrast, mild paralysis occurring in the L4 larval stage is suppressed by dop-3, suggesting defects in dopaminergic signaling. In summary, we show that TSP-17 protects against neurodegeneration and has a role in modulating behaviors linked to dopamine signaling

Correlation of urban built form, density and energy performance

In order to optimize the energy consumption in cities and enhance the potential of using renewable energy sources, the form of the city is considered as an influential factor. Numerous indicators have been used to analyse the effect of density and other characteristics of urban form on energy use. The paper presents results of an investigation into the relationships of building energy performance with two important urban density indicators, namely site coverage and volume-area ratio. Generic mathematical model of pavilion urban built form has been developed in order to compare and contrast its land-use/density characteristics with energy performance. Energy analysis has been performed on geometrical models using urban simulation software. The relationship between energy and density indicators are compared by considering an important variables, namely plan depth, cut-off angle and number of storeys. The city of London, representing a temperate climate, is considered as a case study. According to the results, high-rise buildings with deeper plans achieve higher energy efficiency. However, in case of including PV energy generation, low-rise buildings with deeper plans illustrate better total energy performance. Graphical results provide urban planning guidelines that can be used by urban designers, planners and architects to facilitate the most energy-efficient built form density for promoting more sustainable cities

Green Urbanism and its Application to Singapore

Green urbanism has been applied to cities but not in Asia. Seven characteristics of green urbanism are outlined and then applied to Singapore. The Renewable City is not yet a concept for Singapore. The Carbon Neutral City is being developed for an island Palau Ubin and by some firms but not to significant sectors or parts of urban Singapore. The Distributed City is being developed around Singapore’s polycentric model but needs specific infrastructure plans similar to ones developed by Singapore for Tianjin Eco-City. The Biophillic City is being developed as a world first through its Skyrise Greenery initiative and urban landscaping. The Eco-Efficient City is also being demonstrated through Singapore closing the loop on their water and solid waste systems. The Place Based City is very evident in all its 22 sub centres. And the Sustainable Transport City is an Asian leader in integrated transport planning though there are signs of this becoming harder to achieve

The Caenorhabditis elegans Gene mfap-1 Encodes a Nuclear Protein That Affects Alternative Splicing

RNA splicing is a major regulatory mechanism for controlling eukaryotic gene expression. By generating various splice isoforms from a single pre–mRNA, alternative splicing plays a key role in promoting the evolving complexity of metazoans. Numerous splicing factors have been identified. However, the in vivo functions of many splicing factors remain to be understood. In vivo studies are essential for understanding the molecular mechanisms of RNA splicing and the biology of numerous RNA splicing-related diseases. We previously isolated a Caenorhabditis elegans mutant defective in an essential gene from a genetic screen for suppressors of the rubberband Unc phenotype of unc-93(e1500) animals. This mutant contains missense mutations in two adjacent codons of the C. elegans microfibrillar-associated protein 1 gene mfap-1. mfap-1(n4564 n5214) suppresses the Unc phenotypes of different rubberband Unc mutants in a pattern similar to that of mutations in the splicing factor genes uaf-1 (the C. elegans U2AF large subunit gene) and sfa-1 (the C. elegans SF1/BBP gene). We used the endogenous gene tos-1 as a reporter for splicing and detected increased intron 1 retention and exon 3 skipping of tos-1 transcripts in mfap-1(n4564 n5214) animals. Using a yeast two-hybrid screen, we isolated splicing factors as potential MFAP-1 interactors. Our studies indicate that C. elegans mfap-1 encodes a splicing factor that can affect alternative splicing.National Natural Science Foundation (China) (Grant 30971639)United States. National Institutes of Health (Grant GM24663

Bilobalide modulates serotonin-controlled behaviors in the nematode Caenorhabditis elegans

<p>Abstract</p> <p>Background</p> <p>Dysfunctions in the serotonergic system have been implicated in several neurological disorders such as depression. Elderly individuals who have been diagnosed with clinical depression show elevated cases of neurodegenerative diseases. This has led to suggestions that modulating the serotonin (5-HT) system could provide an alternative method to current therapies for alleviating these pathologies. The neuroprotective effects of bilobalide <it>in vitro </it>have been documented. We aim to determine whether bilobalide affects the 5-HT system in the nematode <it>C. elegans</it>. The wild type worms, as well as well-characterized 5-HT mutants, were fed with bilobalide in a range of concentrations, and several 5-HT controlled behaviors were tested.</p> <p>Results</p> <p>We observed that bilobalide significantly inhibited 5-HT-controlled egg-laying behavior in a dose-dependent manner, which was blocked in the 5-HT receptor mutants (<it>ser-4, mod-1</it>), but not in the 5-HT transporter (<it>mod-5</it>) or synthesis (<it>tph-1</it>) mutants. Bilobalide also potentiated a 5-HT-controlled, experience-dependent locomotory behavior, termed the enhanced slowing response in the wild type animals. However, this effect was fully blocked in 5-HT receptor <it>mod-1 </it>and dopamine defective <it>cat-2 </it>mutants, but only partially blocked in <it>ser-4 </it>mutants. We also demonstrated that acetylcholine transmission was inhibited in a transgenic <it>C. elegans </it>strain that constitutively expresses Aβ, and bilobalide did not significantly affect this inhibition.</p> <p>Conclusion</p> <p>These results suggest that bilobalide may modulate specific 5-HT receptor subtypes, which involves interplay with dopamine transmission. Additional studies for the function of bilobalide in neurotransmitter systems could aid in our understanding of its neuroprotective properties.</p

Heterostructures for High Performance Devices

Contains table of contents for Part I, table of contents for Section 1, an introduction, reports on eighteen research projects and a list of publications.Charles S. Draper Laboratories Contract DL-H-418483DARPA/NCIPTJoint Services Electronics Program Contract DAAL03-89-C-0001Joint Services Electronics Program Contract DAAL03-92-C-0001IBM Corporation FellowshipNational Science Foundation FellowshipVitesse SemiconductorGTE LaboratoriesCharles S. Draper LaboratoriesElectronics and Telecommunications Research Institute (ETRI) FellowshipNational Science Foundation/Northeastern UniversityTRW SystemsU.S. Army Research OfficeNational Science FoundationAT&T Bell Laboratories FellowshipNational Science Foundation Grant ECS 90-0774

Sperm Chromatin-Induced Ectopic Polar Body Extrusion in Mouse Eggs after ICSI and Delayed Egg Activation

Meiotic chromosomes in an oocyte are not only a maternal genome carrier but also provide a positional signal to induce cortical polarization and define asymmetric meiotic division of the oocyte, resulting in polar body extrusion and haploidization of the maternal genome. The meiotic chromosomes play dual function in determination of meiosis: 1) organizing a bipolar spindle formation and 2) inducing cortical polarization and assembly of a distinct cortical cytoskeleton structure in the overlying cortex for polar body extrusion. At fertilization, a sperm brings exogenous paternal chromatin into the egg, which induces ectopic cortical polarization at the sperm entry site and leads to a cone formation, known as fertilization cone. Here we show that the sperm chromatin-induced fertilization cone formation is an abortive polar body extrusion due to lack of spindle induction by the sperm chromatin during fertilization. If experimentally manipulating the fertilization process to allow sperm chromatin to induce both cortical polarization and spindle formation, the fertilization cone can be converted into polar body extrusion. This suggests that sperm chromatin is also able to induce polar body extrusion, like its maternal counterpart. The usually observed cone formation instead of ectopic polar body extrusion induced by sperm chromatin during fertilization is due to special sperm chromatin compaction which restrains it from rapid spindle induction and therefore provides a protective mechanism to prevent a possible paternal genome loss during ectopic polar body extrusion