Refereed publications from the IT research programs 2015
Automatic Control (Reglerteknik)
- Load transients in pooled cellular core network nodes. In Performance evaluation (Print), volume 90, pp 18-35, 2015. (DOI).
- Delay-induced Dynamical Phenomena in Impulsive Goodwin's Oscillator: What We Know So Far. In 2015 54Th Ieee Conference On Decision And Control (CDC), pp 590-595, 2015.
- Electric field modeling and spatial control in Deep Brain Stimulation. In Proc. 54th Conference on Decision and Control, pp 3846-3851, IEEE, Piscataway, NJ, 2015. (DOI).
- Model-based optimization of lead configurations in Deep Brain Stimulation. In Proc. 1st International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems, pp 14-19, International Academy, Research and Industry Association (IARIA), 2015.
- Particle Metropolis–Hastings using gradient and Hessian information. In Statistics and computing, volume 25, number 1, pp 81-92, 2015. (DOI).
- A new structure exploiting derivation of recursive direct weight optimization. In IEEE Transactions on Automatic Control, volume 60, number 6, pp 1683-1685, 2015. (DOI).
- Identifiability and convergence analysis of the MINLIP estimator. In Automatica, volume 51, pp 104-110, 2015. (DOI).
- On the exponential convergence of the Kaczmarz algorithm. In IEEE Signal Processing Letters, volume 22, number 10, pp 1571-1574, 2015. (DOI).
- On the nuclear norm heuristic for a Hankel matrix completion problem. In Automatica, volume 51, pp 268-272, 2015. (DOI).
- Joint ranging and clock parameter estimation by wireless round trip time measurements. In IEEE Journal on Selected Areas in Communications, volume 33, number 11, pp 2379-2390, 2015. (DOI).
- Trunk Muscle Activation at the Initiation and Braking of Bilateral Shoulder Flexion Movements of Different Amplitudes. In PLOS ONE, volume 10, number 11, 2015. (DOI, fulltext:print).
- Coherent mimo radar and waveform diversity. In Wiley Encyclopedia of Electrical and Electronics Engineering, pp 1-19, John Wiley & Sons, Hoboken, NJ, 2015. (DOI).
- Identification of the Reichardt elementary motion detector model. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 83-105, Springer, 2015. (DOI).
- Joint vehicle trajectory and model parameter estimation using road side sensors. In IEEE Sensors Journal, volume 15, number 9, pp 5075-5086, 2015. (DOI).
- Robust tuning of bending-points detection algorithms in batch-operated processes: Application to autothermal thermophilic aerobic digesters. In Environmental Modelling & Software, volume 71, pp 148-158, 2015. (DOI).
- Parametric and nonparametric analysis of eye-tracking data by anomaly detection. In IEEE Transactions on Control Systems Technology, volume 23, number 4, pp 1578-1586, 2015. (DOI).
- Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 63-82, Springer, 2015. (DOI).
- Indoor positioning using ultrawideband and inertial measurements. In IEEE Transactions on Vehicular Technology, volume 64, number 4, pp 1293-1303, 2015. (DOI).
- Modeling the effect of intravenous anesthetics: A path toward individualization. In IEEE Design & Test, volume 32, number 5, pp 17-26, 2015. (DOI).
- Performance of an adaptive controller for the neuromuscular blockade based on inversion of a Wiener model. In Asian Journal of Control, volume 17, number 4, pp 1136-1147, 2015. (DOI).
- Modeling of testosterone regulation by pulse-modulated feedback. In Signal and Image Analysis for Biomedical and Life Sciences, volume 823 of Advances in Experimental Medicine and Biology, pp 23-40, Springer, 2015. (DOI).
- Particle filtering based identification for autonomous nonlinear ODE models. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 415-420, International Federation of Automatic Control, 2015. (DOI).
- A closed loop stability condition of switched systems applied to NCSs with packet loss. In Proc. 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, International Federation of Automatic Control, 2015.
- Conditions for input-output stability of discrete-time Luré systems with time-varying delays. In Proc. 54th Conference on Decision and Control, pp 7707-7714, IEEE, Piscataway, NJ, 2015.
- Stability analysis of an adaptively sampled controller for SISO systems with nonlinear feedback. In Proc. American Control Conference: ACC 2015, pp 5353-5358, American Automatic Control Council, 2015. (DOI, fulltext:postprint).
- ATAD control goals through the analysis of process variables and evaluation of quality, production and cost. In Water Science and Technology, volume 71, number 5, pp 717-724, 2015. (DOI).
- High-resolution imaging for impulse-based forward-looking ground penetrating radar. In International Journal of Remote Sensing Applications, volume 5, pp 11-24, 2015. (DOI).
- Nuclear Norms for System Identification: a direct input-output approach. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 644-649, International Federation of Automatic Control, 2015. (DOI).
- Parallel recursive estimation using Monte Carlo and orthogonal series expansions. In Proc. American Control Conference: ACC 2015, pp 3905-3910, American Automatic Control Council, 2015. (DOI).
- Detecting anomalous air flow-ammonia load ratios, using Gaussian process regression. In Proc. 9th IWA Symposium on Systems Analysis and Integrated Assessment, 2015.
- Multi-rate uplink channel prediction and enhanced link adaptation for VoLTE. In Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI).
- Frequency domain EIV identification combiningthe Frisch scheme and Yule-Walker equations. In European Control Conference, Linz, Austria, 2015.
- System components of a general theory of software engineering. In Science of Computer Programming, volume 101, pp 42-65, 2015. (DOI).
- Marginalizing Gaussian process hyperparameters using sequential Monte Carlo. In Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 477-480, IEEE, Piscataway, NJ, 2015. (DOI, fulltext:postprint).
- Nonlinear state space model identification using a regularized basis function expansion. In Proc. 6th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 481-484, IEEE, Piscataway, NJ, 2015. (DOI).
- Nonlinear state space smoothing using the conditional particle filter. In Proc. 17th IFAC Symposium on System Identification, volume 48:28 of IFAC-PapersOnLine, pp 975-980, International Federation of Automatic Control, 2015. (DOI).
- Model-based temperature control of a selective catalytic reduction system. In IET Control Theory & Applications, volume 9, number 2, pp 211-221, 2015. (DOI).
- On Identification via EM with Latent Disturbances and Lagrangian Relaxation. In , pp 69-74, 2015. (DOI, External link).
- Implication of RF EMF exposure limitations on 5G data rates above 6 GHz. In Proc. 82nd Vehicular Technology Conference, IEEE, Piscataway, NJ, 2015. (DOI).
- Low-frequency limitations in saturated and delayed networked control. In Proc. International Conference on Control Applications: CCA 2015, pp 569-576, IEEE, Piscataway, NJ, 2015. (DOI).
- Model order and identifiability of non-linear biological systems in stable oscillation. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 12, number 6, pp 1479-1484, 2015. (DOI).
- Nonlinear identification of biological clock dynamics. In Proc. 54th Conference on Decision and Control, pp 602-608, IEEE, Piscataway, NJ, 2015. (DOI).
- Nonlinear identification of neuron models. In Proc. International Conference on Control Applications: CCA 2015, pp 1340-1346, IEEE, Piscataway, NJ, 2015. (DOI).
- Wireless interference power estimation for inter-cell interference coordination. In IET Communications, volume 9, number 12, pp 1539-1546, 2015. (DOI).
- Bayesian nonparametric identification of piecewise affine ARX systems. In , pp 709-714, 2015. (DOI, External link).
- Design degrees of freedom in a hybrid observer for a continuous plant under an intrinsic pulse-modulated feedback. In , volume 48:11 of IFAC-PapersOnLine, pp 1080-1085, 2015. (DOI).
- Finite-dimensional hybrid observer for delayed impulsive model of testosterone regulation. In Mathematical problems in engineering (Print), volume 2015, pp 190463:1-12, 2015. (DOI, Fulltext).
- State estimation in a delayed impulsive model of testosterone regulation by a finite-dimensional hybrid observer. In Proc. 14th European Control Conference, pp 1450-1455, IEEE, 2015. (DOI).
- Generalized Vandermonde decomposition and its use for multi-dimensional super-resolution. In Proc. International Symposium on Information Theory: ISIT 2015, pp 2011-2015, Institute of Electrical and Electronics Engineers (IEEE), Piscataway, NJ, 2015. (DOI).
- Cramér–Rao bound analog of Bayes' rule. In IEEE signal processing magazine (Print), volume 32, number 2, pp 164-168, 2015. (DOI).
- Online hyperparameter-free sparse estimation method. In IEEE Transactions on Signal Processing, volume 63, number 13, pp 3348-3359, 2015. (DOI).
- Optimal steady-state design of zone volumes of bioreactors with Monod growth kinetics. In Biochemical engineering journal, volume 100, pp 59-66, 2015. (DOI).
- Bifurcation analysis of PID-controlled neuromuscular blockade in closed-loop anesthesia. In Journal of Process Control, volume 25, pp 152-163, 2015. (DOI).
- Multistability and hidden attractors in an impulsive Goodwin oscillator with time delay. In The European Physical Journal Special Topics, volume 224, number 8, pp 1519-1539, 2015. (DOI).
Numerical Analysis (Numerisk analys)
- Classical iterative methods. In Encyclopedia of Applied and Computational Mathematics, pp 205-224, Springer, 2015. (DOI).
- Numerical solution of the time-dependent Navier–Stokes equation for variable density–variable viscosity: Part I. In Mathematical Modelling and Analysis, volume 20, pp 232-260, 2015. (DOI, fulltext:postprint).
- Iterated fractional Tikhonov regularization. In Inverse Problems, volume 31, pp 055005:1-34, 2015. (DOI).
- Applications for ultrascale computing. In Supercomputing Frontiers and Innovations, volume 2, number 1, pp 19-48, 2015. (DOI, Fulltext).
- Simulation of the Taylor–Green vortex using high-order flux reconstruction schemes. In AIAA Journal, volume 53, number 9, pp 2750-2761, 2015. (DOI, fulltext:postprint).
- Goal-oriented adaptive finite element methods for elliptic problems revisited. In Journal of Computational and Applied Mathematics, volume 287, pp 125-147, 2015. (DOI).
- Accelerated multigrid for graph Laplacian operators. In Applied Mathematics and Computation, volume 270, pp 193-215, 2015. (DOI).
- Computational evaluation of multi-iterative approaches for solving graph-structured large linear systems. In Calcolo, volume 52, pp 425-444, 2015. (DOI).
- Robust and optimal multi-iterative techniques for IgA Galerkin linear systems. In Computer Methods in Applied Mechanics and Engineering, volume 284, pp 230-264, 2015. (DOI).
- Robust and optimal multi-iterative techniques for IgA collocation linear systems. In Computer Methods in Applied Mechanics and Engineering, volume 284, pp 1120-1146, 2015. (DOI).
- Two-grid optimality for Galerkin linear systems based on B-splines. In Computing and Visualization in Science, volume 17, pp 119-133, 2015. (DOI).
- Numerical and computational aspects of some block-preconditioners for saddle point systems. In Parallel Computing, volume 49, pp 164-178, 2015. (DOI).
- Schur complement matrix and its (elementwise) approximation: A spectral analysis based on GLT sequences. In Large-Scale Scientific Computing, volume 9374 of Lecture Notes in Computer Science, pp 419-426, Springer, 2015. (DOI).
- Boundary conditions and stability of a perfectly matched layer for the elastic wave equation in first order form. In Journal of Computational Physics, volume 303, pp 372-395, 2015. (DOI).
- On multiscale methods in Petrov–Galerkin formulation. In Numerische Mathematik, volume 131, pp 643-682, 2015. (DOI).
- A general tool for determining the asymptotic spectral distribution of Hermitian matrix-sequences. In Operators and Matrices, volume 9, pp 549-561, 2015. (Article).
- Spectral analysis and spectral symbol of <em>d</em>-variate Q<em><sub>p</sub></em> Lagrangian FEM stiffness matrices. In SIAM Journal on Matrix Analysis and Applications, volume 36, pp 1100-1128, 2015. (DOI).
- Tools for determining the asymptotic spectral distribution of non-Hermitian perturbations of Hemitian matrix-sequences and applications. In Integral equations and operator theory, volume 81, pp 213-225, 2015. (DOI).
- Unsteady simulations of rotor stator interactions using SBP-SAT schemes: Status and challenges. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2014, volume 106 of Lecture Notes in Computational Science and Engineering, pp 247-255, Springer, 2015. (DOI).
- Diffusion equation: Computation. In Encyclopedia of Applied and Computational Mathematics, pp 353-356, Springer, 2015. (DOI).
- On preconditioning of incompressible non-Newtonian flow problems. In Journal of Computational Mathematics, volume 33, pp 33-58, 2015. (DOI).
- Error control and adaptivity for heterogeneous multiscale approximations of nonlinear monotone problems. In Discrete and Continuous Dynamical Systems. Series S, volume 8, pp 119-150, 2015. (DOI).
- On the bimodality in an introductory programming course: An analysis of student performance factors. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 79-86, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations. In Advances in Applied Mathematics and Mechanics, volume 7, pp 687-714, 2015. (DOI, fulltext:postprint).
- Finite difference methods. In Encyclopedia of Applied and Computational Mathematics, pp 516-521, Springer, 2015. (DOI).
- Fokker–Planck equation: Computation. In Encyclopedia of Applied and Computational Mathematics, pp 556-559, Springer, 2015. (DOI).
- Numerical option pricing without oscillations using flux limiters. In Computers and Mathematics with Applications, volume 70, pp 1-10, 2015. (DOI, fulltext:postprint).
- Simulation of stochastic diffusion via first exit times. In Journal of Computational Physics, volume 300, pp 862-886, 2015. (DOI, fulltext:postprint).
- Stabilized high-order Galerkin methods based on a parameter-free dynamic SGS model for LES. In Journal of Computational Physics, volume 301, pp 77-101, 2015. (DOI).
- High-fidelity numerical simulation of the dynamic beam equation. In Journal of Computational Physics, volume 286, pp 194-213, 2015. (DOI, fulltext:postprint).
- Optimal bounds for a Lagrange interpolation inequality for piecewise linear continuous finite elements in two space dimensions. In Journal of Mathematical Analysis and Applications, volume 423, pp 940-955, 2015. (DOI).
- Stable difference methods for block-oriented adaptive grids. In Journal of Scientific Computing, volume 65, pp 486-511, 2015. (DOI).
- Quasi-optimal preconditioners for finite element approximations of diffusion dominated convection–diffusion equations on (nearly) equilateral triangle meshes. In Numerical Linear Algebra with Applications, volume 22, pp 123-144, 2015. (DOI).
- A radial basis function partition of unity collocation method for convection–diffusion equations arising in financial applications. In Journal of Scientific Computing, volume 64, pp 341-367, 2015. (DOI, fulltext:postprint).
- Realization of adiabatic Aharonov–Bohm scattering with neutrons. In Physical Review A. Atomic, Molecular, and Optical Physics, volume 92, number 5, pp 052108:1-5, 2015. (DOI).
- A scalable RBF–FD method for atmospheric flow. In Journal of Computational Physics, volume 298, pp 406-422, 2015. (DOI, fulltext:postprint).
- Interface waves in almost incompressible elastic materials. In Journal of Computational Physics, volume 303, pp 313-330, 2015. (DOI, fulltext:postprint).
- Nonlinear identification of biological clock dynamics. In Proc. 54th Conference on Decision and Control, pp 602-608, IEEE, Piscataway, NJ, 2015. (DOI).
- An efficient multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with ODEs. In Applied Mathematics and Computation, volume 250, pp 249-259, 2015. (DOI).
- Higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations: Application to nonlinear PDEs and ODEs. In Applied Mathematics and Computation, volume 269, pp 972-987, 2015. (DOI).
- Adaptive finite differences and IMEX time-stepping to price options under Bates model. In International Journal of Computer Mathematics, volume 92, pp 2515-2529, 2015. (DOI, fulltext:postprint).
- BENCHOP—The BENCHmarking project in Option Pricing. In International Journal of Computer Mathematics, volume 92, pp 2361-2379, 2015. (DOI, fulltext:postprint).
Computational Science (Tillämpad beräkningsvetenskap)
- Self-adaptive multiprecision preconditioners on multicore and manycore architectures. In High Performance Computing for Computational Science – VECPAR 2014, volume 8969 of Lecture Notes in Computer Science, pp 115-123, Springer, 2015. (DOI).
- Efficient inter-process synchronization for parallel discrete event simulation on multicores. In Proc. 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 183-194, ACM Press, New York, 2015. (DOI).
- Sensitivity estimation and inverse problems in spatial stochastic models of chemical kinetics. In Numerical Mathematics and Advanced Applications: ENUMATH 2013, volume 103 of Lecture Notes in Computational Science and Engineering, pp 519-527, Springer, 2015. (DOI).
- Learning practice and theory in programming education: Students’ lived experience. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 180-186, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
- Learning to program: A discussion on the interplay of theory and practice. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 16-18, 2015. (Proceedings).
- Conformal prediction in Spark: Large-scale machine learning with confidence. In Proc. 2nd International Symposium on Big Data Computing, pp 61-67, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Competencies for paradigm shift "survival". In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Relating theory and practice in laboratory work: a variation theoretical study. In Studies in Higher Education, volume 40, pp 867-880, 2015. (DOI).
- Machine learning for ultrafast X-ray diffraction patterns on large-scale GPU clusters. In The international journal of high performance computing applications, volume 29, pp 233-243, 2015. (DOI, fulltext:postprint).
- Strong convergence for split-step methods in stochastic jump kinetics. In SIAM Journal on Numerical Analysis, volume 53, pp 2655-2676, 2015. (DOI, fulltext:print).
- Data structures and algorithms for high-dimensional structured adaptive mesh refinement. In Advances in Engineering Software, volume 82, pp 75-86, 2015. (DOI).
- Reaction rates for mesoscopic reaction-diffusion kinetics. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 91, pp 023312:1-12, 2015. (DOI, fulltext:print).
- Imputation of single nucleotide polymorphism genotypes in biparental, backcross, and topcross populations with a hidden Markov model. In Crop science, volume 55, pp 1934-1946, 2015. (DOI, Fulltext).
- On the bimodality in an introductory programming course: An analysis of student performance factors. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 79-86, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations. In Advances in Applied Mathematics and Mechanics, volume 7, pp 687-714, 2015. (DOI, fulltext:postprint).
- Stiff convergence of force-gradient operator splitting methods. In Applied Numerical Mathematics, volume 94, pp 33-45, 2015. (DOI, fulltext:postprint).
- Accuracy of the Michaelis–Menten approximation when analysing effects of molecular noise. In Journal of the Royal Society Interface, volume 12, number 106, pp 20150054:1-10, 2015. (DOI, fulltext:postprint).
- Stochastic focusing coupled with negative feedback enables robust regulation in biochemical reaction networks. In Journal of the Royal Society Interface, volume 12, number 113, pp 20150831:1-10, 2015. (DOI, fulltext:postprint).
- Canonical density matrix perturbation theory. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 92, pp 063301:1-8, 2015. (DOI, fulltext:print).
- Stable difference methods for block-oriented adaptive grids. In Journal of Scientific Computing, volume 65, pp 486-511, 2015. (DOI).
- Multidimensional analysis of creative coding MOOC forums: a methodological discussion. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI).
- Second year Computer Science and IT students' experience of participation in the discipline. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 68-76, ACM Press, New York, 2015. (DOI).
- Wave packet simulations of antiproton scattering on molecular hydrogen. In Journal of Physics B: Atomic, Molecular and Optical Physics, volume 48, number 19, pp 195204:1-7, 2015. (DOI).
- A scalable RBF–FD method for atmospheric flow. In Journal of Computational Physics, volume 298, pp 406-422, 2015. (DOI, fulltext:postprint).
- Resource-aware task scheduling. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, pp 5:1-25, 2015. (DOI, Fulltext).
- SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization. In SIAM Journal on Scientific Computing, volume 37, pp C617-C642, 2015. (DOI, fulltext:print).
- Scaling predictive modeling in drug development with cloud computing. In Journal of Chemical Information and Modeling, volume 55, pp 19-25, 2015. (DOI).
- Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. In Annals of Nuclear Energy, volume 82, pp 252-259, 2015. (DOI).
Computer Systems (Datorteknik)
- Generating models of infinite-state communication protocols using regular inference with abstraction. In Formal methods in system design, volume 46, number 1, pp 1-41, 2015. (DOI).
- Well Structured Transition Systems with History. In Electronic Proceedings in Theoretical Computer Science, number 193, pp 115-128, 2015. (DOI).
- MPass: An efficient tool for the analysis of message-passing programs. In Formal Aspects of Component Software, volume 8997 of Lecture Notes in Computer Science, pp 198-206, Springer, 2015. (DOI).
- Norn: An SMT solver for string constraints. In Computer Aided Verification: Part I, volume 9206 of Lecture Notes in Computer Science, pp 462-469, Springer, 2015. (DOI).
- Precise and sound automatic fence insertion procedure under PSO. In Networked Systems: NETYS 2015, volume 9466 of Lecture Notes in Computer Science, pp 32-47, Springer, 2015. (DOI).
- Stateless model checking for TSO and PSO. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volume 9035 of Lecture Notes in Computer Science, pp 353-367, Springer Berlin/Heidelberg, 2015. (DOI).
- The Best of Both Worlds: Trading efficiency and optimality in fence insertion for TSO. In Programming Languages and Systems: ESOP 2015, volume 9032 of Lecture Notes in Computer Science, pp 308-332, Springer Berlin/Heidelberg, 2015. (DOI, External link).
- Verification of Cache Coherence Protocols wrt. Trace Filters. In Proc. 15th Conference on Formal Methods in Computer-Aided Design, pp 9-16, IEEE, Piscataway, NJ, 2015. (Article).
- Verification of buffered dynamic register automata. In Networked Systems: NETYS 2015, volume 9466 of Lecture Notes in Computer Science, pp 15-31, Springer, 2015. (DOI).
- What's decidable about availability languages?. In Proc. 35th IARCS Conference on Foundation of Software Technology and Theoretical Computer Science, volume 45 of LIPIcs, pp 192-205, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI, Fulltext).
- A step towards detecting online grooming: Identifying adults pretending to be children. In Proc. 5th European Intelligence and Security Informatics Conference, pp 98-104, IEEE Computer Society, 2015. (DOI).
- Are You Really a Child?: A Machine Learning Approach To Protect Children from Online Grooming. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
- Detecting jihadist messages on twitter. In Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI).
- Efficient algorithms for bounded rigid <em>E</em>-unification. In Automated Reasoning with Analytic Tableaux and Related Methods, volume 9323 of Lecture Notes in Computer Science, pp 70-85, Springer, 2015. (DOI, fulltext:postprint).
- Free variables and theories: Revisiting rigid <em>E-</em>unification. In Frontiers of Combining Systems, volume 9322 of Lecture Notes in Computer Science, pp 3-13, Springer, 2015. (DOI, fulltext:postprint).
- Theorem proving with bounded rigid <em>E</em>-unification. In Automated Deduction – CADE-25, volume 9195 of Lecture Notes in Computer Science, pp 572-587, Springer, 2015. (DOI).
- Efficient inter-process synchronization for parallel discrete event simulation on multicores. In Proc. 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 183-194, ACM Press, New York, 2015. (DOI).
- Learning practice and theory in programming education: Students’ lived experience. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 180-186, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
- Learning to program: A discussion on the interplay of theory and practice. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 16-18, 2015. (Proceedings).
- Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a staff development course. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 1-6, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
- An automatable formal semantics for IEEE-754 floating-point arithmetic. In Proc. 22nd Symposium on Computer Arithmetic, Proceedings Symposium on Computer Arithmetic, pp 160-167, IEEE Computer Society, 2015. (DOI).
- Vision seminars and administration of university education: A case study. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 29-32, 2015. (Proceedings).
- A structured approach to training open-ended problem solving. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI).
- A succinct canonical register automaton model. In Journal of Logical and Algebraic Methods in Programming, volume 84, number 1, pp 54-66, 2015. (DOI).
- RALib: A LearnLib extension for inferring EFSMs. In , 2015.
- Collaborative technologies in global engineering: New competencies and challenges. In International journal of engineering education, volume 31, number 1, pp 267-281, 2015.
- Competencies for paradigm shift "survival". In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
- An optimal resource sharing protocol for generalized multiframe tasks. In The Journal of logical and algebraic methods in programming, volume 84, number 1, pp 92-105, 2015. (DOI, fulltext:postprint).
- Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization. In Proc. 36th Real-Time Systems Symposium, pp 87-95, IEEE Computer Society, 2015. (DOI).
- Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete. In Proc. 27th Euromicro Conference on Real-Time Systems, pp 281-286, IEEE, Piscataway, NJ, 2015. (DOI).
- Scalable point-to-multipoint communication for cloud networking using information-centric networking. In Proc. 12th IEEE Consumer Communications and Networking Conference, pp 654-662, IEEE, Piscataway, NJ, 2015. (DOI).
- Automating regression verification. In Software Engineering & Management 2015, volume 239 of Lecture Notes in Informatics, pp 75-76, Gesellschaft für Informatik, Germany, 2015.
- Internet of Things and Future Threats Towards our Society. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
- Motivation and Grade Gap Related to Gender in a Programming Course. In , 2015. (DOI).
- Perspectives on Volunteering for Initiatives for Women in Computing: a Case Study. In , Frontiers in Education Conference, pp 927-930, 2015.
- Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis. In Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, pp 11-20, IEEE Computer Society, 2015. (DOI).
- Delay analysis of structural real-time workload. In Proc. 18th Conference on Design, Automation and Test in Europe, pp 223-228, IEEE, Piscataway, NJ, 2015. (DOI).
- Modular performance analysis of energy-harvesting real-time networked systems. In Proc. 36th Real-Time Systems Symposium, pp 65-74, IEEE Computer Society, 2015. (DOI).
- Scalable timing analysis with refinement. In Tools and Algorithms for the Construction and Analysis of Systems, volume 9035 of Lecture Notes in Computer Science, pp 3-18, Springer, 2015. (DOI).
- Mediator synthesis in a component algebra with data. In Correct System Design, volume 9360 of Lecture Notes in Computer Science, pp 238-259, Springer, 2015. (DOI).
- A survey on mobile social networks: Applications, platforms, system architectures, and future research directions. In IEEE Communications Surveys and Tutorials, volume 17, number 3, pp 1557-1581, 2015. (DOI).
- Health Drive: Mobile healthcare onboard vehicles to promote safe driving. In Proc. 48th Hawaii International Conference on System Sciences, International Conference on System Sciences, pp 3074-3083, IEEE Computer Society, 2015. (DOI).
- SAfeDJ: A crowd-cloud codesign approach to situation-aware music delivery for drivers. In ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP), volume 12, number 1s, pp 21:1-24, 2015. (DOI, fulltext:print).
- Patients' perceptions of their medical records from different subject positions. In Journal of the Association for Information Science and Technology, volume 66, number 12, pp 2456-2470, 2015. (DOI).
- Analyzing multimode wireless sensor networks using the network calculus. In Journal of Sensors, volume 2015, pp 851608:1-12, 2015. (DOI, fulltext:print).
- Timeprints for identifying social media users with multiple aliases. In Security Informatics, volume 4, pp 7:1-11, 2015. (DOI, Fulltext).
- Detecting multipliers of jihadism on twitter. In Proc. 15th ICDM Workshops, pp 954-960, IEEE Computer Society, 2015. (DOI).
- Scalable Analysis of Fault Trees with Dynamic Features. In 2015 45Th Annual IEEE/IFIP International Conference On Dependable Systems And Networks, pp 89-100, 2015. (DOI).
- Facilities Collaboration in Cloud Manufacturing based on Generalized Collaboration Network. In Proceedings of the 11th EAI International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, pp 298-303, 2015. (DOI).
- Noninvasive and continuous blood pressure monitoring using wearable body sensor networks. In IEEE Intelligent Systems, volume 30, number 6, pp 38-48, 2015. (DOI).
- PM2.5 Monitoring using Images from Smartphones in Participatory Sensing. In , pp 630-635, 2015.
- Quality assurance using international curricula and employer feedback. In Conferences in Research and Practice in Information Technology, volume 160, pp 19-27, 2015. (External link, fulltext:postprint).
- Experiences From A Field Test Using Icn For Live Video Streaming. In 2015 IEEE International Conference on Multimedia & Expo Workshops (ICMEW), IEEE International Conference on Multimedia and Expo Workshops, 2015.
- Bixie: Finding and understanding inconsistent code. In Proc. 37th IEEE/ACM International Conference on Software Engineering, pp 645-648, IEEE, Piscataway, NJ, 2015. (DOI).
- A comparative analysis of two globally distributed group projects: A perspective from CSCW/CSCL research. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1964-1972, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Perseverance measures and attainment in first year computing science students. In Proc. 20th Conference on Innovation and Technology in Computer Science Education, pp 302-307, ACM Press, New York, 2015. (DOI).
- Mimer and Schedeval: Tools for Comparing Static Schedulers for Streaming Applications on Manycore Architectures. In 2015 44Th International Conference On Parallel Processing Workshops, International Conference on Parallel Processing Workshops, pp 146-155, 2015. (DOI).
- Multidimensional analysis of creative coding MOOC forums: a methodological discussion. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI).
- A Modeling Framework for Reuse Distance-based Estimation of Cache Performance. In Performance Analysis of Systems and Software (ISPASS), 2015 IEEE International Symposium on, pp 62-71, IEEE, 2015. (DOI).
- Assuring the Quality of Engineering Education. In 2015 International Conference on Learning and Teaching in Computing and Engineering, pp 108-111, 2015. (DOI).
- Implications of anonymous assessment. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 1404-1408, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Preparing the global software engineer. In Proc. 10th International Conference on Global Software Engineering, pp 61-70, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Second year Computer Science and IT students' experience of participation in the discipline. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 68-76, ACM Press, New York, 2015. (DOI).
- BSD-based Elliptic Curve Cryptography for the Open Internet of Things. In 2015 7Th International Conference On New Technologies, Mobility And Security (NtTMS), International Conference on New Technologies Mobility and Security, 2015.
- On recursion-free Horn clauses and Craig interpolation. In Formal methods in system design, volume 47, number 1, pp 1-25, 2015. (DOI).
- Energy Efficiency as an Orchestration Service for Mobile Internet of Things. In , pp 155-162, 2015. (DOI).
- Conflict-Directed Graph Coverage. In NASA FORMAL METHODS (NFM 2015), volume 9058 of Lecture Notes in Computer Science, pp 327-342, 2015. (DOI).
- Combinatorial abstraction refinement for feasibility analysis of static priorities. In Real-time systems, volume 51, number 6, pp 639-674, 2015. (DOI).
- Graph-based models for real-time workload: a survey. In Real-time systems, volume 51, number 5, pp 602-636, 2015. (DOI).
- Teaching and learning system thinking in technology. In Plurality and Complementarity of Approaches in Design and Technology Education, pp 404-409, Presses Universitaires de Provence, Marseille, 2015. (External link, fulltext:print).
- Connectivism and the use of technology/media in collaborative teaching and learning. In From the Confucian Way to Collaborative Knowledge Co-Construction, volume 142 of New Directions for Teaching and Learning, pp 81-96, John Wiley & Sons, Hoboken, NJ, 2015.
- Engaging school students with tangible devices: Pilot project with .NET gadgeteer. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 112-119, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Integrating international students into CS programs. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 6-8, 2015. (Proceedings).
- Introducing Educational Technologies to Teachers: Experience Report. In Journal of University Teaching and Learning Practice, volume 12, number 1, pp 5:1-13, 2015. (External link).
- Micro-Architecture Independent Analytical Processor Performance and Power Modeling. In 2015 IEEE International Symposium on Performance Analysis and Software (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 32-41, 2015.
- The automatic detection and analysis of electrocardiogram based on Lorenz plot. In Proc. 12th International Conference on Robotics and Biomimetics, pp 644-649, IEEE, Piscataway, NJ, 2015. (DOI).
- Diffusion-based three-dimensional reconstruction of complex surface using monocular vision. In Optics Express, volume 23, number 23, pp 30364-30378, 2015. (DOI, Fulltext).
- Efficient shape reconstruction of microlens using optical microscopy. In IEEE Transactions on Industrial Electronics, volume 62, number 12, pp 7655-7664, 2015. (DOI).
- Collaborative Localization in Participatory Sensing with Load Balancing. In 2015 IEEE 23Rd International Symposium On Quality Of Service (IWQOS), pp 61-62, 2015.
- Vulnerable Friend Identification: Who Should You Beware of Most in Online Social Networks. In 2015 IEEE Global Communications Conference (Globecom), 2015.
- Vulnerable friend identification: Who should you beware of most in online social networks?. In 2015 Ieee Global Communications Conference (Globecom), IEEE Global Communications Conference, IEEE, 2015. (DOI).
- Green Small Cell Planning in Smart Cities under Dynamic Traffic Demand. In 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE Conference on Computer Communications Workshops, pp 618-623, 2015.
- Green Internet of Things for Smart World. In IEEE Access, volume 3, pp 2151-2162, 2015. (DOI, Fulltext).
- Pricing Models for Sensor-Cloud. In 2015 IEEE 7Th International Conference On Cloud Computing Technology And Science (Cloudcom), pp 454-457, 2015. (DOI).
Computer Architecture and Computer Communication
(Datorarkitektur och datorkommunikation)
- Optimizing transfers of control in the static pipeline architecture. In Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 7-16, ACM Press, New York, 2015. (DOI).
- Improving data access efficiency by using context-aware loads and stores. In Proc. 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp 27-36, ACM Press, New York, 2015. (DOI).
- The Load Slice Core Microarchitecture. In 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 272-284, 2015. (DOI).
- StatTask: Reuse distance analysis for task-based applications. In Proc. 7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, pp 1-7, ACM Press, New York, 2015. (DOI).
- An efficient, self-contained, on-chip directory: DIR<sub>1</sub>-SISD. In Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 317-330, IEEE Computer Society, 2015. (DOI).
- The effects of granularity and adaptivity on private/shared classification for coherence. In ACM Transactions on Architecture and Code Optimization (TACO), volume 12, number 3, 2015. (DOI).
- Scheduling instruction effects for a statically pipelined processor. In Proc. International Conference on Compilers, Architectures, and Synthesis for Embedded Systems: CASES 2015, pp 167-176, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Enabling design of performance-controlled sensor network applications through task allocation and reallocation. In Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
- ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications. In Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
- ProFuN TG: A tool for programming and managing performance-aware sensor network applications. In IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI, fulltext:preprint).
- ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency. In , IEEE Computer Society, 2015. (External link, fulltext:postprint).
- Towards a sensor system to tame the human elephant conflict. In Sensors Applications Symposium (SAS), pp 169-172, IEEE, 2015. (DOI).
- Energy-efficient fault-tolerant dynamic event region detection in wireless sensor networks. In Proc. 81st IEEE Vehicular Technology Conference, IEEE Vehicular Technology Conference Proceedings, IEEE conference proceedings, 2015. (fulltext:postprint).
- Energy-efficient medium access control for energy harvesting communications. In IEEE transactions on consumer electronics, volume 61, number 4, pp 402-410, 2015. (DOI).
- Inter-network interactions in the internet-of-things: Protocol and architecture challenges. In , 2015.
- Modes of inter-network interaction in beacon-enabled IEEE 802.15.4 networks. In Proc of the 14th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2015.
- Location and Density of Rain Gauges for the Estimation of Spatial Varying Precipitation. In Geografiska Annaler. Series A, Physical Geography, volume 97, number 1, pp 167-179, 2015. (DOI, Fulltext).
- A Quadcopter Controller to Maintain Radio Link Quality. In The First Workshop on Micro Aerial Vehicle Networks, Systems, and Applications for Civilian Use, pp 21-26, 2015. (DOI, External link).
- Scalable Visual Codes for Embedding Digital Data in the Physical World. In Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 457-458, ACM, 2015. (DOI).
- An experimental study of attacks on the availability of Glossy. In Computers & electrical engineering, volume 41, pp 115-125, 2015. (DOI).
- Enabling TCP in mobile cyber-physical systems. In Proc. 12th International Conference on Mobile Ad Hoc and Sensor Systems, pp 289-297, IEEE Computer Society, 2015. (DOI).
- Detecting and avoiding multiple sources of interference in the 2.4 GHz spectrum. In Wireless Sensor Networks, volume 8965 of Lecture Notes in Computer Science, pp 35-51, Springer, 2015. (DOI).
- Estimating packet delivery ratio for arbitrary packet sizes over wireless links. In IEEE Communications Letters, volume 19, number 4, pp 609-612, 2015. (DOI).
- Using software-defined networking principles for wireless sensor networks. In Proc. 11th Swedish National Computer Networking Workshop, 2015. (External link, fulltext:print).
- AREP: Adaptive Resource Efficient Prefetching for Maximizing Multicore Performance. In Proc. 24th International Conference on Parallel Architectures and Compilation Techniques, pp 367-378, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
- Property-Based Testing of Sensor Networks. In Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
- Load-Balanced Data Collection through Opportunistic Routing. In , pp 62-70, 2015.
- Security Challenges in Indoor Location Sensing using Bluetooth LE Broadcast. In Poster Proc. 12th European Conference on Wireless Sensor Networks, 2015.
- Fault detection in WSNs: An energy efficiency perspective towards human-centric WSNs. In Agent and Multi-Agent Systems: Technologies and Applications, volume 38 of Smart Innovation, Systems and Technologies, pp 285-300, Springer, 2015. (DOI).
- Cost-effective speculative scheduling in high performance processors. In Proc. 42nd International Symposium on Computer Architecture, pp 247-259, ACM Press, New York, 2015. (DOI).
- Bluetooth Smart: An Enabling Technology for the Internet of Things. In , IEEE International Conference on Wireless and Mobile Computing Networking and Communications-WiMOB, pp 155-162, 2015.
- Security and Privacy in the IPv6-Connected Internet of Things. In Cyber-Physical Systems, CRC Press, 2015.
- Security in Visible Light Communication: Novel Challenges and Opportunities. In Sensors & Transducers Journal, volume 192, number 9, pp 9-15, 2015. (External link, fulltext:print).
- A dual-consistency cache coherence protocol. In Proc. 29th International Parallel and Distributed Processing Symposium, pp 1119-1128, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:print).
- Callback: Efficient Synchronization without Invalidation with a Directory Just for Spin-Waiting. In 2015 ACM/IEEE 42Nd Annual International Symposium On Computer Architecture (ISCA), pp 427-438, 2015. (DOI).
- Hierarchical private/shared classification: The key to simple and efficient coherence for clustered cache hierarchies. In Proc. 21st International Symposium on High Performance Computer Architecture, pp 186-197, IEEE Computer Society Digital Library, 2015. (DOI).
- Full speed ahead: Detailed architectural simulation at near-native speed. In Proc. 18th International Symposium on Workload Characterization, pp 183-192, IEEE Computer Society, 2015. (DOI).
- Long Term Parking (LTP): Criticality-aware Resource Allocation in OOO Processors. In Proc. 48th International Symposium on Microarchitecture, pp 334-346, 2015. (DOI).
- Sensor-based Breakage Detection for Electric Fences. In Sensors Applications Symposium (SAS), pp 137-140, IEEE, 2015. (DOI).
- Coordination of Wireless Sensor Networks using Visible Light. In SenSys '15 Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 421-422, 2015. (DOI, External link).
- Directional Transmissions and Receptions for High-throughput Bulk Forwarding in Wireless Sensor Networks. In Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems, pp 351-364, 2015. (DOI, Fulltext, fulltext:print).
- dRTI: Directional Radio Tomographic Imaging. In Proceedings of the 14th International Conference on Information Processing in Sensor Networks, IPSN ’15, pp 166-177, 2015. (DOI).
- A Game Theoretic Approach to Sensor Data Communications in an Opportunistic Network. In Proc. International Conference on Communications: ICC 2015, IEEE International Conference on Communications, pp 6306-6311, IEEE, Piscataway, NJ, 2015. (DOI).
- Considering Multi-Contact Encounters in Opportunistic Networks. In Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, ACM Digital Library, 2015. (DOI).
- Time-optimal convergecast with separated packet copying: Scheduling policies and performance. In IEEE Transactions on Vehicular Technology, volume 64, number 2, pp 793-803, 2015. (DOI).
Computing Science (Datalogi)
- Stateless model checking for TSO and PSO. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2015, volume 9035 of Lecture Notes in Computer Science, pp 353-367, Springer Berlin/Heidelberg, 2015. (DOI).
- Physical stability of drugs after storage above and below the glass transition temperature: Relationship to glass-forming ability. In International Journal of Pharmaceutics, volume 495, number 1, pp 312-317, 2015. (DOI, fulltext:print).
- Addressing concept drift to improve system availability by updating one-class data-driven models. In Evolving Systems, volume 6, number 3, pp 187-198, 2015. (DOI).
- Spatio-Temporal Gridded Data Processing on the Semantic Web. In 2015 IEEE International Conference On Data Science And Data Intensive Systems, pp 38-45, 2015. (DOI).
- A step towards detecting online grooming: Identifying adults pretending to be children. In Proc. 5th European Intelligence and Security Informatics Conference, pp 98-104, IEEE Computer Society, 2015. (DOI).
- Are You Really a Child?: A Machine Learning Approach To Protect Children from Online Grooming. In Proc. National Symposium on Technology and Methodology for Security and Crisis Management: TAMSEC 2015, 2015.
- Detecting jihadist messages on twitter. In Proc. 5th European Intelligence and Security Informatics Conference, pp 161-164, IEEE Computer Society, 2015. (DOI).
- A modelling pearl with sortedness constraints. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 27-41, Cool Press, Manchester, UK, 2015. (Abstract).
- On the Reification of Global Constraints (Abstract). In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 733-733, SPRINGER-VERLAG BERLIN, 2015.
- Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a staff development course. In Proc. 3rd International Conference on Learning and Teaching in Computing and Engineering, pp 1-6, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI, fulltext:preprint).
- A constraint-based local search backend for MiniZinc. In Constraints, volume 20, number 3, pp 325-345, 2015. (DOI).
- Broadcast psi-calculi with an application to wireless protocols. In Software and Systems Modeling, volume 14, number 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).
- The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, 2015. (DOI, fulltext:postprint).
- Clustering attributed graphs: models, measures and methods. In Network Science, volume 3, number 3, pp 408-444, 2015. (DOI, fulltext:postprint).
- Disjointness Domains for Fine-Grained Aliasing. In , ACM SIGPLAN NOTICES, pp 989-916, 2015. (DOI).
- Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 1-56, 2015. (DOI).
- A structured approach to training open-ended problem solving. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Refined Ownership: Fine-grained controlled internal sharing. In Formal Methods for Multicore Programming, volume 9104 of Lecture Notes in Computer Science, pp 179-210, 2015. (DOI).
- Abstract Delta Modelling. In Mathematical Structures in Computer Science, volume 25, number 3, pp 482-527, Cambridge University Press, 2015.
- The 2013 Evaluation of SMT-COMP and SMT-LIB. In Journal of automated reasoning, volume 55, number 1, pp 61-90, 2015. (DOI).
- Competencies for paradigm shift "survival". In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Refraction: Low-cost management of reflective meta-data in pervasive component-based applications. In Proc. 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp 27-36, ACM Press, New York, 2015. (DOI).
- Enabling design of performance-controlled sensor network applications through task allocation and reallocation. In Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
- Optimal Task Allocation in Sensor and Actuator Networks. In Proc. 11th Swedish National Computer Networking Workshop, 2015.
- ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications. In Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
- ProFuN TG: A tool for programming and managing performance-aware sensor network applications. In IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI, fulltext:preprint).
- ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency. In , IEEE Computer Society, 2015. (External link, fulltext:postprint).
- Implied constraints for AUTOMATON constraints. In Global Conference on Artificial Intelligence: GCAI 2015, volume 36 of EasyChair Proceedings in Computing, pp 113-126, Cool Press, Manchester, UK, 2015. (Abstract).
- Concolic Testing for Functional Languages. In Proceedings of the 17th international symposium on principles and practice of declarative programming (PPDP 2015), pp 137-148, Association for Computing Machinery (ACM), 2015. (DOI).
- Probabilistic programs as spreadsheet queries. In Programming Languages and Systems, volume 9032 of Lecture Notes in Computer Science, pp 1-25, Springer Berlin/Heidelberg, 2015. (DOI, fulltext:postprint).
- Motivation and Grade Gap Related to Gender in a Programming Course. In , 2015. (DOI).
- A constraint optimisation model for analysis of telecommunication protocol logs. In Tests and Proofs: TAP 2015, volume 9154 of Lecture Notes in Computer Science, pp 137-154, Springer, 2015. (DOI).
- Testing of a telecommunication protocol using constraint programming. In 2015 IEEE Eighth International Conference On Software Testing, Verification And Validation Workshops (ICSTW), IEEE International Conference on Software Testing Verification and Validation Workshops, 2015.
- A Quadratic Extended Edge-Finding Filtering Algorithm for Cumulative Resource Constraints. In Principles and practice of constraint programming, CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 738-739, SPRINGER-VERLAG BERLIN, 2015.
- A high-level model for an assembly language attacker by means of reflection. In Dependable Software Engineering: Theories, Tools, and Applications, volume 9409 of Lecture Notes in Computer Science, pp 168-182, Springer, 2015. (DOI, fulltext:preprint).
- A secure compiler for ML modules. In Programming Languages and Systems: APLAS 2015, volume 9458 of Lecture Notes in Computer Science, pp 29-48, Springer, 2015. (DOI).
- Formalizing a secure foreign function interface. In Software Engineering and Formal Methods, volume 9276 of Lecture Notes in Computer Science, pp 215-230, Springer, 2015. (DOI, fulltext:postprint).
- Defining 'Functional Products' through their constituents. In International Journal of Product Development, volume 20, number 1, pp 1-24, 2015. (DOI).
- Property-Based Testing of Sensor Networks. In Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
- NoSQL approach to large scale analysis of persisted streams. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 152-156, Springer, 2015. (DOI).
- Utilizing a NoSQL Data Store for Scalable Log Analysis. In , pp 49-55, 2015. (DOI).
- Automated auxiliary variable elimination through on-the-fly propagator generation. In Principles and Practice of Constraint Programming: CP 2015, volume 9255 of Lecture Notes in Computer Science, pp 313-329, Springer, 2015. (DOI).
- Efficient caching for constrained skyline queries. In Extending Database Technology (EDBT), 2015.
- Multidimensional analysis of creative coding MOOC forums: a methodological discussion. In Proc. 15th International Conference on Computing Education Research: Koli Calling, pp 137-141, ACM Press, New York, 2015. (DOI).
- Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education. Volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, 2015. (Abstract).
- Modal Logics for Nominal Transition Systems. In 26th International Conference on Concurrency Theory: CONCUR 2015, volume 42 of Leibniz International Proceedings in Informatics (LIPIcs), pp 198-211, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2015. (DOI, Fulltext).
- Fully abstract trace semantics for protected module architectures. In Computer languages, systems & structures, volume 42, pp 22-45, 2015. (DOI).
- Secure compilation to protected module architectures. In ACM Transactions on Programming Languages and Systems, volume 37, number 2, 2015. (DOI).
- Implications of anonymous assessment. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 1404-1408, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Diffusion of Innovations over Multiplex Social Networks. In International Symposium on Artificial Intelligence and Signal Processing (AISP), pp 1-5, 2015. (DOI, ArXiv).
- Towards effective visual analytics on multiplex and multilayer networks. In Chaos, Solitons & Fractals, volume 72, pp 68-76, 2015. (DOI, fulltext:postprint).
- Contention adapting search trees. In Proc. 14th International Symposium on Parallel and Distributed Computing, pp 215-224, IEEE conference proceedings, 2015. (DOI).
- Multidimensional epidemic thresholds in diffusion processes over interdependent networks. In Chaos, Solitons & Fractals, volume 72, pp 59-67, 2015. (DOI).
- Spreading processes in Multilayer Networks. In IEEE Transactions on Network Science and Engineering, volume 2, number 2, pp 65-83, IEEE Computer Society, 2015. (DOI, Fulltext, fulltext:postprint).
- Contextual Healing: Privacy through Interpretation Management. In 2015 Ieee International Conference On Smart City/Socialcom/Sustaincom (Smartcity), pp 360-365, IEEE, 2015. (DOI).
- The Other Side of Privacy: Surveillance in Data Control. In British HCI 2015, pp 184-192, 2015. (DOI).
- Constraint solving on bounded string variables. In Integration of AI and OR Techniques in Constraint Programming, volume 9075 of Lecture Notes in Computer Science, pp 375-392, Springer, 2015. (DOI).
- Investigating the types and effects of missing data in multilayer networks. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 392-399, 2015.
- Understanding community patterns in large attributed social networks. In Proceedings Of The 2015 IEEE/ACM International Conference On Advances In Social Networks Analysis And Mining (Asonam 2015), pp 1503-1508, 2015. (DOI).
- System components of a general theory of software engineering. In Science of Computer Programming, volume 101, pp 42-65, 2015. (DOI).
- Transparent inclusion, utilization, and validation of main memory domain indexes. In Proc. 27th International Conference on Scientific and Statistical Database Management, ACM Press, New York, 2015. (DOI).
- Role and position detection in networks: reloaded. In International Conference on Advances in Social Networks Analysis and Mining (ASONAM), pp 320-325, 2015.
- Scalable queries over log database collections. In Data Science, volume 9147 of Lecture Notes in Computer Science, pp 173-185, Springer, 2015. (DOI).
- Measuring Polymorphism in Python Programs. In DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, volume 51:2 2016 of ACM SIGPLAN Notices, pp 114-128, ACM Press, New York, 2015. (DOI).
Computerized Image Analysis and Human-Computer Interaction
(Bildanalys och människa-datorinteraktion)
- Calving events detection and quantification from time-lapse images in Tunabreen glacier. In Proc. 9th International Conference on Information & Communication Technology and Systems, pp 61-65, IEEE, Piscataway, NJ, 2015. (DOI).
- Comparing and visualizing titanium implant integration in rat bone using 2D and 3D techniques. In Journal of Biomedical Materials Research. Part B - Applied biomaterials, volume 103, number 1, pp 12-20, 2015. (DOI).
- Between Insanity and Love. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, pp 154-158, 2015. (External link).
- Ethical Competence and Social Responsibility in Scientific Research using ICT Tools. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 345-347, ACM Digital Library, 2015. (DOI, External link, External link, External link, External link).
- The holding function of robots in highly technological society. In Proceedings of Japan Society for Infomation and Management 70th Annual Conference, pp 65-68, 2015.
- Blur detection and visualization in histological whole slide images. In Proc. 10th International Conference on Mass Data Analysis of Images and Signals, IBaI, Leipzig, Germany, 2015.
- Automated Classification of Glandular Tissue by Statistical Proximity Sampling. In International Journal of Biomedical Imaging, 2015. (DOI, Fulltext, fulltext:print).
- Automated classification of glandular tissue by statistical proximity sampling.. In International Journal of Biomedical Imaging, volume 2015, 2015. (DOI).
- Robots, ethics and language. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 268-273, ACM Digital Library, 2015. (DOI, External link, External link, External link, External link).
- Supporting industrial uptake of cognitive work analysis. In Proc. Human Factors and Ergonomics Society 59th Annual Meeting, pp 170-174, Sage Publications, Thousand Oaks, CA, 2015.
- Challenges for action research on HWID in activity based workplaces. In INTERACT 2015 Adjunct Proceedings, pp 161-170, University of Bamberg Press, 2015.
- Contextual personas as a method for understanding digital work environments. In Human Work Interaction Design: Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces, volume 468 of IFIP Advances in Information and Communication Technology, pp 141-152, Springer, 2015. (DOI).
- Things take time: Establishing usability work in a university context. In European Journal of Higher Education IT, volume 2, number 1, 2015. (Fulltext).
- Vision seminars and administration of university education: A case study. In Proc. 1st Al Baha University and Uppsala University Symposium on Quality in Computing Education, volume 2015-007 of Technical report / Department of Information Technology, Uppsala University, pp 29-32, 2015. (Proceedings).
- Worlds Apart: Doctors' technological frames and online medical records. In INTERACT 2015 Adjunct Proceedings, pp 357-367, University of Bamberg Press, 2015.
- Compaction of rolling circle amplification products increases signal integrity and signal–to–noise ratio. In Scientific Reports, volume 5, pp 12317:1-10, 2015. (DOI, Fulltext).
- Brain – Endocast relationship in the Australian lungfish, <em>Neoceratodus forsteri</em>, elucidated from tomographic data (Sarcopterygii: Dipnoi). In PLOS ONE, volume 10, number 10, 2015. (DOI, Fulltext).
- Adaptive hit or miss transform. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 741-752, Springer, 2015. (DOI).
- Collaborative technologies in global engineering: New competencies and challenges. In International journal of engineering education, volume 31, number 1, pp 267-281, 2015.
- Competencies for paradigm shift "survival". In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1424-1429, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Computer Assisted Pap Smear Analyser for Cervical Cancer Screening using Quantitative Microscopy. In Journal of Cytology & Histology, volume 6, number S3, 2015. (DOI, Fulltext).
- ?LBP – a novel member of the Local Binary Pattern family based on ?-cutting. In Proc. 9th International Symposium on Image and Signal Processing and Analysis, pp 13-18, IEEE, 2015. (DOI).
- An Empathic Robotic Tutor in a Map Application. In Proceedings of the 2015 international conference on autonomous agents & multiagent systems (AAMAS'15), pp 1923-1924, Association for Computing Machinery (ACM), New York, 2015.
- Recreating with photogrammetric techniques a submerged megalithic landscape: the case of the salas reservoir. In 3 Encontro Internacional de Arqueoloxia de Vilalba, pp 9-16, 2015.
- Acrosome integrity assessment of boar spermatozoa images using an early fusion of texture and contour descriptors. In Computer Methods and Programs in Biomedicine, volume 120, number 1, pp 49-64, 2015. (DOI).
- Scaffolding mentalizing via a play-&-learn game for preschoolers. In Computers and education, volume 90, pp 13-23, 2015. (DOI).
- A Simple and Efficient Feature Descriptor for Fast Matching. In WSCG, pp 135-142, 2015.
- Clustering in 2D as a Fast Deterministic Alternative to RANSAC. In , 2015.
- Interest Point Detection Based on the Extended Structure Tensor with a Scale Space Parameter. In International Conference on Computer Vision Theory and Applications, pp 1-8, 2015.
- Mathematics + Computer Science = True. In , pp 85-93, 2015.
- Stereo Visualisation of Historical Aerial Photos as a Valuable Tool for Archeological Research. In Computer Applications and Quantitative Methods in Archaeology, CAA, pp 1-3, 2015.
- Stereo Visualisation of Historical Aerial Photos – a Valuable Digital Heritage Research Tool. In 2015 Digital Heritage International Congress, Vol 2: Analysis & Interpretation Theory, Methodologies, Preservation & Standards Digital Heritage Projects & Applications, pp 663-666, 2015.
- Swedish eScience Education – a Graduate School in eScience. In Proc. 11th International Conference on e-Science, pp 31-35, IEEE Computer Society, 2015. (DOI).
- Patients' perceptions of their medical records from different subject positions. In Journal of the Association for Information Science and Technology, volume 66, number 12, pp 2456-2470, 2015. (DOI).
- Precise Euclidean distance transforms in 3D from voxel coverage representation. In Pattern Recognition Letters, volume 65, pp 184-191, 2015. (DOI).
- Collegial verbalisation — the value of an independent observer: an ecological approach. In Theoretical Issues in Ergonomics Science, volume 16, number 5, pp 474-494, 2015. (DOI).
- Empathic robotic tutors for personalised learning: A multidisciplinary approach. In Social Robotics, volume 9388 of Lecture Notes in Computer Science, pp 285-295, Springer, 2015. (DOI).
- Etik och medicinteknik. In Medicinteknikdagarna 2015, pp 94-94, Svensk Förening för Medicinsk Teknik och Fysik (MTF), Akademiska sjukhuset, Uppsala universitet, Uppsala, 2015. (External link, Proceedings).
- Etikutbildning för ingenjörer: Övningar, verktyg, metoder. In 5:e utvecklingskonferensen för Sveriges Ingenjörsutbildningar, pp 30-31, Uppsala universitet, 2015. (External link, Proceedings).
- How ethical robots process information, communicate and act. In 1st TRANSOR Workshop: Methodological Problems of Social Robotics, 2015. (External link).
- ICT and sustainability: skills and methods for dialogue and policy making. In Journal of Information, Communication and Ethics in Society, volume 13, number 1, pp 13-18, Emerald Group Publishing Limited, 2015. (DOI).
- Judging the complexity of privacy, openness and loyalty issues. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 416-419, ACM Digital Library, 2015. (DOI, External link, External link, External link, External link).
- De esperanta korpuso ?is islanda lingvopolitiko: Aktoj de la 36-a Esperantologia Konferenco en la 98-a Universala Kongreso de Esperanto, Rejkjaviko 2013. Universala Esperanto-Asocio, Rotterdam, 2015.
- Esperantologio / Esperanto Studies. Dobrichovice, 2015.
- Estimates for solutions to discrete convolution equations. In Mathematika, volume 61, number 2, pp 295-308, 2015. (DOI).
- Euclid's straight lines. In Normat, volume 60, number 4, pp 145-169, 2015. (fulltext:postprint).
- Kombineblo de vortelementoj en esperanto – rigardoj malanta?en kaj anta?en. In Esperantologio / Esperanto Studies, volume 7, pp 73-125, Dobrichovice, 2015.
- Next-Generation Pathology: Surveillance of Tumor Microecology. In Journal of Molecular Biology, volume 427, number 11, pp 2013-2022, 2015. (DOI, Fulltext).
- A histopathological tool for quantification of biomarkers with sub-cellular resolution. In Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization, volume 3, number 1, pp 25-46, 2015. (DOI).
- Multimodal histological image registration using locally rigid transforms. In Proc. Interactive Medical Image Computing Workshop, 2015.
- Coverage segmentation of 3D thin structures. In Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 23-28, IEEE, Piscataway, NJ, 2015. (DOI).
- Exact linear time Euclidean distance transforms of grid line sampled shapes. In Mathematical Morphology and its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 645-656, Springer, 2015. (DOI).
- High-resolution reconstruction by feature distance minimization from multiple views of an object. In Proc. 5th International Conference on Image Processing Theory, Tools and Applications, pp 29-34, IEEE, Piscataway, NJ, 2015. (DOI).
- Microscopy image enhancement for cost-effective cervical cancer screening. In Image Analysis, volume 9127 of Lecture Notes in Computer Science, pp 440-451, Springer, 2015. (DOI).
- Infrared-visible image registration for augmented reality-based thermographic building diagnostics. In Visualization in Engineering, volume 3, pp 16:1-15, Springer, 2015. (DOI, Fulltext).
- Magnetic resonance imaging cooling–reheating protocol indicates decreased fat fraction via lipid consumption in suspected brown adipose tissue. In PLOS ONE, volume 10, number 4, 2015. (DOI, Fulltext).
- User and client satisfaction in agile development. In INTERACT 2015 Adjunct Proceedings, pp 249-257, University of Bamberg Press, 2015.
- Automatic 3DS Conversion of Historical Aerial Photographs. In IC3D 2015, International Conference on 3D Imaging, 2015.
- Simulation of bright-field microscopy images depicting pap-smear specimen. In Cytometry Part A, volume 87, number 3, pp 212-226, 2015. (DOI, fulltext:print).
- Interactive Deformation of Volume Images for Image Registration. In Proc. Interactive Medical Image Computing Workshop, 2015. (External link).
- A comparative analysis of two globally distributed group projects: A perspective from CSCW/CSCL research. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, pp 1964-1972, IEEE Press, Piscataway, NJ, 2015. (DOI).
- Perseverance measures and attainment in first year computing science students. In Proc. 20th Conference on Innovation and Technology in Computer Science Education, pp 302-307, ACM Press, New York, 2015. (DOI).
- Intracranial volume normalization methods: Considerations when investigating gender differences in regional brain volume. In Psychiatry Research, volume 231, number 3, pp 227-235, 2015. (DOI).
- BoneSplit - A 3D Texture Painting Tool for Interactive Bone Separation in CT Images. In Journal of WSCG, volume 23, number 2, pp 157-166, 2015.
- Teaching OpenGL and Computer Graphics with Programmable Shaders. In SIGRAD, pp 1-3, 2015.
- Haptics-assisted Virtual Planning of Bone, Soft Tissue, and Vessels in Fibula Osteocutaneous Free Flaps. In Plastic and Reconstructive Surgery - Global Open, volume 3, number 8, Wolters Kluwer, 2015. (DOI).
- Visuohaptic bone saw simulator: Combining vibrotactile and kinesthetic feedback. In Proc. 8th ACM SIGGRAPH Asia Technical Briefs, pp 10:1-4, ACM Press, New York, 2015. (DOI).
- Cloud Computing: The Ultimate Step Towards the Virtual Enterprise?. In Computers & Society: The Newsletter of the ACM Special Interest Group on Computers and Society Special Issue on 20 Years of ETHICOMP, ACM SIGCAS Computers and Society Newsletter, pp 68-72, ACM Digital Library, 2015. (DOI, External link, External link, External link, External link).
- Preparing the global software engineer. In Proc. 10th International Conference on Global Software Engineering, pp 61-70, IEEE Computer Society, Los Alamitos, CA, 2015. (DOI).
- Triangulation Painting. In SIGRAD, pp 1-4, 2015.
- Cancer patients' attitudes and experiences of online medical records. In Proc. 17th International Symposium on Health Information Management Research, pp 19-25, University of Sheffield, UK, 2015.
- Digital topology and geometry in medical image processing: A survey. In IEEE Transactions on Medical Imaging, volume 34, number 9, pp 1940-1964, 2015. (DOI).
- Information systems for cooperation in operational train traffic control. In Procedia Manufacturing, volume 3, pp 2882-2888, 2015. (DOI, Fulltext).
- Digital Contact Tools in Professional Life: What Governs the Choice?. In Selected Papers of Internet Research 16, 2015. (External link, fulltext:print).
- Fast evaluation of the robust stochastic watershed. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 9082 of Lecture Notes in Computer Science, pp 705-716, Springer, 2015. (DOI).
- Fully automatic evaluation of the corneal endothelium from in vivo confocal microscopy. In BMC Medical Imaging, volume 15, 2015. (DOI, Fulltext).
- Automated Image Acquisition and Particle Size Distribution in the MiniTEM Instrument. In , 2015.
- Three-Dimensional Eyeball and Orbit Volume Modification After LeFort III Midface Distraction. In The Journal of craniofacial surgery (Print), volume 26, number 5, pp 1652-1655, 2015. (DOI).
- Effect of pre-fixation delay and freezing on mink testicular endpoints for environmental research. In PLOS ONE, volume 10, number 5, 2015. (DOI, fulltext:print).
- Asymmetric supercapacitors based on carbon nanofibre and polypyrrole/nanocellulose composite electrodes. In RSC Advances, volume 5, number 21, pp 16405-16413, 2015. (DOI).
- Estimation of linear deformations of 2D and 3D fuzzy objects. In Pattern Recognition, volume 48, number 4, pp 1391-1403, 2015. (DOI).
- Large scale style based dating of medieval manuscripts. In Proc. 3rd International Workshop on Historical Document Imaging and Processing, pp 107-114, ACM Press, New York, 2015. (DOI, fulltext:postprint).
- How mobile phones affect the sustainability of the work/life balance of their users. In Foundations of Augmented Cognition, volume 9183 of Lecture Notes in Computer Science, pp 393-400, Springer, 2015. (DOI).
- A novel word segmentation method based on object detection and deep learning. In Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volume 9474 of Lecture Notes in Computer Science, pp 231-240, Springer, 2015. (DOI, fulltext:postprint).
- Visualizing document image collections using image-based word clouds. In Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I, volume 9474 of Lecture Notes in Computer Science, pp 297-306, Springer, 2015. (DOI, fulltext:postprint).
- Automatic Water Body Extraction From Remote Sensing Images Using Entropy. In SGEM2015 Conference Proceedings, International Multidisciplinary Scientific GeoConference-SGEM, pp 517-524, 2015. (DOI).