Scientific Research Publishing

Galactic Rotation Curves Explained in the 4DEU Framework by 3D Spatial Curvature from Local Gravitational Blocking of Cosmic Expansion: No Need for Dark Matter ()

The observed near flatness of galactic rotation curves has long been interpreted as evidence for large amounts of non-baryonic dark matter. Here we show that this phenom ...
IEEE

What energy functions can be minimized via graph cuts?

Abstract: In the last few years, several new algorithms based on graph cuts have been developed to solve energy minimization problems in computer vision. Each of these techniques constructs a graph ...
IEEE

Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
GitHub

GitHub - mxgmn/WaveFunctionCollapse: Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics.

(C1) The output should contain only those NxN patterns of pixels that are present in the input. (Weak C2) Distribution of NxN patterns in the input should be similar to the distribution of NxN ...