Yearly Archives: 2012


SISAL Compiler — useful links and Ubuntu Installation GuideSISAL Compiler — useful links 2

SISAL (Streams and Iteration in a Single Assignment Language) is a general-purpose single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling. SISAL outputs a dataflow graph in Intermediary Form 1 (IF1). It was derived from VAL (Value-oriented Algorithmic Language, designed by Jack Dennis), and adds recursion and finite streams. It has a Pascal-like syntax and was designed to be a common high-level language for numerical programs on a variety of multiprocessors. — From: http://en.wikipedia.org/wiki/SISAL

Download Compiler from: http://sourceforge.net/projects/sisal/

How to install SISAL version 14.0.6 on Ubuntu 12.04 LTS (Precise Pangolin):

  1. Download SISAL from SourceForge and unzip it (tar -xvf sisal.14.0.6.tgz).
  2. Go to the extracted directory (e.g. cd sisal.14.0.6/).
  3. Issue the configure script to make sure your system has all necessary libraries (./configure).
  4. As a super user, a.k.a. root, issue the compilation and installation command (sudo make).
    — If you get the following compilation error:
    /usr/bin/gcc  -g -I/home/xeirwn/Downloads/sisal.14.0.6/Include   -c -o sisal.o sisal.c
    sisal.c:2013:20: error: conflicting types for ‘getline’
    /usr/include/stdio.h:675:20: note: previous declaration of ‘getline’ was here

    Then you need to edit the file sisal.14.0.6/Frontend/Front1/sisal.c and replace all instances of getline function with something else like getlinelocal.
    When you are done re-issue the sudo make command and wait.
  5. Once completed, write in a *.sis file some SISAL application (lets say program1.sis) and issue the following command sisalc program1.sis.
  6. The command will produce a file named s.out, that is your execution binary.

Language Reference Manual: http://www2.cmp.uea.ac.uk/~jrwg/Sisal/index.html

Other Similar Stuff:

SISAL (Streams and Iteration in a Single Assignment Language) is a general-purpose single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling. SISAL outputs a dataflow graph in Intermediary Form 1 (IF1). It was derived from VAL (Value-oriented Algorithmic Language, designed by Jack Dennis), and adds recursion and finite streams. It has a Pascal-like syntax and was designed to be a common high-level language for numerical programs on a variety of multiprocessors. — From: http://en.wikipedia.org/wiki/SISAL

Download Compiler from: http://sourceforge.net/projects/sisal/

How to install SISAL version 14.0.6 on Ubuntu 12.04 LTS (Precise Pangolin):

  1. Download SISAL from SourceForge and unzip it (tar -xvf sisal.14.0.6.tgz).
  2. Go to the extracted directory (e.g. cd sisal.14.0.6/).
  3. Issue the configure script to make sure your system has all necessary libraries (./configure).
  4. As a super user, a.k.a. root, issue the compilation and installation command (sudo make).

    — If you get the following compilation error:

    /usr/bin/gcc  -g -I/home/xeirwn/Downloads/sisal.14.0.6/Include   -c -o sisal.o sisal.c

    sisal.c:2013:20: error: conflicting types for ‘getline’

    /usr/include/stdio.h:675:20: note: previous declaration of ‘getline’ was here

    Then you need to edit the file sisal.14.0.6/Frontend/Front1/sisal.c and replace all instances of getline function with something else like getlinelocal.

    When you are done re-issue the sudo make command and wait.

  5. Once completed, write in a *.sis file some SISAL application (lets say program1.sis) and issue the following command sisalc program1.sis.
  6. The command will produce a file named s.out, that is your execution binary.

Language Reference Manual: http://www2.cmp.uea.ac.uk/~jrwg/Sisal/index.html

Other Similar Stuff:


1st Workshop on Conformal Prediction and its Applications (CΟPA 2012)

==============================
1st Workshop on Conformal Prediction and its Applications (CΟPA 2012) to be held in conjunction with the 8th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2012)
Halkidiki, Greece, September 27-30, 2012
http://delab.csd.auth.gr/aiai2012/
===========================

Workshop Theme:
================

Quantifying the uncertainty of the predictions produced by classification and regression techniques is an important problem in the field of Machine Learning. Conformal Prediction is a recently developed framework for complementing the predictions of Machine Learning algorithms with reliable measures of confidence. The methods developed based on this framework produce well-calibrated confidence measures for individual examples without assuming anything more than that the data are generated independently by the same probability distribution (i.i.d.). Since its development the framework has been combined  with many popular techniques, such as Support Vector Machines, k-Nearest Neighbours, Neural Networks, Ridge Regression etc., and has been successfully applied to many challenging real world problems, such as the early detection of ovarian cancer, the classification of leukaemia subtypes, the diagnosis of acute abdominal pain, the assessment of stroke risk, the recognition of hypoxia in electroencephalograms (EEGs), the prediction of plant promoters, the prediction of network traffic demand, the estimation of effort for software projects and the backcalculation of non-linear pavement layer moduli. The framework has also been extended to additional problem settings such as  semi-supervised learning, anomaly detection, feature selection, outlier detection, change detection in streams and active learning. The aim of this workshop is to serve as a forum for the presentation of new and ongoing work and the exchange of ideas between  researchers on any aspect of Conformal Prediction and its applications.

The workshop welcomes submissions introducing further developments and extensions of the Conformal Prediction framework and describing its application to interesting problems of any field.

Submission
==========
Authors are invited to submit original, English-language research contributions or experience reports. Papers should be no longer than 10 pages formatted according to the well-known LNCS Springer style. Papers should be submitted either in a doc or in a pdf form to: [email protected]

Publication
===========
Submitted papers will be refereed for quality, correctness, originality, and relevance. Notification and reviews will be communicated via email. Accepted papers will be presented at the workshop and published in the Proceedings of the main event (by Springer). They will also be considered for potential publication in the Special Issues of the
Conference.

Important Dates
===============
Full paper submission due: April 29, 2012
Notification of acceptance: May 26, 2012
Camera-ready paper submission: June 4, 2012

Honorary Chairs
===============
Vladimir Vapnik NEC, USA & Royal Holloway, University of London, UK
Alexei Chervonenkis Russian Academy of Sciences, Russia & Royal Holloway, University  of London, UK

Program Chairs
==============
Harris Papadopoulos
Frederick University, Cyprus
Email: [email protected]

Alex Gammerman
Royal Holloway, University of London, UK
Email: [email protected]

Vladimir Vovk
Royal Holloway, University of London, UK
Email: [email protected]

Program Committee
=================
Vineeth Balasubramanian, Arizona State University, USA
Anthony Bellotti, Imperial College London, UK
David R. Hardoon, SAS Singapore
Mohamed Hebiri, Universite de Marne-la-Vallee, France
Shen-Shyang Ho, Nanyang Technological University, Singapore
Zakria Hussain, University College London, UK
Yuri Kalnishkan, Royal Holloway, University of London, UK
Matjaz Kukar, University of Ljubljana, Slovenia
Antonis Lambrou, Royal Holloway, University of London, UK
Rikard Laxhammar, University of Skovde, Sweden
Yang Li, Chinese Academy of Sciences, China
Zhiyuan Luo, Royal Holloway, University of London, UK
Andrea Murari, Consorzio RFX, Italy
Ilia Nouretdinov, Royal Holloway, University of London, UK
Savvas Pericleous, Frederick University, Cyprus
David Surkov, Egham Capital, UK
Jesus Vega, Asociacion EURATOM/CIEMAT para Fusion, Spain
Fan Yang, Xiamen University, China