Kyriakos' Personal Blog

This is the last post on this blog!

2007-07-21T15:44:00.000+01:00

After 1 year of silence, I decided to create my own website.

My new webpage can be found at: http://kyriakos.anastasakis.net

and my new blog: http://kyriakos.anastasakis.net/blog

A simple program for subversion statistics (subvstats)

2006-07-03T02:30:00.000+01:00

Today I finished a beta version of a simple java program that collects the statistics from a subversion repository. I have created a website for the program: http://www.freewebs.com/subvstats/

It currently works by checking the whole history of the repository, finding how many lines have been added/removed in each file by using the "svn diff" command and creating an HTML report.
A sample of the report can be found here: http://www.freewebs.com/subvstats/samplereport.html

The program should work for relatively small repositories. As soon as I have time I will document it more and generate more statistics. And yes, I am thinking of making it opensource, but not in its current state. I first need to find some time to document the code properly and have a stable version.

Keywords: Subversion, statistics, package, tool, program, software, java, subvstats.

Microsoft Access parametric queries on Forms.

2006-05-29T14:58:00.000+01:00

For the past two days I have been working with MS Access to create an application. One of the features I wanted to create, was a parametric query that would take the value from a combobox on a form and create a report.

To be more precise I had a form with a combobox populate with IDs and names and when the user selected a specific item from the combo and clicked on a button I wanted to have a report that showed some information of related to the selected ID.

One way to do it is to create some vb code and create a select query with a "where" clause. But, that is not too flexible, caz if I want to change the query, I have to change the code.

Today I came across a more flexible solution. Parametric queries. I knew how to use parametric queries, but not in conjunction with forms. So if you want to create a parametric query related to a form, all you have to do in the query is define the parameter at the beginning like:

PARAMETERS [Forms]![formName]![ControlName] ParameterType;

In the where clause you also have to use the same notation. So for example:

where Id = [Forms]![formName]![ControlName]

and that's it!

Microsoft Access crashes when trying to create MDE file

2006-05-27T23:59:00.000+01:00

I was trying to convert an MS Access database I had developed to MDE. It was crashing every time I was trying to create the MDE file.

After some search on the internet I run across a Microsoft article that solved the problem for me.

The link is: http://support.microsoft.com/Default.aspx?scid=kb;en-us;814858&spid=2509&sid=98

What it says is:

WORKAROUND
To work around this problem, you can reload the VBA project of the Access database from text and then create the MDE file or the ADE file. To do this, follow these steps:

Note Make a backup copy of the database before you start these steps.
1. On the taskbar, click start and then click Run.
2. Type \msaccess.exe /decompile and then click OK.

Note is the path of the folder where Access is installed.
3. Open the original .mdb file or the original .adp file that you want to save as the new MDE file or the new ADE file.
a. Press ALT+F11 to open the Visual Basic Editor.
b. On the Debug menu, click Compile .
c. On the File menu click Save , and then close the Visual Basic Editor.
4. On the Tools menu, click Database Utilities and then click Make MDE File or click Make ADE File.
5. In the Save MDE As dialog box or the Save ADE As dialog box, locate the folder where you want to save the MDE file or the ADE file, type the file name in the File name box, and then click Save.

I tried it and it and it works like a charm! Apparently I had deleted some forms and there was some VBA code related to those forms that was still there. With the decompile option not only did I manage to create an MDE file, but I also reduced the size of the db by almost 1MB(!!) after I compacted it.

From now on I am going to use the /decompile option every time before I deploy a new version of access.

Using Alloy Analyzer to solve the first Google Davinci Code Quest puzzle!

2006-04-26T22:08:00.000+01:00

