--- a/msc-projects-14.html Sun Nov 09 22:00:31 2014 +0000
+++ b/msc-projects-14.html Sun Nov 09 22:12:13 2014 +0000
@@ -397,7 +397,7 @@
are small Linux computers the size of a credit-card and only cost £34 (see picture on the left below). They were introduced
in 2012 and people went crazy...well some of them. There is a
<A HREF="https://plus.google.com/communities/113390432655174294208?hl=en">Google+</A> community about Raspberry Pi's that has more
- than 172k of followers. It is hard to keep up with what people do with these small computers. The possibilities
+ than 177k of followers. It is hard to keep up with what people do with these small computers. The possibilities
seem to be limitless. The main resource for Raspberry Pi's is <A HREF="http://www.raspberrypi.org">here</A>.
There are <A HREF="http://www.themagpi.com">magazines</A> dedicated to them and tons of
<A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=39">books</A> (not to mention
@@ -456,9 +456,9 @@
<p>
<B>Skills:</B>
- Well, you must be a hacker; happy to make things. Your desk might look like on the photo on the left.
- The right photo shows an earlier student project which connects wirelessly a wearable Arduino (packaged
- in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino takes meaurements of
+ Well, you must be a hacker; happy to make things. Your desk might look like on the photo below on the left.
+ The photo below on the righ shows an earlier student project which connects wirelessly a wearable Arduino (packaged
+ in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the forground takes meaurements of
heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple
web-service.
<center>
@@ -470,11 +470,7 @@
</center>
</p>
-<li> <H4>[CU6] Generating Testcases from a Specification</H4>
-
-<li> <H4>[CU7] GPRS + GPS for Arduinos</H4>
-
-<li> <H4>[CU8] Language Translator into JavaScript</H4>
+<li> <H4>[CU6] Language Translator into JavaScript</H4>
<p>
<b>Description:</b>
@@ -517,7 +513,7 @@
-<li> <H4>[CU9] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
<p>
<B>Description:</B>
@@ -545,7 +541,7 @@
</p>
-<li> <H4>[CU10] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
+<li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
<p>
<B>Description:</B>
@@ -577,7 +573,7 @@
are some examples that explain how to implement exchanging messages between actors.
</p>
-<li> <H4>[CU11] Proving the Correctness of Programs</H4>
+<li> <H4>[CU9] Proving the Correctness of Programs</H4>
<p>
I am one of the main developers of the interactive theorem prover
@@ -624,7 +620,7 @@
</TABLE>
<P>
-<!-- hhmts start --> Last modified: Sun Nov 9 22:00:13 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov 9 22:11:58 GMT 2014 <!-- hhmts end -->
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
</BODY>
</HTML>