The days when a Facebook post would reach 90 percent of a page's audience have come and gone. In 2011, I was managing operations for Coca-Cola's global Facebook page, which had just surpassed Starbucks to become the largest CPG brand page on Facebook. The page was shared among dozens of markets because Facebook did not yet support regional pages. And each post was geotargeted to reach the right audience. One fine August day, Facebook dropped the targeting from a post specific to our Brazilian audience.

Chinese workers have seen the future, and it involves artificial intelligence, robots, and other forms of automation replacing them, at least for repetitive tasks. That's how workers responded to interviews about the future of work (pdf) conducted in 13 countries by the ADP Research Institute, part of the payroll systems company ADP. In contrast to China, a minority of workers in Germany think machines will take over repetitive tasks in the future. Workers in Chile, Singapore, the United Kingdom, and France among other countries agree. But American workers and those in India are inclined to see things the Chinese way; nearly two-thirds of those polled said they thought the machines were coming for repetitive work.

The "Artificial Intelligence Market" report provides analysis of the global artificial intelligence market for the period 2014–2024, wherein the years from 2016 to 2024 is the forecast period and 2015 is considered as the base year. The report precisely covers all the major trends and technologies playing a major role in the artificial intelligence market's growth over the forecast period. It also highlights the drivers, restraints, and opportunities expected to influence the market growth during this period. The study provides a holistic perspective on the market's growth in terms of revenue (in US Bn), across different geographies, which includes Asia Pacific (APAC), Latin America (LATAM), North America, Europe, and Middle East & Africa (MEA). Moreover, the report provides the overview of various strategies and the winning imperatives of the key players in the artificial intelligence market and analyzes their behavior in the prevailing market dynamics.

The MSLGROUP goes to SXSW every year with digital specialists from all over the world – Germany, France, India, Singapore, Brazil, the US, etc. – to network, witness new trends, collaborate and share ideas. MSL Germany's Adrian Rosenthal, Head of Digital & Social Media, and Heiko Geibig, Head of Consumer Practice, joined the world's biggest conference on digital technologies this year. They had a closer look at the communication trends and give an overview about the meta trends of the SXSW 2016: 1. Virtual Reality 2. Social Messaging 3. Robotics & Artificial Intelligence Get in touch with us for any further inquiries: Adrian Rosenthal – Head of Digital & Social Media 030 820 82-522 adrian.rosenthal@mslgroup.com Heiko Geibig – Head of Consumer Practice 030 820 82-579 heiko.geibig@mslgroup.com

Robot cage fights are pretty sweet--who doesn't like seeing machines armed with spinning sawblades flamethrowers fight to the death--but medieval robot wars are so much more fun. Think about it: Hand-built robots catapulting rocks at castles, trying to breach their defenses. George R. R. Martin couldn't come up with something that crazy. But some 1,500 high school kids in Southern California did, coming together for an epic battle last month during the Los Angeles regional championship of the "Super Bowl of Smarts." Now, the thought of a robot war set in the Middle Ages probably brings to mind all the worst stereotypes of geeks and nerds and dweebs.

The rise of on-demand startups and other fast-growing businesses like online marketplaces has created a need for reliable ways to verify new hires and customers to make sure they are cut out for the task. Onfido, one of the group of startups building software-based solutions to do just that, has raised 25 million to meet that need. The Series B round was led by Idinvest Partners, with participation also from existing backers Wellington Partners and CrunchFund (founded by TC founder Michael Arrington), and brings the total raised by the startup to just over 30 million. It's not disclosing its valuation in this round, but as a marker, its competitor Checkr, which has raised just under 50 million, is valued between 250 million and 300 million. Onfido plans to use the capital in a couple of different ways.

Scientists have compiled the biggest known library of bat sounds in an effort to identify and conserve rare species. Mexico is home to many of the world's bats, but it also has one of the highest rates of extinction. International researchers recorded more than 4,500 calls from about half of Mexico's 130 bat species. The audio library allows bat calls to be identified automatically, helping to monitor any changes in biodiversity. Co-researcher, Prof Kate Jones, of UCL and Zoological Society London, said the ability to map bats was crucial for implementing effective conservation measures.

Major players in the tech industry including Google and Microsoft have bet big money on the rise of internet bots as a form of communication between man and machine. While not the eerily humanoid robots in sci-fi movies (yet), the advancement and refinement of the bots' mechanical psyche parallel to the development of robotic parts is one step closer to merging the two. That is if it hasn't happened already. Isaac Asimov was a prolific sci-fi writer and Professor of Biochemistry at Boston University and is regarded by many as the father of robotics. "The Three Laws of Robotics 1: A robot may not injure a human being or, through inaction, allow a human being to come to harm; 2: A robot must obey the orders given it by human beings except where such orders would conflict with the First Law; 3: A robot must protect its own existence as long as such protection does not conflict with the First or Second Law; The Zeroth Law: A robot may not harm humanity, or, by inaction, allow humanity to come to harm."?

2QBF is a special case of general quantified Boolean formulae (QBF). It is limited to just two quantification levels, i.e., to a form forall-exists. Despite this limitation it applies to a wide range of applications, e.g., to artificial intelligence, graph theory, synthesis, etc.. Recent research showed that CEGAR-based methods give a performance boost to QBF solving (e.g, compared to QDPLL). Conjunctive normal form (CNF) is a commonly accepted representation for both SAT and QBF problems; however, it does not reflect the circuit structure that might be present in the problem. Existing attempts of extracting this structure from CNF and using it in 2QBF context do not show advantages over CNF based 2QBF solvers. In this work we introduce a new workflow for 2QBF, containing a new semantic circuit extraction algorithm and a CEGAR-based 2QBF solver that uses circuit structure and is improved by a so-called "cofactor sharing'' heuristics. We evaluate the proposed methodology on a range of benchmarks and show the practicality of the new approach.

A major challenge in cyber-threat analysis is combining information from different sources to find the person or the group responsible for the cyber-attack. It is one of the most important technical and policy challenges in cyber-security. The lack of ground truth for an individual responsible for an attack has limited previous studies. In this paper, we overcome this limitation by building a dataset from the capture-the-flag event held at DEFCON, and propose an argumentation model based on a formal reasoning framework called DeLP (Defeasible Logic Programming) designed to aid an analyst in attributing a cyber-attack to an attacker. We build argumentation-based models from latent variables computed from the dataset to reduce the search space of culprits (attackers) that an analyst can use to identify the attacker. We show that reducing the search space in this manner significantly improves the performance of classification-based approaches to cyber-attribution.