Search Results for "linux space invaders"

... in a model is not a scalar value or a fixed-length vector, but a function. A Gaussian process (GP) can be used as a prior probability distribution whose support is over the space of continuous functions. PyMC3 provides rich support for defining and using GPs. Variational inference saves computational cost by turning a problem of integration into one of optimization. PyMC3's variational API supports a number of cutting edge algorithms, as well as minibatch for scaling to large datasets.

NOTE: The GROOVE codebase has moved to https://github.com/nl-utwente-groove

Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems.

This repository contains a list of AutoML related models and libraries. Google Brain researchers have introduced a new way of programming automated machine learning (AutoML) based on symbolic programming. The researchers also proposed PyGlove, a general symbolic programming library for Python, to implement the symbolic formulation of AutoML. AutoML, designed to fill the machine learning industry’s talent gap, is gaining traction among various organizations.

DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use...

Go! is a framework that enables development of user space device drivers in Linux. Go! allows Linux device drivers to be written using UML and C++, and deployed in user space with minimal effects on performance.

SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.

PROCOL space-based framework for multi-core. Based on LighTS (http://lights.sourceforge.net/). More to come soon ...

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.