Department of People and Technology

Research Output

Filter
Article in proceedings
Article in proceedings

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

Conceptual Summaries as Query Answers

Styltsvig, H. B., Andreasen, T. & Terney, T. V., 2007, North American Fuzzy Information Processing Society: NAFIPS '07. Annual Meeting of the24-27 June 2007. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 458-462

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

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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

File

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

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

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

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

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Banda, G. & Gallagher, J. P., 30 Nov 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (eds.). Springer, p. 27-45 19 p. (Lecture Notes in Computer Science, Vol. 6355).

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

File

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

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

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

Consumer ownership in liberalised electricity markets: the case of Denmark

Olsen, O. J. & Skytte, K., 2000, Energy Markets & the New Millennium: Economics, Evironment, Security of Supply: Proceedings : 23rd IAEE International Conference, Sydney, Australia. International Association for Energy Economics

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

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

Continuous Skyline Monitoring over Distributed Data Streams

Lu, H., Zhou, Y. & Haustad, J., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (eds.). Springer, Vol. 6187. p. 565-583 19 p. (Lecture Notes in Computer Science).

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

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, p. 287-298

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

Coping in the Nordic peripheries: On the spatial production of societies

Bærenholdt, J. O., 2003, ERSA 2003 Congress: Congress CD-Rom. European Regional Science Association

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

Coping with cultural and maturity inequality in offshore outsourcing: Is minimizing interaction the solution?

Hertzum, M. & Pries-Heje, J., 2009, Information systems in a globalising world: Challenges, ethics and practices: Proceedings of the 17th European Conference on Information Systems. Newell, S., Whitley, E., Pouloudi, N., Wareham, J. & Mathiassen, L. (eds.). p. 923-934 12 p.

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

Cottage tourist on the move

Pedersen, M. H., 2003, Landscapes of presence: aesthetics, amenities and technologies: proceedings of the first Winter Academy convened by Amenity Landscapes Research Group. Veijola, S. (ed.). University of Lapland, p. 47-70

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

Cowitra: A Machine Translation Concept

Sørensen, B., 1990, Expersys-90: Expert Systems Applications. Gouardères, G., Liebowitz, J. & White, M. (eds.). Institute for Industrial Technology Transfer, p. 315-317 3 p.

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

Creating synergies between traditional crafts and Fablab Making: Exploring digital mold-making for glassblowing

Padfield, N., Hobye, M., Pedersen, M. H., Knight, J. & Ranten, M. F., 2018, Proceedings of FabLearn Europe 2018: Conference on Creativity and Making in Education. New York: Association for Computing Machinery, p. 11-20 10 p.

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

Open Access
File

Creation, Transfer, and Diffusion of Innovation in Organizations and Society: Information Systems Design Science Research for Human Benefit

Venable, J., Pries-Heje, J., Bunker, D. & Russo, N. L., 2010, Human Benefit through the Diffusion of Information Systems Design Science Research. Pries-Heje, J., Venable, J., Bunker, D., Russo, N. & DeGross, J. I. (eds.). Springer, Vol. 318. p. 1-10 (IFIP AICT - Advances in Information and Communication technology; No. 318).

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

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, p. 62-71 10 p.

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

Cultural cognition in the thinking-aloud method for usability evaluation

Clemmensen, T., Hertzum, M., Hornbæk, K., Shi, Q. & Yammiyavar, P., 2008, ICIS 2008: Proceedings of the AIS International Conference on Information Systems. Association for Information Systems, 15 p.

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

Dachen Island Wind/Diesel Facilities

Sørensen, B., 1990, European Community wind energy conference: Proceedings. H.S. Stephens, p. 688-691 4 p.

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

Danida's policy and practice in relation to mother tongue and bilingual education: a preliminary mapping

Schulz, M. & Carney, S., 2008, Modersmåls- og tosproget undervisning - myter, realiteter og konsensus?: konferencerapport, 28.-29. november 2007. Timm, L. (ed.). Uddannelsesnetværket, p. 98-111 14 p.

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

Danish design from a psychological perspective

Funch, B. S., 2010, Aesthetics + Design: Proceedings. International Association of Empirical Aesthetics, p. 1-7 7 p.

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

"Danish Experiences with Small Scale Decentralised Biogas Plants"

Lybæk, R. B., 2000, Proceedings to "The 7th Polish-Danish Workshop on Biomass for Energy". Technical university of Gdansk, p. 97-104 8 p.

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

Danish National Photovoltaic program

Sørensen, B., Katic, I. & Windeleff, J., 1995, IEEE First World Conference on Photovoltaic Energy Conversion, 1994. Institute of Electrical and Electronics Engineers, p. 2302-2305

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

