With a view to bridging the gap between deep learning and symbolic AI, we present a novel end-to-end neural network architecture that learns to form propositional representations with an...

Findings by UCI scientists may unlock new treatment approaches

Civil Rights, Criminal Justice and Homeland Security

ATMSeer is an interactive visualization tool for users to see and control algorithms and hyperparameters of machine-learning (AutoML) systems. The work was developed by researchers in the MIT Laboratory for Information and Decision Systems (LIDS), Hong Kong…

Brace for an iPhoney trade war

The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.

Researchers at the UW have created a new smartphone app that can detect fluid behind the eardrum by simply using a piece of paper and the phone's microphone and speaker.

Google has confirmed plans to restrict ad blockers, despite complaints. Here’s what you need to know

How can we give workers ownership of their company fairly?

Welcome to the Cloudflare Dev Platform - Powering the next generation of applications

Sometimes the best features of Perl — and even more so of Perl 6 — are found by asking yourself, “I wonder if this’ll work?” and then findin...

Temperatures passed 50 degrees Celsius (122 Fahrenheit) in northern India as an unrelenting heatwave triggered warnings of water shortages and heatstroke.

setting up camp on my new property

The good news is that two trash-strewn downtown Los Angeles streets I wrote about last week were cleaned up by city work crews and have been kept that way, as of this writing.

'Extreme vetting' has just kicked in for visitors to the US.

Huawei is reportedly stopping some smartphone production lines to "reassess" its target to become the world's top smartphone vendor by end of 2020.

Nature - Over ten years, the Human Microbiome Project has provided resources for studying the microbiome and its relationship to disease; this Perspective summarizes the key achievements and...