Isabelle
What is Isabelle? Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Isabelle was originally developed at the University of Cambridge and Technische Universität München, but now includes numerous contributions from institutions and individuals worldwide. See the Isabelle ov
Names and Symmetry in Computer Science
Names and Symmetry in Computer Science Andrew Pitts Computer Laboratory LICS 2015 Tutorial 1/27 An introduction to nominal techniques motivated by Programming language semantics Automata theory Constructive type theory 2/27 Compositionality in semantics The meaning of a compound phrase should be a well-defined function of the meanings of its constituent subphrases. Although one can define behaviour
Xvnc - the X-based VNC server
Make sure you've read 'Getting Started' for introductory information. Xvnc is the Unix VNC server, which is based on a standard X server. Applications can display themselves on it as if it were a normal X display, but they will actually appear on any connected VNC viewers rather than on a physical screen. So Xvnc is really two servers in one. To the applications it is an X server, and to the remot
Professor Stephen Hawking 1942-2018
Friends and colleagues from the University of Cambridge have paid tribute to Professor Stephen Hawking, who died on 14 March 2018 at the age of 76. Widely regarded as one of the world’s most brilliant minds, he was known throughout the world for his contributions to science, his books, his television appearances, his lectures and through biographical films. He leaves three children and three grand
Meet the robot avatars helping Cambridge students combine education and motherhood
Meet the robot avatars helping Cambridge students combine education and motherhood They are 40cm tall, made of white plastic, and don’t look like your average students, but robot avatars have taken their place in the classroom at Cambridge University – to help two mothers with new-born babies continue their Masters degrees in Genomic Medicine. Neeta Lakhani and another fellow student are NHS profe
Education catapult - News & insight - Cambridge Judge Business School
FT Responsible Business Education Awards: 2 wins for Cambridge Judge Purpose of Finance course wins top Teaching award and a study on paedophile hunters wins Academic Research award, while Cambridge Judge is Highly Commended for School-wide activities in the Financial Times awards for business education responsibility and impact.
Gillian Griffiths — Cambridge Institute for Medical Research
Control of secretion at the immunological synapse Cells of the immune system protect the body against pathogens. If cells in our bodies are infected by viruses, or become cancerous, then killer cells of the immune system identify and destroy the affected cells. Cytotoxic T cells (CTLs) are very precise and efficient killers. They are able to destroy infected or cancerous cells, without destroying
chapters.dvi
Chapter 13 Structure from motion 13.1 Introduction In this chapter and the next, we will describe tools and techniques for obtain- ing information about the geometry of 3D scenes from 2D images. This task is challenging because the image formation process is not generally invertible: from its projected position in a camera image plane, a scene point can only be recovered up to a one-parameter ambi
Functioning ‘mechanical gears’ seen in nature for the first time
Previously believed to be only man-made, a natural example of a functioning gear mechanism has been discovered in a common insect - showing that evolution developed interlocking cogs long before we did. The juvenile Issus - a plant-hopping insect found in gardens across Europe - has hind-leg joints with curved cog-like strips of opposing ‘teeth’ that intermesh, rotating like mechanical gears to sy
Microsoft PowerPoint - 11a-cons-tx [Compatibility Mode]
Consistency in Distributed Systems Recall the fundamental DS properties – DS may be large in scale and widely distributed 1. concurrent execution of components 2. independent failure modes 3 t i i d l 3. transmission delay 4. no global time Consistency is an issue for both: li d bj • replicated objects • transactions involving related updates to different objects (recall ACID properties) We first
Statements from the University of Cambridge about the death of Giulio Regeni
Home News Statements from the University of Cambridge about the death of Giulio Regeni Statement from the University on the death of Giulio Regeni and malicious allegations made about the conduct of Dr Maha Abdelrahman, 14 December 2020 Almost five years since the death of Giulio Regeni, a PhD student at our university, Italian prosecutors have gathered enough evidence to charge four Egyptian offi
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.hep.phy.cam.ac.uk/~gripaios/gft_lecture_notes.pdf
https://www.cl.cam.ac.uk/~sps32/ECRYPT2011_1.pdf
http://www.statslab.cam.ac.uk/~nickl/Site/__files/stat2013.pdf
Darkness Visible Homepage - A resource for studying Milton's Paradise Lost
https://www.cl.cam.ac.uk/~gw104/relative-pseudomonads.pdf
https://www.dpmms.cam.ac.uk/~jg352/pdf/CT13Sydney.pdf
“Our weapon is public opinion”.pdf)
https://www.dpmms.cam.ac.uk/~jg352/pdf/Notes%20on%20Adjunctions,%20Monads%20and%20Lawvere%20Theories(Filip).pdf
http://mlg.eng.cam.ac.uk/yarin/thesis/thesis.pdf