Basically computer science

90 entries

Sort by date added | title

• Tiling with Three Polygons is Undecidable
  • Published in 2024
  • Added on 2024-12-02
• Polyamorous Scheduling
  • Published in 2024
  • Added on 2024-04-10
• Random Formula Generators
  • Published in 2021
  • Added on 2024-03-11
• Flat origami is Turing Complete
  • Published in 2023
  • Added on 2023-09-29
• Distant decimals of $π$
  • Published in 2017
  • Added on 2023-08-14
• Solving Rush Hour, the Puzzle
  • Published in 2018
  • Added on 2023-03-22
• Easy Proof of Three Recursive $π$-Algorithms -- Einfacher Beweis dreier rekursiver $π$-Algorithmen
  • Published in 2019
  • Added on 2022-02-25
• Generating graphs randomly
  • Published in 2022
  • Added on 2022-02-16
• Check Digits
  • Published in 1999
  • Added on 2022-01-18
• Generation of real algebraic loci via complex detours
  • Published in 2015
  • Added on 2021-04-10
• Programming the Hilbert curve
  • Published in 2004
  • Added on 2021-02-12
• Infinitude of Primes Using Formal Language Theory
  • Published in 2020
  • Added on 2020-05-25
• The distance of a permutation from a subgroup of \(S_n\)
  • Published in 2005
  • Added on 2020-04-30
• A catalogue of mathematical formulas involving π, with analysis
  • Published in 2020
  • Added on 2020-03-27
• Theory and applications of the double-base number system
  • Published in 1999
  • Added on 2020-02-03
• Small-data computing: correct calculator arithmetic
  • Published in 2017
  • Added on 2020-01-13
• Creation of Hyperbolic Ornaments
  • Published in 2014
  • Added on 2019-08-08
• Calculator Forensics
  • Published in 2000
  • Added on 2018-10-16
• A surprisingly simple de Bruijn sequence construction
  • Published in 2016
  • Added on 2018-06-25
• Mechanical Computing Systems Using Only Links and Rotary Joints
  • Published in 2018
  • Added on 2018-01-30
• An empty exercise
  • Published in 1990
  • Added on 2018-01-24
• Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
  • Published in 2001
  • Added on 2018-01-23
• Any Monotone Boolean Function Can Be Realized by Interlocked Polygons
  • Published in 2010
  • Added on 2018-01-08
• $H$-supermagic labelings for firecrackers, banana trees and flowers
  • Published in 2016
  • Added on 2017-09-11
• Proof of Conway's Lost Cosmological Theorem
  • Published in 1998
  • Added on 2017-07-26
• Computational complexity and 3-manifolds and zombies
  • Published in 2017
  • Added on 2017-07-13
• The ternary calculating machine of Thomas Fowler
  • Published in 1997
  • Added on 2017-06-22
• Сетунь ВС (Setun Web Simulator)
  • Published in 2017
  • Added on 2017-06-22
• Cuckoo Filter: Simplification and Analysis
  • Published in 2016
  • Added on 2017-05-23
• Beyond Floating Point: Next-Generation Computer Arithmetic
  • Published in 2017
  • Added on 2017-03-21
• PAPAC-00, a Do-It-Yourself Paper Computer
  • Published in 1958
  • Added on 2017-03-21
• Analysis of Carries in Signed Digit Expansions
  • Published in 2015
  • Added on 2017-02-06
• Counting Cases in Marching Cubes: Towards a Generic Algorithm for Producing Substitopes
  • Published in 2003
  • Added on 2016-09-28
• Matters Computational - Ideas, Algorithms, Source Code
  • Published in 2010
  • Added on 2016-08-03
• How do you compute the midpoint of an interval?
  • Published in 2014
  • Added on 2016-07-04
• Complexity and Completeness of Finding Another solution and its Application to Puzzles
  • Published in 2003
  • Added on 2016-06-18
• Dividing by zero - how bad is it, really?
  • Published in 2016
  • Added on 2016-06-17
• Reversible quantum cellular automata
  • Published in 2004
  • Added on 2015-06-28
• Finding long chains in kidney exchange using the traveling salesman problem
  • Published in 2015
  • Added on 2015-03-07
• A Brief Critique of Pure Hypercomputation
  • Published in 2009
  • Added on 2015-03-05
• Pancake Flipping is Hard
  • Published in 2011
  • Added on 2013-11-15
• Random Structures from Lego Bricks and Analog Monte Carlo Procedures
  • Published in 2013
  • Added on 2013-11-13
• From Unicode to Typography, a Case Study the Greek Script
  • Published in 1999
  • Added on 2013-07-22
• Cyclic twill-woven objects
  • Published in 2011
  • Added on 2013-05-16
• Online Dating Recommender Systems: The Split-complex Number Approach
  • Published in 2012
  • Added on 2012-09-13
