Publications
-
The Comparative Genome Dashboard
The Comparative Genome Dashboard is a web-based software tool for interactive exploration of the similarities and differences in gene functions between organisms.
-
The Genome Explorer Genome Browser
In this paper we report on a major update to our browser, Genome Explorer, that provides nearly instantaneous scaling and traversing of a genome, enabling users to quickly and easily…
-
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments
We present SayNav, a new approach that leverages human knowledge from Large Language Models (LLMs) for efficient generalization to complex navigation tasks in unknown large-scale environments.
-
Machine Learning Aided GPS-Denied Navigation Using Uncertainty Estimation through Deep Neural Networks
We describe and demonstrate a novel approach for generating accurate and interpretable uncertainty estimation for outputs from a DNN in real time.
-
Non-Markovian Quantum Control via Model Maximum Likelihood Estimation and Reinforcement Learning
We propose a novel approach that incorporates the non-Markovian nature of the environment into a low-dimensional effective reservoir.
-
Stable, narrow-linewidth laser system with a broad frequency tunability and a fast switching time
We present a demonstration of a laser system that can rapidly switch a coupling laser as much as 8 nm in less than 50 μs.
-
Independent Rydberg atom sensing using a dual-ladder scheme
We show that using two independent schemes to prepare and readout the same Rydberg state can be used to perform independent measurements in general...
-
Automating the Derivation of Unification Algorithms. A Case Study in Deductive Program Synthesis
The unification algorithm has long been a target for program synthesis research, but a fully automatic derivation remains a research goal.
-
An Evaluation of ChatGPT and Bard (Gemini) in the Context of Biological Knowledge Retrieval
We evaluate the effectiveness of chatbots in retrieving biological knowledge for curation and research purposes.
-
An efficient quantum algorithm for simulating polynomial dynamical systems
We present an efficient quantum algorithm to simulate nonlinear differential equations with polynomial vector fields of arbitrary (finite) degree on quantum platforms.
-
YouTube’s ABCs and 123s: Describing the quality of early literacy and math videos on YouTube
This paper describes the quality of educational videos for young children on YouTube.
-
CyanoCyc Cyanobacterial Web Portal
CyanoCyc is a web portal that integrates an exceptionally rich database collection of information about cyanobacterial genomes with an extensive suite of bioinformatics tools.