Favicons?domain=homepages.inf.ed.achomepages.inf.ed.ac.uk

     
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.

Tweets about homepages.inf.ed.ac.uk

  • 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
  • RT @ttttamaki: Advanced Vision 2014: an online video lecture of advanced topics in computer vision by R. B. Fisher
  • @sinasamavati Thx! I also found this one interesting:
  • @ephrion1 What definition is your professor teaching, out of curiosity? Whenever I hear proposition, I now think:
  • @HTeuMeuLeu Merci beaucoup :) j'ai lu ça hier et j'ai ri :
  • Advanced Vision 2014: an online video lecture of advanced topics in computer vision by R. B. Fisher
  • RT @headinthebox: Nice list I would definitively add
  • RT @adamherout: Advanced Vision 2014 - looks like a nice computer vision video course!
  • Advanced Vision 2014 - looks like a nice computer vision video course!
  • RT @thomsonreuters: Stefano Albrecht ( from the University of Edinburgh discussed automated agents in financial mark…
  • Stefano Albrecht ( from the University of Edinburgh discussed automated agents in financial markets with our R&D team
  • RT @esumii: 誤:「PNG」→正「TNG」 TypeScriptにcontractを導入、JavaScriptをimportしたとき、実行時型エラーの原因を特定(blame)
  • 誤:「PNG」→正「TNG」 TypeScriptにcontractを導入、JavaScriptをimportしたとき、実行時型エラーの原因を特定(blame)
  • Perfect summary of my Android experience: "The problem XML solves is not hard and it does not solve it very well". (