2 Search Results for "Bauer, Jens"


Document
Evaluation of Mobile Phones for Large Display Interaction

Authors: Jens Bauer, Sebastian Thelen, and Achim Ebert

Published in: OASIcs, Volume 27, Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011


Abstract
Large displays have become more and more common in the last few years. While interaction with these displays can be conducted using standard methods such as computer mouse and keyboard, this approach causes issues in multi-user environments, where the various conditions for providing multiple keyboards and mice, together with the facilities to employ them, cannot be met. To solve this problem, interaction using mobile phones was proposed by several authors. Previous solutions were specialized interaction metaphors only for certain applications. To gain more insight into general interaction patterns realizable with smart phones, we created a set of general test cases using a well-known taxonomy for interactions. These test cases were then evaluated in a user study, comparing smart phone usage against the traditional keyboard/mouse-combination. Results (time and user satisfaction) show strengths and weaknesses when using the new interaction with the smart phone. With further evaluations we draw conclusions on how to improve large display interaction using smart phones in general.

Cite as

Jens Bauer, Sebastian Thelen, and Achim Ebert. Evaluation of Mobile Phones for Large Display Interaction. In Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011. Open Access Series in Informatics (OASIcs), Volume 27, pp. 103-112, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{bauer_et_al:OASIcs.VLUDS.2011.103,
  author =	{Bauer, Jens and Thelen, Sebastian and Ebert, Achim},
  title =	{{Evaluation of Mobile Phones for Large Display Interaction}},
  booktitle =	{Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011},
  pages =	{103--112},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-46-0},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{27},
  editor =	{Garth, Christoph and Middel, Ariane and Hagen, Hans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.VLUDS.2011.103},
  URN =		{urn:nbn:de:0030-drops-37442},
  doi =		{10.4230/OASIcs.VLUDS.2011.103},
  annote =	{Keywords: User Study, Large Display Interaction}
}
Document
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions

Authors: Andrej Bauer and Jens Blanck

Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)


Abstract
We prove general theorems about unique existence of effective subalgebras of classical algebras. The theorems are consequences of standard facts about completions of metric spaces within the framework of constructive mathematics, suitably interpreted in realizability models. We work with general realizability models rather than with a particular model of computation. Consequently, all the results are applicable in various established schools of computability, such as type 1 and type 2 effectivity, domain representations, equilogical spaces, and others.

Cite as

Andrej Bauer and Jens Blanck. Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 37-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{bauer_et_al:OASIcs.CCA.2009.2257,
  author =	{Bauer, Andrej and Blanck, Jens},
  title =	{{Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  pages =	{37--48},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2257},
  URN =		{urn:nbn:de:0030-drops-22579},
  doi =		{10.4230/OASIcs.CCA.2009.2257},
  annote =	{Keywords: Effective algebras, realizability, constructive metric spaces}
}
  • Refine by Author
  • 1 Bauer, Andrej
  • 1 Bauer, Jens
  • 1 Blanck, Jens
  • 1 Ebert, Achim
  • 1 Thelen, Sebastian

  • Refine by Classification

  • Refine by Keyword
  • 1 Effective algebras
  • 1 Large Display Interaction
  • 1 User Study
  • 1 constructive metric spaces
  • 1 realizability

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2009
  • 1 2012

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail