1
Publicerad 2006
Innehållsförteckning: ...Comparison Maps for Relatively Free Resolutions -- A Symbolic-Numeric Approach for Solving...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2008
Innehållsförteckning: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2007
Innehållsförteckning: ... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2012
Innehållsförteckning: ...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2007
Innehållsförteckning: ...Plenary & Keynote Papers -- Computational Methods Combining Large Eddy Simulation with Approximate...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2008
Innehållsförteckning: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2007
Innehållsförteckning: ... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2013
Innehållsförteckning: ... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2006
Innehållsförteckning: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2006
Innehållsförteckning: ... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2010
Innehållsförteckning: ... with Salient Boundaries -- Fast Covariance Computation and Dimensionality Reduction for Sub-window Features...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2015
Innehållsförteckning: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2005
Innehållsförteckning: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
Hämta fulltext
Elektronisk E-bok
14
av Lopez, Cesar., Lopez, Cesar.
Publicerad 2014
Ämnen: ...Programming languages (Electronic computers)....
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2005
Innehållsförteckning: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Hämta fulltext
Elektronisk E-bok
16
av Harrison, Lee Andrew (Andy),
Publicerad 2020
Innehållsförteckning: ... Resolution -- PROBLEMS -- References -- Chapter 6 Target Detection -- 6.1 OPTIMAL DETECTION -- 6.1.1 Neyman...
Bok
17
Publicerad 2010
Innehållsförteckning: ... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2010
Innehållsförteckning: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... on Threshold of Regular Random k-SAT -- Dynamic Scoring Functions with Variable Expressions: New SLS Methods...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2006
Innehållsförteckning: ... and Efficient Geometric Computing -- Some Computational Challenges in Today’s Bio-medicine -- Contributed Papers...
Hämta fulltext
Elektronisk E-bok