Department of People and Technology

Research Output

Filter
Article in proceedings
2017

Instant urbanism and the politics of mobile architecture

Pinder, D., 1 Jul 2017, Urban Mobility: Architectures, Geographies and Social Space.. Toft, A. E. & Rönn, M. (eds.). Nordic Academic Press of Architectural Research, p. 13-44 31 p.

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

Open Access

Introduction: Proceeding 5th international Rersearch Forum on Guided Tours

Meged, J. W. & Koerts, D., 1 Dec 2017, Proceeding 5th international Rersearch Forum on Guided Tours. Meged, J. & Koerts, D. (eds.). Roskilde : Roskilde Universitet, p. 5-6 2 p.

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

Open Access
File

Participatory action research with social workers in Greenland

Andersen, J. & Arnfjord, S., 20 Aug 2017, Collaborative and Sustainable Learning for a Fairer World: Rhetoric or Reality. Bradley, C. (ed.). Sydney: Sydney University Press, Vol. 1. p. 37-52 22 p.

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

Pathway Computation in Models Derived from Bio-Science Text Sources

Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (eds.). Cham: Springer, p. 424-434 (Lecture Notes in Computer Science; No. 10352). (Lecture notes in artificial intelligence; No. 10352).

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

Principles for enabling deep secondary design

Pries-Heje, J. & Hansen, M. R. P., 2017, Nordic Contributions in IS Research: 8th Scandinavian Conference on Information Systems. Stigberg, S., Karlsen, J., Holone, H. & Linnes, C. (eds.). Springer, p. 67-82 (Lecture Notes in Business Information Processing, Vol. 294).

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

Open Access
File

Social innovation in public institutions in Denmark: the role of action research

Andersen, J. & Bilfeldt, A., 15 Aug 2017, Collaborative and Sustainable Learning for a Fairer World: Rhetoric or Reality. Bradley, C. (ed.). 1 ed. Sydney: Sydney University Press, Vol. 1. p. 15-37 22 p.

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

The SAFe way to the Agile Organization

Pries-Heje, J. & Krohn, M. M., 2017, XP '17 Workshops Proceedings of the Scientific Workshops of XP2017. New York, NY, USA: Association for Computing Machinery

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

Time and Control in Teachers’ Work: The Erosion of Rhythms

Lund, H. L., 2017, Advances in Human Factors in Training, Education, and Learning Sciences: Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA. Andre, T. (ed.). Springer International Publishing : Springer, Vol. 596. p. 22-35 14 p. (Advances in Intelligent Systems and Computing, Vol. 596).

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

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases - 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21-23, 2017, Proceedings. Gertz, M., Renz, M., Zhou, X., Hoel, E. G., Ku, W-S., Voisard, A., Zhang, C., Chen, H., Tang, L., Huang, Y., Lu, C-T. & Ravada, S. (eds.). Springer, Vol. 10411. p. 221-241 21 p. (Lecture Notes in Computer Science).

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

Widening the Experience of Artistic Sketchbooks

Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).

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

2016

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

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

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

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

Open Access
File

Contact Quality in Participation: A “Sensethic” Perspective

Simonsen, J. & Jensen, O. S., Aug 2016, Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 . Smith, R. C. (ed.). New York: Association for Computing Machinery, 4 p.

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

Open Access
File

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (eds.). Association for Computing Machinery, p. 180-189

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

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (eds.). Switzerland: Springer, p. 81-100 (Lecture Notes in Computer Science, Vol. 9964).

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

Open Access

Net up your innovation value

Pries-Heje, J. & Hansen, M. R. P., 2016, Nordic Contributions in IS Research: 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings. Snis, U. L. (ed.). Schweiz: Springer VS, p. 70-85 (Lecture Notes in Business Information Processing, Vol. 259).

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

New biogas opportunities in Thailand within the dairy sector: Identifying bio-economic solutions for enhancing local economic and environmental benefits

Lybæk, R., 11 Feb 2016, Proceedings of International conference on Recent trends in chemical and environmental sciences, 12 & 13 February, 2016, Sangamner, India . Sangamner: Sangamner College , p. 240-247 8 p. E02

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

Planning for Biogas Plant in Denmark

Landt, C. C., Gaarsmand, R., Palsberg, A., Kjær, T. & Goldberg-Larsen, F., 9 Jun 2016, 24th European Biomass Conference and Exhibition. Firenze: ETA-Florence Renewable Energies, p. 1571 - 1578 8 p.

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

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

Kafle, B., Gallagher, J. P. & Morales, J. F., 2016, Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (eds.). Springer, Vol. Part 1. p. 261-268 8 p. (Lecture Notes in Computer Science; No. 9779).

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

