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 Electrónico livro electrónico
2
Publicado em 2005
Sumário: ... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
Obter o texto integral
Recurso Electrónico livro electró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 Electrónico livro electró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 Electrónico livro electró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 Electrónico livro electrónico
7
Sumário: ...What can’t be ignored -- Nonlinear equations -- Approximation of functions and data -- Numerical...
Obter o texto integral
Recurso Electrónico livro electró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 Electrónico livro electró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 Electrónico livro electrónico
10
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2007
Sumário: ... Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2014
Sumário: ... of independence -- Empirical -- Divergence Minimizers for Hadamard Differentiable Functionals -- Advances...
Obter o texto integral
Recurso Electrónico livro electró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 Electrónico livro electró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 Electrónico livro electrónico
17
Publicado em 2008
Sumário: ... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...
Obter o texto integral
Recurso Electrónico livro electró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 Electrónico livro electró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 Electrónico livro electrónico
20
Publicado em 2005
Sumário: ...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...
Obter o texto integral
Recurso Electrónico livro electrónico