All subject overlays

Theory and Formal Methods at PeerJ

Latest articles

Faster numeric static analyses with unconstrained variable oracles
Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
Estimation of maize LCC and FVC for full growth periods based on UAV remote sensing and ensemble learning
Yihan Yao, Dong Wang, Meiyan Shu, Jingyu Hu, Yang Liu, Haikuan Feng, Bing Li, Wanyun Lu, Jian Wang, Lei Xi, Yinchao Che, Lei Shi
RSS feed (Articles) View all Articles
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
Adaptive gamification in collaborative virtual classroom: a systematic review
Intan Yusrina Zairon, Tengku Siti Meriam Tengku Wook, Syahanim M. Salleh, Hadi Affendy Dahlan

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
100 citations · 8,929 views · 4,828 downloads
Proposal for an objective binary benchmarking framework that validates each other for comparing MCDM methods through data analytics
Mahmut Baydaş, Tevfik Eren, Željko Stević, Vitomir Starčević, Raif Parlakkaya
26 citations · 1,659 views · 124 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