Dagstuhl Reports, Volume 3, Issue 5



Thumbnail PDF

Event

Dagstuhl Seminars 13192, 13201, 13211, 13212

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue

Abstract
Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue

Cite as

Dagstuhl Reports, Volume 3, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{DagRep.3.5,
  title =	{{Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5},
  URN =		{urn:nbn:de:0030-drops-43010},
  doi =		{10.4230/DagRep.3.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 05, May 2013, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 3, Issue 05, 2013

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 3, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{DagRep.3.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 05, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.i},
  URN =		{urn:nbn:de:0030-drops-43007},
  doi =		{10.4230/DagRep.3.5.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)

Authors: Sebastian Maneth and Helmut Seidl


Abstract
The aim of this Dagstuhl Seminar was to bring together researchers from various research areas related to the theory and application of tree transducers. Recently, interest in tree transducers has been revived due to surprising new applications in areas such as XML databases, security verification, programming language theory, and linguistics. This seminar therefore aimed to inspire the exchange of theoretical results and information regarding the practical requirements related to tree transducers.

Cite as

Sebastian Maneth and Helmut Seidl. Tree Transducers and Formal Methods (Dagstuhl Seminar 13192). In Dagstuhl Reports, Volume 3, Issue 5, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{maneth_et_al:DagRep.3.5.1,
  author =	{Maneth, Sebastian and Seidl, Helmut},
  title =	{{Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Maneth, Sebastian and Seidl, Helmut},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.1},
  URN =		{urn:nbn:de:0030-drops-41769},
  doi =		{10.4230/DagRep.3.5.1},
  annote =	{Keywords: tree transducers, expressiveness, complexity}
}
Document
Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)

Authors: Andreas Kerren, Helen Purchase, and Mathew O. Ward


Abstract
Information Visualization (InfoVis) focuses on the use of visualization techniques to help people understand and analyze large and complex data sets. The aim of this third Dagstuhl Seminar on Information Visualization was to bring together theoreticians and practitioners from Information Visualization, HCI, and Graph Drawing with a special focus on multivariate network visualization, i.e., on graphs where the nodes and/or edges have additional (multidimensional) attributes. To support discussions related to the visualization of real world data, researchers from selected application areas, especially bioinformatics, social sciences, and software engineering, were also invited. During the seminar, working groups on six different topics were formed and enabled a critical reflection on ongoing research efforts, the state of the field in multivariate network visualization, and key research challenges today. This report documents the program and the outcomes of Dagstuhl Seminar 13201 "Information Visualization -- Towards Multivariate Network Visualization".

Cite as

Andreas Kerren, Helen Purchase, and Mathew O. Ward. Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201). In Dagstuhl Reports, Volume 3, Issue 5, pp. 19-42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{kerren_et_al:DagRep.3.5.19,
  author =	{Kerren, Andreas and Purchase, Helen and Ward, Mathew O.},
  title =	{{Information Visualization - Towards Multivariate Network Visualization (Dagstuhl Seminar 13201)}},
  pages =	{19--42},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Kerren, Andreas and Purchase, Helen and Ward, Mathew O.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.19},
  URN =		{urn:nbn:de:0030-drops-41775},
  doi =		{10.4230/DagRep.3.5.19},
  annote =	{Keywords: Information visualization, visualization, network visualization, graph drawing, visual analytics, network analysis, interaction}
}
Document
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)

Authors: Diego Calvanese, Sven Hartmann, and Ernest Teniente


Abstract
This report documents the outcomes of the Dagstuhl Seminar 13211 "Automated Reasoning on Conceptual Schemas". The quality of an information system is largely determined early in the development cycle, i.e., during requirements specification and conceptual modeling since errors introduced at these stages are usually much more expensive to correct than errors made during design or implementation. Thus, it is desirable to prevent, detect, and correct errors as early as possible in the development process by assessing the correctness of the conceptual schemas built. The high expressivity of conceptual schemas requires to adopt automated reasoning techniques to support the designer in this important task. Research in this area can be classified according to two different dimensions. On the one hand, according to the language used to specify the conceptual schema. On the other hand, according to whether reasoning is performed on the structural schema alone, or also on its dynamic aspects. We find interesting and promising results from all these communities which have usually worked isolatedly. Therefore, the aim of this seminar was to allow them to communicate with each other to avoid duplicate effort and to exploit synergies. The research questions that were pursued in the seminar included, among others: (i) Does it make sense to renounce to decidability to be able to handle the full expressive power of the language used with and without textual integrity constraints? (ii) Which is the current state of the achievements as far as reasoning on the behavioral part is concerned? (iii) Are the existing techniques and tools ready to be used in an industrial environment? (iv) Which are the new challenges for automated reasoning on conceptual schemas?

Cite as

Diego Calvanese, Sven Hartmann, and Ernest Teniente. Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). In Dagstuhl Reports, Volume 3, Issue 5, pp. 43-77, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{calvanese_et_al:DagRep.3.5.43,
  author =	{Calvanese, Diego and Hartmann, Sven and Teniente, Ernest},
  title =	{{Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)}},
  pages =	{43--77},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Calvanese, Diego and Hartmann, Sven and Teniente, Ernest},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.43},
  URN =		{urn:nbn:de:0030-drops-41807},
  doi =		{10.4230/DagRep.3.5.43},
  annote =	{Keywords: Automated Reasoning, Conceptual Schema of an Information System, Validation, Verification}
}
Document
Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)

Authors: Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, and Ziv Shkedy


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13212 "Computational Methods Aiding Early-Stage Drug Design". The aim of the seminar was to bring scientists working on various aspects of drug discovery, genomic technologies and computational science (e.g., bioinformatics, chemoinformatics, machine learning, and statistics) together to explore how high dimensional data sets created by genomic technologies can be integrated to identify functional manifestations of drug actions on living cells early in the drug discovery process.

Cite as

Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, and Ziv Shkedy. Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212). In Dagstuhl Reports, Volume 3, Issue 5, pp. 78-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{bender_et_al:DagRep.3.5.78,
  author =	{Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
  title =	{{Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)}},
  pages =	{78--94},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Bender, Andreas and G\"{o}hlmann, Hinrich and Hochreiter, Sepp and Shkedy, Ziv},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.5.78},
  URN =		{urn:nbn:de:0030-drops-41791},
  doi =		{10.4230/DagRep.3.5.78},
  annote =	{Keywords: Bioinformatics, Chemoinformatics, Machine learning, Statistics, Interdisciplinary applications}
}

Filters


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