Avhandlingar från institutionen för informationsteknologi

Se också kommande disputationer publicerade för disputation. (Data nedan hämtas från Digitala vetenskapliga arkivet vid Uppsala universitet.)

Sortering:

Äldre avhandlingar: Avdelningen för datalogi | Avdelningen för datorteknik | Avdelningen för systemteknik | Avdelningen för teknisk databehandling | Centrum för bildanalys

2019
2019-10-10 Marco Capuccini: Enabling Scalable Data Analysis on Cloud Resources with Applications in Life ScienceExtern länk
2019-10-07 Lei You: Network Optimization of Evolving Mobile Systems with Presence of Interference CouplingExtern länk
2019-08-26 Ricardo Alves: Leveraging Existing Microarchitectural Structures to Improve First-Level Caching EfficiencyExtern länk
2019-06-14 Diana Yamalova: Hybrid observers for systems with intrinsic pulse-modulated feedbackExtern länk
2019-06-05 Amit Suveer: Methods for Processing and Analysis of Biomedical TEM ImagesExtern länk
2019-06-04 Tomas Wilkinson: Learning based Word Search and Visualisation for Historical Manuscript ImagesExtern länk
2019-05-17 Amendra Shrestha: Techniques for analyzing digital environments from a security perspectiveExtern länk
2019-05-08 Kalyan Ram Ayyalasomayajula: Learning based segmentation and generation methods for handwritten document imagesExtern länk
2019-03-08 Anton Axelsson: Knowledge elicitation as abstraction of purposive behaviourExtern länk
2019-02-15 Nikos Nikoleris: Efficient Memory Modeling During Simulation and Native ExecutionExtern länk
2019-01-23 Stephan Brandauer: Structured DataExtern länk
2019-01-21 Tuan-Phong Ngo: Model Checking of Software Systems under Weak Memory ModelsExtern länk
2018
2018-12-04 Germán Ceballos: Understanding Task Parallelism: Providing insight into scheduling, memory, and performance for CPUs and GraphicsExtern länk
2018-11-23 Saleh Rezaeiravesh: Application of Uncertainty Quantification Techniques to Studies of Wall-Bounded Turbulent FlowsExtern länk
2018-10-12 Andreas Svensson: Machine learning with state-space models, Gaussian processes and Monte Carlo methodsExtern länk
2018-09-28 Slobodan Milovanović: Radial Basis Function generated Finite Difference Methods for Pricing of Financial DerivativesExtern länk
2018-09-21 Timofey Mukha: Modelling Techniques for Large-Eddy Simulation of Wall-Bounded Turbulent FlowsExtern länk
2018-09-14 Kjell Winblad: Dynamic Adaptations of Synchronization Granularity in Concurrent Data StructuresExtern länk
2018-06-07 Andreas Löscher: Targeted Property-Based Testing with Applications in Sensor NetworksExtern länk
2018-05-30 Yunyun Zhu: Caches, Transactions and Memories: Models, Coherence and ConsistencyExtern länk
2018-05-25 Rubén Cubo: Model-based optimization for individualized deep brain stimulationExtern länk
2018-05-25 Simon Sticko: High Order Cut Finite Element Methods for Wave EquationsExtern länk
2018-05-18 Sven-Erik Ekström: Matrix-Less Methods for Computing Eigenvalues of Large Structured MatricesExtern länk
2018-05-07 Ambuj Varshney: Enabling Sustainable Networked Embedded SystemsExtern länk
2018-04-10 Jonatan Lindén: Synchronization Techniques in Parallel Discrete Event SimulationExtern länk
2018-03-02 Afshin Zafari: Advances in Task-Based Parallel Programming for Distributed Memory ArchitecturesExtern länk
2018-02-09 Elias Castegren: Capability-Based Type Systems for Concurrency ControlExtern länk
2018-02-02 Stavros Aronis: Effective Techniques for Stateless Model CheckingExtern länk
2018-01-23 Aleksandar Zeljić: From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data TypesExtern länk
2018-01-19 Victor Shcherbakov: Localised Radial Basis Function Methods for Partial Differential EquationsExtern länk
2018-01-12 Othmane Rezine: Verification of networks of communicating processes: Reachability problems and decidability issuesExtern länk
2017
2017-12-15 María Andreína Francisco Rodríguez: Analysis, synthesis and application of automaton-based constraint descriptionsExtern länk
2017-12-11 Pavol Bauer: Parallelism in Event-Based Computations with Applications in BiologyExtern länk
2017-12-08 Ali Dorostkar: Analysis and Implementation of Preconditioners for Prestressed Elasticity Problems: Advances and EnhancementsExtern länk
2017-12-01 Anne-Kathrin Peters: Learning Computing at University: Participation and Identity: A Longitudinal StudyExtern länk
2017-11-10 Sajith Kecheril Sadanandan: Deep Neural Networks and Image Analysis for Quantitative MicroscopyExtern länk
2017-10-27 Hanna Holmgren: Modelling of Moving Contact Lines in Two-Phase FlowsExtern länk
2017-09-15 Thomas Lind: Inertia in Sociotechnical Systems: On IT-related Change Processes in OrganisationsExtern länk
2017-06-13 Siyang Wang: Finite Difference and Discontinuous Galerkin Methods for Wave EquationsExtern länk
2017-06-09 Karl Ljungkvist: Finite Element Computations on Multicore and Graphics ProcessorsExtern länk
2017-06-08 Mahdad Davari: Advances Towards Data-Race-Free Cache Coherence Through Data ClassificationExtern länk
2017-05-22 Kristína Lidayová: Fast Methods for Vascular Segmentation Based on Approximate Skeleton DetectionExtern länk
2017-05-19 Fredrik Hellman: Numerical Methods for Darcy Flow Problems with Rough and Uncertain DataExtern länk
2017-03-24 Fredrik Wahlberg: Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern ManuscriptsExtern länk
2017-02-10 Martin Almquist: Efficient Simulation of Wave PhenomenaExtern länk
2016
2016-12-15 Andreas Sembrant: Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System TechniquesExtern länk
2016-11-25 Per Mattsson: Modeling and identification of nonlinear and impulsive systemsExtern länk
2016-11-23 Sobhan Badiozamany: Real-time data stream clustering over sliding windowsExtern länk
2016-10-07 Fei Liu: Hand-held Augmented Reality for Facility MaintenanceExtern länk
2016-10-06 Lars Melander: Integrating Visual Data Flow Programming with Data Stream ManagementExtern länk
2016-09-30 Konstantinos Koukos: Efficient Execution Paradigms for Parallel Heterogeneous ArchitecturesExtern länk
2016-09-30 Johan Nysjö: Interactive 3D Image Analysis for Cranio-Maxillofacial Surgery Planning and Orthopedic ApplicationsExtern länk
2016-09-29 Vasileios Spiliopoulos: Improving Energy-Efficiency of Multicores using First-Order ModelingExtern länk
2016-09-23 Hjalmar Wennerström: A Node-Link Perspective on the Impact of Local Conditions in Sensor NetworksExtern länk
2016-09-22 Johannes Åman Pohjola: Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation resultsExtern länk
2016-09-09 Ramūnas Gutkovas: Languages, Logics, Types and Tools for Concurrent System ModellingExtern länk
2016-09-07 Carl Leonardsson: Verification of Software under Relaxed MemoryExtern länk
2016-08-17 Cheng Xu: Scalable Validation of Data StreamsExtern länk
2016-06-10 Adriaan Larmuseau: Protecting Functional Programs From Low-Level AttackersExtern länk
2016-06-10 Lina Meinecke: Stochastic Simulation of Multiscale Reaction-Diffusion Models via First Exit TimesExtern länk
2016-06-09 Omer Ishaq: Image Analysis and Deep Learning for Applications in MicroscopyExtern länk
2016-06-07 Behrang Mahjani: Methods from Statistical Computing for Genetic Analysis of Complex TraitsExtern länk
2016-06-03 Josefin Ahlkrona: Computational Ice Sheet Dynamics: Error control and efficiencyExtern länk
2016-05-04 Thanh Truong: Main-Memory Query Processing Utilizing External IndexesExtern länk
2016-04-29 Liang Dai: Identification using Convexification and RecursionExtern länk
2016-04-21 Johan Blom: Model-Based Protocol Testing in an Erlang EnvironmentExtern länk
2016-03-30 Minpeng Zhu: Scalable Queries over Log Database CollectionsExtern länk
2016-03-23 Andrej Andrejev: Semantic Web Queries over Scientific DataExtern länk
2016-03-21 Muneeb Khan: Optimizing Performance in Highly Utilized Multicores with Intelligent PrefetchingExtern länk
2016-03-14 Joseph Scott: Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable TypesExtern länk
2016-03-07 Xiaoyue Pan: Performance Modeling of Multi-core Systems: Caches and LocksExtern länk
2016-02-26 Johannes Nygren: Input-Output Stability Analysis of Networked Control SystemsExtern länk
2016-02-18 Nicolas Tsiftes: Storage-Centric System Architectures for Networked, Resource-Constrained DevicesExtern länk
2016-02-12 Emil Kieri: Numerical Methods for Wave Propagation: Analysis and Applications in Quantum DynamicsExtern länk
2016-01-18 Johan Östlund: Language Constructs for Safe Parallel Programming on Multi-CoresExtern länk
2016-01-18 Kristoffer Virta: Numerics of Elastic and Acoustic Wave MotionExtern länk
2016-01-15 Pontus Ekberg: Models and Complexity Results in Real-Time Scheduling TheoryExtern länk
2016-01-14 Adama Arouna Koné: Géométrie digitale utilisée pour la discretisation et le recouvrement optimal des objets euclidiensExtern länk
2015
2015-12-18 Elisabeth Schold Linnér: Image processing on optimal volume sampling lattices: Thinking outside the boxExtern länkBildbehandling på optimala samplingsgitter: Att tänka utanför ramenExtern länk
2015-12-17 Sofia Cassel: Learning Component Behavior from Tests: Theory and Algorithms for Automata with DataExtern länk
2015-11-27 Daniel Jansson: Identification Techniques for Mathematical Modeling of the Human Smooth Pursuit SystemExtern länk
2015-11-18 Frédéric Haziza: Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape AnalysisExtern länk
2015-10-30 Daniel Elfverson: Multiscale Methods and Uncertainty QuantificationExtern länk
2015-10-16 Pontus Olsson: Haptics with Applications to Cranio-Maxillofacial Surgery PlanningExtern länk
2015-06-12 Azadeh Fakhrzadeh: Computerized Cell and Tissue AnalysisExtern länk
2015-05-12 Olov Rosén: Parallel Stochastic Estimation on Multicore PlatformsExtern länk
2015-05-08 Marcus Björk: Contributions to Signal Processing for MRIExtern länk
2015-05-04 Simon Tschirner: The GMOC Model: Supporting Development of Systems for Human ControlExtern länk
2015-03-13 Farshid Hassani Bijarbooneh: Constraint Programming for Wireless Sensor NetworksExtern länk
2014
2014-12-12 Magnus Grandin: Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore ProcessorsExtern länk
2014-11-25 Håkan Selg: Researching the Use of the Internet – A Beginner's GuideExtern länk
2014-11-21 Margarida M. Silva: Nonlinear Modeling and Feedback Control of Drug Delivery in AnesthesiaExtern länk
2014-10-20 Jimmy Azar: Automated Tissue Image Analysis Using Pattern RecognitionExtern länk
2014-10-17 Frederik Hermans: Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken PacketsExtern länk
2014-10-17 Hans Norlander: Modelling and Control Methods with Applications to Mechanical WavesExtern länk
2014-10-14 Mojtaba Soltanalian: Signal Design for Active Sensing and CommunicationsExtern länk
2014-09-19 Soma Tayamon: Nonlinear System Identification and Control Applied to Selective Catalytic Reduction SystemsExtern länk
2014-06-09 Fredrik Bjurefors: Opportunistic Networking: Congestion, Transfer Ordering and ResilienceExtern länk
2014-06-04 Mikael Erlandsson: What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitationExtern länk
2014-05-23 Vladimir Ćurić: Distance Functions and Their Use in Adaptive Mathematical MorphologyExtern länk
2014-05-23 Martin Tillenius: Scientific Computing on Multicore ArchitecturesExtern länk
2014-05-22 Andreas Sandberg: Understanding Multicore Performance: Efficient Memory System Modeling and SimulationExtern länk
2014-05-16 Mikael Laaksoharju: Designing for AutonomyExtern länk
2014-04-29 Linda Åmand: Ammonium Feedback Control in Wastewater Treatment PlantsExtern länk
2014-04-11 Martin Stigge: Real-Time Workload Models: Expressiveness vs. Analysis EfficiencyExtern länk
2014-04-11 Andreas Kårsnäs: Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer DiagnosisExtern länk
2014-03-21 Gustaf Kylberg: Automatic Virus Identification using TEM: Image Segmentation and Texture AnalysisExtern länkAutomatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalysExtern länk
2014-03-14 Anette Löfström: Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCIExtern länk
2014-03-03 Egi Hidayat: On Identification of Biological SystemsExtern länk
2014-02-07 Patrik Malm: Image Analysis in Support of Computer-Assisted Cervical Cancer ScreeningExtern länk
2013
2013-12-17 Nan Guan: New Techniques for Building Timing-Predictable Embedded SystemsExtern länk
2013-06-14 Silvia Stefanova: Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web RepresentationsExtern länk
2013-06-05 Stefan Hellander: Stochastic Simulation of Reaction-Diffusion ProcessesExtern länk
2013-05-24 Rebecka Janols: Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT AdoptionExtern länk
2013-04-26 Jun He: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local SearchExtern länk
2013-02-08 Per Pettersson: Uncertainty Quantification and Numerical Methods for Conservation LawsExtern länk
2013-02-01 Jens Berg: Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsExtern länkStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblemExtern länk
2012
2012-12-21 David Eklöv: Profiling Methods for Memory Centric Software Performance AnalysisExtern länk
2012-12-07 Sofia Eriksson: Stable Numerical Methods with Boundary and Interface Treatment for Applications in AerodynamicsExtern länk
2012-11-14 Ioana Rodhe: Secure and Privacy-Aware Data Collection in Wireless Sensor NetworksExtern länk
2012-10-26 Carl Nettelblad: Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype InferenceExtern länk
2012-10-19 Prabhu Babu: Spectral Analysis of Nonuniformly Sampled Data and ApplicationsExtern länk
2012-10-19 Katharina Kormann: Efficient and Reliable Simulation of Quantum Molecular DynamicsExtern länk
2012-10-12 Olof Rensfelt: Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and InterferenceExtern länk
2012-10-01 Rafał Somla: Logics and Algorithms for Verification of Concurrent SystemsExtern länk
2012-09-24 Xin He: On some Numerical Methods and Solution Techniques for Incompressible Flow ProblemsExtern länk
2012-09-21 Erik Lehto: High Order Local Radial Basis Function Methods for Atmospheric Flow SimulationsExtern länk
2012-06-15 Petia Boyanova: On Numerical Solution Methods for Block-Structured Discrete SystemsExtern länk
2012-06-14 Salman Zubair Toor: Managing Applications and Data in Distributed Computing InfrastructuresExtern länk
2012-06-08 Kenneth Duru: Perfectly Matched Layers and High Order Difference Methods for Wave EquationsExtern länk
2012-01-13 Martin Kronbichler: Computational Techniques for Coupled Flow-Transport ProblemsExtern länk
2011
2011-12-02 Milan Gavrilovic: Spectral Image Processing with Applications in Biotechnology and PathologyExtern länk
2011-11-25 Anna Nissen: High Order Finite Difference Methods with Artificial Boundary Treatment in Quantum DynamicsExtern länk
2011-11-24 Fredrik Österlind: Improving Low-Power Wireless Protocols with Timing-Accurate SimulationExtern länk
2011-11-11 Amin Allalou: Methods for 2D and 3D Quantitative Microscopy of Biological SamplesExtern länk
2011-11-07 Qaisar Abbas: Weak Boundary and Interface Procedures for Wave and Flow ProblemsExtern länk
2011-10-25 M. Khalid Khan Niazi: Image Filtering Methods for Biomedical ApplicationsExtern länk
2011-09-20 Erik Zeitler: Scalable Parallelization of Expensive Continuous Queries over Massive Data StreamsExtern länk
2011-06-10 Andreas Hellander: Multiscale Stochastic Simulation of Reaction-Transport Processes: Applications in Molecular Systems BiologyExtern länk
2011-05-06 Filip Malmberg: Graph-based Methods for Interactive Image SegmentationExtern länk
2011-04-09 Mats Daniels: Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning EnvironmentExtern länk
2010
2010-10-08 Manivasakan Sabesan: Querying Data Providing Web ServicesExtern länk
2010-06-04 Jonas Boustedt: On the Road to a Software Profession: Students’ Experiences of Concepts and ThresholdsExtern länk
2010-06-04 Jesper Bengtson: Formalising process calculiExtern länk
2010-05-31 Magnus Johansson: Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logicExtern länk
2010-05-26 Åsa Cajander: Usability – Who Cares?: The Introduction of User-Centred Systems Design in OrganisationsExtern länk
2010-05-21 Björn Halvarsson: Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen RemovalExtern länk
2010-05-20 Magnus Gedda: Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron TomographyExtern länk
2010-05-07 Agnes Rensfelt: Viscoelastic Materials: Identification and Experiment DesignExtern länk
2010-04-23 Erik Gudmundson: Signal Processing for Spectroscopic ApplicationsExtern länk
2010-04-16 Mattias Wiggberg: Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ ExpectationsExtern länk
2010-02-26 Rajitha Udawalpola: Shape Optimization for Acoustic Wave Propagation ProblemsExtern länk
2010-02-25 Mahen Jayawardena: An e-Science Approach to Genetic Analysis of Quantitative TraitsExtern länk
2009
2009-09-18 Jim Wilenius: Bidding in Combinatorial AuctionsExtern länk
2009-06-12 John Håkansson: Design and Verification of Component Based Real-Time SystemsExtern länk
2009-06-03 Jan Henry Nyström: Analysing Fault Tolerance for Erlang ApplicationsExtern länk
2009-05-15 Pavel Krcal: Infinite Structures in Timed SystemsExtern länk
2009-04-24 Henrik Johansson: Autonomic Management of Partitioners for SAMR Grid HierarchiesExtern länk
2009-04-03 Eddie Wadbro: Topology Optimization for Wave Propagation ProblemsExtern länk
2009-03-19 Therese Bohlin: Regular Inference for Communication Protocol EntitiesExtern länk
2009-03-06 Anna Eckerdal: Novice Programming Students' Learning of Concepts and PractiseExtern länk
2009-02-27 Amalka Pinidiyaarachchi: Digital Image Analysis of Cells: Applications in 2D, 3D and TimeExtern länk
2009-02-02 Ruslan Fomkin: Optimization and Execution of Complex Scientific QueriesExtern länk
2008
2008-12-05 Oskar Wibling: Creating Correct Network ProtocolsExtern länk
2008-11-28 Stefan Engblom: Numerical Solution Methods in Stochastic Chemical KineticsExtern länk
2008-11-28 Björn Holmberg: Estimating Human Limb Motion Using Skin Texture and Particle FilteringExtern länk
2008-11-21 Lisa Kaati: Reduction Techniques for Finite (Tree) AutomataExtern länk
2008-11-07 Robin Strand: Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic gridsExtern länk
2008-09-26 Mei Hong: Analysis of Some Methods for Identifying Dynamic Errors-in-variables SystemsExtern länk
2008-09-19 Patrick Karlsson Edlund: Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cellsExtern länkMetoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelcellerExtern länk
2008-06-13 Erik Nordström: Challenged Networking: An Experimental Study of new Protocols and ArchitecturesExtern länk
2008-06-09 Noomene Ben Henda: Infinite-state Stochastic and Parameterized SystemsExtern länk
2008-05-26 Johan Petrini: Querying RDF Schema Views of Relational DatabasesExtern länk
2008-05-23 Olga Grinchtein: Learning of Timed SystemsExtern länk
2008-05-23 Peter Nauclér: Estimation and Control of Resonant Systems with Stochastic DisturbancesExtern länk
2008-04-25 Linda Brus: Nonlinear Identification and Control with Solar Energy ApplicationsExtern länk
2008-04-18 Mayank Saksena: Verifying Absence of ∞ Loops in Parameterized ProtocolsExtern länk
2008-04-15 Ahmed Rezine: Parameterized Systems: Generalizing and Simplifying Automatic VerificationExtern länk
2008-02-08 Erik Vidholm: Visualization and Haptics for Interactive Medical Image AnalysisExtern länkVisualisering och Haptik för Interaktiv Medicinsk BildanalysExtern länk
2008-02-01 Lars Winkler Pettersson: Collaborative Visualization: Designing and evaluating systems for co-located workExtern länk
2008-01-18 Magnus Ågren: Set Constraints for Local SearchExtern länk
2007
2007-12-20 Jing Gong: Hybrid Methods for Unsteady Fluid Flow Problems in Complex GeometriesExtern länk
2007-12-14 Niklas Hardenborg: Designing Work and IT Systems: A Participatory Process that Supports Usability and SustainabilityExtern länk
2007-12-10 Magnus Evestedt: Parameter and State Estimation with Information-rich SignalsExtern länk
2007-11-30 Paul Sjöberg: Numerical Methods for Stochastic Modeling of Genes and ProteinsExtern länk
2007-10-12 Yngve Selén: Model Selection and Sparse ModelingExtern länk
2007-05-21 Anders Hessel: Model-Based Test Case Generation for Real-Time SystemsExtern länk
2007-05-11 Erik Bängtsson: Robust Preconditioners Based on the Finite Element FrameworkExtern länk
2007-04-20 Malin Ljungberg: Design of High Performance Computing Software for Genericity and VariabilityExtern länk
2007-03-23 Sven Sandberg: Games and Probabilistic Infinite-State SystemsExtern länk
2007-03-16 Niclas Sandgren: Advanced Spectral Analysis with ApplicationsExtern länk
2007-02-09 Stina Nylander: Design and Implementation of Multi-Device ServicesExtern länkUtveckling av tjänster med multipla användargränssnittExtern länk
2006
2006-10-20 Richard Abrahamsson: Estimation Problems in Array Signal Processing, System Identification, and Radar ImageryExtern länkEstimeringsproblem inom arraysignalbehandling, systemidentifiering och radarExtern länk
2006-10-20 Markus Nordén: Multithreaded PDE Solvers on Non-Uniform Memory ArchitecturesExtern länk
2006-10-13 Håkan Zeffer: Towards Low-Complexity Scalable Shared-Memory ArchitecturesExtern länk
2006-10-07 Henrik Löf: Iterative and Adaptive PDE Solvers for Shared Memory ArchitecturesExtern länkIterativa och adaptiva PDE-lösare för parallelldatorer med gemensam minnesorganisationExtern länk
2006-09-29 Jonas Persson: Accurate Finite Difference Methods for Option PricingExtern länk
2006-06-02 Johann Deneux: Verification of Parameterized and Timed Systems: Undecidability Results and Efficient MethodsExtern länk
2006-05-24 Dan Wallin: Methods for Creating and Exploiting Data LocalityExtern länk
2006-01-20 Olivier Amoignon: Numerical Methods for Aerodynamic Shape OptimizationExtern länk
2006-01-16 Kidane Yemane: Relations in Models of Calculi and Logics with NamesExtern länk
2006-01-13 Martin Karlsson: Memory System Design for Chip-MultiprocessorsExtern länk
2006-01-13 Kajsa Ljungberg: Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental PopulationsExtern länk
2005
2005-12-16 Richard Gold: An Indirection Architecture for the InternetExtern länk
2005-12-16 Julia Åhlén: Colour Correction of Underwater Images Using Spectral DataExtern länk
2005-12-02 Pasha Razifar: Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical DiagnosisExtern länk
2005-11-18 Zoran Radovic: Software Techniques for Distributed Shared MemoryExtern länk
2005-11-10 Erik Berg: Efficient and Flexible Characterization of Data Locality through Native Execution SamplingExtern länk
2005-11-07 Milena Ivanova: Scalable Scientific Stream Query ProcessingExtern länk
2005-11-04 Erik Abenius: Direct and Inverse Methods for Waveguides and Scattering Problems in the Time DomainExtern länk
2005-10-21 Inger Boivie: A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the WorkplaceExtern länk
2005-10-21 Mats Ekman: Modeling and Control of Bilinear Systems: Application to the Activated Sludge ProcessExtern länk
2005-10-19 Patrik Forssén: Adsorption Isotherm Parameter Estimation in Nonlinear Liquid ChromatographyExtern länk
2005-10-07 Pär Samuelsson: Control of Nitrogen Removal in Activated Sludge ProcessesExtern länk
2005-09-23 Hamed Hamid Muhammed: Hyperspectral Image Generation, Processing and AnalysisExtern länk
2005-05-25 Claes Olsson: Active Vibration Control of Multibody Systems: Application to Automotive DesignExtern länk
2005-05-13 Per Sundqvist: Numerical Computations with Fundamental SolutionsExtern länkNumeriska beräkningar med fundamentallösningarExtern länk
2005-04-29 Anders Berglund: Learning computer systems in a distributed project course: The what, why, how and whereExtern länk
2005-03-23 Pritha Mahata: Model Checking Parameterized Timed SystemsExtern länk
2005-03-21 Henrik Lundgren: Implementation and Experimental Evaluation of Wireless Ad hoc Routing ProtocolsExtern länk
2005-03-02 Marcus Nilsson: Regular Model CheckingExtern länk
2005-02-18 Henrik Björklund: Combinatorial Optimization for Infinite Games on GraphsExtern länk
2005-02-04 Erik Borälv: Design in Telemedicine: Development and Implementation of Usable Computer SystemsExtern länk
2005-01-26 Emad Abd-Elrady: Nonlinear Approaches to Periodic Signal ModelingExtern länk
2004
2004-12-16 Per Carlsson: Algorithms for Electronic Power MarketsExtern länk
2004-12-10 Jenny Öhman Persson: The Obvious & The Essential: Interpreting Software Development & Organizational ChangeExtern länk
2004-11-12 Magnus Svärd: Stable High-Order Finite Difference Methods for AerodynamicsExtern länkStabila högordnings finita differensmetoder för aerodynamikExtern länk
2004-06-04 Eva Olsson: Designing Work Support Systems – For and With Skilled UsersExtern länk
2004-06-03 Bharath Bhikkaji: Model Reduction and Parameter Estimation for Diffusion SystemsExtern länk
2004-06-01 Bengt Göransson: User-Centred Systems Design: Designing Usable Interactive Systems in PracticeExtern länkAnvändarcentrerad systemdesign: Design av användbara interaktiva system i praktikenExtern länk
2004-05-19 Felix Wehrmann: On Modelling Nonlinear Variation in Discrete Appearances of ObjectsExtern länk
2004-04-29 Anders Hast: Improved Algorithms for Fast Shading and LightingExtern länk
2004-04-23 Per Åhgren: On System Identification and Acoustic Echo CancellationExtern länkSystemidentifiering och Akustisk EkoutsläckningExtern länk
2004-02-06 Erik Larsson: Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao BoundsExtern länk
2004-01-30 Martin Nilsson: Fast Numerical Techniques for Electromagnetic Problems in Frequency DomainExtern länk
2003
2003-12-12 Kaushik Mahata: Estimation Using Low Rank Signal ModelsExtern länk
2003-12-04 Aletta Nylén: Compact Constraints for Verification of Well Quasi-Ordered ProgramsExtern länk
2003-11-26 Elena Fersman: A Generic Approach to Schedulability Analysis of Real-Time SystemsExtern länk
2003-11-26 Alexandre David: Hierarchical Modeling and Analysis of Real Time SystemsExtern länk
2003-11-25 Julien d'Orso: New Directions in Symbolic Model CheckingExtern länk
2003-11-11 Timour Katchaounov: Query Processing for Peer Mediator DatabasesExtern länk
2003-10-31 Carolina Wählby: Algorithms for Applied Digital Image CytometryExtern länk
2003-10-24 Wendy Kress: High Order Finite Difference Methods in Space and TimeExtern länk
2003-10-10 Roger Hult: Segmentation and Visualisation of Human Brain StructuresExtern länk
2003-09-26 Abraham Zemui: High Order Symmetric Finite Difference Schemes for the Acoustic Wave EquationExtern länk
2003-09-19 Daniel Noreland: Numerical Techniques for Acoustic Modelling and Design of Brass Wind InstrumentsExtern länk
2003-06-03 Andreas Ermedahl: A Modular Tool Architecture for Worst-Case Execution Time AnalysisExtern länk
2003-05-09 Ken Mattsson: Summation-by-Parts Operators for High Order Finite Difference MethodsExtern länk
2003-03-28 Petra Philipson née Ammenberg: Environmental Applications of Aquatic Remote SensingExtern länk
2003-02-17 Bob Melander: Probing-Based Approaches to Bandwidth Measurements and Network Path EmulationExtern länk
2003-01-17 Joakim Lindblad: Development of Algorithms for Digital Image CytometryExtern länk
2002
2002-12-13 Johan Steensland: Efficient Partitioning of Dynamic Structured Grid HierarchiesExtern länk
2002-12-06 Carl Åborg: How does IT feel @ work? And how to make IT better: Computer use, stress and health in office workExtern länk
2002-11-29 Bengt Eliasson: Numerical Vlasov–Maxwell Modelling of Space PlasmaExtern länk
2002-11-01 Erik Stenman: Efficient Implementation of Concurrent Programming LanguagesExtern länk
2002-10-04 Kjartan Halvorsen: Model-based Methods in Motion CaptureExtern länk
2002-09-27 Girish Ganesan: Designing Space-Time Codes Using Orthogonal DesignsExtern länk
2002-09-06 Fredrik Edelvik: Hybrid Solvers for the Maxwell Equations in Time-DomainExtern länk
2002-06-07 Johan Bengtsson: Clocks, DBMs and States in Timed SystemsExtern länk
2002-05-27 Thiemo Voigt: Architectures for Service Differentiation in Overloaded Internet ServersExtern länk
2002-04-19 Jakob Engblom: Processor Pipelines and Static Worst-Case Execution Time AnalysisExtern länk
2002-02-01 Erik G. Larsson: The ubiquitous signal processing: Applications to communications, spectral analysis and array processingExtern länk
2001
2001-11-30 Roger Lundqvist: Atlas-Based Fusion of Medical Brain Images: Methods and ApplicationsExtern länk
2001-05-02 Björn Knutsson: Architectures for application transparent proxies: A study of network enhancing softwareExtern länk
2001-04-20 Tomas Sundin: Spectral analysis and magnetic resonance spectroscopyExtern länk
2001-02-09 Henrik Brandén: Convergence Acceleration for Flow ProblemsExtern länk
2001-01-12 Lars Thalmann: Term-modal logic and quantifier-free dynamic assignment logicExtern länk
2000
2000-12-22 Jonas Nilsson: Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered GridsExtern länk
2000-05-31 Magnus Mossberg: Identification of viscoelastic materials and continuous-time stochastic systemsExtern länk
2000-05-24 Mikael Sjödin: Predictable high-speed communications for distributed real-time systemsExtern länk
2000-05-19 Elisabeth Larsson: Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz EquationExtern länk
2000-05-19 Jakob Carlström: Reinforcement learning for admission control and routingExtern länk
2000-05-08 Jan Gustafsson: Analyzing execution-time of object-oriented programs using abstract interpretationExtern länk
2000-04-14 Kristina Lundqvist: Distributed computing and safety critical systems in AdaExtern länk
2000-03-31 Greger Ottosson: Integration of Constraint Programming and Integer Programming for Combinatorial OptimizationExtern länk
2000-02-11 Andreas Jakobsson: Model-based and matched-filterbank signal analysisExtern länk
2000-01-14 Annica Önell: Quantifying human balance: Analysis of force plate dataExtern länk
1999
1999-10-15 Hans Frimmel: Positioning Biopsy Needles in the Prostate Gland Using 3D Computer ModellingExtern länk
1999-06-07 Mats Kindahl: Verification of Infinite-State Systems: Decision Problems and Efficient AlgorithmsExtern länk
1999-06-01 Per Mildner: Type Domains for Abstract Interpretation: A critical studyExtern länk
1999-03-12 Catherine Östlund: Analysis of Imaging Spectrometer Data with Lake Environment ApplicationsExtern länk
1999-02-26 Krister Åhlander: An Object-Oriented Framework for PDE SolversExtern länk
1999-02-19 Karl Hörnell: Runge–Kutta Time Step Selection for Flow ProblemsExtern länk
1999-02-19 Paul Pettersson: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and PracticeExtern länk
1999-02-05 Joakim Sorelius: Subspace-Based Parameter Estimation Problems in Signal ProcessingExtern länk
1998
1998-12-11 Ernst Nordström: Markov Decision Problems in ATM Traffic ControlExtern länk
1998-09-25 Pierangelo Dell'Acqua: Reflection Principles in Computational LogicExtern länk
1998-06-04 Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile ProcessesExtern länk
1998-04-17 Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE SolversExtern länk
1998-03-27 Petter Ranefall: Towards Automatic Quantification of Immunohistochemistry Using Colour Image AnalysisExtern länk
1997
1997-11-07 Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow ProblemsExtern länk
1997-10-24 Mats Holmström: Wavelet Based Methods for Time Dependent PDEsExtern länk
1997-06-06 Margus Veanes: On Simultaneous Rigid E-UnificationExtern länk
1997-05-23 Johan Montelius: Exploiting Fine-grain Parallelism in Concurrent Constraint LanguagesExtern länk
1997-05-23 Ingela Nyström: On Quantitative Shape Analysis of Digital Volume ImagesExtern länk
1997-03-21 Bengt Ahlgren: Improving Computer Communication Performance by Reducing Memory Bandwidth ConsumptionExtern länk
1996
1996-12-11 Thomas Lindgren: Compilation Techniques for PrologExtern länk
1996-12-06 Johan Waldén: Wavelet Solvers for Hyperbolic PDEsExtern länk
1996-11-20 Johan Bevemyr: Data-parallel Implementation of PrologExtern länk
1996-10-31 Torsten Jarkrans: Algorithms for Cell Image Analysis in Cytology and PathologyExtern länk
1996-09-20 Heung-Kook Choi: New Methods for Image Analysis of Tissue SectionsExtern länk
1996-06-06 David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source TermsExtern länk
1996-05-03 Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value ProblemsExtern länk
1996-04-17 Sven-Olof Nyström: Denotational Semantics for Asynchronous Concurrent LanguagesExtern länk
1996-03-15 Lars Björnfot: Specification and Implementation of Distributed Real-Time Systems for Embedded ApplicationsExtern länk
1995
1995-09-29 Torkel Hjerpe: High-level specification and efficient solving of constraint satisfaction problemsExtern länk
1995-05-19 Eva Pärt-Enander: Overlapping Grids and Applications in Gas DynamicsExtern länk
1995-05-05 Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEsExtern länk
1994
1994-11-18 Thomas Johansson: Image Analysis Algorithms on General Purpose Parallel ArchitecturesExtern länk
1994-05-24 Lennart Thurfjell: An Adjustable 3D Brain Atlas for Quantitative Analysis of Neuroimaging Data: Algorithmical and Methodological AspectsExtern länk
1994-05-05 Finn Pedersen: Interactive Explorative Analysis of Multivariate Images Using Principal ComponentsExtern länk
1993
1993-05-26 Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes EquationsExtern länk
1993-05-14 Curt L. Orbert: Algorithms in 2D for Detection of Object Orientation Using Distance TransformationsExtern länk
1993-05-13 Kurt Otto: Construction and Analysis of Preconditioners for First-order PDEExtern länk
1993-05-13 Sverker Holmgren: Fast Solvers for First-order PDEExtern länk
1992
1992-04-24 Pelle Olsson: High-Order Difference Methods and Dataparallel ImplementationExtern länk
1989
1989-06-06 Bo Nordin: The Development of an Automated Prescreener for the Early Detection of Cervical Cancer: Algorithms and ImplementationExtern länk
1988
1988-12-16 Bengt Dahlqvist: Application of Decision Models to Some Problems in Image AnalysisExtern länk

Äldre avhandlingar från avdelningen för datalogi

Se också äldre lista.

1999-06-01 Per Mildner: Type Domains for Abstract Interpretation: A critical studyExtern länk
1998-09-25 Pierangelo Dell'Acqua: Reflection Principles in Computational LogicExtern länk
1997-06-06 Margus Veanes: On Simultaneous Rigid E-UnificationExtern länk
1997-05-23 Johan Montelius: Exploiting Fine-grain Parallelism in Concurrent Constraint LanguagesExtern länk
1996-12-11 Thomas Lindgren: Compilation Techniques for PrologExtern länk
1996-11-20 Johan Bevemyr: Data-parallel Implementation of PrologExtern länk
1996-04-17 Sven-Olof Nyström: Denotational Semantics for Asynchronous Concurrent LanguagesExtern länk
1995-09-29 Torkel Hjerpe: High-level specification and efficient solving of constraint satisfaction problemsExtern länk

Äldre avhandlingar från avdelningen för datorteknik

Se också äldre lista.

1999-06-07 Mats Kindahl: Verification of Infinite-State Systems: Decision Problems and Efficient AlgorithmsExtern länk
1999-02-19 Paul Pettersson: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and PracticeExtern länk
1998-12-11 Ernst Nordström: Markov Decision Problems in ATM Traffic ControlExtern länk
1998-06-04 Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile ProcessesExtern länk
1997-03-21 Bengt Ahlgren: Improving Computer Communication Performance by Reducing Memory Bandwidth ConsumptionExtern länk
1996-03-15 Lars Björnfot: Specification and Implementation of Distributed Real-Time Systems for Embedded ApplicationsExtern länk

