Anomaly detection and its adaptation : studies on cyber-physical systems |
|
Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models |
|
Automatic Verification of Parameterized Systems by Over-Approximation |
|
Code Generation and Global Optimization Techniques for a Reconfigurable PRAM-NUMA Multicore Architecture |
|
Completing the Is-a Structure in Description Logics Ontologies |
|
Contributions to Specification, implementation and execution of secure software |
|
Efficient HTTP-based adaptive streaming of linear and interactive videos |
|
Efficient Temporal Reasoning with Uncertainty |
|
Eliciting knowledge from experts in modeling of complex systems : managing variation and interactions |
|
Execution Time Minimization Based on Hardware/Software Partitioning and Speculative Prefetch |
|
Exploiting Energy Awareness in Mobile Communication |
|
Exploiting structure in CSP-related problems |
|
Fostering user involvement in ontology alignment and alignment evaluation |
|
Grounding Emotion Appraisal in Autonomous Humanoids |
|
Hardware/Software Codesign of Embedded Systems with Reconfigurable and Heterogeneous Platforms |
|
Human-robot interaction for semi-autonomous assistive robots : empirical studies and an interaction concept for supporting elderly people at home |
|
An Informed System Development Approach to Tropical Cyclone Track and Intensity Forecasting |
|
An Integrated Development Environment with Enhanced Domain-Specific Interactive Model Validation |
|
Integration of Ontology Alignment and Ontology Debugging for Taxonomy Networks |
|
Local Search for Hop-constrained Directed Steiner Tree Problem with Application to UAV-based Multi-target Surveillance |
|
Machine Learning-Based Bug Handling in Large-Scale Software Development |
|
Methods for Detecting Unsolvable Planning Instances using Variable Projection |
|
Minding the Body Interacting socially through embodied action. |
|
Mission experience : how to model and capture it to enable vicarious learning |
|
Model-based verification of dynamic system behavior against requirements : method, language, and tool |
|
On Some Combinatorial Optimization Problems Algorithms and Complexity |
|
Performance-aware component composition for GPU-based systems |
|
Programming Abstractions and Optimization Techniques for GPU-based Heterogeneous Systems |
|
Representing Future Situations of Service : Prototyping in Service Design |
|
Resilience in high risk work : analysing adaptive performance |
|
Saturated Cost Partitioning for Optimal Classical Planning |
|
Scalable and Efficient Probabilistic Topic Model Inference for Textual Data |
|
Scalar reward is not enough a response to Silver, Singh, Precup and Sutton (2021). |
|
Security-Driven Design of Real-Time Embedded Systems |
|
Security in Embedded Systems : a Model-Based Approach with Risk Metrics |
|
Security of Satellite-Terrestrial Communications Challenges and Potential Solutions. |
|
Semantic Data Management in Practice |
|
Short-Packet Communication Over a Two-User Rayleigh Fading Z-Interference Channel: From Stability Region to the Age of Information |
|
Simple yet sharp sensitivity analysis for unmeasured confounding |
|
Simulations |
|
Slack-time aware dynamic routing schemes for on-chip networks |
|
Smoothing With Couplings of Conditional Particle Filters |
|
Sparsification of SAT and CSP problems via tractable extensions |
|
Spatial 3D Matérn Priors for Fast Whole-Brain fMRI Analysis |
|
Spatio-temporal stream reasoning with adaptive state stream generation |
|
Squaring within the Colless index yields a better balance index |
|
Stability of Adaptive Distributed Real-TimeSystems with Dynamic Resource Management |
|
Stakeholder engagement for service design how service designers identify and communicate insights |
|
Still w(AI)ting for the automation of teaching: An exploration of machine learning in Swedish primary education using Actor-Network Theory |
|
Strategies and policies of Linköping University Electronic Press |
|
Strong Partial Clones and the Complexity of Constraint Satisfaction Problems Limitations and Applications |
|
A Study of Chain Graph Interpretations |
|
Support for Cross-domain Composition of Embedded Systems Using MARTE Models |
|
Sustainable enterprise interoperability from the Activity Domain Theory perspective |
|
Sustainable Interactions Studies in the Design of Energy Awareness Artefacts. |
|
Swedish prepositions are not pure function words |
|
Systemförvaltning i Praktiken en kvalitativ studie avseende centrala begrepp, aktiviteter och ansvarsroller |
|
T-MASTER -- A tool for assessing students' reading abilities |
|
Teaching sustainability, ethics and scientific writing: An integrated approach |
|
Text harmonization strategies for phrase-based statistical machine translation |
|
Thermal Issues in Testing of Advanced Systems on Chip |
|
Through the Negev |
|
Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models |
|
Towards an approach for efficiency evaluation of enterprise modeling methods |
|
Towards an ontology design pattern quality model |
|
Towards CSP-based mission dispatching in C2/C4I systems |
|
Towards Individualized Drug Dosage - General Methods and Case Studies |
|
Towards Query Processing over Heterogeneous Federations of RDF Data Sources |
|
Towards Semantically Enabled Complex Event Processing |
|
The tree-generative capacity of combinatory categorial grammars |
|
Trends and Detection Avoidance of Internet-Connected Industrial Control Systems |
|
Troubleshooting Trucks Automated Planning and Diagnosis |
|
UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks |
|
UKF Parameter Tuning for Local Variation Smoothing |
|
Understanding and assessing gamification in digital healthcare interventions for patients with cardiovascular disease |
|
Understanding IEC-60870-5-104 Traffic Patterns in SCADA Networks |
|
A user-centric privacy-preserving authentication protocol for IoT-AmI environments |
|
Using AR to support cross-organisational collaboration in dynamic tasks |
|
Using Model-Checking and Peer-Grading to Provide Automated Feedback to Concurrency Exercises in Progvis |
|
Using partial reference alignments to align ontologies |
|
Walking Without a Map: Ranking-Based Traversal for Querying Linked Data |
|
WARA-PS a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation. |
|
A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning |
|
Web user clustering and Web prefetching using Random Indexing with weight functions |
|
What Is It Like to Be a Bot? Toward More Immediate Wizard-of-Oz Control in Social Human-Robot Interaction. |
|
What motivates and demotivates emergency response volunteers? A survey-based factor analysis study |
|
What you find is not always what you fix-How other aspects than causes of accidents decide recommendations for remedial actions |
|
A wireless caching helper system with heterogeneous traffic and random availability |
|
Word Alignment by Re-using Parallel Phrases |
|
Working conditions, health and productivity among dentists in Swedish public dental care - a prospective study during a 5-year period of rationalisation |
|
Yrke: polis : yrkeskunskap, motivation, IT-system och andra förutsättningar för polisarbete |
|