Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Reports
|
Combinatorial Games with Incomplete InformationDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
2 |
Material Type: Reports
|
Branching List Scheduling Algorithms for the Identical Parallel Machine Scheduling ProblemCopyrightDigital Resources/Online E-Resources |
|
3 |
Material Type: Reports
|
ReproVIP Report #2.1.1 Application Deployment StrategiesDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
4 |
Material Type: Reports
|
Compiling with Abstract Interpretation (with appendices)Attribution - ShareAlikeDigital Resources/Online E-Resources |
|
5 |
Material Type: Reports
|
Compiling with Abstract Interpretation (with appendices)Attribution - ShareAlikeDigital Resources/Online E-Resources |
|
6 |
Material Type: Reports
|
2023 ACTIVITY REPORT Project-Team EVREFDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
7 |
Material Type: Reports
|
Research protocol and results for A Tertiary Study on Quality in Use Evaluation of Smart Environment ApplicationsDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
8 |
Material Type: Reports
|
A Methodological Guide for the Validation of Logic Modelling of Ladder InstructionsAttributionDigital Resources/Online E-Resources |
|
9 |
Material Type: Reports
|
Learning HJB Viscosity Solutions with PINNs for Continuous-Time Reinforcement LearningAttributionDigital Resources/Online E-Resources |
|
10 |
Material Type: Reports
|
Fairness-Privacy Issue in Adaptation of ZEXE Protocol for Exchange Between Untrusted PartiesDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
11 |
Material Type: Reports
|
Data Poisoning Attacks in Gossip LearningDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
12 |
Material Type: Reports
|
|
|
13 |
Material Type: Reports
|
Metaheuristics for (Variable-Size) Mixed Optimization Problems: A Unified Taxonomy and SurveyAttributionDigital Resources/Online E-Resources |
|
14 |
Material Type: Reports
|
The Canadian Traveller Problem on outerplanar graphsAttributionDigital Resources/Online E-Resources |
|
15 |
Material Type: Reports
|
Approximation algorithms for Job Scheduling with reconfigurable resourcesDistributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.48550/arXiv.2401.00419Digital Resources/Online E-Resources |
|
16 |
Material Type: Reports
|
CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzersAttribution ;DOI: 10.48550/arXiv.2402.14567Digital Resources/Online E-Resources |
|
17 |
Material Type: Reports
|
|
|
18 |
Material Type: Reports
|
|
|
19 |
Material Type: Reports
|
DBA and K-means clustering : Explainability problems for research on behaviors and strategiesAttributionDigital Resources/Online E-Resources |
|
20 |
Material Type: Reports
|
Formally Verified Bounds on Rounding Errors in Concrete Implementations of Logarithm-Sum-Exponential FunctionsAttributionDigital Resources/Online E-Resources |