Possible Superconductivity at 37 K in Graphite-Sulfur Composite

Sulfur intercalated graphite composites with diamagnetic transitions at 6.7 K and 37 K are prepared. The magnetization hysteresis loops (MHL), Xray diffraction patterns, and resistance were measured. From the MHL, a slight superconducting like penetration process is observed at 15 K in low field region. The XRD shows no big difference from the mixture of graphite and sulfur indicating that the volume of the superconducting phase (if any) is very small. The temperature dependence of resistance shows a typical semiconducting behavior with a saturation in low temperature region. This saturation is either induced by the de-localization of conducting electrons or by possible superconductivity in this system.Comment: CHIN. PHYS.LETT v18 1648 (2001

Computing top intersections in the tautological ring of MgM_g

We derive effective recursion formulae of top intersections in the tautological ring $R^*(M_g)$ of the moduli space of curves of genus $g\geq 2$. As an application, we prove a convolution-type tautological relation in $R^{g-2}(M_g)$.Comment: 18 page

OWL-Full Reasoning from an Object Oriented Perspective

Bridging the gap between OWL and Object-Oriented Programming (OOP) languages is an indispensable condition to enable the Object-Oriented Modeling in Software Engineering by OWL. However it is very difficult in case of static OOP languages like Java and C#. We have developed SWCLOS, which is an OWL processor seamlessly built on top of Common Lisp Object System (CLOS), a dynamic OOP language. SWCLOS allows programmers to develop application domain models by OWL and enables OOP upon the models. In this paper, we explain the semantic gap between OWL and OOP languages, introduce the RDFS and OWL realization at SWCLOS, and discuss the OWL features from OOP perspectives. Finally we demonstrate the OWL-Full level performance in SWCLOS

Full Satisfiability of UML Class Diagrams

UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expressed by UCDs one can exploit automated reasoning tools to detect relevant properties, such as schema and class satisfiability and subsumption between classes. Among the reasoning tasks of interest, the basic one is detecting full satisfiability of a diagram, i.e., whether there exists an instantiation of the diagram where all classes and associations of the diagram are non-empty and all the constraints of the diagram are respected. In this paper we establish tight complexity results for full satisfiability for various fragments of UML class diagrams. This investigation shows that the full satisfiability problem is ExpTime-complete in the full scenario, NP-complete if we drop isa between relationships, and NLogSpace-complete if we further drop covering over classes

Differential distribution of aggrecan isoform in perineuronal nets of the human cerebral cortex

Aggrecan is a component of the CNS extracellular matrix (ECM) and we show here that the three primary alternative spliced transcripts of the aggrecan gene found in cartilage are also present in the adult CNS. Using a unique panel of core protein-directed antibodies against human aggrecan we further show that different aggrecan isoforms are deposited in perineuronal nets (PNNs) and neuropil ECM of Brodmann’s area 6 of the human adult cerebral cortex. According to their distribution pattern, the identified cortical aggrecan isoforms were subdivided into five clusters spanning from cluster 1, comprised isoforms that appeared widespread throughout the cortex, to cluster 5, which was an aggrecan-free subset. Comparison of brain and cartilage tissues showed a different relative abundance of aggrecan isoforms, with cartilage-specific isoforms characterizing cluster 5, and PNN-associated isoforms lacking keratan sulphate chains. In the brain, isoforms of cluster 1 were disclosed in PNNs surrounding small-medium interneurons of layers II–V, small-medium pyramidal neurons of layers III and V and large interneurons of layer VI. Aggrecan PNNs enveloped both neuron bodies and neuronal processes, encompassing pre-terminal nerve fibres, synaptic boutons and terminal processes of glial cells and aggrecan was also observed in continuous ‘coats’ associated with satellite, neuron-associated cells of a putative glial nature. Immunolabelling for calcium-binding proteins and glutamate demonstrated that aggrecan PNNs were linked to defined subsets of cortical interneurons and pyramidal cells. We suggest that in the human cerebral cortex, discrete, layer-specific PNNs are assembled through the participation of selected aggrecan isoforms that characterize defined subsets of cortical neurons

Differential distribution of aggrecan isoforms in perineuronal nets of the human cerebral cortex

Abstract Aggrecan is a component of the CNS extracellular matrix (ECM) and we show here that the three primary alternative spliced transcripts of the aggrecan gene found in cartilage are also present in the adult CNS. Using a unique panel of core protein-directed antibodies against human aggrecan we further show that different aggrecan isoforms are deposited in perineuronal nets (PNNs) and neuropil ECM of Brodmann's area 6 of the human adult cerebral cortex. According to their distribution pattern, the identified cortical aggrecan isoforms were subdivided into five clusters spanning from cluster 1, comprised isoforms that appeared widespread throughout the cortex, to cluster 5, which was an aggrecan-free subset. Comparison of brain and cartilage tissues showed a different relative abundance of aggrecan isoforms, with cartilage-specific isoforms characterizing cluster 5, and PNN-associated isoforms lacking keratan sulphate chains. In the brain, isoforms of cluster 1 were disclosed in PNNs surrounding small-medium interneurons of layers II-V, small-medium pyramidal neurons of layers III and V and large interneurons of layer VI. Aggrecan PNNs enveloped both neuron bodies and neuronal processes, encompassing pre-terminal nerve fibres, synaptic boutons and terminal processes of glial cells and aggrecan was also observed in continuous 'coats' associated with satellite, neuron-associated cells of a putative glial nature. Immunolabelling for calcium-binding proteins and glutamate demonstrated that aggrecan PNNs were linked to defined subsets of cortical interneurons and pyramidal cells. We suggest that in the human cerebral cortex, discrete, layer-specific PNNs are assembled through the participation of selected aggrecan isoforms that characterize defined subsets of cortical neurons

An Order-Sorted Quantified Modal Logic for Meta-Ontology

The notions of meta-ontology enhance the ability to process knowledge in information systems; in particular, ontological property classification deals with the kinds of properties in taxonomic knowledge based on a philosophical analysis. The goal of this paper is to devise a reasoning mechanism to check the ontological and logical consistency of knowledge bases, which is important for reasoning services on taxonomic knowledge. We first consider an ontological property classification that is extended to capture individual existence and time and situation dependencies. To incorporat