1
Publicerad 2008
Innehållsförteckning: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2007
Innehållsförteckning: ... and Quantum Finite Automata -- Approximability and Non-approximability Results in Computing the Mean Speedup...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2008
Innehållsförteckning: ...Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2006
Innehållsförteckning: ... for Nonlinear Programming -- Factors Affecting the Performance of Optimization-based Multigrid Methods -- A...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2007
Innehållsförteckning: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2007
Innehållsförteckning: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2008
Innehållsförteckning: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2007
Innehållsförteckning: ... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2006
Innehållsförteckning: ... Network -- An Application Intersection Marketing Ontology -- How to Leak a Secret: Theory and Applications...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2010
Innehållsförteckning: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2010
Innehållsförteckning: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2013
Innehållsförteckning: ...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2013
Innehållsförteckning: ... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2008
Innehållsförteckning: ... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...
Hämta fulltext
Elektronisk E-bok
15
Publicerad 2013
Innehållsförteckning: ... Administration -- Playing With Numbers: Development Issues and Evaluation Results of a Computer Game for Primary...
Hämta fulltext
Elektronisk E-bok
16
Innehållsförteckning: ... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2014
Innehållsförteckning: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2013
Innehållsförteckning: ... on Proteins (L. Liberti, C. Lavor, A. Mucherino) -- 4. Spheres Unions and Intersections and Some...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2010
Innehållsförteckning: ... of Traffic Flow at a Signalised Intersection -- A Novel Method for Simulating Cancer Growth -- Towards...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2011
Ämnen: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
Hämta fulltext
Elektronisk E-bok