Instituttseminar 1999

• Fredag 13/8 (Merk tidspunktet!) :

9.15-10.00 Elena Trichina: 3D Visual Environment for Systolising Programming
• Torsdag 26/8 :

Kjell Jørgen Hole: Adaptiv modulasjon og feilkontroll for multimediakommunikasjon i trådløse nettverk.
• Torsdag 2/9 :

Kjell Petersen: Bioinformatics ? How does biology relate to informatics ?
• Torsdag 9/9 :

Tor Helleseth: Sequences with good correlation properties
• Torsdag 16/9 :

Lisbeth Engell-Sørensen: Micro-Sources Recorded in a Bore Hole in the Ekofisk Field
• Torsdag 23/9 :

Pinar Heggernes: A practical algorithm for making filled graphs minimal
• Torsdag 30/9 :

Matthew G. Parker: Quantum Entanglement and it's Relationship to Error Correction Codes
• Torsdag 7/10 :

Jacko Koster: MUMPS: A multifrontal parallel direct solver
• Torsdag 14/10 :

Faron Moller : On the expressive power of CTL*
• Mandag 18/10 : (Merk tidspunktet!) kl. 09.15

Marc Bezem : Formulas as Programs
• Torsdag 21/10 :

Knut Magne Risvik: Aspekter rundt søkemaskiner på WWW
• Torsdag 28/10 :

Bjørnar Tessem: CASE-BASERT RESONNERING FOR PROGRAMUTVIKLING
• Torsdag 4/11 :

Isabelle Guérin Lassous and Jens Gustedt: CGM: A model of parallell computation
• Torsdag 11/11 :

Ingvar Eidhammer: A possible Genome Sequencing Project at UIB
• Mandag 15/11 : (Merk tidspunktet!)

kl. 09.15
Uwe Wolter: On universal constructions and duality
• Torsdag 18/11 :

Jüri Vain : Component based technique for hybrid control systems design
• Torsdag 25/11 :
• Torsdag 2/12 :

Bernard Philippe, : Computing the number of eigenvalues in a domain.
 
 

Seminarer V99

• Torsdag 28/1 (Merk tidspunktene!) :

Gjesteforelesinger:
13:15-14:00 Jan S. Nilsson: The International University- Information theory and learning in the 21 Century
14:15-15:00 Rita Colwell: The development of Gentechnology and some of its implications for medicine and human health programmes
 
 
• Torsdag 4/2 :

Magnus Halldorsson: Semi-definite programming - A new tool for constructing powerful heuristics
 
 
• Torsdag 11/2 :

Tre hovedfagsjenter - 6 år etter avsluttende eksamen!
• Torsdag 18/2 :

Sigrid Lise Nonås: Scheduling of propeller blade production
 
 
• Torsdag 4/3 :

Ragnhild Blikberg: Early Experiences with OpenMP on the Origin 2000
• Torsdag 11/3 :

Aslak Tveito: Diffpack in computational sciences
• Torsdag 18/3 :

Wolfgang Nagel: Performance Optimization and Tool Support for High Performance Computing
• Torsdag 25/3 (Lite aud. 2142!) :

Stig Faltinsen: Numerical integration of Lie-Poisson systems
• Torsdag 8/4 :

Pontus Matstoms: Queue analysis for the toll station of the Øresund fixed link
• Torsdag 15/4 :

Hans Munthe-Kaas: Numerikk + Geometri = Sant ?
• Torsdag 22/4 :

Arne Marthinsen: Integration methods based on canonical coordinates of the second kind
• Torsdag 29/4 :

Anne Berry: Deconstructing a Graph
• Torsdag 6/5 :

Jan Kratochvil: Chooseability and list coloring of graphs
• Onsdag 12/5 kl 11:15 (Merk ukedag og klokkeslett!) :

Larry Stanfel: A dynamic programming data base method for predicting protein secondary structure
 
 
• Torsdag 20/5 :

Jan Erik Ødegård: Avlyst!
• Torsdag 27/5 :

Marielba Rojas: A Trust-Region Approach to the Regularization of Large-Scale Discrete Ill-Posed Problems
• Torsdag 3/6 :

Uwe Wolter: Algebras, Coalgebras and Processes
• Mandag 14/6 kl 13:15 (Merk ukedag og klokkeslett!):

Dag Haugland: Optimal Signal Compression by Shortest Path Methods
• Tirsdag 15/6 kl 9:15 (Merk ukedag og klokkeslett!):

Detlef Plump: Term Graph Rewriting
• Onsdag 16/6 kl 9:15 (Merk ukedag og klokkeslett!):

Valentinas Kriauciukas: Nondeterminism in algebraic specifications
• Torsdag 17/6 kl 9:15 (Merk klokkeslett!):

Vladimir Sazonov: Descriptive complexity, bounded set theory and Web-like databases
• Torsdag 17/6 :

Willi Meier: Cryptanalysis of a Combinatorial Identification Scheme
• Torsdag 24/6 :

Mitchell Luskin: On the stability and numerical computation of crystal microstructure
• Torsdag 1/7 :

Fabio Guerinoni: Symmetric Group Generation and Shuffle Permutations