Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Hardware

Event Calculus Reasoning Through Satisfiability

Journal of Logic and Computation

Theoretical Computer Science

English

Improving Workload Balance and Code Optimization on Processor-In-Memory Systems

Journal of Systems and Software

Information Systems

English

Pervasive and Standalone Computing: The Perceptual Effects of Variable Multimedia Quality

International Journal of Human Computer Studies

Human-Computer Interaction

English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Error-Information in Tutorial Documentation: Supporting Users' Errors to Facilitate Initial Skill Learning

International Journal of Human Computer Studies

Human-Computer Interaction

English

Toward a Decision-Theoretic Framework for Affect Recognition and User Assistance

International Journal of Human Computer Studies

Human-Computer Interaction

English

Sum and Product in Dynamic Epistemic Logic

Journal of Logic and Computation

Theoretical Computer Science

English

Virtual Team Interaction Styles: Assessment and Effects

International Journal of Human Computer Studies

Human-Computer Interaction

English

Narratives in the Situation Calculus

Journal of Logic and Computation

Theoretical Computer Science

English

The Relationship Between Errors and Size in Knowledge-Based Systems

International Journal of Human Computer Studies

Human-Computer Interaction

English