Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
function data » functions data, functional data, function dna
data https » java https
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
function data » functions data, functional data, function dna
data https » java https
1
Publicado em 2008
Sumário:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado em 2015
Sumário:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
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
4
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
5
Publicado em 2006
Sumário:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado em 2014
Sumário:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“...III Data Mining Methodologies and Processes -- Incremental Learning by Heterogeneous Bagging...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Sumário:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2012
Sumário:
“... Reduced-rank Functional PCA Model for the Analysis of Replicated Genomics Time Course Data...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... and Discrimination Integrated Strategy Conducted on Symbolic Data for Missing Data Treatment in Questionnaire Survey...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“...-Marketplaces -- Customer Future Profitability Assessment: A Data-Driven Segmentation Function Approach...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“... Python -- Further Reading -- Exercises -- Data: The First Ingredient of a Program -- What is Data...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2014
Sumário:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2008
Sumário:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2023
Sumário:
“... Based Clustering of Functional Data with Mild Outliers -- F. Antonazzo and S. Ingrassia: A Trivariate...”Open Access Book. Read online
Recurso Electrónico
livro electrónico
20
Publicado em 2010
Sumário:
“... Delay Analysis of Switched Ethernet -- Analyzing End-to-End Functional Delays on an IMA Platform...”Obter o texto integral
Recurso Electrónico
livro electrónico