English
Related papers

Related papers: A Report on the Workshop on Biobanking Informatics

200 papers

Microbiome interventions provide valuable data about microbial ecosystem structure and dynamics. Despite their ubiquity in microbiome research, few rigorous data analysis approaches are available. In this study, we extend transfer…

Applications · Statistics 2023-06-13 Kris Sankaran , Pratheepa Jeganathan

Study reproducibility is essential to corroborate, build on, and learn from the results of scientific research but is notoriously challenging in bioinformatics, which often involves large data sets and complex analytic workflows involving…

Quantitative Methods · Quantitative Biology 2023-05-22 Christopher R. Keefe , Matthew R. Dillon , Chloe Herman , Mary Jewell , Colin V. Wood , Evan Bolyen , J. Gregory Caporaso

Government agencies collect and manage a wide range of ever-growing datasets. While such data has the potential to support research and evidence-based policy making, there are concerns that the dissemination of such data could infringe upon…

Cryptography and Security · Computer Science 2026-01-29 Chris Clifton , Bradley Malin , Anna Oganian , Ramesh Raskar , Vivek Sharma

This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European…

Symbolic Computation · Computer Science 2013-02-26 Rachid Echahed , Detlef Plump

This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligent Computer Mathematics (CICM 2012) in Bremen on July 11th…

Logic in Computer Science · Computer Science 2013-07-08 Cezary Kaliszyk , Christoph Lüth

This report summarizes the discussions and findings of the 2017 North Atlantic Treaty Organization (NATO) Workshop, IST-153, on Cyber Resilience, held in Munich, Germany, on 23-25 October 2017, at the University of Bundeswehr. Despite…

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results…

Software Engineering · Computer Science 2015-04-09 Nikolay Pakulin , Alexander K. Petrenko , Bernd-Holger Schlingloff

This article highlights some of the basic concepts of bioinformatics and data mining. The major research areas of bioinformatics are highlighted. The application of data mining in the domain of bioinformatics is explained. It also…

Computational Engineering, Finance, and Science · Computer Science 2012-05-08 Khalid Raza

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2015-09-29 Nathalie Bertrand , Mirco Tribastone

This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation…

Logic in Computer Science · Computer Science 2015-04-09 Ugo Dal Lago , Russ Harmer

Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW), colocated with ICT4S 2022 in Plovdiv, Bulgaria on 13th of June 2022.

Computers and Society · Computer Science 2022-06-06 Rafal Graczyk , Padma Iyenghar

Bioinformatics is a new discipline that addresses the need to manage and interpret the data that in the past decade was massively generated by genomic research. This discipline represents the convergence of genomics, biotechnology and…

Computational Engineering, Finance, and Science · Computer Science 2009-11-24 Sabu M. Thampi

This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together…

Logic in Computer Science · Computer Science 2010-09-22 Peter Csaba Ölveczky

Benchmarking, which involves collecting reference datasets and demonstrating method performances, is a requirement for the development of new computational tools, but also becomes a domain of its own to achieve neutral comparisons of…

Other Quantitative Biology · Quantitative Biology 2025-07-24 Izaskun Mallona , Charlotte Soneson , Ben Carrillo , Almut Luetge , Daniel Incicau , Reto Gerber , Anthony Sonrel , Mark D. Robinson

This volume contains the post-proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021). The workshop was part of STAF 2021 (Software Technologies: Applications and Foundations) as an online-workshop on 22nd…

Formal Languages and Automata Theory · Computer Science 2021-12-21 Berthold Hoffmann , Mark Minas

This is a short position paper drawing on experience working with the UK banking industry and their disabled and ageing customers in the Business Disability Forum, a UK non-profit member organisation funded by a large body of UK private and…

Computers and Society · Computer Science 2015-07-17 Bela Gor , David Aspinall

Many of the current scientific advances in the life sciences have their origin in the intensive use of data for knowledge discovery. In no area this is so clear as in bioinformatics, led by technological breakthroughs in data acquisition…

Machine Learning · Computer Science 2018-02-28 Davide Bacciu , Paulo J. G. Lisboa , José D. Martín , Ruxandra Stoean , Alfredo Vellido

The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing…

The radiation hardened beam instrumentations workshop was held on February 3rd and 4th, 2022 to identify the technological challenges on the beam instrumentation for multi-Mega-Watt (MW) beam facilities. We invited a speaker from a high…

Accelerator Physics · Physics 2022-03-14 Katsuya Yonehara

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie