Roskilde Universitet

  • Universitetsvej 1

    4000 Roskilde

    Danmark

Publikationer 1965 2021

Filter
Konferencebidrag i proceedings
2019

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

Den intellektuelle og politiske Georg Brandes

Svendsen, E., 25 mar. 2019, Transit - Norden och Europa: IASS XXXI 2016. klok, J., broomans, P., jiresch, E. & schüppert, A. (red.). Groningen, s. 345-355 10 s. 27

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

Does it spark joy? Design and innovation with care

Svabo, C., 3 jun. 2019, NORDES 2019.

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, Thirteenth ACM Conference on Recommender Systems. Association for Computing Machinery, 5 s.

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

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

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

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

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 s.

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

Social Selection Mechanism in Corporate Governance Network

Kacanski, S., 9 sep. 2019, EUSN 2019 - Conference booklet. s. 194 194 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

THE ANTICLOCKWISE CHECKED VOWEL CHAIN SHIFT IN MODERN RP IN THE TWENTIETH CENTURY: INCREMENTATIONS AND DIAGONAL SHIFTS

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

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

The EU Agencies' Role in Policy Diffusion Beyond the EU: EEA, EMA and EFSA

Chatzopoulou, S., 2019, The External Dimension of EU Agencies and Bodies. Hofmann, H., Vos, E. & Chamon, M. (red.). Edward Elgar Publishing, 18 s.

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

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

Tosca, S. & Nakamura, A., 2019, (Accepteret/In press) DIGRA 2019: game, Play and the Emerging Ludo-Mix. Kyoto: DIGRA

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

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 Publishing. 012049 udg. 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 : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Bind 11285. s. 112 130 s. (Lecture Notes in Computer Science, Bind 11285).

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., 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

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 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

Finansministeriets økonomiske råderum: luftkastel eller realitet?

Jespersen, J., 2018, Symposium i anvendt statistik, 2018: 22.-24. januar 2018. Linde, P. (red.). København: NFA - Det Nationale Forskningscenter for Arbejdsmiljø, s. 219-226 8 s.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

Åben adgang

Free trade and environmental standards in the solar panel industry

Jensen, C., 15 sep. 2018, ETSG 2018 Warsaw. 13 s. 133

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

How can we use mathematics education research to uncover, understand and counteract mathematics specific learning difficulties?

Niss, M. A., jul. 2018, Mathematics In The Real World. Maj-Tatsis, B., Tatsis, K. & Swoboda, E. (red.). Rzeszow: Wydawnitcwo Uniwersytetu Rzeszowskiego, s. 79-99 21 s.

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

Åben adgang

I – Facebook – World: How people relate to technology and the world through Facebook use

Schwartz, S. A. & Mahnke, M. S., 2018, Proceedings of the 9th International Conference on Social Media and Society: SMSociety '18. Gruzd, A., Jacobson, J., Mai, P., Hemsley, J., Kwon, K. H., Vatrapu, R., Quan-Haase, A., Sloan, L. & Hodson, J. (red.). New York: Association for Computing Machinery, s. 370-374

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

Improving the Choice of Organizational Change Strategy.

Pries-Heje, J., Carstensen, P. H., Johansen, J. & Vinter, O., 2018, Systems, Software and Services Process Improvement: 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings. Larrucea, X., Santamaria, I., O'Connor, R. V. & Messnarz, R. (red.). Cham: Springer, s. 83-94 (Communications in Computer and Information Science, Bind 896).

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

Institutionalization of modern local food: local change agency as a means

Sundbo, J. & Olesen, B. N., 2018, Exploring Future Foodscapes Proceedings: 10th International Conference on Culinary Arts and Sciences. Mikkelsen, B. E., Ofei, K. T., Tvedebrink, T. D. O., Romani, A. Q. & Sudzina, F. (red.). Aalborg: Aalborg Universitet

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

L'expérience esthétique entre émotions et art

Sejten, A. E., 2018, Le Beau: Actes du XXXVIe Congrès de l'Association des Sociétés de Philosophie de Langue Française (A.S.P.L.F). Bejan, P. & Schulthess, D. (red.). Rumænien: Editura Universităţii „Alexandru Ioan Cuza”, s. 133-142 10 s.

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

Money is Power

Jespersen, J., 2018, Rethinking Finance. Lindman, L. A., Crawford, A. & Storlie, M. (red.). Oslo: Rethinking Economics, s. 24-34 11 s.

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

Åben adgang

Narrating the Unnarratable: The Role of Literary Memory in Moroccan Testimonial Writing. Ḥadīth al-‘atmah by Fāṭnah al-Bīh

