Francois Berenger | 10 Feb 02:07
Picon
Favicon

Fwd: interval trees

-------- Original Message --------
Subject: interval trees
Date: Thu, 09 Feb 2012 17:30:21 +0900
From: Francois Berenger
To: batteries-discuss <at> lists.forge.ocamlcore.org
CC: biocaml <at> googlegroups.com

Hello,

I need to use an interval tree.

Biocaml has one, batteries have imap/iset, nice!

However, I have intervals of reals, not integers. :(

I want to build the tree (once), then query it with a real number
(many times) like in: which intervals contain the query real number?

Should I convert my floats to ints (by sorting them then ranking) before
inserting them into some existing interval tree for integers?
I am not so concerned about the pre-processing time.

Should I write from scratch?

Thanks for any suggestion,
F.

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
(Continue reading)

malc | 9 Feb 23:45
Picon
Favicon
Gravatar

OCaml/MinGW


GCC shipped with (current) MingW no longer recognizes -mno-cygwin
argument, my oline searches for a workaround were fruitless, but
turns out there is one, one can create a self specs file and
make gcc (the driver) strip -mno-cygwin from cc1 invokation. This
can be done by putting a file named "specs" into a directory listed
under "install:" in the output of `gcc -print-search-dirs' containing
following line:
*cc1: %<mno-cygwin

Hope that would save someone the trouble of making things run.

-- 
mailto:av1474 <at> comtv.ru

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

TSD 2012 | 9 Feb 15:06
Picon
Gravatar

TSD 2012 - First Call for Papers

      *********************************************************
		   TSD 2012 - FIRST CALL FOR PAPERS
      *********************************************************

Fifteenth International Conference on TEXT, SPEECH and DIALOGUE (TSD 2012)
	      Brno, Czech Republic, 3-7 September 2012
		    http://www.tsdconference.org/

The conference is organized by the Faculty of Informatics, Masaryk
University, Brno, and the Faculty of Applied Sciences, University of
West Bohemia, Pilsen.  The conference is supported by International
Speech Communication Association.

Venue: Brno, Czech Republic

THE SUBMISSION DEADLINES:

    March 15 2012 ............ Submission of abstracts
    March 22 2012 ............ Submission of full papers

Submission of abstract serves for better organization of the review
process only - for the actual review a full paper submission is
necessary.

TSD SERIES

TSD series evolved as a prime forum for interaction between researchers in
both spoken and written language processing from all over the world.
Proceedings of TSD form a book published by Springer-Verlag in their
Lecture Notes in Artificial Intelligence (LNAI) series.  TSD Proceedings
(Continue reading)

Jun Furuse | 9 Feb 04:32
Picon

OCamlCore.org is down?

Hi,

It seems the site and the oasis repo server are not responsive.

Regards,
J

malc | 9 Feb 01:09
Picon
Favicon
Gravatar

[ANNOUNCE] llpp v10

Hello,

New version of llpp is now available (tagged v10) at
http://repo.or.cz/w/llpp.git 

Blurb:

llpp a graphical PDF viewer which aims to superficially resemble
less(1)

Changes (relative to v7, last version being announced here):

* MuPDF grown itslef XPS and CBZ support
* Margin trimming
* Multi column mode
* Probably more, since:

llpp$ git diff --stat v7..v10 | tail -1
 11 files changed, 5206 insertions(+), 2514 deletions(-)

How to build/run: http://www.youtube.com/watch?v=9xtIqD_mHRw

-- 
mailto:av1474 <at> comtv.ru

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Fady Nassif | 8 Feb 17:53
Favicon
Gravatar

sys command

Hello,

Does anyone know how I can launch a batch file from Ocaml without pop up 
windows.

Thanks

Fady

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Matej Košík | 8 Feb 13:46
Picon

syntactic detail

Hi,

Ocaml allows me to add '_' at the end of a floating point literal, e.g.:

	1._

What can be a purpose for that?

In case of long or Long integers, optional adding of '_' between the
integer and 'l' or 'L' make sense ('l' is hard to discriminate from '1'
for many fonts). But in case of floats, I am not sure.

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

malc | 6 Feb 19:22
Picon
Favicon
Gravatar

llpp video


Here's a video[1] that shows how to build and use llpp[2]. It drags,
with the building fetching part, till ~3:35, but, hopefuly, gets up to
speed after that.

[1] http://www.youtube.com/watch?v=9xtIqD_mHRw
[2] http://repo.or.cz/w/llpp.git

-- 
mailto:av1474 <at> comtv.ru

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Romain Bardou | 6 Feb 18:09
Picon

Compiling Cryptokit on Windows

Hi list,

There has been some discussion during the last few months were some 
argued that there was not enough Windows users to test libraries. Well 
it happens that I need to compile Cryptokit for Windows. Here are my 
first results, which failed miserably. I'm using OCaml 3.12.

1) With Cryptokit 1.5.

INSTALL.txt states that I need findlib. I installed OCaml from:
	http://protz.github.com/ocaml-installer/
And it seems that ocamlfind is not installed by this tool. After more 
search I read here:
	http://www.camlcity.org/archive/programming/findlib.html
that "Volunteers are still wanted who port findlib to Windows and 
Macintosh."

So I guess that every OASIS project needs findlib, but findlib does not 
work on Windows, so all OASIS projects will not be usable on Windows? I 
thought on the contrary that OASIS was a step towards unification?

I tried anyway without findlib, running:
	ocaml setup.ml -configure
I get this error: "'c:\Program' n'est pas reconnu en tant que commande 
interne" (i.e. "unrecognized internal command"). The command which is 
supposed to be run is:
	c:\Program Files\OCaml\bin\ocamlc.opt.EXE -config > somefile.txt
It just misses quotes, which seems kind of silly.

2) With Cryptokit 1.3.

So I gave up and tried an older version whose INSTALL file explains how 
to install on Windows.

I checked variables in Makefile.win and ran:
	make -f Makefile.win
Now the error I get is that gcc cannot find "C:\Program 
Files\OCaml\lib/ocamlrun.a", which actually does not exist, so this is 
not a surprise. This file "ocamlrun.a" does not exist either on my 
Debian computer, so I'm a little surprised here.

I think I'll try cross-compiling now, or maybe editing "setup.ml" to put 
quotes around the command.

Cheers,

-- 
Romain Bardou

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Peter Achten | 6 Feb 10:20
Picon
Favicon

TFPIE: Trends in Functional Programming in Education 2012

CALL FOR PAPERS/PRESENTATIONS TFPIE 2012
International Workshop on Trends in Functional Programming in Education 2012
June 11 2012
University of St Andrews, Scotland
http://www.cs.ru.nl/P.Achten/TFPIE_2012/TFPIE_2012_home.html

The first International Workshop on Trends in Functional Programming in Education, TFPIE 2012, will be
co-located with TFP 2012 at the University of St Andrews in Scotland. The goal of TFPIE is to gather
researchers, professors, teachers, and all professionals that use or are interested in the use of
functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested
ideas, and work in progress on the use of functional programming in education are discussed. The one-day
workshop will foster a spirit of open discussion by having a review process for publication after the workshop.

The program chairs of TFPIE 2012 will screen submissions to ensure that all presentations are within scope
and are of interest to participants. Potential presenters are invited to submit an extended abstract
(4-6 pages) or an article (up to 16 pages). The authors of all accepted presentations will have their
preprints and their slides made available on the workshop's website/wiki. Any visitors to the TFPIE 2012
website/wiki will be able to add comments. This includes presenters who may respond to comments and
questions as well as provide pointers to improvements and follow-up work. After the workshop, the
program committee will review, using prevailing academic standards, the articles accepted for
presentation to select the best for publication in Electronic Proceedings in Theoretical Comp
 uter Science (EPTCS). Articles rejected for presentation and all extended abstracts will not be formally
reviewed by the PC.

TOPICS OF INTEREST

TFPIE 2012 welcomes submissions describing practical techniques used in the classroom, tools used
and/or developed, and any creative use of functional programming (FP) to aid education in or outside
Computer Science. Topics of interest include, but are not limited to:

FP and beginning CS students
FP in Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy

If you are not sure if your work is appropriate for TFPIE 2012, please contact the PC chairs by e-mail
at:tfpie2012 <at> cs.ru.nl  .

Program Committee

Peter Achten, Radboud University Nijmegen
Jost Berthold, University of Copenhagen
Marc Feeley, University of Montreal
Ralf Hinze, University of Oxford
Shriram Krishnamurthi, Brown University
Michel Mauny, ENSTA Paris Tech
James McKinna, UK
Marco T. Morazan, Seton Hall University
Rinus Plasmeijer, Radboud University Nijmegen
Simon Thompson, University of Kent

Important Dates

May 20        submission of abstract or article
May 25        notification of acceptance
June 11       TFPIE
July 6        submission of formal paper
September 10  notification of acceptance
October 1     camera-ready paper

Venue

The University of St Andrews is Scotland's first university and the third oldest in the English-speaking
world, founded in 1413. Over six centuries it has established a reputation as one of Europe's leading and
most distinctive centers for teaching and research. St Andrews is situated on the east coast of Fife,
Scotland, UK. The town is approximately 50 miles north-east of Edinburgh, 14 miles south-east of Dundee,
78 miles south of Aberdeen, and 82 miles east of Glasgow making it easily accessible by any means of
transportation. Help on traveling to St Andrews can be found
at:http://www.st-andrews.ac.uk/visiting/GettingtoStAndrews/  .

Questions?

If you have any questions, do not hesitate to contact us at:tfpie2012 <at> cs.ru.nl  .

--

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

GRLMC | 5 Feb 11:35
Favicon

WSMBio 2012: final announcement

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject*

 

*********************************************************************

 

2012 INTERNATIONALWINTERSCHOOL IN METHODS IN BIOINFORMATICS

 

WSMBio 2012

 

Tarragona, Spain

 

February 20-24, 2012

 

Organized by:

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

 

http://grammars.grlmc.com/wsmbio2012/

 

*********************************************************************

 

AIM:

 

WSMBio 2012 offers a broad and intensive series of lectures on bioinformatics at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

 

ADDRESSED TO:

 

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science, Biology and Medicine. Other students (for instance, from Mathematics or Engineering) are welcome too.

 

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

 

There is no overlap in the class schedule.

 

COURSES AND PROFESSORS:

 

- Dan Gusfield (U California Davis), ReCombinatorics: The Algorithmics and Combinatorics of Phylogenetic Networks with Recombination [introductory/intermediate, 8 hours]

- Andrey Rzhetsky (U Chicago), Trees, Networks, and their Use in Systems Biology [introductory, 6 hours]

- Robert Stevens (U Manchester) & James Malone (European Bioinformatics Institute, Hinxton), Bio-Ontologies [introductory/intermediate, 4 hours]

- Martin Tompa (U Washington Seattle), Comparative Sequence Analysis in Molecular Biology [introductory/intermediate, 4 hours]

- Alfonso Valencia (Spanish National Cancer Research Centre, Madrid), A Bioinformatics Perspective of Personalized Medicine [advanced, 4 hours]

- Limsoon Wong (NationalUniversity of Singapore), Using Biological Networks for Protein Function Prediction, Biomarker Identification, and Other Problems in Computational Biology [introductory/intermediate, 6 hours]

- Ying Xu (U Georgia), Cancer Bioinformatics [advanced, 8 hours]

- Zohar Yakhini (Agilent Laboratories), Algorithmics and Statistics in the Analysis of High Throughput Molecular Measurement Data [intermediate/advanced, 6 hours]

 

REGISTRATION:

 

It has to be done on line at

 

http://grammars.grlmc.com/wsmbio2012/Registration.php

 

FEES:

 

They are variable, depending on the number of courses each student takes. The rule is:

 

1 hour =

 

- 10 euros (for payments until December 11, 2011),

- 15 euros (for payments after December 11, 2011).

 

PAYMENT PROCEDURE:

 

The fees must be paid to the School's bank account:

 

Uno-e Bank

bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain

IBAN: ES3902270001820201823142

SWIFT/BIC code: UNOEESM1

account holder: Carlos Martin-Vide GRLMC

account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

 

Please mention WSMBio 2012 and your name in the subject. A receipt will be provided on site.

 

Remarks:

 

- Bank transfers should not involve any expense for the School.

- People claiming early registration will be requested to prove that the bank transfer was carried out by the deadline.

- Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

 

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

 

ACCOMMODATION:

 

Information about accommodation is available on the website of the School.

 

CERTIFICATE:

 

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

 

IMPORTANT DATES:

 

Announcement of the programme: October 30, 2011

Starting of the registration: October 30, 2011

Early registration deadline: December 11, 2011

Starting of the School: February 20, 2012

End of the School: February 24, 2012

 

QUESTIONS AND FURTHER INFORMATION:

 

Lilica Voicu: florentinalilica.voicu <at> urv.cat

 

WEBSITE:

 

http://grammars.grlmc.com/wsmbio2012/

 

POSTAL ADDRESS:

 

WSMBio 2012

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragona, Spain

 

Phone: +34-977-559543

Fax: +34-977-558386

 

ACKNOWLEDGEMENTS:

 

Diputació de Tarragona

Universitat Rovira i Virgili

 


Gmane