Correctness by Construction for Pairwise Sequence Alignment Algorithm in Bio-Sequence

Pairwise sequence alignment is a classical problem in bioinformatics, aiming at finding the similarity between two sequences, which is important for discovering functional, structural and evolutionary information in biological sequences. More algorithms have been developed for the sequence alignment...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Haihe Shi, Sunwen Lan, Riming Liu, Haipeng Shi
التنسيق: مقال
اللغة:English
منشور في: Faculty of Mechanical Engineering in Slavonski Brod, Faculty of Electrical Engineering in Osijek, Faculty of Civil Engineering in Osijek 2023-01-01
سلاسل:Tehnički Vjesnik
الموضوعات:
الوصول للمادة أونلاين:https://hrcak.srce.hr/file/433787