Christensen, T. D., 2018, New Geographies: Texts and Contexts in Modern Arabic Literature. Allen, R., Fernández Parrilla, G., Rodríguez Sierra, F. & Rooke, T. (red.). Universidad Autónoma de Madrid, s. 237-250 13 s. (Colección Estudios).

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

Opportunity analysis for implementing a Centralized Biogas Plant in Thailand within the Dairy sector utilizing cow manure and local biomass residues as feedstock for Biogas Production

Lybæk, R. & Kjær, T., 3 maj 2018, REGATEC 2018 Conference Proceedings. 5th International Conference on Renewable Energy Gas Technology: Bringing science, technology and industry together. Held, J. (red.). Toulouse Frankrig: Renewable Energy Technology International AB, s. 97-98 2 s.

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

Second-Order False Beliefs and Recursive Complements in Children with ASD

Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

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

Åben adgang
Fil

The dream is collapsing: The experience of exiting VR

Knibbe, J. M., Schjerlund, J., Petræus, M. S. & Hornbæk, K., 2018, CHI 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery

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

The Indian Summer of al-Andalus Mathematics? An Expanded Addendum

Høyrup, J., 2018, Actes du XIIe Coloque Maghrébin sur l'Histoire des Mathématiques Arabes: Marrakech, 26 au 28 mai 2016. Laabid, E. (red.). Marrakech: École Normale Supérieure, Marrakech, s. 139-152 14 s.

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

Åben adgang
Fil

The Summit of Ancient Latin Mathematical Competence: Apuleius and Augustine

Høyrup, J., dec. 2018, Actes du XIIIe Colloque Maghrébin sur l'Histoire des Mathématiques Arabes (COMHISMA13). Abdeljaouad, M. & Hedfi, H. (red.). Tunis: COMHISHA, s. 157-170 14 s.

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

Åben adgang
Fil

The transition from selling capital goods to providing solutions in manufacturing: Changing corporate strategies and business models

Møller, J. K., 10 maj 2018, Proceedings of the Spring Servitization Conference: Driving Competitiveness through Servitization 14-16 May 2018 Copenhagen, Denmark. Bigdeli, A., Frandsen, T., Raja, J. & Baines, T. (red.). Aston University, s. 198-206 9 s.

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

Åben adgang
Fil

The very multi-faceted nature of mathematics education research

Niss, M. A., jul. 2018, Proceedings of the 42nd Conference of the International Group for the Psychology of Mathematics Education (Vol. 1): Volume 1: Plenary Lectures, Plenary Panel, Research Forums, Working Groups, Seminars, Colloqua, National Presentations. Bergqvist, E., Österholm, M., Granberg, C. & Sumpter, L. (red.). Umeå: Umeå University, PME, Bind 1. s. 35-50 16 s. (Proceedings of the International Groups for the Psychology of Mathematics Education; Nr. 1, Bind 2018).

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

Virtual Entrepreneurship and e-Residency Adoption

Uljala, L. & Scupola, A., 2018, Network, Smart and Open: Three Keywords for Information Systems innovation. Lamboglia, R., Cardoni, A., Dameri, P. & Mancini, D. (red.). Cham: Springer, s. 71-84 (Lecture Notes in Information Systems and Organisation ; Nr. 24).

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

2017

A hybrid intermediate language between SSA and CPS

Torrens, P., Vasconcellos, C. & Gonçalves, J., 2017, SBLP 2017 Proceedings of the 21st Brazilian Symposium on Programming Languages. New York: Association for Computing Machinery, 1

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

Aspects you should consider in your action plan when implementing an improvement strategy

Carstensen, P. & Vinter, O., 4 okt. 2017, Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. Cham: Springer, s. 467-480 14 s. (Communications in Computer and Information Science).

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

Assessing the Circular Economic benefits and challenges of Biogas production when utilizing Sand bedding in dairy cow stables

Lybæk, R. & Kjær, T., 1 okt. 2017, Proceedings of the 18th European Roundtable on sustainable Consumption and Production: Towards a Greener Challenge & Evolution in the Framework of the Circular Economy. Aravossis, K. (red.). 18th erscp Greece 2017 udg. Thessaloniki, Greece: Grafima Publications, Bind 18. s. 514-523 8 s.

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

Choosing a Design Science Research Methodology

Venable, J. R., Pries-Heje, J. & Baskerville, R., 2017, ACIS2017 Conference Proceeding. Hobart: University of Tasmania

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

Åben adgang
Fil

Conditional probability as a decision-making tool: A didactic sequence

Elicer, R. & Carrasco, E., 2017, Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10, February 1 – 5, 2017). Dooley, T. & Gueudet, G. (red.). European Society for Research in Mathematics Education / ERME, s. 748-755 8 s.

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

Åben adgang
Fil