A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions： all morphisms have types and the composition ...A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions： all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed： cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.展开更多
Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communiti...Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communities or corporate communities） in mobile social networks is a very promising problem. For example, it can help mobile operators to determine the target users for precision marketing. In this paper we propose discovering typed communities in mobile social networks by utilizing the labels of relationships between users. We use the user logs stored by mobile operators, including communication and user movement records, to collectively label all the relationships in a network, by employing an undirected probabilistic graphical model, i.e., conditional random fields. Then we use two methods to discover typed communities based on the results of relationship labeling： one is simply retaining or cutting relationships according to their labels, and the other is using sophisticated weighted community detection algorithms. The experimental results show that our proposed framework performs well in terms of the accuracy of typed community detection in mobile social networks.展开更多
Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84...Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84)anionic metal-organic frameworks(MOFs),where NJTU-Bai83=(Me_(2)NH_(2))2[Zn_(3)(trz)_(2)(ox)_(3)]·2H_(2)O and NJTU-Bai84=(Me_(2)NH_(2))[Zn_(3)(trz)_(3)(ox)_(2)]·H_(2)O,respectively.With the[Zn_(2)(ox)4(trz)_(2)]secondary building unit(SBU)in NJTU-Bai83 replaced by the[Zn_(3)(ox)_(2)(trz)_(6)]and planar[Zn(ox)_(2)(trz)_(2)]ones in NJTU-Bai84,2D supramolecular building layers(SBLs)are changed from the A-layer and B-layer to another A-layer,while pillars are transformed from the tetrahedral[Zn(ox)_(2)(trz)_(2)]SBU to the irregular tetrahedral[Zn(ox)_(2)(trz)_(2)]and planar[Zn(ox)_(2)(trz)_(2)]SBUs.Thus,cdq-topological quaternary NJTU-Bai83 is tuned to(4,4,8)-c new topological quinary NJTU-Bai84.Two MOFs were well characterized by powder X-ray diffraction,thermogravimetric analysis,elemental analysis,etc.CCDC:2351819,NJTU-Bai83;2351820,NJTU-Bai84.展开更多
The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions ...The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions of their readers. Providers of such content exert a certain level of influence on the receivers and this is evident from blog sites having effect on their readers＇ purchase decisions, political view points, financial planning, and others. By detecting the opinion expressed, we can identify the sentiments on the topics discussed and the influence exerted on the readers. In this paper, we introduce an automatic approach in deriving polarity pattern rules to detect sentiment polarity at the phrase level, and in addition consider the effects of the more complex relationships found between words in sentiment polarity classification. Recent sentiment analysis research has focused on the functional relations of words using typed dependency parsing, providing a refined analysis on the grammar and semantics of textual data. Heuristics are typically used to determine the typed dependency polarity patterns, which may not comprehensively identify all possible rules. We study the use of class sequential rules （CSRs） to automatically learn the typed dependency patterns, and benchmark the performance of CSR against a heuristic method. Preliminary results show CSR leads to further improvements in classification performance achieving over 80% F1 scores in the test eases. In addition, we observe more complex relationships between words that could influence phrase sentiment polarity, and further discuss on possible approaches to handle the effects of these complex relationships.展开更多
The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently de...The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved.展开更多
In this paper, the relationship between the second order typed - calculus 2 and its higher order version is discussed . A purely syntactic proof of the conservativity of over 2 is given.
文摘A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two directions： all morphisms have types and the composition of morphisms is not necessary a morphism. Two aspects of application of typed category theory are discussed： cones and limits of knowledge complexity classes and knowledge completion with pseudo-functors.
基金supported by the Fundamental Research Funds for the Central Universities of Chinathe National Natural Science Foundation of China under Grant No. 60905029the Beijing Natural Science Foundation under Grant No. 4112046
文摘Mobile social networks, which consist of mobile users who communicate with each other using cell phones are reflections of people＇s interactions in social lives. Discovering typed communities （e.g., family communities or corporate communities） in mobile social networks is a very promising problem. For example, it can help mobile operators to determine the target users for precision marketing. In this paper we propose discovering typed communities in mobile social networks by utilizing the labels of relationships between users. We use the user logs stored by mobile operators, including communication and user movement records, to collectively label all the relationships in a network, by employing an undirected probabilistic graphical model, i.e., conditional random fields. Then we use two methods to discover typed communities based on the results of relationship labeling： one is simply retaining or cutting relationships according to their labels, and the other is using sophisticated weighted community detection algorithms. The experimental results show that our proposed framework performs well in terms of the accuracy of typed community detection in mobile social networks.
文摘Different solvothermal reactions of ZnC2O_(4)with oxalic acid(H_(2)ox)and 1,2,4-triazole(Htrz)successfully gave a new quaternary(NJTU-Bai83,NJTU-Bai=Nanjing Tech University Bai's group)and a new quinary(NJTU-Bai84)anionic metal-organic frameworks(MOFs),where NJTU-Bai83=(Me_(2)NH_(2))2[Zn_(3)(trz)_(2)(ox)_(3)]·2H_(2)O and NJTU-Bai84=(Me_(2)NH_(2))[Zn_(3)(trz)_(3)(ox)_(2)]·H_(2)O,respectively.With the[Zn_(2)(ox)4(trz)_(2)]secondary building unit(SBU)in NJTU-Bai83 replaced by the[Zn_(3)(ox)_(2)(trz)_(6)]and planar[Zn(ox)_(2)(trz)_(2)]ones in NJTU-Bai84,2D supramolecular building layers(SBLs)are changed from the A-layer and B-layer to another A-layer,while pillars are transformed from the tetrahedral[Zn(ox)_(2)(trz)_(2)]SBU to the irregular tetrahedral[Zn(ox)_(2)(trz)_(2)]and planar[Zn(ox)_(2)(trz)_(2)]SBUs.Thus,cdq-topological quaternary NJTU-Bai83 is tuned to(4,4,8)-c new topological quinary NJTU-Bai84.Two MOFs were well characterized by powder X-ray diffraction,thermogravimetric analysis,elemental analysis,etc.CCDC:2351819,NJTU-Bai83;2351820,NJTU-Bai84.
文摘The advent of Web 2.0 has led to an increase in user-generated content on the Web. This has provided an extensive collection of free-style texts with opinion expressions that could influence the decisions and actions of their readers. Providers of such content exert a certain level of influence on the receivers and this is evident from blog sites having effect on their readers＇ purchase decisions, political view points, financial planning, and others. By detecting the opinion expressed, we can identify the sentiments on the topics discussed and the influence exerted on the readers. In this paper, we introduce an automatic approach in deriving polarity pattern rules to detect sentiment polarity at the phrase level, and in addition consider the effects of the more complex relationships found between words in sentiment polarity classification. Recent sentiment analysis research has focused on the functional relations of words using typed dependency parsing, providing a refined analysis on the grammar and semantics of textual data. Heuristics are typically used to determine the typed dependency polarity patterns, which may not comprehensively identify all possible rules. We study the use of class sequential rules （CSRs） to automatically learn the typed dependency patterns, and benchmark the performance of CSR against a heuristic method. Preliminary results show CSR leads to further improvements in classification performance achieving over 80% F1 scores in the test eases. In addition, we observe more complex relationships between words that could influence phrase sentiment polarity, and further discuss on possible approaches to handle the effects of these complex relationships.
基金This work was supported by Lebanese National Council for Scientific Research.
文摘The past decade witnessed rapid development of constraint satisfaction technologies, where algorithms are now able to cope with larger and harder problems. However, owing to the fact that constraints are inherently declarative, attention is quickly turning toward developing high-level programming languages within which such problems can be modeled and also solved. Along these lines, this paper presents DEPICT, the language. Its use is illustrated through modeling a number of benchmark examples. The paper continues with a description of a prototype system within which such models may be interpreted. The paper concludes with a description of a sample run of this interpreter showing how a problem modeled as such is typically solved.
文摘In this paper, the relationship between the second order typed - calculus 2 and its higher order version is discussed . A purely syntactic proof of the conservativity of over 2 is given.
