Vol. 42 No. 1 (1998)

PREFACE

R. Albrecht , G. Németh

3
- PDF
TOWARDS MODELS OF REALISTIC COMPUTING MACHINES IN COMPUTER SCIENCE

Monica Alderighi, Andrea Bordoni, Giovani A. Mojoli, Alessandro Sala, Giacomo R. Sechi, S. Vinati

5-24
- PDF
LOGICAL COMBINATORS FOR SYSTEM CONFIGURATION

Gillian Hill

25-32
- PDF
TOWARDS A COMPLETE DESCRIPTION OF PROCESSING SYSTEMS

Hermann von Issendorff

33-47
- PDF
BROADCAST AUTOMATA: A COMPUTATIONAL MODEL FOR MASSIVELY PARALLEL SYMBOLIC PROCESSING

Monica ALDERIGHl, Fabio CASINI, Riccardo Pietro Giovanbattista MAZZEI, Giacomo Renato SECHl

49-70
- PDF
MOLECULAR COMPUTING WITH TEST TUBE SYSTEMS

Rudolf Freund

71-78
- PDF
A NEW APPROACH TO DISCRETE-EVENT DYNAMIC SYSTEM THEORY

Maurizio Vallauri, Francesco Donati, Enrico Canuto

79-89
- PDF
COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT)

Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone

91-101
- PDF
NOVEL OPTIMIZATION TECHNIQUES BY NEURAL NETWORKS

J. Levendovszky

103-114
- PDF
ON LEARNING FROM AMBIGUOUS INFORMATION

Péter AUER

115-122
- PDF
MODELING, MEASUREMENT AND ARTIFICIAL INTELLIGENCE - TOWARD THE NEW GENERATION OF INTELLIGENT MEASURING SYSTEMS

Tadeusz P. Dobrowiecki , Frank Louage

123-133
- PDF
THE ISM: A FORMAL TOOL FOR MODELLING AND VERIFICATION

Janine Magnier, Mireille Larnac, Vincent Chapurlat

135-146
- PDF
A GENERIC MODEL FOR KNOWLEDGE BASES

G. Németh, R. F. Albrecht

147-154
- PDF
RADIAL BASIS FUNCTION ARTIFICIAL NEURAL NETWORKS AND FUZZY LOGIC

N. C. Steele, J. Godjevac

155-172
- PDF