As I was searching for something on google, I saw an ad at the bottom of the page. The ad was about the Davinci code new movie that is coming out. I clicked and found a sudoku like puzzle, related to the movie. The puzzle is explained in the following two pictures (description can also be found on: http://student-rant.blogspot.com/2006/04/googles-da-vinci-code-quest-1.html)

Well… it is clearly a very simple problem for a constraint solver, like Alloy Analyzer! I created the following model (took me half an hour, so no comments or too much thought about it).

module test

open util/ordering[Natural] as ord

abstract sig Natural{}

one sig One extends Natural{}
one sig Two extends Natural{}
one sig Three extends Natural{}
one sig Four extends Natural{}

abstract sig Symbol{}

one sig Cross extends Symbol{}{}
one sig Fi extends Symbol{}{}
one sig Blade extends Symbol{}{}
one sig Star extends Symbol{}{}

sig Cell{
symbol: one Symbol,
rowIndex: Natural,
columnIndex: Natural,
inRange: Natural
}

fact Numbers{
ord/first() = One
ord/next(One) = Two
ord/next(Two) = Three
ord/last() = Four

}

pred defineRange(row:Natural,column:Natural,r:Natural){
all c:Cell |
c.rowIndex = row && c.columnIndex = column => c.inRange = r
}

fact DefineRange{
defineRange(One,One,Two)
defineRange(One,Two,One)
defineRange(One,Three,One)
defineRange(One,Four,One)
defineRange(Two,One,Two)
defineRange(Two,Two,Two)
defineRange(Two,Three,Three)
defineRange(Two,Four,One)
defineRange(Three,One,Four)
defineRange(Three,Two,Two)
defineRange(Three,Three,Three)
defineRange(Three,Four,Three)
defineRange(Four,One,Four)
defineRange(Four,Two,Four)
defineRange(Four,Three,Four)
defineRange(Four,Four,Three)
}

pred staticSymbols(row:Natural, column:Natural, s:Symbol){
all c:Cell |
c.rowIndex = row && c.columnIndex = column =>
c.symbol = s
}

fact{
staticSymbols(One,Four,Fi) &&
staticSymbols(Two,Two,Cross) &&
staticSymbols(Four,Two,Blade) &&
staticSymbols(Four,Three,Star)
}

// No two same symbols in the same Range
fact{
all disj c,c':Cell |
c.inRange = c'.inRange =>
c.symbol != c'.symbol
}

// All cells have different rowIndex and columnIndex
fact{
no disj c,c':Cell | (c.rowIndex = c'.rowIndex && c.columnIndex = c'.columnIndex)
}

//No two same symbols in the same row Column
fact{
all disj c,c':Cell |
c.rowIndex = c'.rowIndex =>
c.symbol != c'.symbol

all disj c,c':Cell |
c.columnIndex = c'.columnIndex =>
c.symbol != c'.symbol
}

pred solution(){
#Cell = 16
}

run solution for 16 Cell

Alloy Analyzer came up with a solution in 3 seconds, on the dual core 2GB RAM opteron server running linux!

The solution is the following one:

symbol= { (Cell_0 Blade_0) (Cell_1 Blade_0) (Cell_2 Blade_0) (Cell_3 Blade_0) (Cell_4 Fi_0) (Cell_5 Fi_0) (Cell_6 Fi_0) (Cell_7 Fi_0) (Cell_8 Cross_0) (Cell_9 Cross_0) (Cell_10 Cross_0) (Cell_11 Cross_0) (Cell_12 Star_0) (Cell_13 Star_0) (Cell_14 Star_0) (Cell_15 Star_0) }

rowIndex = { (Cell_0 One_0) (Cell_1 Two_0) (Cell_2 Three_0) (Cell_3 Four_0) (Cell_4 One_0) (Cell_5 Two_0) (Cell_6 Three_0) (Cell_7 Four_0) (Cell_8 One_0) (Cell_9 Two_0) (Cell_10 Three_0) (Cell_11 Four_0) (Cell_12 One_0) (Cell_13 Two_0) (Cell_14 Three_0) (Cell_15 Four_0) }

columnIndex = { (Cell_0 One_0) (Cell_1 Four_0) (Cell_2 Three_0) (Cell_3 Two_0) (Cell_4 Four_0) (Cell_5 Three_0) (Cell_6 Two_0) (Cell_7 One_0) (Cell_8 Three_0) (Cell_9 Two_0) (Cell_10 One_0) (Cell_11 Four_0) (Cell_12 Two_0) (Cell_13 One_0) (Cell_14 Four_0) (Cell_15 Three_0) }

It is quite straightforward! The symbol of Cell_0 is Blade, its row is One and column One. The symbol of Cell_1 is Blade again, he row is Two and Column Four etc.

The symbol names are not related to the movie or book symbol names. In my model Blade is the pyramid like shape, Fi is the Greek letter fi, Cross is the symbol that looks like a cross and Star is the symbol that looks like a star. I know that I spent half an hour to solve a problem that would have taken me around 10 minutes to solve manually, but as a proper nerd I prefer to use my (few) grey cells to think how to use a computer to solve a problem for me, instead of solving the problem myself.

Well.. that’s it! I don’t want to spend more than 1 hour on this!

There are a couple of blogs with solutions to the puzzles.
Links to solutions:
http://student-rant.blogspot.com/2006/04/warning-solution-to-google-da-vinci.html
http://googlefact.blogspot.com/

UPDATE: I used the model on my P4 running @ 2.8G with 712 MB ram and took AA 23 seconds to solve the problem. Not bad at all! But for bigger problems the state space will be increased by too much. Looks like an AI technique should be used to find a solution.

Weird files (advertismen.com and pushowXX.dll)

2006-04-17T11:58:00.000+01:00

Last night I found on a P2P network an exe file that was supposed to be a screensaver. Well...yes I did double click! It gave me a usual "do you want to proceed with the installation?" window and I said yes! Well... that was it! It finished the installation, but I could not find any new screen saver on the control panel or anywhere else. Weird isn't it?

Now, I downloaded a trial version of Ashampoo Uninstaller platinum to see the changes the installation made to my system. I installed Ashampoo and run the "screensaver" installer again. This time I noticed that somewhere in the text of the terms and conditions a company named "ADVERTISMEN.COM" appeared. Tried to google it but wasn't lucky. I also did a DSN lookup of the url and found out that the domain name was registered on the 5th of April of 2006. Is it a new spyware?

Well, after the installation was finished, Ashampoo generated a log file, which showed that the install.exe had installed two files in the windows/system32 folder. The files were called pushow67.dll and pushow55.dll. I used DLL Export Viewer to find out that they exposed one interface called "Uninstall". It also created a registry key under: HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\ called "UninstallString" with value: rundll32.exe C:\WINNT\system32\pushow55.dll Uninstall

It also created another key under: HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows NT\CurrentVersion\Windows called AppInit_DLLs. The value was pushow55.dll.

All this is weird! I deleted the files and the registry entries, run ad-aware and spybot and they didn't find anything. Finally I logged to my online banking system (didn't enter my real credentials though) running Etheral. After inspecting the packets I didn't find anything alarming.

Well... I am not sure if it is a new spyware, Trojan or something, but I know I should have thought twice before running that bloody exe file. Now I just hope I have cleaned my system from whatever it was!

At last a new monitor!

2005-12-20T09:09:00.000Z

Well... I am so excited! It's 9:00 am and I am typing into my blog. I got a new 19'' monitor, which I am now using as an external monitor for my laptop.

My laptop's lcd screen got completely screwed up over the last days. It's full of blank horizontal lines. After a quick market research it seems that a new one (even a used one) would have cost me around Â£200, which is quite a lot for a 15'' lcd screen. So... I decided to get a new external 19'' monitor to use with my laptop for Â£175.

I got a Yusmart 198QP LCD monitor. It's... big! It's a wonder how both the monitor and the laptop fit on my tiny desk. I got two pictures, one of the desk and one of the monitor. The quality of the picture is acceptable and I can now have 1280x1024 resolution, which means I can see more text while I type (or program).

At last I can now work from home! (Well... the desk is still too small and the house does not inspire me to study, but I have that option when I want to program, check or type emails etc).

My desk with both the monitor and the laptop.

The new monitor!

The only problem I am having is that it has around 20 cm depth, which means that it's too close to my eyes when I sit on the chair to type. I will see if I find a solution to that problem soon.

Regarding the rest of the news these days... I will post an update!

Wow!!

2005-10-17T20:06:00.000+01:00

Things back home are getting a bit rough! They had two 6R earthquakes (one at 8:45 in the morning and another one at around noon), but I just read on naftemporiki that a possible bird flu incident has appeared at Aignousa. I suppose it's a bit too much news for a day.

Yesterday we were supposed to play basketball for the IMS league but the medics did not even show up, so we just trained for a while! It was really fun!

I also established a rough timetable for each day of the week and try to follow it. It seemed to work well today, though I had a rather big break after 16:00. Tomorrow the whole day is assigned to demonstrating tasks. We have a meeting at 10 in the morning and then lab sessions. I am planning to go to the city centre to watch Panathinaikos against Barcelona. It should be a nice game and if we lose by less than 5 goals... I am happy!

