Computer Laboratory: Yimai Fang
Fang, Yimai I am a final year PhD student in the Natural Language and Information Processing (NLIP) group at the University of Cambridge Computer Laboratory. My work on automatic summarisation involves modelling many phenomena central to human's text comprehension process, such as the overlap of participating concepts, and the addition, the representation, and the selection of knowledge in memory.
Department of Computer Science and Technology – Raspberry Pi: Baking Pi – Operating Systems Development
This course has not yet been updated to work with the Raspberry Pi models B+ and A+. Some elements may not work, in particular the first few lessons about the LED. It has also not been updated for Raspberry Pi v2. Welcome to Baking Pi: Operating Systems Development! Course by Alex Chadwick. This website is here to guide you through the process of developing very basic operating systems on the Rasp
Code and resources for "Handbook of Practical Logic and Automated Reasoning"
Code and resources for "Handbook of Practical Logic and Automated Reasoning" The code available on this page was written by John Harrison to accompany his textbook on logic and automated theorem proving, published in March 2009 by Cambridge University Press. For more information about the book, click the picture on the right. As well as the code, this page includes links to other relevant resource
Computer Laboratory: Capsicum: practical capabilities for UNIX
Capsicum is a lightweight OS capability and sandbox framework developed at the University of Cambridge Computer Laboratory, supported by grants from Google, the the FreeBSD Foundation, and DARPA. Capsicum extends the POSIX API, providing several new OS primitives to support object-capability security on UNIX-like operating systems: capabilities - refined file descriptors with fine-grained rights c
John Harrison
John Harrison Amazon Web Services 1455 SW Broadway, Suite 1300 Portland, OR 97201 USA My book code now has an F# version and the interactive part has an SML version Thanks to Eric Taucher, Jack Pappas, Anh-Dung Phan, Anders Schlichtkrull and Jørgen Villadsen. I am a member of the Automated Reasoning Group at Amazon Web Services, after being previously at Intel Corporation. I'm interested in all as
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml Labs
Index of /~jrh13/atp/OCaml
http://www.cl.cam.ac.uk/~lp15/papers/Reports/blast-slides.pdf
blast.tex