Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interactive learning » active learning, effective learning, cooperative learning
program constraint » programs constraints, problem constraint, programming constraint
diagram constraint » diagonal constraints, diagram constructing, diagrams constructing
learning program » training program, learning problems, learning process
interactive learning » active learning, effective learning, cooperative learning
program constraint » programs constraints, problem constraint, programming constraint
diagram constraint » diagonal constraints, diagram constructing, diagrams constructing
learning program » training program, learning problems, learning process
1
Publicado em 2014
Sumário:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2015
Sumário:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2013
Sumário:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2011
Sumário:
“... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Sumário:
“...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... -- Assessing the Learners’ Motivation in the E-Learning Environments for Programming Education -- Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... for Boosting -- K-Means with Large and Noisy Constraint Sets -- Towards ‘Interactive’ Active Learning in Multi...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2015
Sumário:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2014
Sumário:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... with Diagrams -- Usability of Accessible Bar Charts -- Diagram Editing on Interactive Displays Using Multi-touch...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2010
Sumário:
“...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Sumário:
“... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”Obter o texto integral
Recurso Electrónico
livro electrónico