Researchwise I have started writing rigorous transformation rules from OCL to Alloy in the ATL language. I am going to define the rules for a very small subset of OCL initially and then implement them to a tool. Right now I am just too tired to write about anything! Going home to relax.

A very very lazy Saturday...

2005-10-08T15:40:00.000+01:00

Well... even though I did absolutely nothing the whole week, I am still not planning to do anything today. In the morning I met again my flatmate from Jarratt (while I was staying over there two years ago). He came back from China for a while and I saw him again after almost 1 year. It is great to see people from the past.

I am also going to play basketball at 16:00 and then go home, have a shower and go to the GR with Thanos, Elias and Philipp to watch the Greece-Denmark game. That means no work today! Well.. tomorrow I have to get back to heavy research business, otherwise I will start getting stressed, which is not good!

In the morning I was woken up by Telewest. After that I tried to sleep a bit, but couldn't really and I saw some of the most weird dreams I had ever seen! Anyway... I off to basketball... I just hope it stops raining... it's been raining like hell for the past 2 hours and it's gonna be difficult to go out...

The end of a very busy week...

2005-10-07T16:48:00.000+01:00

This is the end of a quite busy week. The bottomline of this week is that there was no or little progress with research, as I had other issues to take care of. Had to register for the new term, give 2 lectures, demonstrate at the labs and take vivas. I honestly can not understand how time flies like that. It seems like yesterday as the previous week was coming to an end. Well.. in more details...

On Monday I started preparing for Tuesday's lecture on the Foundations of Computer Science. On Tuesday I had the meeting for SSC1 and in the afternoon I had to demonstrate at the labs. So there goes 2 days. In the evening I also had to prepare for Wednesday's lecture. Not so many people turned up, so I guess they didn't like the first one on Tuesday. :) Then I went home and had to sleep. On Thursday morning I had quite a lot of sleep and then came to the uni for the labs sessions. Today, in the morning I had to stay in and wait for the technicians to come and fix the gas boiler. They didn't for another time, claiming that their dealer didn't have the spare parts they were supposed to get. So we rearranged the appointment for the coming Wed. morning.

I also paid the tuition fees this week. Â£3085! I have filled in the form to ask for the receipt, so as to send it back to IKY and get back the money. I hope I get it back soon!

I also booked the tickets for the Dio concert on Friday the 21rst. I hope it's gonna be fun!

No work today...

2005-09-30T15:51:00.000+01:00

Well.. today it's been a weird day. I had to wake up at 7:00 am local time in order to call a foundation in Greece at 9:00 am Greek time. That means I didn't sleep much, I have a terrible headache and I am feeling sleepy all day long! I will be heading home in a short while.

I am also going to give some lectures on Tues. and Wed. and I have to prepare for those as well over the weekend, so I am expecting a quite busy weekend.

Researchwise I will try to use the latest QVT to define the transformation rules. We will see how this goes.

Busy days.

2005-09-27T18:12:00.000+01:00

The past days have been quite busy. On Thursday and Friday I had been at the desk of the Hellenic Society at the freshers fair. Some pics can be found at: http://students.bugs.bham.ac.uk/hellenic/portal/boxx/knowledgebase.asp?Type=4&Cat=18

We signed up some 30+ members. We also decided to have a basketball team on the IMS. The team is called Greece'2005 after our national team won the Eurobasket 2005. That was a great event!

