… Although FASTTRACK does not currently support the full set of concurrency primitives
available in the Java concurrency library [37], we believe their effects on a program’s happens-…

Here we describe a phage strategy for the selection of ligands based on bicyclic or linear
peptides attached covalently to an organic core. We designed peptide repertoires with three …

Combining experimental and simulation data to describe all of the structures and the
pathways involved in folding a protein is problematical. Transition states can be mapped …

This paper presents a static race detection analysis for multithreaded Java programs. Our
analysis is based on a formal type system that is capable of capturing many common …

… The linkage specificity in OTU DUBs can be exploited in Ub chain restriction analysis,
whereby linkage-specific DUBs are used to identify the linkage type(s) on a ubiquitinated protein. …

… This analysis combines ideas from both Lipton’s theory of reduction and earlier dynamic
race detectors. Experience with a prototype checker for multithreaded Java code demonstrates …

The double-stranded RNA-binding domain (dsRBD) is a common RNA-binding motif found
in many proteins involved in RNA maturation and localization. To determine how this domain …

The S1 domain, originally identified in ribosomal protein S1, is found in a large number of
RNA-associated proteins. The structure of the S1 RNA-binding domain from the E. coli …

Low temperature is a primary determinant of plant growth and survival. Using accessions of
Arabidopsis (Arabidopsis thaliana) originating from Scandinavia to the Cape Verde Islands, …

… of a target gene in S. solfataricus (21) (figs. S9 to S11). We transformed S. solfataricus with
either … (A to C) Phase contrast and fluorescent microscopy of DAPI-stained S. solfataricus cells …