As usually the ACM's Turing Award winner is announced in February, I decided to do a list of possible recipients:
-Alain Colmerauer - Logic Programming, Constraint Logic Programming, Machine Translation - 198X
-Bruce Lucas, Takeo Kanade - Computer Vision - 198X
-Czeslaw Bylinski - Formal Methods - 198X
-David Parnas - Object Orientation - 197X
-Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides - Design Patterns - 199X
-Gordon Plotkin - Operational Semantics - 197X
-Howard Cunningham - Design Patterns, Wiki, Extreme Programming - 199X
-John Alan Robinson - Automated Theorem Proving, Logic Programming - 198X
-Kent Beck - Extreme Programming, Design Patterns, Test-driven development - 199X
-Michael Gelfond, V Lifschitz - Logic Programming - 198X
-Peter Chen - Entity-Relationship, Computer-Aided Software Engineering - 197X
-Richard Sutton - Reinforcement Learning - 198X
-Ross Quinlan - C4.5, ID3 - 198X
-Rudolf Bayer - B-tree -197X
Do you have any guesses?
Today's lunch time seminar was given by Gianna Del Corso on "Evaluating scientific products by means of citation-based models". Here goes the abstract:
The problem of research evaluation is becoming very important . In fact, the number of scientific journals and the number of papers published is increasing at an almost exponential rate. The size and grown of research literature places a tremendous burden on research. For example, it is becoming common to rely on search engines such as {tt Google Scholar} to choose what to read or what to cite. This burden doesn't only affects researchers but also funding agencies, university administrators and even reviewers who are called on to evaluate productivity of researchers and institutions.
Most of the time it is however impossible to give an in-depth evaluation of the research performed by a scholar and it is becoming more and more popular to use indirect indicators of quality.
In this talk, we first give a quick review of the most used numerical indicators, and then we present new models for ranking scientific publications together with authors and journals. Our models rely on certain adjacency matrices obtained from the relations of citation, authorship and publication, which concur to form a suitable irreducible stochastic matrix whose dominant eigenvector provides the ranking. Some perturbation theorems concerning the dominant eigenvector of nonnegative irreducible matrices are discussed. These theoretical results provide a validation of the consistency and effectiveness of our models. Several paradigmatic examples are reported together with some results obtained on a real set of data.
I you're interested, here are the slides and the paper:
D. A. Bini, G. M. Del Corso, F. Romani. "Evaluating Scientific Products by means of Citation-Based Models: a first Anaysis and Validation" Electronic Transactions on Numerical Analysis, Vol. 32, pp. 1--16, 2008.
A pedido de muitas famílias, nomeadamente a minha, aqui vão algumas fotografias do departamento, do meu gabinete e uma surpresa para os fãs do falador por bips e ruídos favorito de toda a gente.
Everybody knows that having the right tools has key importance on getting things done. Although we know this, sometimes we are lazy and avoid the overhead of reusing or developing this and that, here and there.
There is a great pleasure in doing things from scratch, starting a blank notebook. Well, this is not totally bad, particularly in science. As Joel says in here:
"When you're working on a really, really good team with great programmers, everybody else's code, frankly, is bug-infested garbage, and nobody else knows how to ship on time. When you're a cordon bleu chef and you need fresh lavender, you grow it yourself instead of buying it in the farmers' market, because sometimes they don't have fresh lavender or they have old lavender which they pass off as fresh.
Independently of reusing or rewriting, you'll take a toll for not having the proper tools for the job. This is a lesson I've learned a long time ago (mainly here and here) therefore I try to avoid making this mistake as much as possible. I always think: is there any tool I can have that will save me time on the long run?
A few weeks ago while talking with Hugo about the importance of having a framework that you grow by gluing the bits and pieces of the algorithms you develop, we got to the topic of having an inspector to the data structures used in the program. Ideally, these are the characteristics we would want it to have:
-
Informative - Should give detailed information about the current state of the data structure, produce high-level metrics, meta-information about the algorithms and some kind of graphical representation;
-
Unintrusive - Shouldn't alter the behavior or speed of the algorithms;
-
Pluggable and Parallel - Should be able to start, stop and work while running, from remote processes and locations;
Probably we are asking too much but it's possible to have a compromise without over-engineering a solution.
It's impressive the number of streets named after renowned scientists that exist here in Pisa. Notable examples are Via Enrico Fermi, Lungarno Antonio Pacinotti, Lungarno Leonardo Fibonacci and, the city most well known son, Galileo Galilei who has an airport, a street and a square.
The reason for this is the Università di Pisa, together with the Scuola Normale Superiore and the Sant'Anna School of Advanced Studies. The university exists, in one form or the other, since the 11th century and has many notable alumni.
Hoje resolvi ir passar a tarde a Lucca que é apenas a meia hora daqui. Felizmente fui num comboio que, se fosse mais lento, andava para trás e na próxima vez que lá for acho que vou de bicicleta. A viagem através do Monte Pisano é lindíssima.
Lucca é uma cidade muito bonita, alla italiana, com uma muralha renascentista e foi uma das maiores cidades-estado. É ainda a cidade natal de Puccini, facto que nos lembram com placas por todo o lado. Tirei algumas fotografias que podem ver aqui.
