Search results for "substitution"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Songwei Zhao, Pengjun Wang, Ali Asghar Heidari, Xuehua Zhao, Chao Ma 0021, Huiling Chen 0001	An enhanced Cauchy mutation grasshopper optimization with trigonometric substitution: engineering design and feature selection.	Eng. Comput.	2022	DBLP DOI BibTeX RDF
12	Yuhui Zhang, Timon Rabczuk, Jun Lu, Shifa Lin, Ji Lin 0001	Space-time backward substitution method for nonlinear transient heat conduction problems in functionally graded materials.	Comput. Math. Appl.	2022	DBLP DOI BibTeX RDF
12	Yi Zhao, Kaitai Liang, Yanqi Zhao, Bo Yang 0003, Yang Ming 0001, Emmanouil Panaousis	Practical algorithm substitution attack on extractable signatures.	Des. Codes Cryptogr.	2022	DBLP DOI BibTeX RDF
12	Y. Mechouar, Vincent Hovelaque, C. Gaigné	Effect of raw material substitution on the facility location decision under a carbon tax policy.	EURO J. Transp. Logist.	2022	DBLP DOI BibTeX RDF
12	Diego Forni, Rachele Cagliani, Chiara Pontremoli, Mario Clerici, Manuela Sironi	The substitution spectra of coronavirus genomes.	Briefings Bioinform.	2022	DBLP DOI BibTeX RDF
12	Jiahui Shi, Linjing Li, Daniel Zeng 0001	ASCL: Adversarial supervised contrastive learning for defense against word substitution attacks.	Neurocomputing	2022	DBLP DOI BibTeX RDF
12	Chenxu Ke, Ruxian Wang	Cross-Category Retailing Management: Substitution and Complementarity.	Manuf. Serv. Oper. Manag.	2022	DBLP DOI BibTeX RDF
12	Kumari Rinki, Puspneel Verma, Ranjeet Kumar Singh	A novel matrix multiplication based LSB substitution mechanism for data security and authentication.	J. King Saud Univ. Comput. Inf. Sci.	2022	DBLP DOI BibTeX RDF
12	Ping Ping, Xiaohui Yang, Xiaojuan Zhang, Yingchi Mao, Hakizimana Khalid	Generating visually secure encrypted images by partial block pairing-substitution and semi-tensor product compressed sensing.	Digit. Signal Process.	2022	DBLP DOI BibTeX RDF
12	Ali Murat Garipcan, Ebubekir Erdem	DESSB-TRNG: A novel true random number generator using data encryption standard substitution box as post-processing.	Digit. Signal Process.	2022	DBLP DOI BibTeX RDF
12	Yuxuan Shi, Shuo Shao, Xiaohang Zhang, Yongjian Wang, Yongpeng Wu 0001	Error exponent for concatenated codes in DNA data storage under substitution errors.	Sci. China Inf. Sci.	2022	DBLP DOI BibTeX RDF
12	Abdul Razaq 0002, Musheer Ahmad 0002, Awais Yousaf 0001, Moatsum Alawida, Atta Ullah, Umer Shuaib	A Group Theoretic Construction of Large Number of AES-Like Substitution-Boxes.	Wirel. Pers. Commun.	2022	DBLP DOI BibTeX RDF
12	Bilal Arshad, Nasir Siddiqui, Zamir Hussain, Muhammad Ehatisham-ul-Haq	A Novel Scheme for Designing Secure Substitution Boxes (S-Boxes) Based on Mobius Group and Finite Field.	Wirel. Pers. Commun.	2022	DBLP DOI BibTeX RDF
12	Wentu Song, Nikita Polyanskii, Kui Cai 0001, Xuan He	Systematic Codes Correcting Multiple-Deletion and Multiple-Substitution Errors.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
12	Pramod Chundury, Biswaksen Patnaik, Yasmin Reyazuddin, Christine Tang, Jonathan Lazar, Niklas Elmqvist	Towards Understanding Sensory Substitution for Accessible Visualization: An Interview Study.	IEEE Trans. Vis. Comput. Graph.	2022	DBLP DOI BibTeX RDF
12	Simon J. Thompson, Dániel Horpácsi	Refactoring = Substitution + Rewriting.	CoRR	2022	DBLP DOI BibTeX RDF
12	Tom Zelazny, Haoze Wu 0001, Clark W. Barrett, Guy Katz	On Optimizing Back-Substitution Methods for Neural Network Verification.	CoRR	2022	DBLP DOI BibTeX RDF
12	Vyas Raina, Mark J. F. Gales	Gender Bias and Universal Substitution Adversarial Attacks on Grammatical Error Correction Systems for Automated Assessment.	CoRR	2022	DBLP DOI BibTeX RDF
12	Ryo Shibata, Hiroyuki Yashima	Delayed Coding Scheme for Channels with Insertion, Deletion, and Substitution Errors.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jingfeng Yang, Le Zhang, Diyi Yang	SUBS: Subtree Substitution for Compositional Semantic Parsing.	CoRR	2022	DBLP DOI BibTeX RDF
12	Rynhardt Kruger, Febe de Wet, Thomas Niesler	Mathematical Content Browsing for Print-Disabled Readers Based on Virtual-World Exploration and Audio-Visual Sensory substitution.	CoRR	2022	DBLP BibTeX RDF
12	Mingwei Zhou, Xiaobing Pei	Unrestricted Adversarial Samples Based on Non-semantic Feature Clusters Substitution.	CoRR	2022	DBLP DOI BibTeX RDF
12	Muhammad Fahad Khan, Khalid Saleem, Mohammed Alotaibi, Mohammad Mazyad Hazzazi, Eid Rehman, Aaqif Afzaal Abbasi, Muhammad Asif Gondal	Construction and Optimization of TRNG Based Substitution Boxes for Block Encryption Algorithms.	CoRR	2022	DBLP DOI BibTeX RDF
12	Minoru Kusaba, Chang Liu, Ryo Yoshida	Crystal structure prediction with machine learning-based element substitution.	CoRR	2022	DBLP BibTeX RDF
12	Artem Kudisov, Nikolay Arefyev	BOS at LSCDiscovery: Lexical Substitution for Interpretable Lexical Semantic Change Detection.	CoRR	2022	DBLP DOI BibTeX RDF
12	Liliana Cojocaru	On the Complexity of Coordinated Table Selective Substitution Systems.	CoRR	2022	DBLP BibTeX RDF
12	Hugo Alcaraz-Herrera, John Cartlidge	Using coevolution and substitution of the fittest for health and well-being recommender systems.	CoRR	2022	DBLP DOI BibTeX RDF
12	Pavel B. Dubovski, Jeffrey A. Slepoi	Substitution Method for Fractional Differential Equations.	CoRR	2022	DBLP BibTeX RDF
12	Nada Aldarrab, Jonathan May	Segmenting Numerical Substitution Ciphers.	CoRR	2022	DBLP DOI BibTeX RDF
12	Dougal Maclaurin, Alexey Radul, Adam Paszke	The Foil: Capture-Avoiding Substitution With No Sharp Edges.	CoRR	2022	DBLP DOI BibTeX RDF
12	Chen Wu, Ruqing Zhang 0001, Jiafeng Guo, Wei Chen 0034, Yixing Fan, Maarten de Rijke, Xueqi Cheng	Certified Robustness to Word Substitution Ranking Attack for Neural Ranking Models.	CoRR	2022	DBLP DOI BibTeX RDF
12	Takashi Wada 0001, Timothy Baldwin, Yuji Matsumoto 0001, Jey Han Lau	Unsupervised Lexical Substitution with Decontextualised Embeddings.	CoRR	2022	DBLP DOI BibTeX RDF
12	Nikolay Arefyev, Boris Sheludko, Alexander Podolskiy, Alexander Panchenko	Always Keep your Target in Mind: Studying Semantics and Improving Performance of Neural Lexical Substitution.	CoRR	2022	DBLP DOI BibTeX RDF
12	Muhammad Fahad Khan, Khalid Saleem, Tariq Shah, Mohammad Mazyad Hazzazi, Ismail Bahkali, Piyush Kumar Shukla	Block Ciphers Substitution Box Generation Based on Natural Randomness in Underwater Acoustics and Knights Tour Chain.	CoRR	2022	DBLP DOI BibTeX RDF
12	André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi	Variable binding and substitution for (nameless) dummies.	CoRR	2022	DBLP DOI BibTeX RDF
12	Louis Commère, Jean Rouat	Sonified distance in sensory substitution does not always improve localization: comparison with a 2D and 3D handheld device.	CoRR	2022	DBLP DOI BibTeX RDF
12	David Cheng-Han Chiang, Hung-yi Lee	How Far Are We from Real Synonym Substitution Attacks?	CoRR	2022	DBLP DOI BibTeX RDF
12	Wentu Song, Kui Cai 0001, Tuan Thanh Nguyen	List-decodable Codes for Single-deletion Single-substitution with List-size Two.	CoRR	2022	DBLP BibTeX RDF
12	Chun-Yu Sun, Yu-Qi Yang, Hao-Xiang Guo, Peng-Shuai Wang, Xin Tong 0001, Yang Liu 0014, Heung-Yeung Shum	Semi-supervised 3D shape segmentation with multilevel consistency and part substitution.	CoRR	2022	DBLP DOI BibTeX RDF
12	Aiwei Liu, Honghai Yu, Xuming Hu, Shuang Li, Li Lin, Fukun Ma, Yawen Yang, Lijie Wen	Character-level White-Box Adversarial Attacks against Transformers via Attachable Subwords Substitution.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jarkko Kari, Victor H. Lutfalla	Planar Rosa : a family of quasiperiodic substitution discrete plane tilings with 2n-fold rotational symmetry.	CoRR	2022	DBLP DOI BibTeX RDF
12	Zhenrui Yue, Huimin Zeng, Ziyi Kou, Lanyu Shang, Dong Wang 0002	Defending Substitution-Based Profile Pollution Attacks on Sequential Recommenders.	CoRR	2022	DBLP DOI BibTeX RDF
12	Fawad Masood, Junaid Masood, Lejun Zhang, Sajjad Shaukat Jamal, Wadii Boulila, Sadaqat ur Rehman, Fadia Ali Khan, Jawad Ahmad 0001	A new color image encryption technique using DNA computing and Chaos-based substitution box.	Soft Comput.	2022	DBLP DOI BibTeX RDF
12	Yu Yang 0014, Yassine Ridouane, Natashia Boland, Alan L. Erera, Martin W. P. Savelsbergh	Substitution-based equipment balancing in service networks with multiple equipment types.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
12	Baolong Liu, Felix Papier	Remanufacturing of multi-component systems with product substitution.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
12	Juliang Zhang 0001, Lan Deng, Huimin Liu, T. C. E. Cheng	Which strategy is better for managing multi-product demand uncertainty: Inventory substitution or probabilistic selling?	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
12	Ramzi Hammami, Erfan Asgari, Yannick Frein, Imen Nouira	Time- and price-based product differentiation in hybrid distribution with stockout-based substitution.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
12	Sandra Transchel, Marjolein E. Buisman, René Haijema	Joint assortment and inventory optimization for vertically differentiated products under consumer-driven substitution.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
12	William H. Walters	Can differences in publisher size account for the relatively low prices of the journals available to master's universities through commercial publishers' databases? The importance of price discrimination and substitution effects.	Scientometrics	2022	DBLP DOI BibTeX RDF
12	Liran Politi, Shlomi Codish, Iftach Sagy, Lior Fink	Substitution and complementarity in the use of health information exchange and electronic medical records.	Eur. J. Inf. Syst.	2022	DBLP DOI BibTeX RDF
12	Marta Lukowska, Weronika Kalwak, Dominik Osinski, Justyna Janik, Michal Wierzchon	How to teach a blind person to hear colours? Multi-method training for a colour-to-sound sensory substitution device - design and evaluation.	Int. J. Hum. Comput. Stud.	2022	DBLP DOI BibTeX RDF
12	Yousef Alghamdi, Arslan Munir, Jawad Ahmad 0001	A Lightweight Image Encryption Algorithm Based on Chaotic Map and Random Substitution.	Entropy	2022	DBLP DOI BibTeX RDF
12	Ahmed Alkhayyat, Musheer Ahmad 0002, Nestor Tsafack, Muhammad Tanveer 0003, Donghua Jiang 0001, Ahmed A. Abd El-Latif 0001	A Novel 4D Hyperchaotic System Assisted Josephus Permutation for Secure Substitution-Box Generation.	J. Signal Process. Syst.	2022	DBLP DOI BibTeX RDF
12	Pratyush Ranjan Tiwari, Matthew Green 0001	Algorithm-Substitution Attacks on Cryptographic Puzzles.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Marcel Armour, Bertram Poettering	Algorithm Substitution Attacks against Receivers.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Muhammad Fahad Khan, Khalid Saleem, Tariq Shah, Mohammad Mazyad Hazzazi, Ismail Bahkali, Piyush Kumar Shukla	Block Cipher's Substitution Box Generation Based on Natural Randomness in Underwater Acoustics and Knight's Tour Chain.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	George Teseleanu	Security Analysis of a Color Image Encryption Scheme Based on Dynamic Substitution and Diffusion Operations.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	George Teseleanu	The Security of Quasigroups Based Substitution Permutation Networks.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
12	Agnieszka Lawrynowicz, Anna Wróblewska, Weronika T. Adrian, Bartosz Kulczynski, Anna Gramza-Michalowska	Food Recipe Ingredient Substitution Ontology Design Pattern.	Sensors	2022	DBLP DOI BibTeX RDF
12	Jakob Kilian, Alexander Neugebauer, Lasse Scherffig, Siegfried Wahl	The Unfolding Space Glove: A Wearable Spatio-Visual to Haptic Sensory Substitution Device for Blind People.	Sensors	2022	DBLP DOI BibTeX RDF
12	Xinyu Pang, Yi Yu, Zhou Li, Zhiyuan Sun, Chun Li, Guoqing Yang	Equivalent Calibration Method Based on a Blackbody Baffle Substitution for a Large External Surface-Source Blackbody.	Sensors	2022	DBLP DOI BibTeX RDF
12	Betül Diler Kiliç, Özgen Karaer, Ismail Serdar Bakal	Price competition between manufacturers selling to a common retailer under stock-out-based substitution.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
12	Chih-Hsuan Wang, Chih-Chen Liu	Market competition, technology substitution, and collaborative forecasting for smartphone panels and supplier revenues.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
12	Gabriel Foley, Ariane Mora, Connie M. Ross, Scott Bottoms, Leander Sützl, Marnie L. Lamprecht, Julian Zaugg, Alexandra Essebier, Brad Balderson, Rhys Newell, Raine E. S. Thomson, Bostjan Kobe, Ross T. Barnard, Luke Guddat, Gerhard Schenk, Jörg Carsten, Yosephine Gumulya, Burkhard Rost, Dietmar Haltrich, Volker Sieber, Elizabeth M. J. Gillam, Mikael Bodén	Engineering indel and substitution variants of diverse and ancient enzymes using Graphical Representation of Ancestral Sequence Predictions (GRASP).	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
12	Chad G. Rose, Dongming Gan, Irfan Hussain	Editorial: Wearable Robots and Sensorimotor Interfaces: Augmentation, Rehabilitation, Assistance or Substitution of Human Sensorimotor Function.	Frontiers Neurorobotics	2022	DBLP DOI BibTeX RDF
12	Surabhi Verma, Vibhav Singh	Impact of artificial intelligence-enabled job characteristics and perceived substitution crisis on innovative work behavior of employees from high-tech firms.	Comput. Hum. Behav.	2022	DBLP DOI BibTeX RDF
12	Ana Antoniette C. Illahi, Elmer P. Dadios, Ronnie S. Concepcion II, Argel A. Bandala, Ryan Rhay P. Vicerra, Edwin Sybingco, Laurence A. Gan Lim, Kate Francisco	BombNose: A Multiple Bomb-Related Gas Prediction Model Using Machine Learning with Electronic Nose Sensor Substitution Technique.	J. Adv. Comput. Intell. Intell. Informatics	2022	DBLP DOI BibTeX RDF
12	Gurpreet Kaur, Rekha Agarwal, Vinod Patidar	Color image encryption scheme based on fractional Hartley transform and chaotic substitution-permutation.	Vis. Comput.	2022	DBLP DOI BibTeX RDF
12	Diya Li, Mohammed J. Zaki	Food Knowledge Representation Learning with Adversarial Substitution.	AACL/IJCNLP (1)	2022	DBLP BibTeX RDF
12	Chen Wu, Ruqing Zhang 0001, Jiafeng Guo, Wei Chen 0034, Yixing Fan, Maarten de Rijke, Xueqi Cheng	Certified Robustness to Word Substitution Ranking Attack for Neural Ranking Models.	CIKM	2022	DBLP DOI BibTeX RDF
12	Alexander Moortgat-Pick, Peter So, Michael J. Sack, Emma G. Cunningham, Benjamin Paul Hughes, Anna Adamczyk, Andriy Sarabakha, Leila Takayama, Sami Haddadin	A-RIFT: Visual Substitution of Force Feedback for a Zero-Cost Interface in Telemanipulation.	IROS	2022	DBLP DOI BibTeX RDF
12	Xinlei Cai, Xu Lin 0011, Jinzhou Zhu, Xinglang Xie	An intelligent user identification technology of power substitution potential based on data mining method.	ACAI	2022	DBLP DOI BibTeX RDF
12	Kyriaki Pantelidou, Despoina Chatzakou, Theodora Tsikrika, Stefanos Vrochidis, Ioannis Kompatsiaris	Selective Word Substitution for Contextualized Data Augmentation.	NLDB	2022	DBLP DOI BibTeX RDF
12	George Teseleanu	The Security of Quasigroups Based Substitution Permutation Networks.	SecITC	2022	DBLP DOI BibTeX RDF
12	Xiaosen Wang, Yifeng Xiong, Kun He 0001	Detecting textual adversarial examples through randomized substitution and vote.	UAI	2022	DBLP BibTeX RDF
12	Panfeng Qiu, Xi Wu 0005, Yongxin Zhao	Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.	HPCC/DSS/SmartCity/DependSys	2022	DBLP DOI BibTeX RDF
12	Yifei Wang, Yuliang Lin, Yi Wang, Wei Peng, Lin Liu	Algorithm Substitution Attacks on Identity-Based Encryption.	SocialSec	2022	DBLP DOI BibTeX RDF
12	Muhammed Demircan, Ramin Ahadi, Wolfgang Ketter	Sustainability vs. Price: Analysis of Electric Multi-Modal Vehicle Sharing Systems under Substitution Effects.	ECIS	2022	DBLP BibTeX RDF
12	André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi	Variable binding and substitution for (nameless) dummies.	FoSSaCS	2022	DBLP DOI BibTeX RDF
12	Wentu Song, Kui Cai 0001, Tuan Thanh Nguyen	List-decodable Codes for Single-deletion Single-substitution with List-size Two.	ISIT	2022	DBLP DOI BibTeX RDF
12	Yuanyuan Tang, Shuche Wang, Ryan Gabrys, Farzad Farnoud	Correcting multiple short duplication and substitution errors.	ISIT	2022	DBLP DOI BibTeX RDF
12	Yuliang Lin, Rongmao Chen, Yi Wang, Baosheng Wang, Lin Liu 0018	Substitution Attacks Against Sigma Protocols.	CSS	2022	DBLP DOI BibTeX RDF
12	Jingfeng Yang, Le Zhang, Diyi Yang	SUBS: Subtree Substitution for Compositional Semantic Parsing.	NAACL-HLT	2022	DBLP DOI BibTeX RDF
12	Zhao Meng, Yihan Dong, Mrinmaya Sachan, Roger Wattenhofer	Self-Supervised Contrastive Learning with Adversarial Perturbations for Defending Word Substitution-based Attacks.	NAACL-HLT (Findings)	2022	DBLP DOI BibTeX RDF
12	Kai Liu, Cong Liu	Linear Substitution Pruning: Consider All Filters Together.	ICCAI	2022	DBLP DOI BibTeX RDF
12	Ryo Shibata, Hiroyuki Yashima	Delayed Coding Scheme for Channels with Insertion, Deletion, and Substitution Errors.	GLOBECOM	2022	DBLP DOI BibTeX RDF
12	Xi Yang, Jie Zhang 0073, Kejiang Chen, Weiming Zhang 0001, Zehua Ma, Feng Wang, Nenghai Yu	Tracing Text Provenance via Context-Aware Lexical Substitution.	AAAI	2022	DBLP DOI BibTeX RDF
12	Abhigyan Ghosh, Radhika Mamidi	English To Indian Sign Language: Rule-Based Translation System Along With Multi-Word Expressions and Synonym Substitution.	ICON	2022	DBLP BibTeX RDF
12	Mike L. Richardson, Karin Petrini, Michael J. Proulx	Climb-o-Vision: A Computer Vision Driven Sensory Substitution Device for Rock Climbing.	CHI Extended Abstracts	2022	DBLP DOI BibTeX RDF
12	Zhenrui Yue, Huimin Zeng, Ziyi Kou, Lanyu Shang, Dong Wang 0002	Defending Substitution-Based Profile Pollution Attacks on Sequential Recommenders.	RecSys	2022	DBLP DOI BibTeX RDF
12	Michal Pogoda, Karol Gawron, Norbert Ropiak, Michal Swedrowski, Jan Kocon	Deep Neural Sequence to Sequence Lexical Substitution for the Polish Language.	ICCS (1)	2022	DBLP DOI BibTeX RDF
12	Sandaru Seneviratne, Elena Daskalaki, Artem Lenskiy, Hanna Suominen	CILex: An Investigation of Context Information for Lexical Substitution Methods.	COLING	2022	DBLP BibTeX RDF
12	Takashi Wada 0001, Timothy Baldwin, Yuji Matsumoto 0001, Jey Han Lau	Unsupervised Lexical Substitution with Decontextualised Embeddings.	COLING	2022	DBLP BibTeX RDF
12	Sebastian Berndt 0001, Jan Wichelmann, Claudius Pott, Tim-Henrik Traving, Thomas Eisenbarth 0001	ASAP: Algorithm Substitution Attacks on Cryptographic Protocols.	AsiaCCS	2022	DBLP DOI BibTeX RDF
12	Nada Aldarrab, Jonathan May	Segmenting Numerical Substitution Ciphers.	EMNLP	2022	DBLP DOI BibTeX RDF
12	Kaiyu Huang, Peng Li 0030, Jin Ma, Yang Liu 0005	Entropy-Based Vocabulary Substitution for Incremental Learning in Multilingual Neural Machine Translation.	EMNLP	2022	DBLP DOI BibTeX RDF
12	Aiwei Liu, Honghai Yu, Xuming Hu, Shuang Li, Li Lin, Fukun Ma, Yawen Yang, Lijie Wen	Character-level White-Box Adversarial Attacks against Transformers via Attachable Subwords Substitution.	EMNLP	2022	DBLP DOI BibTeX RDF
12	Kyungsu Lee, Hah Min Lew, Moon Hwan Lee, Jun-Young Kim, Jae Youn Hwang	CSS-Net: Classification and Substitution for Segmentation of Rotator Cuff Tear.	ACCV (6)	2022	DBLP DOI BibTeX RDF
12	Artem Kudisov, Nikolay Arefyev	BOS at LSCDiscovery: Lexical Substitution for Interpretable Lexical Semantic Change Detection.	LChange@ACL	2022	DBLP DOI BibTeX RDF
12	Juvenal Murwanashyaka	Hilbert's Tenth Problem for Term Algebras with a Substitution Operator.	CiE	2022	DBLP DOI BibTeX RDF