Theory and Formal Methods at PeerJ

Latest articles

Node disjoint path construction algorithm in the folded divide-and-swap cube

Ying Gao, Lantao You, Yuejuan Han, Yunsong Zhang

Study on slurry mass concentration prediction method driven by multi-source data fusion

Hongyan Wang, Kecheng Wang, Shu Wang, Lanhao Wang, Jing Nan, Wei Dai

RSS feed (Articles) View all 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

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

Node disjoint path construction algorithm in the folded divide-and-swap cube

Ying Gao, Lantao You, Yuejuan Han, Yunsong Zhang

Faster numeric static analyses with unconstrained variable oracles

Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella

Recently cited

Survey on graph embeddings and their applications to machine learning problems on graphs

Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj

103 citations · 8,929 views · 4,828 downloads

Feature level fine grained sentiment analysis using boosted long short-term memory with improvised local search whale optimization

Lakshmi Revathi Krosuri, Rama Satish Aravapalli

9 citations · 1,049 views · 68 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