Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computing proceeding » computing proceedings, computing providing, computing protecting
interval computing » intervals comparing, internet computing, interval counting
proceeding program » proceedings program, processing program, processing programs
program abstracts » programme abstracts
abstracts https » abstracts themes
computing proceeding » computing proceedings, computing providing, computing protecting
interval computing » intervals comparing, internet computing, interval counting
proceeding program » proceedings program, processing program, processing programs
program abstracts » programme abstracts
abstracts https » abstracts themes
1
Publicado em 2010
Sumário:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2007
Sumário:
“... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... Growth Model [Extended Abstract]. Lower Bounds for Approximate LDCs -- Holographic Algorithms Beyond...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2015
Sumário:
“...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2010
Sumário:
“... Abstraction Simplification -- Compositional Closure for Bayes Risk in Probabilistic Noninterference -- Session...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2012
Sumário:
“...A Linear Time Algorithm for Computing Minmax Regret 1-Median on a Tree -- A Simple D2-Sampling...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2008
Sumário:
“...-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“...: Kernelization Based on Edge Cuts -- Computing the Deficiency of Housing Markets with Duplicate Houses -- A New...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... -- Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2006
Sumário:
“... Combinatorial Approach to Collapsing Words -- Optimal Linear Arrangement of Interval Graphs -- The Lempel-Ziv...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“...? -- Properties Complementary to Program Self-reference -- Algorithms I -- Dobrushin Conditions for Systematic...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“... of Propositional Interval Neighborhood Logics -- Reasoning About Sequences of Memory States -- Cut Elimination...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... -- Towards Practical Feasibility of Core Computation in Data Exchange -- Data-Oblivious Stream Productivity...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]