Department of People and Technology

Research Output

Filter
Article in proceedings

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 Oct 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. (ed.). 18th erscp Greece 2017 ed. Thessaloniki, Greece: Grafima Publications, Vol. 18. p. 514-523 8 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

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

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

Open Access
File

Balancing Machine Work, Comfort Work, and Sentimental Work: A field study of patient care in the ambulance

Pedersen, M. I., Hansen, M. & Hertzum, M., 2011, SHI2011 Proceedings: 9th Scandinavian Conference on Health Informatics . Fensli, R. W. & Dale, J. G. (eds.). Oslo, NO: TAPIR Akademisk Forlag, p. 36-40 5 p.

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

Open Access
File

Barn och familj i framtidsperspektiv

Dencik, L., 2001, Nordisk Familjeforskningskonferens.

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

Barriers and possibilities for the emerging alternative lighting technologies

Bjarklev, A., Andersen, J. & Kjær, T., 2009, Proceeding - Joint Actions on Climate Change [Online]. Vol. Roskilde. 12 p.

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

Benchmarking and Sustainable Transport Policy: Some lessons from the BEST network

Gudmundsson, H., Wyatt, A. & Gordon, L., 2004, 10th World Conference on Transport Research (WCTR), Istanbul, Turkey, 4 - 8 July 2004. Ülengin, F. (ed.). Istanbul Technical University

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

Bilen - en hverdagsteknologi fyldt med modsætninger

Drewes, L., 2009, Bilen og byen: byplanhistorisk seminar fredag den 14. november 2008. Illeris, S. & Clemmensen, J. (eds.). Dansk Byplanlaboratorium, p. 21-27 (Byplanhistorisk Note; No. 63).

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

Bilen og den spredte by

Illeris, S., 2009, Bilen og byen: byplanhistorisk seminar fredag den 14. november 2008. Illeris, S., Clemmensen, J., Illeris, S. & Clemmensen, J. (eds.). Dansk Byplanlaboratorium, p. 9-18 10 p. (Byplanhistorisk Note; No. 63).

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

Biofuel potential assessment (based on Renewable Energy, 2nd. Ed.)

Sørensen, B., 2000, Energy and food from biomass, Workshop Proc.. Azar, C. & deVries, B. (eds.). Chalmers tekniska högskola

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

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

Biogas technology optimization opportunities: Lessons learned from Denmark

Lybæk, R., 2012, APPEEC Shanghai Proceedings. IEEE, Vol. IEEE Catalog nr.: CFP12PEE-CDR. 4 p.

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

Biomass for energy: how much is there?

Sørensen, B., 2002, Biobrændsel til transport: Høring for Folketinget, Christiansborg. Teknologirådet, p. 150-162

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

Open Access
File

Biomass for energy: how much is sustainable?

Sørensen, B., 2002, 12. European Biomass Conf., Amsterdam. Vol. II. p. 1394-1397

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

Open Access
File

Biosequence Analysis in PRISM

Lassen, O. T., 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, Vol. 5366. p. 809-810 (Lecture Notes in Computer Science, Vol. 5366).

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

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. (eds.). Switzerland: Springer, p. 163-178 (Communications in Computer and Information Science; No. 1060, Vol. 1).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

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

Bush fires impacts and implications in West African savanna ecosystems

Mbow, C., Rasmussen, K., Nielsen, T. T., Sambou, BI. & Wardell, A., 2007, Natural Resource Management in Sahel – Lessons Learnt: Proceedings of the 17th Danish Sahel Workshop, 6-7 November 2006. Møllegaard, M. (ed.). København: SEREIN, Sahel-Sudan Environmental Research Initiative, Vol. 18. p. 24-36 (Occasional paper : SEREIN, Sahel-Sudan Environmental Research Initiative; No. 18).

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

Byrum og byudvikling: og det sociale

Pløger, J., 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. 101-114

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

Børns symbolske kreativitet: aflæst af deres kropslige bevægelser i hverdagen

Rasmussen, K. & Mikkelsen, M., 2008, Det æstetiskes betydning i medier, kunst og kultur for børn. BIN Norden (Børnekulturforskere i Norden), p. 1-20 20 p.

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

Can the rural landscape survive?

Brandt, J., 2005, Living in the rural Europe: Proceedings from the IX. International Conference on Culture and Environment. November 25th to 27th, 2004. Banská Stiavnica, Slovak Republic. Spinerová, A. (ed.). UNESCO Chair for Ecological Awareness and Sustainable Development, p. 16-22 7 p.

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

File

Can We Afford to make way for the Developing Countries?

Hansen, A. C., 2004, The Global Conscience Conference: Sustainable Development is Possible and Necessary. Articles about Environment, Economy. Meyer, N. I., Agger, P., Jørgensen, M. S. & Ege, C. (eds.). Det økologiske råd, p. 9-14

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

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

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 May 2018, Papers of the 26th European Biomass Conference: Setting the cource for a biobased economy. Persson, M., Scarlat, N., Grassi, A. & Helm, P. (eds.). Florenz: ETA-Florence Renewable Energies, p. 1493-1494 2 p.

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

Changes in the pattern of Interstitial habitats in Denmark

Agger, P. W., Brandt, J., Byrnak, E., Jensen, S. M. & Ursin, M., 1982, Proceedings of the international congress on Perspectives in Landscape Ecology. Tjallingii & de Veer (eds.). Wageningen, p. 136-137 2 p.

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

File

Changes of the rural landscape on the Faroe Islands in the Middle Ages

Brandt, J. & Guttesen, R., 1980, Permanen European Conference for the study of the rural landscape. Hansen, V. (ed.). Copenhagen, p. 17-22 5 p.

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

File

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

Choosing a Design Science Research Methodology

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

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

Open Access
File

Climate change and development responses on agriculture in Quang Nam Province Vietnam

Schroll, H., Andersen, J., Lund, S. & Vu Ngoc, Q., 2011, Workshop program Quang Binh Province 8-12 August 2011: Assessing the outcomes of the research activities achieved under P1-08VIE project. 27 p.

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

Clinical Overview and Emergency-Department Whiteboards: A Survey of Expectations toward Electronic Whiteboards

Hertzum, M. & Simonsen, J., 2010, SHI2010: Proceedings of the 8th Scandinavian Conference on Health Informatics. Bygholm, A., Elberg, P. & Hejlesen, O. (eds.). Trondheim, NO: TAPIR Akademisk Forlag, p. 14-18 5 p.

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

File

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

Comparative assessment of energy systems

Sørensen, B., 1981, Beyond the energy crisis : opportunity and challenge: Third International Conference on Energy Use Management Berlin (West), October 26-30, 1981. Fazzolare, R. A. & Smith, C. B. (eds.). Pergamon Press, p. 2209-2216 7 p.

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

Comparative risk assessment of total energy systems

Sørensen, B., 1982, Health impacts of different sources of energy: Proceedings of a Symposium Held at Nashville, June 22-26 1981 Jointly Organized by WHO, UNEP and IAEA. International Atomic Energy Agency, p. 455-471 17 p.

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

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

Comparison between hydrogen fuel cell vehicles and bio-diesel vehicles

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

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

Open Access
File

Comparison of Environmental Impact Assessment in the developing countries Vietnam, Cambodia and Lao PDR.

Schroll, H., Van Cong, N., Sethy, S. & Souksavath, B., 2007, Proceedings of regional conference on environmental planning and management issues in South East Asian countries. Thanh Lam, N. (ed.). Hanoi University of Agriculture, p. 234 247 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

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

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

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