286 Infos zu Andrea Kohlhase

18 Aktuelle Nachrichten

Navigation in Mathematical Documents Andrea Kohlhase Abstract: Mathematical documents are not only hard but fun to write, they are equally hard but fun to read.

The Mathematical User Interfaces (MathUI) workshop at the Conference on Intelligent Computer Mathematics CICM, Washington Andrea Kohlhase, ...

Home page for the INTERACT Conference, Cape Town, South Africa, 2-6 September 2013

von A Kohlhase — [KKG15] Andrea Kohlhase, Michael Kohlhase, and Ana Guseva. “Context in Spread ... Andrea Kohlhase. “Human-Spreadsheet Interaction”. In: Human-Computer. von A Kohlhase — [KKG15] Andrea Kohlhase, Michael Kohlhase, and Ana Guseva. “Context in Spread ... Andrea Kohlhase. “Human-Spreadsheet Interaction”. In: Human-Computer.

18 Profile in Sozialen Netzwerken

StayFriends - Schulfreunde wiederfinden

StayFriends - Schulfreunde wiederfinden

Medienproduktion, Köln und Umgebung, Deutschland

4 Hobbys & Interessen

Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about...

Andrea Kohlhase & Michael Kohlhase - unknown. Reexamining the MKM value proposition: From math web search to math web research.Michael Kohlhase & Andrea ... Andrea Kohlhase & Michael Kohlhase - unknown. Reexamining the MKM value proposition: From math web search to math web research.Michael Kohlhase & Andrea ...

One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task...

Andrea Kohlhase & Michael Kohlhase, Modeling Task Experience in User Assistance Systems.

2 Business-Profile

Andrea KOHLHASE, Human-Computer Interaction and Web-Development | Cited by 326 | of Hochschule Neu-Ulm, Neu-Ulm | Read 75 publications | Contact Andrea KOHLHASE.

Andrea KOHLHASE, Human-Computer Interaction and Web-Development | Cited by 331 | of Hochschule Neu-Ulm, Neu-Ulm | Read 75 publications | Contact Andrea ... Andrea KOHLHASE, Human-Computer Interaction and Web-Development | Cited by 331 | of Hochschule Neu-Ulm, Neu-Ulm | Read 75 publications | Contact Andrea ...

1 Firmen-Mitarbeiter

Auf den Internetseiten der Nordhausen Netz GmbH finden Sie wesentliche Informationen zum Netz, Energietransport und unseren Netzdienstleistungen.

3 Persönliche Webseiten

Andrea Kohlhase - private. Andrea's private page. The Kohlhase Family. The Kohlhase Family; · jekyll · jekyllrb. Andrea Kohlhase - private. Andrea's private page. The Kohlhase Family. The Kohlhase Family; · jekyll · jekyllrb.

Andrea Kohlhase. Hochschule Neu-Ulm. Ziele für die Fachgruppe: Einbringung des Themas User Experience als Aspekt von Wissensmanagement, denn bekanntlich ist ... Andrea Kohlhase. Hochschule Neu-Ulm. Ziele für die Fachgruppe: Einbringung des Themas User Experience als Aspekt von Wissensmanagement, denn bekanntlich ist ...

AboutAndrea Kohlhase - privateMichael Kohlhase - privateFelix Kohlhase - privateJana Kohlhase - privateLukas Kohlhase - private. About. This is the base ...

2 Infos zur Ausbildung

Webseite des Fachgebiets Wissensverarbeitung, Fachbereich 16, Universität Kassel

Dissertationen und Habilitationen (AG Krieg-Brückner) Habilitationen. Mossakowski, ... Kohlhase, Andrea (2008)* Ott, Aliki ... Richard Seifert ...

1 Projekte

... Universite Claude Bernard Lyon 1 Germany - Andrea Kohlhase (organizer), Neu-Ulm University of Applied Sciences - Michael Kohlhase, ...

42 Bücher zum Namen

