Preprints (not yet peer-reviewed)

65 downloads
136 views

We develop an efficient software package to test for the primality of p2^n+1, p prime and p>2^n. This aids in the determination of large, non-Sierpinski numbers p, for prime p, and in cryptography. It furthermore uniquely allows for the computation of the smallest...

["Cryptography","Data Science","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.27396v1
101 downloads
296 views

Evolutionary algorithms often incorporate ecological concepts to help maintain diverse populations and drive continued innovation. However, while there is strong evidence for the value of ecological dynamics, a lack of overarching theoretical framework renders...

["Computational Biology","Adaptive and Self-Organizing Systems","Data Mining and Machine Learning","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.27315v1
37 downloads
78 views

In this article we consider a certain sub class of Integer Equal Flow problem, which are known NP hard. Currently there exist no direct solutions for the same. It is a common problem in various inventory management systems. Here we discuss a local minima solution...

["Data Science","Optimization Theory and Computation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.27264v1
214 downloads
280 views

We present a linear time-varying Luenberger observer (LTVLO) using compartmental models to estimate the unmeasurable states in patients with type 1 diabetes. The LTVLO proposed is based on the linearization in an operation point of the virtual patient (VP), where...

["Algorithms and Analysis of Algorithms","Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.3341v1
48 downloads
273 views

The growth function is the generating function for sizes of spheres around the identity in Cayley graphs of groups. We present a novel method to calculate growth functions for automatic groups with normal form recognizing automata that recognize a single normal...

["Theory and Formal Methods"]
doi:10.7287/peerj.preprints.3256v1
199 downloads
684 views

An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS...

["Computational Biology","Adaptive and Self-Organizing Systems","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.2690v3
193 downloads
334 views

I show that any elementary cellular automata -- a class of 1-dimensional, 2-state cellular automata originally formulated by Stephen Wolfram -- can be deconstructed into a set of two Boolean operators; I also present a conjecture concerning the relationship between...

["Theory and Formal Methods"]
doi:10.7287/peerj.preprints.2553v1
1,110 downloads
688 views

Previous definitions of a Discrete Hankel Transform (DHT) have focused on methods to approximate the continuous Hankel integral transform without regard for the properties of the DHT itself. Recently, the theory of a Discrete Hankel Transform was proposed that...

["Algorithms and Analysis of Algorithms","Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.2216v1
143 downloads
234 views

Metric spaces provide a framework for analysis and have several very useful properties. Many of these properties follow in part from the triangle inequality. However, there are several applications in which the triangle inequality does not hold but in which we...

["Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.2055v1
194 downloads
345 views

We present a geometric model of image formation in Scheimpflug cameras that is most general. Scheimpflug imaging is commonly used is scientific and medical imaging either to increase the depth of field of the imager or to focus on tilted object surfaces. Existing...

["Computer Vision","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1887v1
197 downloads
552 views

Formal argument suggests that command, communication and control systems can remain stable in the sense of the Data Rate Theorem that mandates the minimum rate of control information required to stabilize inherently unstable 'plants', but may nonetheless, under...

["Autonomous Systems","Real-Time and Embedded Systems","Robotics","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1714v1
61 downloads
247 views

Identifying patterns and associations in data is fundamental to discovery in science. This work investigates a very simple instance of the problem, where each data point consists of a vector of binary attributes, and attributes are treated equally. For example,...

["Data Mining and Machine Learning","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1713v1
257 downloads
953 views

Background. P and NP are two classes (sets) of languages in Computer Science. An open problem is whether P = NP. This paper tests a new idea to compare the two language sets and attempts to prove that these two language sets consist of same languages by elementary...

["Algorithms and Analysis of Algorithms","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1455v1
212 downloads
884 views

Agent-based modeling (ABM) is a bottom-up modeling approach, where each entity of the system being modeled is uniquely represented as an independent decision-making agent. ABMs are very sensitive to implementation details. Thus, it is very easy to inadvertently...

["Agents and Multi-Agent Systems","Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1440v1
362 downloads
983 views

Agent-based modeling (ABM) is a bottom-up modeling approach, where each entity of the system being modeled is uniquely represented as an independent decision-making agent. ABMs are very sensitive to implementation details. Thus, it is very easy to inadvertently...

["Agents and Multi-Agent Systems","Scientific Computing and Simulation","Theory and Formal Methods"]
doi:10.7287/peerj.preprints.1278v1
What is a PeerJ Preprint?

A PeerJ Preprint is a draft of an article, abstract, or poster that has not yet been peer-reviewed for formal publication. Submit a draft, incomplete, or final version of your work for free.

Submissions today can be approved by Editorial Staff and online in 24 hours.

Establish precedent. Solicit feedback. Publish updates.

Refine by manuscript type

Top subject areas - Preprints

Top subject areas - People

View all subject areas