1
Publicado 2008
Tabla de Contenidos: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ...Invited Papers -- Rough Sets and Flow Graphs -- A Modal Characterization of Indiscernibility...
Enlace del recurso
Electrónico eBook
3
Publicado 2012
Tabla de Contenidos: ...Part I Clustering Large Data-Sets: Clustering Large Data Set: An Applied Comparative Study (Bocci L...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ...Lyapunov and Lyapunov-like functions -- Convex sets and their representation -- Invariant sets...
Enlace del recurso
Electrónico eBook
5
Tabla de Contenidos: ...Preface -- Introduction -- Lyapunov and Lyapunov-like Function -- Convex Sets...
Enlace del recurso
Electrónico eBook
6
Publicado 2010
Tabla de Contenidos: ...Avoiding Simplicity Is Complex -- Higher-Order Containers -- On the Completeness of Quantum...
Enlace del recurso
Electrónico eBook
7
Publicado 2015
Tabla de Contenidos: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
Enlace del recurso
Electrónico eBook
8
Publicado 2008
Tabla de Contenidos: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Enlace del recurso
Electrónico eBook
9
Publicado 2008
Tabla de Contenidos: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Enlace del recurso
Electrónico eBook
10
por Rohde, Charles A., Rohde, Charles A.
Publicado 2014
Materias: ...Statistics for Life Sciences, Medicine, Health Sciences. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
11
Publicado 2013
Tabla de Contenidos: ... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...
Enlace del recurso
Electrónico eBook
12
Publicado 2008
Tabla de Contenidos: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Enlace del recurso
Electrónico eBook
13
Publicado 2013
Tabla de Contenidos: ... -- Translating Answer-Set Programs into Bit-Vector Logic -- Making Use of Advances in Answer-Set Programming...
Enlace del recurso
Electrónico eBook
14
Tabla de Contenidos: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Enlace del recurso
Electrónico eBook
15
Publicado 2010
Tabla de Contenidos: ... Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track...
Enlace del recurso
Electrónico eBook
16
Tabla de Contenidos: ... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...
Enlace del recurso
Electrónico eBook
17
Materias: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Enlace del recurso
Electrónico eBook
18
Tabla de Contenidos: ... Bounds and Weakening of Convergence Conditions -- Point to Set Mappings -- The Newton Kantorovich Theorem...
Enlace del recurso
Electrónico eBook
19
Publicado 2006
Tabla de Contenidos: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Enlace del recurso
Electrónico eBook
20
por Bjørner, Dines., Bjørner, Dines.
Publicado 2006
Tabla de Contenidos: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Enlace del recurso
Electrónico eBook