1
Julkaistu 2010
Sisällysluettelo: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Garofalo, Raffaele., Garofalo, Raffaele.
Julkaistu 2011
Aiheet: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Bjørner, Dines., Bjørner, Dines.
Julkaistu 2006
Sisällysluettelo: ... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2012
Sisällysluettelo: ... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ...-inspired Multi-net Paralleling Mechanism Based on Web Application -- DRN: A CORBA-Based Distributed...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2007
Sisällysluettelo: ... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... (IBBB 2010) -- Hashimoto’s Thyroiditis with Petri Nets -- Modelling of the Temporomandibular Joints...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2005
Sisällysluettelo: ... and Singular Value Decomposition -- Sentence Boundary Detection in Turkish -- Multiple Sets of Rules for Text...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2007
Sisällysluettelo: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2006
Sisällysluettelo: ...Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2006
Sisällysluettelo: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2012
Sisällysluettelo: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
Hae kokoteksti
Elektroninen E-kirja