„regular types“

Suchergebnisse

1.000+ Treffer

• SpateCV: cross-modality alignment regularization of cell types improves spatial gene imputation for spatial transcriptomics
  Yuan, Jiaqi ; Yu, Junhua ; Yi, Qianbei ; Ye, Zheng ; Xu, Peng ; Liu, Wenbin
• Effects of types of toothpastes (whitening versus regular) and brands of silicone aesthetic ligatures on discoloration of elastomeric ligatures applied to mandibular central and lateral incisors: a hierarchical, single-blind, 6-arm, split-mouth randomized clinical trial
  Aryannejad, Majid ; Ghazi Oskouei, Hooman ; Mazhari, Marzieh ; Moradinezhad, Mehrnaz
• Effect of additional regularity for the initial data on semi-linear $$\sigma $$ σ -evolution equations with different damping types
  Duong, Dinh Van ; Dao, Tuan Anh
• How to Take the Inverse of a Type
  Marshall, Danielle ; Orchard, Dominic 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• How to Take the Inverse of a Type (Artifact)
  Marshall, Danielle ; Orchard, Dominic
• Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)
  Jongmans, Sung-Shik ; Ferreira, Francisco
• Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations
  Moreau, Vincent ; Nguyễn, Lê Thành Dũng (Tito) 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Subtyping Context-Free Session Types
  Silva, Gil ; Mordido, Andreia ; Vasconcelos, Vasco T. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)
  Jongmans, Sung-Shik ; Ferreira, Francisco 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Canonical Regular Types
  Jackson, Ethan K. ; Bjørner, Nikolaj ; Schulte, Wolfram 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Beginning Java 9 Fundamentals – Arrays, Objects, Modules, JShell, and Regular Expressions
  2017 Apress
• Introducing Regular Expressions – JavaScript and TypeScript
  2017 Apress
• Regular Types and Order of Vanishing along a Set of Non-integrable Vector Fields
  Huang, Xiaojun ; Yin, Wanke
• Effects of the Types and Addition Amounts of Sludge on the True Rheological Properties of Petroleum Coke Slurry Flowing in Pipelines
  Liu, Meng ; Duan, Yufeng ; Ma, Xiuyuan
• Differential arcs and regular types in differential fields
  Moosa, Rahim ; Pillay, Anand ; Scanlon, Thomas
• Formation of regularly interstratified serpentine-chlorite minerals by tetrahedral inversion in long-period serpentine poly types
  Banfield, Jillian F. ; Bailey, Sturges W.
• Exploring aromatic components differences and composition regularity of 5 kinds of these 4 aroma types Phoenix Dancong tea based on GC–MS
  Zheng, Xiao-Ting ; Zeng, Xing-Yao ; Lin, Xiao-Ling ; Chen, Dan-Sheng ; Li, Yun ; Huang, Jian-Jian ; Yu, Zheng-Chao ; Zhu, Hui
• Asymptotic Representations of Regularly Varying P ω (Y 0, Y 1, λ 0)-Solutions of a Differential Equation of the Second Order Containing the Product of Different Types of Nonlinearities of the Unknown Function and its Derivative
  Chepok, O. O.
• Strongly maximal subgroups determined by elements in interstices
  Bigorajska, Teresa
• Interpretability Types for Regular Varieties of Algebras
  Smirnov, D. M.