Publications

Ying, M 2001, Topology in Process Calculus, Springer New York.
View/Download from: Publisher's site

Ying, M 2001, Topology in process calculus - approximate correctness and infinite evolution of concurrent programs., Springer, New York.

Ying, M 2001, 'Bisimulation and Trace Limits of Agents' in Topology in Process Calculus, Springer New York, pp. 37-94.
View/Download from: Publisher's site

Ying, M 2001, 'Bisimulation Indexes Induced by Metrics on Actions' in Topology in Process Calculus, Springer New York, pp. 139-206.
View/Download from: Publisher's site

Ying, M 2001, 'Conclusion' in Topology in Process Calculus, Springer New York, pp. 207-211.
View/Download from: Publisher's site

Ying, M 2001, 'Introduction' in Topology in Process Calculus, Springer New York, pp. 1-9.
View/Download from: Publisher's site

Ying, M 2001, 'Limit Behavior of Agents' in Topology in Process Calculus, Springer New York, pp. 95-111.
View/Download from: Publisher's site

Ying, M 2001, 'Near Bisimulations Defined by Closures' in Topology in Process Calculus, Springer New York, pp. 113-138.
View/Download from: Publisher's site

Ying, M 2001, 'Process Calculus' in Topology in Process Calculus, Springer New York, pp. 11-36.
View/Download from: Publisher's site

Beydoun, G & Hoffmann, A 2001, 'Theoretical basis for hierarchical incremental knowledge acquisition', INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, vol. 54, no. 3, pp. 407-452.
View/Download from: Publisher's site

Boumans, RM, Villa, F, Costanza, R, Voinov, A, Voinov, H & Maxwell, T 2001, 'Non-spatial calibrations of a general unit model for ecosystem simulations', Ecological Modelling, vol. 146, no. 1-3, pp. 17-32.
View/Download from: Publisher's site

Catchpoole, DR & Lock, RB 2001, 'The potential tumour suppressor role for caspase-9 (CASP9) in the childhood malignancy, neuroblastoma', European Journal of Cancer, vol. 37, no. 17, pp. 2217-2221.
View/Download from: Publisher's site
View description>>

The clinical aggressiveness of neuroblastoma, a childhood embryonal tumour of neuroectodermal cells derived from the neural crest, is considered to be dictated by the competitive interactions between cell proliferation, differentiation and apoptosis. Caspase-9 is a central effector enzyme in the apoptotic mechanism. Recent studies with caspase-9 (CASP9) knockout mice indicate a primary defect in the brain caused by decreased apoptosis during the early stages of nervous system development. It is our hypothesis that silencing of CASP9 through genetic mutations may promote neuroblastoma tumorigenesis. Here, we report the outcome of screening neuroblastoma tumours for silencing mutations in CASP9. cDNA prepared from RNA isolated from 22 neuroblastoma tumours representing the full range of neuroblastoma clinicopathological disease stages was sequenced. Single nucleotide changes were detected in all neuroblastoma tumours, but were found not to represent silencing mutations, but rather sequence polymorphisms. These polymorphisms did not associate with the clinicopathological stages of disease or the predicted clinical outcomes of the patients. Silencing mutations of CASP9 are therefore unlikely to be causal to neuroblastoma tumorigenesis. © 2001 Elsevier Science Ltd. All rights reserved.

Cetindamar, D 2001, 'The role of regulations in the diffusion of environment technologies: micro and macro issues', European Journal of Innovation Management, vol. 4, no. 4, pp. 186-193.
View/Download from: Publisher's site
View description>>

Analyzes the impact of regulations on the process of the diffusion and development of environment technologies from the perspective of both firm and technology policies. Based on a case study in the Turkish fertilizer industry, observes that regulations and public pressures are the main determinants both in the transfer and in the diffusion of environment technologies, indicating the importance of the institutional infrastructure, namely the interplay among firms, government and non‐governmental organizations. Thus, attempts to integrate the findings of the study and concludes with some technology policy issues both at the micro and macro level.

Chia-Feng Juang & Chgin-Teng Lin 2001, 'Noisy speech processing by recurrently adaptive fuzzy filters', IEEE Transactions on Fuzzy Systems, vol. 9, no. 1, pp. 139-152.
View/Download from: Publisher's site

Chi-Hsu Wang, Han-Leih Liu & Chin-Teng Lin 2001, 'Dynamic optimal learning rates of a certain class of fuzzy neural networks and its applications with genetic algorithm', IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol. 31, no. 3, pp. 467-475.
View/Download from: Publisher's site

