From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, HTML_MESSAGE,INFO_TLD,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id CAC51BC69 for ; Thu, 19 Oct 2006 16:06:02 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.231]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9JE61xN015779 for ; Thu, 19 Oct 2006 16:06:02 +0200 Received: by wx-out-0506.google.com with SMTP id t11so646512wxc for ; Thu, 19 Oct 2006 07:06:01 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=nHK355WTa1ca1XVPqoQryBsBJ+TLhxUcsBF0oEvJulwd8kbl2jJOEISRG7ypMSB8uuiIwlFgvQ7gzK39buRrF/6Mo8UT66lVMBOHL2256rafjWdjEvC6HfbIGLGDub0XjKR7Nb2GACJ6ocedypBwHT0LR7EpitlP2b6N1OhEteQ= Received: by 10.70.67.15 with SMTP id p15mr18458645wxa; Thu, 19 Oct 2006 07:06:01 -0700 (PDT) Received: by 10.70.15.3 with HTTP; Thu, 19 Oct 2006 07:06:01 -0700 (PDT) Message-ID: Date: Thu, 19 Oct 2006 10:06:01 -0400 From: "Markus Mottl" To: "=?ISO-8859-1?Q?Dr._Axel_Poign=E9?=" Subject: Re: [Caml-list] Looking for references to usage of ocaml in data mining, knowleadge discovery, etc Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_120076_16499924.1161266761296" References: <20061006201647.1a88vj0tkockc4k8@webmail.etu.upmc.fr> <452D753E.1020607@glondu.net> <20061013142317.z70cu8q30g40gckc@webmail.etu.upmc.fr> <20061013124223.GA30832@pulp.rsise.anu.edu.au> <20061014215653.by7emka3kgscccsc@webmail.etu.upmc.fr> <20061016112515.ircc0o7sgsssowcs@webmail.etu.upmc.fr> <20061017143307.iole99sis0ck8s8c@webmail.etu.upmc.fr> X-j-chkmail-Score: MSGID : 45378649.000 on discorde : j-chkmail score : XXXXXX : 10/20 1 X-Miltered: at discorde with ID 45378649.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocaml:01 fraunhofer:01 ocaml:01 browsed:01 datatypes:01 lacaml:01 blas:01 lapack:01 lacaml:01 fraunhofer:01 browsed:01 ------=_Part_120076_16499924.1161266761296 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline On 10/19/06, Dr. Axel Poign=E9 wrote: > > I look for references to usage of ocaml in Data Mining, Knowleadge > Discovery. Inductive Logic Programming, Vector support Machines and > related topics. I have browsed the net but entries are sparse. > > I would like to try using Ocaml in these areas and want to avoid > double work. > You may have already found AIFAD (Automated Induction of Functions over Algebraic Datatypes), a symbolic machine learning program, which generalize= s induction of decision trees to structured values, and is pretty efficient even on large amounts of data. You can find the sources and documentation here: http://www.ocaml.info/aifad It's also available as a Godi-package, which makes it easier to install, because it depends on other libraries. We use Lacaml, a fairly complete and convenient binding to BLAS/LAPACK, her= e at Jane Street Capital for implementing numeric algorithms to analyse very substantial amounts of financial data. I unfortunately cannot give you details about this work. You can get Lacaml through Godi or download it here: http://www.ocaml.info/home/ocaml_sources.html#LACAML Best regards, Markus --=20 Markus Mottl http://www.ocaml.info markus.mottl@gmail.com ------=_Part_120076_16499924.1161266761296 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline On 10/19/06, Dr. Axel Poign=E9 <axel.poigne@iais.fraunhofer.de<= /a>> wrote:
I look for references to usage of ocaml in Data Mining, Knowleadge
Disco= very. Inductive Logic Programming, Vector support Machines and
related t= opics. I have browsed the net but entries are sparse.

I would like t= o try using Ocaml in these areas and want to avoid
double work.

You may have already found AIFAD= (Automated Induction of Functions over Algebraic Datatypes), a symbolic ma= chine learning program, which generalizes induction of decision trees to st= ructured values, and is pretty efficient even on large amounts of data.&nbs= p; You can find the sources and documentation here:

 
http://www.ocaml.inf= o/aifad

It's also available as a Godi-package, whi= ch makes it easier to install, because it depends on other libraries.
We use Lacaml, a fairly complete and convenient binding to BLAS/LAPACK, h= ere at Jane Street Capital for implementing numeric algorithms to analyse v= ery substantial amounts of financial data.  I unfortunately cannot giv= e you details about this work.  You can get Lacaml through Godi or dow= nload it here:

  http://www.ocaml.info/home/ocaml_sources.html#LACAML

Best r= egards,
Markus

--
Markus Mottl     &= nbsp;   http://www.ocaml.info        markus.mottl@gmail.com ------=_Part_120076_16499924.1161266761296--