Semantic interaction design : composing knowledge with CPoint / Andrea Kohlhase. Person(en), Kohlhase, Andrea (Verfasser). Zeitliche Einordnung ...

Andrea Kohlhase; Michael Kohlhase; Christoph Lange. Year of publication: Authors: Kohlhase, Andrea; Kohlhase, Michael; Lange, Christoph: Published in ...

Buy Intelligent Computer Mathematics by Andrea Kohlhase, Laura Kovács from Foyles today! Click and Collect from your local Foyles. Buy Intelligent Computer Mathematics by Andrea Kohlhase, Laura Kovács from Foyles today! Click and Collect from your local Foyles.

... , QC, Canada, August 5-9, 2024, Proceedings by Andrea Kohlhase (Editor), Laura Kovács (Editor) Andrea Kohlhase. View More. No rating value Same page link , QC, Canada, August 5-9, 2024, Proceedings by Andrea Kohlhase (Editor), Laura Kovács (Editor) Andrea Kohlhase. View More. No rating value Same page link. 74,99 $ · ‎Vorbestellung

1 Songs & Musik

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech ...

16 Dokumente

S EX+ – a System for Flexible Formalization of Linked T Data Andrea Kohlhase and Michael Kohlhase and Christoph Lange …

von A Kohlhase · · Zitiert von: 3 — Andrea Kohlhase · Michael Kohlhase · a export BibTeX citation Loading... BibTeX formatted citation. ×. loading... Data provided by: Bookmark. von A Kohlhase · · Zitiert von: 3 — Andrea Kohlhase · Michael Kohlhase · a export BibTeX citation Loading... BibTeX formatted citation. ×. loading... Data provided by: Bookmark.

von A Kohlhase · Zitiert von: 2 — Andrea Kohlhase and Michael Kohlhase. Semantic transparency in user assis- tance systems. In Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, and ...

von A Kohlhase · · Zitiert von: 11 — arXiv-issued DOI via DataCite. Submission history. From: Andrea Kohlhase [view email] [v1] Thu, 15 May :55:21 UTC (868 KB). Full-text ... von A Kohlhase · · Zitiert von: 11 — arXiv-issued DOI via DataCite. Submission history. From: Andrea Kohlhase [view email] [v1] Thu, 15 May :55:21 UTC (868 KB). Full-text ...

35 Wissenschaftliche Publikationen

Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, and Alexandru Toader; Human-spreadsheet interaction. In Paula Kotzé, Gary Marsden, Gitte Lindgaard ... Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, and Alexandru Toader; Human-spreadsheet interaction. In Paula Kotzé, Gary Marsden, Gitte Lindgaard ...

List of computer science publications by Andrea Kohlhase

Andrea Kohlhase: Eye Tracking for Math. Andrea Kohlhase: Eye Tracking for Math. External Video-URL. https://www.youtube.com/watch?v=qXjIgdwHgs8. Preview-Image. Andrea Kohlhase: Eye Tracking for Math. Andrea Kohlhase: Eye Tracking for Math. External Video-URL. https://www.youtube.com/watch?v=qXjIgdwHgs8. Preview-Image.

Bibliographic content of CICM Workshops 2014

15 Allgemeine Veröffentlichungen

Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about...

Search Interfaces for Mathematicians. by: Andrea Kohlhase. Publication date: Usage: http://arxiv.org/licenses/nonexclusive-distrib Topics ...

LANGE, Christoph, David ASPINALL, Jacques CARETTE, James DAVENPORT, Andrea KOHLHASE, Michael KOHLHASE, Paul LIBBRECHT, Pedro ...

CPoint: Dissolving the Author's Dilemma. Authors; Authors and affiliations. Andrea Kohlhase; Michael Kohlhase. Andrea Kohlhase. 1. Michael Kohlhase

3 Video- & Audioinhalte

Andrea Kohlhase: "Eye Tracking for Math". 73 views · 3 weeks ago ...more. Hausdorff Center for Mathematics K.

Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant · Hausdorff Center for Mathematics · Andrea Kohlhase: "Eye Tracking for ...

