Numero Veckobladet om forskning, undervisning och administration på Skolan för datavetenskap och kommunikation Numero nr 39 1 december 2005 Årgång 35 Notiser 1 Disputationer 2 Seminarier 3 Exjobb Lediga jobb Seminarielänkar KTH lanserar ny donationsprofessur Internationell affärsverksamhet Pontus Braunerhjelm är sedan i mars 2005 gästprofessor i Internationell affärsverksamhet vid KTH. Professuren Internationell affärsverksamhet är en donation av den svenske entreprenören och uppfinnaren Leif Lundblad samt VINNOVA. Du är välkommen till KTH den 8 december kl. 16.00 i Sing Sing Lindstedtsvägen 30 då Leif Lundblad börjar med att berätta om bakgrunden till donationen och Pontus Braunerhjelm presenterar professurens inriktning. Vi fortsätter med en paneldebatt kring tillväxtfrågor och export med rektor Anders Flodström, Per Eriksson, Gd på Vinnova, Ulf Berg, vd för Exportrådet och Katarina Bonde, programledare för utbildningsprogrammet GoGlobal. Moderator är Eric Giertz, KTHs vicerektor för extern samverkan. Eftermiddagen avslutas med mingel, mat och dryck från kl. 17.5. Kalendarium 5 För anmälan kontakta Malin Nordin på <mailto:malinnor@kth.se> senast 2 december. 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 STOCKHOLM (dvs. facket Numero bland postfacken på pl ) 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. Pontus Braunerhjelm, 51 år, förstärker KTHs profil inom områdena entreprenörskap, internationalisering och ekonomisk tillväxt. Hans forskning bedrivs f.n. inom två större projekt: dels sambandet mellan entreprenörskap, kunskapsinvesteringar och tillväxt, dels drivkrafter bakom framväxten av högteknologiska kluster. Pontus Braunerhjelms tjänst som gästprofessor i internationell affärsverksamhet är placerad på KTHs institution för infrastruktur vid Skolan för arkitektur och samhällsbyggnad. - Mitt fokus kommer särskilt att vara teknikbaserat nyföretagande och effekterna av den tilltagande internationaliseringen, säger Pontus Braunerhjelm. KTH-Ekot Delfi stänger tidigare Delfi stänger 13.30 torsdagen 8/12 för julavslutning Missa inte Kongl. Teknologkörens stämningsfulla julkonsert! Både traditionell och mer okänd julmusik utlovas när Teknologkören för fjärde året i rad anordnar julkonsert på Nybrokajen 11. Konserten äger rum onsdagen den 21 december kl. 19, och biljetter köps via www.ticnet.se för 100 kr/60 kr (vuxna respektive stud./ pens.) Välkommen Peter Modin (Kongl. Teknologkörens kassör)
Disputation Allestädes närvarande kunskap - Om webbplatser som informativt stöd Respondent: Mats Andersson Opponent: Adj prof Peter Becker Huvudhandledare: Prof Nils Enlund Tid och plats: 10.00, tisdagen den 13 december 2005 sal F3, Lindstedtsvägen 26 SAMMANFATTNING Internet får ökad betydelse i samhället. Bland annat genom att webben framstår som ett givet val för många människor då de söker svar på frågor eller lösningar till uppgifter. Det är också utgångspunkten då många aktörer utformar sina webbplatser. Avhandlingen är ämnad att belysa hur webben används och kan användas som källa till kunskap. En bifråga är huruvida det som användarna erbjuds bör betraktas som information eller kunskap. En utgångspunkt är att villkor för en individs kunskap förändras då informativt material, läromedel och stödfunktioner är mycket lättillgängliga, t.ex. via Internet. Med nya tekniska förutsättningar finns anledning att ompröva traditionella förhållningssätt till sådant material. Arbetet omfattar både användarstudier och producentstudier. Frekventa användare av webben (17-26 år gamla) har intervjuats om sin användning och sitt förhållningssätt till mediet. Bland annat framkommer att användningen kan beskrivas som - ett sätt att göra ärenden utan att avståndet begränsar - ett sätt att skaffa överblick och koll på läget - ett sätt att ta reda på precis hur det ligger till, som ett facit - och ett sätt att umgås, att påverka och låta sig påverkas. Bland de yngre är den sociala aspekten starkt betonad, webben erbjuder en arena för möte med människor. Vidare tycks samtliga individer hålla sig till ett relativt begränsat antal webbplatser, en stor del av webbruket upptas av en liten mängd webbplatser. Individerna använder webben som kunskapskälla på olika sätt och i många fall på sätt de själva funnit användbara. Producentstudierna har främst baserats på intervjuer med representanter från ämnesorienterade informativa webbplatser. Budskapet för dessa webbplatser tycks vara att om du vill veta något om X så kom hit där X kan vara matlagning, skattefrågor, nöjesliv etc. Vissa drivs i offentlig regi och andra drivs i kommersiell regi. Trots att de för användaren kan ha vissa likheter är villkoren för dem är mycket olika. För myndigheterna är webbplatsen ett gränssnitt mellan medborgare och verksamheten, för kommersiella aktörer utgör den allt. De informativa webbplatserna sätts i relation till en föreslagen tillämpning, kallad lärdomän (ungefär som en ämnesorienterad läromedelswebbplats), vilken skulle kunna mildra en del av de problem som idag är identifierade i samband med webben som kunskapskälla. Några av de slutsatser som dras är att många användare troligen skulle kunna dra större nytta av webben om de erbjöds hjälp i att använda mediet. De möjligheter som webben erbjuder tas inte tillvara. Samma tycks gälla på en överindividuell nivå. Utmaningen är inte främst teknisk, utan det gäller att hitta former för att ta vara på möjligheter givet ett nedärvt förhållningssätt till informativt material och givet en etablerad aktörsstruktur i vilken nya tillämpningar måste skapa utrymme. Disputation On the security of mix-nets and hierarchical group signatures Datalogi Respondent: Douglas Wikström Opponent: Prof Moni Naor, Weizmann Institute of Science, Israel Huvudhandledare: Prof Johan Håstad Tid och plats: 1.00, den 19 december 2005 sal E3, Osquars backe 1 Abstract: In this thesis we investigate two separate cryptographic notions: mix-nets and hierarchical group signatures. The former notion was introduced by Chaum (1981). The latter notion is introduced in this thesis, but it generalizes the notion of group signatures which was introduced by Chaum and Heyst (1991). Numerous proposals for mix-nets are given in the literature, but these are presented with informal security arguments or at best partial proofs. We illustrate the need for a rigorous treatment of the security mix-nets by giving several practical attacks against a construction of Golle et al. (2002). Then we provide the first definition of security of a mix-net in the universally composable security framework (UC-framework) introduced by Canetti (2001). We construct two distinct efficient mix-nets that are provably secure under standard assumptions in the UC-framework against an adversary that corrupts any minority of the mix-servers and any set of senders. The first construction is based on the El Gamal cryptosystem (1985) and is secure against a static adversary, i.e., an adversary that decides which parties to corrupt before the execution of the protocol. This is the first efficient UC-secure mix-net in the literature and the first sender verifiable mix-net that is robust. The second construction is based on the Paillier cryptosystem (1999) and secure against an adaptive adversary, i.e., an adversary that decides which parties to corrupt during the execution of the protocol. This is the first efficient adaptively secure mix-net in any model. An important subprotocol in the above constructions is a zero-knowledge proof of knowledge of a witness that a party behaves as expected. There are two known approaches for constructing such a protocol given by Neff (2002) and Furukawa and Sako (2002) respectively. We present a third independent approach. We introduce the notion of hierarchical group signatures. This is a generalization of group signatures. There are several group managers, and the signers and group managers are organized in a tree in which the signers are the leaves and the group managers are internal nodes. Given a signature, a group manager learns if it is an ancestor of the signer, and if so to which of its immediate subtrees the signer belongs, but it learns nothing else. Thus, the identity of the signer is revealed in a hierarchical way. We provide a definition of security of hierarchical group signatures and give two provably secure constructions. The first construction is secure under general assumptions. It is impractical and of purely theoretical interest. The second construction is provably secure under standard complexity assumptions and almost practical.
Seminar at Speech, Music and Hearing: Induktiva metoder för dependensanalys av texter på naturligt språk Joakim Nivre, Växjö universitet 15:00-17:00 Friday December 2, 2005 The seminar is held in Fantum. Abstract Syntaktisk analys är en viktig komponent i många språkteknologiska system, t.ex. system för informationsextraktion och översättning. Ett av de viktigaste kraven på en syntaktisk analyskomponent, eller parser, är självfallet att den i så hög grad som möjligt ger en korrekt analys, men i praktiskt användbara system måste detta också balanseras mot krav på robusthet (minst en analys per mening), disambiguering (högst en analys per mening) och effektivitet (rimlig tids- och minnesåtgång). Induktiv dependensanalys är en metod för syntaktisk analys av obegränsad text, vars design är motiverad av kraven på att tillsammans optimera robusthet, disambiguering, korrekthet och effektivitet, och som har två essentiella beståndsdelar: 1 Dependensbaserade syntaktiska representationer 2 Data-drivna metoder för generalisering från korpusdata I detta föredrag beskrivs en instantiering av denna metod, som utnyttjar deterministisk parsning för att uppnå linjär tids- och minnesförbrukning och minnesbaserad inlärning för att vägleda den deterministiska parsern. Det resulterande systemet kan bevisas vara optimalt med avseende på robusthet, disambiguering och effektivitet. Metoden har utvärderats experimentellt på en rad olika språk (svenska, engelska, tjeckiska, danska, bulgariska, kinesiska, italienska, turkiska) och har funnits ge en hög grad av korrekthet med relativt begränsade mängder träningsdata. Seminar at Speech, Music and Hearing: Grammatiskt stöd för personer utan funktionell skrift - en språkteknologisk tillämpning Tina Magnuson 15:00-17:00 Friday December 9, 2005 The seminar is held in Fantum. Abstract Grammatical performance constitutes a special challenge for individuals who communicate with complementary and alternative strategies, such as communications boards. The output messages are often characterized by single-symbol utterances and incomplete sentence construction. Improved and expanded grammatical output would provide the writer with a greater possibility of communicating beyond here and now, and facilitate more independent communication. Further, it would also be helpful if the output messages could be interpreted and transferred by an automatic symbolto-text converter and thus be communicated to a remote reader, for example an e-mail receiver. In this seminar I will present a study that offers a method for applying compensatory writing support to promote grammatical correctness and investigates its role as a training tool. The hypothesis is that training with a specific piece of software, called Grammar- Guided Writing (GGW), will improve grammatical competence and be reflected in expanded grammar use during conversational communication and dictated sentences. Numero tar julledigt Torsdagen den 15 december kommer årets sista Numero i ett postfack nära dig. Du kan också hämta den på http://www.csc.kth.se/aktuellt/numero/ Ett nytt spännande nummer kommer ut den 12 januari 2006. Bidrag till varje Numero tas som vanigt emot ända fram till lunch dagen innan (onsdag). Numerored.
Exjobb Seminarielänkar Exjobbsseminarium i MDI Nästa exjobbsseminarium i MDI äger rum fredagen den 9/12 klockan 10:15 i 1537. Cathrin Svensson Telefonist = Levande telefonkatalog, informatör eller sekreterare? En användbarhetsstudie av telefonister Program: Medieteknik Uppdragsgivare: Ericsson Handledare: Kerstin Severinson-Eklundh Examinator: Kerstin Severinson-Eklundh Johanna Garcia Gådin Anpassning av gränssnitt för äldre applicerat på SEB:s Internetbank Program: Medieteknik Uppdragsgivare: SEB Handledare: Sinna Lindquist Examinator: Yngve Sundblad Seminarieledare: Lasse Kjelldahl Programmet (med sammanfattningar) finns på http://www.nada.kth.se/utbildning/grukth/exjobb/ mdi/seminarier2005/aktuellt.html 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/ 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 Från och med hösten 2005 har MDI-exjobben en egen seminarieserie. Varje exjobb har 5 minuter till sitt förfogande, 20 minuter presentation, 10 minuter opposition och 15 minuter allmän diskussion. Fredrik Stacken http://www.stacken.kth.se/kalender/ KTH Computational Science and Engineering Centre http://www.kcse.kth.se/seminars.html Lediga jobb Nordic-Math-Job number: SE-0672 Employer: Oskarshamns Kommun Position: Forskare/Lärare i matematik- Ämnesdidaktisk inriktning Deadline: 12 december 2005 Contacts: C-G Sunnergren, 091-88 351, cg.sunnergr en@oskarshamn.se Lars Bylund, 091-88 502, lars.bylund@oskar shamn.se Web-info: http://platsbanken.amv.se/text/92/05110,1010,180909,11,0820550592.shtml
Kalendarium 2005 DECEMBER 1 december 09.00-16.30 Best Practice in Industry-University Relations Riddarsalen, Münchenbryggeriet, Torkel Knutssonsgatan 2, STOCKHOLM 1 december 15-17 Seminarium i serien: KOMMUNIKATION: KULTUR, TEKNOLOGI, VETENSKAP, SPRÅKVETENSKAPLIGA PERSPEKTIV PÅ VETENSKAPLIGA TEXTER, Hans Strand, professor, rum 329 2 December 15:00-17:00 Seminar at Speech, Music and Hearing: Induktiva metoder för dependensanalys av texter på naturligt språk, Joakim Nivre in Fantum december LTH-körens jul_konsert på Fernströmsaulan, Kulturskulan i Lund 5 december 09.00-17.00 IT-systems användbarhet, En konferens om beställarens roll Westmanska palatset i Stockholm 5 december 10.00-12.00 NYC-STO: A TALE OF NEW MEDIA INDUSTRY AND WORK IN TWO CITIES, Torget, KTH, Lindstedtsvägen 5, plan 6 5 december 13.15 Seminarier i teoretisk datalogi: Sumbers, Fredrik Niemelä, Teorigruppen, KTH CSC, rum 1537 8 december 16.00 KTH lanserar ny donationsprofessur Internationell affärsverksamhet i Sing Sing Lindstedtsvägen 30 9 december 10.00 Disputation On the Evaluation of Print Mottle Carl-Magnus Fahlcrantz, Datalogi, KTH STFI-salen, STFI-Packforskning 9 december 10:15 Exjobbsseminarium i MDI Cathrin Svensson, Telefonist = Levande telefonkatalog, informatör eller sekreterare? En användbarhetsstudie av telefonister Johanna Garcia Gådin, Anpassning av gränssnitt för äldre applicerat på SEB:s Internetbank i 1537. 9 December 15:00-17:00 Seminar at Speech, Music and Hearing: Grammatiskt stöd för personer utan funktionell skrift - en språkteknologisk tillämpning, Tina Magnuson in Fantum 13 december 10.00 Disputation Allestädes närvarande kunskap om webbplatser som informativt stöd Mats Andersson, Medieteknik och grafisk produktion, KTH, F3, lindstedtsvägen 26 13 december 1.30 Sedvanligt Luciafirande på CSC 19 december 1.00 Disputation, On the security of mix-nets and hierarchical group signatures, Douglas Wikström i sal E3, Osquars backe 1 20 december 10.00 Lic-seminar: The European publication printing industry - an industry of profound changes, Anders Bjurstedt, Medieteknik och grafisk produktion, KTH, i E2 Lindstedtsvägen 3 21 december 19.00 Teknologkörenanordnar julkonsert på Nybrokajen 11