|
Numero |
8 rev.
|
Veckoblad om forskning, undervisning och |
7
mars 1999
Årgång 29 |
![]() |
|
Kalendarium
Inställd arbetsmiljöföreläsningPå grund av att sjukgymnasten Elina Unkila är sjukskriven måste vi ställa in arbetsmiljöföreläsningen den 18 mars. Så fort Elina är tillbaka återkommer vi med nytt datum. Eva-Lena Seminar in algorithmic bioinformaticsPå onsdag (10 mars) kl 14.15-15.00, rum 1537. Space efficient optimal accuracy alignmentLars Arvestad A new optimization objective for aligning sequences, optimal accuracy, has recently been proposed by Richard Durbin (Durbin, Eddy, Krogh, Mitchison, 1998, "Biological Sequence Analysis", Cambridge University Press). Simulations have shown that it outperforms the traditional alignment objective in alignment accuracy, i.e., the number of correctly determined columns in the alignment. This improvement is of great use in many applications, but the implementation proposed by Durbin unfortunately requires too much memory. We present two new practical algorithms with better space efficiency. The first algorithm is easy and uses O(n^{4/3}) space and O(n^2) time for two sequences of length n. The second algorithm is a recursive version of the first which uses O(n) space and O(n^2 log n) time. Jens Lagergren, Kimmo Eriksson |
![]() |
Välkommen till en temadag om datorstödd språkgranskning!Måndagen den 22 mars kl. 13.30-17.15, sal D1. Datorstödd språkgranskning är ett av språkteknologins största tillämpningsområden. För engelska och andra stora språk är kontroll av stavning, grammatik och stil något som hör till ordbehandlarens standardutrustning. Utvecklingen av liknande program för svenska har släpat efter lite men nu börjar den hinna i kapp. I MS Word för Windows 2000 finns för första gången svensk grammatikkontroll med. Syftet med temadagen är att sprida kunskap om forskning och utveckling på området i ett kritiskt perspektiv med användaren i centrum. Exempel på frågor som behandlas i föredragen är: Hur påverkar datorn språk och skrivande? Vad gör ett program för språkkontroll? Vilka har behov av det? Hur fungerar tekniken bakom? Vilka möjligheter och risker finns i användningen av tekniken? Vi vänder oss både till dig som är vanlig användare och till dig som utvecklar eller forskar om program för datorstödd språkgranskning. Alla är välkomna! Preliminärt program
Föranmälan: Anmäl dig till Karin Molin senast 15 mars, gärna via e-post till <karinm@nada.kth.se> (tfn 08-790 62 80). Se även webbsidan <http://www.nada.kth.se/iplab/ langtools/temadag.html>. |
Harald Winroth disputerarOnsdagen den 24 mars kl 10.00 i Kollegiesalen Projective Dynamic GeometryThe theme of this thesis is dynamic geometry, a new way of exploring classical geometry using interactive computer software. This kind of software allows the user to make geometric constructions on a computer's screen. The constructions might consist of points, lines and conics whose positions have been constrained in various ways. The constraints, which may involve incidences, distances and angles, can be added and removed dynamically. For example, to force a line to always be incident on a point, the user would simply grab the line with the cursor and drop it onto the point. Any object whose position is not completely determined by the constraints can be grabbed and dragged around on the screen. The rest of the objects will then automatically self-adjust in order to keep the constraints satisfied. Dynamic geometry software is primarily used for teaching mathematics, but is useful in any situation where it is important to understand the geometric properties of a dynamic system. Over the last few years, a number of tools for dynamic geometry have been developed. Most of them have focused on elementary Euclidean geometry. In this thesis we present a new software that has been based entirely on projective concepts and thus allows us to illustrate the classical theorems of projective geometry. The software has also extensive support for different types of metrics, which makes it possible to explore both Euclidean and non-Euclidean geometry. In fact, the user is given direct access to the absolute elements which define the metric. Moreover, the system can handle objects in the complex projective plane, which permits, for example, the circular points in Euclidean geometry to be used in geometric constructions. We discuss how the user interface of a dynamic geometry system should be designed and we identify a number of problems and shortcomings which the user interfaces of all previous systems seem to suffer from. Most of these defects are related to the fundamental problem of choosing the ``right'' solution of an under-determined system of constraint equations. We show how this problems can be solved by letting the system automatically add extra constraints if necessary, and by using a richer internal representation based on oriented projective geometry. |
![]() |
Ulf Berggren håller licentiatseminarium(Ej disputation - fel i pappersutgåvan.) Fredagen den 26 mars 1999 kl 10.15 i rum D31, Nada Pappersmodellen
|
![]() |
xxxrxxx. xxx |
xxxxxx. |
![]() |