„Refinement“

Suchergebnisse

4.628 Treffer

• Refining Constructive Hybrid Games
  Bohrer, Rose ; Platzer, André 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Advanced Flow-Based Multilevel Hypergraph Partitioning
  Gottesbüren, Lars ; Hamann, Michael ; Schlag, Sebastian ; Wagner, Dorothea 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Microstructure and properties of Mg-Zn-Y-Nd-Zr alloy optimized by hot extrusion and solid solution
  Qin, W. ; Yu, B. ; Chang, D. ; Xi, B. ; Zheng, L.
• Approaching the refinement limit of nano laminated structures in cubic metals by severe plastic deformation
  Liu, Yu Wei ; Ren, Zhi Qiang ; Wang, Kai Ning ; Jiang, Yao ; Liu, Ying ; Wang, Jing Tao
• Adaptive Mesh Refinement with a “Garden” Technique for Solving the Special Relativistic Hydrodynamics Equations
  Kulikov, I. M.
• Improving lung cancer pathological hyperspectral diagnosis through cell-level annotation refinement
  Yan, Zhiliang ; Huang, Haosong ; Geng, Rongmei ; Zhang, Jingang ; Chen, Yu ; Nie, Yunfeng
• Red green blue-depth salient object detection based on multi-scale refinement and cross-modalities fusion network
  Chen, Kehao ; Zhou, Zhiping ; Li, Kewei ; Su, Taoyong ; Zhang, Zhaozhong ; Liu, Jinhua ; Ying, Chenghao
• Relational Concurrent Refinement
  Derrick, John ; Boiten, Eerke
• Camouflaged object detection via boundary refinement
  Zhang, Miaohui ; Shen, Chenxing ; Deng, Yangyang ; Wang, Li
• Temporal refinement and multi-grained matching for moment retrieval and highlight detection
  Zhu, Cunjuan ; Zhang, Yanyi ; Jia, Qi ; Wang, Weimin ; Liu, Yu
• Privatization-Safe Transactional Memories
  Khyzha, Artem ; Attiya, Hagit ; Gotsman, Alexey 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL
  Haslbeck, Maximilian P. L. ; Lammich, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic
  Horne, Ross 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Progress-Preserving Refinements of CTA
  Bartoletti, Massimo ; Bocchi, Laura ; Murgia, Maurizio 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizing the Asynchronous
  Kragl, Bernhard ; Qadeer, Shaz ; Henzinger, Thomas A. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linking Focusing and Resolution with Selection
  Burel, Guillaume 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• FUTURES-AMR: Towards an Adaptive Mesh Refinement Framework for Geosimulations
  Shashidharan, Ashwin ; Vatsavai, Ranga Raju ; Van Berkel, Derek B. ; Meentemeyer, Ross K. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependent Types for Class-based Mutable Objects
  Campos, Joana ; Vasconcelos, Vasco T. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Concurrent Specification of POSIX File Systems
  Ntzik, Gian ; da Rocha Pinto, Pedro ; Sutherland, Julian ; Gardner, Philippa 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Impact of Copper Substitution on the Structural Refinement, Magnetic Behaviour, and Dielectric Response of Ni–Zn Spinel Ferrites
  Ingle, Arti A. ; Fulari, Akash V. ; Borade, Rameshwar B. ; Kadam, S.B ; Mote, V. D. ; Kadam, A. B. ; Shirsath, Sagar E. ; Kadam, R. H.