1
Publicado em 2013
Sumário: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2005
Sumário: ... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2010
Sumário: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
por Brandt, Siegmund., Brandt, Siegmund.
Publicado em 2014
Sumário: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2010
Sumário: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2013
Sumário: ... and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Sumário: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2015
Sumário: ... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2007
Sumário: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2007
Sumário: ... Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
14
Publicado em 2014
Sumário: ... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
por Yee, Thomas W., Yee, Thomas W.
Publicado em 2015
Sumário: ... -- Zero-inated, Zero-altered and Positive Discrete Distributions -- On VGAM Family Functions -- Appendix...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2014
Sumário: ... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2007
Sumário: ... of Node Information on Autonomous Load Distribution Method -- Methodology of Developing Computer-Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2005
Sumário: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obter o texto integral
Recurso Eletrônico livro eletrônico