Äldre avhandlingar från avdelningen för systemteknik

Se också äldre lista. Lista över doktorer.

Äldre avhandlingar från avdelningen för teknisk databehandling

Se också äldre lista.

1999
1999-02-26 Krister Åhlander: An Object-Oriented Framework for PDE SolversExtern länk
1999-02-19 Karl Hörnell: Runge–Kutta Time Step Selection for Flow ProblemsExtern länk
1998
1998-04-17 Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE SolversExtern länk
1997
1997-11-07 Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow ProblemsExtern länk
1997-10-24 Mats Holmström: Wavelet Based Methods for Time Dependent PDEsExtern länk
1996
1996-12-06 Johan Waldén: Wavelet Solvers for Hyperbolic PDEsExtern länk
1996-06-06 David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source TermsExtern länk
1996-05-03 Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value ProblemsExtern länk
1995
1995-05-19 Eva Pärt-Enander: Overlapping Grids and Applications in Gas DynamicsExtern länk
1995-05-05 Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEsExtern länk
1993
1993-05-26 Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes EquationsExtern länk
1993-05-13 Kurt Otto: Construction and Analysis of Preconditioners for First-order PDEExtern länk
1993-05-13 Sverker Holmgren: Fast Solvers for First-order PDEExtern länk
1992
1992-04-24 Pelle Olsson: High-Order Difference Methods and Dataparallel ImplementationExtern länk
1989
1989-06-06 Bo Nordin: The Development of an Automated Prescreener for the Early Detection of Cervical Cancer: Algorithms and ImplementationExtern länk
1988
1988-12-16 Bengt Dahlqvist: Application of Decision Models to Some Problems in Image AnalysisExtern länk

Äldre avhandlingar från centrum för bildanalys

Se också äldre lista.