• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Ph.d.-afhandling

Intranet implementation: influences, challenges and role players

Scheepers, R., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; Nr. 99-5011).

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

524 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
1923 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
3 Citationer (Scopus)
372 Downloads (Pure)

Learning with Hidden Variables: A Parameter Reusing Approach for Tree-Structured Bayesian Networks

Bidragets oversatte titel: Learning with Hidden Variables: A Parameter Reusing Approach for Tree-Structured Bayesian NetworksKarciauskas, G., 2005, Department of Computer Science, Aalborg University. 123 s.

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

Åben adgang
Fil
135 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
157 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
3407 Downloads (Pure)

Managing Distributed Software Projects

Persson, J. S., 2010, Department of Computer Science, Aalborg University. 138 s.

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

Åben adgang
Fil
Communication
Risk management
Industry
1546 Downloads (Pure)
Åben adgang
Fil

Matching methods and problems: object-oriented analysis methods for coordination problems

Krogh, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 5).

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

1862 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
491 Downloads (Pure)

Modal Transition Systems as the Basis for Interface Theories and Product Lines

Nyman, U., 2008, Aalborg: Aalborg Universitet. (Ph.D. thesis; Nr. 45).

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

Åben adgang
Fil
Specifications
Hardness
Color vision
Embedded software
Interfaces (computer)
16 Downloads (Pure)

Model-Based Time Series Management at Scale

Jensen, S. K., 2019, Aalborg Universitetsforlag. 201 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

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

Åben adgang
Fil
139 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

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

1 Downloads (Pure)

Moving Observer Support for Databases

Bukauskas, L., 2004, Aalborg, Danmark: Department of Computer Science, Aalborg University. 138 s. (Ph.D. thesis; Nr. 27).

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

Visualization
Data storage equipment
Electronic data interchange
Resource allocation
Program processors
84 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
146 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
127 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
303 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

Probabilistic Modeling and Reasoning in Multi-Agent Decision Systems

Zeng, Y., 2006, National University of Singapore. 230 s.

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

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

4 Citationer (Scopus)
185 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

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
587 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

Reasoning about objects using process calculus techniques

Kleist, J., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 7).

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

Reasoning and Decision Making with Multiple Autonomous Agents

Nielsen, S. H., 2007, Aalborg: Department of Computer Science, Aalborg University. 296 s.

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

Recursive PGM modeling for simple sequential Bayesian Games

Sønderberg-Madsen, N., 2009, Department of Computer Science, Aalborg University.

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

113 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
1097 Downloads (Pure)

Sentinel Mining

Middelfart, M., 2010, Aalborg: Department of Computer Science, Aalborg University. 184 s.

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

Åben adgang
Fil
Laptop computers
Program processors
Websites
Industry
Concretes

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

12423 Downloads (Pure)

Social Context in Usability Evaluations: Concepts, Processes and Products

Bidragets oversatte titel: Social kontekst i usabilityevalueringer: Koncepter, processer og produkterJensen, J. J., 9 sep. 2009, 1 udg. Aalborg: Department of Computer Science, Aalborg University. 138 s. (Ph.D. thesis, Bind 50).

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

Åben adgang
Fil
evaluation
leader
environmental psychology
spectator
laboratory experiment
3505 Downloads (Pure)

Solutions and Heuristics for Troubleshooting with Dependent Actions and Conditional Costs

Ottosen, T. J., 8 mar. 2012, Aalborg. 198 s.

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

Åben adgang
Fil
121 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

Spatial Keyword Query Processing

Wu, D., dec. 2011, Department of Computer Science, Aalborg University. 197 s. (Ph.d. theses; Nr. 61).

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

Spatio-Temporal Data Mining for Location-Based Services

Gidofalvi, G., 2008, Aalborg Universitet. 198 s. (Ph.D. thesis; Nr. 44).

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

Location based services
Data mining
449 Downloads (Pure)

Specification and Test of Real-Time Systems

Nielsen, B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 12).

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

Åben adgang
Fil

Specification-Based Techniques for the Reduction of Temporal and Multidimensional Data

Skyt, J., 2001, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 17).

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

1734 Downloads (Pure)

Specification theories for probabilistic systems

Pedersen, M. L., 2011, (Ph.d. theses; Nr. 67).

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

Fil
157 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
99 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

Taiga – A Distributed Grid Storage System

Jensen, H. T., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; Nr. 47).

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

Techniques for the Efficient Management of Non-Uniform Data and Workloads

Tzoumas, K., jun. 2011, Aalborg. 180 s. (Ph.D. thesis; Nr. 62).

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

The Diffusion of Electronic Data Interchange: an Institutional and Organizational Analysis of Alternative Diffusion Patterns

Damsgaard, J., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R96-2041).

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

136 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

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

Towards Automated eGovernment Monitoring

Goodwin, M., sep. 2011, Department of Computer Science, Aalborg University. 316 s. (Ph.D. thesis; Nr. 64).

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

Towards Efficient Music Similarity Search, Ranking, and Recommendation

Ruxanda, M. M., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; Nr. 46).

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

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
542 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

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