Buscas alternativas:
computational computational » conversational computational (Expandir a busca), educational computational (Expandir a busca), computational simulation (Expandir a busca)
computational program » educational program (Expandir a busca)
computational computational » conversational computational (Expandir a busca), educational computational (Expandir a busca), computational simulation (Expandir a busca)
computational program » educational program (Expandir a busca)
1
Assuntos:
“...[pt] SINTESE DE PROGRAMAS...”
[en] EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Tese
2
3
4
“... (PL) e o programa LINDO [2] é utilizado para resolvê-lo. A visualização do modelo é também parte do sistema...”
[en] A COMPUTATIONAL TECHNIQUE FOR DEFINITION OF STRUT AND TIE MODELS
Tese
5
“... as técnicas preservam o comportamento observável dos programas. Esta propriedade é verificada formalmente...”
[en] COMPUTATIONAL SUPPORT TO FRAMEWORK
Tese
6
“... computational paths and a rewrite system. We use this groupoid structure to prove that computational paths also...”
Explicit computational paths in type theory
Tese
7
Assuntos:
“...Interface de programas aplicativos (software)...”
On the similarity of users in carpooling recommendation computational systems
Dissertação
8
9
10
11
“...Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação...”
Computational techniques to find and suppress bone from chest radiological images.
Dissertação
12
13
Assuntos:
“...Computational effort analysis...”
Computational effort analysis and control in High Efficiency Video Coding
Dissertação
14
15
“... nas equações propostas. O programa possui uma interface gráfica amigável para o usuário no que diz respeito...”
[en] NUMERICAL AND COMPUTATIONAL SIMULATION OF LOW DENSITY TURBIDITY CURRENTS FOR BASIN SEDIMENTATION
Tese
16
Assuntos:
“...Computational hemodynamics...”
Computational models for the geometric and functional analysis of the coronary circulation
Tese
17
“..., foram M06- 2X and MP2 com as funções de base aug-cc-pVTZ-PP. A fim de revelar os efeitos solvente e do agente...”
Computational Investigations of Reactivity and Selectivity of Methylation of Nitronates [R1R2CNO2]–
Tese
18
“... experimental and innovative computational studies for the evaluation of drying. This absence makes the...”
Advances on refractory castables drying process coupling experimentation and computational modelling
Tese
19
“... computational cost. In this thesis, experimental methods and the unresolved CFD-DEM coupling were applied...”
Liquid-solid fluidized bed dynamics: experimental and computational analysis
Tese