Arkiver - Side 5

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

  Nr. 500 (1995)

• PB-494 Type-Directed Partial Evaluation

  Nr. 494 (1995)

• PB-498 Annotated Type Systems for Program Analysis

  Nr. 498 (1995)

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

  Nr. 497 (1995)

• PB-496 Constraints for Polymorphic Behaviours of Concurrent ML

  Nr. 496 (1995)

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

  Nr. 499 (1995)

• PB-495 Electronic Payments of Small Amounts

  Nr. 495 (1995)

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

  Nr. 493 (1995)

• PB-492 Termination analysis based on operational semantics

  Nr. 492 (1995)

• PB-488 Scenarios as springboards in design of CSCW

  Nr. 488 (1994)

• PB-489 A conceptual toolbox for designing CSCW applications

  Nr. 489 (1994)

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

  Nr. 486 (1994)

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

  Nr. 487 (1994)

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

  Nr. 485 (1994)

• PB-482 The Cocktail Party Listener

  Nr. 482 (1994)

• PB-484 Patterns, Graphs, and DNA

  Nr. 484 (1994)

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

  Nr. 483 (1994)

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

  Nr. 478 (1994)

• PB-481 Group Signatures: Unconditional Security for Members

  Nr. 481 (1994)

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

  Nr. 480 (1994)

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

  Nr. 479 (1994)

• PB-477 Witness Hiding Proofs and Applications

  Nr. 477 (1994)

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

  Nr. 476 (1994)

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

  Nr. 475 (1994)

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

  Nr. 491 (1994)