e.g. ¬(A ∨ B) ⇒ ¬A ∧ ¬B
All symbols: ¬, ∧, ∨, ⇒, ⇔
5 days ago
20 March 2010
Subscribe to:
Post Comments (Atom)
My Blog List
-
You just witnessed an AlexNet moment in RAG because MaxSim is a Submodular Norm - This past week, The BrowseComp-plus benchmark was beaten by our R&D team and I believe this is an AlexNet moment for RAG. The first AlexNet moment occure...
-
The Puzzling Pleistocene - The mystery of why the last million or so years of glacial variability are so different to what came before just got more mysterious… It’s easy to unders...1 week ago
-
Reading the referee reports of that retracted paper by the science reformers: A peek behind the curtain - One interesting sidelight of the story of a much criticized and finally retracted article on replication in psychology is that we get to read some of the r...1 year ago
-
Highscalability is Up For Sale - Hi everyone, First, I’d like to sincerely thank everyone who has supported Highscalability over the years. We’ve grown together through some interesting...2 years ago
-
Notes on the Frank-Wolfe Algorithm, Part II: A Primal-dual Analysis - This blog post extends the convergence theory from the first part of my notes on the Frank-Wolfe (FW) algorithm with convergence guarantees on the primal...7 years ago
-
How do the world’s biggest drug companies compare, in their transparency commitments? - Here’s a paper, and associated website, that we launch today: we have assessed, and then ranked, all the biggest drug companies in the world, to compare th...8 years ago
-
Blog done moved - At first I was hesitant because of its handling of latex, but Rolf of Mathcination pointed out this excellent tool: latex-to-wordpress. So, from now on I w...11 years ago
-
THE END - In addition to being the best comedy TV show ever, Seinfeld was a great source of wisdom. In one episode, Jerry counsels George: “When you hit that high no...12 years ago
-
Low Cost Eye Tracking for Commercial Gaming: eyeAsteroids and eyeShoot in the Dark! - Latest update from Stephen Vickers and Howell Istance at the Centre for Computational Intelligence, De Montfort University who have been doing research and...
14 years ago -
-
-
Your Details
Cluster Map
No comments:
Post a Comment