„Types“

Suchergebnisse

10.000+ Treffer

• Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts
  Stutz, Felix 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Wiring Circuits Is Easy as {0,1,ω}, or Is It...
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Twin-Width and Types
  Gajarský, Jakub ; Pilipczuk, Michał ; Przybyszewski, Wojciech ; Toruńczyk, Szymon 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Are researchers getting the terms used to denote different types of recreational cannabis right?—a user perspective
  Mason, Ava ; Sami, Musa ; Notley, Caitlin ; Bhattacharyya, Sagnik
• Generalising Projection in Asynchronous Multiparty Session Types
  Majumdar, Rupak ; Mukund, Madhavan ; Stutz, Felix ; Zufferey, Damien 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)
  de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Typing Discipline for Hardware Interfaces
  de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Effects of Lumbar Spine Abnormality and Serve Types on Lumbar Kinematics in Elite Adolescent Tennis Players
  Connolly, Molly ; Middleton, Kane ; Spence, Graeme ; Cant, Olivia ; Reid, Machar
• Injuries, treatment, and impairment caused by different types of fireworks; results of a 10 year multicenter retrospective cohort study
  Van Yperen, Daan T. ; Van Lieshout, Esther M. M. ; Dijkshoorn, J. Niels ; Van der Vlies, Cornelis H. ; Verhofstad, Michael H. J.
• Analysing and developing linguistically responsive tasks within the frame-work of the cross-disciplinary Erasmus+ project sensiMINT
  Lembens, Anja ; Krebs, Rita Elisabeth
• Commentary on “In-Stent Restenosis in Peripheral Arterial Disease: Ultra-High-Resolution Photon-Counting Versus Third-Generation Dual-Source Energy-Integrating Detector CT Phantom Study in Seven Different Stent Types” Dachs TM, et al. CVIR 2024
  Decker, Josua A. ; Kröncke, Thomas
• Ecosystem carbon storage, allocation and carbon credit values of major forest types in the central Himalaya
  Joshi, Rajendra Kumar ; Garkoti, Satish Chandra
• Not all oil types are alike in trade substitution
  Öhlinger, Peter ; Irlacher, Michael ; Güntner, Jochen
• Evolution of neuronal cell classes and types in the vertebrate retina
  Hahn, Joshua ; Monavarfeshani, Aboozar ; Qiao, Mu ; Kao, Allison H. ; Kölsch, Yvonne ; Kumar, Ayush ; Kunze, Vincent P. ; Rasys, Ashley M. ; Richardson, Rose ; Wekselblatt, Joseph B. ; Baier, Herwig ; Lucas, Robert J. ; Li, Wei ; Meister, Markus ; Trachtenberg, Joshua T. ; Yan, Wenjun ; Peng, Yi-Rong ; Sanes, Joshua R. ; Shekhar, Karthik
• Thermal vibration of armchair, chiral, and zigzag types of single walled carbon nanotubes using a nonlocal elasticity theory: An analytical approach
  Jena, Subrat Kumar ; Pradyumna, S. ; Chakraverty, Snehashish
• Development and Validation of a Theory-Based Questionnaire to Measure Different Types of Cognitive Load
  Krieglstein, Felix ; Beege, Maik ; Rey, Günter Daniel ; Sanchez-Stockhammer, Christina ; Schneider, Sascha
• Diffusion tensor imaging discriminates focal cortical dysplasia from normal brain parenchyma and differentiates between focal cortical dysplasia types
  Gennari, Antonio Giulio ; Cserpan, Dorottya ; Stefanos-Yakoub, Ilona ; Kottke, Raimund ; O’Gorman Tuura, Ruth ; Ramantani, Georgia
• The Dutch judicial approach to various types of co-offending among members of Outlaw Motorcycle Gangs
  Deuren, Sjoukje ˜vanœ ; Hirsch Ballin, Marianne F. H. ; Kleemans, Edward R. ; Blokland, Arie Aart Jan
• User Study on Informationally Equivalent Thematic Maps for Map Use Tasks
  Słomska-Przech, Katarzyna ; Gołębiowska, Izabela Małgorzata
• Phenotypic variation of transcriptomic cell types in mouse motor cortex
  Scala, Federico ; Kobak, Dmitry ; Bernabucci, Matteo ; Bernaerts, Yves ; Cadwell, Cathryn René ; Castro, Jesus Ramon ; Hartmanis, Leonard ; Jiang, Xiaolong ; Laturnus, Sophie ; Miranda, Elanine ; Mulherkar, Shalaka ; Tan, Zheng Huan ; Yao, Zizhen ; Zeng, Hongkui ; Sandberg, Rickard ; Berens, Philipp ; Tolias, Andreas S.