1![QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank QueryPIE: Backward reasoning for OWL Horst over very large knowledge bases Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.urbani, frank](https://www.pdfsearch.io/img/7b844ae0711a4eed8c4f3055e12f0b0d.jpg) | Add to Reading ListSource URL: iswc2011.semanticweb.orgLanguage: English - Date: 2011-09-14 09:55:07
|
---|
2![M ASTER P ROJECT C OMPUTER S CIENCE ElViC: Malleable MPI with Virtual Machines Supervisor: Prof. Dr. Ir. Henri BAL M ASTER P ROJECT C OMPUTER S CIENCE ElViC: Malleable MPI with Virtual Machines Supervisor: Prof. Dr. Ir. Henri BAL](https://www.pdfsearch.io/img/45a3e689cb43ba018e331f387720b42b.jpg) | Add to Reading ListSource URL: gitlab.comLanguage: English |
---|
3![Computer science / Real-time computing / Parallel computing / Computing / Year of birth missing / ASCI Red / Henri Bal / Distributed computing / Peer-to-peer Computer science / Real-time computing / Parallel computing / Computing / Year of birth missing / ASCI Red / Henri Bal / Distributed computing / Peer-to-peer](/pdf-icon.png) | Add to Reading ListSource URL: www.asci.tudelft.nlLanguage: English - Date: 2013-10-11 05:54:22
|
---|
4![The First 16 Years of the Distributed ASCI Supercomputer Henri Bal Vrije Universiteit Amsterdam COMMIT/ The First 16 Years of the Distributed ASCI Supercomputer Henri Bal Vrije Universiteit Amsterdam COMMIT/](https://www.pdfsearch.io/img/1a631b7b0618ea30a059d96cffbbcf10.jpg) | Add to Reading ListSource URL: www.asci.tudelft.nlLanguage: English - Date: 2013-03-12 07:49:47
|
---|
5![Towards Big Bi l gy High-performance verification of large concurrent systems Elż bi Towards Big Bi l gy High-performance verification of large concurrent systems Elż bi](https://www.pdfsearch.io/img/a32b108ad5c8828592d8cd501110474b.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2012-09-06 08:35:26
|
---|
6![Experiences with Fine-grained Distributed Supercomputing on a 10G Testbed Kees Verstoep, Jason Maassen and Henri E. Bal Dept. of Computer Science, Faculty of Sciences Vrije Universiteit, Amsterdam, The Netherlands {verst Experiences with Fine-grained Distributed Supercomputing on a 10G Testbed Kees Verstoep, Jason Maassen and Henri E. Bal Dept. of Computer Science, Faculty of Sciences Vrije Universiteit, Amsterdam, The Netherlands {verst](https://www.pdfsearch.io/img/81681df03b7ae4df606e71ae90b5946b.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2008-04-29 17:26:20
|
---|
7![Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with: Efficient Large-Scale Model Checking Kees Verstoep [removed] VU University, Amsterdam, The Netherlands Joint work with:](https://www.pdfsearch.io/img/c5c4643113b02c48a509a62576e0e81a.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2010-01-15 15:41:39
|
---|
8![Cluster Communication Protocols for Parallel-Programming Systems ¨ KEES VERSTOEP, RAOUL A. F. BHOEDJANG, TIM RUHL, HENRI E. BAL, and RUTGER F. H. HOFMAN Vrije Universiteit Cluster Communication Protocols for Parallel-Programming Systems ¨ KEES VERSTOEP, RAOUL A. F. BHOEDJANG, TIM RUHL, HENRI E. BAL, and RUTGER F. H. HOFMAN Vrije Universiteit](https://www.pdfsearch.io/img/2a9576104db837b29e091c2743c1cc19.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2005-02-17 06:11:21
|
---|
9![Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences](https://www.pdfsearch.io/img/bda3849fad04b78618c13bdb4a919c8b.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2009-02-12 11:31:56
|
---|
10![OWL reasoning with WebPIE: calculating the closure of 100 billion triples Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j. OWL reasoning with WebPIE: calculating the closure of 100 billion triples Jacopo Urbani, Spyros Kotoulas, Jason Maassen, Frank van Harmelen, and Henri Bal Department of Computer Science, Vrije Universiteit Amsterdam, {j.](https://www.pdfsearch.io/img/211908a563bdef5298f1d0bebd2f4593.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2010-03-18 08:38:42
|
---|