Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A history of the Oz multiparadigm languageVan Roy, Peter ; Haridi, Seif ; Schulte, Christian ; Smolka, GertProceedings of ACM on programming languages, 2020, Vol.4 (HOPL), p.1-56 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Um modelo de programação linear inteira mista para a alocação de funcionários de uma empresa de softwareAdams, Matheus Miranda ; Vianna, Dalessandro Soares ; Vianna, Marcilene de Fátima DianinGeSec : Revista de Gestão e Secretariado, 2023-01, Vol.14 (1), p.460-487 [Periódico revisado por pares]São Paulo: Sindicato das Secretárias do Estado de São PauloTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
WAYS OF CREATING NC PROGRAMSPANDA, ANTON ; SOROCIN, PATRIK ; MICHALIK, PETERMM Science Journal, 2023-10, Vol.2023 (3) [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
ROI : An Extensible R Optimization InfrastructureTheußl, Stefan ; Schwendinger, Florian ; Hornik, KurtJournal of statistical software, 2020, Vol.94 (15), p.1-64 [Periódico revisado por pares]Foundation for Open Access StatisticsTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
The Sixth Answer Set Programming CompetitionGebser, Martin ; Maratea, Marco ; Ricca, FrancescoThe Journal of artificial intelligence research, 2017-01, Vol.60, p.41-95 [Periódico revisado por pares]San Francisco: AI Access FoundationTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Métodos e técnicas para resolução de modelos de programação inteira de grande complexidade: uma revisão sistemática da literaturaGuth, Gabriel Durães ; Dos Reis, Silvia Araújo ; Celestino, Victor Rafael Rezende ; Garcia, Reinaldo CrispinianoGeSec : Revista de Gestão e Secretariado, 2023-05, Vol.14 (2), p.2087-2101 [Periódico revisado por pares]São Paulo: Sindicato das Secretárias do Estado de São PauloTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Predicting weighted unobserved nodes in a regulatory network using answer set programmingLe Bars, Sophie ; Bolteau, Mathieu ; Bourdon, Jérémie ; Guziolowski, CaritoBMC bioinformatics, 2023-08, Vol.24 (Suppl 1), p.1-321, Article 321 [Periódico revisado por pares]London: BioMed Central LtdTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
SSW library: an SIMD Smith-Waterman C/C++ library for use in genomic applicationsZhao, Mengyao ; Lee, Wan-Ping ; Garrison, Erik P ; Marth, Gabor T Mariño-Ramírez, LeonardoPloS one, 2013-12, Vol.8 (12), p.e82138-e82138 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
MIN-MAX SOLUTIONS FOR PARAMETRIC CONTINUOUS STATIC GAME UNDER ROUGHNESS (PARAMETERS IN THE COST FUNCTION AND FEASIBLE REGION IS A ROUGH SET)Aboelnaga, Yousria A. ; Zidan, MaiUral mathematical journal, 2020-12, Vol.6 (2), p.3 [Periódico revisado por pares]Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences and Ural Federal University named after the first President of Russia B.N.YeltsinTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Application of Fuzzy Multi-Objective Programming to Regional Sewer System PlanningHuang, Chung-Fu ; Chen, Wei-Ting ; Kao, Chuan-Ksing ; Chang, Han-Jung ; Kao, Po-Min ; Wan, Terng-JouProcesses, 2023-01, Vol.11 (1), p.183 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |