Search Results for "shader model 2.0)" - Page 6

GPU Fragment Shader Repository under the Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Various Authors. Language: GLSL OpenGL ES.2.0 Compliant. Shaders Repository: git clone https://git.code.sf.net/p/shadersrepository/code shadersrepository-code

... 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.

Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).

Vexi is a rich GUI platform for creating desktop-like Internet or intranet applications using an intuitive XML/JavaScript API and an extensible widget set with themes, JSON support. Communicate with servers using XMLRPC/SOAP/REST and runs on Java.

ExAdmin is an auto-administration package for Elixir and the Phoenix Framework. This version has been updated to support both Ecto 1.1 and Ecto 2.0. ExAdmin is an auto-administration package for Elixir and the Phoenix Framework, a port/inspiration of ActiveAdmin for Ruby on Rails. Checkout the Live Demo. The source code can be found at ExAdmin Demo. Checkout this Additional Live Demo for examples of many-to-many relationships, nested attributes, and authentication. ExAdmin is an add...

Platform for risk analysis of security critical IT systems using UML, based on the CORAS model-based risk assessment methodology. Contains an XML and UML repository, facilitating management and reuse of analysis results.

This package provides high-level interface utilities for MCMC models via Just Another Gibbs Sampler (JAGS), facilitating the use of parallel (or distributed) processors for multiple chains, automated control of convergence and sample length diagnostics, and evaluation of the performance of a model using drop-k validation or against simulated data. Template model specifications can be generated using a standard lme4-style formula interface to assist users less familiar with the BUGS syntax...

Ogles strives to provide an open source data model for neuroscientific data visualization and analytics. Ogles started out as a planning system for frame based stereotactic neurosurgery. Ogles(1) is discontinued. Release candidate (RC) is Ogles2b. Ogles is accompanied by a simple DICOM reader and NIfTI converting tool (Sdr2).

Icarus Scene Engine is a cross-platform, CLS-compliant 3D framework, integrating open source APIs into a cohesive all-open-source, all .NET solution. For Windows, MacOSX & Linux. Uses OpenTK, OpenGL, OpenAL APIs for graphics and audio. Runs on Mono/.NET. Links to FFMpeg for streaming video, and FreeType as a temporary conversion mod to bring fonts into a native XML format. Binary builds of Icarus will be infrequent, roughly every 18 months or so, the GIT code updates regularly on a...

This project implements a Cytoscape plugin for viewing and manipulating pathway maps for metabolic models created by the Model SEED (http://www.theseed.org/models). See the "Files" area for README. See Project Homepage for Tutorial.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

GMOD is a set of interoperable open source software components for visualizing, annotating, and managing biological data. See http://gmod.org for more.

ModelJUnit extends JUnit to support model-based testing, with the models being written as Java classes. Model-based testing allows you to automatically generate test suites from a model of a system under test.

Document Object Model Structured Query Language! Example: 'SELECT {//title[1]=>innerCode} FROM {http://example.com}';

The Java package jLDADMM is released to provide alternative choices for topic modeling on normal or short texts. It provides implementations of the Latent Dirichlet Allocation topic model and the one-topic-per-document Dirichlet Multinomial Mixture model (i.e. mixture of unigrams), using collapsed Gibbs sampling. In addition, jLDADMM supplies a document clustering evaluation to compare topic models. See the usage of jLDADMM in its website at http://jldadmm.sourceforge.net/

PyML is an interactive object oriented framework for machine learning written in python. PyML focuses on kernel classifiers, providing tools for feature selection, model selection, and methods for assessing classifier performance.

A fresh approach to autocomplete implementations, specially for Django. Python 2.7, 3.4, Django 2.0+ support (Django 1.11 (LTS), is supported until django-autocomplete-light-3.2.10), Django (multiple) choice support, Django (multiple) model choice support, Django generic foreign key support (through django-querysetsequence), Django generic many to many relation support (through django-generic-m2m and django-gm2m). Multiple widget support: select2.js, easy to add more. Creating choices...

PHP and MySQL package for model-railroad convention management.

SFS_CODE (Selection on Finite Sites under COmplex Demographic Events) performs forward population genetic simulations under a general Wright-Fisher model with arbitrary demographic, selective, and mutational effects.

The General Hidden Markov Model Library (GHMM) is a C library with additional Python bindings implementing a wide range of types of Hidden Markov Models and algorithms: discrete, continous emissions, basic training, HMM clustering, HMM mixtures.

pyQPCR is a GUI application written in python that deals with quantitative PCR (QPCR) raw data. Using quantification cycle values extracted from QPCR instruments, it uses a proven and universally applicable model to give finalized quantification resu

qooxdoo is a universal JavaScript framework for creating applications for a wide range of platforms. It has a comprehensive feature set, including an object-oriented programming model, an integrated tool chain and a state-of-the-art GUI toolkit. Note: Please note that as of 2011-10-26 the code repository for the project has been moved to https://github.com/qooxdoo/qooxdoo. The existing SVN repository will be set to read-only for the time being, and will not see any more updates.

C++ template library for modular construction of factored probabilistic time-series models, model trainers, and recognizers.

DuMuX, DUNE for multi-{phase, component, scale, physics, ...} flow and transport in porous media, is a free and open-source simulator for flow and transport processes in porous media. It is based on the Distributed and Unified Numerics Environment DUNE, dune-project.org. Its main intention is to provide a sustainable and consistent framework for the implementation and application of model concepts, constitutive relations, discretizations, and solvers. It has been successfully applied to CO2...

That project aims at providing a clean API, and the corresponding C++ implementation, for choosing one item among a set of travel solutions, given demand-related characteristics (e.g., Willingness-To-Pay, preferred airline, preferred cabin, etc.).