Recursive belief manipulation and second-order false-beliefs

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, CogSci 2016 Proceedings: 38th Annual Meeting of the Cognitive Science Society - Recognizing and Representing Events. Papafragou, A., Grodner, D., Mirman, D. & Trueswell, J. (eds.). Philadelphia, Pennsylvania, USA: Cognitive Science Society, p. 2579-2584

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

Open Access
File

Second-order false-belief tasks: Analysis and formalization

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Berlin: Springer, p. 125-144 (Lecture Notes in Computer Science, Vol. 9803).

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

Open Access
File

Synthetic Completeness Proofs for Seligman-style Tableau Systems

Jørgensen, K. F., Blackburn, P. R., Bolander, T. & Braüner, T., 2016, Proceedings of Advances in Modal Logic 2016. Beklemishev, L., Demri, S. & Máté, A. (eds.). College Publications, Vol. 11. p. 302-321

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

Translating organizational change: An actor-network-theory inspired theory about organizational change

Scheuer, J. D., 1 Jun 2016, European Academy of Management. Proceedings. EURAM, p. 1-40 40 p.

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

2015

Accreditation and Participatory Design in the Health-Care Sector

Simonsen, J., Scheuer, J. D. & Hertzum, M., Aug 2015, Proceedings of the 38th Information Systems Research Seminar in Scandinavia (IRIS 38). Öörni, A., Kuutti, K., Oinas-kukkonen, H. & Rajanen, M. (eds.). IRIS, 10 p.

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

Open Access
File

A framework for multi-criteria optimal location selection

Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, Bellevue, WA, USA, November 3-6, 2015. Bao, J., Sengstock, C., Ali, M. E., Huang, Y., Gertz, M., Renz, M. & Sankaranarayanan, J. (eds.). Association for Computing Machinery, p. 86:1-86:4

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

Biogas application options within milk dairy cooperatives in Thailand: Case study Tambon Ban Kor, Khon Kaen

Lybæk, R. & Sommart, K., 15 Dec 2015, GMSARN Int. Conf. on Smart Energy, Environment, and Community Development in GMS, 16-18 December 2015, Phnom Phen, Cambodia . Thailand, 8 p.

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

Open Access
File

Comparing Methods for Involving Users in Ideation: The Use of Future Workshops and Blogs in Library Innovation

Nicolajsen, H. W., Scupola, A. & Sørensen, F., 11 Sep 2015, Proceedings: The 25th Annual RESER Conference ”Innovative Services in the 21st Century”. Sundbo, J., Fuglsang, L., Sørensen, F. & Balsby, N. (eds.). Roskilde: Roskilde Universitet

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

Open Access
File

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

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

Open Access
File

Constraint Specialisation in Horn Clause Verification

Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

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

Open Access
File

Decomposition by tree dimension in Horn clause verification

Kafle, B., Gallagher, J. P. & Ganty, P., 7 Dec 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

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

Open Access
File

E^2C^2: efficient and effective camera calibration in indoor environments

Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015. Mase, K., Langheinrich, M., Gatica-Perez, D., Gellersen, H., Choudhury, T. & Yatani, K. (eds.). Association for Computing Machinery, p. 9-12 4 p.

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

Embedded audio without beeps: synthesis and sound effects from cheap to steep

Møbius, N. & Overholt, D., 2015, TEI 2014 - 8th International Conference on Tangible, Embedded and Embodied Interaction, Proceedings. Association for Computing Machinery, p. 361-361

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

Environmental Aesthetics: Notes for design ecology

Svabo, C. & Ekelund, K., 2015, Nordes 2015: Design ecologies. Christensen, E. (ed.). Stockholm: Nordic Design Research, 9 p.

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

Open Access
File

Eye to I: Males Recognize Own Eye Movements, Females Inhibit Recognition

Pande, P., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society. Noelle, C. D., Dale, R., Warlaumont, A. S., Yoshimi, J., Matlock, T., Jennings, C. D. & Maglio, P. P. (eds.). Austin, Texas: Cognitive Science Society, p. 327 6 p.

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

Finding top-k local users in geo-tagged social media data

Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. Gehrke, J., Lehner, W., Shim, K., Cha, S. K. & Lohman, G. M. (eds.). IEEE Computer Society Press, p. 267-278 12 p.

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

Formative evaluation and user engagement: A model to ensure value from e-government

Berger, J. B., 2015, Electronic Government and Electronic Participation. IOS Press, Vol. 22. p. 193-200 8 p. (Innovation and the Public Sector, Vol. 22).

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

