Buscas alternativas:
"boundeds" » "bounders" (Expandir a busca), "boundless" (Expandir a busca), "boundedly" (Expandir a busca), "foundeds" (Expandir a busca), "groundeds" (Expandir a busca)
"bounded" » "founded" (Expandir a busca), "grounded" (Expandir a busca)
"boundeds" » "bounders" (Expandir a busca), "boundless" (Expandir a busca), "boundedly" (Expandir a busca), "foundeds" (Expandir a busca), "groundeds" (Expandir a busca)
"bounded" » "founded" (Expandir a busca), "grounded" (Expandir a busca)
1
Assuntos:
“...Bounded...”
Sobre a infinidade dos primos, o princípio da casa dos pombos e a função exponencial na Aritmética Limitada
Dissertação
2
Assuntos:
“...Bounded Dynamic Programming...”
Bounded Dynamic Programming Approach to minimize Makespan for the Blocking Flow Shop problem with Sequence Dependent Setup Times Constraints
Dissertação
3
Assuntos:
“...Bounded model checker...”
Verificação e comprovação de erros em códigos C usando bounded model checker
Dissertação
4
Assuntos:
“...Bounded rationality...”
Vieses cognitivos e o investidor individual brasileiro: uma análise da intensidade de vieses em decisões de investidores
Dissertação
5
Assuntos:
“...Bounded variation...”
Cohomologia e propriedades estocásticas de transformações expansoras e observáveis lipschitzianos
Dissertação
6
Assuntos:
“...Bounded rationality...”
A relevância da informação contábil para o mercado de capitais brasileiro sob o pressuposto da racionalidade limitada dos investidores
Tese
7
Assuntos:
“...Bounded model checking...”
Revisão de crenças em ACTL usando verificação de modelos limitada
Dissertação
8
Assuntos:
“...Bounded confidence...”
Sistemas de partículas interagentes aplicados a dinâmicas sociais: modelos de confiança limitada
Dissertação
9
10
Assuntos:
“...Bounded dual simplex...”
Análise e desenvolvimento de algoritmos eficientes de programação linear para o problema de planejamento de sistemas de transmissão a longo prazo
Tese
11
Assuntos:
“...Bounded model checking...”
Verificação de programas multi-tarefas baseado no framework multiplataforma QT
Dissertação
12
Assuntos:
“...Bounded Model Checking...”
Verificação de programas C++ baseados no framework crossplataforma Qt
Dissertação
13
Assuntos:
“...[pt] GLOBALIZED BOUNDED NELDER MEAD...”
[en] OPTIMIZATION OF GEOMETRICAL CONFIGURATION OF RIGID RISERS
Tese
14
Assuntos:
“...Bounded model checking...”
LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects
Dissertação
15
Assuntos:
“...Bounded responses...”
Novos modelos estatísticos de resposta limitada para dados de compreensão leitora com estruturas dependentes
Tese
16
Assuntos:
“...Bounded rationality...”
Information contagion in P2P lending markets: empirical evidence from China
Dissertação
17
Assuntos:
“...Bounded-degree logics...”
Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado
Tese
18
Assuntos:
“...Bounded Variation Functions...”
Diferenciabilidade e aproximação por funções C1: para funções Lipschitz, de Sobolev e variação limitada.
Dissertação
19
Assuntos:
“...bounded rationality...”
Processo de contratação estruturada de serviços: estudo de caso da BRASKEM (1998 a 2004)
Dissertação
20
Assuntos:
“...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...”
BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking
Dissertação