Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB.
VibroToolbox is a tool for research and education in vibrometry. Test your audio equipment, describe responses to vibratory stimulation and analyze directionality. It works with precision i/o hardware or simple sound cards, various sensors and speakers.
Volterra-Wiener series Identification Toolbox. This tool lets the identification of nonlinear discrete causal systems that can be approximated with the Volterra-Wiener series. Please see NEW ADVANCE in Volterra series identification: https://sourceforge.net/projects/volterra20/?source=directory
WHAY is a Video-based Face Recognition tool written in MATLAB. It aims to exploits PCA recognizing as better as possible and tests the limits of this approach.
Web Interface to Octave allows to run GNU Octave commands from a web browser. Application is written in PHP and needs SQL database. It supports user profiles, user-created functions, scripts.
MS Excel, OOo Calc, Matlab steam and water properties based on IAPWS IF-97 Standard. Provide accurate steam and water properties such as enthalpy from 0-100 bar and 0-2000°C. The perfect tool both for replacing paper tables and for advanced calculations
YourTubes is an implementation of a GUI in Matlab that allows to reconstruct the geometry of various sets of pipes that belong to a plant, using some images taken randomly as a training set.
approximate Bayesian computation for stochastic differential equations
A MATLAB toolbox for approximate Bayesian computation (ABC) in stochastic differential equation models. It performs approximate Bayesian computation for stochastic models having latent dynamics defined by stochastic differential equations (SDEs) and not limited to the "state-space" modelling framework. Both one- and multi-dimensional SDE systems are supported and partially observed systems are easily accommodated. Variance components for the "measurement error" affecting the data/observations can be estimated. A 50-pages Reference Manual is provided with two case-studies implemented and discussed. The methodology is based on the research article available at http://arxiv.org/abs/1204.5459 Author's research page is http://www.maths.lth.se/matstat/staff/umberto/
Set of functions to process acoustic Doppler current profiler data
adcptools is a set of Matlab functions to post-process acoustic Doppler current profiler data. It consists of several low-level function to read out data files and several functions to process data from repeat transect measurements, moored turbulence measurements and horizontal ADCP deployments.
This is a hybrid Matlab-Mathematica package for the numerical/pointwise and symbolic/explicit (as a piecewise polynomial) calculation of the B-Spline supported on a given 2D domain.
some matlab m file code to do various mpeg encoding schemes. for sdsu's computer engineering 565 course. lab4.
Ctrax is a machine vision program for estimating the positions and orientations of many walking fruit flies, maintaining their individual identities over long periods of time with minimal supervision, and on average for 1.5 fly-hours automatically.
The dwi-toolbox provides a set of free and open-source Matlab routines for the simulation and analysis of Diffusion-Weighted Magnetic Resonance Imaging data. It includes data-fitting, simulation, visualization and statistical components.
Esra is a 100% pure java library for the interactive analysis of molecular mechanics data. Mangles your data in your favorite scripting language.
matlab 2D image processing GUI toolbox for flow visualization
A general flow visualization Matlab toolbox for image processing of some common planar/surface visualization techniques from PLIF (Planar laser induce fluorescence) for tracer distribution, BOS (background oriented Schlieren) for density, TSLC (Temperature sensitive liquid crystal) for thermal and PSP (Pressure sensitive paint) pressure distribution measurement. This work is part of author's PhD study, under Dr S. Zhong @ the University of Manchester's supervision, guidance and support. Both GUI and command line interface are provided for newbie and advanced user. Image can be processed into contour image, matlab mat and tecplot data. This toolbox can be conveniently extended for 2D image processing in other disciplines, for example, surface stress measurement, inferred thermograph, PIV. See developer guide for HOWTO. * example project.mat and calib.mat use abs path will not work for you directly. pl. rebuild yours according to my youtube tutorial
gfit creates an interface between computational models and experimental data and provides tools for their analysis
This project collect several data mining methods, such as: 1) clustering methods; 2) biclustering methods; 3) FCA methods and etc.
A MATLAB toolbox for simulating the movement of the iRobot Create. Contains multiple GUIs for creating maps and other input, showing the movement of the Create, and replaying a previously saved session.
collection of illustrative programs:small games, simulators: C, Matlab
a collection of small and medium-sized simulation programs that I made explicitely for dydactic and/or documentation purposes. Browse the files, don't click on widnload because there are multiple zips!! All are related to rigidbody dynamics used to make vehicle simulators in the simplest way. Other types of programs may figure too: Snake or Tetris in C for showing the C programming style opted for the other, more specific programs. Possibly this is a link for supplying material to some Wiki articles related to videogames and gamep-physics.
Software for clustering networks as described in "Information-theoretic approach to network modularity" (Phys. Rev. E 71, 046117 (2005); http://link.aps.org/abstract/PRE/v71/e046117).
A simple yet powerful mesh generator based on matlab/octave language, making finite-element mesh from surfaces or arbitrary 3D volumetric images (such as MRI/CT scans) with fully automatic workflows.
lasYmat provides a set of Matlab routines for reading and writing LAS files. LAS is a world wide Oil & Gas industry standard for distribution of Well Log data.
An image processing and analysis library for Matlab
MatImage is a Matlab library for image processing and analysis in 2D and 3D. It contains more than 250 fonctions for image enhancement, filtering, analysis, or visualisation, as well as for creating basic test shapes. It is built as a complement of the Mathworks image processing toolbox (IPT).
The mfBox is a Matlab toolbox for performing model-free analysis of multivariate data sets. It also plugs into SPM used for the analysis of multivariate brain recordings such as fMRI, SPECT and PET data sets.
Matlab based scripting to set up, run and analyze groundwater model using (different versions of) MODFLOW (+SWI), MODPATH6, MT3DMS and SEAWAT.