• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Ph.d.-afhandling
2019
128 Downloads (Pure)

Managing and Analyzing Big Traffic Data-An Uncertain Time Series Approach

Hu, J., 7 maj 2019, Aalborg Universitetsforlag. 149 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Movement Pattern Miningover Large-Scale Datasets

Orakzai, F. M., 2019, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

91 Downloads (Pure)

Multi-view Latent Factor Models for Recommender Systems

Da Costa, F. S., jun. 2019, Aalborg Universitetsforlag. 173 s. (PhD Series, Technical Faculty of IT and Design, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2018
8 Downloads (Pure)

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
108 Downloads (Pure)

Combining a System-Centred and a User-Centred Approach in the Development of Public Self-Service Applications

Bidragets oversatte titel: Kombinering af en systemcentreret og en brugercentreret tilgang i udviklingen af offentlige selvbetjeningsløsningerBillestrup, J., 2018, Aalborg Universitetsforlag. 199 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
162 Downloads (Pure)

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
253 Downloads (Pure)

Interaction Design for Sustainable Energy Consumption in the Smart Home

Jensen, R. H., 2018, Aalborg Universitetsforlag. 209 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
116 Downloads (Pure)

Location Analytics for Location-Based Social Networks

Saleem, M. A., 2018, Aalborg Universitetsforlag. 213 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

110 Downloads (Pure)

Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing

Keles, I., 2018, Aalborg Universitetsforlag. 195 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Tools and Techniques for Advanced Traffic Analytics

Andersen, O., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2017
90 Downloads (Pure)

Aggregation Techniques for Energy Flexibility

Valsomatzis, E., 2017, Aalborg Universitetsforlag. 151 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
58 Downloads (Pure)

Multi-Schema-Version Data Management

Herrmann, K., 2017, Aalborg Universitetsforlag. 180 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
117 Downloads (Pure)

Optimizing Analytical Queries over Semantic Web Sources

Ibragimov, D., 2017, Aalborg Universitetsforlag. 121 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
266 Downloads (Pure)

Predictive Data Analytics for Energy Demand Flexibility

Neupane, B., 2017, Aalborg Universitetsforlag. 143 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2016
264 Downloads (Pure)

A Frame-Based Approach for Integrating Heterogeneous Knowledge Sources

Rouces, J., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
361 Downloads (Pure)

Analytics on Indoor Moving Objects with Applications in Airport Baggage Tracking

Ahmed, T., 2016, Aalborg Universitetsforlag. 191 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
182 Downloads (Pure)

Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking

Wognsen, E. R., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
359 Downloads (Pure)

Cleansing Indoor RFID Tracking Data

Baba, A. I., 2016, Aalborg Universitetsforlag. 169 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Easy Reconfiguration of Modular Industrial Collaborative Robots

Schou, C., 2016, 238 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Robots
Hardware
Fences
Industrial robots
Parameterization
1063 Downloads (Pure)

Facilitating Programming of Vision-Equipped Robots through Robotic Skills and Projection Mapping

Andersen, R. S., 2016, Aalborg Universitetsforlag. 151 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Computer vision
Industrial robots
Robotics
Robots
Robot programming
409 Downloads (Pure)

IMAGINATION FROM EVALUATION: A DESIGN THEORY FOR CREATIVITY ENHANCING SYSTEMS

Ulrich, F., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
139 Downloads (Pure)

Semantic Metadata for Supporting Exploratory OLAP

Varga, J., 2016, Aalborg Universitetsforlag. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
97 Downloads (Pure)

Synchronization and Control of Quantitative Systems

Laursen, S., 2016, Aalborg Universitetsforlag. 156 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
120 Downloads (Pure)

Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

Zhang, Z., 2016, Aalborg Universitetsforlag. 146 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Verification of Safety Critical Systems using Program Analysis and Model Checking

Dalsgaard, A. E., 2016, 197 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
2015
779 Downloads (Pure)

Robot Skills for Transformable Manufacturing Systems

Pedersen, M. R., 2015, Aalborg Universitetsforlag. 155 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Robots
Robotics
Robot programming
Planning
Industrial robots
193 Downloads (Pure)

Statistical Model Checking of Rich Models and Properties

Poulsen, D. B., 2015, Aalborg: Aalborg Universitetsforlag. 204 s. (Ph.d.-serien for Det Teknisk-Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
672 Downloads (Pure)

User Experience of Mobile Devices: Physical Form, Usability and Coolness

Raptis, D., 30 jan. 2015, Department of Computer Science, Aalborg University. 140 s. (Ph.D Thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Mobile devices
2014
1219 Downloads (Pure)

DEVELOPMENT OF GENETIC ALGORITHM-BASED METHODOLOGY FOR SCHEDULING OF MOBILE ROBOTS

Dang, V. Q., 2014, Institut for Mekanik og Produktion, Aalborg Universitet. 208 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
581 Downloads (Pure)

Integrating Usability Evaluations into the Software Development Process: Concepts for, and Experiences from, Remote Usability Testing

Lizano, F., 2014, Institut for Datalogi, Aalborg Universitet. 107 s. (Ph.D. thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
180 Downloads (Pure)

Model Driven Development of Data Sensitive Systems

Olsen, P., 29 aug. 2014, 146 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Error detection
Model checking
Testing
Explosions
Network protocols
4 Citationer (Scopus)
212 Downloads (Pure)

Program Analysis as Model Checking

Bidragets oversatte titel: Program Analyse som Model CheckingOlesen, M. C., 1 sep. 2014, Institut for Datalogi, Aalborg Universitet. 159 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 85).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Model checking
Semantics
Hardware
Embedded software
Finite automata

Towards Prescriptive Analytics in Cyber-Physical Systems

Siksnys, L., 2014, Department of Computer Science, Aalborg University. 208 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Planning
Software agents
Cyber Physical System
Graphical user interfaces
Information management
2013
442 Downloads (Pure)

Competence, methods and practice in information systems development

Omland, H. O., okt. 2013, Department of Computer Science, Aalborg University. 196 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
483 Downloads (Pure)

Developer Driven and User Driven Usability Evaluations

Bruun, A., jan. 2013, 94 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil

Quantitative Models and Analysis for Reactive Systems

Thrane, C., 2013, Department of Computer Sciences. 170 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Systems analysis
Specifications
Mobile phones
Embedded systems
Websites
598 Downloads (Pure)

Quantities in Games and Modal Transition Systems

Bidragets oversatte titel: Kvantiteter i spil og modale transitionssystemerJuhl, L., 2013, Department of Computer Science, Aalborg University. 172 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
2012

Autonomous Industrial Mobile Manipulation (AIMM) - Maturation, Exploitation and Implementation: Identifying Skills for AIMM Robots

Bøgh, S., apr. 2012, 83 udg. 208 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

2892 Downloads (Pure)

Data warehousing technologies for large-scale and right-time data

Xiufeng, L., aug. 2012, Department of Computer Science, Aalborg University. 196 s. (Ph.D. thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Data warehouses
Mathematical transformations
Warehouses
Processing
Semantic Web

Exploiting Tag-Based Personalization for Recommendation on Social Web

Durao, F., feb. 2012, Aalborg. 196 s. (Ph.D. thesis; Nr. 68).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Formal Analyses of Web Service Protocols

Vighio, S., mar. 2012, Aalborg. 224 s. (Ph.D. thesis; Nr. 70).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

649 Downloads (Pure)

Formal Verification of Continuous Systems

Sloth, C., 2012, 225 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
Dynamical systems
Specifications
Formal verification
Large scale systems
Control systems
519 Downloads (Pure)

Hard Real-Time Java: Profiles and Schedulability Analysis

Bøgholm, T., 2012, 193 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
608 Downloads (Pure)

Java for Cost Effective Embedded Real-Time Software

Korsholm, S., aug. 2012, Department of Computer Science, Aalborg University. 75 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
2491 Downloads (Pure)

Knowledge Management in Software Development

Jahn, K., 29 nov. 2012, Department of Computer Science, Aalborg University. 198 s. (Ph.D. thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil
1925 Downloads (Pure)

Meshing Agile and Documentation-Driven Methods in Practice

Bidragets oversatte titel: Kombination af de agile og dokumentationsdrevner metoder i praksisHeeager, L. T., jun. 2012, Aalborg: Department of Computer Science, Aalborg University. 159 s. (Ph.D. thesis).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
513 Downloads (Pure)

Modeling, Design and Optimization of a Lightweight Robotic Arm Toward Assisted Living Applications

Zhou, L., apr. 2012, Special No.: 78 udg. Aalborg.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Fil

Processing Massive Update and Query Workloads in Main Memory

Sidlauskas, D., jun. 2012, Aalborg. 145 s. (Ph.D. thesis; Nr. 74).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning