A Formal Verification Methodology for DDD Mode Pacemaker Control Programs

by Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna
Published 2015-01-01

Nucleotide Identification in DNA Using Dielectrophoresis Spectroscopy

by Fleming Dackson Gudagunti, Logeeshan Velmanickam, Dharmakeerthi Nawarathna, Ivan T. Lima
Published 2019-12-01

Label-Free Biosensing Method for the Detection of a Pancreatic Cancer Biomarker Based on Dielectrophoresis Spectroscopy

by Fleming Dackson Gudagunti, Logeeshan Velmanickam, Dharmakeerthi Nawarathna, Ivan T. Lima
Published 2018-08-01