University of Central Florida Research Foundation, Inc.

University of Texas System

University of Massachusetts

University of Florida Research Foundation, Incorporated

Shaojie Zhang

Ardalan Naseri

Thoru Pederson

Hanhui Ma

Ahsan Sanaullah

Erwin Holzhauser

Degui Zhi

Scot Andrew Wolfe

Yier Jin

Manuel Garber

Jason Liam Portillo

Ryan Michael Jude Genga

Maximilaan Huisman

James Geist

Rene Maehr

Travis Meade

Li-Chun Tu

Metewo Selase Kosi Enuameh

Nicola Anne Kearns

A system for indexing, updating, and search haplotypes for genetic genealogical discovery in genotype databases. The system includes a pool of genetic indexes, a haplotype ingestion engine, and a haplotype query engine. The haplotypes of a number of individuals in a genotype database are indexed by a pool of multiple panels, and each panel pool can be dynamically updated by the insertion or deletion of individual haplotypes. A genetic genealogical search of a query haplotype against the database is achieved by first projecting the query onto a subset of panels in the pool, then conducting long match queries over each panel, and finally aggregating the identified long matches into Identical-by-Descent segments, i.e., DNA matches, between the query and the haplotypes in the database.

Methods and system for efficient indexing for genetic genealogical discovery in large genotype databases

The present disclosure relates to methods of and systems for modifying the transcriptional regulation of stem or progenitor cells to promote their differentiation or reprogramming of somatic cells. Further, the labeling and editing of human genomic loci in live cells with three orthogonal CRISPR/Cas9 components allow multicolor detection of genomic loci with high spatial resolution, which provides an avenue for barcoding elements of the human genome in the living state.

Compositions and methods for differential Cas9 gene labeling and/or editing

Embodiments herein provide for reverse engineering of integrated circuits (ICs) for design verification. In example embodiments, an apparatus receives a gate-level netlist for an integrated circuit (IC), generates a list of equivalence classes related to signals included in the gate-level netlist, determines control signals of the gate-level netlist based at least in part on the list of equivalence classes, determines a logic flow of a finite state transducer (FST) based at least in part on the control signals, and generates register transfer level (RTL) source code for the IC based on the FST.

System and method for fast and accurate netlist to RTL reverse engineering

A C9orf72 DNA repeat expansion can be detected using a CRISPR Arrayed Repeat Detection System (CARDS). Based upon the compositions and methods supporting this platform primary cell cultures and/or blood cell smears can be tested under conventional clinical diagnostic laboratory conditions to diagnose genetically-based diseases having DNA repeat expansions, including but not limited to ALS. dCas9 constructs are also contemplated as having fluorescent proteins bound to any or all stem loop sequences, wherein detection of a plurality of dCas9 constructs having different colored fluorescent proteins can simultaneously detect at least six (6) different gene target loci.

Detection of gene loci with CRISPR arrayed repeats and/or polychromatic single guide ribonucleic acids

Growing community of inventors

Orlando, FL, United States of America

Shaojie Zhang