نتایج جستجو برای: winkler spring
تعداد نتایج: 53308 فیلتر نتایج به سال:
We develop diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, widely scattered throughout the literature, can be understood. These results include Newman's lemma, Lemma 3.1 of Winkler and Buchberger, the Hindley Rosen lemma, the Request lemmas of Staples, the Strong Confluen...
X iv :0 80 9. 00 61 v1 [ qu an tph ] 3 0 A ug 2 00 8 Ultracold Molecules in the Ro-Vibrational Ground State F. Lang,1 K. Winkler,1 C. Strauss,1 R. Grimm,1,2 J. Hecker Denschlag1∗ 1Institut für Experimentalphysik und Zentrum für Quantenphysik, Universität Innsbruck, A-6020 Innsbruck, Austria 2Institut für Quantenoptik und Quanteninformation der Österreichischen Akademie der Wissenschaften, A-602...
Claudia Mettke-Hofmann, Michael Wink, Hans Winkler, and Bernd Leisler Max Planck Institute for Ornithology, Department of Biological Rhythms and Behaviour, Von-der-Strasse 7, 82346, Andechs and Institute of Behaviour, Free University of Berlin, Haderslebener Strasse 9, 12163 Berlin, Institute of Pharmacy and Molecular Biotechnology, University of Heidelberg, Im Neuenheimer Feld 364, 69120 Heide...
This paper describes new set covering algorithms associated with the DISCRETE edit system. DISCRETE is based on the Fellegi-Holt model (JASA 1976) of editing. A new implicit-edit generation algorithm replaces algorithms of Garfinkel, Kunnathur, and Liepins (Operations Research 1986) and Winkler (1995). The new set-covering algorithms correctly generate implicit edits for large subclasses and re...
M. Fujita, H. Geissel, H. Gilg, A. Gillitzer, R.S. Hayano, S. Hirenzaki, K. Itahashi, M. Iwasaki, P. Kienle, L. Maier, M. Matos, G. Münzenberg, T. Ohtsubo, M. Sato, M. Shindo, K. Suzuki, T. Suzuki, H. Weick, M. Winkler, T. Yamazaki, T. Yoneyama Nara Women’s University, GSI Darmstadt, Technische Universität München, Forschungszentrum Jülich University of Tokyo, Tokyo Institute of Technology, Nii...
Authors’ Note: The present research was supported by a grant from Deutsche Fo (AZ Ru 599/2-1). We wish to thank Muriel Helbig, Franzisca Pohl, and Mandy Ti tion and coding. Many thanks to Michael Conway, Howard Giles, Gordon Harold Mansur Lalljee, Bernard Weiner, Peter White, Isabell Winkler, and two anonym helpful comments on earlier versions of this article. Correspondence concerning addresse...
K. O’Neill,1 J. G. Venegas,1 T. Richter,3 R. S. Harris,2 J. D. H. Layfield,1 G. Musch,1 T. Winkler,3 and M. F. Vidal Melo1 1Department of Anesthesia and Critical Care, and 2Pulmonary and Critical Care Unit, Department of Medicine, Massachusetts General Hospital and Harvard Medical School, Boston, Massachusetts 02114; and 3Clinic of Anesthesiology and Intensive Care Medicine, University Clinic C...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید