Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
function metrics » function matrices, functions metric, functions matrices
metrics program » methods program
https computing » paths computing, arts computing, bites computing
program https » programs https, program has, program help
function metrics » function matrices, functions metric, functions matrices
metrics program » methods program
https computing » paths computing, arts computing, bites computing
program https » programs https, program has, program help
1
Tabla de Contenidos:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Enlace del recurso
Electrónico
eBook
5
Publicado 2006
Tabla de Contenidos:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Enlace del recurso
Electrónico
eBook
6
Publicado 2013
Tabla de Contenidos:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Enlace del recurso
Electrónico
eBook
7
Publicado 2010
Tabla de Contenidos:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Enlace del recurso
Electrónico
eBook
8
Publicado 2013
Tabla de Contenidos:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Enlace del recurso
Electrónico
eBook
9
Publicado 2008
Tabla de Contenidos:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”Enlace del recurso
Electrónico
eBook
10
Publicado 2008
Tabla de Contenidos:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”Enlace del recurso
Electrónico
eBook
11
Publicado 2010
Tabla de Contenidos:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Enlace del recurso
Electrónico
eBook
12
Tabla de Contenidos:
“... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
13
Tabla de Contenidos:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
14
Publicado 2015
Tabla de Contenidos:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”Enlace del recurso
Electrónico
eBook
15
Publicado 2015
Tabla de Contenidos:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”Enlace del recurso
Electrónico
eBook
16
Publicado 2015
Tabla de Contenidos:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”Enlace del recurso
Electrónico
eBook
17
Publicado 2008
Tabla de Contenidos:
“... Recognition -- Object Detection Using Neural Networks and Genetic Programming -- Direct 3D Metric...”Enlace del recurso
Electrónico
eBook
18
Publicado 2014
Tabla de Contenidos:
“...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... by Nmatrix–Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution...”Enlace del recurso
Electrónico
eBook