1
Udgivet 2008
Indholdsfortegnelse: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Få fuldtekst
Electronisk eBog
2
Udgivet 2008
Indholdsfortegnelse: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
Få fuldtekst
Electronisk eBog
3
Udgivet 2005
Indholdsfortegnelse: ... Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian...
Få fuldtekst
Electronisk eBog
4
Indholdsfortegnelse: ... journey -- 6.2.2 Being Mary: Learning as problem solving -- 6.2.3 Being Olivia: Learning as personal...
Få fuldtekst
Electronisk eBog
5
Udgivet 2013
Indholdsfortegnelse: ...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...
Få fuldtekst
Electronisk eBog
6
Udgivet 2013
Indholdsfortegnelse: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
Få fuldtekst
Electronisk eBog
7
Udgivet 2013
Indholdsfortegnelse: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
Få fuldtekst
Electronisk eBog
8
Udgivet 2005
Indholdsfortegnelse: ... by Fostering Argumentative Speech -- Monitoring Local Coherence Through Bridging Integration -- Learning...
Få fuldtekst
Electronisk eBog
9
Udgivet 2005
Indholdsfortegnelse: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Få fuldtekst
Electronisk eBog
10
Udgivet 2006
Indholdsfortegnelse: ... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...
Få fuldtekst
Electronisk eBog
11
Udgivet 2014
Indholdsfortegnelse: ... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... and Strategy for the Steel Mill Slab Design Problem -- Constraint-Based Temporal Reasoning for E-Learning...
Få fuldtekst
Electronisk eBog
13
Udgivet 2012
Indholdsfortegnelse: ... Students’ Problem Solving Behaviour -- Taming Digital Traces for Informal Learning: A Semantic-Driven...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Cheating -- Application of a Feed-forward Control Structure -- Reactive Planning to Compose Learning Routes...
Få fuldtekst
Electronisk eBog
15
af Spear, Chris., Spear, Chris.
Udgivet 2008
Indholdsfortegnelse: ... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...
Få fuldtekst
Electronisk eBog
16
Udgivet 2013
Indholdsfortegnelse: ... P.A.T.H.S.:An integration of findings based on program implementers -- 11 Qualitative evaluation...
Få fuldtekst
Electronisk eBog
17
Udgivet 2005
Indholdsfortegnelse: ... and Integrating the Knowledge Bases of Initial Teacher Education: The Knowledge Building Community Program...
Få fuldtekst
Electronisk eBog
18
Udgivet 2007
Indholdsfortegnelse: ...’ Open-inquiry Learning -- Physics in Context – A program for Improving Physics Instruction in Germany...
Få fuldtekst
Electronisk eBog
19
Udgivet 2010
Indholdsfortegnelse: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Få fuldtekst
Electronisk eBog
20
af Grout, Ian A., Grout, Ian A.
Udgivet 2006
Indholdsfortegnelse: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
Få fuldtekst
Electronisk eBog