Department of People and Technology

Research Output

Filter
Article in proceedings
2015

Tracing Shifts in Emotions in Streaming Social Network Data

Andreasen, T., Christiansen, H. & Theil have, C., 2015, Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Esposito, F., Pivert, O., Hacid, M-S., Rás, Z. W. & Ferilli, S. (eds.). Springer, p. 280-289 (Lecture Notes in Computer Science, Vol. 9384).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Tree automata-based refinement with application to Horn clause verification

Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Visible but Unseen? A Workplace Study of Blood-Test Icons on Electronic Emergency-Department Whiteboard

Torkilsheyggi, A. M. Á. & Hertzum, M., 2015, CSCW '15 Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2014

A Journey from IFC Files to Indoor Navigation

Boysen, M., Haas, C. D., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings. Pfoser, D. & Li, K-J. (eds.). Springer, Vol. 8470. p. 148-165 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II. Bhowmick, S. S., Dyreson, C. E., Jensen, C. S., Lee, M-L., Muliantara, A. & Thalheim, B. (eds.). Springer, Vol. 8422. p. 61-76 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Categorization Of Multiple External Representations By Chemistry Undergrads: An Eye-Tracking Study

Pande, P. & Chandrasekharan, S., 2014, Proceedings of the International Science Education Conference 2014. National Institute of Education, Singapore, p. 1393

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Change Strategy for ISO/IEC 33014: A multi-case study on which change strategies were chosen

