„termination“

Suchergebnisse

2.420 Treffer

• Termination Mechanism of the Radical Polymerization of Acrylates
  Nakamura, Y. ; Lee, R. ; Coote, M. L. ; Yamago, S.
• Unique features of transcription termination and initiation at closely spaced tandem human genes
  Nissani, Noa ; Ulitsky, Igor
• Erratum: Attitude toward Prenatal Testing and Termination of Pregnancy among Health Professionals and Medical Students in Saudi Arabia
  Gaboon, Nagwa E. A. ; Bakur, Khadijah H. ; Edrees, Alaa Y. ; Al-Aama, Jumana Y.
• Acceptance Sampling Plans for Truncated Life Tests Using the Marshall–Olkin Birnbaum–Saunders Distribution
  Al-Momani, Noor S. ; Al-Masri, Abedel-Qader S.
• Clinical Education: Evaluating Depression in Patient Request for Termination of Medical Care
  Thilges, Sarah ; Wool, Laura ; Murphy, Elizabeth ; Merchant, Mekhala
• Chemically specific termination control of oxide interfaces via layer-by-layer mean inner potential engineering
  Sun, H. Y. ; Mao, Z. W. ; Zhang, T. W. ; Han, L. ; Zhang, T. T. ; Cai, X. B. ; Guo, X. ; Li, Y. F. ; Zang, Y. P. ; Guo, W. ; Song, J. H. ; Ji, D. X. ; Gu, C. Y. ; Tang, C. ; Gu, Z. B. ; Wang, N. ; Zhu, Y. ; Schlom, D. G. ; Nie, Yuefeng ; Pan, X. Q.
• Termination bliss extended
  2008 Nuclear Blast
• Termination bliss extended
• Characteristics of Fluorite {111} Surface with Various Terminations: A DFT Investigation
  Ri, Chol-Jin ; Hong, Jong-Su ; Rim, Jong-Hyok ; Kim, Chol-Su
• Die verfassungsrechtliche Bewertung des Schwangerschaftsabbruchs im Spiegel aktueller Diskussionen
  von Zons, Jonas
• Effect of wet-chemical substrate smoothing on passivation of ultrathin-SiO2/n-Si (111) interfaces prepared with atomic oxygen at thermal impact energies
  Angermann, Heike ; Gref, Orman ; Stegemann, Bert
• Confluence without Termination via Parallel Critical Pairs
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• Check your Ordering – Termination Proofs and Open Problems
  Steinbach, Joachim ; Kühler, Ulrich 2024 Saarländische Universitäts- und Landesbibliothek
• Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• New Abstract Criteria for Termination and Confluence of Conditional Rewrite Systems
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• A Structural Analysis of Modular Termination of Term Rewriting Systems
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• Path and decomposition orderings for proving AC-termination
  Steinbach, Joachim 2024 Saarländische Universitäts- und Landesbibliothek
• Vade-mecum of Polynomial Orderings
  Steinbach, Joachim ; Zehnter, Michael 2024 Saarländische Universitäts- und Landesbibliothek
• Proving termination of associative-commutative rewriting systems using the Knuth-Bendix ordering
  Steinbach, Joachim 2023 Saarländische Universitäts- und Landesbibliothek
• Term Orderings With Status
  Steinbach, Joachim 2023 Saarländische Universitäts- und Landesbibliothek