Search Results for "theory" - Page 6
Sort By:
Showing 530 open source projects for "theory"
View related business solutions-
Ultatel stands at the forefront of business communications, empowering organizations with cutting-edge cloud VoIP technology to boost productivity and stay connected with customers anywhere, anytime.
-
NMIS is a solution that provides network performance and analysis, network automation, event management and monitoring of your entire network.
-
1
CP2K is a freely available (GPL) program, written in Fortran 95, to perform atomistic and molecular simulations of solid state, liquid, molecular and biological systems. It provides a general framework for different methods such as e.g. density functional theory (DFT) using a mixed Gaussian and plane waves approach (GPW), and classical pair and many-body potentials.
-
2
PyTorch Book
PyTorch tutorials and fun projects including neural talk
... under GPU and python3. But in theory there shouldn't be too many problems on python2 and CPU. The basic part (the first five chapters) explains the content of PyTorch. This part introduces the main modules in PyTorch and some tools commonly used in deep learning. For this part of the content, Jupyter Notebook is used as a teaching tool here, and readers can modify and run with notebooks and repeat experiments. -
3
EPISEARCH
Fast, parallelised epistasis detection using information theory
Search for epistatic triples through a genetic dataset. See https://github.com/haqueo/EPISEARCH for setup, documentation and examples. -
4
CCruncher
Open-Source Project for Credit Risk Modeling
CCruncher is a project for quantifying portfolio credit risk using the copula approach. It is a framework consisting of two elements: a technical document that explains the theory, and a software program that implements it. CCruncher evaluates the portfolio credit risk by sampling the portfolio loss distribution and computing the Expected Loss (EL), Value at Risk (VaR) and Expected Shortfall (ES) statistics. The portfolio losses are obtained simulating the default times of obligors... -
CirrusPrint is designed to manage and streamline printing and document delivery across networks. It solves cloud migration problems related to printing, and provides the most direct and immediate method to deliver documents to your users. Traditional network printing works without changing operations, plus there are new capabilities: you can print to your users, or email your printers, or send a file from your phone to a printer across the country.
-
5
... when individual-level data is available. A critical aspect of this coupling is the implementation of an algorithm that would allow the performance of population-based statistical analysis. Although novelty is encouraged in regards to the algorithm, proposals could entertain approaches such as: a. Implementing the non-linear mixed effects theory, b. Maximum log-likelihood algorithms (stiff, non-stiff Ordinary Differential Equation solving methods with linearization)
-
6
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
7
openVmTil
openVm : Tookit for Implementing (and exploring) Languages
*An Exploration of Language Theory - and its Machine Implementation* *Imagine a low level, optimizing, virtual machine (like llvm) that is an extensible scripting language and that is small enough to be easily verified, where even the runtime is reconfigurable - minimize that.* *Current focus (to do) : * minimal bootstrap, self-hosting, patterns/sets, logic, tail call, type checking, gui -
8
Prolog+CG is a Java implementation of Prolog with extensions implementing a subset of the Conceptual Graph (CG) theory of John Sowa. CGs are first-class datatypes on a par with terms. Object oriented extensions are also included.
-
9
-
Avantio's goal is to provide dynamic and innovative cloud-based solutions for professional agencies that manage significant numbers of vacation rental properties. We provide agencies the tools to stay ahead of the market, in order to empower their businesses, maximize resources and drive growth. The vacation rental industry is in a period of transformation and expansion. Avantio commitment is to provide agencies the tools specially designed for their needs with the best customer service experience possible. These solutions are specialized in the vacation rental industry, and can be used as stand-alone solutions, or integrated together for a full all-in-one solution and are all fully backed up by a dedicated customer service team. Automate your business Optimize resources spent on management and scheduling tasks using our industry-leading automated admin tools!
-
10
ED_Sym
Exact diagonalization to the many-electron problem using group theory
Exact diagonalization to the many-electron problem using group theory in the Fock basis. -
11
-
12
PD_BiochemicalSystemsTheory
A model of Parkinson’s disease using biochemical systems theory
Major pathways involving in Parkinson's disease (PD) such as alphasynuclein aggregation, dopamine synthesis, lewy body formation, tau phosphorylation, parkin, and apoptosis were modeled using stochastic differential equations. Pathways were modeled and simulated using the biochemical pathway visualization program CellDesigner, a modeling tool for gene-regulatory and biochemical networks that support graphical notation and listing of symbols. The model allows a qualitative analysis of PD and... -
13
iaaaat-ia
Non-Locality of Group Field Theory Symmetries and Representations.
Clinical Tinnitology : https://iaaaat-ia.sourceforge.io http://iaaaat-ia.eu3.biz http://iaaaat-ia.eu5.net http://iaaaat-ia.co.nf https://twitter.com/iaaaat medico/robotics : http://patentscope.wipo.int/search/en/WO2002096154 Phone 1 (Europe) : +45 91664237. phone 2 (Europe) : +45 71502125 phone 3 (Europe) : +45 31882731 fibtin2-System : Microsoft : https://sourceforge.net/projects/iaaaat-ia/files/iaaaat/iaaaat2.zip/download 3.7 MB (3910283 bytes). UNIX/Linux :... -
14
Graph Portal
Software to build web portals using concepts of Graph Theory
Graph Portal allows to organize many types of data so that you can get the information you want in the easiest way possible. There are many use cases for this software, including: building a web portal, creating mind map, wiki, studying graph theory concepts and algorithms,content management etc. The application has built-in Lucene search, custom query, file attachment to nodes etc. Graph Portal comes with an optional built-in security for authentication and role-based authorization... -
15
Matrosdms
Document Management System with real-life-objects
DMS based on hierarchical tags and graph theory with real life entities. In the real world you deal with entities like car, family members, dealers and companies. In this dms you can use your real world objects. You can build hierarchical structures and can easily make timelines from your letters Security is one big concern when you scan your personal documents Thats why this DMS is not build as Online/Cloud/Webservice. * I want my scans on my computer only * I want my papers... -
16
Looking for Artin's Roots in C++
This C++ program looks for Artin's Root
Artin's root conjecture, from number theory, is still not yet proven. This program looks for Artin's roots using an equivalence of that conjecture. Its all in C++. The C++ code could be optimised more. Done in MS Visual Studio 2010. -
17
-
18
Music Theory Wiz
WIP
Alpha release, only the scales are currently working; chords not added yet. Tab2 not yet done. I am uploading this so I can get some help in forcing the formatting of this. I'd like it have these colors and fonts in any windows environment >= windows xp. Leave a comment or send me a message if you know how to force this formatting using visual studio 2010. -
19
PLOOPI-Lib
A Java library for dealing with propositional and SMT formulas.
This library contains tools for representing clause sets and more general boolean formulas as well as for representing SMT (satisfiability modulo theory) formulas. In addition, a set of tools is included for generating tries of the prime implicates of boolean formulas. Current work includes integrating SMT formuals with these prime implicate generation tools so that prime implicates of SMT formulas may be produced. For a list of publications relating to this project, go to Files... -
20
CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.
-
21
Automation Center is a distributed automation platform developped by java technology, which could run QTP, selenium,Java, Junit, Ant, Web Service, scripts and so on.
-
22
Vector partition function - a mathematical project with focus on 1) symbolic computation (with the goal of becoming a complete computer algebra system); 2) computations in the area of Lie representation theory; 3) computations with vector partition functions.
-
23
Python Machine Learning book
The book code repository and info resource
What you can expect are 400 pages rich in useful material just about everything you need to know to get started with machine learning. From theory to the actual code that you can directly put into action! This is not yet just another "this is how scikit-learn works" book. I aim to explain all the underlying concepts, tell you everything you need to know in terms of best practices and caveats, and we will put those concepts into action mainly using NumPy, scikit-learn, and Theano... -
24
XInt
A big number C++ class
XInt is a big number class that is designed to be a "drop-in" replacement for both integers and all floating point types. In theory, you could take an existing programme, replace all integer and floating point types with XInt and it should compile and run exactly as it did before but with greater precision. There are some exceptions. Obviously, if you are relying on over/underflow behaviour, it won't work, XInt does not overflow! It will underflow but in a controlled fashion and you can... -
25
Tic Tac Toe (Autonomous) Dhaval Kadia
Experience AI ( Computer Plays with You ) !
SmartPrediction-ENGINE inside Enhanced with Artificial Intelligence Based upon Game Theory Still This is in BETA Phase