„linear typing“

Suchergebnisse

10 Treffer

• Improving STR typing for low template DNA by abasic-site-mediated semi-linear preamplification
  Ji, Qiqi ; Li, Zhimin ; Wang, Zhimin ; Yu, Huaguang ; Yang, Fan ; Xie, Jianhui
• Linear Promises: Towards Safer Concurrent Programming (Artifact)
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek
• Linear Rank Intersection Types
  Reis, Fábio ; Alves, Sandra ; Florido, Mário 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments
  Dal Lago, Ugo ; Giusti, Giulia 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallelism in Soft Linear Logic
  Jacobé de Naurois, Paulin 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear Promises: Towards Safer Concurrent Programming
  Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
  Allais, Guillaume 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Optical properties of Central Asian aerosol relevant for spaceborne lidar applications and aerosol typing at 355 and 532nm
  Hofer, Julian ; Ansmann, Albert ; Althausen, Dietrich ; Engelmann, Ronny ; Baars, Holger ; Fomba, Khanneh Wadinga ; Wandinger, Ulla ; Abdullaev, Sabur F. ; Makhmudov, Abduvosit N. 2020 Katlenburg-Lindau : EGU
• Current developments to use linear MALDI‐TOF spectra for the identification and typing of bacteria and the characterization of other cells/organisms related to infectious diseases
  Karger, Axel
• Comparison of the performance of carcinogenic HPV typing of the Roche Linear Array and Qiagen LiquiChip® HPV assays
  Halfon, Philippe ; Sandri, Maria Teresa ; Raimondo, Audrey ; Ravet, Sophie ; Khiri, Hacène ; Sideri, Mario ; Penaranda, Guillaume ; Camus, Claire ; Mateos Lindemann, Maria Luisa