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

Carol Green: Helping new drugs make the leap from possible to practical
Leading the effort to make sure effective therapies progress to human trials.
-

Gita Shankar: Formulating drugs for success
SRI’s director of pharmaceutical sciences works to bring new drugs safely to market while serving as a role model for women in STEM.
-
Distinct lateral hypothalamic CaMKIIα neuronal populations regulate wakefulness and locomotor activity
Here, we show that LH Ca2+/calmodulin-dependent protein kinase IIα (CaMKIIα)-expressing neurons are active during wakefulness and that chemogenetic excitation of these neurons induces sustained wakefulness and increased locomotor activity even in the absence of Hcrt signaling.





