Search: amazon.science | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

How to integrate formal proofs into software development

6 years ago

2 points

182.

Machine learning helps unlock data related to Covid-19 epidemic

6 years ago

2 points

183.

Amazons AutoGluon helps deploy deep learning models with jst a few lines of code

6 years ago

2 points

184.

How AWS’s Firecracker virtual machines work

6 years ago

2 points

185.

Amazon EBS addresses the challenge of the CAP Theorem at scale

6 years ago

2 points

186.

Amazon Robotics researchers are solving a “beautiful problem”

4 years ago

1 points

187.

We built Cedar with automated reasoning and differential testing (2023)

5 months ago

1 points

188.

Amazon Announces 2026 Amazon Nova AI Challenge: Trusted Software Agents Track

7 months ago

1 points

189.

Chronos-2: From univariate to universal forecasting

8 months ago

1 points

190.

A decade of database innovation: The Amazon Aurora story

10 months ago

1 points

191.

Three challenges in machine-based reasoning

a year ago

1 points

192.

Amazon Nova Premier: Technical report and model card

a year ago

1 points

193.

Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3 [pdf]

assets.amazon.science

2 years ago

1 points

194.

Resource Management in Aurora Serverless

2 years ago

1 points

195.

Resource Management in Aurora Serverless

2 years ago

1 points

196.

How the Lean language brings math to coding and coding to math

2 years ago

1 points

197.

A Cloud-Optimized Transport Protocol for Elastic and Scalable HPC (2020) [pdf]

assets.amazon.science

2 years ago

1 points

198.

Responsible AI in the wild: Lessons learned at AWS

3 years ago

1 points

199.

Long-form-video understanding and synthesis

3 years ago

1 points

200.

Teaching language models to reason consistently

3 years ago

1 points

201.

A heterogeneous graph-based framework for scalable fraud detection

3 years ago

1 points

202.

Quick guide to Amazon's 65-plus papers at this year's ACL

3 years ago

1 points

203.

More-efficient approximate nearest-neighbor search

3 years ago

1 points

204.

Science of Price Experimentation at Amazon

3 years ago

1 points

205.

Neural encoding enables more-efficient recovery of lost audio packets

3 years ago

1 points

206.

Auto Machine Translation and Synchronization for “Dive into Deep Learning”

4 years ago

1 points

207.

Shifting left for early detection of machine-learning bugs

4 years ago

1 points

208.

Amazon's Machine Learning University debuts responsible AI course

4 years ago

1 points

209.

How Amazon Robotics is working to eliminate the need for barcodes

4 years ago

1 points

210.

Amazon SageMaker's fifth birthday: Looking back, looking forward

4 years ago

1 points