Open Access
File

Governance and innovation in public sector services: The case of digital library

Scupola, A. & Zanfei, A., 2015, The 25th Annual RESER Conference ”Innovative Services in the 21st Century”: Proceedings. Sundbo, J., Fuglsang, L. & Balsby, N. (eds.). Roskilde: Roskilde Universitet

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

Open Access
File

Governance and Innovation in Public sector Services: The case of Digital Library

Scupola, A. & Zanfei, A., 17 Jun 2015, EURAM 2015: Proceedings. Warsaw: Kozminski University

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

How do experts and novices navigate chemistry representations – an eye tracking investigation

Pande, P., Shah, P. & Chandrasekharan, S., 2015, Proceedings of EPISTEME-6. Homi Bhabha Centre for Science Education, Tata Institute of Fundamental Research, p. 102 8 p.

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

Open Access

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks: What Goes Wrong When Incorrect Responses are Given?

Braüner, T., 2015, Proceedings of the 37th Annual Meeting of the Cognitive Science Society, Pasadena, California, USA. Cognitive Science Society, p. 273-278

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

Open Access
File

Ontology-Based Role Association Networks for Visualizing Trends in Political Debate

Andreasen, T., Christiansen, H. & Eberholst, M. K., 2015, Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Christiansen, H., Stojanovic, I. & Papadopoulos, G. A. (eds.). Springer, p. 477-482 (Lecture notes in artificial intelligence, Vol. 9405).

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

Perceptions of FM service encounters

Scupola, A. & Hansen, A. V., 2015, Research Papers. Advancing Knowledge in Facilities Management: People make facilities management. Alexander, K. & Price, I. (eds.). Holland: EuroFM

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

Post Rio Communication Styles for Deliberation: between individualization and collective action

Holm, J. & Almlund, P., Jun 2015, Communication for the Commons. Revisiting Participation and Environment: Proceedings of the 2013 Conference on Communication and Environment. Meisner, M. S., Sriskandarejah, N. & Depoe, S. P. (eds.). Turtle Island: The International Environmental Communication Association, 15 p.

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

Open Access
File

Probabilistic Output Analysis by Program Manipulation

Rosendahl, M. & Kirkeby, M. H., 29 Sep 2015, Electronic Proceedings in Theoretical Computer Science. Vol. 194. p. 110-124 (Electronic Proceedings in Theoretical Computer Science; No. 194).

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

Open Access

Projecting the Future for Design Science Research: An Action-Case Based Analysis

Baskerville, R. & Pries-Heje, J., 2015, New Horizons in Design Science: Broadening the Research Agenda. Donnellan, B., Helfert, M., Kenneally, J., VanderMeer, D., Rothenberger, M. & Winter, R. (eds.). Springer, Vol. 9073. p. 280-291 (Lecture Notes in Computer Science, Vol. 9073).

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

Regional Development and Collaboration in Tourism: A Cross Border Perspektive

Plum, V., Frederiksen, J. S. & Jensen, H. T., 2015, Great Transformation: Recasting Regional Policy. Reynolds, L. (ed.). 1 ed. Seaford, UK: Regional Studies Association, p. 170-187 19 p.

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

Open Access
File

Remix Utopia: Eleven propositions in Design and Social Fantasy

Haldrup, M., Hobye, M., Samson, K. & Padfield, N., Jun 2015, Nordes 2015: Design ecologies. Christensen, E. (ed.). Stockholm: Nordic Design Research, Vol. 6. 8 p.

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

Open Access
File

Theorising power as a capacity for action and social participation

Busch-Jensen, P., 2015, Dialogue and debate in the making of theoretical psychology. Cresswell, J., Haye, A. & Larraín, A. (eds.). Concord: Captus Press, 10 p.

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

Toddlers Collaboratively Explore Possibilities for Actions across Contexts: Developing the Concept Conduct of Everyday Life in Relation to Young Children

Juhl, P., 2015, Dialogue and Debate in the Making of Theoretical Psychology.. Sullivan, G. B., Cresswell, J., Larraín, A., Haye, A. & Morgan, M. (eds.). Captus Press, p. 202-210

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

Towards a Multi-level Framework of Collaborative Innovation in Tourism

Høegh-Guldberg, O. & Fuglsang, L., 2015, Proceedings: The 25th Annual RESER Conference ”Innovative Services in the 21st Century”. Sundbo, J., Fuglsang, L., Sørensen, F. & Balslev, N. (eds.). Roskilde: Roskilde Universitet

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

Open Access
File