I am also back to research. Feel quite fresh and productive after 2 weeks of holidays. I wish I had more (I think I've said that before). I also had my first session as a demonstrator of SSC1 a while ago. As it was the first day, not so many people turned up, so things were quite relaxed. Having a snack break and going to watch Panathinaikos against Bremen. I am sure we won't win (not to mention lose) but I am too bored to work and I want to see how bad the team will play.

Back from holidays!

2005-09-23T17:59:00.000+01:00

I am back after two weeks of holidays. It was great. Just great! Had lot's of rest, ouzo and food. The weather was great. Sunny and warm. Didn't go swimming, but still... it was very nice and relaxing. Some pics:

My father outside the house.

My mom preparing a very nice barbecue.

Now back to work. The new term starts on Monday and a really busy winter is waiting for me! That's it... can't write more! Have to get used to the laptop and long hours in the office again.

Preparations...

2005-09-06T22:48:00.000+01:00

Well... looks like the preparations for the holidays are quite demanding! I have to clean the desk at the office, clean the house, pack my staff and take care of a couple of other bureaucratic details and install the new hdd at last!

I booked the tickets for the coach today. The return trip is going to be a mess. I will be arriving at Heathrow at 21:00 and the only coach available is at 23:59. I will be arriving home at 03:00 and I will have to wake up at 08:30.

On the outbound trip, I will be leaving Athens on the 9th after all. That gives me 11 days at the island. It should be enough to be bored to death...

P.S. I still haven't received feedback for the first item I sold on eBay.

Holidays at last!

2005-09-05T18:04:00.000+01:00

At last after some months, I am officially on holidays, since Friday!

I booked the tickets and I am leaving on Thursday! I will probably stay in Athens for a couple of days and then go back home. I'll be coming back on the 21st, hopefully with recharged batteries.

I had a very nice surprise party by Philipp and Arjun yesterday. Unfortunately I didn't have any my camera at home in order to take a picture of the great cake! Well, we spent the whole day doing nothing...we should do it more often!

Even though I am on holidays, I also organise the data in my hard disk, in order to install the new one I bought.

P.S. Some pics from Norway as promised:

Overview of Trondheim from a hill close to the hotel.

A bear in the hotel.

The river that passes through the city. Wonderful view.

Back from Norway!

2005-08-31T22:37:00.000+01:00

I am back from the conference in Norway. Haven't posted in many days, so I guess a lot of news.

Trondheim is a very nice place and apart from the fact I caught a cold and my presentation was not exactly up to my expectations (well.. I suppose a cold is a good excuse) , the rest were fine. There were some really nice talks and it proved to me that not all research is just theory, which is a very very good thing. Pics will follow.

I also bought a nice WD Scorpio 80GB 2.5'' HDD for my laptop from dabs today. I will replace the one that I currently have in my laptop and the old one will be used as an external backup disk.

P.S. Forgot to mention that I sent my first item sold on ebay yesterday. It was a memory module from my laptop, that I removed because of an upgrade. Sold for ~10 pounds + 3.5 pounds for the package, is not bad at all. I hope it reaches the buyer safe (well... the packaging is not exactly professional) and the feedback left is good. The next item I might be selling is the that voice I got and rarely used (why did I buy it in the first place then)?

Ebay!

2005-08-19T19:33:00.000+01:00

Today I made my first listing as a seller on Ebay. I decided to sell my spare laptop memory module. It’s really easy to do it and it does not take so much time at all! It starts at 0.99 pounds. Let's see how much money I am going to make on this...

Started at last!

2005-08-09T19:01:00.000+01:00

At last after the admin jobs, I have started writing the thesis proposal. I’ve already reached 1000 words. Well… if I keep up like that I should be able to finish it in 15 days. I know this is not going to happen, but I want to finish it ASAP.

I am finishing work early today. Now going to watch football for the qualifying of the CL (Visla-PAO).

No more time to waste!

2005-08-08T22:33:00.000+01:00

Well! For the past days I have been engaged with details of the IKY report and the trip to Norway, that I have literally made ZERO progress on the thesis proposal and the research.
From tomorrow I am starting serious work (from the morning) on the thesis proposal. I also have to send out emails to arrange a date. And it is going to be SOON!

I was also looking for an 80 GB 2.5'' hdd to use for backing up purposes now that my laptop is dying. I made bids on 2 items on ebay, but no luck. I am still trying! I was also looking for a new laptop. It seems that they are a bit expensive and I will have to wait at least until Xmas. I would also start searching for a part time job more actively.

I also decided that I should start studying for the Java Certification. The target date I should be ready is Xmas.

Back to the gym day!

2005-08-03T19:10:00.000+01:00

After 2 weeks or so we are starting again to regularly back to the gym. Weds and Sundays.

Apart from that I received today a mysterious email from a company asking for my details regarding a senior developer post in C. I don’t think my profile fits their needs, but I will send my details anyway.

Also my scepticism about the domain registration company is growing bigger. I was informed that someone sent an email to the anastasakis.net address three days ago, but I still haven’t received! Looks like I am moving to another company!

That’s it. I am already late for the gym and the rest are going to kill me!

Hello!

2005-07-21T15:10:00.000+01:00

Hello there! This is my first blog post for this blog!