• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 27 matches

• 2024
• 
  Patrick Oden, Maurice Lamb, Peter Thorvald, Erik Billing:
  Too Much Guidance? A Brief Review of How Cognitive Support Affects Learning Motor Skills and Implications for VR/XR Technologies. XR (2) 2024: 305-315
• 
  David Jakobsen, Steinar Thorvaldsen, Peter Øhrstrøm:
  Exploring Learning in Basic Logic Using Stored Log Data and Exam Data. ICITL (1) 2024: 109-119
• 2023
• 
  Oscar M. Danielsson, Anna Syberfeldt, Magnus Holm, Peter Thorvald:
  Integration of augmented reality smart glasses as assembly support: a framework implementation in a quick evaluation tool. Int. J. Manuf. Res. 18(2): 144-164 (2023)
• 
  Peter Øhrstrøm, Steinar Thorvaldsen, David Jakobsen:
  Learning Analytics Based on Streamed Log Data from a Course in Logic. ICITL 2023: 430-440
• 2022
• 
  Dan Li, Åsa Fast-Berglund, Dan Paulin, Peter Thorvald:
  Exploration of digitalized presentation of information for Operator 4.0: Five industrial cases. Comput. Ind. Eng. 168: 108048 (2022)
• 
  Peter Thorvald, Ari Kolbeinsson, Emmie Fogelberg:
  A Review on Communicative Mechanisms of External HMIs in Human-Technology Interaction. ETFA 2022: 1-6
• 2021
• 
  Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen:
  The Use of E-learning Tools in a Basic Logic Course During the COVID-19 Lockdown. ICITL 2021: 121-130
• 2020
• 
  Sandra Mattsson, Åsa Fast-Berglund, Dan Li, Peter Thorvald:
  Forming a cognitive automation strategy for Operator 4.0 in complex assembly. Comput. Ind. Eng. 139: 105360 (2020)
• 
  Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug, David Jakobsen:
  The Use of E-learning Tools and Log Data in a Course on Basic Logic. ICITL 2020: 610-620
• 
  Malin Tarrar, Peter Thorvald, Åsa Fast-Berglund, David Romero:
  Challenges for the Operator 3.0 Addressed Through the Enabling Technologies of the Operator 4.0. APMS (2) 2020: 37-45
• 2019
• 
  Peter Thorvald, Jessica Lindblom, Rebecca Andreasson:
  On the development of a method for cognitive load assessment in manufacturing. Robotics Comput. Integr. Manuf. 59: 252-266 (2019)
• 
  Peter Thorvald, Jessica Lindblom, Ari Kolbeinsson:
  Embodied Interactions in Cognitive Manufacturing. AHFE (2) 2019: 419-426
• 
  Peter Øhrstrøm, Steinar Thorvaldsen, Ulrik Sandborg-Petersen, Thomas Ploug:
  Teaching Propositional and Syllogistic Logic Using E-learning Tools. ICITL 2019: 854-864
• 2018
• 
  Åsa Fast-Berglund, Peter Thorvald, Erik Billing, Adam Palmquist, David Romero, Georg Weichhart:
  Conceptualizing Embodied Automation to Increase Transfer of Tacit knowledge in the Learning Factory. IEEE Conf. on Intelligent Systems 2018: 358-364
• 
  Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann:
  Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR 2018: 21-36
• 2017
• 
  Rebecca Andreasson, Jessica Lindblom, Peter Thorvald:
  Interruptions in the wild: portraying the handling of interruptions in manufacturing from a distributed cognition lens. Cogn. Technol. Work. 19(1): 85-108 (2017)
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Teaching Basic Ideas in Logic Using E-learning Tools. EAI Endorsed Trans. e Learn. 4(13): e3 (2017)
• 2016
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Teaching Syllogistics Using E-learning Tools. eLEOT 2016: 103-110
• 2015
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Teaching Syllogistics Through Gamification and Interactive Proofs. EC-TEL 2015: 609-612
• 2014
• 
  Peter Thorvald, Dan Högberg, Keith Case:
  The effect of information mobility on production quality. Int. J. Comput. Integr. Manuf. 27(2): 120-128 (2014)
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Teaching Syllogistics Using Conceptual Graphs. ICCS 2014: 217-230
• 2013
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments. EC-TEL 2013: 410-423
• 
  Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug:
  Classical Syllogisms in Logic Teaching. ICCS 2013: 31-43
• 2009
• 
  Peter Csaba Ölveczky, Stian Thorvaldsen:
  Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. Theor. Comput. Sci. 410(2-3): 254-280 (2009)
• 
  Peter Thorvald, Dan Högberg, Keith Case:
  Incorporating Cognitive Aspects in Digital Human Modeling. HCI (11) 2009: 323-332
• 2007
• 
  Peter Csaba Ölveczky, Stian Thorvaldsen:
  Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. FMOODS 2007: 122-140
• 2006
• 
  Peter Csaba Ölveczky, Stian Thorvaldsen:
  Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. IPDPS 2006