Formal Methods Postdoctoral Researcher - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States
Communications of the ACM
June 2023
ChatGPT is Not a Technological Singularity
06.05.2023It will take many years before generative artificial intelligence has a measurable effect on the economy as a whole.
What Does AI-Powered Microsoft Bing Say?
06.05.2023The answers from the AI-powered Microsoft Bing are often useless.
Probabilistic AI That Knows How Well It's Working
06.06.2023A new technique produces artificial intelligence (AI) inference algorithms that …
Robot Centipedes Go for a Walk
06.06.2023Engineers have created a centipede-like walking robot that can navigate …
An Algorithm for Sharper Protein Films
06.06.2023Researchers have created an algorithm to more precisely analyze ultra-fast …
Should Robots Have Rights or Rites?
A Confucian cross-cultural exploration of the ethical treatment of robots.
Using Algorithms to Deliver Disaster Aid
Ensuring the billions of dollars governments send the disaster-stricken actually get to their intended destinations.
Featured Jobs
Global Technology Applied Research in Ubiquitous Computing and Internet of Things - JPMorgan Chase - New York, NY
New York, NY, United States
Facilities Architect (Experienced) - Sandia National Laboratories - Albuquerque, NM
Albuquerque, NM, United States
Executive Protocol Officer - Lawrence Livermore National Laboratory - Livermore, CA
Livermore, CA, United States