: Secure Counting: counting members of a subset without revealing their identities.
Menno van Zaanen
: Bootstrapping Syntax and Recursion using Alignment-Based Learning.
: Type Arithmetics: Computation based on the theory of types.
: Shooting Over or Under the Mark: Towards a Reliable and Flexible Anticipation in the Economy.
, MyungHo Kim
: Application of Support Vector Machine to detect an association between a disease or trait and multiple SNP variations.
: Local Search Techniques for Constrained Portfolio Selection Problems.
: Several new domain-type and boundary-type numerical discretization schemes with radial basis function.
: Disjunction and modular goal-directed proof search.
, founded at