19 citations
- Computer Algorithms for MedicineAT2 papers
- Cape Town HVTN Immunology Laboratory / Hutchinson Centre Research Institute of South AfricaZA1 paper
- Cytel (United States)US1 paper
- Fred Hutch Cancer CenterUS1 paper
- Genentech1 paper
- Gene Therapy LaboratoryFR1 paper
- Hatch (Canada)CA1 paper
- IMT AtlantiqueFR1 paper
- Institut Polytechnique de BordeauxFR1 paper
- Laboratoire Énergies & Mécanique Théorique et AppliquéeFR1 paper
- StormGeo (Norway)NO1 paper
- Tuality HealthcareUS1 paper
9 papers
CobbleDB: Modelling Levelled Storage by Composition
Emilie Ma, Ayush Pandey, Annette Bieniusa +1
We present a composition-based approach to building correctby-construction database backing stores. In previous work, we specified the behaviour of several store variants and prove…
Opportunities for Hybrid Modeling Approaches in Energy Systems optimization
Mohamed Tahar Mabrouk, Shri Balaji Padmanabhan, Bruno Lacarrière +5
This paper surveys the primary computational hurdles of Energy Systems optimization coming from different sources: model-induced complexity, optimization algorithm requirements, an…
Energy-Aware Scheduling Strategies for Partially-Replicable Task Chains on Heterogeneous Processors
Yacine Idouar, Adrien Cassagne, Laércio Lima Pilla +7
The arrival of heterogeneous (or hybrid) multicore architectures has brought new performance trade-offs for applications, and efficiency opportunities to systems. They have also in…
CREMP: Conformer-rotamer ensembles of macrocyclic peptides for machine learning
Colin A. Grambow, Hayley Weir, Christian N. Cunningham +2
Computational and machine learning approaches to model the conformational landscape of macrocyclic peptides have the potential to enable rational design and optimization. However,…
Towards application-specific query processing systems
Dimitrios Vasilas, Marc Shapiro, Bradley King +1
Database systems use query processing subsystems for enabling efficient query-based data retrieval. An essential aspect of designing any query-intensive application is tuning the q…
Invariant Safety for Distributed Applications
Sreeja Nair, Gustavo Petri, Marc Shapiro
We study a proof methodology for verifying the safety of data invariants of highly-available distributed applications that replicate state. The proof is (1) modular: one can reason…