-
Manipulação de cliques em processos de predição estrutural de moléculas complexas
Vol 55, 2023 -161107 -
Aplicando técnicas de programacão por restricões com raciocínio automático para verificação formal de software
Vol 55, 2023 -161143 -
Problemas de Roteamento de Veículos com restrições temporais: formulação IP, método BCP via VRPsolver e casos polinomiais em grafos
Vol 55, 2023 -161172 -
Jogos da Posição Convexa, do Intervalo e da Envoltória em Grafos
Vol 55, 2023 -160566 -
Jogos baseados em torres de diferentes capacidade
Vol 55, 2023 -160951
Publicações em outros proceedings
-
SBPO 2024
Jogos Partizan de Convexidade de Grafos
-
BrazMedChem 2022
Maximization of SARS-CoV-2 neutralization by antibodies through Monte Carlo optimization
-
SBPO 2021
Avaliação empírica de algoritmos clássicos para escalonamento de projetos com maximização de valor presente líquido
-
SBQT 2021
Comparative analysis among different structural minimization methods based on Branch-and-Prune structural reconstruction algorithm
-
SBQT 2021
Theoretical simulations for the Delta variant of SARS-CoV-2 for understanding the evolution of structural stability
Discussões Científicas de Qualidade
Com ~200 mil publicações revisadas por pesquisadores do mundo todo, o Galoá impulsiona cientistas na descoberta de pesquisas de ponta por meio de nossa plataforma indexada.
Confira nossos produtos e como podemos ajudá-lo a dar mais alcance para sua pesquisa:
