1
Published 2006
Table of Contents: ... -- New Metrics for Static Variable Ordering in Decision Diagrams -- Widening ROBDDs with Prime Implicants...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Classroom -- 5.Focus-based Constructive Interaction -- 6.Collaborative and Differential Utterances, Pivotal...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Mental Models, Diagrams, and Maps -- Reasoning About Consistency with Spatial Mental Models: Hidden...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Construction Skills on Students’ Spontaneous Use of Diagrams When Solving Math Word Problems -- Hi-tree Layout...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Literacy: An Approach to Thinking Critically about Diagrams -- Item Differential in Computer Based...
View full text
Electronic eBook
6
Published 2014
Table of Contents: .../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Information System -- Constructing Cloud Computing Infrastructure Platform of the Digital Library Base...
View full text
Electronic eBook
8
by Suwa, Hidemaro., Suwa, Hidemaro.
Published 2014
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
Published 2011
Table of Contents: ... model of computer-aided visual design, by Ewa Grabska and Grażyna Ślusarczyk -- Design agents...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... structure interaction problems -- Stochastic load models and footbridge response -- pedestrian induced...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
View full text
Electronic eBook
12
Published 2012
Table of Contents: ... -- To Err Is Human, to Explain and Correct Is Divine: A Study of Interactive Erroneous Examples with Middle...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... -- On-Line Processing of Grammatical Structure Using Reservoir Computing -- Constructing Robust Liquid State...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Matching Problem as a Constraint Optimization Problem -- Evolving XML Schemas and Documents Using UML Class...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...
View full text
Electronic eBook
16
Table of Contents: ... -- Reacting to Player Input -- Basic Game Objects -- Adding Interaction -- A Limited Number of Lives...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Prioritized Merging with ASP -- An Interactive Algorithm to Deal with Inconsistencies in the Representation...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...-in Timing -- A New Approach to Construct Optimal Bow Tie Diagrams for Risk Analysis -- Machine Learning...
View full text
Electronic eBook