Institut for Mennesker og Teknologi

Publikationer 1977 2019

Filter
Konferenceartikel
2018

20 years of Health Promotion Research in the Nordic countries: Health, well-being and physical activity

Kokko, S., Liveng, A. & Torp, S., 2018, I : Scandinavian Journal of Public Health. Supplement. 46, Suppl. 20 , s. 3-6 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikelFormidling

Åben adgang

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., jul. 2018, I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil
2017

Assessing and Managing Multiple Risks in a Changing World–the Roskilde Recommendations

Selck, H. , Adamsen, P. B. , Backhaus, T. , Banta, G. T. , Bruce, P. K. H. . , Burton Jr., G. A. , Butts, M. B. , Bøgh, E. , Clague, J. J. , Dinh, K. V. , Doorn, N. , Gunnarsson, J. S. , Hauggaard-Nielsen, H. , Hazlerigg, C. , Hunka, A. D. , Jensen, J. , Lin, Y. , Loureiro, S. , Miraglia, S. , Munns Jr., W. R. & 10 flere Nadim, F., Palmqvist, A., Rämö, R. A., Seaby, L. P., Syberg, K., Tangaa, S. R., Jensen, A. T., Windfeld, R., Zalewski, M. & Chapman, P. M., jan. 2017, I : Environmental Toxicology and Chemistry. 36, 1, s. 7-16 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Deployment of a bio-economic 'hub' in rural Thailand by means of a Centralized biogas plant

Lybæk, R., 20 jun. 2017, I : Journal of Fundamentals of Renewable Energy and Applications. 7, 4 (suppl.), s. 36

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
2016

How to Speed up the Deployment of Agricultural Based Biogas Technology: Case Study of Denmark and Japan

Lybæk, R., Asai, M. & Hayashi, T., 5 nov. 2016, I : Proceedings to the GMSARN International Journal. Proocedings to the 11th GMSARN conference 2016, s. 1 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskning

Interpolant tree automata and their application in Horn clause verification

Kafle, B. & Gallagher, J. P., 2016, I : Electronic Proceedings in Theoretical Computer Science. 216, s. 104-117

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Solving non-linear Horn clauses using a linear Horn clause solver

Kafle, B., Gallagher, J. P. & Ganty, P., 2016, I : Electronic Proceedings in Theoretical Computer Science. 219, s. 33-48

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil
2014

A Case for Embedded Natural Logic for Ontological Knowledge Bases

Andreasen, T. & Nilsson, J. F., 2014, I : Proceedings of the 6th International Conference on Knowledge Engineering and Ontology Development. 71

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Adoption Patterns for the Digital Post System by Danish Municipalities and Citizens

Berger, J. B. & Hertzum, M., 2014, I : Proceedings of the European Conference on Information Systems. 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Agile Contracts: Designing an Agile Team Selection Guideline

Pries-Heje, J. & Pries-Heje, L., 2014, I : Proceedings / Information Systems Research In Scandinavia (IRIS). 5

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Ethical dilemmas and PD as important steps towards critical e-government design

Berger, J. B., 2014, I : P D C. 2, s. 13-16 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

The Development in Leading e-Government Articles 2001-2010: Definitions, Perspectives, Scope, Research Philosophies, Methods and Recommendations: An Update of Heeks and Bailur

Madsen, C. Ø., Berger, J. B. & Phythian, MI., 2014, I : Lecture Notes in Computer Science. 8653, s. 17-34 19 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil
2013

What does it take for an industrial employee to translate managerial ideas?

Hagedorn-Rasmussen, P., 2013, I : NFF Conference proceedings. 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
2012

A framework for understanding outcomes of mutual learning situations in IT projects

Hansen, M. R. P., 2012, I : P D C. 2, s. 97-100

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

Gallagher, J. P., 2012, I : Lecture Notes in Computer Science. 7225, s. 1-3 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H., 23 jan. 2012, I : Lecture Notes in Computer Science. 7149, s. 93-107 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Efficient tabling of structured data with enhanced hash-consing

Zhou, N-F. & Have, C. T., 1 jul. 2012, I : Theory and Practice of Logic Programming. 12, 4-5, s. 547-563 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Real-use evaluation of effects: Emergency departments aiming for 'Warm Hands'

Simonsen, J. & Hertzum, M., 2012, I : P D C. 2, s. 69-72 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

User participation in implementation

Fleron, B., Rasmussen, R., Simonsen, J. & Hertzum, M., 2012, I : P D C. 2, s. 61-64 4 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2011

A Risk Management Framework for Design Science Research

Pries-Heje, J., Venable, J. & Baskerville, R., 2011, I : Proceedings of the Annual Hawaii International Conference on System Sciences. HICSS-44 2011, s. 1-10

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

A Semantics-Based Approach to Retrieving Biomedical Information

Andreasen, T., Bulskov, H., Lassen, T., Zambach, S., Jensen, P. A., Thomsen, H. E., Madsen, B. N. & Nilsson, J. F., 2011, I : Lecture Notes in Computer Science. 7022, s. 108-118

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Extracting Conceptual Feature Structures from Text

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 jun. 2011, I : Lecture Notes in Computer Science. 6804, s. 396-406 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Information Classification on University Websites: A Two-Country Card Sort Study

Nawaz, A., Clemmensen, T. & Hertzum, M., 2011, I : Proceedings / Information Systems Research In Scandinavia (IRIS). 2, s. 109-122 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Information Classification on University Websites: A Cross-Country Card Sort Study

Nawaz, A., Clemmensen, T. & Hertzum, M., 2011, I : TUCS Lecture Notes. 34, 15, s. 528-542 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2010

Balancing Tradition and Transcendence in the Implementation of Emergency-Department Electronic Whiteboads

Rasmussen, R., Fleron, B., Hertzum, M. & Simonsen, J., 2010, I : Proceedings / Information Systems Research In Scandinavia (IRIS). 33, s. 73-87 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Everyday Family Life: Investigating the Individual/Social in a Radicalized Modernity

Westerling, A., 5 nov. 2010, I : Linköping Electronic Conference Proceedings. 038, s. 137-149 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskning

Guides' Intercultural Strategies in an Interaction Perspective

Meged, J. W., 2010, I : GRI-rapport. 1, s. 70-90 20 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Implementation of Electronic Whiteboards at Two Emergency Departments

Rasmussen, R., Fleron, B. F. R., Hertzum, M. & Simonsen, J., 2010, I : Proceedings / Information Systems Research In Scandinavia (IRIS). 33, 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Improving Team Performance

Pries-Heje, J. & Commisso, T. H., 2010, I : Proceedings / Information Systems Research In Scandinavia (IRIS). 12 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Relationship Management at the Operationel Level in Outsourcing

Madsen, S. & Bødker, K., 2010, I : Lecture Notes in Business Information Processing. LNBIP 60, s. 1-17

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Terminating Tableaux for Dynamic Epistemic Logics

Hansen, J. U., 2010, I : Electronical Notes in Theoretical Computer Science. s. 141-156 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V., 2009, I : Lecture Notes in Computer Science. s. 170-181

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H., 2009, I : Lecture Notes in Computer Science. 5517, s. 488-503

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

A Formal Framework on the Semantics of Regulatory Relations and Their Presence as Verbs in Biomedical Texts

Zambach, S., 2009, I : Lecture Notes in Computer Science. s. 443-452 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P., 2009, I : Lecture Notes in Computer Science. s. 55-70 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Conceptual Indexing of Text Using Ontologies and Lexical Resources

Andreasen, T., Bulskov, H., Jensen, P. A. & Lassen, T., 2009, I : Lecture Notes in Computer Science. 5822, s. 323-332

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Conceptual querying through ontologies

Andreasen, T. & Bulskov, H., 2009, I : Fuzzy Sets and Systems. 15, s. 2159-2172

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Enterprise Architecture in Government: Fad or Future?

Pries-Heje, J. & Hjort-Madsen, K., 2009, I : Proceedings of the Annual Hawaii International Conference on System Sciences. 42, 10 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, I : Lecture Notes in Computer Science. s. 152-167 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Logic-Statistic Models with Constraints for Biological Sequence Analysis

Have, C. T., 2009, I : Lecture Notes in Computer Science. s. 549-550 2 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P., 2009, I : Lecture Notes in Computer Science. 5649, s. 55-69 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Christiansen, H. & Lassen, O. T., 2009, I : Lecture Notes in Computer Science. s. 70-83 14 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Terminating tableaux for dynamic epistemic logics

Hansen, J. U., 2009, I : Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter. 128, s. 88-102 15 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review