Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about AOL search database scandal or view research papers on web searching.
| University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. |
URLs from homepages.inf.ed.ac.uk:
URL: http://homepages.inf.ed.ac.uk/amos/belief.html
URL: http://homepages.inf.ed.ac.uk/s0450736/maxent_toolkit.html
URL: http://homepages.inf.ed.ac.uk/amos
URL: http://homepages.inf.ed.ac.uk/jmoore
URL: http://homepages.inf.ed.ac.uk/amos/hough.html
URL: http://homepages.inf.ed.ac.uk/rni
URL: http://homepages.inf.ed.ac.uk/bundy
URL: http://homepages.inf.ed.ac.uk/jcb
URL: http://homepages.inf.ed.ac.uk/rbf
URL: http://homepages.inf.ed.ac.uk/alex
URL: http://homepages.inf.ed.ac.uk/graeme
URL: http://homepages.inf.ed.ac.uk/dts
URL: http://homepages.inf.ed.ac.uk/als
URL: http://homepages.inf.ed.ac.uk/cps
URL: http://homepages.inf.ed.ac.uk/stark
URL: http://homepages.inf.ed.ac.uk/wadler/topics/monads.html
URL: http://homepages.inf.ed.ac.uk/wadler/realworld
URL: http://homepages.inf.ed.ac.uk/dts/eml
URL: http://homepages.inf.ed.ac.uk/bundy/projects/95-96/msc-project-proposal-bridge-double-dummy.html
URL: http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html
Tweets about homepages.inf.ed.ac.uk
- RT @bitemyapp: Arrows and Applicatives
- Arrows and Applicatives
- ワドラーさんが「XMLプログラミング言語」を（冗談だか本気だかわからんが）提案してたプレゼンってこれだったか(PDF注意)
- RT @bigdata_SFU: #bigdata can be funny! Check out how two researchers from the University of Edinburgh generated jokes using bigdata: http:…
- Great meeting yesterday on cloud automation... https://t.co/MDXjNguNp7 slides by Paul Anderson here
- RT @ggdaniel: "NASA Manager Handbook for Software Development" #Developers #software
- RT @GordonAikman: I've recorded mine. Why not donate yours? The more voices the better. Register: #MND
- I like my relationships like I like my source, open. A joke by an unsupervised learning algorithm;) interesting paper
- ssreflectのsemanticsってこれかな？
- "NASA Manager Handbook for Software Development" #Developers #software
- @ClarissaAdjoint Wadler's 'Propositions as Sessions' is a bit like that, for linear sequent calculus
- #bigdata can be funny! Check out how two researchers from the University of Edinburgh generated jokes using bigdata:
- Wadlerが作ったのはLinksだが、LINQの研究もしていてややこしい？ 論文合宿、やりますか？ @khibino @yuga
- RT @InfAtEd: Informatics News: RAE 2008 results What news will December 18th bring this year?
- RT @soulpunkpixie: Consider donating your voice to help those who lose theirs such as with #MND /#ALS .Please read.
- Informatics News: RAE 2008 results What news will December 18th bring this year?
- Consider donating your voice to help those who lose theirs such as with #MND /#ALS .Please read.
- I've recorded mine. Why not donate yours? The more voices the better. Register: #MND
- Settlers of Catan x violations of Gricean maxims
- RT @SmartTypes: Nice tutorial on maximum entropy modeling (MaxEnt) --
- finally getting around to reading about Combinatory Categorial Grammar
- RT @RandomlyWalking: #NIPS2014 time travellers should check out our poster yesterday on super efficient geometric Hamiltonian Monte Carlo h…
- RT @Victor_Lavrenko: Basics of Machine Learning (60 mini-lectures on one page):
- RT @Victor_Lavrenko: 100 topics in search engines
- #NIPS2014 time travellers should check out our poster yesterday on super efficient geometric Hamiltonian Monte Carlo
- @thoughtworks thanks for this link
- For formal paper writing: Some practical tips
- RT @RandomlyWalking: Or if not at #NIPS2014 (or dislike talking to us) see our work on energy disaggregation and prior knowledge here http:…
- Or if not at #NIPS2014 (or dislike talking to us) see our work on energy disaggregation and prior knowledge here
- RT @bea_alex: #HDHD Find the slides from my talk here:
- @x86_64 画像メディア工学・モルフォロジのアレ
- @AndreasMoser007 ...which reminds me somewhat of the following Dilbert Cartoon:
- RT @etorreborre: Recursive data types for free! (draft by Philip Wadler)
- Recursive data types for free! (draft by Philip Wadler)
- @chee1bot You can try this:
- The Marriage of Effects and Monads
- @carl_schmidt
- RT @silverSpoon: Thanks @ScottWlaschin for this this awesome paper suggestion for the flight back home #ndclondon
- Thanks @ScottWlaschin for this this awesome paper suggestion for the flight back home #ndclondon
- Great new book: (scaling and skewing), including the projective. The semantics of the ... #getreads #book:
- History of logic and programming languages has a huge pile of tasty papers to read
- @baogorek @Billare
- Wadler's exposition of the Curry-Howard Isomorphism and its history is really nice
- RT @deanwampler: Reading @PhilipWadler's "Propositions as Types", as one does on a Saturday morning.
- "Lambda calculus, should not only be known by aliens throughout our universe, but also throughout others"
- Reading @PhilipWadler's "Propositions as Types", as one does on a Saturday morning.
- RT @pepsin_amylase: Unsupervised joke generation from big data (ACL 2013) の日本語版実装したけど思ったより全然面白くならなかった。
- "Curry-Howard is a double-barrelled name that ensures the existence of other double-barrelled names."
- Unsupervised joke generation from big data (ACL 2013) の日本語版実装したけど思ったより全然面白くならなかった。
- @ploeh Indeed, it's a crowded term. Forward-thinking JavaScript: and