Numero 2

tisdag 16 januari 1996, årgång 26

Veckoblad om forskning, undervisning och administration m.m.
NADA - Institutionen för numerisk analys och datalogi, KTH

Kalendarium

Aktuellt kalendarium (inte kalendariet som hör specifikt till denna Numeroutgåva).

Stor tröjförsäljning

 Imorgon onsdag (17 jan.) kl. 13.15-15 i Nadas fikarum är bästa tillfället att köpa ny ljusgrå tröja med Nadasymbolen i snyggt mörkgrönt. Kortärmade T-tröjor kostar 70 kr och långärmade collegetröjor 180 kr (subventionerat pris). Båda sorterna finns i storlekar M, L, XL och XXL.

Kom till Nadas fikarum på plan 4 och handla av Bibbi och Gerd.

Delfi-invigning 5 februari!

 Vi planerar en invigning av Delfi måndagen den 5 februari kl. 15.00 (elever kl. 16). Boka redan nu in den tiden. Mer information kommer senare.

Systemgruppen

Information om löneavtal

 ...står att läsa i Numeropärmen 96.008. Bl.a. framgår att den första lönehöjningen - 1.8 %, 300 kr - kommer med februarilönen, och att lokal förhandling startar i februari.

PC-kurs?!

 I och med teknologdatorprojektet kommer många av våra elever att göra labbar på PC. Då kan det som lärare på Nada vara trevligt att vara lite allmänbildad och veta lite om hur man hanterar en PC, filhantering t.ex. Vissa kurser, t.ex. Programmeringsteknik för M och K, har dessutom sina schemalagda labbtillfällen i fakultetens PC-salar. För lärare på sådana kurser kan det vara mycket pinsamt att inte ha en aning om PC-hantering (jag vet av egen erfarenhet).

Teknologdatorprojektet har lovat att ordna en liten kurs i PC-användning för Nada:s lärare om intresse finns. Är du intresserad, så hör av dig till mig. Berätta gärna om det är något speciellt du vill lära dig.

Kerstin F.

Forskartjänst i matematisk teori för dynamiska system

 ...(bland många andra) ledigförklaras av NFR. Upplysningar av Natalie Lunin, 08-454 52 32.

Exjobbsseminarium i datalogi

 Exjobbsseminarium i datalogi äger rum idag tisdag (16 jan.) kl. 15.15 i sal E2 (Osquars backe 14, plan 4).

Jonas Lundholm, D85, 12 p: Virtuell heap, en modell för implementation av distribuerade system. Arbetet är utfört vid VRIP AB. Handledare: Yngve Sundblad.

Jonas Lindskog, D90, 20 p: Beräkning av skymda ytor i projicerade gridnät för utritning av havsbotten. Arbetet är utfört vid CelsiusTech Systems. Handledare: Kerstin Frenckner.

Christian Magnusson, E90,12 p: Grafiskt användargränssnitt till simuleringsprogram för optiska nät. Arbetet är utfört vid Ericsson Components AB. Handledare: Kristina Groth.

Exjobbsseminarium i datalogi (2)

 Det andra exjobbsseminariet i datalogi denna vecka äger rum på torsdag (18 jan.) kl. 15.15 i sal E2 (Osquars backe 14, plan 4).

Olle Sundblad, D90, 20 p: Ett gränssnitt mellan DIVE och Mosaic, mellan virtuell verklighet och World Wide Web. Arbetet är utfört vid SICS och Ericsson Media Lab. Handledare: Kai-Mikael Jää-Aro.

Fredrik Prüzelius och Stefan Svensson, D91, 12 p: ProPhone. Arbetet är utfört vid Ericsson Data. Handledare: Björn Eiderbäck.

Maktförskjutning forskningsråd --> forskare

 Makten över forskningen har under de senaste 20 åren förskjutits från forskningsråden till de enskilda universiteten. Det konstateras i en utredning om forskningspolitiken i Sverige som refererasi Riksdag & Departement (se Numeropärmen 96.006). Titeln är Riksdagen, regeringen och forskningen. Några drag i svensk forskningspolitik under två decennier. SOU 1995:121

