Search results for "substitution"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Don Pigozzi, Antonino Salibra	A Representation Theorem for Lambda Abstraction Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
15	Cosimo Laneve, Ugo Montanari	Axiomatizing Permutation Equivalence in the Lambda-Calculus.	ALP	1992	DBLP DOI BibTeX RDF
15	Kaisa Nyberg	On the Construction of Highly Nonlinear Permutations.	EUROCRYPT	1992	DBLP DOI BibTeX RDF
15	Yusuf Ozturk, Lawrence J. Henschen	Hyper Resolution and Equality Axioms without Function Substitutions.	CADE	1990	DBLP DOI BibTeX RDF
15	David J. Pym, Lincoln A. Wallen	Investigations into Proof-Search in a System of First-Order Dependent Function Types.	CADE	1990	DBLP DOI BibTeX RDF
15	Yvo Desmedt, Moti Yung	Abritrated Unconditionally Secure Authentication Can Be Unconditionally Protected Against Arbiter's Attacks (Extended Abstract).	CRYPTO	1990	DBLP DOI BibTeX RDF
15	Andrea Sgarro	Informational Divergence Bounds for Authentication Codes.	EUROCRYPT	1989	DBLP DOI BibTeX RDF
15	Miki Hermann	Chain Properties of Rule Closures.	STACS	1989	DBLP DOI BibTeX RDF
15	Dieter Spreen	On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations.	CSL	1987	DBLP DOI BibTeX RDF
15	Deepak Kapur, Balakrishnan Krishnamurthy	A Natural Proof System Based on rewriting Techniques.	CADE	1984	DBLP DOI BibTeX RDF
15	Dan R. Olsen	A Subset Algorithm for Deterministic FSMs within Deterministic PDAs.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
15	Sorin Istrail	A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs.	ICALP	1979	DBLP DOI BibTeX RDF
15	Tomasz Pietrzykowski	A Complete Mechanization of Second-Order Type Theory.	J. ACM	1973	DBLP DOI BibTeX RDF
12	Firat Artuger	A novel algorithm based on DNA coding for substitution box generation problem.	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
12	Razi Arshad, Mudassar Jalil	Comment to "A projective general linear group-based algorithm for the construction of substitution box for block ciphers".	Neural Comput. Appl.	2024	DBLP DOI BibTeX RDF
12	Robert John O'Shea, Louis Wilkins	Vertex-substitution framework verifies the reconstruction conjecture for finite undirected graphs.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
12	Firat Artuger, Fatih Özkaynak	A new post-processing approach for improvement of nonlinearity property in substitution boxes.	Integr.	2024	DBLP DOI BibTeX RDF
12	Abdul Razaq 0002, Louai Maghrabi, Musheer Ahmad 0002, Farrah Aslam, Wei Feng 0011	Fuzzy Logic-Based Substitution-Box for Robust Medical Image Encryption in Telemedicine.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Saad Tariq, Ayash O. Alrashdi, Areej Al Bahir, S. M. Sohail Gilani, Farida Hamioud, A. A. Mubarak, Afaq Ahmed, M. Musa Saad H.-E	DFT insights into LaFeO3 with Mn substitution: A promising path to energy-efficient magneto-optical applications.	J. Comput. Chem.	2024	DBLP DOI BibTeX RDF
12	Shuying Lai, Jing Qiu 0001, Yuechuan Tao, Xianzhuo Sun, Junhua Zhao 0001	Charging/Refueling Navigation Strategies for Plug-in Hybrid Hydrogen and Electric Vehicles With Irrationalities and Energy Substitution.	IEEE Trans. Ind. Informatics	2024	DBLP DOI BibTeX RDF
12	Sergey Bezuglyi, Palle E. T. Jorgensen, Shrey Sanadhya	Substitution-dynamics and invariant measures for infinite alphabet-path space.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
12	Shazia Sabir, Vandana Guleria	Multi-layer permutation-substitution operations based novel lossless multiple color image encryption.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Bilal Arshad, Muhammad Ehatisham-ul-Haq, Zamir Hussain, Awais Asghar	A novel approach for designing secure substitution boxes based on Catalan number and elliptic curve.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Komal Mahadeo Masal, Shripad Bhatlawande, Sachin Dattatraya Shingade	Development of a visual to audio and tactile substitution system for mobility and orientation of visually impaired people: a review.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Muhammed Jassem Al-Muhammed, Ahmad A. Al-Daraiseh	An Innovative Image/Text Encryption Technique using Fuzzy Substitution and Chaotic Key Expansion Module.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Firat Artuger, Fatih Özkaynak	A new algorithm to generate aes-like substitution boxes based on sine cosine optimization algorithm.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Yuhui Zhang, Timon Rabczuk, Ji Lin, Jun Lu, C. S. Chen	Numerical simulations of two-dimensional incompressible Navier-Stokes equations by the backward substitution projection method.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
12	David Ferreiro, Catarina Branco, Miguel Arenas	Selection among site-dependent structurally constrained substitution models of protein evolution by approximate Bayesian computation.	Bioinform.	2024	DBLP DOI BibTeX RDF
12	Alan Edelman, Ekin Akyürek, Yuyang Wang	Backpropagation through Back Substitution with a Backslash.	SIAM J. Matrix Anal. Appl.	2024	DBLP DOI BibTeX RDF
12	Pramod Chundury, Yasmin Reyazuddin, J. Bern Jordan, Jonathan Lazar, Niklas Elmqvist	TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
12	Alexander Krasner, Joseph L. Gabbard	MusiKeys: Exploring Haptic-to-Auditory Sensory Substitution to Improve Mid-Air Text-Entry.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
12	Chengrui Zhang, Junxin Chen, Dongming Chen, Wei Wang 0077, Yushu Zhang, Yicong Zhou	Exploiting Substitution Box for Cryptanalyzing Image Encryption Schemes With DNA Coding and Nonlinear Dynamics.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
12	Yuhang Pi, Zhifang Zhang	Two-Insertion/Deletion/Substitution Correcting Codes.	CoRR	2024	DBLP DOI BibTeX RDF
12	Divij Handa, Advait Chirmule, Bimal G. Gajera, Chitta Baral	Jailbreaking Proprietary Large Language Models using Word Substitution Cipher.	CoRR	2024	DBLP DOI BibTeX RDF
12	Fairouz Kamareddine	Substitution in the lambda Calculus and the role of the Curry School.	CoRR	2024	DBLP DOI BibTeX RDF
12	Xuanming Zhang, Zixun Chen, Zhou Yu	ProLex: A Benchmark for Language Proficiency-oriented Lexical Substitution.	CoRR	2024	DBLP DOI BibTeX RDF
12	Muhammad Shahbaz Khan, Jawad Ahmad 0001, Ahmed Al-Dubai 0001, Baraq Ghaleb, Nikolaos Pitropakis, William J. Buchanan	RNA-TransCrypt: Image Encryption Using Chaotic RNA Encoding, Novel Transformative Substitution, and Tailored Cryptographic Operations.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jinan Shao, Jing Dai, Antony Paulraj, Kee-hung Lai, Yongyi Shou	Innovation as a Differentiation Strategy: Its Differential Substitution Effects on Corporate Social Responsibility.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
12	Menglong Ma, Jun Xu, Jun Lu, Ji Lin 0001	The novel backward substitution method for the simulation of three-dimensional time-harmonic elastic wave problems.	Appl. Math. Lett.	2024	DBLP DOI BibTeX RDF
12	André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi	Variable binding and substitution for (nameless) dummies.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Alexander V. Babash	Attacks on the simple substitution cipher with the calculation of their reliability.	J. Comput. Virol. Hacking Tech.	2024	DBLP DOI BibTeX RDF
12	Jungwon Seo, Sooyong Park	SBAC: Substitution cipher access control based on blockchain for protecting personal data in metaverse.	Future Gener. Comput. Syst.	2024	DBLP DOI BibTeX RDF
12	Florian Scalvini, Camille Bordeau, Maxime Ambard, Cyrille Migniot, Julien Dubois	Outdoor Navigation Assistive System Based on Robust and Real-Time Visual-Auditory Substitution Approach.	Sensors	2024	DBLP DOI BibTeX RDF
12	Samira Al-sadat Salari, Zeinab Sazvar	Designing a sustainable vaccine supply chain by considering demand substitution and value-added function during a pandemic outbreak.	Comput. Ind. Eng.	2024	DBLP DOI BibTeX RDF
12	Louis Commère, Jean Rouat	Evaluation of Short-Range Depth Sonifications for Visual-to-Auditory Sensory Substitution.	IEEE Trans. Hum. Mach. Syst.	2023	DBLP DOI BibTeX RDF
12	Louis Commère, Jean Rouat	Sonified Distance in Sensory Substitution Does Not Always Improve Localization: Comparison With a 2-D and 3-D Handheld Device.	IEEE Trans. Hum. Mach. Syst.	2023	DBLP DOI BibTeX RDF
12	Mirko S. Heinle, Delphine Samuels, Daniel Taylor	Disclosure Substitution.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
12	Cheng He 0005, O. Cem Ozturk, Chris Gu, Pradeep K. Chintagunta	Consumer Tax Credits for EVs: Some Quasi-Experimental Evidence on Consumer Demand, Product Substitution, and Carbon Emissions.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
12	Kamal Z. Zamli, Hussam S. Alhadawi, Fakhrud Din	Utilizing the roulette wheel based social network search algorithm for substitution box construction and optimization.	Neural Comput. Appl.	2023	DBLP DOI BibTeX RDF
12	Amir Aghsami, Yaser Samimi, Abdollah Aghaie	A combined continuous-time Markov chain and queueing-inventory model for a blood transfusion network considering ABO/Rh substitution priority and unreliable screening laboratory.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
12	Hugo Alcaraz-Herrera, John Cartlidge	Using Coevolution and Substitution of the Fittest for Health and Well-Being Recommender Systems.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Yousef Alghamdi, Arslan Munir	An Image Encryption Algorithm Based on Trivium Cipher and Random Substitution.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Saurabh Bilgaiyan, Rehan Ahmad, Santwana Sagnika	Adaptive Image Steganography Using Rotating Color Channels and Inverted LSB Substitution.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Subhajit Adhikari, Sunil Karforma	Medical Image Encryption Method Using Cubic-Sin-Logistic-Tent Chaotic Pseudo-Random Number Sequence-Based Substitution.	SN Comput. Sci.	2023	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.	ACM Trans. Access. Comput.	2023	DBLP DOI BibTeX RDF
12	Aruna S, Usha G	S-DAC: A Novel Dynamic Substitution boxes using hybrid chaotic system and Deoxyribonuceic Acid(DNA) coding for counterfeiting Side-Channel Attacks.	Pers. Ubiquitous Comput.	2023	DBLP DOI BibTeX RDF
12	Yufei Yang, Song Xiao 0001, Wenqian Dong, Jiahui Qu, Yimin Zhao	Component Substitution Model-Guided Deep Spatial-Spectral Fusion of Hyperspectral Imagery.	IEEE Geosci. Remote. Sens. Lett.	2023	DBLP DOI BibTeX RDF
12	Seyed Mohammad Hassan Hosseini, Forough Behroozi, Shib Sankar Sana	Multi-objective optimization model for blood supply chain network design considering cost of shortage and substitution in disaster.	RAIRO Oper. Res.	2023	DBLP DOI BibTeX RDF
12	Sushree Sila P. Goswami, Gaurav Trivedi	FPGA Implementation of Modified SNOW 3G Stream Ciphers Using Fast and Resource Efficient Substitution Box.	IEEE Embed. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Ruby Mishra, Manish Okade, Kamalakanta Mahapatra	Efficient hardware mapping of Boolean substitution boxes based on functional decomposition for RFID and ISM band IoT applications.	Integr.	2023	DBLP DOI BibTeX RDF
12	Célia Borlido, Mai Gehrke	Substitution Principle and semidirect products.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Ali Aouad, Danny Segev	The Stability of MNL-Based Demand Under Dynamic Customer Substitution and Its Algorithmic Implications.	Oper. Res.	2023	DBLP DOI BibTeX RDF
12	Sudeshna Devnath, Manoranjan De, Seema Sarkar Mondal, Manoranjan Maiti	Two-stage multi-item 4-dimensional transportation problem with fuzzy risk and substitution.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
12	Nawal Shaltout, Ahmed A. Abd El-Latif 0001, Waleed M. El-Latif, Samir Elmougy	Applicable Image Security Based on Computational Genetic Approach and Self-Adaptive Substitution.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Amjad Hussain Zahid, Hafiz Ali Mansoor Elahi, Musheer Ahmad 0002, Louai Maghrabi, Ramy Said Agieb Said	Secure Key-Based Substitution-Boxes Design Using Systematic Search for High Nonlinearity.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Ali Ibrahim Lawah, Abdullahi Abdu Ibrahim, Sinan Q. Salih, Hussam S. Alhadawi, Poh Soon JosephNg	Grey Wolf Optimizer and Discrete Chaotic Map for Substitution Boxes Design and Optimization.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Zhanna Alimzhanova, Maria Skublewska-Paszkowska, Dauren Nazarbayev	Periodicity Detection of the Substitution Box in the CBC Mode of Operation: Experiment and Study.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Mooseop Kim, YunKyung Park, Kyeong-Deok Moon, Chi Yoon Jeong	Deep Learning-Based Optimization of Visual-Auditory Sensory Substitution.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Abdelmalek Metrouh	Social Internet of Things: a novel selection approach for dynamic resources substitution.	Evol. Intell.	2023	DBLP DOI BibTeX RDF
12	Ekhlas Abbas Albahrani, Tayseer Karam Alshekly, Sadeq H. Lafta	New secure and efficient substitution and permutation method for audio encryption algorithm.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
12	Rajeev Kumar 0007, Aruna Malik	Multimedia information hiding method for AMBTC compressed images using LSB substitution technique.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Basil Ibrahim, Eimad Abdu Abusham, Kashif Zia	Digital image scrambling based on outer totalistic cellular automaton and gray code pixels substitution.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Hamza Khan, Mohammad Mazyad Hazzazi, Sajjad Shaukat Jamal, Iqtadar Hussain, Majid Khan	New color image encryption technique based on three-dimensional logistic map and Grey wolf optimization based generated substitution boxes.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Duzhong Zhang, Xiancheng Wen, Chao Yan, Taiyong Li	An image encryption algorithm based on joint RNA-level permutation and substitution.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Ammar S. Alanazi, Noor Munir, Majid Khan, Iqtadar Hussain	A novel design of audio signals encryption with substitution permutation network based on the Genesio-Tesi chaotic system.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Athanasios Kopsidas, Konstantinos L. Kepaptsoglou	Modelling bus-based substitution capabilities for metro systems using bipartite graphs.	J. Complex Networks	2023	DBLP DOI BibTeX RDF
12	Manabu Hagiwara	Multi Deletion/Substitution/Erasure Error-Correcting Codes for Information in Array Design.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Huiling Gao, Shutao Li, Jun Li 0009, Renwei Dian	Multispectral Image Pan-Sharpening Guided by Component Substitution Model.	IEEE Trans. Geosci. Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Omar H. Abd-Elkader, Nasrallah M. Deraz, Lotfi Aleya	Effects of Zinc Substitution on the Microstructural and Magnetic Characteristics of Cubic Symmetry Nickel Ferrite System.	Symmetry	2023	DBLP DOI BibTeX RDF
12	Shuying Lai, Jing Qiu 0001, Yuechuan Tao, Junhua Zhao 0001	Pricing Strategy for Energy Supplement Services of Hybrid Electric Vehicles Considering Bounded-Rationality and Energy Substitution Effect.	IEEE Trans. Smart Grid	2023	DBLP DOI BibTeX RDF
12	Wanli Peng, Tao Wang, Zhenxing Qian, Sheng Li 0006, Xinpeng Zhang 0001	Cross-Modal Text Steganography Against Synonym Substitution-Based Text Attack.	IEEE Signal Process. Lett.	2023	DBLP DOI BibTeX RDF
12	Jipeng Qiang, Shiyu Zhu, Yun Li 0010, Yi Zhu 0006, Yunhao Yuan, Xindong Wu 0001	Natural language watermarking via paraphraser-based lexical substitution.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
12	Arzu Aykut, Ercan Çelik	The Consecutive Substitution Method for Boundary Value Problems (BVPs) with Retarded Argument.	J. Appl. Math.	2023	DBLP DOI 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.	Comput. Vis. Media	2023	DBLP DOI BibTeX RDF
12	Zhenwei Luo, Pengfei Guo, Yulan Wang	Manage Inventories with Learning on Demands and Buy-up Substitution Probability.	Manuf. Serv. Oper. Manag.	2023	DBLP DOI BibTeX RDF
12	Mujeeb Ur Rehman, Arslan Shafique, Kashif Hesham Khan, Mohammad Mazyad Hazzazi	Efficient and secure image encryption using key substitution process with discrete wavelet transform.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Mohammad Abdul Mujeeb Khan, Naveed Ahmed Azam, Umar Hayat, Hailiza Kamarulhaili	A novel deterministic substitution box generator over elliptic curves for real-time applications.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Panchami V, Mahima Mary Mathews	A Substitution Box for Lightweight Ciphers to Secure Internet of Things.	J. King Saud Univ. Comput. Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Sadiqa Arshad	Construction of 4 × 4 Substitution Box Using Elliptic Curves and Algebraic Group Structures.	Wirel. Pers. Commun.	2023	DBLP DOI BibTeX RDF
12	Ilia Smagloy, Lorenz Welter, Antonia Wachter-Zeh, Eitan Yaakobi	Single-Deletion Single-Substitution Correcting Codes.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
12	De Rosal Ignatius Moses Setiadi, Nova Rijati	An Image Encryption Scheme Combining 2D Cascaded Logistic Map and Permutation-Substitution Operations.	Comput.	2023	DBLP DOI BibTeX RDF
12	Zhixiang Fang, Xiaofan Wang, Ying Zhuang, Xianglong Liu 0006	Estimating optimal substitution scale of urban gasoline taxis by electric taxis in the era of green energy: a case study of Zhengzhou City.	Geo spatial Inf. Sci.	2023	DBLP DOI BibTeX RDF
12	Kei Kimura, Kazuhisa Makino	A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Alan Edelman, Ekin Akyürek, Yuyang Wang	BACKpropagation through BACK substitution with a BACKslash.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jipeng Qiang, Kang Liu, Yun Li 0010, Yunhao Yuan, Yi Zhu 0006	ParaLS: Lexical Substitution via Pretrained Paraphraser.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marvin Brieger, Stefan Mitsch, André Platzer	Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yiming Chen, Jinyu Tian, Xiangyu Chen 0006, Jiantao Zhou 0001	Effective Ambiguity Attack Against Passport-based DNN Intellectual Property Protection Schemes through Fully Connected Layer Substitution.	CoRR	2023	DBLP DOI BibTeX RDF
12	Kashif Ishaq, Awais Ahmed Qarni	An Innovative Design of Substitution Box Using Trigonometric Transformation.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zhongjie Ba, Jieming Zhong, Jiachen Lei, Peng Cheng 0007, Qinglong Wang, Zhan Qin, Zhibo Wang 0001, Kui Ren 0001	SurrogatePrompt: Bypassing the Safety Filter of Text-To-Image Models via Substitution.	CoRR	2023	DBLP DOI BibTeX RDF
12	Federico Albanese, Daniel Ciolek, Nicolás D'Ippolito	Text Sanitization Beyond Specific Domains: Zero-Shot Redaction & Substitution with Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF