E-LIB Suche - Ergebnisse für: Garcia de la Banda, Maria

1

SuperStack: Superoptimization of Stack-Bytecode via Greedy,..:

Albert, Elvira ; Garcia de la Banda, Maria ; Hernández-Cerezo, Alejandro...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1437-1462 , 2024

Link: https://doi.org/10.1145/..

2

Human-centred feasibility restoration in practice:

Senthooran, Ilankaikone ; Klapperstueck, Matthias ; Belov, Gleb...
Constraints. 28 (2023) 2 - p. 203-243 , 2023

Link: https://doi.org/10.1007/..

3

Getting 'ϕψχal' with proteins: minimum message length infer..:

Amarasinghe, Piyumi R ; Allison, Lloyd ; Stuckey, Peter J...
Bioinformatics. 39 (2023) Supplement_1 - p. i357-i367 , 2023

Link: https://doi.org/10.1093/..

4

Globalizing constraint models:

Leo, Kevin ; Mears, Christopher ; Tack, Guido.
Artificial Intelligence. 302 (2022) - p. 103599 , 2022

Link: https://doi.org/10.1016/..

5

On the reliability and the limits of inference of amino aci..:

Rajapaksa, Sandun ; Sumanaweera, Dinithi ; Lesk, Arthur M...
Bioinformatics. 38 (2022) Supplement_1 - p. i255-i263 , 2022

Link: https://doi.org/10.1093/..

6

Universal Architectural Concepts Underlying Protein Folding..:

Konagurthu, Arun S. ; Subramanian, Ramanan ; Allison, Lloyd...
Frontiers in Molecular Biosciences. 7 (2021) - p. , 2021

Link: https://doi.org/10.3389/..

7

Computer modeling of a potential agent against SARS‐Cov‐2 (..:

Lesk, Arthur M. ; Konagurthu, Arun S. ; Allison, Lloyd...
Proteins: Structure, Function, and Bioinformatics. 88 (2020) 12 - p. 1557-1558 , 2020

Link: https://doi.org/10.1002/..

8

Aggregation and Garbage Collection for Online Optimization:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Ek, Alexander ; Garcia de la Banda, Maria ; Schutt, Andreas.. - p. 231-247 , 2020

Link: https://doi.org/10.1007/..

9

Statistical inference of protein structural alignments usin..:

Collier, James H ; Allison, Lloyd ; Lesk, Arthur M...
Bioinformatics. 33 (2017) 7 - p. 1005-1013 , 2017

Link: https://doi.org/10.1093/..

10

Statistical Compression of Protein Folding Patterns for Inf..:

, In: 2017 Data Compression Conference (DCC),

Subramanian, Ramanan ; Allison, Lloyd ; Stuckey, Peter J.... - p. 340-349 , 2017

Link: https://doi.org/10.1109/..

11

Visual search tree profiling:

Shishmarev, Maxim ; Mears, Christopher ; Tack, Guido.
Constraints. 21 (2015) 1 - p. 77-94 , 2015

Link: https://doi.org/10.1007/..

12

A method for detecting symmetries in constraint models and ..:

Mears, Christopher ; Garcia de la Banda, Maria ; Wallace, Mark.
Constraints. 20 (2014) 2 - p. 235-273 , 2014

Link: https://doi.org/10.1007/..

13

A new statistical framework to assess structural alignment ..:

Collier, James H. ; Allison, Lloyd ; Lesk, Arthur M...
Bioinformatics. 30 (2014) 17 - p. i512-i518 , 2014

Link: https://doi.org/10.1093/..

14

Symmetries, almost symmetries, and lazy clause generation:

Chu, Geoffrey ; Garcia de la Banda, Maria ; Mears, Christopher.
Constraints. 19 (2014) 4 - p. 434-462 , 2014

Link: https://doi.org/10.1007/..

15

Redundant disequalities in the Latin Square problem:

Demoen, Bart ; Garcia de la Banda, Maria
Constraints. 18 (2013) 4 - p. 471-477 , 2013

Link: https://doi.org/10.1007/..