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

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