English
Related papers

Related papers: A Report on the Workshop on Biobanking Informatics

200 papers

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated…

Formal Languages and Automata Theory · Computer Science 2010-11-01 Yu-Fang Chen , Ahmed Rezine

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

This article summarizes motivations, organization, and activities of the Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE5.1) held in Manchester, UK in September 2017. The WSSSPE series promotes sustainable…

Software Engineering · Computer Science 2019-09-13 Daniel S. Katz , Stephan Druskat , Robert Haines , Caroline Jay , Alexander Struck

This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).

Logic in Computer Science · Computer Science 2023-08-21 Akihisa Yamada , Benjamin Lucien Kaminski , Dieter Hofbauer , Fred Mesnard , Étienne Payet

Following the 13th International Workshop on Wave Hindcasting and Forecasting and 4th Coastal Hazards Symposium in October 2013 in Banff, Canada, a topical collection has appeared in recent issues of Ocean Dynamics. Here we give a brief…

Atmospheric and Oceanic Physics · Physics 2015-03-04 Øyvind Breivik , Val Swail , Alexander Babanin , Kevin Horsburgh

This first "Bibliometric-enhanced Information Retrieval" (BIR 2014) workshop aims to engage with the IR community about possible links to bibliometrics and scholarly communication. Bibliometric techniques are not yet widely used to enhance…

Information Retrieval · Computer Science 2014-04-29 Philipp Mayr , Philipp Schaer , Andrea Scharnhorst , Peter Mutschke

The 11th Summer Workshop on Multimodal Interfaces eNTERFACE 2015 was hosted by the Numediart Institute of Creative Technologies of the University of Mons from August 10th to September 2015. During the four weeks, students and researchers…

This volume constitutes the proceedings of WoF'15, the First International Workshop on Focusing, held on November 23rd, 2015 in Suva, Fiji. The workshop was a half-day satellite event of LPAR-20, the 20th International Conferences on Logic…

Logic in Computer Science · Computer Science 2015-12-21 Iliano Cervesato , Carsten Schürmann

Advances in sequencing techniques have led to exponential growth in biological data, demanding the development of large-scale bioinformatics experiments. Because these experiments are computation- and data-intensive, they require…

Bibliometric-enhanced Information Retrieval (BIR) workshops serve as the annual gathering of IR researchers who address various information-related tasks on scientific corpora and bibliometrics. The workshop features original approaches to…

Information Retrieval · Computer Science 2017-11-01 Philipp Mayr , Ingo Frommholz , Guillaume Cabanac

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…

Software Engineering · Computer Science 2012-02-28 Alexander K. Petrenko , Holger Schlingloff

Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. To alleviate this problem, the Automated and Algorithmic…

Software Engineering · Computer Science 2007-05-23 Michiel Ronsse , Koen De Bosschere

This report summarizes the geodetic VLBI activities in New Zealand in 2010. It provides geographical and technical details of WARK12M - the new IVS network station operated by the Institute for Radio Astronomy and Space Research (IRASR) of…

Instrumentation and Methods for Astrophysics · Physics 2015-03-19 Sergei Gulyaev , Tim Natusch , Stuart Weston , Neville Palmer , David Collett

In this white paper, we synthesize key points made during presentations and discussions from the AI-Assisted Decision Making for Conservation workshop, hosted by the Center for Research on Computation and Society at Harvard University on…

This is a report of the A3 workshop ("Mathematical Studies of Field Equations"), which was held in Poone during the GR15 Conference in December 1997.

General Relativity and Quantum Cosmology · Physics 2016-08-31 Piotr T. Chrusciel

This volume contains the proceedings of the Combined 19th International Workshop on Expressiveness in Concurrency and the 9th Workshop on Structural Operational Semantics (EXPRESS/SOS 2012), which took place on 3rd September 2012 in…

Logic in Computer Science · Computer Science 2012-08-14 Bas Luttik , Michel A. Reniers

This volume contains the papers presented at the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+) held on October 28, 2019, in Fukuoka, co-located with the 11th Asia-Pasific Symposium on Internetware…

Databases · Computer Science 2019-11-15 Soichiro Hidaka , Yasunori Ishihara , Zachary G. Ives

This volume contains the proceedings of the 7th Workshop on Security Issues in Concurrency (SecCo'09). The workshop was held in Bologna, Italy on September 5th 2009, as a satellite workshop of CONCUR'09. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2009-10-26 Michele Boreale , Steve Kremer

Data sharing is a key factor for ensuring reproducibility and transparency of scientific experiments, and neuroimaging is no exception. The vast heterogeneity of data formats and imaging modalities utilised in the field makes it a very…

Digital Libraries · Computer Science 2019-06-25 Unai Lopez-Novoa , Cyril Charron , John Evans , Leandro Beltrachini

This report discusses the issues of data quality in biobanks. It presents the state-of-the-art in data quality: the definition of data quality, the dimensions of data quality, and the quality management system for achieving or describing…

Computers and Society · Computer Science 2018-12-27 Suneth Ranasinghe , Horst Pichler , Johann Eder
‹ Prev 1 3 4 5 6 7 10 Next ›