Introduction to the special issue on computational logic for verification
Sign Up to like & getrecommendations! Published in 2018 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068418000029
Abstract: Logic underlies many fundamental techniques in computer science. It helps us to rigorously formalize these techniques and prove them correct. The last decade has witnessed a growing interest in the use of computational logic methods… read more here.
Keywords: computational logic; issue computational; logic verification; verification ... See more keywords
Special issue on Computational Resources and Methods in Biological Sciences
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Biological Sciences"
DOI: 10.7150/ijbs.27554
Abstract: This special issue covers a wide range of topics in computational biology, such as database construction, sequence analysis and function prediction with machine learning methods, disease-related diagnosis, drug-target and drug discovery, and electronic health record… read more here.
Keywords: issue computational; biological sciences; computational resources; special issue ... See more keywords