• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Ph.d.-afhandling

Abstraction-based verification of distributed systems

Jensen, H. E., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; Nr. 99-5005).

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

Addressing theoretical and practical aspects of contradictory stakeholder interests in e-Government integration efforts

Flak, L. S., 2006, Aalborg: Institut for Datalogi, Aalborg Universitet.

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

126 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
94 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
3261 Downloads (Pure)

Analysis and Verification of Service Contracts

Okika, J., 2010, Aalborg: Department of Computer Science, Aalborg University. 238 s.

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

Åben adgang
Fil
364 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
896 Downloads (Pure)

Approximate Matching of Hierarchial Data

Augsten, N., 2008, Aalborg Universitet. 125 s. (Ph.D. thesis; Nr. 43).

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

Åben adgang
Fil
Public administration
Sorting
Experiments
1282 Downloads (Pure)

Aspects of data modeling and query processing for complex multidimensional data

Pedersen, T. B., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 4).

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

Åben adgang
Fil
Query processing
Data structures
Processing
Agglomeration
Data warehouses
2573 Downloads (Pure)

Aspects of Data Warehouse Technologies for Complex Web Data

Thomsen, C., 2008, Aalborg Universitet. 164 s. (Ph.D. thesis; Nr. 42).

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

Åben adgang
Fil
Data warehouses
Competitive intelligence
Observatories
XML
Mathematical transformations

Aspects of Efficiency Improvement in Bayesian Networks

Kjærulff, U. B., 1993, Aalborg University. 205 s.

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

165 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
11 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
2635 Downloads (Pure)

Bridging the Digital Divide: Sustainable Supply and Demand of Internet Access in Developing Countries

Furuholt, B., 2009, 1 udg. Aalborg University: Department of Computer Science, Aalborg University. 70 s. (Ph.D. thesis; Nr. 49, Bind 1).

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

Åben adgang
Fil

Building knowledge to prevent failure in IT development and use

Scheepers, H., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 2).

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

482 Downloads (Pure)

Capturing Behavioral Requirements and Testing Against Them by Means of Live Sequence Charts

Pusinskas, S., 2010, Aalborg: Department of Computer Science, Aalborg University. 201 s.

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

Åben adgang
Fil
769 Downloads (Pure)

Classification schemes for collection mediation: work centered design and cognitive work analysis

Albrechtsen, H., 2003, Aalborg Universitet. 162 s.

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

Åben adgang
Fil
376 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
113 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
420 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
1029 Downloads (Pure)

Concepts and Techniques for Flexible and Effective Music Data Management

Deliege, F., 25 sep. 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; Nr. 51).

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

Åben adgang
Fil

Coordinating cooperative work: a framework for the design of flexible computer-based support

Divitini, M., 1999, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 3).

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

Data-driven intervention in software process improvement

Iversen, J. H., 2000, Aalborg: Aalborg Universitetsforlag. (Publication : Department of Computer Science, Aalborg University; Nr. 8).

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

Data Structures and Algorithms for the Analysis of Real Time Systems

Behrmann, G., 2003, Aalborg Universitet: Department of Computer Sciences. 179 s. (Ph.D. Thesis).

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

2908 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
598 Downloads (Pure)

Designing the E-Democracy Forum: Genres and Models of E-Democracy

Sæbø, Ø., 2006, Aalborg: Department of Computer Science, Aalborg University. (Ph.D Thesis; Nr. 35).

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

Åben adgang
Fil

Design of Interactive Narratives: Concepts, Methods and Architectures

Skov, M., 2002, Aalborg : Department of Computer Science: Aalborg Universitetsforlag. 140 s.

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

Design Verification Patterns

Knudsen, J., 2009, Aalborg: Department of Computer Science, Aalborg University. (Ph.D. thesis; Nr. 52).

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

459 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
344 Downloads (Pure)

Drifting Software Process Improvement: Studying Practice

Tjørnehøj, G., 2009, Department of Computer Science, Aalborg University.

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

Åben adgang
Fil

Efficient adaptive retrieval and mining in large multimedia databases

Assent, I., 2008, Aalborg: Aalborg Universitet.

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

Time series
Query processing
Magnetic resonance
Sales
Textures
172 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

Enabling Location-Related Privacy in Geo-Social Mobile Internet Services

Ruiz Vicente, C., aug. 2011, Aalborg. 153 s. (Ph.D. thesis; Nr. 65).

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

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

Flexible and Effective Aggregation and Exchange of Farming-related Data

Iftikhar, N., aug. 2011, Aalborg. 161 s. (Ph.D. thesis; Nr. 66).

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

588 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

Games and Scenarios for Real-Time System Validation

Li, S., 19 apr. 2010, Aalborg: Institut for Datalogi, Aalborg Universitet. 224 s.

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

Real time systems
Observability
Model checking
Testing
Systems analysis

GPS Data Management with Applications in Collective Transport

Tiesyte, D., 2009, Department of Computer Science, Aalborg University.

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

Graphical Models for Partially Sequential Decision problems

Nielsen, T. D., 2001, Aalborg: Department of Computer Science, Aalborg University. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University; Nr. 18).

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

524 Downloads (Pure)

Hard Real-Time Java: Profiles and Schedulability Analysis

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

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

Fil

HUGIN and MUNIN - Past, Present and Future

Olesen, K. G., 1992, Aalborg: Aalborg Universitet.

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

Human-Computer Interaction Design for Emerging Technologies: Virtual Reality, Augmented Reality and Mobile Computer Systems

Kjeldskov, J., 2003, Aalborg : Aalborg University: Department of Computer Science, Aalborg University. 131 s. (Ph.D. Thesis).

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

Åben adgang
381 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
1369 Downloads (Pure)

Implementing an Enterprise System: A dialectic perspective

Nordheim, S., 2009, 1 udg. Aalborg University: Department of Computer Science, Aalborg University. (Ph.D. thesis; Nr. 48, Bind 1).

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

Åben adgang
Fil

Information systems development as action research - soft systems methodology and structuration theory

Rose, J., 2000, Lancaster, England: Lancaster University. 233 s.

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

In-Memory Trajectory Indexing for On-The-Fly Travel-Time Estimation

Waury, R., 2019, Aalborg Universitetsforlag. 141 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

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

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

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