Institut for Mennesker og Teknologi

Publikationer 1965 2020

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

Principles for Unbounded Secondary design

Hansen, M. R. P. & Pries-Heje, J., 2018, I : Proceedings of the European Conference on Information Systems. 15 s., 133.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

Trans-European transport network and cross-border governance

Guasco, C. N., 20 okt. 2014, I : Selected Proceedings from the Annual Transport Conference at Aalborg University. 2014, 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil
2013
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

From 'troublemakers' to problem solvers: Designing with youths in a disadvantaged neighbourhood

Frandsen, M. S. & Pfeiffer Petersen, L., 2012, I : P D C. 2, s. 105-108

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

Русский как один из языков двуязычного ребенка: методологические и методические аспекты

Popova, M. & Kudrjavceva-Hentschel, E., 2012, I : Филология и культура. 2 (28), s. 99-102 3 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

Investigating the effect of surface water - groundwater interactions on stream temperature using Distributed temperature sensing and instream temperature model

Karthikeyan, M., Blemmer, M., Mortensen, J. F., Rosbjerg, D. & Boegh, E., 2011, I : I A H S Proceedings and Reports. 345, s. 23-30 7 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Motility - Finding a Way to Mobility Attitude and Behavior

Kjærulff, A. A., 23 aug. 2011, I : Selected Proceedings from the Annual Transport Conference at Aalborg University. 9 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil
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

Economic competitiveness or new social learning: The neglected dimensions of lifelong learning

Olesen, H. S., 2010, I : Edu World. 3, s. 621-631 11 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

Bæredygtig mobilitet og byrum

Freudendal-Pedersen, M., 2009, I : Selected Proceedings from the Annual Transport Conference at Aalborg University. 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskning

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

Ecohydrology of surface and groundwater dependant systems: Concepts, methods and recent developments.

Thoms, M., Heal, K., Boegh, E., Chambel, A. & Smakthin, V., 2009, I : IAHS-AISH publication. 329

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