Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
msc-projects-14.html
changeset 465 4dac76eb27d9
parent 360 ee9b4674113a 
--- a/msc-projects-14.html	Sat Jan 28 06:40:19 2017 +0000
+++ b/msc-projects-14.html	Sat Jan 28 07:17:00 2017 +0000
@@ -2,7 +2,7 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 <HEAD>
 <TITLE>2014/15 MSc Projects</TITLE>
-<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">
+<BASE HREF="http://nms.kcl.ac.uk/christian.urban/">
 <script type="text/javascript" src="striper.js"></script>
 <link rel="stylesheet" href="nominal.css">
 <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
@@ -111,7 +111,7 @@
   in this project is to find out how good they actually are by implementing the results from their paper. 
   Their approach to regular expression matching is also based on the concept of derivatives.
   I used derivatives very successfully once for something completely different in a
-  <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">paper</A> 
+  <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A> 
   about the <A HREF="http://en.wikipedia.org/wiki/Myhill–Nerode_theorem">Myhill-Nerode theorem</A>.
   So I know they are worth their money. Still, it would be interesting to actually compare their results
   with my simple rainy-afternoon matcher and potentially &ldquo;blow away&rdquo; the regular expression matchers 
@@ -467,10 +467,10 @@
   web-service.
   <center>
   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
-  "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-photo.jpg" width="209" height="313">
+  "src="http://nms.kcl.ac.uk/christian.urban/rpi-photo.jpg" width="209" height="313">
 
   <img style="-webkit-user-select: none; cursor: -webkit-zoom-in;
-  "src="http://www.inf.kcl.ac.uk/staff/urbanc/rpi-watch.jpg" width="450" height="254">
+  "src="http://nms.kcl.ac.uk/christian.urban/rpi-watch.jpg" width="450" height="254">
   </center>
   </p>
 
@@ -553,7 +553,7 @@
  for an explanation what happened).
  We were able to prove the correctness of this algorithm, but were also able to
  establish the correctness of some optimisations in this
- <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">paper</A>.
+ <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">paper</A>.
  </p>
 
  <p>On a much smaller scale, there are a few small programs and underlying algorithms where it
@@ -605,10 +605,10 @@
 <li> <H4>Earlier Projects</H4>
 
  I am also open to project suggestions from you. You might find some inspiration from my earlier projects:
- <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-12.html">BSc 2012/13</A>, 
- <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-12.html">MSc 2012/13</A>, 
- <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/bsc-projects-13.html">BSc 2013/14</A>
- <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/msc-projects-13.html">MSc 2013/14</A> 
+ <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-12.html">BSc 2012/13</A>, 
+ <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-12.html">MSc 2012/13</A>, 
+ <A HREF="http://nms.kcl.ac.uk/christian.urban/bsc-projects-13.html">BSc 2013/14</A>
+ <A HREF="http://nms.kcl.ac.uk/christian.urban/msc-projects-13.html">MSc 2013/14</A> 
  
 </ul>
 </TD>
public_html