Decentralising higher education: education opportunities as a contribution to regional development

Rasmussen, R. O., 2003, Circumpolar connections: proceedings of the 8th Circumpolar Cooperation Conference. Yukon college, p. 34-44

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

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

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (eds.). Cham: Springer, p. 231-241 (Lecture Notes in Computer Science).

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

Description of hydrogen storage in hydrides and related compounds by quantum chemical calculations

Sørensen, B., 2006, 16th World Hydrogen Energy Conf., Lyon. IHEA, Vol. CDROM. p. S14-110 9 p.

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

Open Access
File

Design by Social Entrepreneurship: Reflections on Eco-Design

Holm, J., Søndergård, B. & Hansen, O. E., 2008, Conference: Perspectives on practice-oriented design science 15th of maj 2008: proceedings. Bærenholdt, J. O., Simonsen, J. & Scheuer, J. D. (eds.). Roskilde Universitet, p. 84-100

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

Designing an Appropriate Information Systems Development Methodology for Different Situations

Pries-Heje, J. & Avison, D., 2007, ICEIS 2007: Proceedings of the Ninth International Conference on Enterprise Information Systems. Cardoso, J., Cordeiro, J. & Filipe, J. (eds.). Institute for Systems and Technologies of Information, Control and Communication, p. 63-70 8 p.

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

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 excuses for interaction to facilitate social curiosity

Hobye, M., Padfield, N. & Löwgren, J., 2018, FDG '18 Proceedings of the 13th International Conference on the Foundations of Digital Games. New York: Association for Computing Machinery, 63

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

Open Access

Designing for Learning in Coupled Contexts

Heilesen, S., Mogensen, K. & Gleerup, J., 2012, Proceedings of the 8th International Conference on Networked Learning 2012. Hodgson, V., Jones, C., de Laat, M., McConnell, D., Ryberg, D. & Sloep, P. (eds.). Maastricht School of Management, p. 89-96 8 p.

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

Open Access
File

Designing models and screening biomass residues for facilitating the implementation of local biomass energy technologies

Lybæk, R., Kjær, T. & Christensen, T. B., 2012, ICSET Kathmandu, Nepal conference Proceedings. IEEE Xplore: IEEE, Vol. IEEE Catalog nr.: CFP1279D-USB. 4 p.

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 of a Relational Database for Landscape-Ecological Studies

Brandt, J., Holmes, E. & Larsen, D., Mar 1991, 3rd Scandinavian Conference on Geographical Information Systems: Helsingør, Denmark, November 14-16, 1990. Hermansen, B., Frederiksen, P. & Balstrøm, T. (eds.). København: Danmarks og Grønlands Geologiske Undersøgelse, Vol. I. p. 74-87 14 p.

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

File

Design Principles Exposition: A Framework for Problematizing Knowledge and Practice in DSR

Hansen, M. R. P. & Haj-Bolouri, A., 2020, (Accepted/In press) International Conference on Design Science Research in Information Systems and Technology: 15th Conference. Springer, LNCS, 12 p.

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

Design Principles for Room-Scale Virtual Reality: A Design Experiment in Three Dimensions

Hansen, M. R. P., Schjerlund, J. & Jensen, J. G., Jun 2018, Designing for a Digital and Globalized World: 13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings. Chatterjee, S., Dutta, K. & Sundarraj, R. P. (eds.). Cham: Springer, p. 3-17 15 p. (Lecture Notes in Computer Science; No. 10844).

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

Design Science Research: A Hands-on Tutorial

Pries-Heje, J., Venable, J. & Baskerville, R. L., 2017, European Conference on Information Systems (ECIS'2017): Electronic Proceedings. ECIS, European Conference on Information Systems, 3 p. (Proceedings of the European Conference on Information Systems).

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

Open Access

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

Destination Construction

Bærenholdt, J. O. & Framke, W., 2000, Travel & destination: proceedings of a conference held at Roskilde University 17.02.2000. Roskilde Universitet, Vol. 152. p. 15-28 13 p. (Publikationer fra Institut for geografi og internationale udviklingsstudier. Arbejdspapir; No. 152).

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

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). p. 115-127

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

Development of geochemical sensors for real-time management of groundwater resources in coastal regions

Thorn, P., Mortensen, J. & Schrøder, N., 2007, Proceedings of the 35th International Association of Hydrogeologists Congress, Lisbon, Portugal.. IAH, Vol. 35. 10 p.

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

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

Dilemmas of Interdisciplinarity: a Case Story of Fission and Fusion in an Interdisciplinary Department

Hvid, H. S. & Jespersen, P. H., 2000, Transdisciplinarity. Häberli, R. (ed.). Swiss Federal Institute of Technology

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