Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interaction selection » interaction detection, interactions detection, interaction prediction
selection programs » selection programme, selecting programs, selection progress
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
interaction selection » interaction detection, interactions detection, interaction prediction
selection programs » selection programme, selecting programs, selection progress
programs program » programming program
program function » programme function, programs functional, program foundation
function https » functions https, fiction https
1
Publicado em 2008
Sumário:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2006
Sumário:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2005
Sumário:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2008
Sumário:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Sumário:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2015
Sumário:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2015
Sumário:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2013
Sumário:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
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
15
Publicado em 2012
Sumário:
“... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2015
Sumário:
“...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2014
Sumário:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2013
Sumário:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Por Adefolalu, Adegoke, Asmuri, Siti Noraini, Kadar, Masne, Razaob, Nor Afifi, Chui, Chai Siaw, Mohd Rasdi, Hanif Farhan
Publicado em 2024
“... interaction effect for depression (p = 0.045) in the control group. Conclusions The buddy program training...”Publicado em 2024
Obter o texto integral
Artigo
20
Publicado em 2014
Sumário:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”Obter o texto integral
Recurso Electrónico
livro electrónico