Past PhD and Licentiate seminars 2006

Seminars 2005

Seminars 2004
Seminars 2003
Seminars 2002


Past PhD SEMINARS

  Tuesday, December 19, 2006, at 10.15
Location: Lecture room EC, EDIT-building, Hörsalsvägen 14, Chalmers University of Technology

Public defence of PhD thesis by Niklas Elmqvist , Computing Science, Chalmers University of Technology:

3D Occlusion Management and Causality Visualization

Opponent: Associate Professor Doug Bowman, Department of Computer Science, Virginia Polytechnic Institute & State University, USA

Abstract

  Friday, November 24, 2006, at 10.00
Location: HC3, Hörsalsvägen 14, Göteborg

Public defence of PhD thesis by Ann-Christin Pålsson , Environmental Science, Chalmers University of Technology: 

Information Quality in Industrial Environmental Management: Defining and Managing Quality of Environmental Information


Opponent: Professor Reine Karlsson, University of Kalmar, Sweden

Abstract

  Friday, November 3, 2006, at 09.00
Location: HA2, Hörsalsvägen 4, Chalmers University of Technology

Public defence of PhD thesis by Mindaugas Drazdziulis , Computer Engineering, Chalmers University of Technology:

Static Power Reduction and Estimation in CMOS Circuits Considering Emerging Leakage Mechanisms

Opponent:  Professor Doris Schmitt-Landsiedel, Technische Universität München

Abstract

  Friday, October 13, 2006, at 10.15
Location: ED, EDIT-building, Rännvägen 6, Chalmers University of Technology

Public defence of PhD thesis by Janna Khegai , Computing Science, Chalmers University of Technology:

Language Engineering in Grammatial Framework (GF)
Opponent:  Professor Lauri Carlson, Helsingfors Universitet, Helsingfors, Finland

Abstract

  Friday, September 29, 2006, at 10.15
Location: ED, EDIT-building, Rännvägen 6, Chalmers University of Technology

Public defence of PhD thesis by Daniel Dalevi , Computing Science, Chalmers University of Technology:

Inferring Evolution in Bacteria Using Markov Chains and Genomic Signatures Opponent:  Professor Jotun Hein, Department of Statistics, Oxford University

Abstract

  Monday, September 25, 2006, at 10.15
Location: EC, EDIT-building, Rännvägen 6, Chalmers University of Technology

Public defence of PhD thesis by Anders Gidenstam , Computing Science, Chalmers University of Technology:

Algorithms for Synchronization and Consistency in Concurrent System Services


Opponent: Professor, Evangelos Kranakis, School of Computer Science, Carleton University, Ottawa, Canada

Abstract

 

Tuesday, June 13, 2006, at 13.15
Location: HC2, Hörsalsvägen 16, Chalmers University of Technology

Public defence of PhD thesis by Fredrik Warg , Computer Engineering, Chalmers University of Technology:  

Techniques to Reduce Thread-Level Speculation Overhead 

Opponent: Professor Antonio González, Computer Architecture Departament, Universitat Politècnica de Catalunya, Spain

Abstract


 

Friday , June 02 2006, at 10.00
Location: Hall EA, Rännvägen 6B, Chalmers University of Technology

Public defence of PhD thesis by Ha Hoai Phuong , Computing Science, Chalmers University of Technology:

Reactive Concurrent Data Structures and Algorithms for Synchronization

Opponent: Prof. Michael L. Scott, University of Rochester, USA.

Abstract


Friday, May 19 2006, at 13.15
Location: HC1 Hörsalsvägen 14, Chalmers University of Technology

Public defence of PhD thesis by Dhammika Bokolamulla , Computer Engineering, Chalmers University of Technology:

Serially Concatenated Continuous Phase Modulated Signals Over Fading Channels

Opponent: Professor Martin Bossert, University of Ulm, Department of Telecommunications and Applied Information Theory - TAIT.

Abstract

 

Friday, May 12 2006, at 10.15
Location: Wigforssalen, Högskolan i Halmstad

Public defence of PhD thesis by Ola Bengtsson , Computer Engineering, Chalmers University of Technology:

Robust Self-Localization of Mobile Robots in Dynamic Environments using Scan-Matching Algorithms

Opponent: Professor Christian Schlegel, Informatics Faculty, University of Applied Sciences, Ulm

Abstract




Thursday, May 11 2006, at 10.15
Location: EE, Rännvägen 6, Chalmers University of Technology

Public defence of PhD thesis by Magnus Björk , Computing Science, Chalmers University of Technology:

A First Order Extension of Stålmarck's Method

Opponent: Professor Maria Paola Bonacina, Dipartimento di Informatica, Università degli Studi di Verona.

Abstract

 

 

Thursday, April 27 2006, at 10.00
Location: HC1, Hörsalsvägen 14, Chalmers tekniska högskola

Public defence of PhD thesis by Raul Carlson in Environmental Science, Chalmers University of Technology:

Framework For Structuring Information For Environmental Management Of Industrial Systems

Opponent: Professor Dave Swayne, Computing Research Laboratory for the Environment Computing and Information Science, University of Guelph, CANADA

Abstract

 

Monday, 13 March, 10.15
Location: EA, Rännvägen 6, Chalmers

Public defence of PhD thesis by Carlos Gonzalía , Computing Science, Göteborg University:

Relations in Dependent Type Theory

Opponent: Professor Richard Bird, Oxford University Computing Laboratory

Abstract

 

 

Thursday, 09 February 2006, 10.15
Location: HB2, Hörsalsvägen 8, Chalmers

Public defence of PhD thesis by Karol Ostrovsky , Computing Science, Chalmers University of Technology:

On Modelling and Analysing Concurrent Systems


Opponent: Professor, Vasco T. Vasconcelos, University of Lisbon, Portugal

Abstract

 

January 13, 2006,
at 1:15 pm

Room HC1, ED&IT building, Hörsalsvägen 14, Chalmers University of Technology

 

 

Public defence of PhD thesis by Zihuai Lin, Computer Engineering, Chalmers University of Technology:

Joint Source-Channel Coding using Trellis Coded CPM


Opponent: Professor Stephen G Wilson, Dept. of Electrical & Computer Engineering, University of Virginia, USA


ABSTRACT:

The thesis investigates Joint Source and Channel Coding (JSCC) using combined Trellis Coded Quantization (TCQ) and coded modulation. First we investigate a JSCC scheme using combined TCQ/Trellis Coded CPM (TCQ/TCCPM). Based on the BCJR algorithm for trellis coded CPM, we derive an optimal soft decoding algorithm for the considered systems. Analytical bounds on the channel distortion for jointly designed TCQ/TCCPM systems with maximum likelihood sequence detection are derived. These bounds are based on the transfer function technique, which has been modified and generalized to analog signals in discrete time for our purpose. This work provides an analysis tool to estimate the performance for a given combined TCQ/TCCPM system. The analysis method is very general, and may be applied to any trellis based JSCC scheme. Next, we develop an iterative decoding approach to JSCC using serially concatenated TCQ/CPM. This iterative procedure exploits the structure of the TCQ encoder and the continuous phase modulator. A new trellis quantization scheme based on punctured ring convolutional codes is also proposed. It is demonstrated that the new trellis source encoding scheme is superior to conventional Trellis Coded Vector Quantization (TCVQ) scheme of the same complexity. Furthermore, an adaptive JSCC scheme using the combined new trellis quantization scheme with CPM is investigated. The decoding algorithm is based on the BCJR algorithm for punctured ring convolutional coded CPM. An iterative decoding approach to the above mentioned adaptive JSCC scheme is also developed. The performance is analyzed by using the extrinsic information transfer chart.

 

 

Past LICENTIATE SEMINARS 2006

 

  Tuesday, December 12, 2006, at 13.15
Location: Lecture room EA, EDIT building, Hörsalsvägen 14, Chalmers University of Technology

Licentiate seminar by Marie Gustafsson, Computing Science, Chalmers University of Technology:

Design, Development, and Adoption of Ontology-Driven Clinical Software


Discussion leader: Docent Patrick Lambrix, Institutionen för Datavetenskap, Linköpings universitet.

Abstract


  Thursday, November 23, 2006 at 10:15
Location: ED, EDIT-building, Rännvägen 6B, Chalmers University of Technology

Licentiate seminar by Merja Karjalainen, Computing Science, Chalmers University of Technology:

A System for Integrating Heterogeneous, Autonomous Databases

Discussion leader: Dr Nigel Martin, School of Computer Science & Information Systems, Birkbeck, University of London

  Thursday, November 2, 2006 at 13:15
Location: EC, EDIT building, Rännvägen 6B, Chalmers University of Technology

Licentiate seminar by Daniel Larsson, Computing Science, Chalmers University of Technology:

Title: Formal Specification and Verification of Safety-Critical Software
Discussion leader: Professor Uwe Aßmann, Technische Universität Dresden, Germany

Abstract

  Friday, October 6, 2006 at 10.00
Location: ED,  Rännvägen 6,  Chalmers University of Technology

Licentiate seminar by Otto Carlander, Computing Science (subject category: Cognitive science)
Chalmers University of Technology:

Title: 3D Audio Towards an Intuitive Interface - Uni- and Bimodal investigations

Discussion leader: Professor Jan Noyes, University of Bristol, UK

  Thursday, September 28, 2006 at 10.00
Location: EA,  Rännvägen 6,  Chalmers University of Technology

Licentiate seminar by Niklas Broberg, Computing Science, Göteborg University:

Title: Programming Language Design - Issues in Web Programming and Security
Discussion leader: Andrew D. Gordon, Microsoft Research, Cambridge

Abstract
  Monday, September 25, 2006 at 13.15
Location: HC1,  Hörsalsvägen 14, Chalmers University of Technology

Licentiate seminar by Fredrik Törner, Computer Engineering, Chalmers University of Technology:

Title: On Hazard Identification in the Automotive Domain
Discussion leader: Dr David Ward, MIRA Ltd, Nuneaton, Warwickshire, England.

Abstract

  Monday, September 18, 2006 at 13.15
Location: ES 51, Linsen, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Ulf Larson, Computer Engineering, Chalmers University of Technology:

Title: Aspects of Adapting Data Collection to Intrusion Detection
Discussion leader: Dr Andreas Wespi, IBM Zürich Research Laboratory

Abstract

  Monday, September 11, 2006 at 13.15
Location: HC1, Hörsalsvägen 14, Chalmers University of Technology

Licentiate seminar by Philipp Rümmer, Computing Science, Göteborg University:

Title: Proving and Disproving in Dynamic Logic for Java

Discussion leader: Tobias Nipkow, Institut für Informatik, Technische Universität, München

Abstract


  Monday, June 19 2006, at 10.15
Location: EA, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Tapani Utriainen , Computing Science, Chalmers University of Technology:

Least squares fitting of point-sets with unknown correspondences

Discussion leader: Professor Helmut Alt, Institute of Computer Science, Freie Universität Berlin

Abstract



 

Friday, June 16 2006, at 10.00
Location: EA, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Ruben Alexandersson , Computer Engineering, Chalmers University of Technology:

Techniques for software implemented fault tolerance


Discussion leader: Sasikumar Punnekkat, Institutionen för Datavetenskap och Elektronik, Mälardalens Högskola

Abstract


 

Thursday, June 15 2006, at 10.15
Location: EL41, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Marcin Zalewski , Computing Science, Chalmers University of Technology:

Support for Development and Maintenance of Generic Libraries


Discussion leader: Ulrich Eisenecker, Institut für Wirtschaftsinformatik, Wirtschaftswissenschaftliche Fakultät, Universität Leipzig

Abstract

 

 

Thursday, June 08 2006, at 13.15
Location: EA, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Hanna Landin , Human-Technology-Design, Computing Science, Chalmers University of Technology:

Fragile and magical interaction forms: An approach to interaction design aesthetics

Discussion leader: Lars-Erik Janlert, Computing Science, Umeå University

Abstract

 

 

Thursday, June 08 2006, at 10.00
Location: EA, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Linda Worbin , Human-Technology-Design, Computing Science, Chalmers University of Technology:

Dynamic Textile Patterns: Designing with smart textiles

Discussion leader: Professor Mike Stott, Umeå Institute of Design, Umeå University

Abstract

 

 

Monday, May 29 2006, at  13.00
Location: EA, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Lena Berglin , Human-Technology-Design, Computing Science, Chalmers University of Technology:

Interactive Textile Structures

Discussion leader: Professor Dennis Pettersson, Luleå Tekniska Universitet

Abstract

 

Tuesday, May 23 2006, at 10.15
Location: ES52, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Emil Axelsson , Computing Science, Chalmers University of Technology:

A Functional Language-Based Approach to Low-Level Hardware Design


Discussion leader: Professor Wayne Luk, Department of Computing, Imperial College, London.

Abstract

 

Wednesday, May 10 2006, at 10.15
Location: ES51, Rännvägen 6, Chalmers University of Technology

Licentiate seminar by Libertad Tansini , Computing Science, Chalmers University of Technology:

Probabilistic and Experimental Analysis of Heuristic Algorithms for the Multiple-Depot Vehicle-Routing Problem


Discussion leader: Dr Ricardo Baeza-Yates, Director Yahoo! Research Barcelona, Media Innovation Center.

Abstract


Friday, 7 April 2006, 13.15
Location: ES52, Rännvägen 6, Chalmers tekniska högskola.

Licentiate seminar by Martin Thuresson , Computer Engineering, Chalmers University of Technology:

Compression Techniques for Code Size and Data Bandwidth Reduction


Discussion leader: Docent Håkan Grahn, Sektionen för teknik, Avdelningen för programvarusystem, Blekinge tekniska högskola.

Abstract

 

Tuesday, 4 April 2006, 10.15
Location: sal HC3, Rännvägen 6, Chalmers tekniska högskola.

Licentiate seminar by Tobias Gedell, Computing Science, Chalmers University of Technology:

Static Analysis and Deductive Verification of Programs 


Discussion leader: Professor Peter Müller, ETH, Zürich.

Abstract


Thursday, 30 March 2006, 10.15
Location: Wigforssalen, Högskolan i Halmstad

Licentiate seminar by Jerker Bengtsson , Computer Engineering, Chalmers University of Technology:

Efficient Implementation of Stream Applications on Processor Arrays


Discussion leader: Dr Jonas Skeppstedt, Institutionen för Datavetenskap, Lunds tekniska högskola

Abstract


Thursday, 02 March 2006, 13.15

Location: ES53, Hörsalsvägen 11, Chalmers 

Licentiate seminar by Magnus Själander, Computer Engineering, Chalmers University of Technology:

Efficient Reconfigurable Multipliers Based on the Twin-Precision Technique

Discussion leader: Professor Dake Liu, Computer Engineering, Department of Electrical Engineering, Linköping University

Abstract

 

January 9, 2006,
at 1:00 pm


Room EA, ED&IT building,
Rännvägen 6B, Chalmers University of Technology

Licentiate seminar by Linn Gustavsson Christiernin, Human–Technology–Design, Chalmers University of Technology:

Multi-Layered User Interface Design

Discussion leader: Professor Jan Gulliksen Uppsala University, Department of Information Technology


ABSTRACT:

In this thesis work we focus on further developing and redefining an interface design concept especially adapted to consider the needs and the knowledge level of many individual users, at once taking the tasks they perform and their learning into careful consideration. The design concept, called Multi-Layered Design (or a Level-structured approach, sometimes even called a spiral approach), was first suggested by Ben Schneiderman in 1998 and then further explored during 1999 to 2003. Based on the previous work, we have continued to investigate the possibilities and the limitations of the concept in close collaboration with end users.

By splitting the application interface into components or layers Multi-Layered Design (MLD) can provide the individual users with functions organized in a logical order to promote personal learning in steps. The users move through the layered structure as it suits them best. Simple and common functions are placed in the first layer, and the remaining number of functions and objects are then sorted into the higher layers. The last layer has full functionality and contains all of the functions the application holds. To fit different types of applications the layered structure can be built in many ways and vary in flexibility and complexity.

Striving for an improved interface design by using the concept of MLD, we set the goal to define a user-centered interface design with an improved and more effective ability for personal learning through decreased complexity in the interface and sequential learning structures, keeping the necessary additional effort in the application development phase to a minimum. Practical case studies have been performed to further investigate the MLD concept and to explore benefits and drawbacks. With related work as well as our own practical work as a foundation, we draw the conclusion that a formal model is needed to decide the suitable number of layers and layer contents used in MLD. To partially meet this need, we introduce a strict model for how to analyze the user characteristics. The model describes how to depict user characteristics, analyze connections and finally how to divide application interfaces into layered structures based on information about the user.

We present five papers illustrating the benefits and drawbacks of the concept of Multi-Layered Design, practical examples, our new theoretical framework, a new model for how to create principles for layer structured design, and finally two practical case studies on how to apply the model.

 

 


Seminars 2005
Seminars 2004
Seminars 2003
Seminars 2002

Chalmers Publication Library

 

 

Map, Chalmers University of Technology

 

Postal address:
Department of Computer Science and Engineering,
Chalmers University of Technology,
SE-412 96 Göteborg, Sweden

Visiting address: Rännvägen 6B

Telephone: +46 (0)31-772 10 00

 

Webmaster: Catharina Jerkbrant

Last modified: January 11, 2007