Costanza, R & Voinov, A 2001, 'Modeling ecological and economic systems with STELLA: Part III', Ecological Modelling, vol. 143, no. 1-2, pp. 1-7.
View/Download from: Publisher's site

de Cooman, G, Zhang, G & E. Kerre, E 2001, 'Possibility measures and possibility integrals defined on a complete lattice', Fuzzy Sets and Systems, vol. 120, no. 3, pp. 459-467.
View/Download from: Publisher's site

Der-Jenq Liu & Chin-Teng Lin 2001, 'Fundamental frequency estimation based on the joint time-frequency analysis of harmonic spectral structure', IEEE Transactions on Speech and Audio Processing, vol. 9, no. 6, pp. 609-621.
View/Download from: Publisher's site

Dovey, K & Onyx, J 2001, 'Generating social capital at the workplace: a South African case of inside-out social renewal', International Journal of Lifelong Education, vol. 20, no. 3, pp. 151-168.
View/Download from: Publisher's site

Dovey, K, Green, J & McQueen, M 2001, 'Academic Learning Revisited: Curriculum innovation in an Australian university', Teaching in Higher Education, vol. 6, no. 3, pp. 383-397.
View/Download from: Publisher's site
View description>>

The paper explores an attempt by a small team of staff within the School of Management at the University of Technology Sydney (UTS) to transform the only postgraduate third sector management programme offered in Australia, in response to powerful external and internal pressures for change. After analysing the nature of these contextual imperatives for the transformation of the programme, the paper outlines the rationale underpinning the new programme and the 'intrapreneurial' process that accompanied its implementation. Thereafter, the results of an evaluation of the transformed programme, conducted after the first phase of strategic action, are presented, with specific attention given to an analysis of the politics of its implementation and the nature of the learning gained by the participants in the programme.

Gin-Der Wu & Chin-Teng Lin 2001, 'A recurrent neural fuzzy network for word boundary detection in variable noise-level environments', IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol. 31, no. 1, pp. 84-97.
View/Download from: Publisher's site

Hsi-Wen Nein & Chin-Teng Lin 2001, 'Incorporating error shaping technique into LSF vector quantization', IEEE Transactions on Speech and Audio Processing, vol. 9, no. 2, pp. 73-86.
View/Download from: Publisher's site

J. J., W, S. H., L, Lin, C & J. H., H 2001, 'Modeling the arterial unloaded situation in oscillometric blood pressure waveform measurement using fuzzy logic control'.

Kennedy, PJ & Osborn, T 2001, 'A Model of Gene Expression and Regulation in an Artificial Cellular Organism', Complex Systems, vol. 13, no. 1.
View description>>

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 and Monod. Operons are groups of genes regulated in the same way. An artificial cellular metabolism expresses operons encoded on a genome in a parallel genomic language. This is accomplished using an abstract entity called a spider. A genetic algorithm is used to evolve the simulated cells to adapt to a simple environment. Genomes are subjected to recombination, mutation, and inversion operators. Observations from this experiment suggest four areas to explore: dynamic environments for the evolution of regulation, advantages of time lags inherent in the expression algorithm, sensitivity of our genomic language, and noncoding regions on the genome. Issues relating to the application of the expression model to evolutionary computation are discussed.

Lin, C-T, Chung, I-F & Huang, S-Y 2001, 'Improvement of machining accuracy by fuzzy logic at corner parts for wire-EDM', Fuzzy Sets and Systems, vol. 122, no. 3, pp. 499-511.
View/Download from: Publisher's site

Peaston, AE, Gardaneh, M, Franco, AV, Hocker, JE, Murphy, KM, Farnsworth, ML, Catchpoole, DR, Haber, M, Norris, MD, Lock, RB & Marshall, GM 2001, 'MRP1 gene expression level regulates the death and differentiation response of neuroblastoma cells', British Journal of Cancer, vol. 85, no. 10, pp. 1564-1571.
View/Download from: Publisher's site
View description>>

We have previously reported a strong correlation between poor prognosis in childhood neuroblastoma (NB) patients and high-level expression of the transmembrane efflux pump, Multidrug Resistance-associated Protein (MRP1), in NB tumour tissue. In this study, we inhibited the endogenous expression of MRP1 in 2 different NB tumour cell lines by stably transfecting an MRP1 antisense expression vector (MRP-AS). Compared with control cells, MRP-AS transfectant cells demonstrated a higher proportion of dead and morphologically apoptotic cells, spontaneous neuritogenesis, and, increased synaptophysin and neurofilament expression. Bcl-2 protein expression was markedly reduced in MRP-AS cells compared to controls. Conversely, we found that the same NB tumour cell line overexpressing the full-length MRP1 cDNA in sense orientation (MRP-S) demonstrated resistance to the neuritogenic effect of the differentiating agent, all-trans-retinoic acid. Taken together, the results suggest that the level of MRP1 expression in NB tumour cells may influence the capacity of NB cells for spontaneous regression in vivo through cell differentiation and death. © 2001 Cancer Research Campaign.

