Goto

Collaborating Authors

Business Embraces Artificial Intelligence

#artificialintelligence

You can think of Lucy as the fastest marketing researcher on the planet. Minneapolis-based digital marketing and technology agency GoKart Labs "hired" Lucy in May and was quickly amazed. "When I asked a question of Lucy--it was a specific question about a client's competitors--it found that information," says Rob Rosen, GoKart's director of digital marketing and analytics. "Even Google didn't find that information in a clear way." Lucy can scour the internet and rapidly present marketing data and insights that Google can't provide.


Inside the Race to Invent a Fish-Free Fish Food

WIRED

What do a Web 1.0 pioneer, a Russian-born fisherman, and a scientist who shoots lasers into poop for a living have in common? Bill Foss, Kenny Belov, and Rick Barrows have spent years weaning their farmed fish off of industrial fish food. You see, even though commercial fish farms can be more sustainable than ocean fishing, the food that fattens up those aquatic livestock--made from things like soy, corn, chicken meal, blood meal, and fish meal--is less virtuous. Humans have to hunt fish in the ocean and grind them up into food pellets so that fish in tanks might live. Last year, Foss and Belov, who own a trout farm together, and Barrows, their diet formulation expert, entered an international competition designed to accelerate the development of fish diets made with novel ingredients.


Depth-Driven Circuit-Level Stochastic Local Search for SAT

AAAI Conferences

We develop a novel circuit-level stochastic local search (SLS) method D-CRSat for Boolean satisfiability by integrating a structure-based heuristic into the recent CRSat algorithm. D-CRSat significantly improves on CRSat on real-world application benchmarks on which other current CNF and circuit-level SLS methods tend to perform weakly. We also give an intricate proof of probabilistically approximate completeness for D-CRSat, highlighting key features of the method.


Belov

AAAI Conferences

We develop a novel circuit-level stochastic local search (SLS) method D-CRSat for Boolean satisfiability by integrating a structure-based heuristic into the recent CRSat algorithm. D-CRSat significantly improves on CRSat on real-world application benchmarks on which other current CNF and circuit-level SLS methods tend to perform weakly. We also give an intricate proof of probabilistically approximate completeness for D-CRSat, highlighting key features of the method.


The death of the Russian far right

Al Jazeera

On November 4, a few hundred people gathered for the annual ultranationalist "Russian march" in Moscow. With chants like "Glory to Russia" and "Freedom for political prisoners", the demonstrators tried to march through the Lyublino neighbourhood of Moscow, before the police dispersed the crowd, arresting dozens.