21
Assuntos:
“...CNPQ::ENGENHARIAS...”
A formal specification for syntactic annotation and its usage in corpus development and maintenance: a case study in universal dependencies
Dissertação
22
Assuntos:
“...CNPQ::ENGENHARIAS...”
Model checking dolev-yao multi-agent epistemic logic
Dissertação
23
Assuntos:
“...CNPQ::ENGENHARIAS...”
Wave induced fatigue assessment on free spanning pipelines
Dissertação
24
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA CIVIL...”
Dow Jones Index change prediction using text mining
Dissertação
25
Assuntos:
“...CNPQ::ENGENHARIAS...”
Transfer learning by mapping and revising boosted relational dependency networks
Dissertação
26
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA MECANICA...”
A comparative analysis between Newtonian laminarturbulent transition and viscoelastic drag reducing turbulent flows employing the DNS approach
Dissertação
27
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA QUIMICA...”
Cashew nut shell liquid as a green alternative to functionalize polymers: experimental and modeling investigation
Dissertação
28
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA QUIMICA...”
Gray-box nonlinear system identification using polynomial NARMAX models
Dissertação
29
Assuntos:
“...CNPQ::ENGENHARIAS...”
Flow visualization of silica nanofluid injection for enhanced oil recovery in a micromodel based on wellsorted grain-size porous media
Dissertação
30
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
An indirect adaptive control approach to image based visual servoing for translational trajectory tracking
Dissertação
31
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Optimization and control of reservoir models using system identification and machine learning tools
Dissertação
32
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Reachability-based diagnosability for hybrid systems
Dissertação
33
Assuntos:
“...CNPQ::ENGENHARIAS...”
Identification of quality characteristics for mobile applications
Dissertação
34
Assuntos:
“...CNPQ::ENGENHARIAS...”
Adversarial selection of challenge-response pairs as a defense against strong PUF modeling attacks
Dissertação
35
Assuntos:
“...CNPQ::ENGENHARIAS...”
A demand-aware heuristic for value-space partitioning and repartitioning
Dissertação
36
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Underwater localization using imaging sonars in 3D environments
Dissertação
37
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Underwater simulation and mapping using imaging sonar through ray theory and Hilbert maps
Dissertação
38
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA DE PRODUCAO...”
Evaluation of the Brazilian potential for producing aviation biofuels through consolidated routes
Dissertação
39
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Enforcing current-state opacity through shuffle in event observations
Dissertação
40
Assuntos:
“...CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA...”
Distributed synchronous diagnosis of discrete-event systems
Dissertação