1
2
“...Today’s world is full of devices and machines controlled by software, which depend upon programming...”
Strategies for testing and formalizing properties of modern programming languages
Tese
3
Assuntos:
“...Smart devices ...”
Developing programming skills on digital native children through the interaction with smart devices
Dissertação
4
6
“..., delivering accessible and small-size equipment and devices that open a range of new applications. Innovation...”
PyMR: a framework for programming magnetic resonance systems
Tese
7
Assuntos:
“...Parallel Programming...”
High-level programming abstractions for distributed stream processing
Dissertação
8
Assuntos:
“...Programming tool...”
A Model for Software Measurement Aiming to Guide Evaluations and Comparisons between Programming Tools to Implement GPU Applications
Tese
9
10
“...Fluid diodes are devices that inhibit the fluid to flow from one environment to another and...”
Topology optimization of fluid diodes based on integer linear programming.
Tese
11
“...-trivial and requires specific knowledge that deviates from the usual software programming...”
Lina: a fast design optimisation tool for software-based FPGA programming
Tese
12
Assuntos:
“...Allocation of fault indicator devices...”
Alocação ótima de indicadores de falta em redes de distribuição de energia elétrica utilizando modelagem matemática
Dissertação
13
Assuntos:
“...Adaptive devices...”
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Tese
14
Assuntos:
“...Mixed integer linear programming...”
Mathematical optimization of unbalanced networks operation with smart grid devices
Tese
15
Assuntos:
“...Adaptive device...”
Considerações sobre o desenvolvimento de linguagens adaptativas de programação.
Tese
16
Assuntos:
“...Allocation of protective devices and switches...”
Alocação de dispositivos de proteção e manobras para otimização da confiabilidade de sistemas elátricos de distribuição de energia com restrições de restabelecimento
Dissertação
17
Assuntos:
“...Teaching and learning of programming...”
SSPOT-VR: Uma Estação Espacial em Realidade Virtual para Treinamento em Programação
Dissertação
18
19
Assuntos:
“...Mixed-integer linear programming...”
Formulações para o problema de alocação de chaves com incertezas
Dissertação
20
Assuntos:
“...In-System Programming (ISP)...”
Metodologia para reconstrução de dados em dispositivos móveis com Sistema Operacional Android mediante aplicação de técnicas ISP e Combination firmware
Dissertação