- Aalto University
- School of Arts,
Design and Architecture - School of Chemical Technology
- School of
Economics - School of Electrical Engineering
- School of
Engineering - School of
Science
Department of Information and Computer Science
Demos and Software
This page contains links to demos, research-related software and benchmarks developed at the Department of Information and Computer Science
Demos
- PicSOM: Browse an image database with the help of the Self-Organizing Map (SOM).
- Cocktail party problem: solve the separation of multiple coexistent sound sources using FastICA.
Software
- The FastICA MATLAB Package
- ICASSO software for investigating the reliability of ICA estimates by clustering and visualization.
- Morfessor software for the unsupervised discovery of morphemes from natural text.
- Variational Bayesian learning packages:
- Bayes blocks library + extensions
- Nonlinear dynamical factor analysis (NDFA) Matlab package
- Nonlinear factor analysis (NFA) Matlab package
- Independent Variable Group Analysis (IVGA) Matlab package.
- DSS Software package for Denoising Source Separation.
- SOM Toolbox, a software package for Matlab 5
- The Evolving Tree data analysis package in C++
- SOM_PAK and LVQ_PAK, C packages for calculating Self-Organized Map and Learning Vector Quantization
- bliss - a tool for computing automorphism groups and canonical labelings of graphs
- MiniUnsat - extracts minimal unsatisfiable subsets (MUSes) from unsatisfiable CNF formulas.
- Smodels - a system for rule-based constraint programming based on logic programs with the stable model semantics implemented in C++
- lpeq - verifying the equivalence of smodels programs / disjunctive logic programs
- lp2diff - translating normal/smodels programs for SMT solvers
- lp2sat - translating normal logic programs into propositional theories
- asptools - a tool collection for answer set programming
- GnT - a solver for disjunctive logic programs
- circ2dlp - translating parallel circumscriptions into disjunctive logic programs
- BCSat - an implementation of a tableau method for Boolean circuit satisfiability checking; the description of the file format for Boolean circuits and a translator from Boolean circuits to CNF is also available.
- satu - a SAT solver for computational grids
- Prod - a Pr/T-net reachability analysis tool with a CTL model checker for the reachability graph and an on-the-fly LTL model checker using the stubborn set method
- Emma - a TNSDL reachability analysis tool
- Maria - a reachability analyzer for algebraic system nets (a high-level variant of Petri nets)
- MIPL Mobile IPv6 for Linux - an implementation of Mobility support in IPv6 Internet Draft
- HUT AODV for IPv6 - an implementation of the Ad hoc On-demand Distance Vector (AODV) Routing Protocol with IPv6 modifications
- Packet Level Authentication (PLA) - a proof-of-concept implementation of the Packet Level Authentication protocol -concept
- dmt - Dependency modeling toolkit: aunified framework for probabilistic dependency models, includingprobabilistic versions of PCA, factor analysis and CCA and theirregularized variants
- pint - Genomic data integration for multi-source observations
- NetResponse - Functional network analysis for modeling context-specificresponses in interaction networks
- RPA - Probe reliability and differential gene expression analysis