progscrape: uni-kiel.de

Can logic programming be liberated from predicates and backtracking? [pdf]

20 months ago informatik.uni-kiel.de pdf plt

Study shows for the first time that even simple nervous systems and without a central brain, are capable of an advanced form of learning: researchers trained a jellyfish to learn to spot and dodge obstacles

2 years ago uni-kiel.de biology brain

Automatic layout algorithms compute layouts for diagrams

5 years ago rtsys.informatik.uni-kiel.de algorithm

"Pseudo-neglect" human behaviour phenomenon in Neolithic house orientation

6 years ago uni-kiel.de

Sequentially Constructive Concurrency: Conservative Extension of Synchronous Computation

7 years ago rtsys.informatik.uni-kiel.de concurrency

A Theory of Neural Computation with Clifford Algebras (2005)

8 years ago informatik.uni-kiel.de

Curry - Statically-typed, Functional and Logic Programming Language

9 years ago informatik.uni-kiel.de

Laser scanning microscope enables researchers to investigate the mechanics of beetle penises for the first time.

9 years ago uni-kiel.de

Curry: A Tutorial Introduction

9 years ago informatik.uni-kiel.de tutorial