• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 99 matches

• 2022
• 
  Basile Clément:
  Translation Validation of Tensor Compilers. (Validation de Traduction pour Compilateurs de Tenseurs). École Normale Supérieure, Paris, France, 2022
• 
  Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan A. Mandal, Holger Giese:
  Translation validation of coloured Petri net models of programs on integers. Acta Informatica 59(6): 725-759 (2022)
• 
  Georgios Papazisis, Ioannis Tsakiridis, Aikaterini Apostolopoulou, Efstathios Papaefstathiou, Thalia Bellali, Athanasia Liozidou, Athanasia Pappa, Alexandra Ainatzoglou, Maria Tzitiridou, Antonis Billis, Themistoklis Dagklis:
  The Greek translation and validation of the electronic version of the Meno-D rating scale for post-menopausal depression. Health Informatics J. 28(2): 146045822210801 (2022)
• 
  Basile Clément, Albert Cohen:
  End-to-end translation validation for the halide language. Proc. ACM Program. Lang. 6(OOPSLA1): 1-30 (2022)
• 
  Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo, Juneyoung Lee:
  SMT-Based Translation Validation for Machine Learning Compiler. CAV (2) 2022: 386-407
• 
  Stefan Schulz, Martin Boeker, Andrea Prunotto:
  Validation of Multiple Path Translation for SNOMED CT Localisation. MIE 2022: 961-962
• 2021
• 
  Khalid Suliman Al-Tahat:
  Arabic Translation, Cultural Adaptation and Psychometric Validation of the Post-Study System Usability Questionnaire (PSSUQ). Int. J. Hum. Comput. Interact. 37(19): 1815-1822 (2021)
• 
  Lachlan Birnie, Thushara D. Abhayapala, Vladimir Tourbabin, Prasanga N. Samarasinghe:
  Mixed Source Sound Field Translation for Virtual Binaural Application With Perceptual Validation. IEEE ACM Trans. Audio Speech Lang. Process. 29: 1188-1203 (2021)
• 
  Rakshit Mittal, Soumyadip Bandyopadhyay:
  Translation Validation of Scheduled Conditional Behavior using PN. PNSE@Petri Nets 2021: 257-258
• 
  Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes:
  An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. CAV (2) 2021: 752-776
• 
  Jixin Han, Tomofumi Yuki, Michelle Mills Strout, Dan Umeda, Hironori Kasahara, Keiji Kimura:
  Parallelizing Compiler Translation Validation Using Happens-Before and Task-Set. CANDAR (Workshops) 2021: 87-93
• 
  Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay:
  Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. ICSOFT 2021: 533-541
• 
  Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr:
  Alive2: bounded translation validation for LLVM. PLDI 2021: 65-79
• 
  Corentin Martens, Laetitia Lebrun, Christine Decaestecker, Thomas Vandamme, Yves-Rémi Van Eycke, Antonin Rovai, Thierry Metens, Olivier Debeir, Serge Goldman, Isabelle Salmon, Gaetan Van Simaeys:
  Initial condition assessment for reaction-diffusion glioma growth models: A translational MRI/histology (in)validation study. CoRR abs/2102.01719 (2021)
• 2020
• 
  Julie Christine S. Hvidt, Lone Fisker Christensen, Christian Sibbersen, Stig Helweg-Jørgensen, Jens Peter Hansen, Mia Beck Lichtenstein:
  Translation and Validation of the System Usability Scale in a Danish Mental Health Setting Using Digital Technologies in Treatment Interventions. Int. J. Hum. Comput. Interact. 36(8): 709-716 (2020)
• 
  Shubhani Gupta, Abhishek Rose, Sorav Bansal:
  Counterexample-guided correlation algorithm for translation validation. Proc. ACM Program. Lang. 4(OOPSLA): 221:1-221:29 (2020)
• 
  Seo Jeong Shin, Seng Chan You, Hokyun Jeon, Ji Won Jung, Rae Woong Park, Jin Roh:
  Application of image-translation for improving the performance of a deep learning model in external validation in the field of digital pathology. AMIA 2020
• 
  Rakshit Mittal, Rochisnu Banerjee, Santonu Sarkar, Soumyadip Bandyopadhyay:
  Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs. PNSE@Petri Nets 2020: 138-146
• 
  Oksana Matsyura, Olena Borysiuk, Lesya Besh, Svitlana Zubchenko, Natalia Lukyanenko, Taras Gutor, Oksana Kovalska, Bertine M. J. Flokstra-de Blok:
  Translation, Adaptation and Initial Validation of the Food Allergy Quality of Life Questionnaire - Child Form (8 - 12 Years) in Ukrainan Language. IDDM 2020: 311-322
• 
  Xiaoxin An, Amer Tahat, Binoy Ravindran:
  A Validation Methodology for OCaml-to-PVS Translation. NFM 2020: 207-221
• 
  Lachlan Birnie, Thushara D. Abhayapala, Vladimir Tourbabin, Prasanga N. Samarasinghe:
  Sound Field Translation and Mixed Source Model for Virtual Applications with Perceptual Validation. CoRR abs/2007.11795 (2020)
• 2019
• 
  Yuming Zhai:
  Reconnaissance des procédés de traduction sous-phrastiques: des ressources aux validations. (Recognition of sub-sentential translation techniques: from resources to validation). University of Paris-Saclay, France, 2019
• 
  Sowmiya Chandramoorthi, Arun Kumar Thittai:
  Enhancing Image Quality of Photoacoustic Tomography Using Sub-Pitch Array Translation Approach: Simulation and Experimental Validation. IEEE Trans. Biomed. Eng. 66(12): 3543-3552 (2019)
• 
  Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri:
  Translation Validation of Code Motion Transformations Involving Loops. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7): 1378-1382 (2019)
• 
  Amer Tahat, Sarang Joshi, Pronnoy Goswami, Binoy Ravindran:
  Scalable Translation Validation of Unverified Legacy OS Code. FMCAD 2019: 87-95
• 
  Bojan Blazica, Tome Eftimov:
  UsabEU: Online Platform for Translation, Validation and Native Use of Usability Questionnaires with Multilingual User Groups. HCI (11) 2019: 229-238
• 
  Muhammad Amjad Hafiz, Kai Hu, Jianwei Niu, Noor Khan, Loïc Besnard, Jean-Pierre Talpin:
  Translation Validation of Code Generation from the SIGNAL Data-Flow Language to Verilog. SKG 2019: 153-160
• 
  David Fernández-Amorós, Ruben Heradio, Christoph Mayr-Dorn, Alexander Egyed:
  A kconfig translation to logic with one-way validation system. SPLC (A) 2019: 41:1-41:6
• 
  Matteo Busi, Pierpaolo Degano, Letterio Galletta:
  Translation Validation for Security Properties. CoRR abs/1901.05082 (2019)
• 2018
• 
  Nordin Hani Syazillah, K. Kiran, G. Chowdhury:
  Adaptation, translation, and validation of information literacy assessment instrument. J. Assoc. Inf. Sci. Technol. 69(8): 996-1006 (2018)

skipping 69 more matches