You are currently viewing a new version of our website. To view the old version click .

Algorithms, Volume 13, Issue 12

December 2020 - 39 articles

Cover Story: We connected two prominent fields of formal methods, the SAT problem and the directed graphs, to introduce the BaW property. Strongly connected directed graphs are represented by black and white SAT problems. Such a SAT problem has exactly two solutions: where each variable is true, and where each variable is false. We defined 3 models: the strong (SM), weak (WM), and Balatonboglár model (BM). Our main results are: (1) SM and WM have the BaW property; (2) every model has the BaW property if it is not weaker than WM, and not stronger than SM; (3) BM has the BaW property, because it fulfills the precondition of (2). These results give us a better understanding of how to represent a SAT problem as a directed graph, although this problem has not been solved yet. View this paper
  • Issues are regarded as officially published after their release is announced to the table of contents alert mailing list .
  • You may sign up for email alerts to receive table of contents of newly released issues.
  • PDF is the official format for papers published in both, html and pdf forms. To view the papers in pdf format, click on the "PDF Full-text" link, and use the free Adobe Reader to open them.

Articles (39)

  • Article
  • Open Access
8 Citations
3,899 Views
20 Pages

13 December 2020

Project Planning and Control (PPC) problems with stochastic job processing times belong to the problem class of Stochastic Resource-Constrained Multi-Project Scheduling Problems (SRCMPSP). A practical example of this problem class is the industrial d...

  • Article
  • Open Access
5 Citations
5,110 Views
30 Pages

An Evaluation Framework and Algorithms for Train Rescheduling

  • Sai Prashanth Josyula,
  • Johanna Törnquist Krasemann and
  • Lars Lundberg

11 December 2020

In railway traffic systems, whenever disturbances occur, it is important to effectively reschedule trains while optimizing the goals of various stakeholders. Algorithms can provide significant benefits to support the traffic controllers in train resc...

  • Article
  • Open Access
2 Citations
3,399 Views
20 Pages

11 December 2020

The Guidance, Navigation and Control (GNC) of air and space vehicles has been one of the spearheads of research in the aerospace field in recent times. Using Global Navigation Satellite Systems (GNSS) and inertial navigation systems, accuracy may be...

  • Article
  • Open Access
14 Citations
4,366 Views
27 Pages

11 December 2020

Methods of topological data analysis have been successfully applied in a wide range of fields to provide useful summaries of the structure of complex data sets in terms of topological descriptors, such as persistence diagrams. While there are many po...

  • Article
  • Open Access
8 Citations
5,124 Views
15 Pages

Feature Selection from Lyme Disease Patient Survey Using Machine Learning

  • Joshua Vendrow,
  • Jamie Haddock,
  • Deanna Needell and
  • Lorraine Johnson

11 December 2020

Lyme disease is a rapidly growing illness that remains poorly understood within the medical community. Critical questions about when and why patients respond to treatment or stay ill, what kinds of treatments are effective, and even how to properly d...

  • Article
  • Open Access
9 Citations
4,787 Views
17 Pages

10 December 2020

Hyperspectral image classification has been increasingly used in the field of remote sensing. In this study, a new clustering framework for large-scale hyperspectral image (HSI) classification is proposed. The proposed four-step classification scheme...

  • Article
  • Open Access
32 Citations
5,598 Views
23 Pages

Predicting Intentions of Pedestrians from 2D Skeletal Pose Sequences with a Representation-Focused Multi-Branch Deep Learning Network

  • Joseph Gesnouin,
  • Steve Pechberti,
  • Guillaume Bresson,
  • Bogdan Stanciulescu and
  • Fabien Moutarde

10 December 2020

Understanding the behaviors and intentions of humans is still one of the main challenges for vehicle autonomy. More specifically, inferring the intentions and actions of vulnerable actors, namely pedestrians, in complex situations such as urban traff...

  • Article
  • Open Access
17 Citations
5,731 Views
17 Pages

Hard and Soft EM in Bayesian Network Learning from Incomplete Data

  • Andrea Ruggieri,
  • Francesco Stranieri,
  • Fabio Stella and
  • Marco Scutari

9 December 2020

Incomplete data are a common feature in many domains, from clinical trials to industrial applications. Bayesian networks (BNs) are often used in these domains because of their graphical and causal interpretations. BN parameter learning from incomplet...

  • Article
  • Open Access
5 Citations
2,787 Views
16 Pages

Kernel Identification of Non-Linear Systems with General Structure

  • Grzegorz Mzyk,
  • Zygmunt Hasiewicz and
  • Paweł Mielcarek

6 December 2020

In the paper we deal with the problem of non-linear dynamic system identification in the presence of random noise. The class of considered systems is relatively general, in the sense that it is not limited to block-oriented structures such as Hammers...

  • Article
  • Open Access
5 Citations
3,811 Views
14 Pages

5 December 2020

Bayesian inference using Gaussian processes on large datasets have been studied extensively over the past few years. However, little attention has been given on how to apply these on a high resolution input space. By approximating the set of test poi...

of 4

Get Alerted

Add your email address to receive forthcoming issues of this journal.

XFacebookLinkedIn
Algorithms - ISSN 1999-4893