• Magic: the Gathering is Turing Complete
  • Published in 2012
  • Added on 2012-09-11
• How Java's floating-point hurts everyone everywhere
  • Published in 1998
  • Added on 2012-09-05
• Beastly Numbers
  • Published in 1996
  • Added on 2012-09-05
• Mastermind is NP-Complete
  • Published in 2005
  • Added on 2012-09-02
• The Fastest and Shortest Algorithm for All Well-Defined Problems
  • Published in 2002
  • Added on 2012-08-14
• To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
  • Published in 1996
  • Added on 2012-06-03
• Robust Soldier Crab Ball Gate
  • Published in 2011
  • Added on 2012-04-15
• Statistical Modeling of Gang Violence in Los Angeles
  • Published in 2010
  • Added on 2012-04-13
• Cellular automata in the hyperbolic plane: proposal for a new environment
  • Published in 2004
  • Added on 2012-04-08
• Navigating Hyperbolic Space with Fibonacci Trees
  • Published in 2010
  • Added on 2012-04-07
• Topic-based vector space model
  • Published in 2003
  • Added on 2012-03-24
• Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later
  • Published in 2003
  • Added on 2012-02-09
• Gaming is a hard job, but someone has to do it!
  • Published in 2012
  • Added on 2012-01-27
• The hardness of the Lemmings game, or Oh no, more NP-completeness proofs
  • Published in 2004
  • Added on 2012-01-27
• The Snowblower Problem
  • Published in 2006
  • Added on 2012-01-22
• Understanding Monads With JavaScript
  • Published in 2011
  • Added on 2012-01-18
• A Generalized Fibonacci LSB Data Hiding Technique
  • Published in 2006
  • Added on 2012-01-10
• Computer evolution of buildable objects
  • Published in 1999
  • Added on 2012-01-09
• Complexity of Langton's ant
  • Published in 2002
  • Added on 2012-01-04
• Deobfuscation is in NP
  • Published in 2002
  • Added on 2011-12-12
• A linear programming approach for aircraft boarding strategy
  • Published in 2007
  • Added on 2011-10-04
• Does Quantum Interference exist in Twitter?
  • Published in 2011
  • Added on 2011-09-08
• Packing circles and spheres on surfaces
  • Published in 2009
  • Added on 2011-09-04
• Testing Petri Nets for Mobile Robots Using Gröbner Bases
  • Published in 2000
  • Added on 2011-05-09
• Accurate estimation of forward path geometry using two-clothoid road model
  • Published in 2002
  • Added on 2011-04-12
• The 1-Hyperbolic Projection for User Interfaces
  • Published in 2003
  • Added on 2011-04-12
• Drawing and Labeling High-Quality Metro Maps by Mixed-Integer Programming.
  • Published in 2010
  • Added on 2011-04-07
• Theoretical Computer Science Cheat Sheet
  • Published in 2003
  • Added on 2011-03-26
• Tree automata techniques and applications
  • Published in 1997
  • Added on 2011-03-25
• Automatic calculation of plane loci using Grobner bases and integration into a Dynamic Geometry System
  • Published in 2010
  • Added on 2011-03-24
• Hierarchical Position Based Dynamics
  • Published in 2008
  • Added on 2011-03-11
• A discursive grammar for customizing mass housing: the case of Siza's houses at Malagueira
  • Published in 2005
  • Added on 2011-02-15
• Hypercomputation: computing more than the Turing machine
  • Published in 2002
  • Added on 2011-02-09
• Interpolating Solid Orientations with a $C^2$ -Continuous B-Spline Quaternion Curve
  • Published in 2007
  • Added on 2011-01-12
• Animating rotation with quaternion curves
  • Published in 1985
  • Added on 2011-01-12
• Implications of the Turing Completeness of Reaction-Diffusion Models, informed by GPGPU simulations on an XBox 360: Cardiac Arrythmias, Re-entry and the Halting Problem
  • Published in 2008
  • Added on 2010-09-30
• openttd logic gates
  • Published in 2005
  • Added on 2010-09-30
• Push-pull LEGO logic gates
  • Published in 1999
  • Added on 2010-09-30
• A Closed-Form Algorithm for Converting Hilbert Space-Filling Curve Indices
  • Published in 2010
  • Added on 2010-09-01
• Digital halftoning with space filling curves
  • Published in 1991
  • Added on 2010-08-31
• Hilbert R-tree: An improved R-tree using fractals
  • Published in 1994
  • Added on 2010-08-31
• Detection of transposition errors in decimal numbers
  • Published in 1967
  • Added on 2010-08-20
• What Sequential Games , the Tychonoff Theorem and the Double-Negation Shift have in Common
  • Published in 2010
  • Added on 2010-08-04
• Constructive gem: juggling exponentials
  • Published in 2009
  • Added on 2010-07-15
• Unbounded spigot algorithms for the digits of pi
  • Published in 2006
  • Added on 2010-01-05