Theory
Theory
Title Filter     Display # 
# Article Title
21 A SAT Based Game
22 Quantum Cats
23 Microsoft Releases Quantum Computing Tool
24 Erdos Conjecture Proven
25 Computer Finds New Pentagonal Tiling - With Some Human Help
26 Wear Your Favourite Cellular Automaton As A Scarf
27 Sliding Blocks Are Turing Complete
28 Microsoft Z3 Theorem Prover Wins Award
29 MIT Finds Overflow Bugs
30 Pi Day Of The Century
31 Donald Knuth's Christmas Tree Lecture
32 Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
33 Look And Say Numbers And Conway's Constant
34 The Machine In The Ghost
35 Pulleys As Logic Gates
36 Search For Twin Prime Proof Slows
37 Complexity Theorist Gets Abel Prize
38 More Ties Than We Thought Or Ties Of The Matrix
39 Happy Pi Day!
40 Candy Crush Is Harder Than It Sounds - NP Hard
41 Does John Conway Hate Life?
42 A Mathematical Proof Too Long To Check - The Erdos Discrepancy Conjecture
43 Six Degrees Of Separation Is New
44 Knitting Is Turing Complete?
45 Quantum Computers Animated
46 Tensor Operations Are NP Hard
47 Cannibal Animal Games
48 Finding Solutions To Diophantine Equations By Smell
49 Kenneth Appel Remembered For Four Color Theorem Proof
50 The Life Of Pi - Yes It's Pi Day
51 48th Mersenne Prime Computed
52 Boson Sampling Tests Quantum Computing
53 Unshuffling A Square Is NP-Complete
54 A Paper In A Tweet
55 A Water Droplet-Based Computer
56 A Quantum Computer Finds Factors
57 The Revolution In Evolutionary Game Theory - Prisoners Dilemma Solved?
58 A New Computational Universe - Fredkin's SALT CA
59 What's a Sample of Size One Worth?
60 A Computable Universe - Roger Penrose On Nature As Computation
61 Hidden Markov Models, Viterbi and the Higgs Boson
62 A New Kind of Science Is Ten
63 Goldbach Conjecture - Closer to Solved?
64 Travelling Salesman - A Movie About P=NP
65 The Artificial Life of the App Store - the Best Strategy to Succeed
66 The Physical Travelling Salesman Challenge
67 Light Table - a Realization of a New Way to Code
68 A Crab-Based Computer
69 Szemerédi Awarded Abel Prize
70 Picture-Hanging Puzzles
71 Normal Numbers - A Video In Rhyme
72 Celebrate Pi Day It Contains All Human Knowledge
73 A Better Way To Program
74 Classic Nintendo Games Are NP Hard
75 Physics Is NP Hard
76 Turing's Biological Pattern Theory Proved
77 Just Enough Error Correction
78 $100,000 Prize For Proving Quantum Computers Are Impossible
79 Sorting Algorithms As A Video
80 Join the Reddit Read Through of Godel, Escher, Bach
81 The World's Ugliest Music - More than Random
82 Breakthrough! Faster Matrix Multiply
83 Pancake flipping is hard - NP hard
84 The KDD cup - good for algorithms
85 Fun with fractal squiggles
86 Random Means Random - The Green Card Fiasco
87 Slime mould simulates Canadian transport system
88 Rubik's cube - the order of God's Number
89 Collatz conjecture proved?
90 60 trillionth binary digit of pi-squared calculated
91 Knuth prize goes to Microsoft researcher
92 The maximum overhang algorithm
93 DARPA spends $20 million on homomorphic encryption
94 Knuth at Google Tech Talks
95 Queuing theory revealed (Video)
96 Algorithms beat Moore's law
97 Wolfram thinks the future is natural language
98 Comic inspires visualization technique
99 More than 48 cores might be too many
100 Yahoo! Gets to the 2 Quadrillionth bit of Pi - it's zero
101 Update on the Proof of P≠NP?
102 Rubik's cube breakthrough
103 Proof of P≠NP?
104 5 Trillion Digits of Pi - New world record
105 Free summer reading - Robotics, AI and UX
106 Zip for the Genome - G-SQueeZ
107 Modifiable encryption
 
«StartPrev12NextEnd»
Page 1 of 2
 

   
Banner
RSS feed of news items only
I Programmer News
Copyright © 2017 i-programmer.info. All Rights Reserved.
Joomla! is Free Software released under the GNU/GPL License.