Browsing Journal Articles by Issue Date

UTSePress Research/Manakin Repository

Search UTSePress Research


Advanced Search

Browse

My Account

Browsing Journal Articles by Issue Date

Sort by: Order: Results:

  • A Neural Network Diagnosis Model Without Disorder Independence Assumption 
    Xu Richard; Zhang Chengqi (Springer-verlag Berlin, 1998)
    Generally, the disorders in a neural network diagnosis model are assumed independent each other. In this paper, we propose a neural network model for diagnostic problem solving where the disorder independence assumption ...
  • Compactness In Fuzzy Logic 
    Ying Mingsheng (Science Press, 1998)
    Compactness in Pavelka's fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.
  • Approximate Reasoning With Linguistic Modifiers 
    Ying Mingsheng; Bouchon-Meunier Bernadette (John Wiley & Sons Inc, 1998)
    We analyze the influence of some usual linguistic modifiers, such as scalar product, normalization, Bouchon-Meunier modifiers, perturbation, and (weakening and reinforcement) power, in the process of approximate reasoning ...
  • Modeling and analysis of a mail processing plant using Petri nets 
    Sawhney Anil; Abudayyeh O; Monga A (Elsevier Sci Ltd, 1999)
    This article outlines the utilization of Petri nets as a computerized process modeling and analysis tool for the study of the Edmonton Mail Processing Plant (MPP). Development of new systems or designing improvement in ...
  • A Methodological Metamodel Of Process 
    Henderson-Sellers Brian (Sigs Publications Inc, 1999)
    Modeling languages alone are not enough to build software. Developers really need a full process and a technically focused development model-both discussed in detail here.
  • Perturbation Of Fuzzy Reasoning 
    Ying Mingsheng (IEEE-Inst Electrical Electronics Engineers Inc, 1999)
    We propose the concepts of maximum and average perturbations of fuzzy sets and estimate maximum and average perturbation parameters for various methods of fuzzy reasoning.
  • A Shorter Proof To Uniqueness Of Solutions Of Equations 
    Ying Mingsheng (Elsevier Science Bv, 1999)
    We give a very short proof of uniqueness of solutions of equations regarding observation congruence, the main notion of equality, over Milner's process calculus. (C) 1999-Elsevier Science B.V. All rights reserved.
  • Automata Theory Based On Quantum Logic Ii 
    Ying Mingsheng (Kluwer Academic/Plenum Publ, 2000)
    We establish the pumping lemma in automata theory based on quantum logic under certain conditions on implication, and discuss the recognizability by the product and union of orthomodular lattice-valued (quantum) automata. ...
  • Approximate Reasoning Based On Similarity 
    Biacino L; Gerla G; Ying Mingsheng (Wiley-V C H Verlag Gmbh, 2000)
    The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the ...
  • Automata Theory Based On Quantum Logic. (I) 
    Ying Mingsheng (Kluwer Academic/Plenum Publ, 2000)
    We present a basic Framework of automats theory based on quantum logic. In particular, we introduce the orthomodular lattice-valued (quantum) predicate of recognizability and establish some of its fundamental properties.
  • Weak Confluence And Tau-Inertness 
    Ying Mingsheng (Elsevier Science Bv, 2000)
    We introduce a new definition of weak confluences and show that they are equivalent to tau-inertness without any appealing to tau-well-foundedness. (C) 2000 Elsevier Science B.V. All rights reserved.
  • Evaluating pollutsim: Computer supported Roleplay-Simulation 
    Kirkpatrick Denise; Mclaughlan Robert (Rapid Intellect Group, 2001)
  • Bi-modal emotion recognition from expressive face and body gestures 
    Gunes Hatice; Piccardi Massimo (Elsevier, 2001)
  • Corporate Communications and the rise of the Network Society 
    Lueg Christopher (Institute for Media and Communications Management, University of St.Gallen, Switzerland, 2001)
    The importance of the Internet as an information exchange and communication medium has increased significantly over the past few years. Eriksson (1999) outlines that the daily lives of people are more and more affected by ...
  • A Simple Algorithm For The Planar Multiway Cut Problem 
    Yeh Wei-Chang (Academic Press Inc, 2001)
    The traditional min-cut problem involves finding a cut with minimum weight between two specified vertices. The planar multiway cut problem is a NP-hard generalization of the min-cut problem. It involves separating a weighted ...
  • A researcher's perspective on electronic scholarly communication 
    Lally Elaine (MCBUP Ltd, 2001)
    New information and communications technologies are transforming scholarly communication. Presents a humanities and social sciences researcher's perspective on these changes. Argues that researchers and research intermediaries ...
  • A Model of Gene Expression and Regulation in an Artificial Cellular Organism 
    Kennedy Paul; Osborn Thomas (Complex Systems Publications Inc., 2001)
    Gene expression and regulation may be viewed as a parallel parsing algorithm-translation from a genomic language to a phenotype. We describe a model of gene expression and regulation based on the operon model of Jacob ...
  • Recursive Equations In Higher-Order Process Calculi 
    Ying Mingsheng; Wirsing Martin (Elsevier Science Bv, 2001)
    Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. ...
  • Upper Bound For The Success Probability Of Unambiguous Discrimination Among Quantum States 
    Zhang Shengyu; Feng Yuan; Sun Xiaoming; Ying Mingsheng (American Physical Soc, 2001)
    One strategy to the discrimination problem is to identify the state with certainty, leaving a possibility of undecidability. This paper gives an upper bound for the maximal success probability of unambiguous discrimination ...
  • Fuzzy Topology Based On Residuated Lattice-Valued Logic 
    Ying Mingsheng (Springer-Verlag Singapore Pte Ltd, 2001)
    We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.