Shing-Hong Liu & Chin-Teng Lin 2001, 'A model-based fuzzy logic controller with Kalman filtering for tracking mean arterial pressure', IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol. 31, no. 6, pp. 676-686.
View/Download from: Publisher's site

Wu, SJ & Lin, CT 2001, 'Optimal fuzzy tracking controller design for discrete-time fuzzy systems', Zidonghua Xuebao Acta Automatica Sinica, vol. 27, no. 4, pp. 477-494.
View description>>

In this paper, we propose a systematic and theoretically sound way to design a global optimal fuzzy tracking controller for discrete-time fuzzy systems with the aim of solving the discrete-time quadratic tracking problems with moving or model-following targets under finite or infinite horizon (time). A linear-like dynamical system representation of discrete-time fuzzy system is proposed to mature the theoretical design scheme of the discrete-time optimal fuzzy tracking controller which can achieve global minimum effect. A multistage decomposition of optimization scheme is proposed to simplify the computation, and then a segmental recursive Riccati-like equation and a difference equation in tracing the variation of the target are derived. Moreover, in the case of time-invariant fuzzy tracking systems, we show that the optimal tracking controller can be obtained by just solving discrete-time algebraic Riccati-like equations and algebraic matrix equations. An example is given to illustrate the proposed opti mal fuzzy tracker design scheme.

Ying, MS 2001, 'Fuzzy topology based on residuated lattice-valued logic', ACTA MATHEMATICA SINICA-ENGLISH SERIES, vol. 17, no. 1, pp. 89-102.
View description>>

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.

Ying, MS & Wirsing, M 2001, 'Recursive equations in higher-order process calculi', THEORETICAL COMPUTER SCIENCE, vol. 266, no. 1-2, pp. 839-852.
View/Download from: Publisher's site
View description>>

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. In this paper, uniqueness of

ZHANG, G, KERRE, EE, WU, Y & TEO, KL 2001, 'NECESSITY MEASURES AND NECESSITY INTEGRALS ON A COMPLETE LATTICE', International Journal of General Systems, vol. 30, no. 3, pp. 241-260.
View/Download from: Publisher's site

Zhang, S, Feng, Y, Sun, X & Ying, M 2001, 'Upper bound for the success probability of unambiguous discrimination among quantum states', Physical Review A Atomic Molecular and Optical Physics, vol. 64, no. 6, p. 062103/3.
View description>>

The general prediction of n quantum states was examined. An upper bound for success probability of unambiguous discrimination was established. The bound coincides with the known extended IDP limit when two states are concerned.

Zhang, SY, Feng, Y, Sun, XM & Ying, MS 2001, 'Upper bound for the success probability of unambiguous discrimination among quantum states', PHYSICAL REVIEW A, vol. 64, no. 6, pp. 3-3.
View/Download from: Publisher's site
View description>>

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 among n states. This bound coincides with the known IDP limit when two states are considered. © 2001 The American Physical Society.

Zharova, N, Sfriso, A, Voinov, A & Pavoni, B 2001, 'A simulation model for the annual fluctuation of Zostera marina biomass in the Venice lagoon', Aquatic Botany, vol. 70, no. 2, pp. 135-150.
View/Download from: Publisher's site

Cetindamar, D 1970, 'Turkish entrepreneurs in information and communication industry', PICMET '01. Portland International Conference on Management of Engineering and Technology. Proceedings Vol.1: Book of Summaries (IEEE Cat. No.01CH37199), PICMET '01. Portland International Conference on Management of Engineering and Technology. Technology Management in the Knowledge Era. Selected Papers, PICMET - Portland State Univ, PORTLAND, OR, pp. 100-106.
View/Download from: Publisher's site

Chin-Teng Lin, I-Fang Chung & Jiann-Yow Lin 1970, 'Multipurpose virtual-reality-based motion simulator', 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), IEEE International Conference on Systems, Man & Cybernetics, IEEE, pp. 2846-2851.
View/Download from: Publisher's site
View description>>

