Archives - Page 5

• PB-500 Automated Design of Neural Network Architecture for Classification

  No. 500 (1995)

• PB-494 Type-Directed Partial Evaluation

  No. 494 (1995)

• PB-498 Annotated Type Systems for Program Analysis

  No. 498 (1995)

• PB-497 Type and Behaviour Reconstruction for Higher-Order Concurrent Programs

  No. 497 (1995)

• PB-496 Constraints for Polymorphic Behaviours of Concurrent ML

  No. 496 (1995)

• PB-499 Exponentiation, Modular Multiplication and VLSI Implementation of High-Speed RSA Cryptography

  No. 499 (1995)

• PB-495 Electronic Payments of Small Amounts

  No. 495 (1995)

• PB-493 Particpants' Proceedings on the Workshop: Types for Program Analysis

  No. 493 (1995)

• PB-492 Termination analysis based on operational semantics

  No. 492 (1995)

• PB-488 Scenarios as springboards in design of CSCW

  No. 488 (1994)

• PB-489 A conceptual toolbox for designing CSCW applications

  No. 489 (1994)

• PB-486 Training of Neural Networks by means of Genetic Algorithms Working on very long Chromosomes

  No. 486 (1994)

• PB-487 Adaptive Approaches Towards Better GA Performance in Dynamic Fitness Landscapes

  No. 487 (1994)

• PB-485 Block Ciphers: Analysis, Design and Applications

  No. 485 (1994)

• PB-482 The Cocktail Party Listener

  No. 482 (1994)

• PB-484 Patterns, Graphs, and DNA

  No. 484 (1994)

• PB-483 Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages

  No. 483 (1994)

• PB-478 Adaptive Performance Network?: Is it the Answer to our Prayers?

  No. 478 (1994)

• PB-481 Group Signatures: Unconditional Security for Members

  No. 481 (1994)

• PB-480 From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW

  No. 480 (1994)

• PB-479 Creating Conditions for Participation: Conflicts and Resources in Systems Design

  No. 479 (1994)

• PB-477 Witness Hiding Proofs and Applications

  No. 477 (1994)

• PB-476 An Introduction to the Theoretical Aspects of Coloured Petri Nets

  No. 476 (1994)

• PB-475 What's Connectionism got to do with IT?!

  No. 475 (1994)

• PB-491 Placement and global routing of VLSI macro-Cell layouts using genetic algorithms

  No. 491 (1994)