Linked e-resources

Details

Insights from the Conscious Turing Machine (CTM)
Speculative Smart Contracts
Optimization from Structured Samples-an Effective Approach for Data-Driven Optimization
Recent Developments in Property Testing of Boolean Functions
AC0 Circuits, First-Order Logic, and Well-Structured graphs
Model-Based Digital Engineering and Verification of Intelligent Systems
Tight Online Algorithms for Unrelated Machine Load Balancing with Predictions
Fast Sampling Constraint Satisfaction Solutions via the Lovász Local Lemma
Pool Block Withholding Attack with Rational Miners
Approximation Algorithms for the Directed Path Partition Problems
Faster Algorithms for k-Subset Sum and variations
Hardness and Algorithms for Electoral Manipulation under Media Influence
Improved Approximation Algorithms for Multiprocessor Scheduling with Testing.

Browse Subjects

Show more subjects...

Statistics

from
to
Export