| Type | Conference Paper |
|---|---|
| Author | Andreas Hense |
| Author | Florian Quadt |
| Author | Matthias Römer |
| Abstract | Mobile devices as the iPhone and Android-based smartphones can be turned into useful tools for researchers in the field. The concept of a scholarly or scientific workbench can be extended by a mobile usage scenario, where the researcher takes photographs, records sounds, and performs basic metadata editing. We present the prototype and the architecture of a mobile workbench that uploads geo-tagged photographs taken by the camera of the smartphone into a digital repository. We discuss the idea of a research workbench as an integrated but loosely-coupled set of services; we show where in our solution the functionalities of a research workbench are contained or where other services can be added. Finally, we focus on the software running on the mobile phone, which is in itself a set of loosely-coupled applications. |
| Date | 2009 Dec. 9-11 |
| Proceedings Title | eScience '09. IEEE Fifth International Conference on eScience |
| Place | Oxford |
| Pages | 126 - 131 |
| DOI | 10.1109/e-Science.2009.26 |
| ISBN | 978-0-7695-3877-8 |
| Date Added | Sat 31 Jan 2009 02:31:32 PM CET |
| Modified | Wed 24 Feb 2010 03:36:26 PM CET |
| Type | Conference Paper |
|---|---|
| Author | Andreas Hense |
| Author | Florian Quadt |
| Abstract | From the very beginning, the Internet has been used increasingly by researchers of different mother tongues and research areas. This linguistic diversity is reflected in multilingual web content and scientific publications. While machine translation is the most desirable grade of multilingual collaboration, fully automated and technically mature translation systems still do not exist. Nevertheless, it is possible to use the knowledge of how to translate that has been gathered so far for an application that is not as complex as machine translation: cross-language information retrieval (CLIR). CLIR relies on the fact that users of search engines can read and understand more than one single language. This is why search engines supporting CLIR present multilingual hits to the user. We will discuss the advantages of using a concept-based interlingua and resent a prototype of an interlingua-based CLIR system that has been tested with English, German, and Japanese documents. Additionally, we will focus on selected challenges in information retrieval as well as in machine translation. |
| Date | November 9-13, 2009 |
| Proceedings Title | Proceedings of eResearch Australasia 2009 |
| Conference Name | eResearch Australasia |
| Place | Sidney |
| Publisher | The University of Queensland |
| URL | http://www.eresearch.edu.au/docs/2009/era09_submission_11.pdf |
| Date Added | Sat 05 Sep 2009 01:21:51 PM CEST |
| Modified | Fri 15 Jan 2010 03:13:48 PM CET |
| Type | Conference Paper |
|---|---|
| Author | Christoph von Hinten |
| Author | Andreas Hense |
| Author | Matthias Razum |
| Date | 2008 Dec. 7-12 |
| Proceedings Title | eScience '08. IEEE Fourth International Conference on eScience |
| Pages | 790-794 |
| DOI | DOI 10.1109/eScience.2008.29 |
| Date Added | Sat 26 Sep 2009 10:36:26 AM CEST |
| Modified | Wed 24 Feb 2010 03:36:33 PM CET |
| Type | Book |
|---|---|
| Author | Stephan Arlt |
| Author | Andreas Hense |
| Publisher | Vdm Verlag Dr. Müller |
| Date | 2008-07 |
| ISBN | 3639052110 |
| Short Title | Implementierung zuverlässiger Zahlungssysteme in Java |
| Repository | Amazon.com |
| Date Added | Sat 31 Jan 2009 02:37:54 PM CET |
| Modified | Sat 31 Jan 2009 02:37:54 PM CET |
| Type | Conference Paper |
|---|---|
| Author | Andreas Hense |
| Author | Johannes Mueller |
| Abstract | The prototype of a workflow system for the submission of content to a digital object repository is here presented. It is based entirely on open-source standard components and features a service-oriented architecture. The front-end consists of Java Business Process Management (jBPM), Java Server Faces (JSF), and Java Server Pages (JSP). A Fedora Repository and a mySQL data base management system serve as a back-end. The communication between front-end and back-end uses a SOAP minimal binding stub. We describe the design principles and the construction of the prototype and discuss the possibilities and limitations of work ow creation by administrators. The code of the prototype is open-source and can be retrieved in the project escipub at http://sourceforge.net |
| Date | January 23-26 2007 |
| Proceedings Title | 2nd International Conference on Open Repositories, San Antonio Texas, USA |
| DOI | arXiv:0706.0306v1 {cs.DL} |
| URL | http://arxiv.org/abs/0706.0306 |
| Accessed | Fri 30 Jan 2009 08:00:11 PM CET |
| Repository | arXiv.org |
| Date Added | Sat 31 Jan 2009 02:31:32 PM CET |
| Modified | Wed 24 Feb 2010 03:35:51 PM CET |
| Type | Journal Article |
|---|---|
| Author | Andreas Hense |
| Publication | Tagungsband zur 3. Fachtagung IT-Controlling |
| Volume | Band 16 |
| Pages | 46-67 |
| Date | March 2006 |
| Series | Schriftenreihe des Fachbereiches Wirtschaft Sankt Augustin: Clement, A. Gadatsch, J. Juszczak et al (Hrsg.) |
| Date Added | Sat 31 Jan 2009 03:00:26 PM CET |
| Modified | Sat 31 Jan 2009 03:05:35 PM CET |
| Type | Journal Article |
|---|---|
| Author | Andreas Hense |
| Publication | IT Management, IT Verlag |
| Volume | 10 |
| Pages | 48-52 |
| Date | October 2005 |
| Date Added | Sat 31 Jan 2009 03:06:25 PM CET |
| Modified | Sat 31 Jan 2009 04:11:05 PM CET |
| Type | Newspaper Article |
|---|---|
| Author | Andreas Hense |
| Author | Scheidt, Lothar |
| Publication | Behörden Spiegel |
| Date | March 2000 |
| Pages | BXX |
| Language | German |
| Date Added | Sat 31 Jan 2009 03:13:56 PM CET |
| Modified | Sat 31 Jan 2009 04:11:32 PM CET |
| Type | Magazine Article |
|---|---|
| Author | Andreas Hense |
| Publication | Personalfürung DGFP |
| Volume | 3 |
| Date | 2000 |
| Pages | 68-69 |
| Language | German |
| Extra | Düsseldorf |
| Date Added | Sat 31 Jan 2009 03:17:47 PM CET |
| Modified | Sat 31 Jan 2009 03:19:48 PM CET |
| Type | Magazine Article |
|---|---|
| Author | Andreas Hense |
| Author | Rudolf Lindenmeyer |
| Abstract | DV-unterstützte Planung, ISO 9000 (Norm), Planung von Qualitätsaudits, Prüfungsplanung/-verfolgung, Reporting |
| Publication | Zeitschrift für Interne Revision |
| Volume | 2 |
| Date | 1996 |
| Pages | 84-96 |
| Extra | Erich Schmidt Verlag, Berlin |
| Date Added | Sat 31 Jan 2009 03:29:29 PM CET |
| Modified | Sat 31 Jan 2009 03:32:33 PM CET |
| Type | Magazine Article |
|---|---|
| Author | Andreas Hense |
| Author | Martin Flemming |
| Author | Rudolf Lindenmeyer |
| Publication | Zeitschrift für Interne Revision |
| Volume | 4 |
| Date | 1995 |
| Pages | 223-229 |
| Extra | Erich Schmidt Verlag, Berlin |
| Date Added | Sat 31 Jan 2009 03:37:00 PM CET |
| Modified | Sat 31 Jan 2009 04:12:40 PM CET |
| Type | Book |
|---|---|
| Author | Andreas Hense |
| Publisher | Pirrot-Verlag |
| Date | 1994-06 |
| ISBN | 3930714000 |
| URL | http://www.amazon.de/exec/obidos/redirect? tag=hense&… |
| Repository | Amazon.com |
| Date Added | Sat 31 Jan 2009 02:31:32 PM CET |
| Modified | Sat 31 Jan 2009 05:29:23 PM CET |
| Type | Book Section |
|---|---|
| Author | Andreas Hense |
| Author | Gert Smolka |
| Abstract | Record calculi and their type disciplines are of great interest because they can be the basis for modelling object-oriented languages. We present a record calculus that has neither concatenation nor adjunction but is still sufficient for object-oriented languages with top-level classes. The type discipline features extensible record types and recursive types. For the formalization of the type inference algorithm and for the proofs showing its correctness, we use order-sorted logic. The order-sorted formalization is able to incorporate the constraints upon variables occurring in extensible record types. Previous approaches either lacked the principal type property or had to resort to adapting the types to the algorithm. The simplicity of our record calculus gives us principal types without having to make the types more complicated. |
| Book Title | Constraints in Computational Logics |
| Date | 1994 |
| Pages | 219-236 |
| URL | http://dx.doi.org/10.1007/BFb0016856 |
| Accessed | Sat 31 Jan 2009 04:02:08 PM CET |
| Repository | SpringerLink |
| Date Added | Sat 31 Jan 2009 04:02:08 PM CET |
| Modified | Sat 31 Jan 2009 04:02:08 PM CET |
| Type | Journal Article |
|---|---|
| Author | Andreas V. Hense |
| Abstract | Object-oriented languages have traditionally been described by method-lookup-semantics. Their denotational semantics have appeared and matured only recently. Cook's wrapper semantics without state shows the essence of inheritance much clearer than method-lookup-semantics. |
| Publication | Formal Aspects of Computing |
| Volume | 5 |
| Issue | 3 |
| Pages | 181-207 |
| Date | May 01, 1993 |
| DOI | 10.1007/BF01211554 |
| URL | http://dx.doi.org/10.1007/BF01211554 |
| Accessed | Sat 31 Jan 2009 02:59:33 PM CET |
| Repository | SpringerLink |
| Date Added | Sat 31 Jan 2009 02:59:33 PM CET |
| Modified | Sat 31 Jan 2009 02:59:33 PM CET |
| Type | Book Section |
|---|---|
| Author | Andreas Hense |
| Abstract | The semantics of class inheritance has first been given in operational form (method-lookup-semantics). While this semantics is well suited for implementing object-oriented programming languages, it may conceal the true nature of inheritance. The development of denotational semantics for object-oriented languages has culminated in object creation as fixed point operation. Cook gave a semantics on this basis, using so called wrappers. This semantics abstracts from the internal state of objects (instance variables). |
| Book Title | Theoretical Aspects of Computer Software |
| Date | 1991 |
| Pages | 548-568 |
| URL | http://dx.doi.org/10.1007/3-540-54415-1_64 |
| Accessed | Sat 31 Jan 2009 03:11:59 PM CET |
| Repository | SpringerLink |
| Date Added | Sat 31 Jan 2009 03:11:59 PM CET |
| Modified | Sat 31 Jan 2009 03:11:59 PM CET |