Public security has become an important issue everywhere. Especially, the safe manipulation and control of various machines and vehicles has gained special attention such that the authorities keep emphasizing the strict training and censoring of human operators. Currently, such training and censoring process usually relies on the actual machines, equipment, or vehicles in the real sites. This not only has high demands in space, time and cost, but also causes another phase of public security problem. In this connection, the world-wide trend is to tackle the above dilemma by using virtual reality (VR). However, the current researches or products on VR are more matured in the software display part of VR. How to combine 3D VR display with motion platform to achieve the aforementioned training and censoring purposes is an important research issue. This paper focuses on this research issue, and the goal is to develop a multipurpose virtual-reality-based motion simulation system to meet the requirements of public security in training and censoring of human operators.

Dovey, KA, Green, J & McQueen, M 1970, 'Partnerships in educational networks in community organisations', Conference working papers: the Third Sector: For what and for whom?, ISTR Fourth International Conference, International Society for Third Sector Research, Dublin, Ireland.

Fun-Bin Duh & Chin-Teng Lin 1970, 'Tracking a maneuvering target using neural fuzzy network', 10th IEEE International Conference on Fuzzy Systems. (Cat. No.01CH37297), 10th Annual IEEE Conference on Fuzzy Systems, IEEE, UNIV MELBOURNE, MELBOURNE, AUSTRALIA, pp. 1255-1258.
View/Download from: Publisher's site

Gin-Der Wu & Chin-Teng Lin 1970, 'Noisy speech segmentation with multiband analysis and recurrent neural fuzzy network', Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569), Joint 9th IFSA World Congress and 20th NAFIPS International Conference, IEEE, VANCOUVER, CANADA, pp. 540-544.
View/Download from: Publisher's site

I-Fang Chung & Chin-Teng Lin 1970, 'A neuro-fuzzy combiner for multiobjective control', Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569), Joint 9th IFSA World Congress and 20th NAFIPS International Conference, IEEE, VANCOUVER, CANADA, pp. 1384-1389.
View/Download from: Publisher's site

Kennedy, PJ & Osborn, T 1970, 'A double-stranded Encoding Scheme with inversion operator for Genetic Algorithms', Proceedings of Genetic and Evolutionary Computation Conference, Genetic and Evolutionary Computation Conference, Morgan Kaufmann, San Francisco, USA, pp. 398-407.

Leaney, J, Rowe, D, O'Neill, T, Hoye, S & Gionis, P 1970, 'Measuring the effectiveness of computer based systems: an open system measurement example', Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001, Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001, IEEE Comput. Soc, Washington DC USA, pp. 179-188.
View/Download from: Publisher's site

Lister, R 1970, 'Objectives and objective assessment in CS1', ACM SIGCSE Bulletin, Association for Computing Machinery (ACM), pp. 292-296.
View/Download from: Publisher's site
View description>>

When designing a first semester 'CS1' programming subject, I advocate 'truth in sentencing'. That is, the objectives should be explicit, and the assessment tasks should reflect the objectives. This may appear to be a statement of the obvious, but few subjects satisfy these criteria. The traditional CS1 approach is to set students the task of writing extensive code, as early as possible. On closer inspection of such subjects, one finds marking schemes for exams and assignments that are generous to the point of being inconsistent with the subject objectives. Instead, students should not write any original code in CS1, and should be examined by multiple choice question.

Lister, R & Jerram, P 1970, 'Design for Web-based on-demand multiple choice exams using XML', Proceedings IEEE International Conference on Advanced Learning Technologies, IEEE International Conference on Advanced Learning Technologies, IEEE Comput. Soc, pp. 383-384.
View/Download from: Publisher's site
View description>>

We describe a Web based system for the delivery and marking of multiple-choice questions. While other Web systems exist that deliver such exams, those systems require either the manual mark-up of static exam questions, or generate different versions of an exam with limited variability. Such approaches result in exams that should only be administered once to a specific student. Our system is more general in how it generates different versions of an exam, using XML. © 2001 IEEE.

Lister, RF & Jerram, P 1970, 'Minimal Mark-Up of multiple choice exams using XML', Proceedings of ASCILITE 2001, Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education, Biomedical Multimedia Unit, University of Melbourne, Melbourne, Victoria, pp. 101-104.
View description>>

We describe a minimal XML mark-up for multiple choice exams. In our system, exams may be generated at anytime, by choosing a subset of questions from a pool. Furthermore, the system randomises the order of the choices within each chosen question. Thus a student may sit the exam many times. Our first version of this system has been described elsewhere. In this paper, we discuss the limitations of our first system that led to our current work, and give a description of the new system features, including XML tags for supporting collaborative authoring.

O'Neill, T & Leaney, J 1970, 'Risk management for an open CBS project', Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001, Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer Based Systems-ECBS 2001, IEEE Comput. Soc, Washington DC, pp. 45-53.
View/Download from: Publisher's site

Ruta, D & Gabrys, B 1970, 'Application of the Evolutionary Algorithms for Classifier Selection in Multiple Classifier Systems with Majority Voting', Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Berlin Heidelberg, pp. 399-408.
View/Download from: Publisher's site
View description>>

© Springer-Verlag Berlin Heidelberg 2001. In many pattern recognition tasks, an approach based on combining classifiers has shown a significant potential gain in comparison to the performance of an individual best classifier. This improvement turned out to be subject to a sufficient level of diversity exhibited among classifiers, which in general can be assumed as a selective property of classifier subsets. Given a large number of classifiers, an intelligent classifier selection process becomes a crucial issue of multiple classifier system design. In this paper, we have investigated three evolutionary optimization methods for the classifier selection task. Based on our previous studies of various diversity measures and their correlation with majority voting error we have adopted majority voting performance computed for the validation set directly as a fitness function guiding the search. To prevent from training data overfitting we extracted a population of best unique classifier combinations, and used them for second stage majority voting. In this work we intend to show empirically, that using efficient evolutionary-based selection leads to the results comparable to absolutely best, found exhaustively. Moreover, as we showed for selected datasets, introducing a second stage combining by majority voting has the potential for both, further improvement of the recognition rate and increase of the reliability of combined outputs.

Shing-Hong Liu, Chin-Teng Lin & Jia-Jung Wang 1970, 'A model-based fuzzy logic controller for tracking mean arterial pressure', 10th IEEE International Conference on Fuzzy Systems. (Cat. No.01CH37297), 10th Annual IEEE Conference on Fuzzy Systems, IEEE, UNIV MELBOURNE, MELBOURNE, AUSTRALIA, pp. 1495-1497.
View/Download from: Publisher's site

Smith, I, Lister, R, Ray, M & Hawson, G 1970, 'Naive Bayesian prediction of bleeding after heart by-pass surgery', The Seventh Australian and New Zealand Intelligent Information Systems Conference, 2001, ANZIIS 2001. Proceedings of the Seventh Australian and New Zealand Intelligent Information Systems Conference, IEEE, Perth, WA, pp. 317-321.
View/Download from: Publisher's site
View description>>

© 2001 ARCME, Univ of WA. Excessive post-operative bleeding occurs in approximately one out of eight patients who undergo heart bypass surgery. Earlier workers have identified laboratory parameters that are correlated with post-operative blood loss but these correlations are not strong enough to be clinically useful. This paper describes a predictor that combines several of these parameters using Naive Bayesian Reasoning, to produce a clinically useful predictor of blood loss.

Zhongwen Li, Shui Yu & Leming Li 1970, 'A new safety mechanism of active networks', 2001 International Conferences on Info-Tech and Info-Net. Proceedings (Cat. No.01EX479), 2001 International Conferences on Info-tech and Info-net., IEEE, pp. 779-785.
View/Download from: Publisher's site
View description>>

© 2001 IEEE. Security and safety are important factors that baffle the development and practicality of active networks. However, most research on active networks focuses on security. Based on the analysis of safety requirements of active networks and possibility of using the safety kernel that is a new concept of safety assurance, this paper presents a safety assurance mechanism SKAN for active networks. We design it from several important aspects of safety policy, practice of SKAN, reuse and effect. SKAN can address common problems found in active networks, such as lack of the effective support of application variety and expressiveness of safety policy, etc.

Zowghi, D & Gervasi, V 1970, 'Why is RE for web-based software development easier?', Proceedings of 7th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’01), International Workshop on Requirements Engineering: Foundation for Software Quality, Essener Informatik Beitrage, Interlaken-Switzerland, pp. 215-220.

Zowghi, D, Damian, DE & Offen, R 1970, 'Field studies of requirements engineering in a multi-site software development organization: research in progress', Proceedings of 6th Australian Workshop on Requirements Engineering, Australian Workshop on Requirements Engineering, UNSW, UNSW, Sydney, pp. 14-20.

Zowghi, D, Gervasi, V, McRae, A, SOCIETY, IC, SOCIETY, IC & SOCIETY, IC 1970, 'Using default reasoning to discover inconsistencies in natural language requirements', APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, Asia-Pacific Software Engineering Conference, IEEE, Macau, pp. 133-140.
View/Download from: Publisher's site

Mann, G, Armstrong, B, Preston, P & Drake, BJ University of New South Wales 2001, A Dynamically-Balanced Walking Biped, no. UNSW-CSE-TR-0110.