59 hits in 0.007 sec.
Pervasive verification of distributed real-time systems
[Score: 100%]
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. | Place of publication: Amsterdam [u.a.] | Publisher: IOS Press | Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
A CD99-related antigen on endothelial cells mediates neutrophil but not lymphocyte extravasation in vivo
[Score: 100%]
Author / Editor: Bixel, Maria Gabriele; Vestweber, Dietmar | Place of publication: Washington, DC | Publisher: American Society of Hematology | Year of Publication: 2007 | 10 s.
Journal / Series / Collection: Blood; 109
Subject Area: Biologie
Author / Editor: Bixel, Maria Gabriele; Vestweber, Dietmar | Place of publication: Washington, DC | Publisher: American Society of Hematology | Year of Publication: 2007 | 10 s.
Journal / Series / Collection: Blood; 109
Subject Area: Biologie
Stability of Hodge bundles and a numerical characterization of Shimura varieties
[Score: 100%]
Author / Editor: Möller, Martin; Viehweg, Eckart; Zuo, Kang | Year of Publication: 2007 | 65 s.
Subject Area: Mathematik
Author / Editor: Möller, Martin; Viehweg, Eckart; Zuo, Kang | Year of Publication: 2007 | 65 s.
Subject Area: Mathematik
Turbulence transition in pipe flow
[Score: 100%]
Author / Editor: Eckhardt, Bruno | Place of publication: Palo Alto, Calif. | Publisher: Annual Reviews | Year of Publication: 2007 | 22 s.
Journal / Series / Collection: Annual review of fluid mechanics; 39
Subject Area: Physik
Author / Editor: Eckhardt, Bruno | Place of publication: Palo Alto, Calif. | Publisher: Annual Reviews | Year of Publication: 2007 | 22 s.
Journal / Series / Collection: Annual review of fluid mechanics; 39
Subject Area: Physik
Expansive algebraic actions of discrete residually finite amenable groups and their entropy
[Score: 100%]
Author / Editor: Deninger, Christopher; Schmidt, Klaus | Place of publication: Cambridge | Publisher: Cambridge University Press | Year of Publication: 2007 | 18 s.
Journal / Series / Collection: Ergodic theory and dynamical systems; 27
Subject Area: Mathematik; Physik
Author / Editor: Deninger, Christopher; Schmidt, Klaus | Place of publication: Cambridge | Publisher: Cambridge University Press | Year of Publication: 2007 | 18 s.
Journal / Series / Collection: Ergodic theory and dynamical systems; 27
Subject Area: Mathematik; Physik
Motor-free mitochondrial presequence translocase drives membrane integration of preproteins; 10
[Score: 100%]
Author / Editor: Laan, Martin van der; Pfanner, Nikolaus | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 8 s.
Journal / Series / Collection: Nature cell biology; 9
Subject Area: Biologie
Author / Editor: Laan, Martin van der; Pfanner, Nikolaus | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 8 s.
Journal / Series / Collection: Nature cell biology; 9
Subject Area: Biologie
Influence of particle size and concentration on the second-harmonic signal generated at colloidal surfaces; 2
[Score: 100%]
Author / Editor: Schneider, Lars; Schmid, Hans Joachim; Peukert, Wolfgang | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2007 | 7 s.
Journal / Series / Collection: Applied physics B : lasers and optics; 87
Subject Area: Physik; Chemie und Pharmazie
Author / Editor: Schneider, Lars; Schmid, Hans Joachim; Peukert, Wolfgang | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2007 | 7 s.
Journal / Series / Collection: Applied physics B : lasers and optics; 87
Subject Area: Physik; Chemie und Pharmazie
The Cfd1-Nbp35 complex acts as a scaffold for iron-sulfur protein assembly in the yeast cytosol; 5
[Score: 100%]
Author / Editor: Netz, Daili J. A.; Lill, Roland | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 9 s.
Journal / Series / Collection: Nature chemical biology; 3
Subject Area: Biologie; Chemie und Pharmazie
Author / Editor: Netz, Daili J. A.; Lill, Roland | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 9 s.
Journal / Series / Collection: Nature chemical biology; 3
Subject Area: Biologie; Chemie und Pharmazie
Stationary phase reorganisation of the Escherichia coli transcription machinery by Crl protein, a fine-tuner of sS activity and levels; 6
[Score: 100%]
Author / Editor: Typas, Athanasios; Hengge, Regine | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 10 s.
Journal / Series / Collection: The EMBO journal; 26
Subject Area: Biologie
Author / Editor: Typas, Athanasios; Hengge, Regine | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 10 s.
Journal / Series / Collection: The EMBO journal; 26
Subject Area: Biologie
The evolutionary history of lymphoid organs; 2
[Score: 100%]
Author / Editor: Boehm, Thomas; Bleul, Conrad | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 5 s.
Journal / Series / Collection: Nature immunology; 8
Subject Area: Biologie
Author / Editor: Boehm, Thomas; Bleul, Conrad | Place of publication: London | Publisher: Nature Publishing Group | Year of Publication: 2007 | 5 s.
Journal / Series / Collection: Nature immunology; 8
Subject Area: Biologie