Numero Veckobladet om forskning, undervisning och administration på Skolan för datavetenskap och kommunikation Numero nr 31 6 oktober 2005 Årgång 35 Notiser 1-2 Disputationer 2 Seminarier 2-4 Exjobb 4 Inbjudan till hälso- och livsstilsundersökning Under år 2005 kommer hälso- och livsstilsundersökningen att erbjudas de anställda med födelseår 1940, 1943, 1946, 1949 och 1952, som fick sin första inbjudan 2002, eftersom anställda över 50 år erbjuds en undersökning vart tredje år. Du är välkommen att boka en tid som passar på listan som är uppsatt på Eva-Lena Åkermans dörr, rum 1422 på plan 4 ingång Lindstedsvägen 3/Oskars backe 2. Om du inte tillhör kallad årskull och ändå vill delta i undersökningen tag kontakt med Eva-Lena Åkerman: ela@nada.kth.se, tel: 9106 Seminarielänkar Kalendarium 4 5-6 Plats för hälsoundersökningen är rum 1625 på plan 6 ingång Lindstedsvägen 3/Oskars backe 2. Hälso- och livsstilsundersökningen omfattar samtal med företagssköterskan blodtryck blodprov: blodvärde, blodsocker, kolertorol längd, vikt syn- och hörselundersökning För blodprovstagningen bör du vara fastande 4 timmar före besöket. Numero är institutionstidningen på Skolan för datavetenskap och kommunikation vid KTH. Numero utkommer normalt på torsdagsförmiddagar under teminstid. Manus måste lämnas in före kl.12 på onsdagar. Manus, tips, förslag och andra bidrag till Numero kan lämnas på något av följande sätt: via en webblankett på adressen www.nada.kth.se/numero/ blankett.html via e-post till numero@nada.kth.se på papper till Nada, Numero, KTH, 100 44 STOCKHOLM (dvs. facket Numero bland postfacken på pl 4) Bidrag för artiklar och notiser bör i största möjliga mån vara färdigformulerade och korrekturlästa. Varje Numeronummer utkommer i två former: På papper för normal postdistribution Webb: www.nada.kth.se/numero/ Numeroredaktionen består av Maria Engström. Ansvarig utgivare är Ingrid Melinder. Numeros innehåll uttrycker inte institutionens officiella ståndpunkt annat än då detta anges. Medtag ifyllt hälso- och livsstilsformulär glasögon Beräknad tid för undersökningen är en timme. Påminnelse Enkät angående skolans benämning Eva-Lena Åkerman Många har engagerat sig i skolnamnfrågan och det har redan nu kommit in nära 200 svar på enkäten. Det är fortfarande möjlighet att svara fram till den 9 oktober då den slutliga sammanräkningen görs. Det är angeläget att de som har en åsikt i denna fråga besvarar enkäten som hittas på http://www.nada.kth.se/~jakobn/kortnamn/ Ingrid och Anders
Venture Cup Öst Sökes: Affärsidéer för framtidens Företag En ny omgång av Venture Cup Öst har inspark tisdagen 11 oktober klockan 18-19.30 i Aula Magna på Stockholms universitet. Venture Cup bjuder på intressanta talare, underhållning, information om årets tävling, mat, dryck, mingel och mycket annat. Ingen föranmälan. Gratis! Öppet till sista plats. Observera att Venture Cup är öppen för ALLA som har en affärsidé. Mer information om tävlingen och organisationen på <http://www.venturecup.org/ost/> 550 000 kronor i prispengar Med hjälp av professionell handledning, omfattande feedback från juryn och en anpassad utbildningsserie erbjuder Venture Cup deltagarna en unik läroprocess och ett värdefullt kontaktnät. Dessutom finns en total prissumma på 550 000 kronor i tävlingen. Venture Cup Öst arrangeras av universitet och högskolor i östra Sverige samt McKinsey&Co. Sedan starten för sex år sedan har 2 200 affärsidéer deltagit i tävlingen och av dessa har cirka 700 bildat företag som nu sysselsätter omkring 2 000 heltidsanställda. Lecture about Swedish inventions Did you know that the zipper is a Swedish invention? Studying Stockholm invites all exchange students and guest researchers at the universities and university colleges in the Stockholm area to attend a lecture about Swedish inventions. The lecture will take place at KTH on October 19, at 18.00-19.00 in Hall E1, Lindstedtsvägen 3 It will be given by Anders Houltz, Department of History of Science and Technology. The event is free of charge for exchange students/ researchers. KTH-ekot Doctoral Thesis Absorbing Layers and Non-Reflecting Boundary Conditions for Wave Propagation Problems Daniel Appelö Stockholm, Sweden 2005 teknologie doktorsexamen fredagen den 28 oktober 2005 klockan 10.15 Salongen, KTHB, Osquars backe 31, Kungl Tekniska högskolan, Stockholm important for the enhanced understanding of basic phenomenon, but also in design and development of various engineering applications. In general, numerical simulations must be confined to truncated domains, much smaller than the physical space were the wave phenomena takes place. To truncate the physical space, artificial boundaries, and corresponding boundary conditions, are introduced. There are four main classes of methods that can be used to truncate problems on unbounded or large domains: boundary integral methods, infinite element methods, non-reflecting boundary condition methods and absorbing layer methods. In this thesis, we consider different aspects of non-reflecting boundary conditions and absorbing layers. In paper I, we construct discretely non-reflecting boundary conditions for a high order centered finite difference scheme. This is done by separating the numerical solution into spurious and physical waves, using the discrete dispersion relation. In paper II-IV, we focus on the perfectly matched layer method, which is a particular absorbing layer method. An open issue is whether stable perfectly matched layers can be constructed for a general hyperbolic system. In paper II, we present a stable perfectly matched layer formulation for $2 \times 2$ symmetric hyperbolic systems in $(2 + 1)$ dimensions. We also show how to choose the layer parameters as functions of the coefficient matrices to guarantee stability. In paper III, we construct a new perfectly matched layer for the simulation of elastic waves in an anisotropic media. We present theoretical and numerical results, showing that the stability properties of the present layer are better than previously suggested layers. In paper IV, we develop general tools for constructing PMLs for first order hyperbolic systems. We present a model with many parameters which is applicable to all hyperbolic systems, and which we prove is well-posed and perfectly matched. We also use an automatic method, derived in paper V, for analyzing the stability of the model and establishing energy inequalities. We illustrate our techniques with applications to Maxwell s equations, the linearized Euler equations, as well as arbitrary $2 \times 2$ systems in $(2 + 1)$ dimensions. In paper V, we use the method of Sturm sequences for bounding the real parts of roots of polynomials, to construct an automatic method for checking Petrowsky wellposedness of a general Cauchy problem. We prove that this method can be adapted to automatically symmetrize any well-posed problem, producing an energy estimate involving only local quantities. Daniel Appelö Abstract The presence of wave motion is the defining feature in many fields of application, such as electromagnetics, seismics, acoustics, aerodynamics, oceanography and optics. In these fields, accurate numerical simulation of wave phenomena is
Den kreativa och hållbara staden En stad är inte till för att färdas igenom, den är till för att vistas i. (Gyllensten&Sederholm) Anordnat av KTH och Stiftelsen Skapande Människa med stöd av Riksbankens Jubileumsfond Onsdagen den 12 oktober 2005 kl. 14.00-18.30 i Sing-Sing, Lindstedtsvägen 30, KTH Staden är en skapelse av människor, men har ändå ett eget liv utanför människans kontroll. Genom planering, reglering och byggande skapar människan villkoren för stadens framtida möjligheter och problem. Möjligheterna är ofta knutna till att kreativa människor i staden får rika tillfällen att samarbeta och utbyta idéer, och till att staden innebär spänning och avkoppling för många. Problemen är välkända: trafiken, stressen, konsumismen, miljön, sårbarheten. I detta skapande av staden bryts ingenjörsmässiga och vetenskapliga tankestilar mot de konstnärliga och arkitektoniska. Vad har i denna stadsskapande process forskaren och konstnären att ge varandra? Hur kan deras olika sätt att betrakta staden vara till nytta för att göra staden mera kreativ, spännande och långsiktigt hållbar? Anmäl senast 7 okt. till Helena Liljeqvist helenal@admin.kth.se Antalet platser är begränsat! Ytterligare information lämnas av Bo Andér, tfn. 50831942 bo.ander@kultur.stockholm.se. Rektor Anders Flodström, KTH, öppnar seminariet kl. 14.00. I programmet medverkar författaren Per Wästberg, Gunilla Bandolin, professor i landskapsarkitekturens formlära, KTH, Per Lundqvist, docent i energiteknik, KTH, Gia Destouni, professor i teknisk hydrologi, Stockholms Universitet, och Kai Wartiainen, professor i stadsbyggnad, KTH Moderator är Claes Gustafsson, professor i industriell ekonomi och organisation, KTH 2005 års tre stipendiater presenterar sina arbeten och får motta Stiftelsens Skapande Människas stipendier à 100 000 kronor som delas ut av Birgitta Dahl, stiftelsens ordförande. Mer information om Stiftelsen Skapande Människa hittar du på <http://www.skapandemanniska.a.se/> KTH-ekot Om teknik, regi och sällskap är ett nytt spännande seminarium på KTH i serien Filosofiskt Fragment Onsdag 12 okt 2005 kl. 19.15-21.00 på KTH i Sing-Sing, Lindstedtsvägen 30 Regissören Karl Dunér samtalar om teknik, regi och sällskap och presenterar det utvecklingssamarbete som han haft under flera år med institutionen för Mekatronik på KTH. Bo Göranzon, professor vid avd. för Yrkeskunnande & Teknologi på KTH, är moderator. Karl Dunér förbereder just nu en uppsättning av Racines tragedi Fedra på Dramaten och till våren sätter han upp Samuel Becketts drama Slutspel (Fin de partie) vid Stockholms Stadsteater. Efter seminariet bjuds seminariedeltagarna på dryck och tilltugg. Doktorandseminarium i teoretisk datalogi KTH-ekot Execution Time Analysis and Abstract Interpretation Björn Lisper, Dept. of Computer Science and Electronics (IDE), Mälardalen University Måndag 17 oktober, kl 10.15-12.00 (OBS! tiden), rum 1537: Worst-Case Execution Time (WCET) Analysis means to find an upper bound to the longest possible execution time of a piece of software. Such bounds are needed in order to verify the timing correctness in safety-critical real-time systems, where consequences can be fatal if the system does not react within given time limits. WCET analysis combines elements from both formal program analysis and hardware modelling to achieve its goal. Some current techniques for WCET analysis are based on abstract interpretation, which is a formal framework for program analysis: if a program analysis can be cast in this framework, then correctness comes for free and there is also a generic solution method in the form of fixed-point iteration. In this talk we will first give describe the basics of WCET analysis and then give an introduction to the theory of abstract interpretation. (The talk will be held in Swedish unless there are non-swedish speakers present.) Jakob Nordström
HCI Seminar Friday 7 October 10.15 to 12 in room 1537 Our next seminar will be an account of our professional summer experiences. Yngve talking about Convivio and the Convivio Summer Schools (Rome, Split, Timisoara) Yingying and Pedro talking about Timisoara Summer school experience August 2005 Björn talking about HCI International in Las Vegas July 2005 and hopefully someone talking about Critical Computing in Aarhus August 2005 and ECSCW in Paris September 2005 Yngve Seminarielänkar AlbaNova http://www.albanova.se/aktuellt/ Bråket http://www.math.kth.se.braaket.html Institut Mittag Leffler Seminars www.ml.kva.se KTH Matematik http://www.math.kth.se optsyst seminar/ S3 http://www.s3.kth.se/ Exjobbspresentation i Medieteknik Datum: Tisdagen den 11 oktober Plats: Seminarierummet på avd. för Medieteknik (D-huset, plan 3) Tid: 9-16 Examinator: Nils Enlund 09.15-10.00 Titel: Mobile telephony in rural India - adapting the mobile telephone to the conditions of the unprivileged rural India Respondent: Petra Blixt Opponent: Johan Danckwardt SICS http://www.sics.se/research/seminars.php TMH, Tal, musik och hörsel http://www.speech.kth.se/seminars/ Wireless@kth http://www.wireless.kth.se Stacken http://www.stacken.kth.se/kalender/ 10.15-11.00 Titel:? Respondent: Cecilia Mattsson Opponent: Pelle Tamleht 11.15-12.00 Titel: Förbättrad kundvård genom kundspecifika webbplatser - en kvalitativ studie utförd hos Teracom Respondent: Anna Stålhandske Opponent: Cecilia Mattsson OBS! 14.15-15.00 Titel: Färghantering i bildproduktion - en studie i rött, grönt och blått på bsmart Respondent: Mathias Sautermeister Opponent: Karl Peterz 15.15-16.00 Titel: Survey of newspaper production flow for e- paper Respondent: Johan Danckwardt Opponent: Mathias Sautermeister Sara KTH/SU Mathematics Colloquium Professor Helge Holden, Norges teknisknaturvitenskapelige universitet, Trondheim: Peter Lax, The Abel Prize Laureate 2005. On 12/10 kl. 16.00 17.00. Seminarierum 3721, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 7. Kaffe/te serveras kl. 15.30 i pausrummet, Institutionen för matematik, KTH, Lindstedtsvägen 25, plan 4. Abstract: We survey some of the mathematical accomplishments of this year s Abel Prize Laureate, Peter D. Lax, from the Courant Institute, New York University. The presentation will be non-technical. Daniel Appelö
Kalendarium 2005 OKTOBER 6 oktober 15-17 Sensory Perception and Amnesia in Science and Fiction Kerstin Bergman, fil dr, Litteraturvetenskap, Lunds universitet, rum 4329 på Medieteknik 6 oktober 15.15 Presentation av exjobb i datalogi och biomedicinsk teknik. Wrangö, Petrus Mobila fleranvändarspel via middleware. Kjellman, Rasmus Utvärdering av driftmiljöer i Business Process Management System. i rum 4523 6 oktober 19.00 StackenFöreläsning: Source code management with monotone i sal Q2 7 oktober 10.15-12 HCI Seminar in room 1537 10 oktober 13.15-15.00 doktorandseminarieserie Optimization of radiation therapy Fredrik Carlsson, Optimization and Systems Theory, Department of Mathematics, KTH, rum 1537 11 oktober 09.15-10.00 Exjobbspresentation i Medieteknik Mobile telephony in rural India - adapting the mobile telephone to the conditions of the unprivileged rural India, Petra Blixt 10.15-11.00 Titel:? Cecilia Mattsson 11.15-12.00 Förbättrad kundvård genom kundspecifika webbplatser - en kvalitativ studie utförd hos Teracom Anna Stålhandske 14.15-15.00 Färghantering i bildproduktion - en studie i rött, grönt och blått på bsmart, Mathias Sautermeister 15.15-16.00 Survey of newspaper production flow for e-paper Johan Danckwardt Seminarierummet på avd. för Medieteknik (D-huset, plan 3) 11 oktober 18-19.30 Venture Cup Öst har inspark i Aula Magna på Stockholms universitet 12 oktober 14.00-18.30 Seminarium: Den kreativa och hållbara staden i Sing-Sing, Lindstedtsvägen 30, KTH 12 oktober 16.00-17.00. KTH/SU Mathematics Colloquium. Professor Helge Holden, Peter Lax, Seminarierum 3721, Lindstedtsvägen 25, plan 7 12 oktober 19.15-21.00 Seminarium i serien Filosofiskt Fragment Om teknik, regi och sällskap på KTH i Sing-Sing, Lindstedtsvägen 30 13 oktober 9.00-17.00 International Seminar: Research challenges in speech technology The Svedbergssalen, AlbaNova, Roslagstullsbacken. 17 oktober 10.15-12.00 Doktorandseminarium i teoretisk datalogi Execution Time Analysis and Abstract Interpretation Björn Lisper, rum 1537
Kalendarium 2005 17 oktober 14.15 Doctoral Thesis. Developing and Evaluating Language Tools for Writers and Learners of Swedish. OLA KNUTSSON i Sal D2 18 oktober 10.15 licentiatseminarium: Clustering in Swedish - The Impact of some Properties of the Swedish Language on Document Clustering and an Evaluation Method. Magnus Rosell i E3 26 oktober 19.00 StackenFöreläsning: Grafikprogrammering med OpenGL. i sal Q2 28 oktober 10.15 Doctoral Thesis Absorbing Layers and Non-Reflecting Boundary Conditions for Wave Propagation Problems Daniel Appelö Salongen, KTHB, Osquars backe 31