Submission open
Ensuring Safety and Reliability in Intelligent Autonomous Systems Through Verification and Certification
- Ratan Lal
- Dr. Rabindra K. Barik
- Amrendra Singh Yadav
- Frontiers in Computer Science
- Theoretical Computer Science
- Research Topics
Type at least 3 characters
11 Research Topics
Guest edit your own article collection
Suggest a topic
research topics
Submission open
Verifying Autonomy: Formal Methods for Reliable Decision-Making
- ANTONIO DI STASIO
- Muhammad Najib
- Giuseppe Perelli
- Roxana Rădulescu
- 3,720 views
- 2 articles
Submission open
Balancing Expressiveness and Optimality in Modern Programming Paradigms
- Viviana Bono
- Aleksy Schubert
- 1,169 views
Submission open
Territorial and Spatial-Based Simulation
- Nuno Fachada
- João Pedro Matos-Carvalho
- Nuno David
- 17,934 views
- 4 articles
Submission closed
Realizing Quantum Utility: Grand Challenges of Secure & Trustworthy Quantum Computing
- Edo Giusto
- Shuai Xu
- Kaitlin N Smith
- Ed Younis
- Phuong Cao
- 21,966 views
- 5 articles
Interactive magazine
eBook
Submission closed
Experience with Quantum Annealing Computation
- Catherine McGeoch
- David Esteban Bernal Neira
- Susan Mniszewski
- Nicholas Chancellor
- 58,418 views
- 14 articles
Interactive magazine
eBook
Submission closed
2022 Computer Science – Editor’s Pick
- Kaleem Siddiqi
- Roberto Therón
- Kostas Karpouzis
- Sven Schewe
- Nicola Zannone
- Marcello Pelillo
- Kristof Van Laerhoven
- Paul Lukowicz
- 166,003 views
- 12 articles
Interactive magazine
Submission closed
Explainable Artificial Intelligence
- Chathurika S Wickramasinghe Brahmana
- Daniel Marino
- Kasun Amarasinghe
- 92,700 views
- 6 articles
Interactive magazine
Submission closed
Horizons in Computer Science 2022
- Kaleem Siddiqi
- Chintha Tellambura
- Kristof Van Laerhoven
- Nicola Zannone
- Paul Lukowicz
- Marcello Pelillo
- Anton Nijholt
- Sven Schewe
- 184,616 views
- 8 articles
Interactive magazine
Submission closed
Quantum Computing: Towards Practical Applications
- Xinhua Peng
- Deniz Türkpençe
- Jingfu Zhang
- Alexandre M Souza
- 81,060 views
- 8 articles
Interactive magazine
eBook
Submission closed
Current Thoughts on the Brain-Computer Analogy - All Metaphors Are Wrong, But Some Are Useful
- Giorgio Matassi
- Pedro Martinez
- Bud (Bhubaneswar) Mishra
- 311,133 views
- 14 articles