Publications 2012
-
Regular model checking for LTL(MSO)
. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 223-241, Springer, 2012. (DOI). -
Adding time to pushdown automata. In Quantities in Formal Methods: QFM 2012, volume 103 of Electronic Proceedings in Theoretical Computer Science, pp 1-16, 2012. (DOI).
-
Automatic fence insertion in integer programs via predicate abstraction. In Static Analysis, volume 7460 of Lecture Notes in Computer Science, pp 164-180, Springer-Verlag, Berlin, 2012. (DOI).
-
Counter-Example Guided Fence Insertion under TSO. In Tools and Algorithms for the Construction and Analysis of Systems, volume 7214 of Lecture Notes in Computer Science, pp 204-219, Springer-Verlag, Berlin, 2012. (DOI, fulltext:preprint
). -
Dense-Timed Pushdown Automata. In Proc. 27th ACM/IEEE Symposium on Logic in Computer Science, pp 35-44, IEEE Computer Society, 2012. (DOI).
-
Multi-Pushdown Systems with Budgets. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link).
-
Petri Nets with Time and Cost. INFINITY 2012, 14th International Workshop on Verification of Infinite-State Systems, 2012.
-
Regular model checking. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 109-118, 2012. (DOI).
-
The minimal cost reachability problem in priced timed pushdown systems. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, volume 7183 of Lecture Notes in Computer Science, pp 58-69, Springer-Verlag, Berlin, 2012. (DOI).
-
Timed lossy channel systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2012, volume 18 of Leibniz International Proceedings in Informatics, pp 374-386, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2012. (DOI).
-
A numerical study of the validity of Shallow Ice Approximations. Technical report / Department of Information Technology, Uppsala University nr 2012-015, 2012. (fulltext).
-
Constraint programming for air traffic management: a survey. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
-
Scientific SPARQL: Semantic web queries over scientific data. In Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
-
A scalability benchmark suite for Erlang/OTP. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).
-
Do social media generate social capital?. In ICT, society and human beings, pp 133-136, IADIS Press, Lisbon, 2012. (External link).
-
New form of social ties through communicating in social media (Sosharu media ga tukuru atarashii kizuna no katachi). In Information and Management 64th Conferenceedings Spring, pp 141-144, 2012. (External link).
-
Regulation of potentially harmful contents on minors. In Equity, integrity and beauty in information law and ethics, Ionian Academy, Kerkyra, Greece, 2012. (External link).
-
Rethinking ICT's contribution to sustainability and education. In New technologies, education for sustainable development and critical pedagogy, pp 232-235, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
-
Social Media as Informal Public Spheres. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 3, 2012. (External link).
-
Social movement and social media. In Critique, democracy and philosophy in 21st century information society: Towards critical theories of social media, pp 76-77, 2012. (External link).
-
The paradoxical nature of privacy. In Privacy in the social networked world, 2012. (External link).
-
An Introduction To Bayesian Networks in Systems and Control. 2012 18th International Conference on Automation and Computing (ICAC), 2012.
-
Bayesian Networks in Business Analytics. In 2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), pp 955-961, 2012.
-
Using Bayesian networks in business analytics: Overview and short case study. In Business Informatics, volume 3, number 25, 2012.
-
Detecting fair non-termination in multithreaded programs. In Computer Aided Verification, volume 7358 of Lecture Notes in Computer Science, pp 210-227, Springer-Verlag, Berlin, 2012. (fulltext).
-
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. In Automated Technology for Verification and Analysis: ATVA 2012, volume 7561 of Lecture Notes in Computer Science, pp 152-166, Springer Berlin/Heidelberg, 2012. (DOI).
-
Model-Checking of Ordered Multi-Pushdown Automata. In Logical Methods in Computer Science, volume 8, number 3, p 20, 2012. (DOI).
-
What's decidable about weak memory models?. In Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pp 26-46, Springer Berlin/Heidelberg, 2012. (DOI).
-
Macro-elementwise preconditioning methods. In Mathematics and Computers in Simulation, volume 82, pp 1952-1963, 2012. (DOI).
-
Numerical and computational efficiency of solvers for two-phase problems. Technical report / Department of Information Technology, Uppsala University nr 2012-002, 2012. (fulltext).
-
Numerical solution of the time-dependent Navier–Stokes equation for variable density–variable viscosity. Technical report / Department of Information Technology, Uppsala University nr 2012-019, 2012. (fulltext).
-
Histological Stain Evaluation for Machine Learning Applications. In Proceedings of the International Conference on Medical Image Computing and Computer Assisted Intervention, 2012. (External link).
-
Microarray Core Detection by Geometric Restoration. In Analytical Cellular Pathology, volume 35, number 5-6, pp 381-393, 2012. (DOI).
-
Sparse spectral-line estimation for nonuniformly sampled multivariate time series: SPICE, LIKES and MSBL. In 2012 Proceedings Of The 20th European Signal Processing Conference (EUSIPCO), European Signal Processing Conference, pp 445-449, 2012. (External link).
-
Spectral Analysis of Nonuniformly Sampled Data and Applications. Ph.D. thesis, , Uppsala universitet, 2012. (fulltext).
-
Scalable ordered indexing of streaming data. In 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
-
A social node model for realising information dissemination strategies in delay tolerant networks. In Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, pp 79-88, ACM Press, New york, 2012. (DOI, fulltext:postprint).
-
A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. Technical report / Department of Information Technology, Uppsala University nr 2012-014, 2012. (fulltext).
-
A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. In Proc. ECCOMAS Congress 2012, pp 7557-7570, Tech. Univ. Wien, Austria, 2012.
-
On the impact of boundary conditions on dual consistent finite difference discretizations. Technical report / Department of Information Technology, Uppsala University nr 2012-025, 2012. (fulltext).
-
Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. In Applied Numerical Mathematics, volume 62, pp 1620-1638, 2012. (DOI).
-
Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. Technical report / Department of Information Technology, Uppsala University nr 2012-004, 2012. (fulltext).
-
Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. In Journal of Computational Physics, volume 231, pp 6846-6860, 2012. (DOI).
-
Intercultural competence in global collaboration courses in computer engineering. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
-
Measurements in opportunistic networks. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-002, Uppsala University, 2012. (fulltext).
-
Optimality of Equally-Spaced Phase Increments for Banding Removal in bSSFP. In Proceedings of the ISMRM 20th annual meeting, 2012.
-
Osseointegration med hjälp av datoriserad bildanalys. In Tandläkartidningen, volume 104, number 12, pp 66-71, 2012.
-
Short Descriptions of International Journals on Image Processing and its Applications. Internal report (Yellow series) nr 50, 2012.
-
Block-preconditioners for conforming and non-conforming FEM discretizations of the Cahn–Hilliard equation. In Large-Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 549-557, Springer-Verlag, Berlin, 2012. (DOI).
-
Efficient numerical solution of discrete multi-component Cahn–Hilliard systems. Technical report / Department of Information Technology, Uppsala University nr 2012-009, 2012. (fulltext).
-
Efficient preconditioners for large scale binary Cahn–Hilliard models. In Computational Methods in Applied Mathematics, volume 12, pp 1-22, 2012. (DOI).
-
On Numerical Solution Methods for Block-Structured Discrete Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 942, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Categorizing how students use collaborative technologies in a globally distributed project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
-
Managing international student collaborations: An experience report. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
-
On valuing peers: theories of learning and intercultural competence. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
-
Professionella kompetenser i projektkurser. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
-
The impact of trace and adversary models on location privacy provided by K-anonymity. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
-
Towards business processes orchestrating the physical enterprise with wireless sensor networks. In ICSE, pp 1357-1360, 2012.
-
A succinct canonical register automaton model for data domains with binary relations. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 57-71, Springer, 2012. (DOI).
-
Model predictive zooming power control in future cellular systems under coarse quantization. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
-
Cluster detection in cytology images using the cellgraph method. In Information Technology in Medicine and Education (ITME), 2012 International Symposium, volume 2 of Proceedings of 2012 International Symposium on Information Technologies in Medicine and Education, ITME 2012, pp 923-927, 2012. (DOI).
-
Fully automated cellular-resolution vertebrate screening platform with parallel animal processing. In Lab on a Chip, volume 12, number 4, pp 711-716, 2012. (DOI).
-
A Compositional Specification Theory for Component Behaviours. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012,, Lecture Notes in Computer Science, pp 148-168, 2012. (DOI).
-
A Compositional Specification Theory for Component Behaviours. 2012. (External link).
-
Privacy preserving data publishing for recommender system. In Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
-
Assume-Guarantee Reasoning for Safe Component Behaviours. In Proc. FACS: Formal Aspects of Component Software, 9th Int. Symp., volume 7684 of Lecture Notes in Computer Science, pp 92-109, Springer, 2012. (DOI, External link).
-
A state observer for continuous oscillating systems under intrinsic pulse-modulated feedback. In Automatica, volume 48, number 6, pp 1117-1122, 2012. (DOI).
-
Adaptive structuring elements based on salience distance transform. In In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH, Stockholm, 2012.
-
Adaptive structuring elements based on salience information. In Computer Vision and Graphics, volume 7594 of Lecture Notes in Computer Science, pp 321-328, Springer, 2012. (DOI).
-
Salience adaptive structuring elements. In IEEE Journal on Selected Topics in Signal Processing, volume 6, number 7, pp 809-819, 2012. (DOI).
-
An ellipsoid based, two-stage screening test for BPDN. In Proc. 20th European Signal Processing Conference, pp 654-658, IEEE, 2012.
-
An online algorithm for controlling a monotone Wiener system. In Proceedings of the 2012 24th Chinese Control and Decision Conference (CCDC), Chinese Control and Decision Conference, pp 1585-1590, IEEE, Piscataway, NJ, 2012. (DOI).
-
Models and methods for computing education research. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link).
-
Canonical eigenvalue distribution of multilevel block Toeplitz sequences with non-Hermitian symbols. In Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations, volume 221 of Operator Theory: Advances and Applications, pp 269-291, Springer, Basel, Switzerland, 2012. (DOI).
-
URDME: a modular framework for stochastic simulation of reaction-transport processes in complex geometries. In BMC Systems Biology, volume 6, pp 76:1-17, 2012. (DOI).
-
A well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation. In Communications in Computational Physics, volume 11, pp 1643-1672, 2012. (DOI).
-
Boundary waves and stability of the perfectly matched layer. Technical report / Department of Information Technology, Uppsala University nr 2012-007, 2012. (fulltext).
-
Numerical interaction of boundary waves with perfectly matched layers in elastic waveguides. Technical report / Department of Information Technology, Uppsala University nr 2012-008, 2012. (fulltext).
-
On the accuracy and stability of the perfectly matched layer in transient waveguides. In Journal of Scientific Computing, volume 53, pp 642-671, 2012. (DOI).
-
Perfectly Matched Layers and High Order Difference Methods for Wave Equations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 931, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Bounding and shaping the demand of mixed-criticality sporadic tasks. In Proc. 24th Euromicro Conference on Real-Time Systems, pp 135-144, IEEE Computer Society, 2012. (DOI).
-
A Profiling Method for Analyzing Scalability Bottlenecks on Multicores. 2012.
-
Bandwidth bandit: Quantitative characterization of memory contention. In Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp 457-458, 2012. (DOI).
-
Profiling Methods for Memory Centric Software Performance Analysis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1000, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Quantitative Characterization of Memory Contention. Technical report / Department of Information Technology, Uppsala University nr 2012-029, Uppsala universitet, Uppsala, 2012. (on department web, fulltext).
-
Finite element multiscale methods for Poisson's equation with rapidly varying heterogeneous coefficients. In Proc. 10th World Congress on Computational Mechanics, p 10, International Association for Computational Mechanics, Barcelona, Spain, 2012.
-
Impact of stroke on anterior–posterior force generation prior to seat-off during sit-to-walk. In Gait & Posture, volume 35, number 1, pp 56-60, 2012. (DOI).
-
On the stability of stochastic jump kinetics. Technical report / Department of Information Technology, Uppsala University nr 2012-005, 2012. (fulltext).
-
Exact non-reflecting boundary conditions revisited: well-posedness and stability. Technical report / Department of Information Technology, Uppsala University nr 2012-032, 2012. (fulltext).
-
Stable Numerical Methods with Boundary and Interface Treatment for Applications in Aerodynamics. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 985, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Nonparametric density estimation for randomly perturbed elliptic problems III: Convergence, computational cost, and generalizations. In Journal of Applied Mathematics and Computing, volume 38, pp 367-387, 2012. (DOI).
-
Analyzing Tubular Tissue in Histopathological Thin Sections. In 2012 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING TECHNIQUES AND APPLICATIONS (DICTA), pp 1-6, IEEE conference proceedings, 2012. (DOI).
-
Automated measurement of epithelial height of testicular tissue. In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH Royal Institute of Technology, Stockholm, 2012.
-
Least-Squares Support Vector Machines for the identification of Wiener-Hammerstein systems. In Control Engineering Practice, volume 20, number 11, pp 1165-1174, 2012. (DOI).
-
Poster Abstract: A Testbed for Measuring Battery Discharge Behavior. In Proc. of 7th ACM Int’l Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH’12), 2012.
-
Poster Abstract: Using batteries wisely. In , 2012.
-
Towards trustworthy simulation of wireless MAC/PHY layers: A comparison framework. In Proc. of 15th ACM Int’l Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’12), 2012.
-
Constraint Programming for Air Traffic Management: Preface. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
-
A guide to RBF-generated finite differences for nonlinear transport: Shallow water simulations on a sphere. In Journal of Computational Physics, volume 231, pp 4078-4095, 2012. (DOI).
-
A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. In NoDEA. Nonlinear differential equations and applications (Printed ed.), volume 19, pp 97-131, 2012. (DOI).
-
Stable calculation of Gaussian-based RBF-FD stencils. Technical report / Department of Information Technology, Uppsala University nr 2012-018, 2012. (fulltext).
-
Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
-
Adaptive fast multipole methods on the GPU. Technical report / Department of Information Technology, Uppsala University nr 2012-012, 2012. (fulltext).
-
An algebraic approach for controlling cascade of reaches in irrigation canals. In Problems, Perspectives and Challenges of Agricultural Water Management, pp 369-390, InTech, Rijeka, Croatia, 2012.
-
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. In 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum-IPDPSW, pp 2470-2473, 2012. (DOI).
-
Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. In 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), International Parallel and Distributed Processing Symposium IPDPS, pp 261-272, 2012. (DOI).
-
WCET analysis with MRU caches: Challenging LRU for predictability. In Proc. 18th Real-Time and Embedded Technology and Applications Symposium, pp 55-64, IEEE Computer Society, 2012. (DOI).
-
Designing a flexible and low-cost testbed for Wireless Sensor Networks. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI).
-
Communication-efficient algorithms for numerical quantum dynamics. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 368-378, Springer-Verlag, Berlin, 2012. (DOI).
-
Numerical evaluation of the Communication-Avoiding Lanczos algorithm. Technical report / Department of Information Technology, Uppsala University nr 2012-001, 2012. (fulltext).
-
Towards an adaptive solver for high-dimensional PDE problems on clusters of multicore processors. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-003, Uppsala University, 2012. (fulltext).
-
Forest automata for verification of heap manipulation. In Formal methods in system design, volume 41, number 1, pp 83-106, 2012. (DOI).
-
Pharmacological characterization of <sup>18</sup>F-labeled vorozole analogs. In Journal of labelled compounds & radiopharmaceuticals, volume 55, number 14, pp 484-490, 2012. (DOI).
-
Acute Effects of Reducing Vertical Displacement and Step Frequency on Running Economy. In Journal of Strength and Conditioning Research, volume 26, number 8, pp 2065-2070, 2012. (DOI).
-
An optimisation-based approach for wireless sensor deployment in mobile sensing environments. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
-
Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
-
Do Sensor Networks need Mobile MAC Protocols. In Proc. of Third International Workshop on Networks of Cooperating Objects (CONET 2012), held in conjunction with IPSN 2012, April 2012, Beijing, China., 2012.
-
Ef?cient Mobile Data Collection with Mobile Collect. In Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), pp 25-32, IEEE Computer Society, 2012. (DOI).
-
An Efficient Preconditioner and a Modified RANSAC for Fast and Robust Feature Matching.. In International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision: Communcations Paper, pp 11-18, 2012.
-
Putative Match Analysis: A Repeatable Alternative to RANSAC for Matching of Aerial Images. In VISAPP 2012 - Proceedings of the International Conference on Computer Vision Theory and Applications, Volume 2, pp 341-344, SciTePress, 2012.
-
Waveform Design for Active Sensing Systems: a computational approach. Cambridge University Press, UK, 2012. (MATLAB CODES and PRESENTATION SLIDES AVAILABLE FOR DOWNLOAD).
-
Solution neighbourhoods for constraint-directed local search. In Proc. 27th ACM Symposium on Applied Computing, pp 74-79, ACM Press, New York, 2012. (DOI).
-
Efficiently parallel implementation of the inverse Sherman–Morrison algorithm. Technical report / Department of Information Technology, Uppsala University nr 2012-017, 2012. (fulltext).
-
On preconditioning incompressible non-Newtonian flow problems. Technical report / Department of Information Technology, Uppsala University nr 2012-016, 2012. (fulltext).
-
On some Numerical Methods and Solution Techniques for Incompressible Flow Problems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 954, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Preconditioning the incompressible Navier-Stokes equations with variable viscosity. In Journal of Computational Mathematics, volume 30, pp 461-482, 2012. (DOI).
-
Coupled mesoscopic and microscopic simulation of stochastic reaction-diffusion processes in mixed dimensions. In Multiscale Modeling & simulation, volume 10, pp 585-611, 2012. (DOI).
-
Reaction-diffusion master equation in the microscopic limit. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 85, pp 042901:1-5, 2012. (DOI).
-
A Lightweight Approach to Online Detection and Classification of Interference in 802.15.4-based Sensor Networks. In ACM SIGBED Review, volume 9, number 3, pp 11-20, 2012. (DOI).
-
Global Source Mobility in the Content-Centric Networking Architecture. In Proc. 1st ACM Workshop on Emerging Name-Oriented Mobile Networking Design: Architecture, Algorithms, and Applications, pp 13-18, ACM Press, New York, 2012. (DOI).
-
Identification of a pulsatile endocrine model from hormone concentration data. In 2012 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), IEEE International Conference on Control Applications, pp 356-363, 2012.
-
Laguerre domain identification of continuous linear time-delay systems from impulse response data. In Automatica, volume 48, number 11, pp 2902-2907, 2012. (DOI).
-
On identification of endocrine systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-005, Uppsala University, 2012. (fulltext).
-
Accelerating interpolants. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 187-202, 2012. (DOI).
-
A verification toolkit for numerical transition systems. In FM 2012: Formal Methods, volume 7436 of Lecture Notes in Computer Science, pp 247-251, Springer Berlin/Heidelberg, 2012. (DOI).
-
Efficiently implementing Monte Carlo electrostatics simulations on multicore accelerators. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 379-388, Springer-Verlag, Berlin, 2012. (DOI).
-
Inferring semantic interfaces of data structures. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pp 554-571, 2012. (DOI).
-
Inferring Canonical Register Automata. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference,, volume 7148 of Lecture Notes in Computer Science, pp 251-266, Springer, 2012. (DOI).
-
A location-based publish/subscribe framework for wireless sensors and mobile phones. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI).
-
Technological systems across contexts: Designing and exploring learning possibilities in Swedish compulsory technology education. In Proc. PATT 26 Conference: Technology Education in the 21st Century, volume 73 of Linköping Electronic Conference Proceedings, pp 232-238, Linköping University Electronic Press, 2012. (Free fulltext available).
-
SNR Requirements for T1 and T2 Estimation using bSSFP. In Proceedings of the ISMRM 20th annual meeting, 2012.
-
All or nothing: Deployment must also be user-centred. In The Ergonomics Open Journal, 2012. Publication status: Submitted
-
Future Train Traffic Control: Development and deployment of new principles and systems in train traffic control. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-001, Uppsala University, 2012. (fulltext).
-
An image based high-throughput assay for chemical screening using zebrafish.. In , 2012.
-
Software risk management modeling using goal-driven approach from early requirements engineering. In Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (External link).
-
An Investigation on Nuclei of Histopathological Images using Curvelet Statistical Features. SSBA'12, Symposium on Image Analysis, KTH-Stockholm, 2012.
-
Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. In Histopathology Image Analysis (HIMA): a MICCAI 2012 workshop, 2012. (External link).
-
Interpretation and Adoption of the Concept of Enterprise-wide and Best of Breed Health IT within the New Zealand eHealth Community. In Health Informatics New Zeeland, 2012. (External link, fulltext:postprint).
-
Time Does Not Heal Usability Issues!: Results from a Longitudinal Evaluation of a Health IT Deployment Performed at Three Swedish Hospital Units. In OzCHI '12 Proceedings of the 24th Australian Computer-Human Interaction Conference, pp 273-280, ACM Press, New York, NY, USA, 2012. (DOI, External link).
-
The usage of usability techniques in Scrum projects. In Human-Centered Software Engineering, volume 7623 of Lecture Notes in Computer Science, pp 331-341, Springer Berlin/Heidelberg, 2012. (DOI).
-
Computing Strong and Weak Bisimulations for Psi-Calculi. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
-
Using refinement calculus techniques to prove linearizability. In Formal Aspects of Computing, volume 24, number 4-6, pp 537-554, 2012. (DOI).
-
Positioning in LTE. In Handbook of Position Location: Theory, Practice, and Advances, pp 1081-1127, John Wiley & Sons, Hoboken, NJ, 2012. (DOI).
-
Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
-
Assessing and acquiring ethical leadership competence. In Leadership through the Classics: leadership and management in a changing world - lessons from ancient eastern and western philosophy, pp 389-400, Springer Berlin/Heidelberg, 2012. (DOI).
-
Assessing usability of IT systems. In Ergonomics for sustainability and growth, KTH Royal Institute of Technology, Stockholm, 2012. (External link, fulltext:print).
-
Computerized support of personal and group skills for sustainability. International Conference on new technologies, education for sustainable development and critical pedagogy, 2012. (External link).
-
ICT as a horsefly. In Critique, Democracy and Philosophy in 21st Century Information Society: Towards Critical Theories of Social Media, pp 38-38, 2012. (External link).
-
Training and supporting education in sustainability by the use of an ICT tool. In New technologies, education for sustainable development and critical pedagogy, pp 225-231, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
-
Low Overhead Instruction-Cache Modeling Using Instruction Reuse Profiles. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'12), Computer Architecture and High Performance Computing, pp 260-269, IEEE Computer Society, 2012. (DOI).
-
Typed PSI workbench. 2012. (software
). -
An adaptive pseudospectral method for wave packet dynamics. In Journal of Chemical Physics, volume 137, pp 044111:1-12, 2012. (DOI, fulltext:print).
-
Report on the Model Checking Contest at Petri Nets 2011. In Transactions on Petri Nets and Other Models of Concurrency: VI, volume 7400 of Lecture Notes in Computer Science, pp 169-196, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
-
A time–space adaptive method for the Schrödinger equation. Technical report / Department of Information Technology, Uppsala University nr 2012-023, 2012. (fulltext).
-
An RBF–Galerkin approach to the time-dependent Schrödinger equation. Technical report / Department of Information Technology, Uppsala University nr 2012-024, 2012. (fulltext).
-
Derivation of strictly stable high order difference approximations for variable-coefficient PDE. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
-
Efficient and Reliable Simulation of Quantum Molecular Dynamics. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 970, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
A generic interface for parallel cell-based finite element operator application. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
-
High accuracy mantle convection simulation through modern numerical methods. In Geophysical Journal International, volume 191, pp 12-29, 2012. (DOI).
-
A Hybrid Approach to Cyber-Physical Systems Verification. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
-
Segmentation of virus particle candidates in transmission electron microscopy images. In Journal of Microscopy, volume 245, number 2, pp 140-147, Blackwell Publishing, 2012. (DOI).
-
Learning histopathological patterns. In Journal of Pathology Informatics, volume 2, p 12, 2012. (DOI).
-
The Vectorial Minimum Barrier Distance. In International Conference on Pattern Recognition, pp 792-795, 2012. (External link).
-
In Support of Democratic Dialogue. Critique, Democracy and Philosophy in 21st Century Information Society. Towards Critical Theories of Social Media. The Fourth ICTs and Society-Conference.Uppsala University. May 2nd-4th, 2012, 2012.
-
Tools for ethical and sustainable IT systems. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, pp 4-5, 2012. (External link).
-
Stable computation of differentiation matrices and scattered node stencils based on Gaussian radial basis functions. Technical report / Department of Information Technology, Uppsala University nr 2012-020, 2012. (fulltext).
-
High Order Local Radial Basis Function Methods for Atmospheric Flow Simulations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 951, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Evaluation of the Uppsala University ROLE Prototype. Department of Information Technology Division of Visual Information and Interaction Uppsala University,, 2012. (fulltext).
-
Coverage segmentation based on linear unmixing and minimization of perimeter and boundary thickness. In Pattern Recognition Letters, volume 33, number 6, pp 728-738, 2012. (DOI).
-
Comparison of Restoration Quality on Square and Hexagonal Grids using Normalized Convolution. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), 2012.
-
Aliasing Properties of Voxels in Three-Dimensional Sampling Lattices. In Large Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 507-514, 2012. (DOI).
-
Comparison of restoration quality on square and hexagonal grids using normalized convolution. In Proc. 21st International Conference on Pattern Recognition, pp 3046-3049, 2012.
-
Detection of Line Features in Digital Images of Building Structures. In Proceedings of IADIS International Conference Computer Graphics, Visualization, Computer Vision and Image Processing 2012 (CGVCVIP 2012), pp 163-167, 2012.
-
Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. In Visual observation and analysis of animal and insect behavior, pp 5-8, 2012. (fulltext:postprint).
-
A map based estimator for inverse complex covariance matricies. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp 3369-3372, 2012. (DOI).
-
Broadband synchronization of underwater acoustic communication signals using superimposed pilots. In OCEANS, 2012 - YEOSU, OCEANS-IEEE, 2012.
-
The big picture of UX is missing in Scrum projects. In Interplay between User Experience and Software Development: I-UxSED 2012, volume 922 of CEUR Workshop Proceedings, pp 43-48, RWTH Aachen University, 2012. (Fulltext).
-
Det är pedagoger som bryr sig om vårt barn: En studie av påverkande faktorer vid föräldrars val av förskola. 2012. (fulltext).
-
Using cultural analysis as a tool to increase quality in organisational ergonomics. Ergonomic for Sustainability and Growth, 2012. (External link).
-
What is cross-cultural?. In Advances in Design for Cross-Cultural Activities: Part 2, pp 408-416, 2012.
-
Seasonal Affective Disorder Monitoring System. 8th Swedish National Computer Networking Workshop (SNCNW), Stockholm, Sweden, 2012.
-
Seeded Segmentation Based on Object Homogeneity. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 21-24, 2012. (External link, External link).
-
Smart Paint: A New Interactive Segmentation Method\\ Applied to MR Prostate Segmentation. In Prostate MR Image Segmentation Grand Challenge (PROMISE'12), a MICCAI 2012 workshop, 2012. (External link).
-
A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI).
-
Towards an energy-efficient framework for location-triggered mobile application. In Australasian Telecommunication Networks and Applications Conference, ATNAC 2012, pp 1-6, 2012. (DOI).
-
Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. In Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
-
Adaptive control of propofol-induced hypnosis in anesthesia using a minimally parameterized Wiener model. In Proc. Reglermöte, 2012.
-
An adaptive controller for propofol in anesthesia under synergistic remifentanil disturbances. Technical report / Department of Information Technology, Uppsala University nr 2012-011, Uppsala University, Uppsala, 2012. (Report in fulltext, fulltext).
-
Control of rocuronium-induced neuromuscular blockade via online identification of a two-parameters Wiener model. In , volume 45:16 of IFAC-PapersOnLine, pp 571-576, 2012. (DOI).
-
Exactly linearizing adaptive control of propofol and remifentanil using a reduced Wiener model for the depth of anesthesia. In Proc. 51st Conference on Decision and Control, pp 368-373, IEEE, Piscataway, NJ, 2012. (DOI).
-
Nonlinear identification of a minimal neuromuscular blockade model in anesthesia. In IEEE Transactions on Control Systems Technology, volume 20, number 1, pp 181-188, 2012. (DOI).
-
System identification and control for general anesthesia based on parsimonious Wiener models. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-007, Uppsala University, 2012. (fulltext).
-
Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. In Journal of Scientific Computing, volume 51, pp 650-682, 2012. (DOI).
-
Estimation of input impulses by means of continuous finite memory observers. In Proc. American Control Conference: ACC 2012, pp 6769-6774, American Automatic Control Council, 2012. (DOI).
-
Student reflections on collaborative technology in a globally distributed student project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
-
Mining Conversations of Geographically Changing Users. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
-
On Resilience in Opportunistic Networks. In 8th Swedish National Computer Networking Workshop SNCNW 2012, 2012.
-
Comparing different identification approaches for the depth of anesthesia using BIS measurements. In Proc. 16th IFAC Symposium on System Identification, pp 781-785, 2012.
-
Demonstrating Learning of Register Automata. In Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference,, volume 7214 of Lecture Notes in Computer Science, pp 466-471, Springer Berlin/Heidelberg, Berlin, 2012. (DOI, External link).
-
A non-destructive X-ray microtomography approach for measuring fibre length in short-fibre composites. In Composites Science And Technology, volume 72, number 15, pp 1901-1908, 2012. (DOI).
-
Towards solver-independent propagators. In Principles and Practice of Constraint Programming: CP 2012, volume 7514 of Lecture Notes in Computer Science, pp 544-560, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
-
Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, pp 5372-5375, 2012. (DOI).
-
Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. In Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE, pp 5372-5375, 2012. (DOI).
-
On covariance matching for multiple input multiple output errors-in-variables systems. In Proc. 16th IFAC Symposium on System Identification, pp 1371-1376, International Federation of Automatic Control, 2012.
-
Breakdown of methods for phasing and imputation in the presence of double genotype sharing. Technical report / Department of Information Technology, Uppsala University nr 2012-027, 2012. (fulltext).
-
Coherent estimates of genetic effects with missing information. In Open Journal of Genetics, volume 2, pp 31-38, 2012. (DOI, Fulltext).
-
Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. Technical report / Department of Information Technology, Uppsala University nr 2012-026, 2012. (fulltext).
-
Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. In BMC Genetics, volume 13, pp 85:1-13, 2012. (DOI, fulltext:print).
-
Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype Inference. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 973, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Context-aware sensor data dissemination for mobile users in remote areas. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI).
-
Quality-of-Information aware data collection for mobile sensor networks. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI).
-
Performance and stability of the Chelonia storage system. In Proc. International Symposium on Grids and Clouds 2012, volume 153 of Proceedings of Science, pp 009:1-14, SISSA, Trieste, Italy, 2012.
-
A Novel Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2D Grids. In Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II, volume 7432 of Springer Lecture Notes in Computer Science, pp 265-274, 2012.
-
Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation. In Journal of Scientific Computing, volume 53, pp 528-551, 2012. (DOI).
-
Energy decay of vortices in viscous fluids: an applied mathematics view. In Journal of Fluid Mechanics, volume 709, pp 593-609, 2012. (DOI).
-
Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations. In Journal of Computational Physics, volume 231, pp 4867-4884, 2012. (DOI).
-
A cooperative decentralized PI control strategy: discrete-time analysis and nonlinear feedback. In Proc. 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp 103-108, 2012. (fulltext:postprint).
-
Progression i skrivfärdigheter hos studenter i datavetenskap. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
-
Towards User-Guided Quantitative Evaluation of Wrist Fractures in CT Images. In Computer Vision and Graphics: ICCVG 2012, volume 7594 of Lecture Notes in Computer Science, pp 204-211, Springer Berlin/Heidelberg, 2012. (DOI).
-
Physically Co-Located Haptic Interaction with 3D Displays. In Proc. Haptics Symposium (HAPTICS), 2012 IEEE, pp 267-272, 2012. (DOI).
-
Rendering stiffness with a prototype haptic glove actuated by an integrated piezoelectric motor. In Haptics: Perception, Devices, Mobility, and Communication: Part I, volume 7282 of Lecture Notes in Computer Science, pp 361-372, Springer Berlin/Heidelberg, 2012. (DOI).
-
3D nano-CT: a new approach for imaging at cellular scale. General Assembly of the French Society for Signal and Image Processing in Life Sciences (Invited talk), 2012.
-
Imaging of the Bone Cell Network with Nanoscale Synchrotron Radiation Computed Tomography. SSBA Symposium, 2012.
-
Isotropic 3D imaging of biological specimens at micro and nano scale. In , 2012.
-
Making isotropic 3D imaging at microscopic scale accessible to every lab. BioImage Informatics, 2012.
-
Predicting the Cost of Lock Contention in Parallel Applications on Multicores using Analytic Modeling. In Proc. 5th Swedish Workshop on Multi-Core Computing, 2012.
-
On preserving term sharing in the Erlang virtual machine. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
-
Beyond cloud computing: why should society be allowed to say a word about it. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 4, 2012. (External link).
-
Is the post-Turing ICT sustainable?. In ICT critical infrastructure and society: 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings, volume 386 of IFIP Advances in Information and Communication Technology, pp 183-191, Springer, Amsterdam, 2012. (DOI, External link).
-
Challenges in Developing Global Collaborative Project Courses. In Proc. 1st Forum on International Collaborative Academic Programs, BrownWalker Press, 2012.
-
Harnessing theory in the service of engineering education research. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 391-395, IEEE, Piscataway, NJ, 2012. (DOI).
-
Hur ser Teknisk-naturvetenskapliga fakultetens lärare på undervisning och lärande. In Universitetspedagogisk utveckling och kvalitet - i praktiken!, pp 21-44, 2012.
-
Investigating Swedish Teacher's Approaches to Their Teaching Practice. In , San Antonio, TX, 2012.
-
Teachers' conceptions of teaching practice. In Improving Student Learning through Research and Scholarship (ISL 2012), Lund University, Sweden, 2012. (Abstract).
-
On the Convergence Analysis of the MINLIP Estimator. In Proceedings of the 16th IFAC Symposium on System Identification, volume Vol. 16, Part 1 of System Identification, pp 482-487, 2012. (DOI).
-
Students' experiences and attitudes towards learning Computer Science. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
-
Finite element discretization of multiscale elliptic problems. In Advanced Computational Engineering, volume 9 of Oberwolfach Reports, pp 516-518, EMS Publishing House, Zürich, Switzerland, 2012. (DOI).
-
A Roe variable based chaos method for the Euler equations under uncertainty. Technical report / Department of Information Technology, Uppsala University nr 2012-021, 2012. (fulltext).
-
A stochastic Galerkin method for the Euler equations with Roe variable transformation. Technical report / Department of Information Technology, Uppsala University nr 2012-033, 2012. (fulltext).
-
An intrusive hybrid method for discontinuous two-phase flow under uncertainty. Technical report / Department of Information Technology, Uppsala University nr 2012-035, 2012. (fulltext).
-
On stability and monotonicity requirements of discretized stochastic conservation laws with random viscosity. Technical report / Department of Information Technology, Uppsala University nr 2012-028, 2012. (fulltext).
-
Synchrotron radiation CT from the micro to nanoscale for the investigation of bone tissue. In Proceedings of SPIE: The International Society for Optical Engineering, volume 8506 of Proceedings of SPIE - The International Society for Optical Engineering, p 85060L, 2012. (DOI).
-
Proof Exchange for Theorem Proving: PxTP 2012. Volume 878 of CEUR Workshop Proceedings, 2012. (Proceedings).
-
Democracy has arrived!: A model for ethical decision making of players in MMOs. Meaningful Play 2012, 2012.
-
Design of Embedded Filters for Inner-Loop Power Control in Wireless CDMA Communication Systems. In Asian Journal of Control, volume 14, number 4, pp 891-900, 2012. (DOI).
-
Extending psi-calculi and their formal proofs. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-008, Uppsala University, 2012. (fulltext).
-
Non-Random mtDNA Segregation Patterns Indicate a Metastable Heteroplasmic Segregation Unit in m.3243A>G Cybrid Cells. In PLOS ONE, volume 7, number 12, p e52080, 2012. (DOI, fulltext:print).
-
Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and Interference. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 965, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
SoNIC: Classifying and Surviving Interference in 802.15.4-based Sensor Networks. Technical report / Department of Information Technology, Uppsala University nr 2012-022, 2012. (fulltext).
-
On location privacy and quality of information in participatory sensing. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI).
-
Secure and Privacy-Aware Data Collection in Wireless Sensor Networks. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 968, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
-
Complexity-effective multicore coherence. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 241-251, ACM Press, New York, 2012. (DOI).
-
An on-line algorithm for anomaly detection in trajectory data. In Proc. American Control Conference: ACC 2012, pp 1117-1122, American Automatic Control Council, 2012. (DOI).
-
Parallelization of the Kalman filter for banded systems on multicore computational platforms. In Proc. 51st Conference on Decision and Control, pp 2022-2027, IEEE, Piscataway, NJ, 2012. (DOI).
-
Comment on "On the optimal symmetric purification scheme of the one-particle density matrix" [Chem. Phys. Lett. 511 (2011) 159–160]. In Chemical Physics Letters, volume 527, pp 84-85, 2012. (DOI).
-
Controlling errors in recursive Fermi–Dirac operator expansions with applications in electronic structure theory. In SIAM Journal on Scientific Computing, volume 34, pp B1-B23, 2012. (DOI, fulltext:postprint).
-
Difficulties in applying pure Kohn–Sham density functional theory electronic structure methods to protein molecules. In Journal of Physics: Condensed Matter, volume 24, pp 072202:1-7, 2012. (DOI).
-
E-matching with free variables. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 7180 of Lecture Notes in Computer Science, pp 359-374, Springer Berlin/Heidelberg, 2012. (DOI).
-
Adaptive Parallelization of Queries to Data Providing Web Service Operations. In Transactions on Large-Scale Data- and Knowledge-Centered Systems V, volume 7100 of Lecture Notes in Computer Science, pp 49-69, Springer, 2012. (DOI).
-
ErLLVM: An LLVM backend for Erlang. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
-
Efficient techniques for predicting cache sharing and throughput. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 305-314, ACM Press, New York, 2012. (DOI, fulltext:postprint).
-
Threshold concepts and threshold skills in computing. In Proc. 8th International Computing Education Research Conference, pp 23-30, ACM Press, New York, 2012. (DOI).
-
On moving average parameter estimation. 20th European Signal Processing Conference (EUSIPCO), 27-31 Aug, 2012, Bucharest, ROmania, 2012. (External link).
-
Topic 14: Mobile and Ubiquitous Computing. In Euro-Par, 2012.
-
Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
-
Online evaluation of a changes detection algorithm for depth of anesthesia signals. In Proc. 8th IFAC Symposium on Biological and Medical Systems, pp A-0076, 2012.
-
Contributions to a decision support system based on depth of anesthesia signals. In Proc. 25th International Symposium on Computer-Based Medical Systems, p 6, IEEE, Piscataway, NJ, 2012. (DOI).
-
Solving combined geospatial tasks using 2D and 3D bar charts. In Information Visualisation (IV), 2012 16th International Conference, Proceedings of the International Conference on Information Visualisation, pp 157-163, 2012. (DOI).
-
Automatic measurement of compression wood cell attributes in fluorescence microscopy images. In Journal of Microscopy, volume 246, number 3, pp 298-308, 2012. (DOI).
-
Stochastic watershed – an analysis. In Proceedings of Swedish Society for Image Analysis, SSBA 2012, KTH Royal Institute of Technology, Stockholm, 2012.
-
Efficient techniques for detecting and exploiting runtime phases. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-009, Uppsala University, 2012. (fulltext).
-
Phase Behavior in Serial and Parallel Applications. In International Symposium on Workload Characterization (IISWC'12), IEEE Computer Society, 2012.
-
Phase Guided Profiling for Fast Cache Modeling. In International Symposium on Code Generation and Optimization (CGO'12), pp 175-185, ACM Press, 2012. (DOI).
-
Optimization of semi-automated cell tracking using application-expert feed-back. In , 2012.
-
Regional Zernike Moments for Texture Recognition. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 1635-1638, 2012.
-
The coverage model and its use in image processing. In Selected Topics on Image Processing and Cryptology: Zbornik radova (Collection of Papers), volume 15(23) of Zbornik radova, pp 39-117, Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia, 2012. (External link).
-
Computational Design of Sequences With Good Correlation Properties. In IEEE Transactions on Signal Processing, volume 60, number 5, pp 2180-2193, 2012. (DOI).
-
Design of perfect phase-quantized sequences with low peak-to-average-power ratio. In Proc. 20th European Signal Processing Conference, European Signal Processing Conference (EUSIPCO), pp 2576-2580, 2012.
-
Logics and Algorithms for Verification of Concurrent Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 964, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
Power-Sleuth: A Tool for Investigating your Program's Power Behavior. In International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'12), pp 241-250, 2012. (DOI).
-
Hardness Results for Static Priority Real-Time Scheduling. In Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), Euromicro Workshop on Real-Time Systems-Proceedings, pp 189-198, 2012. (DOI, External link).
-
Concurrent view modeling for software risk management at early development stage. In Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
-
Educational methods for software and systems development. In Proc. 15th International Conference on Interactive Collaborative Learning, p 8, IEEE, Piscataway, NJ, 2012. (DOI).
-
On the Exponentially Embedded Family (EEF) Rule for Model Order Selection. In IEEE Signal Processing Letters, volume 19, number 9, pp 551-554, 2012. (DOI).
-
On the LIMES approach to spectral analysis of irregularly sampled data. In Electronics Letters, volume 48, number 4, pp 218-219, 2012. (DOI).
-
On the Proper Forms of BIC for Model Order Selection. In IEEE Transactions on Signal Processing, volume 60, number 9, pp 4956-4961, 2012. (DOI).
-
SPICE and LIKES: Two hyperparameter-free methods for sparse-parameter estimation. In Signal Processing, volume 92, number 7, pp 1580-1590, 2012. (DOI).
-
Sparse estimation of spectral lines: Grid selection problems and their solutions. In IEEE Transactions on Signal Processing, volume 60, number 2, pp 962-967, 2012. (DOI).
-
Optimization of the Receive Filter and Transmit Sequence for Active Sensing. In IEEE Transactions on Signal Processing, volume 60, number 4, pp 1730-1740, 2012. (DOI).
-
Distance transform computation for digital distance functions. In Theoretical Computer Science, volume 448, pp 80-93, 2012. (DOI).
-
Contingency plans for air traffic flow and capacity management using constraint programming. In Journal of Aerospace Operations, volume 1, pp 249-266, 2012. (DOI).
-
Rigid registration for MET image exploration using CUDA. In Proceedings SSBA 2012, 2012.
-
Rigid template registration in MET images using CUDA. In VISAPP 2012: Proceedings of the International Conference on Computer Vision Theory and Applications, pp 418-422, SciTePress, Rome, 2012.
-
A generalised instrumental variable estimator for multivariable errors-in-variables identification problems. In International Journal of Control, volume 85, number 3, pp 287-303, 2012. (DOI).
-
Accuracy analysis of a covariance matching method for continuous-time errors-in-variables system identification. In Proc. 16th IFAC Symposium on System Identification, pp 1383-1388, International Federation of Automatic Control, 2012.
-
Estimation of material functions using system identification techniques. In Control Engineering Practice, volume 20, number 10, pp 972-990, 2012. (DOI).
-
How accurate can instrumental variable models become?. In System Identification, Environmental Modelling, and Control System Design, pp 3-25, Springer London, 2012. (DOI).
-
Model order determination based on rank properties of almost singular covariance matrices. In Proc. 16th IFAC Symposium on System Identification, pp 1653-1658, International Federation of Automatic Control, 2012.
-
On model order determination for errors-in-variables estimation. In Proc. 16th IFAC Symposium on System Identification, pp 1347-1352, International Federation of Automatic Control, 2012.
-
System identification for the errors-in-variables problem. In Transactions of the Institute of Measurement and Control, volume 34, number 7, pp 780-792, 2012. (DOI).
-
Convergence analysis and experiments using an RPEM based on nonlinear ODEs and midpoint integration. In Proc. 51st Conference on Decision and Control, pp 2858-2865, IEEE, Piscatway, NJ, 2012. (DOI).
-
Convergence analysis of a recursive prediction error method. In , volume 45:16 of IFAC-PapersOnLine, pp 1496-1501, 2012. (DOI).
-
Nonlinear system identification with applications to selective catalytic reduction systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-004, Uppsala University, 2012. (fulltext).
-
On the use of underspecified data-type semantics for type safety in low-level code. In Proc. 7th Conference on Systems Software Verification: SSV 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
-
Illustration of paradigm pluralism in computing education research. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link, fulltext:print).
-
Leveraging multicore processors for scientific computing. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-006, Uppsala University, 2012. (fulltext).
-
A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI).
-
Investigating an open source cloud storage infrastructure for CERN-specific data analysis. In Proc. 7th International Conference on Networking, Architecture, and Storage, pp 84-88, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
-
Managing Applications and Data in Distributed Computing Infrastructures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 940, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
-
An analytical energy consumption model for packet transfer over wireless links. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI).
-
On the Performance of Optimal Input Signals for Frequency Response Estimation. In IEEE Transactions on Automatic Control, volume 57, number 3, pp 766-771, 2012. (DOI).
-
Graph Based Line Segmentation on Cluttered Handwritten Manuscripts. In Proceedings of the 21st International Conference on Pattern Recognition, 2012, pp 1570-1573, IEEE, 2012. (fulltext:postprint).
-
Word Spotting in Pre-Modern Manuscripts using Dynamic Time Warping. In Proceedings of SSBA, 2012, 2012.
-
Stochastic reaction–diffusion processes with embedded lower dimensional structures. Technical report / Department of Information Technology, Uppsala University nr 2012-034, 2012. (fulltext).
-
Visualising individual sequence-specific protein-DNA interactions in situ. In New Biotechnology, volume 29, number 5, pp 589-598, 2012. (DOI).
-
A Long-Term Study on the Effects of Meteorological Conditions on 802.15.4 Links. In 8th Swedish National Computer Networking Workshop, Stockholm, June 7-8, 2012.
-
Enhanced WCDMA fingerprinting localization using OTDOA positioning measurements from LTE. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
-
Fingerprinting localization using RTT and TA. In IET Communications, volume 2012, number 6, pp 419-427, 2012. (DOI).
-
LTE fingerprinting localization with altitude. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
-
WCDMA uplink load estimation with generalized rake receivers. In IEEE Transactions on Vehicular Technology, volume 61, number 5, pp 2394-2400, 2012. (DOI).
-
Optimal prior knowledge-based direction of arrival estimation. In IET Signal Processing, volume 6, number 8, pp 731-742, 2012. (DOI).
-
Conformance testing for cyber-physical systems. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
-
Structured Aliasing. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
-
An image analysis toolbox for high-throughput <em>C. elegans </em>assays. In Nature Methods, volume 9, number 7, pp 714-716, 2012. (DOI).
-
High throughput phenotyping of model organisms. In BioImage Informatics 2012, pp 45-45, Dresden, Germany, 2012.
-
Load control for multi-stage interference cancellation. In Proc. 23rd International Symposium on Personal, Indoor, and Mobile Radio Communications, pp 339-344, IEEE, Piscataway, NJ, 2012. (DOI).
-
MIMO radar waveform design. In Waveform Design and Diversity for Advanced Radar Systems, IET Press, 2012.
-
Sparse representations and sphere decoding for array signal processing. In Digital signal processing (Print), volume 22, number 2, pp 253-262, 2012. (DOI).
-
Programming models based on data versioning for dependency-aware task-based parallelisation. In Proc. 15th International Conference on Computational Science and Engineering, pp 275-280, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
-
Spurious currents in finite element based level set methods for two-phase flow. In International Journal for Numerical Methods in Fluids, volume 69, pp 1433-1456, 2012. (DOI).
-
Multiple-model approach for identification and control of a Selective Catalytic Reduction system. Reglermöte 2012, Uppsala, 2012.
-
Self-Directed Learning: stories from industry. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 111-117, ACM Press, New York, 2012. (DOI).
-
An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI).
-
Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).
-
Energy efficient ammonium feedback control. In New Developments in IT & Water, 2012.
-
Optimal aeration control in a nitrifying activated sludge process. In Water Research, volume 46, number 7, pp 2101-2110, 2012. (DOI).
-
Abstractions for scaling eScience applications to distributed computing environments: A StratUm integration case study in molecular systems biology. In Proc. 3rd International Conference on Bioinformatics Models, Methods and Algorithms, pp 290-294, SciTePress, Setúbal, Portugal, 2012. (DOI).
-
Reducing complexity in management of eScience computations. In Proc. 12th International Symposium on Cluster, Cloud and Grid Computing, pp 845-852, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
-
Multiple Aggregate Entry Points for Ownership Types. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 156-180, Springer Berlin/Heidelberg, 2012. (DOI).
-
The Joelle Programming Language: Evolving Java Programs Along Two Axes of Parallel Eval. 2012 International Workshop on Languages for the Multi-core Era, 2012.