Buscas alternativas:
parallel victor » parallel vector (Expandir a busca), parallel vectors (Expandir a busca), parallel factor (Expandir a busca)
victor linear » vetor linear (Expandir a busca), victor alencar (Expandir a busca), victor lima (Expandir a busca)
parallel victor » parallel vector (Expandir a busca), parallel vectors (Expandir a busca), parallel factor (Expandir a busca)
victor linear » vetor linear (Expandir a busca), victor alencar (Expandir a busca), victor lima (Expandir a busca)
1
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Programação Linear, Não-Linear, Mista e Dinâmica...”
Modelagem matemática para otimização do planejamento e programação da produção em uma fundição de pequeno porte
Dissertação
4
Assuntos:
“...Metabolic programming...”
Consumo materno de dieta hiperlipídica: alteração na expressão do receptor de angiotensina II (AT1) e hipertrofia no coração da prole ao desmame
Dissertação