--- a/bsc-projects-14.html Sat Jan 28 06:40:19 2017 +0000
+++ b/bsc-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 BSc 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">
@@ -107,7 +107,7 @@
about the problem much longer than a single afternoon. The task
in this project is to find out how good they actually are by implementing the results from their paper.
Their approach is based on the concept of derivatives.
- I used them once myself in a <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">paper</A>
+ I used them once myself in a <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/rexp.pdf">paper</A>
in order to prove 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 “blow away” the regular expression matchers
@@ -462,10 +462,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>
@@ -595,7 +595,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
@@ -613,9 +613,9 @@
<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://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>
</ul>
</TD>
</TR>