¨ Torben Brauner’s List of Publications Refereed Workshop and Conference Papers [1] T. Bra¨uner. A model of intuitionistic affine logic from stable domain theory. In S. Abiteboul and E. Shamir, editors, Proceedings o

Source URL: akira.ruc.dk

TarosophIST International The Magazine of Tarosophy ® ISSN

Source URL: akira.ruc.dk

RelationGram: Tie-Strength Visualization for User-Controlled Online Identity Authentication Tiffany Hyun-Jin Kim1 , Akira Yamada2 , Virgil Gligor1 , Jason Hong1 , and Adrian Perrig1 1

Source URL: fc13.ifca.ai

Finite Type Arithmetic Computable Existence Analysed by Modified Realisability and Functional Interpretation H

Source URL: akira.ruc.dk

A Software Tool for Mapping Human Genome by Chromosome-Specic Two-Dimensional Electrophoresis Method Akira Ohyama1 Tatsuya Akutsu2

Source URL: www.jsbi.org

• Molecular biology
• Chemistry
• Biology
• Laboratory techniques
• Biochemistry
• Genomics
• Polymerase chain reaction
• Restriction landmark genomic scanning
• Genetics

Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence Henning Christiansen Roskilde University, Computer Science Section c 2006

Source URL: akira.ruc.dk

Tarosophist International Editor Jon Kaneko-James Table ofContents

Source URL: akira.ruc.dk

2 Information and Diversity Klaus Frovin Jørgensen, Section for Philosophy and Science Studies, Roskilde University

Source URL: akira.ruc.dk

Distribution of Signicantly Repetitive Tuples Implying Nobuyuki Uchikoga Akira Suyama

Source URL: www.jsbi.org