All subject overlays

Theory and Formal Methods at PeerJ

Latest articles

Intelligent expert system fault diagnosis based on PCA–SPE–CNN classifier
Shaohua Zhao, Yuan Wang, Wenting Hou, Sen Liu
Faster numeric static analyses with unconstrained variable oracles
Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
RSS feed (Articles) View all Articles
MPV: a density-peak-based method for automated cluster number detection
Zhenzhen He, Xinyu Zhang
A hybrid fusion of the recurrent neural network and bidirectional long short-term memory for wind speed prediction in the South China Sea
Hafiza Zoya Mojahid, Abdul Basit, Abdul Kadir Jumaat, Jasni Mohamad Zain, Nazleeni Samiha Haron, Jafreezal Jaafar, Siti Sara Ibrahim, Murizah Kassim, Marina Yusoff, Nooritawati Md Tahir, Mohd Azdi Maasar, Farahida Hanim Mausor, Nor Farisha Muhamad Krishnan

Widely read

More ties than we thought
Dan Hirsch, Ingemar Markström, Meredith L. Patterson, Anders Sandberg, Mikael Vejdemo-Johansson
24,084 views · 2,461 downloads
A framework for cut-over management
Guido Nageldinger
6,399 views · 18,440 downloads
Survey on graph embeddings and their applications to machine learning problems on graphs
Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj
8,929 views · 4,828 downloads
Whole-body kinematic and dynamic modeling for quadruped robot under different gaits and mechanism topologies
Wei Yan, Yang Pan, Junjie Che, Jiexian Yu, Zhuchen Han
6,155 views · 3,614 downloads
Researching COVID-19 tracing app acceptance: incorporating theory from the technological acceptance model
Felix Velicia-Martin, Juan-Pedro Cabrera-Sanchez, Eloy Gil-Cordero, Pedro R. Palos-Sanchez
7,316 views · 1,180 downloads

Editors' picks

Faster numeric static analyses with unconstrained variable oracles
Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
Adaptive gamification in collaborative virtual classroom: a systematic review
Intan Yusrina Zairon, Tengku Siti Meriam Tengku Wook, Syahanim M. Salleh, Hadi Affendy Dahlan

Recently cited

Survey on graph embeddings and their applications to machine learning problems on graphs
Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj
101 citations · 8,929 views · 4,828 downloads
Estimation of Granger causality through Artificial Neural Networks: applications to physiological systems and chaotic electronic oscillators
Yuri Antonacci, Ludovico Minati, Luca Faes, Riccardo Pernice, Giandomenico Nollo, Jlenia Toppi, Antonio Pietrabissa, Laura Astolfi
30 citations · 2,755 views · 456 downloads
About this subject overlay

This Theory and Formal Methods Overlay is a subset of the peer-reviewed articles found in PeerJ Computer Science .

Subject pages or "Overlays" are like filtered subject journals helping you discover your community within the wider multi-disciplinary PeerJ venues.

Follow this overlay

Collections

Decision Making in Complex Systems: The Theoretical Basis
Decision Making in Complex Systems: Intelligent Computing
Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography
Advances in Computational Learning for Robotics - RiTA 2020
Coronaviruses and Viral Respiratory Infections
Background image credit