HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
Formal verification makes RSA faster – and faster to deploy
amazon.science
discuss
2 years ago
jrpelkonen
3 points
62.
▲
Amazon Scholar solves century-old problem with automated reasoning
amazon.science
discuss
2 years ago
belter
3 points
63.
▲
Amazon Scholar solves century-old problem with automated reasoning
amazon.science
discuss
2 years ago
RafelMri
3 points
64.
▲
Adapting language model architectures for time series forecasting
amazon.science
discuss
2 years ago
abdulfatir
3 points
65.
▲
Panda: Performance debugging for databases using LLM agents
amazon.science
discuss
2 years ago
l1n
3 points
66.
▲
Real-time anomaly detection under distribution drift
amazon.science
discuss
2 years ago
rustoo
3 points
67.
▲
Prime Video uses WASM to update its app for more than 8k device types
amazon.science
discuss
3 years ago
faheel
3 points
68.
▲
Amazon releases code, datasets for developing embodied AI agents
amazon.science
discuss
3 years ago
mbhep27
3 points
69.
▲
DynamoDB White Paper (2007)
amazon.science
discuss
3 years ago
LAC-Tech
3 points
70.
▲
How Amazon Robotics is working on new ways to eliminate the need for barcodes
amazon.science
discuss
4 years ago
atlasunshrugged
3 points
71.
▲
In reinforcement learning, slower networks can learn faster
amazon.science
discuss
4 years ago
jonbaer
3 points
72.
▲
Building systems that automatically adjust to workloads and data
amazon.science
discuss
4 years ago
reckel
3 points
73.
▲
Pinch Grasping Robot Amazon
amazon.science
discuss
4 years ago
throwaway4220
3 points
74.
▲
Scaling to trillion-parameter model training on AWS
amazon.science
discuss
4 years ago
reckel
3 points
75.
▲
The science behind NFL Next Gen Stats’ new passing metric
amazon.science
discuss
4 years ago
reckel
3 points
76.
▲
A hyperparameter optimization library for reproducible research
amazon.science
discuss
4 years ago
reckel
3 points
77.
▲
Machine Learning University Expands with MLU Explains
amazon.science
discuss
4 years ago
reckel
3 points
78.
▲
Profiling deep learning workloads at scale using Amazon SageMaker
amazon.science
discuss
4 years ago
reckel
3 points
79.
▲
Simplifying BERT-based models to increase efficiency, capacity
amazon.science
discuss
4 years ago
rntn
3 points
80.
▲
Compressing BART models for resource-constrained operation
amazon.science
discuss
4 years ago
szorio
3 points
81.
▲
What's Next for Deep Learning
amazon.science
discuss
4 years ago
reckel
3 points
82.
▲
Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]
assets.amazon.science
discuss
5 years ago
hakejam
3 points
83.
▲
Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]
assets.amazon.science
discuss
5 years ago
simonebrunozzi
3 points
84.
▲
Amazon open-sources library for prediction over large output spaces
amazon.science
discuss
5 years ago
reckel
3 points
85.
▲
Using machine learning for virtual-machine placement in the cloud
amazon.science
discuss
5 years ago
reckel
3 points
86.
▲
Amazon’s robot arms break ground in safety, technology
amazon.science
discuss
5 years ago
reckel
3 points
87.
▲
MLSys: Bridging the divide between machine learning and systems
amazon.science
discuss
5 years ago
reckel
3 points
88.
▲
Amazon, MIT team up to add driver know-how to delivery-routing models
amazon.science
discuss
5 years ago
reckel
3 points
89.
▲
Growing generative adversarial networks, layer by layer
amazon.science
discuss
5 years ago
tmfi
3 points
90.
▲
Homomorphic encryption E2E: privacy preserving machine learning on AWS
amazon.science
discuss
5 years ago
artaak
3 points
More