Numero 15

fredag 12 april 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).

Öppet hus hos Lennart

Söndagen den 14/4 är det öppet hus hemma hos mig hela dagen med anledning av en mycket jämn födelsedag.

Välkomna!

Lennart E

Missa inte Örjans docentföreläsning!

Nu på måndag (15 april) kl. 15.15 i sal E3 (Osquars backe 14, plan 5) håller Örjan sin docentföreläsning. Docentfika serveras kl. 15.00


Institutionen för datorteknik i Uppsala söker doktorander

Inför hösten -96 söker institutionen för datorteknik i Uppsala forskarstuderande. Se http://www.docs.uu.se/.

Numeropärmen 96.052


Presentation av examensarbeten

Två SU-studenter presenterar sina examensarbeten tisdagen den 23 april kl 14.15-15.00 i sal E32.

Tomas Ihrfors, fristående kurs i datalogi: TidRum-analys. Arbetet har utförts vid Högskolan för lärarutbildning i Stockholm.

Handledare vid Nada: Hasse Haitto

Tobias Öbrink, matematisk-naturvetenskapliga linjens inriktning mot datavetenskap: Omgivningssimulator till försvars- och övervakningssystem. Arbetet har utförts vid CelsiusTech Systems AB.

Handledare vid Nada: Henrik Eriksson

Caroline

C2M2-seminarium: The Solver Class Library Overture

Lotta Olsson,TDB, Uppsala Universitet, håller C2M2-seminarium under ovanstående rubrik på tisdag (16 april) kl. 14.15 i CVAP:s seminarierum (Drottn. Kristinas väg 47D).

Abstract

It will be described how to write c++ programs to solve partial differential equations (PDEs) on overlapping structured grids using the solver class library Overture, developed at Los Alamos National Laboratory, New Mexico.

To solve PDEs on complicated geometries can be a hard task. We will show how one can, with a straight forward method, write solvers for overlapping structured grids. The class libraries provides methods for differentiation, interpolation between the grids, plotting etc.

The classes are also a very good platform for doing numerical experiments, as we never are obliged to use the class methods. All information about the grids (composite and component) and grid functions are available in a nice clear way.

Solvers can be written for 2D as well as 3D applications. Here examples will be given for how 2D problems are handled.

Gunilla Kreiss

Exjobbsseminarium i datalogi

Ett exjobbsseminarium i datalogi äger rum tisdagen den 23 april kl. 15.15 i sal E3 (Osquars backe 14, plan 5). Charlotta Medin, D91, 20 p: RAPA - Rapid Application and Process Assimilation. Utvärdering av en metod för snabb utveckling och assimilation av datatillämpningar. Arbetet är utfört vid Cambridge Technology Partners. Handledare: Yngve Sundblad, opponent: Fredrik Ruda

Marcus Lindstedt, D91, 12 p: Framtidens kontor. En studie av införandet av datorstött samarbete i en försäljningsorganisation. Arbetet är utfört vid Microsoft. Handledare: Olle Bälter

Muhammad Saleem, D90, 20 p: Ett grafiskt språk för modellering av teletjänster.

Handledare: Henrik Eriksson, opponent: Jonna Shanwell

Kerstin F

Datalogiseminarium: Logic Program Transformation through Generalization Schemata

Pierre Flener, Department of Computer Engineering and Information Science, Bilkent University, Ankara, håller datalogiseminarium under ovanstående rubrik på tisdag (16 april) kl. 15.15 i rum 112, Polacksbacken, Uppsala universitet.

Abstract

In program synthesis, program transformation can be done on the fly, based on information generated and exploited during the program construction process. For instance, some logic program generalization techniques can be pre-compiled at the logic program schema level, yielding transformation schemata that give rise to elimination of the eureka discovery, full automation of the transformation process itself, and even the prediction whether and which optimizations will be achieved.


Disputation: Denotational Semantics for Asynchronous Concurrent Languages

Sven-Olof Nyström, Institutionen för ADB och datalogi, Uppsala Universitet, disputerar under ovanstående rubrik på onsdag (17 april) kl. 13.15 i rum 311, hus 1, Polacksbacken, Uppsala Universitet.

Se http://www.csd.uu.se/~svenolof.


^ Upp till Numeros hemsida.


Senast ändrad 1996-04-11 <numero@nada.kth.se>