Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
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 [Peer Reviewed Journal]Full text available |
|
2 |
Material Type: Article
|
WAYS OF CREATING NC PROGRAMSPANDA, ANTON ; SOROCIN, PATRIK ; MICHALIK, PETERMM Science Journal, 2023-10, Vol.2023 (3) [Peer Reviewed Journal]Full text available |
|
3 |
Material Type: Article
|
ROI : An Extensible R Optimization InfrastructureTheußl, Stefan ; Schwendinger, Florian ; Hornik, KurtJournal of statistical software, 2020, Vol.94 (15), p.1-64 [Peer Reviewed Journal]Foundation for Open Access StatisticsFull text available |
|
4 |
Material Type: Article
|
The Sixth Answer Set Programming CompetitionGebser, Martin ; Maratea, Marco ; Ricca, FrancescoThe Journal of artificial intelligence research, 2017-01, Vol.60, p.41-95 [Peer Reviewed Journal]San Francisco: AI Access FoundationFull text available |
|
5 |
Material Type: Article
|
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 [Peer Reviewed Journal]London: BioMed Central LtdFull text available |
|
6 |
Material Type: Article
|
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 [Peer Reviewed Journal]United States: Public Library of ScienceFull text available |
|
7 |
Material Type: Article
|
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 [Peer Reviewed Journal]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.YeltsinFull text available |
|
8 |
Material Type: Article
|
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 [Peer Reviewed Journal]Basel: MDPI AGFull text available |
|
9 |
Material Type: Article
|
Declarative Algorithms and Complexity Results for Assumption-Based ArgumentationLehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, MattiThe Journal of artificial intelligence research, 2021, Vol.71, p.265-318 [Peer Reviewed Journal]San Francisco: AI Access FoundationFull text available |
|
10 |
Material Type: Article
|
Locating park-and-ride facilities for resilient on-demand urban mobilityHenry, Elise ; Furno, Angelo ; Faouzi, Nour-Eddin El ; Rey, DavidJournal of Biological Research, 2022-02, Vol.158 (158), p.102557, Article 102557 [Peer Reviewed Journal]Elsevier LtdFull text available |