Andrea Kohlhase: "Eye Tracking for Math". Hausdorff Center for Mathematics · 57:19 · Reed Mullanix: Cubical Type Theory for the Low-Dimensional Mathematician. Andrea Kohlhase: "Eye Tracking for Math". Hausdorff Center for Mathematics · 57:19 · Reed Mullanix: Cubical Type Theory for the Low-Dimensional Mathematician.

1 Meinungen & Artikel

Carlos J. Costa, ISCTE-IUL, Portugal (Program Chair); Andrea Kohlhase, Jacobs University Bremen, Germany; Andreas Karatsolis, Carnegie Mellon University, ...

123 Webfunde aus dem Netz

Professorin der Fakultät Informationsmanagement. Nachricht an Professorin Dr. Andrea Kohlhase Hauptgebäude A, A Fakultät: Informationsmanagement. Adresse: Hochschule Neu-Ulm.

KAT: an annotation tool for STEM documents. D Ginev, S Lal, M Kohlhase, T Wiesing. Mathematical user interfaces workshop at CICM. Andrea Kohlhase and Paul …, ... KAT: an annotation tool for STEM documents. D Ginev, S Lal, M Kohlhase, T Wiesing. Mathematical user interfaces workshop at CICM. Andrea Kohlhase and Paul …, ...

D Ginev, S Lal, M Kohlhase, T Wiesing. Mathematical user interfaces workshop at CICM. Andrea Kohlhase and Paul …A framework for semantic ... D Ginev, S Lal, M Kohlhase, T Wiesing. Mathematical user interfaces workshop at CICM. Andrea Kohlhase and Paul …A framework for semantic ...

1 By Andrea Kohlhase, The Course Capsules Project (CCaps),CMU Look at our website CCaps for latest news!CCaps C Point Documentation Version (07/??/2003)

... Mathematical Society) Johan Jeuring (University of Utrecht) Fairouz Kamareddine (Heriot-Watt University) Manfred Kerber (University of Birmingham) Andrea Kohlhase (DFKI

Theory test2 My test2 axiom My test2 assertion My test2 conclusion

Andrea Kohlhase is part of a global learning community for UX designers. Connect with Andrea and learn UX design from experts in the Interaction Design...

1 C PointGraphs Documentation Version 0.1 ( ) By Andrea Kohlhase, The Course Capsules Project (CCaps),CMU Look at our website CCaps for latest ...

iⁿ spreadsheet best practice. Article tag: Andrea Kohlhase.

C Point Version July By Andrea Kohlhase, The Course Capsules Project (CCaps),CMU Look at our website CCaps for latest news!CCaps C ategorize.

1. By Andrea Kohlhase, The Course Capsules Project (CCaps),CMU ... Chopper: Chop text into smaller pieces (almost without changing its appearance) .

Andrea Kohlhase: free download. Ebooks library. On-line books store on Z-Library | Z-Library. Download books for free. Find books

Andrea Kohlhase : Selected Publications. Please respect any copyrights when downloading. Archival Literature. Articles in Journals; Articles in Collections ... Andrea Kohlhase : Selected Publications. Please respect any copyrights when downloading. Archival Literature. Articles in Journals; Articles in Collections ...

Search Interfaces for Mathematicians Andrea Kohlhase Jacobs University, Germany FIZ Karlsruhe, Germany MathSearch Project FormulaSearch ...

collection ... by another one by the new PPT Emplacement Change button in the  ...

Results for 'Andrea Kohlhase' · 311 · Reading Descartes. · 82 · Cesalpino, Andrea. · · The ethics of algorithms: key problems and solutions. · 327 · A Logic to ...

Andrea Kohlhase, Michael Kohlhase · A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. CICM Workshops (2021). Andrea Kohlhase. MathUI ...

The Membership Certificate below verifies that Andrea Kohlhase is a member of the Interaction Design Foundation, a global ...

We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document

Conferences on Intelligent Computer Mathematics 2014