Published in: LIPIcs, Volume 315, 16th International Conference on Spatial Information Theory (COSIT 2024)
Simon Scheider and Judith A. Verstegen. What Is a Spatio-Temporal Model Good For?: Validity as a Function of Purpose and the Questions Answered by a Model. In 16th International Conference on Spatial Information Theory (COSIT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 315, pp. 7:1-7:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{scheider_et_al:LIPIcs.COSIT.2024.7, author = {Scheider, Simon and Verstegen, Judith A.}, title = {{What Is a Spatio-Temporal Model Good For?: Validity as a Function of Purpose and the Questions Answered by a Model}}, booktitle = {16th International Conference on Spatial Information Theory (COSIT 2024)}, pages = {7:1--7:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-330-0}, ISSN = {1868-8969}, year = {2024}, volume = {315}, editor = {Adams, Benjamin and Griffin, Amy L. and Scheider, Simon and McKenzie, Grant}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2024.7}, URN = {urn:nbn:de:0030-drops-208225}, doi = {10.4230/LIPIcs.COSIT.2024.7}, annote = {Keywords: validity, fitness-for-purpose, spatio-temporal modeling, pragmatics, question grammar} }
Published in: LIPIcs, Volume 312, 24th International Workshop on Algorithms in Bioinformatics (WABI 2024)
Yao-ban Chan. An Efficient Algorithm for the Reconciliation of a Gene Network and Species Tree. In 24th International Workshop on Algorithms in Bioinformatics (WABI 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 312, pp. 3:1-3:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{chan:LIPIcs.WABI.2024.3, author = {Chan, Yao-ban}, title = {{An Efficient Algorithm for the Reconciliation of a Gene Network and Species Tree}}, booktitle = {24th International Workshop on Algorithms in Bioinformatics (WABI 2024)}, pages = {3:1--3:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-340-9}, ISSN = {1868-8969}, year = {2024}, volume = {312}, editor = {Pissis, Solon P. and Sung, Wing-Kin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2024.3}, URN = {urn:nbn:de:0030-drops-206472}, doi = {10.4230/LIPIcs.WABI.2024.3}, annote = {Keywords: Reconciliation, recombination, paralog exchange, phylogenetic network, gene duplication, gene loss} }
Published in: LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
Ambrus Kaposi and Szumi Xie. Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics. In 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 299, pp. 10:1-10:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{kaposi_et_al:LIPIcs.FSCD.2024.10, author = {Kaposi, Ambrus and Xie, Szumi}, title = {{Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics}}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)}, pages = {10:1--10:24}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-323-2}, ISSN = {1868-8969}, year = {2024}, volume = {299}, editor = {Rehof, Jakob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.10}, URN = {urn:nbn:de:0030-drops-203396}, doi = {10.4230/LIPIcs.FSCD.2024.10}, annote = {Keywords: Type theory, universal algebra, inductive types, quotient inductive types, higher-order abstract syntax, logical framework} }
Published in: LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)
Maximilian Doré, Evan Cavallo, and Anders Mörtberg. Automating Boundary Filling in Cubical Agda. In 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 299, pp. 22:1-22:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{dore_et_al:LIPIcs.FSCD.2024.22, author = {Dor\'{e}, Maximilian and Cavallo, Evan and M\"{o}rtberg, Anders}, title = {{Automating Boundary Filling in Cubical Agda}}, booktitle = {9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)}, pages = {22:1--22:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-323-2}, ISSN = {1868-8969}, year = {2024}, volume = {299}, editor = {Rehof, Jakob}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.22}, URN = {urn:nbn:de:0030-drops-203514}, doi = {10.4230/LIPIcs.FSCD.2024.22}, annote = {Keywords: Cubical Agda, Automated Reasoning, Constraint Satisfaction Programming} }
Published in: LIPIcs, Volume 298, 36th Euromicro Conference on Real-Time Systems (ECRTS 2024)
Eva Dengler and Peter Wägemann. Crêpe: Clock-Reconfiguration-Aware Preemption Control in Real-Time Systems with Devices. In 36th Euromicro Conference on Real-Time Systems (ECRTS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 298, pp. 10:1-10:25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{dengler_et_al:LIPIcs.ECRTS.2024.10, author = {Dengler, Eva and W\"{a}gemann, Peter}, title = {{Cr\^{e}pe: Clock-Reconfiguration-Aware Preemption Control in Real-Time Systems with Devices}}, booktitle = {36th Euromicro Conference on Real-Time Systems (ECRTS 2024)}, pages = {10:1--10:25}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-324-9}, ISSN = {1868-8969}, year = {2024}, volume = {298}, editor = {Pellizzoni, Rodolfo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2024.10}, URN = {urn:nbn:de:0030-drops-203135}, doi = {10.4230/LIPIcs.ECRTS.2024.10}, annote = {Keywords: energy-constrained real-time systems, time/energy tradeoff, system-on-chip, energy-aware real-time scheduling, resource minimization, preemption control, worst-case energy consumption (WCEC), worst-case execution time (WCET), static whole-system analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Marc Sturm, Sascha Quinten, Christian G. Huber, and Oliver Kohlbacher. A machine learning approach for prediction of DNA and peptide HPLC retention times. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{sturm_et_al:DagSemProc.05471.3, author = {Sturm, Marc and Quinten, Sascha and Huber, Christian G. and Kohlbacher, Oliver}, title = {{A machine learning approach for prediction of DNA and peptide HPLC retention times}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.3}, URN = {urn:nbn:de:0030-drops-5484}, doi = {10.4230/DagSemProc.05471.3}, annote = {Keywords: High performance liquid chromatography, mass spectrometry, retention time, prediction, peptide, DNA, support vector regression} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Knut Reinert, Oliver Kohlbacher, Clemens Gröpl, Eva Lange, Ole Schulz-Trieglaff, Marc Sturm, and Nico Pfeifer. OpenMS - A Framework for Quantitative HPLC/MS-Based Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{reinert_et_al:DagSemProc.05471.13, author = {Reinert, Knut and Kohlbacher, Oliver and Gr\"{o}pl, Clemens and Lange, Eva and Schulz-Trieglaff, Ole and Sturm, Marc and Pfeifer, Nico}, title = {{OpenMS - A Framework for Quantitative HPLC/MS-Based Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.13}, URN = {urn:nbn:de:0030-drops-5463}, doi = {10.4230/DagSemProc.05471.13}, annote = {Keywords: Proteomics, C++, Differential expression} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Christian G. Huber, Oliver Kohlbacher, and Knut Reinert. 05471 Abstract Collection – Computational Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{huber_et_al:DagSemProc.05471.1, author = {Huber, Christian G. and Kohlbacher, Oliver and Reinert, Knut}, title = {{05471 Abstract Collection – Computational Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.1}, URN = {urn:nbn:de:0030-drops-5569}, doi = {10.4230/DagSemProc.05471.1}, annote = {Keywords: Proteomics, mass spectrometry, MALDI, HPLC-MS, differential expression, clinical proteomics, quantitation, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Christian G. Huber, Oliver Kohlbacher, and Knut Reinert. 05471 Executive Summary – Computational Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{huber_et_al:DagSemProc.05471.2, author = {Huber, Christian G. and Kohlbacher, Oliver and Reinert, Knut}, title = {{05471 Executive Summary – Computational Proteomics}}, booktitle = {Computational Proteomics}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.2}, URN = {urn:nbn:de:0030-drops-5406}, doi = {10.4230/DagSemProc.05471.2}, annote = {Keywords: Proteomics, mass spectrometry, MALDI, HPLC-MS, differential expression, clinical proteomics, quantitation, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Clemens Gröpl. An Algorithm for Feature Finding in LC/MS Raw Data. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{gropl:DagSemProc.05471.4, author = {Gr\"{o}pl, Clemens}, title = {{An Algorithm for Feature Finding in LC/MS Raw Data}}, booktitle = {Computational Proteomics}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.4}, URN = {urn:nbn:de:0030-drops-5341}, doi = {10.4230/DagSemProc.05471.4}, annote = {Keywords: Computational Proteomics, Quantitative Analysis, Liquid Chromatography, Mass Spectrometry, Algorithm, Software} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Sebastian Böcker and Veli Mäkinen. Combinatorial Approaches for Mass Spectra Recalibration. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bocker_et_al:DagSemProc.05471.5, author = {B\"{o}cker, Sebastian and M\"{a}kinen, Veli}, title = {{Combinatorial Approaches for Mass Spectra Recalibration}}, booktitle = {Computational Proteomics}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.5}, URN = {urn:nbn:de:0030-drops-5455}, doi = {10.4230/DagSemProc.05471.5}, annote = {Keywords: Mass spectrometry recalibration computational geometry} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Nathanaël Delmotte, Bettina Mayr, Andreas Leinenbach, Knut Reinert, Oliver Kohlbacher, Christoph Klein, and Christian G. Huber. Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{delmotte_et_al:DagSemProc.05471.6, author = {Delmotte, Nathana\"{e}l and Mayr, Bettina and Leinenbach, Andreas and Reinert, Knut and Kohlbacher, Oliver and Klein, Christoph and Huber, Christian G.}, title = {{Evaluation of LC-MS data for the absolute quantitative analysis of marker proteins}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.6}, URN = {urn:nbn:de:0030-drops-5397}, doi = {10.4230/DagSemProc.05471.6}, annote = {Keywords: RP-HPLC, monolith, Mascot, Myoglobin, Absolute quantitation, Serum} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Hartmut Schlüter. Future Challenges in Proteomics. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{schluter:DagSemProc.05471.7, author = {Schl\"{u}ter, Hartmut}, title = {{Future Challenges in Proteomics}}, booktitle = {Computational Proteomics}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.7}, URN = {urn:nbn:de:0030-drops-5449}, doi = {10.4230/DagSemProc.05471.7}, annote = {Keywords: Protein species, proteome, identification} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Hansjörg Toll, Peter Berger, Andreas Hofmann, Andreas Hildebrandt, Herbert Oberacher, Hans Peter Lenhof, and Christian G. Huber. Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{toll_et_al:DagSemProc.05471.8, author = {Toll, Hansj\"{o}rg and Berger, Peter and Hofmann, Andreas and Hildebrandt, Andreas and Oberacher, Herbert and Lenhof, Hans Peter and Huber, Christian G.}, title = {{Glycosylation Patterns of Proteins Studied by Liquid Chromatography-Mass Spectrometry and Bioinformatic Tools}}, booktitle = {Computational Proteomics}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.8}, URN = {urn:nbn:de:0030-drops-5431}, doi = {10.4230/DagSemProc.05471.8}, annote = {Keywords: Liquid chromatography, mass spectrometry, glycoproteins, glycosylation, peak annotation} }
Published in: Dagstuhl Seminar Proceedings, Volume 5471, Computational Proteomics (2006)
Eva Lange, Clemens Gröpl, Oliver Kohlbacher, and Andreas Hildebrandt. High-accuracy peak picking of proteomics data. In Computational Proteomics. Dagstuhl Seminar Proceedings, Volume 5471, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{lange_et_al:DagSemProc.05471.9, author = {Lange, Eva and Gr\"{o}pl, Clemens and Kohlbacher, Oliver and Hildebrandt, Andreas}, title = {{High-accuracy peak picking of proteomics data}}, booktitle = {Computational Proteomics}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5471}, editor = {Christian G. Huber and Oliver Kohlbacher and Knut Reinert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05471.9}, URN = {urn:nbn:de:0030-drops-5358}, doi = {10.4230/DagSemProc.05471.9}, annote = {Keywords: Mass spectrometry, peak detection, peak picking} }
Feedback for Dagstuhl Publishing