Pengar: Projektsamarbete med öst

 Anslag för projektsamarbete med forskare i länder som ingick i f.d. Sovjetunionen kan man söka senast 15 februari. Numeropärmen 96.007

Lic.seminarium: Flow Inference, Gode Generation, and Garbage Collection for Lazy Functional Languages

 Karl-Filip Faxén, IT, KTH, håller lic.seminarium under ovanstående rubrik på torsdag (18 jan.) kl. 13.15 i Sal C1, Electrum (Kista). Opponent är Thomas Johnsson, Chalmers.

Abstract

Lazy functional languages such as LML, Haskell, and Concurrent Clean typically feature first class functions, polymorphic type systems, and automatic garbage collection. These powerful mechanisms translate into short, readable, and reusable programs at a high level of abstraction. They do however lead to quite a lot of run-time bookkeeping and make the dynamic flow of control rather unpredictable. This overhead increases execution time by as much as a factor of twenty in some cases.

This thesis describes some techniques that can be used to reduce this overhead. Specifically, we eliminate thunk and eval operations, use unboxed data representations and try to avoid updating thunks. These optimizations depend on information gained by a program-wide dataflow analysis which is based on a polymorphic subtype inference system.

The techniques have been implemented in a compiler for a simple lazy functional language called Plain, and this implementation is described in some detail. The issue of memory management is also discussed and the compilers garbage collector is presented.

Finally, some experimental results are given.

Diskret matte-seminarium: Euclidean Representations of Distance-Regular Graphs

 Jack Koolen, Eindhoven and KTH, håller seminarium i diskret matte under ovanstående rubrik torsdagen den 25 jan. kl. 15.15-16.15 i seminarierum 3733, matematik, KTH (Lindstedtsvägen 25 - klocktornet, plan 7).

Abstract

Distance-regular graphs were introduced by Biggs, as a combinatorial generalisation of distance-transitive graphs. Around the same time Delsarte introduced P-polynomial association schemes and showed that they are the same objects as distance-regular graphs. Many of the classical association schemes are distance-regular graphs, like the Hamming schemes, and Johnson schemes.

In this talk I will look at Euclidean representations of distance-regular graphs. As a consequence of the Bose-Mesner algebra of a distance-regular graph, we have naturally defined Euclidean representations for them, the so-called standard representations. I will give several applications of those standard representations in the theory of distance-regular graphs.

A. Bjöorner och J. Håstad

Bryr sig KTH om sina teknologer?

 Bryr sig KTH om sina teknologer? Den frågan vill rektor Janne Carlsson och vicerektor Gunnar Svedberg gärna diskutera med Dig på fredag 19/1 kl 11.15 i sal K1, Teknikringen 56. Du får också möta Martin Andrén, kemiteknolog, Linn Plogéus, kårordförande, Sören Östlund, lärare i hållfasthetslära, Karin Nordell (Berggren) civilingenjör B och f.d. kårordförande och pedagogen Sören Törnkvist, Språk och didaktik.

KTH bjuder på dryck och lunchsmörgås. Anmäl Dig till KTHs växel, ank. 10 senast den 17/1.

Från KTH-ekot

Doktorandkursstart: Numerisk lösning av stokastiska differentialekvationer

 Doktorandkursen numerisk lösning av stokastiska differentialekvationer startar torsdagen den 1 februari. Mer information finns i WWW: http://www.nada.kth.se/nada/kurser/kth/2D5227/

Anders Szepessy

Ultra-sparc-dator i Delfi

 Nu står det en Sun Ultra 1/170 i gäst- & testrummet i Delfi. Datorn, vid namn Harey, kör Solaris 2.5, i vilket AFS inte fungerar ännu. För att testa kan man dock ge kommandot afsnfssetup så kan man nå sina egen hemkatalog (om den är i AFS). Skicka frågor till system@nada.kth.se.

Anders Hillbo

Diverse stipendier och anslag

 ... kan läsas om i KTH-kalendern, http://www.admin.kth.se/info/kth-kalendern/, och (i vissa fall i bunten Numeropärmen 96.009). Här följer en uppräkning:

^ Upp till Numeros hemsida.

Senast ändrad 1996-01-16 <numero@nada.kth.se>