|
2024
|
|
| 2024-12-05 |
Niklas Gunnarsson: Motion Estimation from Temporally and Spatially Sparse Medical Image Sequences |
| 2024-11-22 |
PhD Candidate Marc Fraile: Computer Vision and Explainability in Human-Human and Human-Robot Interaction |
| 2024-10-25 |
Nadezhda Koriakina: Deep Learning and Explainable Artificial Intelligence for Biomedical Applications: Methods for Cytology-based Cancer Detection |
| 2024-09-20 |
Ludvig Hult: Robust inference for systems under distribution shifts |
| 2024-09-06 |
Tuan Anh Dao: Invariant domain preserving schemes for magnetohydrodynamics |
| 2024-08-30 |
Marina Shimchenko: Optimizing Energy Efficiency of Concurrent Garbage Collection |
| 2024-08-30 |
Gustav Eriksson: Robust and efficient discretizations of wave-dominated problems |
| 2024-06-14 |
Daniel Gedon: On Deep Learning for Low-Dimensional Representations |
| 2024-05-31 |
Muhammad Hassan: Enhancing Processor Performance: Approaches for Memory Characterization, Efficient Dynamic Instruction Prefetching, and Optimized Instruction Caching |
| 2024-05-30 |
Anders Persson: Cognition and the Machine: Exploring Human-AI Interaction via Predictive Processing |
| 2024-05-27 |
Cong Quy Trinh: Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs |
| 2024-04-16 |
Axel Andersson: Computational Methods for Image-Based Spatial Transcriptomics |
| 2024-03-08 |
Camille Clouard: A computational and statistical framework for cost-effective genotyping combining pooling and imputation |
| 2024-03-01 |
Karl Bengtsson Bernander: Equivariant Neural Networks for Biomedical Image Analysis |
| 2024-01-16 |
Ph.D. Student Wenqing Yan: Design and Identification of Wireless Transmitters for a Low-power and Secure Internet of Things |
|
2023
|
|
| 2023-12-15 |
Ankit Gupta: Adapting Deep Learning for Microscopy: Interaction, Application, and Validation |
| 2023-12-08 |
Vidar Stiernström: Summation-by-Parts Finite Difference Methods for Wave Propagation and Earthquake Modeling |
| 2023-11-30 |
Fredrik K. Gustafsson: Towards Accurate and Reliable Deep Regression Models |
| 2023-11-02 |
Han Wang: Robust and Efficient Federated Learning for IoT Security |
| 2023-10-04 |
Raphaela Heil: Document Image Processing for Handwritten Text Recognition: Deep Learning-based Transliteration of Astrid Lindgren’s Stenographic Manuscripts |
| 2023-09-01 |
Lukas Lundgren: High-order finite element methods for incompressible variable density flow |
| 2023-06-14 |
Natalia Calvo Barajas: Exploring Multidimensional Trust: Shaping Child-Robot Creative Collaborations in Education |
| 2023-06-14 |
David Widmann: Reliable Uncertainty Quantification in Statistical Learning |
| 2023-06-12 |
Elisabeth Wetzer: Representation Learning and Information Fusion: <em>Applications in Biomedical Image Processing</em> |
| 2023-06-09 |
Virginia Grande: That's How <em>We</em> Role! A Framework for Role Modeling in Computing and Engineering Education: A Focus on the Who, What, How, and Why |
| 2023-05-12 |
Eva Breznik: Image Processing and Analysis Methods for Biomedical Applications |
| 2023-04-21 |
Ivo Dravins: Preconditioning for block matrices with square blocks |
| 2023-04-14 |
Nicolas Pielawski: Learning-based prediction, representation, and multimodal registration for bioimage processing |
| 2023-03-15 |
Joel Höglund: Public Key Infrastructure and its applications for resource-constrained IoT |
|
2022
|
|
| 2022-12-14 |
Georgios Kalamatianos: Diversified Retrieval of Spatial Data with Context |
| 2022-12-13 |
Anum Khurshid: Towards Trustworthy and Secure Internet of Things Devices: Using hardware-assisted Trusted Execution and Automated Certification |
| 2022-12-02 |
Anna Wigren: Sequential Monte Carlo methods for conjugate state-space models |
| 2022-11-25 |
Diane Golay: An Emotion-Focused Approach Towards Improving Clinicians' Work-Related User Experience |
| 2022-09-22 |
Sebastian Wallkötter: Transparency Mechanisms in HRI: Improving an observer’s understanding of social robots |
| 2022-09-09 |
Sonja Mathias: Robust and Efficient Cell-Based Models of Tissue Mechanics |
| 2022-08-19 |
Robin Marin: Computational Modeling, Parameterization, and Evaluation of the Spread of Diseases |
| 2022-06-09 |
Muhammad Osama: Robust machine learning methods |
| 2022-06-08 |
Kristiina Ausmees: Methodology and Infrastructure for Statistical Computing in Genomics: Applications for Ancient DNA |
| 2022-06-03 |
Carl Jidling: Tailoring Gaussian processes and large-scale optimisation |
| 2022-06-03 |
Håkan Wieslander: Application, Optimisation and Evaluation of Deep Learning for Biomedical Imaging |
| 2022-05-31 |
Igor Tominec: Oversampled radial basis function methods for solving partial differential equations |
| 2022-05-24 |
Carl Andersson: Deep probabilistic models for sequential and hierarchical data |
| 2022-03-31 |
Amin Kaveh: Modelling and Analysis of Probabilistic Networks |
| 2022-03-04 |
Ylva Ljungberg Rydin: Finite Difference Methods for Time-Dependent Wave Propagation Problems |
| 2022-02-25 |
Johan Öfverstedt: Methods for Reliable Image Registration: Algorithms, Distance Measures, and Representations |
| 2022-02-17 |
Doktorand Kristina von Hausswolff: Practical thinking in programming education: Novices learning hands-on |
| 2022-02-04 |
Viktor Bro: Volterra Modeling and Estimation of the Human Smooth Pursuit |
| 2022-01-14 |
Khalid Mahmood: Scalable Data Management for Internet of Things |
|
2021
|
|
| 2021-12-17 |
Ghafour Ahani: Optimal Scheduling for Timely Information in Communication Systems |
| 2021-12-17 |
Christos Sakalis: Rethinking Speculative Execution from a Security Perspective |
| 2021-12-10 |
Rebecca Cort: Getting Work Done: The Significance of the Human in Complex Socio-Technical Systems |
| 2021-11-04 |
Lorenzo Corneo: Networked Latency Sensitive Applications - Performance Issues between Cloud and Edge |
| 2021-09-10 |
Adrien Coulier: Multiscale Modeling in Systems Biology: Methods and Perspectives |
| 2021-06-04 |
Fredrik Wrede: Large-scale simulation-based experiments with stochastic models using machine learning-assisted approaches: Applications in systems biology using Markov jump processes |
| 2021-05-12 |
Leslie Solorzano: Image Processing, Machine Learning and Visualization for Tissue Analysis |
| 2021-04-26 |
Arve Gengelbach: Conservative Definitions for Higher-order Logic with Ad-hoc Overloading |
| 2021-04-23 |
Gustav Björdal: From Declarative Models to Local Search |
| 2021-04-16 |
Jonatan Werpers: Finite Difference Methods for Wave Dominated Problems |
| 2021-03-25 |
Jan Kudlicka: Probabilistic Programming for Birth-Death Models of Evolution |
| 2021-03-05 |
Oscar Samuelsson: Sensor Fault Detection and Process Monitoring in Water Resource Recovery Facilities |
| 2021-02-26 |
Malin Källén: Towards Higher Code Quality in Scientific Computing |
| 2021-02-01 |
Phi Diep Bui: On Solving String Constraints |
| 2021-01-21 |
Anton G. Artemov: Parallelization of dynamic algorithms for electronic structure calculations |
| 2021-01-18 |
Francisco Ramón Fernández Reyes: Abstractions to Control the Future |
|
2020
|
|
| 2020-12-15 |
Xiuming Liu: Statistical Data Analysis for Internet-of-Things: Scalability, Reliability, and Robustness |
| 2020-12-11 |
Yuan Gao: Machine Behavior Development and Analysis using Reinforcement Learning |
| 2020-11-02 |
Fayiq Alghamdi: Dimensions of Professionalism: A Study of Computer Science Teaching in Saudi Arabia |
| 2020-10-29 |
Gabriele Partel: Image and Data Analysis for Spatially Resolved Transcriptomics: Decrypting fine-scale spatial heterogeneity of tissue's molecular architecture |
| 2020-10-23 |
Maike Paetzel-Prüsmann: The Novelty in the Uncanny: Designing Interactions to Change First Impressions |
| 2020-10-02 |
Mehdi Alipour: Rethinking Dynamic Instruction Scheduling and Retirement for Efficient Microarchitectures |
| 2020-09-24 |
Kim-Anh Tran: Finding and Exploiting Memory-Level-Parallelism in Constrained Speculative Architectures |
| 2020-09-04 |
Norberto Patrignani: Teaching Computer Ethics: Steps towards Slow Tech, a Good, Clean, and Fair ICT |
| 2020-08-28 |
Fredrik Olsson: Inertial motion capture for ambulatory analysis of human movement and balance |
| 2020-05-25 |
Carlos Pérez-Penichet: Seamless Integration of Battery-Free Communications in Commodity Wireless Networks |
| 2020-03-31 |
Jing Liu: Towards Fast and Robust Algorithms in Flash X-ray single-particle Imaging |
| 2020-03-13 |
Fredrik Nysjö: Modeling and Visualization for Virtual Interaction with Medical Image Data |
| 2020-02-27 |
Ida Löscher: Aiming at Moving Targets: Applying Cognitive Work Analysis to Work Domains in Transition |
|
2019
|
|
| 2019-12-18 |
Peter Backeman: Quantifiers and Theories: A Lazy Approach |
| 2019-12-12 |
Damian J. Matuszewski: Image and Data Analysis for Biomedical Quantitative Microscopy |
| 2019-12-06 |
Teo Asplund: Precise Image-Based Measurements through Irregular SamplingNoggranna bildbaserade mätningar via irreguljär sampling |
| 2019-11-08 |
Anastasia Kruchinina: Efficient Density Matrix Methods for Large Scale Electronic Structure Calculations |
| 2019-10-18 |
Gong Cheng: Numerical ice sheet modeling: Forward and inverse problems |
| 2019-10-10 |
Marco Capuccini: Enabling Scalable Data Analysis on Cloud Resources with Applications in Life Science |
| 2019-10-07 |
Lei You: Network Optimization of Evolving Mobile Systems with Presence of Interference Coupling |
| 2019-08-26 |
Ricardo Alves: Leveraging Existing Microarchitectural Structures to Improve First-Level Caching Efficiency |
| 2019-06-14 |
Diana Yamalova: Hybrid observers for systems with intrinsic pulse-modulated feedback |
| 2019-06-05 |
Amit Suveer: Methods for Processing and Analysis of Biomedical TEM Images |
| 2019-06-04 |
Tomas Wilkinson: Learning based Word Search and Visualisation for Historical Manuscript Images |
| 2019-05-17 |
Amendra Shrestha: Techniques for analyzing digital environments from a security perspective |
| 2019-05-08 |
Kalyan Ram Ayyalasomayajula: Learning based segmentation and generation methods for handwritten document images |
| 2019-03-08 |
Anton Axelsson: Knowledge elicitation as abstraction of purposive behaviour |
| 2019-02-15 |
Nikos Nikoleris: Efficient Memory Modeling During Simulation and Native Execution |
| 2019-01-23 |
Stephan Brandauer: Structured Data |
| 2019-01-21 |
Tuan-Phong Ngo: Model Checking of Software Systems under Weak Memory Models |
|
2018
|
|
| 2018-12-04 |
Germán Ceballos: Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and Graphics |
| 2018-11-23 |
Saleh Rezaeiravesh: Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent Flows |
| 2018-10-12 |
Andreas Svensson: Machine learning with state-space models, Gaussian processes and Monte Carlo methods |
| 2018-09-28 |
Slobodan Milovanović: Radial Basis Function generated Finite Difference Methods for Pricing of Financial Derivatives |
| 2018-09-21 |
Timofey Mukha: Modelling Techniques for Large-Eddy Simulation of Wall-Bounded Turbulent Flows |
| 2018-09-14 |
Kjell Winblad: Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures |
| 2018-06-07 |
Andreas Löscher: Targeted Property-Based Testing with Applications in Sensor Networks |
| 2018-05-30 |
Yunyun Zhu: Caches, Transactions and Memories: Models, Coherence and Consistency |
| 2018-05-25 |
Rubén Cubo: Model-based optimization for individualized deep brain stimulation |
| 2018-05-25 |
Simon Sticko: High Order Cut Finite Element Methods for Wave Equations |
| 2018-05-18 |
Sven-Erik Ekström: Matrix-Less Methods for Computing Eigenvalues of Large Structured Matrices |
| 2018-05-07 |
Ambuj Varshney: Enabling Sustainable Networked Embedded Systems |
| 2018-04-10 |
Jonatan Lindén: Synchronization Techniques in Parallel Discrete Event Simulation |
| 2018-03-02 |
Afshin Zafari: Advances in Task-Based Parallel Programming for Distributed Memory Architectures |
| 2018-02-09 |
Elias Castegren: Capability-Based Type Systems for Concurrency Control |
| 2018-02-02 |
Stavros Aronis: Effective Techniques for Stateless Model Checking |
| 2018-01-23 |
Aleksandar Zeljic: From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types |
| 2018-01-19 |
Victor Shcherbakov: Localised Radial Basis Function Methods for Partial Differential Equations |
| 2018-01-12 |
Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issues |
|
2017
|
|
| 2017-12-15 |
María Andreína Francisco Rodríguez: Analysis, synthesis and application of automaton-based constraint descriptions |
| 2017-12-11 |
Pavol Bauer: Parallelism in Event-Based Computations with Applications in Biology |
| 2017-12-08 |
Ali Dorostkar: Analysis and Implementation of Preconditioners for Prestressed Elasticity Problems: Advances and Enhancements |
| 2017-12-01 |
Anne-Kathrin Peters: Learning Computing at University: Participation and Identity: A Longitudinal Study |
| 2017-11-10 |
Sajith Kecheril Sadanandan: Deep Neural Networks and Image Analysis for Quantitative Microscopy |
| 2017-10-27 |
Hanna Holmgren: Modelling of Moving Contact Lines in Two-Phase Flows |
| 2017-09-15 |
Thomas Lind: Inertia in Sociotechnical Systems: On IT-related Change Processes in Organisations |
| 2017-06-13 |
Siyang Wang: Finite Difference and Discontinuous Galerkin Methods for Wave Equations |
| 2017-06-09 |
Karl Ljungkvist: Finite Element Computations on Multicore and Graphics Processors |
| 2017-06-08 |
Mahdad Davari: Advances Towards Data-Race-Free Cache Coherence Through Data Classification |
| 2017-05-22 |
Kristína Lidayová: Fast Methods for Vascular Segmentation Based on Approximate Skeleton Detection |
| 2017-05-19 |
Fredrik Hellman: Numerical Methods for Darcy Flow Problems with Rough and Uncertain Data |
| 2017-03-24 |
Fredrik Wahlberg: Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts |
| 2017-02-10 |
Martin Almquist: Efficient Simulation of Wave Phenomena |
|
2016
|
|
| 2016-12-15 |
Andreas Sembrant: Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System Techniques |
| 2016-11-25 |
Per Mattsson: Modeling and identification of nonlinear and impulsive systems |
| 2016-11-23 |
Sobhan Badiozamany: Real-time data stream clustering over sliding windows |
| 2016-10-07 |
Fei Liu: Hand-held Augmented Reality for Facility Maintenance |
| 2016-10-06 |
Lars Melander: Integrating Visual Data Flow Programming with Data Stream Management |
| 2016-09-30 |
Konstantinos Koukos: Efficient Execution Paradigms for Parallel Heterogeneous Architectures |
| 2016-09-30 |
Johan Nysjö: Interactive 3D Image Analysis for Cranio-Maxillofacial Surgery Planning and Orthopedic Applications |
| 2016-09-29 |
Vasileios Spiliopoulos: Improving Energy-Efficiency of Multicores using First-Order Modeling |
| 2016-09-23 |
Hjalmar Wennerström: A Node-Link Perspective on the Impact of Local Conditions in Sensor Networks |
| 2016-09-22 |
Johannes Åman Pohjola: Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation results |
| 2016-09-09 |
Ramūnas Gutkovas: Languages, Logics, Types and Tools for Concurrent System Modelling |
| 2016-09-07 |
Carl Leonardsson: Verification of Software under Relaxed Memory |
| 2016-08-17 |
Cheng Xu: Scalable Validation of Data Streams |
| 2016-06-10 |
Adriaan Larmuseau: Protecting Functional Programs From Low-Level Attackers |
| 2016-06-10 |
Lina Meinecke: Stochastic Simulation of Multiscale Reaction-Diffusion Models via First Exit Times |
| 2016-06-09 |
Omer Ishaq: Image Analysis and Deep Learning for Applications in Microscopy |
| 2016-06-07 |
Behrang Mahjani: Methods from Statistical Computing for Genetic Analysis of Complex Traits |
| 2016-06-03 |
Josefin Ahlkrona: Computational Ice Sheet Dynamics: Error control and efficiency |
| 2016-05-04 |
Thanh Truong: Main-Memory Query Processing Utilizing External Indexes |
| 2016-04-29 |
Liang Dai: Identification using Convexification and Recursion |
| 2016-04-21 |
Johan Blom: Model-Based Protocol Testing in an Erlang Environment |
| 2016-03-30 |
Minpeng Zhu: Scalable Queries over Log Database Collections |
| 2016-03-23 |
Andrej Andrejev: Semantic Web Queries over Scientific Data |
| 2016-03-21 |
Muneeb Khan: Optimizing Performance in Highly Utilized Multicores with Intelligent Prefetching |
| 2016-03-14 |
Joseph Scott: Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types |
| 2016-03-07 |
Xiaoyue Pan: Performance Modeling of Multi-core Systems: Caches and Locks |
| 2016-02-26 |
Johannes Nygren: Input-Output Stability Analysis of Networked Control Systems |
| 2016-02-18 |
Nicolas Tsiftes: Storage-Centric System Architectures for Networked, Resource-Constrained Devices |
| 2016-02-12 |
Emil Kieri: Numerical Methods for Wave Propagation: Analysis and Applications in Quantum Dynamics |
| 2016-01-18 |
Johan Östlund: Language Constructs for Safe Parallel Programming on Multi-Cores |
| 2016-01-18 |
Kristoffer Virta: Numerics of Elastic and Acoustic Wave Motion |
| 2016-01-15 |
Pontus Ekberg: Models and Complexity Results in Real-Time Scheduling Theory |
| 2016-01-14 |
Adama Arouna Koné: Géométrie digitale utilisée pour la discretisation et le recouvrement optimal des objets euclidiens |
|
2015
|
|
| 2015-12-18 |
Elisabeth Schold Linnér: Image processing on optimal volume sampling lattices: Thinking outside the boxBildbehandling på optimala samplingsgitter: Att tänka utanför ramen |
| 2015-12-17 |
Sofia Cassel: Learning Component Behavior from Tests: Theory and Algorithms for Automata with Data |
| 2015-11-27 |
Daniel Jansson: Identification Techniques for Mathematical Modeling of the Human Smooth Pursuit System |
| 2015-11-18 |
Frédéric Haziza: Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis |
| 2015-10-30 |
Daniel Elfverson: Multiscale Methods and Uncertainty Quantification |
| 2015-10-16 |
Pontus Olsson: Haptics with Applications to Cranio-Maxillofacial Surgery Planning |
| 2015-06-12 |
Azadeh Fakhrzadeh: Computerized Cell and Tissue Analysis |
| 2015-05-12 |
Olov Rosén: Parallel Stochastic Estimation on Multicore Platforms |
| 2015-05-08 |
Marcus Björk: Contributions to Signal Processing for MRI |
| 2015-05-04 |
Simon Tschirner: The GMOC Model: Supporting Development of Systems for Human Control |
| 2015-03-13 |
Farshid Hassani Bijarbooneh: Constraint Programming for Wireless Sensor Networks |
|
2014
|
|
| 2014-12-12 |
Magnus Grandin: Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore Processors |
| 2014-11-25 |
Håkan Selg: Researching the Use of the Internet: A Beginner's Guide |
| 2014-11-21 |
Margarida M. Silva: Nonlinear Modeling and Feedback Control of Drug Delivery in Anesthesia |
| 2014-10-20 |
Jimmy Azar: Automated Tissue Image Analysis Using Pattern Recognition |
| 2014-10-17 |
Frederik Hermans: Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken Packets |
| 2014-10-17 |
Hans Norlander: Modelling and Control Methods with Applications to Mechanical Waves |
| 2014-10-14 |
Mojtaba Soltanalian: Signal Design for Active Sensing and Communications |
| 2014-09-19 |
Soma Tayamon: Nonlinear System Identification and Control Applied to Selective Catalytic Reduction Systems |
| 2014-06-09 |
Fredrik Bjurefors: Opportunistic Networking: Congestion, Transfer Ordering and Resilience |
| 2014-06-04 |
Mikael Erlandsson: What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitation |
| 2014-05-23 |
Vladimir Ćurić: Distance Functions and Their Use in Adaptive Mathematical Morphology |
| 2014-05-23 |
Martin Tillenius: Scientific Computing on Multicore Architectures |
| 2014-05-22 |
Andreas Sandberg: Understanding Multicore Performance: Efficient Memory System Modeling and Simulation |
| 2014-05-16 |
Mikael Laaksoharju: Designing for Autonomy |
| 2014-04-29 |
Linda Åmand: Ammonium Feedback Control in Wastewater Treatment Plants |
| 2014-04-11 |
Martin Stigge: Real-Time Workload Models: Expressiveness vs. Analysis Efficiency |
| 2014-04-11 |
Andreas Kårsnäs: Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer Diagnosis |
| 2014-03-21 |
Gustaf Kylberg: Automatic Virus Identification using TEM: Image Segmentation and Texture AnalysisAutomatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalys |
| 2014-03-14 |
Anette Löfström: Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCI |
| 2014-03-03 |
Egi Hidayat: On Identification of Biological Systems |
| 2014-02-07 |
Patrik Malm: Image Analysis in Support of Computer-Assisted Cervical Cancer Screening |
|
2013
|
|
| 2013-12-17 |
Nan Guan: New Techniques for Building Timing-Predictable Embedded Systems |
| 2013-06-14 |
Silvia Stefanova: Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web Representations |
| 2013-06-05 |
Stefan Hellander: Stochastic Simulation of Reaction-Diffusion Processes |
| 2013-05-24 |
Rebecka Janols: Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption |
| 2013-04-26 |
Jun He: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search |
| 2013-02-08 |
Per Pettersson: Uncertainty Quantification and Numerical Methods for Conservation Laws |
| 2013-02-01 |
Jens Berg: Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem |
|
2012
|
|
| 2012-12-21 |
David Eklöv: Profiling Methods for Memory Centric Software Performance Analysis |
| 2012-12-07 |
Sofia Eriksson: Stable Numerical Methods with Boundary and Interface Treatment for Applications in Aerodynamics |
| 2012-11-14 |
Ioana Rodhe: Secure and Privacy-Aware Data Collection in Wireless Sensor Networks |
| 2012-10-26 |
Carl Nettelblad: Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype Inference |
| 2012-10-19 |
Prabhu Babu: Spectral Analysis of Nonuniformly Sampled Data and Applications |
| 2012-10-19 |
Katharina Kormann: Efficient and Reliable Simulation of Quantum Molecular Dynamics |
| 2012-10-12 |
Olof Rensfelt: Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and Interference |
| 2012-10-01 |
Rafał Somla: Logics and Algorithms for Verification of Concurrent Systems |
| 2012-09-24 |
Xin He: On some Numerical Methods and Solution Techniques for Incompressible Flow Problems |
| 2012-09-21 |
Erik Lehto: High Order Local Radial Basis Function Methods for Atmospheric Flow Simulations |
| 2012-06-15 |
Petia Boyanova: On Numerical Solution Methods for Block-Structured Discrete Systems |
| 2012-06-14 |
Salman Zubair Toor: Managing Applications and Data in Distributed Computing Infrastructures |
| 2012-06-08 |
Kenneth Duru: Perfectly Matched Layers and High Order Difference Methods for Wave Equations |
| 2012-01-13 |
Martin Kronbichler: Computational Techniques for Coupled Flow-Transport Problems |
|
2011
|
|
| 2011-12-02 |
Milan Gavrilovic: Spectral Image Processing with Applications in Biotechnology and Pathology |
| 2011-11-25 |
Anna Nissen: High Order Finite Difference Methods with Artificial Boundary Treatment in Quantum Dynamics |
| 2011-11-24 |
Fredrik Österlind: Improving Low-Power Wireless Protocols with Timing-Accurate Simulation |
| 2011-11-11 |
Amin Allalou: Methods for 2D and 3D Quantitative Microscopy of Biological Samples |
| 2011-11-07 |
Qaisar Abbas: Weak Boundary and Interface Procedures for Wave and Flow Problems |
| 2011-10-25 |
M. Khalid Khan Niazi: Image Filtering Methods for Biomedical Applications |
| 2011-09-20 |
Erik Zeitler: Scalable Parallelization of Expensive Continuous Queries over Massive Data Streams |
| 2011-06-10 |
Andreas Hellander: Multiscale Stochastic Simulation of Reaction-Transport Processes: Applications in Molecular Systems Biology |
| 2011-05-06 |
Filip Malmberg: Graph-based Methods for Interactive Image Segmentation |
| 2011-04-09 |
Mats Daniels: Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning Environment |
|
2010
|
|
| 2010-10-08 |
Manivasakan Sabesan: Querying Data Providing Web Services |
| 2010-06-04 |
Jonas Boustedt: On the Road to a Software Profession: Students’ Experiences of Concepts and Thresholds |
| 2010-06-04 |
Jesper Bengtson: Formalising process calculi |
| 2010-05-31 |
Magnus Johansson: Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logic |
| 2010-05-26 |
Åsa Cajander: Usability – Who Cares?: The Introduction of User-Centred Systems Design in Organisations |
| 2010-05-21 |
Björn Halvarsson: Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen Removal |
| 2010-05-20 |
Magnus Gedda: Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron Tomography |
| 2010-05-07 |
Agnes Rensfelt: Viscoelastic Materials: Identification and Experiment Design |
| 2010-04-23 |
Erik Gudmundson: Signal Processing for Spectroscopic Applications |
| 2010-04-16 |
Mattias Wiggberg: Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ Expectations |
| 2010-02-26 |
Rajitha Udawalpola: Shape Optimization for Acoustic Wave Propagation Problems |
| 2010-02-25 |
Mahen Jayawardena: An e-Science Approach to Genetic Analysis of Quantitative Traits |
|
2009
|
|
| 2009-09-18 |
Jim Wilenius: Bidding in Combinatorial Auctions |
| 2009-06-12 |
John Håkansson: Design and Verification of Component Based Real-Time Systems |
| 2009-06-03 |
Jan Henry Nyström: Analysing Fault Tolerance for Erlang Applications |
| 2009-05-15 |
Pavel Krcal: Infinite Structures in Timed Systems |
| 2009-04-24 |
Henrik Johansson: Autonomic Management of Partitioners for SAMR Grid Hierarchies |
| 2009-04-03 |
Eddie Wadbro: Topology Optimization for Wave Propagation Problems |
| 2009-03-19 |
Therese Bohlin: Regular Inference for Communication Protocol Entities |
| 2009-03-06 |
Anna Eckerdal: Novice Programming Students' Learning of Concepts and Practise |
| 2009-02-27 |
Amalka Pinidiyaarachchi: Digital Image Analysis of Cells: Applications in 2D, 3D and Time |
| 2009-02-02 |
Ruslan Fomkin: Optimization and Execution of Complex Scientific Queries |
|
2008
|
|
| 2008-12-05 |
Oskar Wibling: Creating Correct Network Protocols |
| 2008-11-28 |
Stefan Engblom: Numerical Solution Methods in Stochastic Chemical Kinetics |
| 2008-11-28 |
Björn Holmberg: Estimating Human Limb Motion Using Skin Texture and Particle Filtering |
| 2008-11-21 |
Lisa Kaati: Reduction Techniques for Finite (Tree) Automata |
| 2008-11-07 |
Robin Strand: Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic grids |
| 2008-09-26 |
Mei Hong: Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems |
| 2008-09-19 |
Patrick Karlsson Edlund: Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cellsMetoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelceller |
| 2008-06-13 |
Erik Nordström: Challenged Networking: An Experimental Study of new Protocols and Architectures |
| 2008-06-09 |
Noomene Ben Henda: Infinite-state Stochastic and Parameterized Systems |
| 2008-05-26 |
Johan Petrini: Querying RDF Schema Views of Relational Databases |
| 2008-05-23 |
Olga Grinchtein: Learning of Timed Systems |
| 2008-05-23 |
Peter Nauclér: Estimation and Control of Resonant Systems with Stochastic Disturbances |
| 2008-04-25 |
Linda Brus: Nonlinear Identification and Control with Solar Energy Applications |
| 2008-04-18 |
Mayank Saksena: Verifying Absence of ∞ Loops in Parameterized Protocols |
| 2008-04-15 |
Ahmed Rezine: Parameterized Systems: Generalizing and Simplifying Automatic Verification |
| 2008-02-08 |
Erik Vidholm: Visualization and Haptics for Interactive Medical Image AnalysisVisualisering och Haptik för Interaktiv Medicinsk Bildanalys |
| 2008-02-01 |
Lars Winkler Pettersson: Collaborative Visualization: Designing and evaluating systems for co-located work |
| 2008-01-18 |
Magnus Ågren: Set Constraints for Local Search |
|
2007
|
|
| 2007-12-20 |
Jing Gong: Hybrid Methods for Unsteady Fluid Flow Problems in Complex Geometries |
| 2007-12-14 |
Niklas Hardenborg: Designing Work and IT Systems: A Participatory Process that Supports Usability and Sustainability |
| 2007-12-10 |
Magnus Evestedt: Parameter and State Estimation with Information-rich Signals |
| 2007-11-30 |
Paul Sjöberg: Numerical Methods for Stochastic Modeling of Genes and Proteins |
| 2007-10-12 |
Yngve Selén: Model Selection and Sparse Modeling |
| 2007-05-21 |
Anders Hessel: Model-Based Test Case Generation for Real-Time Systems |
| 2007-05-11 |
Erik Bängtsson: Robust Preconditioners Based on the Finite Element Framework |
| 2007-04-20 |
Malin Ljungberg: Design of High Performance Computing Software for Genericity and Variability |
| 2007-03-23 |
Sven Sandberg: Games and Probabilistic Infinite-State Systems |
| 2007-03-16 |
Niclas Sandgren: Advanced Spectral Analysis with Applications |
| 2007-02-09 |
Stina Nylander: Design and Implementation of Multi-Device ServicesUtveckling av tjänster med multipla användargränssnitt |
|
2006
|
|
| 2006-10-20 |
Richard Abrahamsson: Estimation Problems in Array Signal Processing, System Identification, and Radar ImageryEstimeringsproblem inom arraysignalbehandling, systemidentifiering och radar |
| 2006-10-20 |
Markus Nordén: Multithreaded PDE Solvers on Non-Uniform Memory Architectures |
| 2006-10-13 |
Håkan Zeffer: Towards Low-Complexity Scalable Shared-Memory Architectures |
| 2006-10-07 |
Henrik Löf: Iterative and Adaptive PDE Solvers for Shared Memory ArchitecturesIterativa och adaptiva PDE-lösare för parallelldatorer med gemensam minnesorganisation |
| 2006-09-29 |
Jonas Persson: Accurate Finite Difference Methods for Option Pricing |
| 2006-06-02 |
Johann Deneux: Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods |
| 2006-05-24 |
Dan Wallin: Methods for Creating and Exploiting Data Locality |
| 2006-01-20 |
Olivier Amoignon: Numerical Methods for Aerodynamic Shape Optimization |
| 2006-01-16 |
Kidane Yemane: Relations in Models of Calculi and Logics with Names |
| 2006-01-13 |
Martin Karlsson: Memory System Design for Chip-Multiprocessors |
| 2006-01-13 |
Kajsa Ljungberg: Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations |
|
2005
|
|
| 2005-12-16 |
Richard Gold: An Indirection Architecture for the Internet |
| 2005-12-16 |
Julia Åhlén: Colour Correction of Underwater Images Using Spectral Data |
| 2005-12-02 |
Pasha Razifar: Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis |
| 2005-11-18 |
Zoran Radovic: Software Techniques for Distributed Shared Memory |
| 2005-11-10 |
Erik Berg: Efficient and Flexible Characterization of Data Locality through Native Execution Sampling |
| 2005-11-07 |
Milena Ivanova: Scalable Scientific Stream Query Processing |
| 2005-11-04 |
Erik Abenius: Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain |
| 2005-10-21 |
Inger Boivie: A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace |
| 2005-10-21 |
Mats Ekman: Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process |
| 2005-10-19 |
Patrik Forssén: Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography |
| 2005-10-07 |
Pär Samuelsson: Control of Nitrogen Removal in Activated Sludge Processes |
| 2005-09-23 |
Hamed Hamid Muhammed: Hyperspectral Image Generation, Processing and Analysis |
| 2005-05-25 |
Claes Olsson: Active Vibration Control of Multibody Systems: Application to Automotive Design |
| 2005-05-13 |
Per Sundqvist: Numerical Computations with Fundamental SolutionsNumeriska beräkningar med fundamentallösningar |
| 2005-04-29 |
Anders Berglund: Learning computer systems in a distributed project course: The what, why, how and where |
| 2005-03-23 |
Pritha Mahata: Model Checking Parameterized Timed Systems |
| 2005-03-21 |
Henrik Lundgren: Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols |
| 2005-03-02 |
Marcus Nilsson: Regular Model Checking |
| 2005-02-18 |
Henrik Björklund: Combinatorial Optimization for Infinite Games on Graphs |
| 2005-02-04 |
Erik Borälv: Design in Telemedicine: Development and Implementation of Usable Computer Systems |
| 2005-01-26 |
Emad Abd-Elrady: Nonlinear Approaches to Periodic Signal Modeling |
|
2004
|
|
| 2004-12-16 |
Per Carlsson: Algorithms for Electronic Power Markets |
| 2004-12-10 |
Jenny Öhman Persson: The Obvious & The Essential: Interpreting Software Development & Organizational Change |
| 2004-11-12 |
Magnus Svärd: Stable High-Order Finite Difference Methods for AerodynamicsStabila högordnings finita differensmetoder för aerodynamik |
| 2004-06-04 |
Eva Olsson: Designing Work Support Systems – For and With Skilled Users |
| 2004-06-03 |
Bharath Bhikkaji: Model Reduction and Parameter Estimation for Diffusion Systems |
| 2004-06-01 |
Bengt Göransson: User-Centred Systems Design: Designing Usable Interactive Systems in PracticeAnvändarcentrerad systemdesign: Design av användbara interaktiva system i praktiken |
| 2004-05-19 |
Felix Wehrmann: On Modelling Nonlinear Variation in Discrete Appearances of Objects |
| 2004-04-29 |
Anders Hast: Improved Algorithms for Fast Shading and Lighting |
| 2004-04-23 |
Per Åhgren: On System Identification and Acoustic Echo CancellationSystemidentifiering och Akustisk Ekoutsläckning |
| 2004-02-06 |
Erik Larsson: Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao Bounds |
| 2004-01-30 |
Martin Nilsson: Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain |
|
2003
|
|
| 2003-12-12 |
Kaushik Mahata: Estimation Using Low Rank Signal Models |
| 2003-12-04 |
Aletta Nylén: Compact Constraints for Verification of Well Quasi-Ordered Programs |
| 2003-11-26 |
Elena Fersman: A Generic Approach to Schedulability Analysis of Real-Time Systems |
| 2003-11-26 |
Alexandre David: Hierarchical Modeling and Analysis of Real Time Systems |
| 2003-11-25 |
Julien d'Orso: New Directions in Symbolic Model Checking |
| 2003-11-11 |
Timour Katchaounov: Query Processing for Peer Mediator Databases |
| 2003-10-31 |
Carolina Wählby: Algorithms for Applied Digital Image Cytometry |
| 2003-10-24 |
Wendy Kress: High Order Finite Difference Methods in Space and Time |
| 2003-10-10 |
Roger Hult: Segmentation and Visualisation of Human Brain Structures |
| 2003-09-26 |
Abraham Zemui: High Order Symmetric Finite Difference Schemes for the Acoustic Wave Equation |
| 2003-09-19 |
Daniel Noreland: Numerical Techniques for Acoustic Modelling and Design of Brass Wind Instruments |
| 2003-06-03 |
Andreas Ermedahl: A Modular Tool Architecture for Worst-Case Execution Time Analysis |
| 2003-05-09 |
Ken Mattsson: Summation-by-Parts Operators for High Order Finite Difference Methods |
| 2003-03-28 |
Petra Philipson née Ammenberg: Environmental Applications of Aquatic Remote Sensing |
| 2003-02-17 |
Bob Melander: Probing-Based Approaches to Bandwidth Measurements and Network Path Emulation |
| 2003-01-17 |
Joakim Lindblad: Development of Algorithms for Digital Image Cytometry |
|
2002
|
|
| 2002-12-13 |
Johan Steensland: Efficient Partitioning of Dynamic Structured Grid Hierarchies |
| 2002-12-06 |
Carl Åborg: How does IT feel @ work? And how to make IT better: Computer use, stress and health in office work |
| 2002-11-29 |
Bengt Eliasson: Numerical Vlasov–Maxwell Modelling of Space Plasma |
| 2002-11-01 |
Erik Stenman: Efficient Implementation of Concurrent Programming Languages |
| 2002-10-04 |
Kjartan Halvorsen: Model-based Methods in Motion Capture |
| 2002-09-27 |
Girish Ganesan: Designing Space-Time Codes Using Orthogonal Designs |
| 2002-09-06 |
Fredrik Edelvik: Hybrid Solvers for the Maxwell Equations in Time-Domain |
| 2002-06-07 |
Johan Bengtsson: Clocks, DBMs and States in Timed Systems |
| 2002-05-27 |
Thiemo Voigt: Architectures for Service Differentiation in Overloaded Internet Servers |
| 2002-04-19 |
Jakob Engblom: Processor Pipelines and Static Worst-Case Execution Time Analysis |
| 2002-02-01 |
Erik G. Larsson: The ubiquitous signal processing: Applications to communications, spectral analysis and array processing |
|
2001
|
|
| 2001-11-30 |
Roger Lundqvist: Atlas-Based Fusion of Medical Brain Images: Methods and Applications |
| 2001-05-02 |
Björn Knutsson: Architectures for application transparent proxies: A study of network enhancing software |
| 2001-04-20 |
Tomas Sundin: Spectral analysis and magnetic resonance spectroscopy |
| 2001-02-09 |
Henrik Brandén: Convergence Acceleration for Flow Problems |
| 2001-01-12 |
Lars Thalmann: Term-modal logic and quantifier-free dynamic assignment logic |
|
2000
|
|
| 2000-12-22 |
Jonas Nilsson: Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids |
| 2000-05-31 |
Magnus Mossberg: Identification of viscoelastic materials and continuous-time stochastic systems |
| 2000-05-24 |
Mikael Sjödin: Predictable high-speed communications for distributed real-time systems |
| 2000-05-19 |
Elisabeth Larsson: Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz Equation |
| 2000-05-19 |
Jakob Carlström: Reinforcement learning for admission control and routing |
| 2000-05-08 |
Jan Gustafsson: Analyzing execution-time of object-oriented programs using abstract interpretation |
| 2000-04-14 |
Kristina Lundqvist: Distributed computing and safety critical systems in Ada |
| 2000-03-31 |
Greger Ottosson: Integration of Constraint Programming and Integer Programming for Combinatorial Optimization |
| 2000-02-11 |
Andreas Jakobsson: Model-based and matched-filterbank signal analysis |
| 2000-01-14 |
Annica Önell: Quantifying human balance: Analysis of force plate data |
|
1999
|
|
| 1999-10-15 |
Hans Frimmel: Positioning Biopsy Needles in the Prostate Gland Using 3D Computer Modelling |
| 1999-06-07 |
Mats Kindahl: Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms |
| 1999-06-01 |
Per Mildner: Type Domains for Abstract Interpretation: A critical study |
| 1999-03-12 |
Catherine Östlund: Analysis of Imaging Spectrometer Data with Lake Environment Applications |
| 1999-02-26 |
Krister Åhlander: An Object-Oriented Framework for PDE Solvers |
| 1999-02-19 |
Karl Hörnell: Runge–Kutta Time Step Selection for Flow Problems |
| 1999-02-19 |
Paul Pettersson: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice |
| 1999-02-05 |
Joakim Sorelius: Subspace-Based Parameter Estimation Problems in Signal Processing |
|
1998
|
|
| 1998-12-11 |
Ernst Nordström: Markov Decision Problems in ATM Traffic Control |
| 1998-09-25 |
Pierangelo Dell'Acqua: Reflection Principles in Computational Logic |
| 1998-06-04 |
Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes |
| 1998-04-17 |
Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE Solvers |
| 1998-03-27 |
Petter Ranefall: Towards Automatic Quantification of Immunohistochemistry Using Colour Image Analysis |
|
1997
|
|
| 1997-11-07 |
Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow Problems |
| 1997-10-24 |
Mats Holmström: Wavelet Based Methods for Time Dependent PDEs |
| 1997-06-06 |
Margus Veanes: On Simultaneous Rigid E-Unification |
| 1997-05-23 |
Johan Montelius: Exploiting Fine-grain Parallelism in Concurrent Constraint Languages |
| 1997-05-23 |
Ingela Nyström: On Quantitative Shape Analysis of Digital Volume Images |
| 1997-03-21 |
Bengt Ahlgren: Improving Computer Communication Performance by Reducing Memory Bandwidth Consumption |
|
1996
|
|
| 1996-12-11 |
Thomas Lindgren: Compilation Techniques for Prolog |
| 1996-12-06 |
Johan Waldén: Wavelet Solvers for Hyperbolic PDEs |
| 1996-11-20 |
Johan Bevemyr: Data-parallel Implementation of Prolog |
| 1996-10-31 |
Torsten Jarkrans: Algorithms for Cell Image Analysis in Cytology and Pathology |
| 1996-09-20 |
Heung-Kook Choi: New Methods for Image Analysis of Tissue Sections |
| 1996-06-06 |
David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source Terms |
| 1996-05-03 |
Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value Problems |
| 1996-04-17 |
Sven-Olof Nyström: Denotational Semantics for Asynchronous Concurrent Languages |
| 1996-03-15 |
Lars Björnfot: Specification and Implementation of Distributed Real-Time Systems for Embedded Applications |
|
1995
|
|
| 1995-09-29 |
Torkel Hjerpe: High-level specification and efficient solving of constraint satisfaction problems |
| 1995-05-19 |
Eva Pärt-Enander: Overlapping Grids and Applications in Gas Dynamics |
| 1995-05-05 |
Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEs |
|
1994
|
|
| 1994-11-18 |
Thomas Johansson: Image Analysis Algorithms on General Purpose Parallel Architectures |
| 1994-05-24 |
Lennart Thurfjell: An Adjustable 3D Brain Atlas for Quantitative Analysis of Neuroimaging Data: Algorithmical and Methodological Aspects |
| 1994-05-05 |
Finn Pedersen: Interactive Explorative Analysis of Multivariate Images Using Principal Components |
|
1993
|
|
| 1993-05-26 |
Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes Equations |
| 1993-05-14 |
Curt L. Orbert: Algorithms in 2D for Detection of Object Orientation Using Distance Transformations |
| 1993-05-13 |
Kurt Otto: Construction and Analysis of Preconditioners for First-order PDE |
| 1993-05-13 |
Sverker Holmgren: Fast Solvers for First-order PDE |
|
1992
|
|
| 1992-04-24 |
Pelle Olsson: High-Order Difference Methods and Dataparallel Implementation |
|
1989
|
|
| 1989-06-06 |
Bo Nordin: The Development of an Automated Prescreener for the Early Detection of Cervical Cancer: Algorithms and Implementation |
|
1988
|
|
| 1988-12-16 |
Bengt Dahlqvist: Application of Decision Models to Some Problems in Image Analysis |
