Search Results for "human"

...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. ...

SPELL is a framework composed of an integrated environment for the development and execution of satellite automated procedures. It is capable of running any procedure via different Ground Control System and for any spacecraft. The goal of SPELL is to have a powerful and readable automation language, which can be shared across Satellite Operators and Satellite Manufacturers. If we all use the same language, the cost and the risk associated with automated procedures will go down! SPELL...

MitoSAlt is a pipeline to identify large deletions and duplications in human and mouse mitochondrial genomes from next generation whole genome/exome sequencing data. The pipeline is capable of analyzing any circular genome in principle, as long as a proper configuration file is provided.

MToolBox is a highly automated bioinformatics pipeline to reconstruct and analyze human mitochondrial DNA from high throughput sequencing data. MToolBox includes an updated computational strategy to assemble mitochondrial genomes from Whole Exome and/or Genome Sequencing (PMID: 22669646) and an improved fragment-classify tool (PMID:22139932) for haplogroup assignment, functional and prioritization analysis of mitochondrial variants.

...SPANDx produces SNP and indel matrices for downstream phylogenetic analyses. Annotated, genome-wide SNPs and indels can also be identified if specified, and are output in human readable format. A presence/absence matrix is also generated to allow you to identify the core/accessory genome content across all your genomes. The outputs generated by SPANDx can be imported into PLINK for microbial genome-wide association study (mGWAS) analyses. SPANDx can utilise PBS, SGE or SLURM for resource management. ...

...To facilitate analysis of copy number variations (CNV), single nucleotide polymorphisms (SNPs), and loss of heterozygosity (LOH) events in Candida albicans, the most common human fungal pathogen, we developed a pipeline for analyzing diverse genome-scale datasets from microarray, deep sequencing, and restriction site associated DNA sequence experiments for clinical and laboratory strains. The YMAP pipeline automatically illustrates genome-wide information in a single intuitive figure and is readily modified for the analysis of other categories of data and other pathogen species with small genomes.

...Please go to: https://github.com/solleo/ANTs-Condor - SG (2014-07-22) Advanced Normalization Tools (ANTS; https://sourceforge.net/projects/advants/) is an extremely sophisticated image registration tool, which is often used in human neuroimaging analysis. As creating an unbiased study-specific template with a large number of subjects is highly demanding in computational load, parallelization is implemented in ANTS's script "buildtemplateparallel.sh" for SGE, PBS and Apple XGrid, but not for Condor yet. This modification enables running buildtemplateparallel.sh from ANTS-1.9.v4 on HTCondor (http://research.cs.wisc.edu/htcondor/) environment.

Benetech Human Rights Program Utility Library: Collection of utilities used by the Benetech Human Rights programming for processing human rights data in preparation for statistical analysis. Library handles DSV files, name canonicalization, binarray, et