DE LA BANDA, MARIA GARCIA: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lock-free parallel dynamic programming

Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel Hermenegildo, Anthony Wirth

Journal:

Journal of Parallel and Distributed Computing

Year:

2010

Language:

english

File:

PDF, 844 KB

english, 2010

2

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

Bueno, Francisco, García de la Banda, María, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 521 KB

english, 1999

3

Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 880 KB

english, 1997

4

Differential methods in logic program analysis

Maria García de la Banda, Kim Marriott, Peter Stuckey, Harald Søndergaard

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 2.11 MB

english, 1998

5

The Design of the Zinc Modelling Language

Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace

Journal:

Year:

2008

Language:

english

File:

PDF, 733 KB

english, 2008

6

Exploiting subproblem dominance in constraint programming

Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey

Journal:

Year:

2012

Language:

english

File:

PDF, 728 KB

english, 2012

7

Influence of dietary administration of a probiotic strain Shewanella putrefaciens on senegalese sole (Solea senegalensis, Kaup 1858) growth, body composition and resistance to Photobacterium damselae subsp piscicida

Inés García de la Banda, Carmen Lobo, Mariana Chabrillón, Juan Manuel León-Rubio, Salvador Arijo, Gema Pazos, Luisa María Lucas, Miguel Ángel Moriñigo

Journal:

Aquaculture Research

Year:

2012

Language:

english

File:

PDF, 622 KB

english, 2012

8

Structural determinants of GAD antigenicity

Yasir Arafat, Gustavo Fenalti, James C. Whisstock, Ian R. Mackay, Maria Garcia de la Banda, Merrill J. Rowley, Ashley M. Buckle

Journal:

Molecular Immunology

Year:

2009

Language:

english

File:

PDF, 2.34 MB

english, 2009

9

[Lecture Notes in Computer Science] Logic Programming Volume 5366 || Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming

Garcia de la Banda, Maria, Pontelli, Enrico

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

10

Lightweight dynamic symmetry breaking

Mears, Christopher, Garcia de la Banda, Maria, Demoen, Bart, Wallace, Mark

Journal:

Year:

2014

Language:

english

File:

PDF, 1.64 MB

english, 2014

11

Dynamic Programming to Minimize the Maximum Number of Open Stacks

de la Banda, Maria Garcia, Stuckey, Peter J.

Journal:

INFORMS Journal on Computing

Year:

2007

Language:

english

File:

PDF, 276 KB

english, 2007

12

Symmetries, almost symmetries, and lazy clause generation

Chu, Geoffrey, Garcia de la Banda, Maria, Mears, Christopher, Stuckey, Peter J.

Journal:

Year:

2014

Language:

english

File:

PDF, 1.62 MB

english, 2014

13

Redundant disequalities in the Latin Square problem

Bart Demoen,Maria Garcia de la Banda

Journal:

Year:

2013

Language:

english

File:

PDF, 292 KB

english, 2013

14

A CLP heap solver for test case generation

ALBERT, ELVIRA, DE LA BANDA, MARÍA GARCÍA, GÓMEZ-ZAMALLOA, MIGUEL, ROJAS, JOSÉ MIGUEL, STUCKEY, PETER

Journal:

Theory and Practice of Logic Programming

Year:

2013

Language:

english

File:

PDF, 422 KB

english, 2013

15

On Representing Protein Folding Patterns Using Non-Linear Parametric Curves

Kasarapu, Parthan, de la Banda, Maria Garcia, Konagurthu, Arun S.

Journal:

IEEE/ACM Transactions on Computational Biology and Bioinformatics

Year:

2014

Language:

english

File:

PDF, 874 KB

english, 2014

16

POPS: A COMPUTATIONAL TOOL FOR MODELING AND PREDICTING PROTEASE SPECIFICITY

BOYD, SARAH E., PIKE, ROBERT N., RUDY, GEORGE B., WHISSTOCK, JAMES C., DE LA BANDA, MARIA GARCIA

Journal:

Journal of Bioinformatics and Computational Biology

Year:

2005

Language:

english

File:

PDF, 916 KB

english, 2005

17

A method for detecting symmetries in constraint models and its generalisation

Mears, Christopher, Garcia de la Banda, Maria, Wallace, Mark, Demoen, Bart

Journal:

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

18

[Lecture Notes in Computer Science] Logic Programming Volume 5366 || Quantified Equilibrium Logic and Foundations for Answer Set Programs

Garcia de la Banda, Maria, Pontelli, Enrico

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

19

[Lecture Notes in Computer Science] Logic Programming Volume 5366 || A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living

Garcia de la Banda, Maria, Pontelli, Enrico

Year:

2008

Language:

english

File:

PDF, 542 KB

english, 2008

20

Cooperative effects in the substrate specificity of the complement protease C1s

Boyd, Sarah E., Kerr, Felicity K., Albrecht, David W., de la Banda, Maria Garcia, Ng, Natasha, Pike, Robert N.

Journal:

Biological Chemistry

Year:

2009

Language:

english

File:

PDF, 81 KB

english, 2009

21

Solving Talent Scheduling with Dynamic Programming

Garcia de la Banda, Maria, Stuckey, Peter J., Chu, Geoffrey

Journal:

INFORMS Journal on Computing

Year:

2011

Language:

english

File:

PDF, 227 KB

english, 2011

22

Improving abstract interpretations by combining domains

Codish, Michael, Mulkers, Anne, Bruynooghe, Maurice, de la Banda, Maria García, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

23

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Analyzing logic programs with dynamic scheduling

Marriott, Kim, García de la Banda, María José, Hermenegildo, Manuel

Year:

1994

Language:

english

File:

PDF, 1.28 MB

english, 1994

24

Visual search tree profiling

Shishmarev, Maxim, Mears, Christopher, Tack, Guido, Garcia de la Banda, Maria

Journal:

Year:

2016

Language:

english

File:

PDF, 1.70 MB

english, 2016

25

Independence in CLP languages

García de la Banda, María, Hermenegildo, Manuel, Marriott, Kim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 455 KB

english, 2000

26

Introduction to the 24th international conference on logic programming special issue

DE LA BANDA, MARIA GARCIA, PONTELLI, ENRICO

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 39 KB

english, 2011

27

Introduction to the special issue on Prolog systems

DEMOEN, BART, DE LA BANDA, MARIA GARCIA

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 50 KB

english, 2012

28

Optimizing compilation of constraint handling rules in HAL

HOLZBAUR, CHRISTIAN, DE LA BANDA, MARIA GARCIA, STUCKEY, PETER J., DUCK, GREGORY J.

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 230 KB

english, 2005

29

Improving PARMA trailing

SCHRIJVERS, TOM, DEMOEN, BART, DE LA BANDA, MARIA GARCIA, STUCKEY, PETER J.

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 292 KB

english, 2006

30

CD34 expression and the outcome of nucleophosmin 1-mutated acute myeloid leukemia

Juncà, Jordi, Garcia, Olga, Garcia-Caro, Montse, Vila, Jordi, Zamora, Lurdes, Cabezón, Marta, Alonso, Esther, de la Banda, Esmeralda, Rodríguez-Hernández, Inés, Ribera, Josep Maria, Millá, Fuensanta

Journal:

Annals of Hematology

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

31

Effects on intestinal microbiota and immune genes of Solea senegalensis after suspension of the administration of Shewanella putrefaciens Pdp11

Vidal, Sara, Tapia-Paniagua, Silvana Teresa, Moriñigo, Jesús Miguel, Lobo, Carmen, García de la Banda, Inés, Balebona, María del Carmen, Moriñigo, Miguel Ángel

Journal:

Fish & Shellfish Immunology

Year:

2016

Language:

english

File:

PDF, 1.98 MB

english, 2016

32

What do Constraint Programming Users Want to See? Exploring the role of Visualisation in Profiling of Models and Search

Goodwin, Sarah, Mears, Christopher, Dwyer, Tim, Garcia de la Banda, Maria, Tack, Guido, Wallace, Mark

Journal:

IEEE Transactions on Visualization and Computer Graphics

Year:

2016

Language:

english

File:

PDF, 19.26 MB

english, 2016

33

Statistical inference of protein structural alignments using information and compression

Collier, James H., Allison, Lloyd, Lesk, Arthur M., Stuckey, Peter J., Garcia de la Banda, Maria, Konagurthu, Arun S.

Journal:

Year:

2017

Language:

english

File:

PDF, 1.07 MB

english, 2017

34

[IEEE 2017 Data Compression Conference (DCC) - Snowbird, UT, USA (2017.4.4-2017.4.7)] 2017 Data Compression Conference (DCC) - Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, Ramanan, Allison, Lloyd, Stuckey, Peter J., Banda, Maria Garcia de la, Abramson, David, Lesk, Arthur M., Konagurthu, Arun S.

Year:

2017

Language:

english

File:

PDF, 610 KB

english, 2017

35

HilD and PhoP independently regulate the expression of grhD1, a novel gene required for Salmonella Typhimurium invasion of host cells

Banda, María M., López, Carolina, Manzo, Rubiceli, Rico-Pérez, Gadea, García, Pablo, Rosales-Reyes, Roberto, De la Cruz, Miguel A., Soncini, Fernando C., Portillo, Francisco García-del, Bustamante, Ví

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 2.05 MB

english, 2018

36

Dietary administration of the probiotic Shewanella putrefaciens Pdp11 promotes transcriptional changes of genes involved in growth and immunity in Solea senegalensis larvae

Jurado, Juan, Villasanta-González, Alejandro, Tapia-Paniagua, Silvana T., Balebona, María Carmen, García de la Banda, Inés, Moríñigo, Miguel Ángel, Prieto-Álamo, María-José

Journal:

Fish & Shellfish Immunology

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

37

Publisher Correction: HilD and PhoP independently regulate the expression of grhD1, a novel gene required for Salmonella Typhimurium invasion of host cells

Banda, María M., López, Carolina, Manzo, Rubiceli, Rico-Pérez, Gadea, García, Pablo, Rosales-Reyes, Roberto, De la Cruz, Miguel A., Soncini, Fernando C., García-del Portillo, Francisco, Bustamante, Ví

Journal:

Scientific Reports

Year:

2018

Language:

english

File:

PDF, 674 KB

english, 2018

38

La Escala de Control Intencional para adultos: propiedades psicométricas de la versión catalana y sus relaciones con la regulación emocional cognitiva.

Tortella-Feliu, Miquel, Ibáñez, Ignacio, García de la Banda, Gloria, Balle, Maria, Aguayo-Siquier, Blanca, Morillas-Romero, Alfonso, Llabrés, Jordi

Journal:

Anales de Psicología

Year:

2013

File:

PDF, 395 KB

2013

39

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Optimal context-sensitive dynamic partial order reduction with observers

Albert, Elvira, de la Banda, Maria Garcia, Gómez-Zamalloa, Miguel, Isabel, Miguel, Stuckey, Peter J.

Year:

2019

Language:

english

File:

PDF, 859 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски