Search Results for "process"

...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. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.

The Airborne Data Processing and Analysis (ADPAA) package is an open-source software package containing a collection of programs and scripts to process and analyze data from in-situ instruments deployed on airborne platforms. The ADPAA package was started to process data on the North Dakota Citation Research Aircraft but has been used to process data on many airborne platforms. The software methodology used in ADPAA is provided in the peer-review publication: Delene, D. J., Airborne Data Processing and Analysis Software Package, Earth Science Informatics, 4(1), 29-44, 2011, URL: http://dx.doi.org/10.1007/s12145-010-0061-4, DOI: 10.1007/s12145-010-0061-4.

Fast Neurite Tracer (FNT) is a tool for semi-automated neurite tracing. FNT can handle big imaging data such as fMOST data. It can also process other types of light imaging data in general. FNT is designed to be * accurate in tracing (each tracing step needs your confirmation), * fast (operations using computer mouse is reduced with automatic searching), * scalable (large volume data of tera-bytes in size are supported). Other features include * the results can be exported to SWC files, * automatic detection of cycles during tracing, * support for data of multiple channels, * support for both 8-bit and 16-bit image data.

The r4st ("Our Forest") project is a set of tools to assist with the rapid development of a database application. It uses shell scripts to drop/add Postgresql database tables/views with data loaded from sql and csv files. This process allows users to apply changes then re-build the system. It is essentially a customizable database regression system. The base schema and data module represent a plant database intended for educational and scientific usage.

Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. Ccide checks tables for conflicts and other errors. Input example: //DECISION_TABLE: // 1 3 2 2 | light == $$ /* 1=red, 2= yellow, 3=green. */ // N - - - | speed == STOPPED // - - Y - | speed == SLOW // - N - Y | speed == FAST // ______|___________________ // X - X - | Stop(); // - - - X | SlowDown(); // - X - - | SpeedUp(); //END_TABLE:

osm2postgresql is a Linux script loading openstreetmap data into a postgresql database setting up if needed a server & database (postgis+hstore). Advanced processing is performed, easing rendering. http://wiki.openstreetmap.org/wiki/Osm2postgresql

mind your Project Management Process Scout links open source software to the PMI based project management by offering a site describing the PMBOK knowledge areas, by a classification of os pm software and by os documents for constituting a PMI project.

ModelicaFloChrt is a script/Perl process that extracts information from Modelica library html help files and generates flow charts of module connectivity in eps and pdf formats.

A service-oriented, single-source, Java integration server with virtual Service Stores(TM) that expose services via web services, HTTP and more. Service Flows provide process automation. Mainframe, database, email, web, soap & ftp adapters are included.

Script for control of seti program, support multiseti, smp, dial connect, process idle, proxy, work offline, nice, stats. etc...

take Data, by a GPS Reciver, post process them over EUREF, convert to Gauss Krueger, calculate Area Size, visualize with SVG. ESRI Shape File import.

A bash script that allows Seti @ Home users to queue up and process multiple work units. This means you don't have to connect to the seti servers after every work unit, and only when you want to.