Search Results for "paper"
Sort By:
Showing 32 open source projects for "paper"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Atera - an All-in-one platform for IT managementYour IT essentials, integrated & elevated. Take your IT management from automated to autonomous, download Atera's agent to start your free trial!
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. ... -
2
Algebraic graphs
Algebraic graphs
Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. -
3
MatCont
Numerical Bifurcation Analysis Toolbox in Matlab
...Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL) and Hil G.E. Meijer (UT, Enschede, NL). Matcont for ODEs and MatcontM for Maps Publishing a paper using our software? That's great. Please do us a favour and cite: New features of the software MatCont for bifurcation analysis of dynamical systems. A. Dhooge, and W. Govaerts, Yu.A. Kuznetsov, H.G.E. Meijer and B. Sautois, MCMDS 2008, Vol. 14, No. 2, pp 147-175 In case you're stuck, use the forum, but to get a good answer provide: 1. ... -
4
Ket
An algebra editor
A text editor for maths. Simple algebra should be faster and more intuitive to perform on a computer than on paper and should look like maths. Write small fragments in plain text; perform simple click-and-drag algebra with the mouse; and explore more involved algebra through keyboard shortcuts. When done, save as plain text files or export to LaTeX and HTML. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
rcal
an interactive "rolling paper" calculator
rcal is an interactive calculator for DOS, that loosely mimics the behavior of "roller printing" calculators. It supports huge numbers, floating point and has extremely low hardware requirements. -
6
Discursive Dilemma
Optimal Decision Rules for the Discursive Dilemma
Accompanying software for the paper "Optimal Decision Rules for the Discursive Dilemma", by A. Alabert, M. Farré and R. Montes (https://arxiv.org/abs/2210.13100). Computes a ranking of the best decision rules according to a quantitative criterion based on the minimisation of the combined probabilities of false positives and false negatives -
7
TopDeg
Program for topological degree calculation.
The program calculates the degree deg(f,B,0) where B is a product of n nontrivial intervals in R^n and f is a continuous function from B to R^n. The algorithm is described in the following paper: http://www.ams.org/journals/mcom/2015-84-293/S0025-5718-2014-02877-9/ -
8
...See the Wiki page for a description of the math conjecture. https://en.wikipedia.org/wiki/Collatz_conjecture The program tests a number of ways for researching various patterns. A white paper is included that describes various results of the research. Also included are a number of data files of results of the program.
-
9
StatisticsTables
This is a Java APP for Probability and Statistics Tables
If you have Windows or a MAC , you can setup and run Statistics Tables with very little effort. You can use jdistabs in place of paper Probability Tables to get electronic probabilities. You can also download the Java code used to create this APP. There are 2 zips. One is for a working windows APP, and the other with complete code and file structure. I used Eclipse to develop the APP. Click the link you want to download to get the Statistics Tables Windows.exe or OS X zipped files. ... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
RegexToNFA
Compiles regular expressions into modular NFA
This program compiles regular expressions (regexes) written in the modified ECMAScript regex grammar into modular nondeterministic finite automata suitable for hardware acceleration. This was originally an extended re-implementation of the "front-end" part in the following paper: https://www.computer.org/csdl/proceedings/reconfig/2008/3474/00/3474a073-abs.html It has since grown to include conversion of a set of NFAs to a DFA; compilation of NFAs to instruction suitable for simulation; and compilation of a DFA to hash-based data structures for a simulator. -
11
BioFVM
3-D diffusion solver for biological problems
...BioFVM: an efficient, parallelized diffusive transport solver for 3-D biological simulations. Bioinformatics 32(8): 1156-8, 2016. DOI: 10.1093/bioinformatics/btv730 method paper: http://dx.doi.org/10.1093/bioinformatics/btv730 -
12
...With the basic library one can solve heat flow equations, Maxwell equations, and solid mechanical problems. Several add-ons are available for particular application classes. New paper: J. Schöberl: "C++11 Implementation of Finite Elements in NGSolve", ASC Report 30/2014, Institute for Analysis and Scientific Computing, Vienna University of Technology, 2014 http://www.asc.tuwien.ac.at/~schoeberl/wiki/publications/ngs-cpp11.pdf
-
13
spectralHMM
A spectral method for inferring selection from time series data
***WARNING*** This software was migrated to: https://github.com/popgenmethods/spectralHMM Support and updates will only be available at this new address. This software implements the algorithms described in the following paper: Steinrücken, M., Bhaskar, A. and Song, Y.S. A novel spectral method for inferring general diploid selection from time series genetic data. Annals of Applied Statistics, Vol. 8, No. 4 (2014) 2203-2222 -
14
Maps coloring
Four color theorem application
Search for a pencil and paper proof of the four color problem. See http://4coloring.wordpress.com for info. Please let me know what you think about this application. Also visit the youtube channel: http://www.youtube.com/user/mariostefanutti/videos -
15
Burris Numerical System
A Numerical System controlled by algorithms.
BNS - Burris Numerical System was written to store the last digit of a number in 3 dimensional space but store the rest of the number mathematically in the 4th dimension of space. The result is that no matter how long the number is you can write it down on a piece of paper and put it in your pocket. The software can be used to retrieve the number. This can be used to save computer files. The only limit with BNS is how much time the user has. The software nor the numerical system has no limits. The book on BNS is here https://www.createspace.com/4404221 The inventors websight is here: http://timetravelinstitute.biz -
16
CurvatureFilter
Curvature Filters are efficient solvers for Variational Models
These curvature filters were developed by Yuanhao Gong during his PhD studies. MC filter and TV filter are exactly the same as described in the paper. However, the GC filter is slightly modified. Please cite the following papers if you use a curvature filter in your work. Traditional solvers, such as gradient descent or Euler Lagrange Euqation, start at the total energy and use diffusion scheme to carry out the minimization. When the initial condition is the original image, the data fitting energy always increases while the regularization energy always reduces during the optimization. ... -
17
Econball
Equation of stock trading simplified to game of moving resizing balls
...Those who change to the majority side lose, and those who change to the minority side win, since it is scaled to the average. Its the same math as Matching Pennies and Odds And Evens game which are Rock Paper Scissors with 2 choices instead of 3 (buy vs sell). You see this in the size of balls changing depending where they move. Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing. -
18
Jafaran
Fast and more random implementations of java.util.Random.
...The names of implementations contain "Conc" (for concurrent) if they are thread-safe and non-blocking, or "Seq" (for sequential) if they are not thread-safe. Also provides an implementation of Ziggurat algorithm (based on J. A. Doornik paper, 2005), used by nextGaussian() methods of the provided implementations. Requires Java 5 or later. Also available on github since 2015/12/13: https://github.com/jeffhain/jafaran Principal classes: - Implementations using Mersenne-Twister algorithm (good pseudo-randomness): MTSyncRNG MTSeqRNG - Implementations using Marsaglia Xor-Shift (fast): MXSIntSeqRNG (32 bits) MXSLongSeqRNG (64 bits) (nextLong() faster, larger period) - Ziggurat: Random-based implementation of Ziggurat algorithm. -
19
MattsMathTools
MathTools is an aid in preparing printed math tests.
Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available. -
20
DEAPathways
Differential Expression Analysis for Pathways
This project contains the source code associated with the PLoS Computational Biology publication: "Differential Expression Analysis for Pathways". The paper text can be found here: http://www.ploscompbiol.org/article/info%3Adoi%2F10.1371%2Fjournal.pcbi.1002967 -
21
libsharp
Library for spherical harmonic transforms (SHT)
...It supports a wide range of pixelisations (including HEALPix, GLESP, and ECP). This library is a successor of libpsht (http://sourceforge.net/projects/libpsht). A scientific overview over the functionality is given in the paper available at http://arxiv.org/abs/1303.4945. -
22
hbgm
'Hierarchical Bond Graph Modelling of Biochemical Networks'
... (3) Department of Mathematics and Statistics, University of Melbourne, Victoria 3010, Australia. (4) School of Medicine, University of Melbourne, Victoria 3010, Australia Draft paper available at http://arxiv.org/abs/1503.01814 -
23
Maxima poles-zeros for analog circuits
Maxima script for symbolic analysis of analog integrated circuits
...DC transfer function, zeros, poles result simplified so main contributing elements can be easily identified. Poles and zeros approximation principle mainly taken from the paper "INDIRECT FEEDBACK COMPENSATION TECHNIQUES FOR MULTI-STAGE OPERATIONAL AMPLIFIERS" by Vishal Saxena Usage examples also can be taken from "Maxima Opamp Analisys" project Any comments bug reports and improvement suggestions are welcomed! ** The project based on script and concept initially developed by Ram Livne ** -
24
Fast Gauss-Legendre Quadrature Rules
Computes Gauss-Legendre quadrature nodes and weights
...The latter also makes this software perfectly compatible with parallel computing paradigms. - Accuracy: the error on the nodes and weights is smaller than a few ulps (see the paper for details). -
25
A High-Order Multi-Variate Approximation Scheme for Arbitrary Data Sets, C implementation of the method described in http://web.mit.edu/qiqi/www/paper/interpolation.pdf, with Python and Fortran interfaces.
