Moreover, 2 keynote and 2 tutorial papers were invited. Most regular papers were presented in one of these tracks: Smart Contracts, Blockchain, and Rules, Constraint Handling Rules, Event Driven Architectures and Active Database Systems, Legal Rules and Reasoning, Rule-and Ontology-Based Data Access and Transformation, Rule Induction, and Learning. Following up on previous years, RuleML also hosted the 6th RuleML Doctoral Consortium and the 10th International Rule Challenge, which this year was dedicated to applications of rule-based reasoning, such as Rules in Retail, Rules in Tourism, Rules in Transportation, Rules in Geography, Rules in Location-Based Search, Rules in Insurance Regulation, Rules in Medicine, and Rules in Ecosystem Research. The 10th International Rule Challenge Awards went to Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, and Marc Denecker, for their paper Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment, and Jacob Feldman for his paper What-If Analyzer for DMN-based Decision Models. As in previous years, RuleML 2016 was also a place for presentations and face-to-face meetings about rule technology standardizations, which this year Mark Your Calendars!

On the roster: Trump's re-election bid collides with policy problems - Witness: Russians targeted Rubio - Report: Trump aides told Nunes what Nunes told Trump - I'll Tell You What: Kidding, not kidding - Paging Tara Reid TRUMP'S RE-ELECTION BID COLLIDES WITH POLICY PROBLEMS It's too soon to say how President Trump's agenda will fair, but we do know his re-election bid is in trouble. That may sound preposterous to say in the 10th week of an administration, but here we are. Trump, who filed for re-election before he took office, is getting a boost from his most important donors, hedge-fund tycoon Robert Mercer and his family. It comes in the form of a $1.3 million ad blitz targeted at swing states as well as states represented by vulnerable Democratic senators. Trump is doing his part by renewing his war with his fellow Republicans, blasting House conservatives for defeating his health-insurance overhaul last week.

Tesla chief executive Elon Musk has launched Neuralink, a start-up which aims to develop technology that connects our brains to computers. A report from the Wall Street Journal, later confirmed in a tweet by Mr Musk, said the company was in its very early stages and registered as a "medical research" firm. The company will develop so-called "neural lace" technology which would implant tiny electrodes into the brain. The technique could be used to improve memory or give humans added artificial intelligence. According to the Journal, leading academics in the field have been signed up to work at the company which is being funded privately by Mr Musk.

The public cloud division of Chinese ecommerce company Alibaba Group today is introducing new artificial-intelligence (AI) services targeting two specific industries, health care and manufacturing. The Alibaba Cloud is touting an ET Medical Brain and an ET Industrial Brain, each of which encompasses a number of services. The latter will give companies tools for monitoring the production process, improving energy efficiency, and predicting when maintenance will be needed. Also today, Alibaba is announcing the launch of version 2.0 of its PAI machine learning service. Alibaba introduced the original PAI in 2015.

Domino's has unleashed another set of pizza delivery drones, this time in Germany and the Netherlands. Last year, it worked with Flirtey to drop pizza to customers in New Zealand using unmanned aerial vehicles. For this pilot program, however, it chose to use autonomous rovers developed by Starship Technologies, a company built by two of Skype's founders. Domino's told Engadget that launching this program doesn't mean it has given up on developing its own delivery drones, which it's been doing for a year now. Both this pilot and the one in New Zealand come under the auspices of DRU (Domino's Robotic Unit), the same division that's developing its homegrown machine.

These duties are shared across the organizing team.

In this paper, we introduce transformations of deep rectifier networks, enabling the conversion of deep rectifier networks into shallow rectifier networks. We subsequently prove that any rectifier net of any depth can be represented by a maximum of a number of functions that can be realized by a shallow network with a single hidden layer. The transformations of both deep rectifier nets and deep residual nets are conducted to demonstrate the advantages of the residual nets over the conventional neural nets and the advantages of the deep neural nets over the shallow neural nets. In summary, for two rectifier nets with different depths but with same total number of hidden units, the corresponding single hidden layer representation of the deeper net is much more complex than the corresponding single hidden representation of the shallower net. Similarly, for a residual net and a conventional rectifier net with the same structure except for the skip connections in the residual net, the corresponding single hidden layer representation of the residual net is much more complex than the corresponding single hidden layer representation of the conventional net.

The push over the last decade by international maritime ports to fully automate operations has sparked the ire of many U.S. longshoremen whose high-paying jobs and way of life are at stake. The trend also sets up a battle between their unions and companies and governments who see automation as a cleaner, more efficient and more cost-friendly alternative to the current system. "This may be the most difficult and complex challenge we've ever undertaken,'' Dan Sperling, professor of civil engineering and environmental science at the University of California, Davis and a member of California's Air Resources Board, told Bloomberg. "We're trying to change the entire freight system.'' California is on the frontlines in the battle over automation as the ports of Long Beach, Los Angeles and Oakland handle 40 percent of U.S. container traffic and that number is expected to increase with the expansion of the Panama Canal.

Fancy your own personal submarine to venture under the sea? You can have one too - if you have a million dollars to spare. SEAmagine, a submarine manufacturer, makes small personal submarines that can travel 1.5 km (1 mile) deep and have capacities ranging from two to six people. View of a robotic arm mounted at the front of the private submarines. When underwater, the vessel is horizontal, but when docked at the surface, it's tail up and has a horizontal walking deck for safe boarding The California based company's submarines have a spherical cabin which provides views unobstructed by top hatches and side pontoons.

The other day, I went to meet someone in downtown Sydney, Australia. On my way, back on the local train, I looked at my mobile to check my emails and found a message asking me whether I would like to meet the person I had just connected with on my LinkedIn network. So, was this some form of artificial intelligence (AI) at play? We now live in a brave new world where AI is the next frontier. We keep hearing about bots, chatbots, teacherbots, digital assistants, machine learning, deep learning and many more such words and often wonder what do they mean.