Coherent control of macroscopic quantum states in a single-Cooper-pair box

Y Nakamura, YA Pashkin, JS Tsai - nature, 1999 - nature.com
A nanometre-scale superconducting electrode connected to a reservoir via a Josephson
junction constitutes an artificial two-level electronic system: a single-Cooper-pair box. The two …

Quantitative analysis of complex protein mixtures using isotope-coded affinity tags

SP Gygi, B Rist, SA Gerber, F Turecek, MH Gelb… - Nature …, 1999 - nature.com
We describe an approach for the accurate quantification and concurrent sequence identification
of the individual proteins within complex mixtures. The method is based on a class of …

[BOOK][B] Models of working memory

A Miyake, P Shah - 1999 - academia.edu
Working memory plays an essential role in complex cognition. Everyday cognitive tasks–such
as reading a newspaper article, calculating the appropriate amount to tip in a restaurant, …

SYFPEITHI: database for MHC ligands and peptide motifs

HG Rammensee, J Bachmann, NPN Emmerich… - Immunogenetics, 1999 - Springer
The first version of the major histocompatibility complex (MHC) databank SYFPEITHI: database
for MHC ligands and peptide motifs, is now available to the general public. It contains a …

Generalized lacZ expression with the ROSA26 Cre reporter strain.

P Soriano - Nature genetics, 1999 - openurl.ebsco.com
Analyzes the structure of the generalized lacZ expression and the ROSA26 Cre reporter
strain. Derivation of a reporter line for monitoring Cre expression; Generation of transgenic or …

[PDF][PDF] Multiple comparisons of log-likelihoods with applications to phylogenetic inference

H Shimodaira, M Hasegawa - Molecular biology and evolution, 1999 - cophylogeny.net
… 1999. Using novel phylogenetic methods to evaluate mammalian mtDNA, including AA
invariant sites-LogDet plus site stripping, to detect internal conflicts in the data, with special …

Symbolic model checking without BDDs

A Biere, A Cimatti, E Clarke, Y Zhu - … conference on tools and algorithms for …, 1999 - Springer
Symbolic Model Checking [ 3 ], [ 14 ] has proven to be a powerful technique for the verification
of reactive systems. BDDs [ 2 ] have traditionally been used as a symbolic representation …

[BOOK][B] Vascular plants of Ukraine: A nomenclatural checklist

SL Mosyakin, MM Fedoronchuk - 1999 - harvester.nas.gov.ua
Рецензована книга є повним новим номенк латурно-таксономічним довідником, який міс
тить список наукових (латинських) назв або ригенних, адвентивних та найважливіших …

[BOOK][B] Lombard Street: A description of the money market

W Bagehot - 1999 - books.google.com
Lombard Street began as a series of articles the esteemed essayist and financial advisor,
Walter Bagehot had written for The Economist during the 1850s. First published in book form in …

[CITATION][C] The developmental state

M Woo-Cumings - Cornell Studies in Political Economy/Cornell University …, 1999