Search Results for "paper"
Sort By:
Showing 5 open source projects for "paper"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
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
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 -
3
...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
-
4
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 -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
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.
- Previous
- You're on page 1
- Next
