Project Index

ACCLAIM

Advanced Concurrent Constraint Languages: Application, Implementation, and Methodology, 7195

ACQUILEX II

Acquisition of Lexical Knowledge, 7315

ALCOM II

Algorithms and Complexity, 7141

AMATIST

Analogue & Mixed-Signal Advanced Test for Improving System-Level Testability, 8820

AMODEUS 2

Assaying Means of Design Expression for Users and Systems, 7040

AMUSING

Algorithms, Models, User and Service Interfaces for Geography, 6881

APPARC

Performance-Critical Applications of Parallel Architectures, 6634

ARCHIMEDES

Architectural Methodologies for Advanced Testing of VLSI Systems , 7107

ASSIST

Atomic-Scale Control of Surfaces and Interfaces in Silicon Technology , 6108

ATSEC

Advanced Test Generation and Testable Design Methodology for Sequential Circuits , 6575

B-LEARN II

Behaviour Learning: Combining Sensing and Action , 7274

BARMINT

Basic Research for Microsystems Integration , 8173

BLES

Buffer Layer Engineering in Semiconductors , 6854

BROADCAST

Basic Research on Advanced Distributed Computing From Algorithms to Systems , 6360

CHARM

A Comprehensive Human Animation Resource Model , 9036

CHIPS

Code Generation for Heterogeneous Information Processing Systems , 9138

CLICS II

Categorical Logic in Computer Science , 6811

COBRA

Hardware/Software Codesign , 8135

COMIC

Computational Mechanisms of Interaction in Cooperative Work, 6225

COMPULOG 2

Computational Logic II , 6810

CONCUR 2

Calculi and Algebras of Concurrency: Extensions, Tools and Applications , 7166

CONFER

Concurrency and Functions: Evaluation and Reduction , 6454

CO-ORDINATION

Linguistic Support for Multiple Cooperating Agents , 9102

CORMORANT

Cortical Maps of Resistive Anisotropic Networks , 8503

DANDELION

Discourse Functions and Discourse Representation: an Empirically and Linguistically Motivated, Interdisciplinary Approach to Natural-Language Texts , 6665

DRUMS II

Defeasible Reasoning and Uncertainty Management Systems, 6156

DYANA-2

Dynamic Interpretation of Natural Language , 6852

EASI

Epioptics Applied to Semiconductor Interfaces , 6878

EOLIS

Emission of Light in Silicon, 7228

EUROCHIP

VLSI Design Training Action, 6573

FERMI

Formalisation and Experimentation on the Retrieval of Multimedia Information, 8134

FIDE 2

Formally Integrated Data Environment, 6309

FIVE

Framework for Immersive Virtual Environments, 9122

GEPPCOM

Foundations of General Purpose Parallel Computing, 9072

GRACE

Graphical Communication in Human Computer Interaction, 6296

HETERO

Heteroepitaxial Deposition of Diamond and Silicon Carbide Films, 6106

HIMAC

Hierarchical Management and Control in Manufacturing Systems, 8141

HTSC-GBJ

Grain Boundary Josephson Junctions and Circuits in High-Temperature Superconductors, 7100

ILP

Inductive Logic Programming, 6020

INSIGHT II

Vision Systems for a Natural Human Environment, 6019

INTER

Intelligent Neural Interface, 8897

LATMIC II

Lateral Microstructures: Fabrication, Low Dimensionality Effects and Application to III-V Devices, 6536

LEDFOS

Light-Emitting Devices from Organic Semiconductors, 8013

LINK

The Necessary Link Between Low-Level and High-Level Synthesis, 6855

LOMAPS

Logical and Operational Methods in the Analysis of Programs and Systems, 8130

LYDIA

Load Balancing to Achieve High Performance Parallel and Distributed Systems, 8144

MEDCHIP

Catch-Up Action for Industry-Oriented Microelectronics Training Enhancement in Greece, Italy, Portugal and Spain, 8010

MEDLAR II

Mechanising Deduction in the Logics of Practical Reasoning, 6471

MIAMI

Multimodal Integration for Advanced Multimedia Interfaces, 8579

MIX

Modular Integration of Connectionist and Symbolic Processing in Knowledge-Based Systems, 9119

MODELAGE

A Common Formal Model of Cooperating Intelligent Agents, 8319

MTVLE

MOCVD Technology for Visible Light-Emitting II-VI Lasers, 6675

MUCOM II

Multisensory Control of Movement, 6615

NACT

Neural Adaptive Control Technology, 8039

NANA 2

Novel Parallel Algorithms and New Real-Time VLSI Architectural Methodologies, 6632

NANOPT

Nanometre Structures for Future Optoelectronic Applications, 6719

NAT

Nonlinear and Adaptive Techniques in Digital Image Processing, Analysis and Computer Vision, 7130

NATURE

Novel Approaches to Theories Underlying Requirements Engineering, 6353

NERVES-2

Enhanced Learning for Evolutive Neural Architectures, 6891

NODES

Nonlinear and Active Optical Devices on Electronic Substrates, 6993

PARFORCE

Parallel Formal Computing Environment, 6707

PARTNERS

Physics and Application of Resonant Tunnelling for Novel Electronic, Infrared and Optical Devices, 7193

PDCS 2

Predictably Dependable Computing Systems, 6362

PEGASUS

Distributed Multimedia Operating System for the 1990s, 6586

POPAM

Parallel Optical Processors and Memories, 6863

POSSO

Polynomial System Solving, 6846

PROCOS II

Provably Correct Systems, 7071

PROMOTION

Planning Robot Motion, 6546

PRONANO

Processing on the Nanometer Scale, 8523

PROTIOS

Optically Triggered Proton and Ion Switches, 7238

QMIPS

Quantitative Modelling in Parallel Systems, 7269

QUINTEC

Quantum Optics for Information Technology, 6934

REACT-P

Building Correct Reactive Systems, 6021

REALISE

Reconstruction of Reality from Image Sequences, 8878

SCATIS

Spatially Coordinated Auditory/Tactile Interactive Scenario, 6358

SECOND

Sensory Controlled Dextrous Robots, 6769

SESDIP

Structural Evaluation and Synthesis Design of Distributed Industrial Processes, 8924

SETTRON

Single Electronics, 9005

Si/Ge MIST

Ultrathin Silicon/Germanium Microstructures, 7128

SM-IMP

SIMD-MIMD Processor Arrays Applied to Image Processing, 8849

SMILES

Semiconductor Microcavity Light Emitters, 8447

SMMMS

Study of Magnetic Multilayers for Magnetoresistive Sensors, 6146

SOLDES

Self-Organising Low-Dimensional Electronic Structures, 7260

SPEECH MAPS

Sound-to-Gesture Inversion in Speech: Mapping of Action and Perception, 6975

SSS

Smart Sensory Systems, 6961

SUPERMICA

High-Tc Superconducting Films for Microwave Applications, 6113

TAMPFETS

Technology for Advanced Microwave Power FET Structures, 6849

TONICS

Transverse Non Linear Optics, 7118

TOPFIT

Tailored Oligomers and Polymers for Information Technology, 7282

TRANSCOOP

Transaction Management Support for Cooperative Applications, 8012

TYPES

Types for Proofs and Programs, 6453

UNION

Underwater Intelligent Operation and Navigation, 8972

VAP II

Vision as Process, 7108

VIVA

Viewpoint-Invariant Visual Acquisition, 6448

WERNICKE

A Neural Network Based, Speaker Independent, Large Vocabulary, Continuous Speech Recognition System, 6487

X-BAND

GaAs HEMT-HTS Resonator-Based X-Band Oscillator Made by Hybrid and Integrated Technology, 6625