LTL3DRA is a translator of a fragment of LTL formulae to deterministic Rabin automata. It is based on the popular tool named LTL3BA written by Tomas Babiak (available at https://sourceforge.net/projects/ltl3ba/). The translation used in LTL3DRA is described in T. Babiak, F. Blahoudek, M. Křetínský, and J. Strejček: Effective Translation of LTL to Deterministic Rabin Automata: […]
BioXTAS RAW is a program for analysis of Small-Angle X-ray Scattering (SAXS) data. The software enables: creation of 1D scattering profiles from 2D detector images, standard data operations such as averaging and subtraction, analysis of radius of gyration (Rg) and molecular weight, and advanced analysis using GNOM and DAMMIF. It also allows easy processing of […]
DualSPHysics is based on the Smoothed Particle Hydrodynamics method and can be downloaded from the official website (www.dual.sphysics.org). The code is developed to study free-surface flow phenomena where Eulerian methods can be difficult to apply, such as waves or impact of dam-breaks on off-shore structures. DualSPHysics is a set of C++, CUDA and Java codes […]
IM is a toolkit for Digital Imaging. IM is based on 4 concepts: Image Representation, Storage, Processing and Capture. The main goal of the library is to provide a simple API and abstraction of images for scientific applications. Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP […]
sql_LV.llb is a high-performance library for interfacing your LabView application with your ODBC or MySQL-based database. Result and data sets are handled as cluster arrays. The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and Packet Loss. Upon completion, you can view detailed reports about your connection. This HTML5 speed test […]
This is a PORTABLE app bundle for WINDOWS. No installation required! (Uncompressed size is about 60Mb because of required libraries for all Windows versions from XP to 10. The application is incomparably small.) Unzip, run sumcalc.exe. That’s it! You can put the folder wherever you want, except system folders with permissions (e.g. Program Files), and […]
TCNOpen is an open source initiative which the partner railway industries created with the aim to build in collaboration some key parts of new or upcoming railway standards, commonly known under the name TCN. TCN (Train Communication Network) is a series of international standards (IEC61375) developed by Working Group 43 of the IEC (International Electrotechnical […]
This project is an Open-Source (GPL) implementation of the SAE J1699-3 test specification. SAE J1699-3 test for compliance to OBD-2 protocols. THIS COMPUTER PROGRAM IS BASED UPON SAE RECOMMENDED PRACTICE J1699-3, WHICH WAS PROVIDED “AS IS”. Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by […]
extJWNL (Extended Java WordNet Library) is a Java API for creating, reading and updating dictionaries in WordNet format. extJWNL is an upgraded version of JWNL. The library features support for creating, editing and writing dictionaries; dictionary encodings, including UTF-8; Java generics; huge dictionaries; instance dictionaries and static singletone dictionary; Maven and more. If you are […]
A Matlab toolkit for analyzing EEG/ERP datasets, especially PCA. If you run into a problem, please send me a note and I’ll fix it. The tutorial is in the documentation folder and the tutorial data is a separate download (tutorial data.zip). The SourceForge Speed Test measures Latency/Ping, Jitter, Download Speed, Upload Speed, Buffer Bloat, and […]