Pries-Heje, J. & Johansen, J., 2014, Systems, Software and Services Process Improvement: 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Barafort, B., O´Connor, R. V., Poth, A. & Messnarz, R. (eds.). Heidelberg: Springer VS, p. 317-330 (Communications in Computer and Information Science; No. 425).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2014, Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (eds.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, p. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constraint Logic Programming for Resolution of Relative Time Expressions

Christiansen, H., 2014, Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Beckman, A., Csuhaj-Varjú, E. & Meer, K. (eds.). Springer VS, p. 93-102 (Lecture Notes in Computer Science, Vol. 8493).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constructing indoor navigation systems from digital building information

Boysen, M., Haas, C. D., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014. Cruz, I. F., Ferrari, E., Tao, Y., Bertino, E. & Trajcevski, G. (eds.). IEEE Computer Society Press, p. 1194-1197 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

Kafle, B. & Gallagher, J. P., 2 Dec 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (eds.). EPTCS, Vol. 169. p. 53-67 15 p. 7

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Designing an energy planning concept for enhancing the dissemination of renewable energy technologies in developing countries

Lybæk, R., Andersen, J., Lund, S. & Kjær, T., Mar 2014, IEEE Conference Publications. IEEE Explorer: IEEE, p. 1-9 9 p. (Green Energy for Sustainable Development (ICUE)).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Designing Scientific Creativity

Kristiansen, E., Pries-Heje, J. & Baskerville, R., 2014, Nordic Contributions in IS Research: 5th Scandinavian Conference on Information Systems, SCIS 2014. Commisso, T. H., Nørbjerg, J. & Pries-Heje, J. (eds.). Springer Science+Business Media, (Lecture Notes in Business Information Processing, Vol. 186).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Design Theory Projectability

Pries-Heje, J. & Baskerville, R., Dec 2014, Information Systems and Global Assemblages: (Re)configuring Actors, Artefacts, Organizations. Doolin, B., Lamprou, E., Mitev, N. & McLeod, L. (eds.). Springer, Vol. 446. p. 219-232 (IFIP AICT - Advances in Information and Communication technology).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Diffusing Best Practices: A Design Science Study Using the Theory of Planed Behavior

Pries-Heje, J. & Baskerville, R., 2014, Creating Value for All Through IT. Bergvall-Kåreborn, B. & Nielsen, P. A. (eds.). Springer, Vol. 429. p. 35-46 (IFIP AICT - Advances in Information and Communication technology).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient Skyline Computation in MapReduce

Mullesgaard, K., Pederseny, J. L., Lu, H. & Zhou, Y., 2014, Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M. N., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, p. 37-48 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Engagement in service innovation: A case study of innovation of a tourism service

Fuglsang, L. & Nordli, A. J., 2014, Proceedings from the 24th Annual RESER Conference Services and New Societal Challenges: Innovation for Sustainable Growth and Welfare. Toivonen, M. (ed.). Espoo: RESER, p. 436-444

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

Eye-tracking in STEM education research: limitations, experiences and possible extensions

Pande, P. & Chandrasekharan, S., 2014, Proceedings of The 6th IEEE International Conference on Technology for Education. K. & Murthy, S. (eds.). IEEE, p. 116 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding Dense Locations in Indoor Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., 2014, IEEE 15th International Conference on Mobile Data Management, MDM 2014, Brisbane, Australia, July 14-18, 2014 - Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Becker, C., Indulska, J., Mokbel, M. F., Nicklas, D. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 189-194 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Handling False Negatives in Indoor RFID Data

Baba, A. I., Lu, H., Pedersen, T. B. & Xie, X., 2014, IEEE 15th International Conference on Mobile Data Management, MDM 2014, Brisbane, Australia, July 14-18, 2014 - Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Becker, C., Indulska, J., Mokbel, M. F., Nicklas, D. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

How Does Representational Competence Develop? Explorations Using a Fully Controllable Interface and Eye-tracking

Pande, P., Majumdar, R., Kothiyal, A., Agarwal, H., Ranka, A. & Chandrasekharan, S., 2014, Proceedings of the 22ndInternational Conference on Computers in Education. Asia-Pacific Society for Computers in Education, p. 738 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Innovation and social, public and private value

Langergaard, L. L., Fuglsang, L. & Hulgård, L., 2014, Proceedings from the First international management conference of the Romanian Scientific Management Society: Challenges, Performances and Tendencies in the Organization Management. Nicolescu, O., Plesoianu, G., Ceptureanu, E. & Cirstea, A. C. (eds.). Societatea Academica de Management din Romania, 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Integration of multiple external representations in chemistry: a requirements gathering study

Pande, P. & Chandrasekharan, S., 2014, Proceedings of the 22ndInternational Conference on Computers in Education. Asia-Pacific Society for Computers in Education, p. 732 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Mandatory e-government has arrived: The silent protest from staff calls for the committed scholar – resistance must never be futile!

Berger, J. B., 2014, The 25th Australasian Conference on Information Systems. Auckland: ACIS, 10 p. (The 25th Australasian Conference on Information Systems, ACIS 2014).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Multi-Criteria Optimal Location Query with Overlapping Voronoi Diagrams

Zhang, J., Ku, W-S., Sun, M-T., Qin, X. & Lu, H., 2014, Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M. N., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, p. 391-402 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

New distribution options for biogas in Denmark - Experiences from case studies conducted on Zealand

Lybæk, R., Kjær, T. & Gaarsmand, R., 1 Nov 2014, Proceedings of the 9th GMSARN International Conference: Connectivity and Sustainability in GMS: Energy, Environment & Social Issues. Vietnam, p. 1-8 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On A New Threshold: Experiments In Gaming, Retail And Performance Design To Shape Museum Entrances

Parry, R. & Kristiansen, E., 2014, Museums and the Web 2014: Selected Papers and Proceedings. Proctor, N. & Cherry, R. (eds.). Silver Spring, MD: Museums and the Web

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

The enactive equation: exploring how multiple external representations are integrated, using a fully controllable interface and eye-tracking

Pande, P., Majumdar, R., Kothiyal, A., Agarwal, H., Ranka, A., Chandrasekharan, S. & Murthy, S., 2014, Proceedings of The 6th IEEE International Conference on Technology for Education. IEEE, p. 233 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Toward a Theory for the Design of Human Technologies

Nielsen, J. L., Simonsen, J., Hertzum, M. & Riis, S., 2 Dec 2014, OzCHI '14 Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design. New York: Association for Computing Machinery, 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Unskilled Work and Learner Identity: Understanding unskilled work as a certain condition for perceiving oneself as an educable subject

Kondrup, S., 2014, Changing Configurations of Adult Education in Transitional Times. Käpplinger, B., Lichte, N., Haberzeth, E. & Kulmus, C. (eds.). Berlin: Humboldt-Universität zu Berlin, p. 93 - 106 14 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Open Access
File

User Participation in Pilot Implementation: Porters and Nurses Coordinating Patient Transports

Torkilsheyggi, A. M. Á. & Hertzum, M., 2014, OzCHI '14: Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design. 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Законодательная база в отношении обучения материнским языкам детей мигрантов в Финляндии и Дании

Translated title of the contribution: The laws to learning the mother tongue of migrant children in Finland and DenmarkPopova, M. & Zelenin, A., 2014, II Международная научно-практическая конференция “Социально-психологическая адаптация мигрантов в современном мире. Konstantinov, V. (ed.). Moscow, Russia: Перо, p. 33-47 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2013

A Data Warehouse Solution for Analyzing RFID-Based Baggage Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 283-292 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A generic framework for cyber-physical web

Gu, X., Shou, L., Lu, H. & Chen, G., 2013, Proceedings of the First International Workshop on Middleware for Cloud-enabled Sensing, MCS 2013, Beijing, China, December 9-13, 2013. Mukherjee, T. & Mondal, A. (eds.). Association for Computing Machinery, p. 1:1-1:6

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

A graph model for false negative handling in indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Xie, X., 2013, 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2013, Orlando, FL, USA, November 5-8, 2013. Knoblock, C. A., Schneider, M., Kröger, P., Krumm, J. & Widmayer, P. (eds.). Association for Computing Machinery, p. 454-457 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An RFID and particle filter-based indoor spatial query evaluation system

Yu, J., Ku, W-S., Sun, M-T. & Lu, H., 2013, Joint 2013 EDBT/ICDT Conferences, EDBT '13 Proceedings, Genoa, Italy, March 18-22, 2013. Guerrini, G. & Paton, N. W. (eds.). Association for Computing Machinery, p. 263-274 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A unified model for stable and temporal topic detection from social media data

Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 661-672 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Capturing hotspots for constrained indoor movement

Ahmed, T., Pedersen, T. B. & Lu, H., 2013, 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2013, Orlando, FL, USA, November 5-8, 2013. Knoblock, C. A., Schneider, M., Kröger, P., Krumm, J. & Widmayer, P. (eds.). Association for Computing Machinery, p. 462-465 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

C-Cube: Elastic continuous clustering in the cloud

Zhang, Z., Shu, H., Chong, Z., Lu, H. & Yang, Y., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 577-588 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Combating some of the crucial bottlenecks for calanoid cultivation for live feed

Hansen, B. W., Drillet, G. & Jepsen, P. M., 9 Aug 2013, Larvi 2013: 6th fish & shellfish larviculture symposium. Ghent: Larvi 2013, p. 176-179 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Conceptual pathway querying of natural logic knowledge bases from text bases

Andreasen, T., Bulskov, H., Nilsson, J. F., Jensen, P. A. & Lassen, T., 2013, Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Consider the details: A Study of the Reading Distance and Revision Time of Electronic over Dry-Erase Whiteboards

Rasmussen, R. & Hertzum, M., 2013, Proceedings of the 12th Danish HCI Research Symposium. Wensveen, S. (ed.). 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Open Access
File

Do Usability Professionals Think about User Experience in the Same Way as Users and Developers Do?

Clemmensen, T., Hertzum, M., Yang, J. & Chen, Y., 2013, INTERACT 2013: Proceedings of the IFIP TC 13 International Conference on Human-Computer Interaction. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Berlin: Springer, Vol. LNCS 8118. p. 461-478 18 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient distance-aware query evaluation on indoor moving objects

Xie, X., Lu, H. & Pedersen, T. B., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 434-445 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding Traffic-Aware Fastest Paths in Spatial Networks

Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, Advances in Spatial and Temporal Databases - 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings. Nascimento, M. A., Sellis, T. K., Cheng, R., Sander, J., Zheng, Y., Kriegel, H-P., Renz, M. & Sengstock, C. (eds.). Springer, Vol. 8098. p. 128-145 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

From Research to Practical Application: Knowledge Transfer Planning and Execution in Outsourcing

Madsen, S., Bødker, K. & Tøth, T., 27 Jun 2013, Grand Successes and Failures in IT: Private and Public Sectors: IFIP WG 8.6 International Workning Conference on Transfer and Diffusion of IT, TDIT 2013. K. Dwivedi, Y., Zinner Hneriksen, H., Wastell, D. & De', R. (eds.). Springer, p. 510-524 (IFIP AICT - Advances in Information and Communication technology; No. 402).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Hybrid Indoor Positioning with Wi-Fi and Bluetooth: Architecture and Performance

Baniukevic, A., Jensen, C. S. & Lu, H., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 207-216 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Hybrid-Logical Reasoning in False-Belief Tasks

Braüner, T., 2013, Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK). Chennai: Institute of Mathematical Sciences, p. 186-195

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Identifying Typical Movements among Indoor Objects - Concepts and Empirical Study

Radaelli, L., Sabonis, D., Lu, H. & Jensen, C. S., 2013, 2013 IEEE 14th International Conference on Mobile Data Management, Milan, Italy, June 3-6, 2013 - Volume 1. IEEE Computer Society Press, p. 197-206 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review