1
Published 2013
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ...Higher-Order Termination: From Kruskal to Computability -- Deciding Satisfiability of Positive...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Parallel/Distributed Architectures and Mobile Computing -- Evaluating Performance of New Quad-Core...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...
View full text
Electronic eBook
13
Published 2011
Table of Contents: ... Interfaces -- 2.1.4. Using Storyboards to Integrate Models and Informal Design Knowledge -- 3. User Interface...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... Approach -- Integrity for Approximate Joins on Untrusted Computational Servers -- Fast Revocation...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Highlighting and Intersection Rating Explained -- Applying Semantic Web Technologies for Geodata Integration...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... of Integrated Gate Commutated Thyristor -- Multi-fuel combustion measurement in utility boiler for optimal...
View full text
Electronic eBook