Search Results for "properties"

...Share your open-source data sets and MWE extraction tools, exchange ideas on evaluation strategies and further development of the tools, and discuss theoretical definitions and linguistic properties of MWEs.

PostHog is an open-source product analytics platform that combines several tools for analyzing user behavior, managing experiments, and optimizing products and apps. It allows you to collect data on user actions, analyze conversion funnels, retain users, record sessions, conduct A/B tests, and manage feature flags.

jAgg is a Java 5.0 API that supports “group by” operations on Lists of Java objects: aggregate operations such as count, sum, max, min, avg, and many more. It supports Super Aggregation: Rollups, Cube, and Grouping Sets. It supports analytic operations such as lag/lead and row number and more. It also allows custom aggregate and analytic operations.

...The simulator delivers a 3D visual interface and provides as an output file all the instantaneous microscopic information related to each boid (positions and velocities over time), allowing in this way subsequent analysis, such as searching for synthetic and higher-level descriptions of collective behaviors, relying for instance on global network and meta-structural properties.

...The toolbox is to be understood as a scripting framework rather than a black-box software. Task specific input and preparation or analysis function, are easy expandable to meet the scientific characteristic of constant changing properties. Concepts for efficiently storing and analysing large files in conjunction with graphical visualization and numerical data processing are presented in a Manual. A documented script collection that allows reproducing all simulations and analysis results presented in the Doctoral thesis of the author.

Executable program that measures sizes and other properties of colonies arrayed in a grid format (intended for 768, 384, or 96 colonies on agar plates) from jpeg images

A utility to extract meta-information (properties/comments) out of various file-types; e.g. HTML, PDF, RTF & various Office documents; OGG/MP3 files and JPEG/PNG/GIF images, which can be presented in various output formats (HTML, XML, LaTeX & plain t

This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.

Baldr, aka Balder, is a plagiarism prevention software. Inspired by late researches in computer sciences, it’s able to compare documents using only properties linked to data compression.

Diktyologia is software for investigating complex systems with advanced methods of network theory. The package allows for analysing statistical properties of directed intercausal networks that are represented in form of cy.prus XML files.

KF Checker infers information flow rules from source code. The rules obtained in this way are used to create a theory which it then exploited to prove that information flow policies are respected.