User contributions for Houseofwealth
A user with 46 edits. Account created on 1 August 2007.
11 February 2021
- 18:3918:39, 11 February 2021 diff hist +238 Talk:Model-based design added a q
21 January 2021
- 22:5922:59, 21 January 2021 diff hist +219 Talk:Probabilistic programming comment on this article
30 June 2020
- 05:0505:05, 30 June 2020 diff hist +523 Talk:Visitor pattern →C# "classic" example doesn't use visitor pattern
11 March 2020
- 19:4019:40, 11 March 2020 diff hist +100 m Talk:Subgraph isomorphism problem →Incomplete proof that subgraph isomorphism is NP-complete
- 19:4019:40, 11 March 2020 diff hist +373 Talk:Subgraph isomorphism problem →Incomplete proof that subgraph isomorphism is NP-complete: new section
16 January 2020
- 01:4901:49, 16 January 2020 diff hist +139 Talk:Differentiable function missing definition of relatively smooth
- 01:1201:12, 16 January 2020 diff hist +578 Talk:Continuous function connection with Scott continuity?
8 April 2019
- 18:1118:11, 8 April 2019 diff hist +668 Talk:Producer–consumer problem added request for clarification
12 February 2019
- 21:5721:57, 12 February 2019 diff hist +759 Talk:Critical section need clarification
- 21:3721:37, 12 February 2019 diff hist −770 Talk:Producer–consumer problem removed edit
- 21:2921:29, 12 February 2019 diff hist +102 m Talk:Producer–consumer problem →Untitled
- 21:2721:27, 12 February 2019 diff hist +669 Talk:Producer–consumer problem proposed rewrite of semaphore based solution
9 February 2019
- 19:1719:17, 9 February 2019 diff hist +148 Talk:Monadic predicate calculus added a question
8 February 2019
- 20:3320:33, 8 February 2019 diff hist +336 m Talk:Bisimulation added request for clarification
15 December 2016
- 18:4618:46, 15 December 2016 diff hist +361 Talk:Mmap No edit summary
- 18:4118:41, 15 December 2016 diff hist +138 Talk:Mmap No edit summary
21 June 2016
- 23:0123:01, 21 June 2016 diff hist +148 Talk:PackBot No edit summary
13 March 2015
- 19:2919:29, 13 March 2015 diff hist +6 m Predicate transformer semantics →Assignment
- 19:1519:15, 13 March 2015 diff hist +1,166 Predicate transformer semantics →While loop: provided definition for weakest liberal precondition (partial correctness)
5 March 2015
- 01:1201:12, 5 March 2015 diff hist +99 m Talk:Predicate transformer semantics →Stongest postconditions are missing a motivation
- 01:1101:11, 5 March 2015 diff hist +346 Talk:Predicate transformer semantics →Stongest postconditions are missing a motivation: new section
- 01:0401:04, 5 March 2015 diff hist +378 Talk:Predicate transformer semantics →The While case needs a partial correctness rule
- 00:5600:56, 5 March 2015 diff hist +2 m Talk:Predicate transformer semantics →The While case needs a partial correctness rule
- 00:5600:56, 5 March 2015 diff hist +1,064 Talk:Predicate transformer semantics →The While case needs a partial correctness rule: new section
13 May 2014
- 21:1021:10, 13 May 2014 diff hist +1,015 Talk:First-order logic →Question about interpreting formula with free variables: new section
21 February 2013
- 04:3104:31, 21 February 2013 diff hist +1,018 Talk:Applied mathematics No edit summary
6 September 2012
- 20:1220:12, 6 September 2012 diff hist +481 Talk:Dynamic programming No edit summary
- 20:0720:07, 6 September 2012 diff hist +268 Talk:Dynamic programming →And Prolog
13 May 2011
- 00:4200:42, 13 May 2011 diff hist +267 Talk:Job-shop problem No edit summary
21 March 2011
- 15:4815:48, 21 March 2011 diff hist +1,014 Talk:Nuclear meltdown explanation of bias in the article
20 February 2010
- 07:2607:26, 20 February 2010 diff hist +37 Talk:Disjunctive normal form No edit summary
- 07:1807:18, 20 February 2010 diff hist +554 Talk:Disjunctive normal form No edit summary
28 April 2009
- 20:1120:11, 28 April 2009 diff hist +649 Talk:Automatic programming →Merge
15 April 2008
- 00:3900:39, 15 April 2008 diff hist +500 Talk:Peano axioms No edit summary
- 00:3200:32, 15 April 2008 diff hist +392 Talk:Peano axioms No edit summary
28 February 2008
- 17:2217:22, 28 February 2008 diff hist +188 Pseudo-polynomial time added reference to strongly NP-complete problems
- 17:1617:16, 28 February 2008 diff hist +259 Talk:Pseudo-polynomial time No edit summary
26 February 2008
- 20:4120:41, 26 February 2008 diff hist +171 Pseudo-polynomial time You only need to test numbers up to n/2 for primality. Minor rewording of explanation to bring out the "a-ha"
- 20:2720:27, 26 February 2008 diff hist +233 N Talk:Pseudo-polynomial time ←Created page with 'Shouldn't there be cross reference between this and the page on Strongly NP-complete since they are two sides of the same coin? ~~~~'
- 06:0006:00, 26 February 2008 diff hist +102 Talk:Renaissance →Not just Greek works
- 06:0006:00, 26 February 2008 diff hist +452 Talk:Renaissance No edit summary
- 05:5505:55, 26 February 2008 diff hist +201 Renaissance added reference to earlier Indian work upon which Muslim works were based
19 December 2007
- 23:1623:16, 19 December 2007 diff hist +143 Talk:Heuristic algorithm →Reference
30 October 2007
- 17:5817:58, 30 October 2007 diff hist +192 Talk:Axiom of choice →Question
25 October 2007
- 19:4519:45, 25 October 2007 diff hist +225 Talk:Axiom of choice →Question
1 August 2007
- 18:3118:31, 1 August 2007 diff hist +83 Supremum →Greatest elements
