Theory and Formal Methods at PeerJ

Latest articles

Bridges in social networks: current status and challenges

Jeongseon Kim, Soohwan Jeong, Jungeun Kim, Sungsu Lim

A measurement framework to assess software maturity models

Reem Alshareef, Mohammad Alshayeb, Mahmood Niazi, Sajjad Mahmood

RSS feed (Articles) View all Articles

Multicriteria scheduling of two-subassembly products with batch availability and precedence constraints

Zhenxin Wen, Shuguang Li

A literature survey of shapelet quality measures for time series classification

Teng Li, Xiaodong Guo, Cun Ji

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

Risk assessment based on a new decision-making approach with fermatean fuzzy sets

Hilal Biderci, Ali F. Guneri

Effective classification for neonatal brain injury using EEG feature selection based on elastic net regression and improved crow search algorithm

Ling Li, Tao Yue, Hui Wu, Yanping Zhao, Qinmei Liu, Hairong Zhang, Wei Xu

Recently cited

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

Ilya Makarov, Dmitrii Kiselev, Nikita Nikitinsky, Lovro Subelj

93 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

26 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