Roskilde Universitet

  • Universitetsvej 1

    4000 Roskilde

    Danmark

Publikationer

Filter
Konferencebidrag i proceedings
2020

A Checklist For A Successful PD Student Project

Simonsen, J., Z. Malik, A., From, G., F. Parslov, M. & T. Sørensen, L., 2020, (Accepteret/In press) Proceedings of the 16th biennial Conference on Participatory Design, PDC’2020, June 15-19, Manizales, Colombia: Participation(s) otherwise. ACM Digital Library (BFI Level 2), Bind II. 5 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., apr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (red.). Springer, LNCS, Bind 12042. s. 19-35

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., jan. 2020, (Accepteret/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020) .

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., Li, H., Lu, H., Shou, L. & Xu, J., 2020, (Accepteret/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

PD and The Challenge of AI in Health-Care

Gyldenkærne, C., Simonsen, J., Mønsted, T. S. & From, G., 2020, (Accepteret/In press) Proceedings of the 16th biennial Conference on Participatory Design, PDC’2020, June 15-19, Manizales, Colombia: Participation(s) otherwise. ACM Digital Library (BFI Level 2), Bind II. 5 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., 2020, (Accepteret/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). United States: IEEE

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Sound as Material for Eco-technogenesis

Ranten, M. F., Kadish, D. & Hines, M., maj 2020, Proceedings of RE:SOUND 2019. s. 195-201 (Electronic Workshops in Computing).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2019

Adoption of Human Resource Information Systems in Danish SMEs

Scupola, A. & Pollich, Z., 26 sep. 2019, (Accepteret/In press) Conference Proceedings.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

Bootstrapping Your Team for Higher Performance

Pedersen, M. B., Pries-Heje, J., Stybe, G. & Johansen, J., 2019, Systems, Software and Services Process Improvement: 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 Proceedings. Walker, A., O'Connor, R. & Messnarz, R. (red.). Switzerland: Springer, s. 163-178 (Communications in Computer and Information Science; Nr. 1060, Bind 1).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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. (red.). Cham: Springer, Bind 11408. s. 94-111 (Lecture Notes in Computer Science, Bind 11408). (Theoretical Computer Science and General Issues, Bind 11408).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Creating a New Innovation Orientation through Idea Competitions

Scupola, A., Nicolajsen, H. W. & Nicolaisen, H. W., 26 sep. 2019, (Accepteret/In press) Proceedings.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

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. (red.). Cham: Springer, s. 231-241 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Den intellektuelle og politiske Georg Brandes

Svendsen, E., 25 mar. 2019, Transit - 'Norden' och 'Europa': IASS XXXI 2016. Broomans, P., Jiresch, E., Klok, J. & Schüppert, A. (red.). Havertown: Barkhuis Publishing, s. 345-355 10 s. 27

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Electronic Kintsugi: An investigation of everyday crafted objects in tangible interaction design

Carpenter, V. J., Willis, A., Møbius, N. & Overholt, D., 2019, Proceedings of the Future Technologies Conference (FTC) 2018. Arai, K., Bhatia, R. & Kapoor, S. (red.). cham: Springer, s. 104-121 (Advances in Intelligent Systems and Computing, Bind 880).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Estimating Discharge Time of Cargo Units: A Case of Ro-Ro Shipping

Jia, B., Rytter, N. G., Reinhardt, L., Haulot, G. & Billesøe, M. B., 30 sep. 2019, Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings. Paternina-Arboleda, C. & Voß, S. (red.). Springer, s. 122-135 13 s. (Lecture Notes in Computer Science; Nr. 11756).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Find My Next Job: Labor Market Recommendations Using Administrative Big Data

Frid-Nielsen, S. S., 2019, RecSys '19: Proceedings of the 13th ACM Conference on Recommender Systems. Association for Computing Machinery, s. 408-412

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

How can faba-bean cropping contribute to a more sustainable future European agriculture? Analysis of transition opportunities and barriers in Denmark

Lybæk, R., Hauggaard-Nielsen, H. & Kjær, T., 6 dec. 2019, Proceedings of the 19th European Roundtable for Sustainable Consumption and Production: Circular Europe for Sustainability: Design, Production and Consumption. Segalas, J. & Lazzarini, B. (red.). Institute for Sustainability, Science and Technology. Universitat Politecnica de Catalunya-Barcelona (ISST-UPC), Bind 1. s. 476-490 15 s. Vol.1

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

How Do Users Perceive a Design-in-Use Approach to Implementation? A Healthcare Case

Hertzum, M. & Torkilsheyggi, A., 2019, Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III. Cham: Springer, s. 410-430 (Lecture Notes in Computer Science; Nr. 11748).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Inducing Creativity in Design Science Research

Pries-Heje, J., Baskerville, R., Storey, V. C. & Kaul, M., 27 apr. 2019, Extending the Boundaries of Design Science Theory and Practice: 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings. Tulu, B., Djamasbi, S. & Leroy, G. (red.). Springer, s. 3-17 (Proceedings of the International Conference on Design Science Research in Information Systems and Technology). (Lecture Notes in Computer Science; Nr. 11491).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Interaction and the Marcan formula

Blackburn, P. R., 2019, Aventuras en el Mundo de la Lógica : Ensayos en Honor a María Manzano. Huertas, A. & Moldovan, A. (red.). College Publications, s. 75-93 19 s. (Cuadernos de lógica, epistemología y lenguaje, Bind 13).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Internal complexity for exploratory interaction

Hobye, M., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (red.). Málaga: Universidad de Málaga, s. 499-500 2 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Moving beyond showcase: The five faces of leadership in smart city transformation

Cranefield, J. & Pries-Heje, J., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019. AIS Association, Bind 2019. 16 s. (Proceedings of the European Conference on Information Systems).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Not Just a School: Explorations and Theoretical Considerations in Relation to the Human Eco-Niche

Pedersen, S., 2019, The Ethos of Theorizing: ISTP 2017. Murakami, K., Cresswell, J., Kono, T. & Zittoun, T. (red.). Canada: Captus Press, s. 212-221

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Rigid First-Order Hybrid Logic

Blackburn, P. R., Martins, M., Manzano, M. & Huertas, A., 2 jul. 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Berlin: Springer, s. 53-69 17 s. (Lecture Notes in Computer Science, Bind 11541).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

The Anticlockwise Checked Vowel Chain Shift in modern RP in the twentieth century: Incrementations and diagonal shifts

Fabricius, A. H., 2019, Proceedings of the 19th International Congress of Phonetic Sciences, Melbourne, Australia 2019. Calhoun, S., Escudero, P., Tabain, M. & Warren, P. (red.). Canberra: Australiasian Speech Science and Technology Association, Inc. , s. 592-596 5 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

The Handover from Intensive Care Unit to General Ward: Baseline Performance and Participatory Design of an Electronic Follow-Up Plan

Østergaard, K. L., Simonsen, J. & Hertzum, M., aug. 2019, MEDINFO 2019: Health and Wellbeing E-Netsworks for All: Proceedings of the 17th World Congress on Medical and Health Informatics. Ohno-Machado, L. & Séroussi, B. (red.). IOS Press, s. 1303-1307 (Studies in Health Technology and Informatics, Bind 264).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

The Mobile Suit Gundam Franchise: A Case Study of Transmedia Storytelling Practices and the Role of Digital Games in Japan

Nakamura, A. & Tosca, S., 2019, DIGRA 2019 - Proceedings of the 2019 DiGRA International Conference: Game, Play and the Emerging Ludo-Mix. Kyoto: DIGRA, 17 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

The role of decision-making in the legitimation of probability and statistics in Chilean upper secondary school curriculum

Elicer, R., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (red.). Utrecht, the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, s. 930-937 8 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

The use of faba-bean cropping as a sustainable and energy saving technology: A new protein self-sufficiency opportunity for European agriculture?

Lybæk, R. & Hauggaard-Nielsen, H., 1 jun. 2019, IOP Conference Series Earth and Environmental Science: 2019 3rd International Conference on Energy and Environmental Science 26–29 January 2019, Seoul, South Korea. IOP Publishing, Bind 291. 6 s. 012049. (IOP Conf. Series: Earth and Environmental Sciense; Nr. 012049, Bind 291).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (red.). Cham: Springer, s. 112-130 (Lecture Notes in Computer Science, Bind 11285). (Theoretical Computer Science and General Issues; Nr. 11285).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Trækvejret: A kinetic device encouraging bodily reflection

Carpenter, V. J., Sokoler, T., Møbius, N. DZL. & Overholt, D. J., 2019, TEI 2019: Proceedings of the 13th International Conference on Tangible, Embedded, and Embodied Interaction. New York: Association for Computing Machinery, s. 399-406

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Virtual Reality Instruction Followed by Enactment Can Increase Procedural Knowledge in a Science Lesson

Andreasen, N. K., Baceviciute, S., Pande, P. & Makrasnky, G., 2019, Proceedings of the 26th IEEE Conference on Virtual Reality and 3D User Interfaces. IEEE, s. 840 1 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

2018

Abstract nonsense

Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (red.). New York: Association for Computing Machinery, s. 26-37

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

A Case Study of Digital Transformation of Danish Public Services: Actors and Policies

Scupola, A., dec. 2018, 2018 11th CMI International Conference: Prospects and Challenges Towards Developing a Digital Economy within the EU . IEEE Press, s. 14-18 5 s. (Unknown).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Advances in research and development concerning mathematical modelling in mathematics education. Plenary lecture delivered at the 8th ICMI-East Asia Regional Conference on Mathematics Education

Niss, M. A., maj 2018, Proceedings of the 8th ICMI-East Asia Regional Conference on Mathematics Education - ICMNI-EARCOME8, Tapei, Taiwan, May 7-11, 2018. Hsieh, F-J. (red.). Taipei, Taiwan: EARCOME8 - National University of Taiwan, Bind 1. s. 26-36 11 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (red.). Santa Fe: Association for Computational Linguistics, s. 1-9

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Application et identification dans l’expérience esthétique

Rendtorff, J. D., 2018, Le Beau. Actes du XXXVIe Congrès International de l'Association des Sociétés de philosophie de langue française (A.S.P.L.F.): Organisé par l’Association Roumaine de Philosophie de Langue Française et l’Université « Alexandru Ioan Cuza » de Iaşi Iaşi, Roumanie, 23-27 août 2016.. Bejan, P. & Schulthess, D. (red.). Lasi: Universitatii Alexandru Ioan Cuza, s. 154-165 12 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, s. 589-594 (IEEE RO-MAN proceedings; Nr. 2018).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Business Ethics as a Method of Philosophical Inquiry in Business and Economic Life

Rendtorff, J. D., 2018, Proceedings of the XXIII World Congress of Philosophy. Boudouris, K. (red.). Athen: Greek Philosophical Society in Cooperation with Philosophy Documentation Center, Bind 5. s. 71-75 5 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Challenges for biogas production and use in Brazil and lessons to learn from Denmark

Coelho, S. T., Carmo, B. S., Holm-Nielsen, J. B., Lybæk, R., Garcilasso, V. P., Mariano, M. & Escobar, J. F., 1 maj 2018, Papers of the 26th European Biomass Conference: Setting the cource for a biobased economy. Persson, M., Scarlat, N., Grassi, A. & Helm, P. (red.). Florenz: ETA-Florence Renewable Energies, s. 1493-1494 2 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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. (red.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

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, s. 11-20 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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. (red.). Cham: Springer, s. 3-17 15 s. (Lecture Notes in Computer Science; Nr. 10844).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Efficient Matching of Offers and Requests in Social-Aware Ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 2018, 19th IEEE International Conference on Mobile Data Management, MDM 2018, Aalborg, Denmark, June 25-28, 2018. IEEE Computer Society Press, s. 197-206 10 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Efficient Recombination in the Lin-Kernighan-Helsgaun Traveling Salesman Heuristic

Tinós, R., Helsgaun, K. & Whitley, D., 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I. Auger, A., Fonseca, C. M., Lourenco, N., Machado, P., Paquete, L. & Whitley, D. (red.). Springer, Bind 1. s. 95-107 13 s. (Theoretical Computer Science and General Issues, Bind 11101). (Lecture Notes in Computer Science, Bind 11101).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Eight Aspects of Actions in Improvement Plans

Carstensen, P. H. & Vinter, O., aug. 2018, Systems, Software and Services Process Improvement. 25th International Conference. Larucca, X., Santamaria, I., O'Connor, R. V. & Messnarz, R. (red.). Switzerland: Springer, Bind CCIS 896. s. 147-158 12 s. (Communications in Computer and Information Science, Bind 896).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil