1
Publicado 2010
Tabla de Contenidos: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Enlace del recurso
Electrónico eBook
2
Publicado 2006
Tabla de Contenidos: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
Enlace del recurso
Electrónico eBook
4
Publicado 2014
Tabla de Contenidos: ... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...
Enlace del recurso
Electrónico eBook
5
Publicado 2013
Tabla de Contenidos: ... Universal Minimal Flows of Groups of Automorphisms of Uncountable Structures (D. Bartosova...
Enlace del recurso
Electrónico eBook
6
Publicado 2013
Tabla de Contenidos: ... regulation by androgen receptor -- The Functionality of Prostate Cancer Predisposition Risk Regions...
Enlace del recurso
Electrónico eBook
7
Publicado 2010
Tabla de Contenidos: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
Enlace del recurso
Electrónico eBook
8
Publicado 2005
Tabla de Contenidos: ... Cycles for Topologically Embedded Graphs -- Delineating Boundaries for Imprecise Regions -- Exacus...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... Navigability -- Violator Spaces: Structure and Algorithms -- Region-Restricted Clustering for Geographic Data...
Enlace del recurso
Electrónico eBook
10
Publicado 2005
Tabla de Contenidos: ... Motifs -- Parameter Landscape Analysis for Common Motif Discovery Programs -- Inferring Cis-region...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...
Enlace del recurso
Electrónico eBook
12
Publicado 2005
Tabla de Contenidos: ... Structure -- Graph Seriation Using Semi-definite Programming -- Comparing String Representations...
Enlace del recurso
Electrónico eBook
13
Publicado 2007
Tabla de Contenidos: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Enlace del recurso
Electrónico eBook
14
Publicado 2005
Tabla de Contenidos: ... Applications -- Retrieving Regional Information from Web by Contents Localness and User Location -- Towards...
Enlace del recurso
Electrónico eBook
15
Publicado 2010
Tabla de Contenidos: ... to Summarise Data Streams and Highlight Anomalous Changes -- Using Enriched Ontology Structure for Improving...
Enlace del recurso
Electrónico eBook
16
Publicado 2010
Tabla de Contenidos: ...Reasoning with Uncertainty -- An Algorithm to Find a Perfect Map for Graphoid Structures...
Enlace del recurso
Electrónico eBook
17
Publicado 2006
Tabla de Contenidos: ... Multilabel Classification: A Case Study in Functional Genomics -- Clustering Scientific Literature Using...
Enlace del recurso
Electrónico eBook
18
Publicado 2014
Tabla de Contenidos: ... Change and Forest Values -- Chapter 6 Regional Highlights of Climate Change -- Part III Responding...
Enlace del recurso
Electrónico eBook
19
Publicado 2007
Tabla de Contenidos: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Enlace del recurso
Electrónico eBook
20
Publicado 2008
Tabla de Contenidos: ... of Pseudogenes in Identifying Gene Losses -- Duplication Mechanism and Disruptions in Flanking Regions Influence...
Enlace del recurso
Electrónico eBook