With machine learning having become a typical application along with GIS, one area of focus has been habitat protection. Habitat managers and conservation specialists have struggled to find ways in which to protect wildlife threatened by a variety of mostly-human induced factors. Machine learning and GIS have proven one way in which new ideas and scenarios can be tested before any plan is carried out, saving time, money, and possibly avoiding making crucial habitat errors in plans implemented. A recent example of using GIS and machine learning for habitat protection has been applied on the black-necked crane.[1] This type of bird is very particular with where it can breed and relatively little is known about it.

Detecting and segmenting salient objects in natural scenes, often referred to as salient object detection, has attracted a lot of interest in computer vision. While many models have been proposed and several applications have emerged, yet a deep understanding of achievements and issues is lacking. We aim to provide a comprehensive review of the recent progress in salient object detection and situate this field among other closely related areas such as generic scene segmentation, object proposal generation, and saliency for fixation prediction. Covering 228 publications, we survey i) roots, key concepts, and tasks, ii) core techniques and main modeling trends, and iii) datasets and evaluation metrics in salient object detection. We also discuss open problems such as evaluation metrics and dataset bias in model performance and suggest future research directions.

In this paper, we propose a probabilistic parsing model that defines a proper conditional probability distribution over non-projective dependency trees for a given sentence, using neural representations as inputs. The neural network architecture is based on bidirectional LSTM-CNNs, which automatically benefits from both word-and character-level representations, by using a combination of bidirectional LSTMs and CNNs. On top of the neural network, we introduce a probabilistic structured layer, defining a conditional log-linear model over non-projective trees. By exploiting Kirchhoff's Matrix-Tree Theorem (Tutte, 1984), the partition functions and marginals can be computed efficiently, leading to a straightforward end-to-end model training procedure via back-propagation. We evaluate our model on 17 different datasets, across 14 different languages. Our parser achieves state-of-the-art parsing performance on nine datasets.

G\"odel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis.

MOSCOW (AP) - Russian President Vladimir Putin says that whoever reaches a breakthrough in developing artificial intelligence will come to dominate the world. Putin, speaking Friday at a meeting with students, said the development of AI raises "colossal opportunities and threats that are difficult to predict now." He warned that "the one who becomes the leader in this sphere will be the ruler of the world." Putin warned that "it would be strongly undesirable if someone wins a monopolist position" and promised that Russia would be ready to share its know-how in artificial intelligence with other nations. The Russian leader predicted that future wars will be fought by drones, and "when one party's drones are destroyed by drones of another, it will have no other choice but to surrender."

While Microsoft and Google preach how society can be enhanced through artificial intelligence, not everyone is thinking about making the world a better place through Paxos algorithms for consensus protocols. Russian president Vladimir Putin spoke about the potential power of artificial intelligence to students on Friday, saying "the one who becomes the leader in this sphere will be the ruler of the world," according to Associated Press. He then said "it would be strongly undesirable if someone wins a monopolist position," indicating that Russia would cooperate with other countries in the development of AI. While Russia is seen as skilled in technological propaganda, it has little presence in mainstream AI research. Putin also envisioned a future for war where drones, ostensibly controlled by artificial intelligence, would fight proxy wars between countries.

This, in the long run, would make so called physical currencies obsolete creating transaction as easy as passing few bytes of digital data and this transaction data constantly feeding analytics to utilize for more user optimised actions.

"We move from being kings of process to kings of decisions," Douglas Nicol founder of chatbot service On Message said about the artificial intelligence opportunities for marketers at an IAA and Mumbrella panel discussion this morning. "My criticism of the world of marketing is we have become too obsessed by process so consequently we've lost sight of our jobs as marketers. I think AI is always best in terms of the problems it solves and I think the exciting think in the marketing world is it takes away a lot of the process and allows us to focus on our jobs." Nicol was speaking at the'Artificial intelligence just got real' panel held by the International Advertising Association (IAA) and Mumbrella on how AI promises to change marketing along with almost every other industry. Kirsten Riolo, the director of social exchange at researcher Ipsos, agreed with Nicol on AI's impact on business: "A lot of the grunt work is being assisted by these machine learning tools. It enables us to take on the issues and really tease them out. "For us it means we are able to put our researcher hats on and think more around what are the problems we are working on with our clients," she continued. "We can use machine learning to get through the datasets, to get to the issue and work more around strategic issues at play than spending inordinate amounts of time on data" Asia Pacific technical executive for IBM Watson, Dev Mookerjee, said the changes occurring in marketing have already been seen in consumer behaviour, citing how Uber and AirBnB have been embraced despite initial privacy and safety concerns. "I have just come to a new city, with no idea about the city," Mookerjee said. "I have got into the car of a person I've never before met, I trust this person who takes me to someone else's house – who I've never met before and I'm going to live in that person's house.

Auris Medical Robotics, the Silicon Valley startup headed by Dr. Frederic H. Moll who previously co-founded Hansen Medical and Intuitive Surgical, raised $280 million in a Series D round led by Coatue Management and included earlier investors Mithril Capital Management, Lux Capital, and Highland Capital. Auris has raised a total of $530 million and is developing targeted, minimally invasive robotic-assisted therapies that treat only the diseased cells in order to prevent the progression of a patient's illness. Lung cancer is the first disease they are targeting. Oryx Vision, an Israeli startup, raised $50 million in a round led by Third Point Ventures and WRV with participation by Union Tech Ventures. They all join existing investors Bessemer Venture Partners, Maniv Mobility, and Trucks VC, a VC firm focused on the future of transportation.

In the report, titled "China's Rise in Artificial Intelligence," the investment bank said the world's second-largest economy has emerged as a major global contender in using AI to drive economic progress. Goldman said the government and companies have identified AI and machine learning as the next big areas of innovation. "We believe AI technology will become a priority on the government's agenda, and we expect further national/regional policy and funding support on AI to follow," the bank said. AI is already widespread: From simple smartphone applications that can tell the weather to complex algorithms that are able to easily beat humans in board games. Companies such as Google and Microsoft have poured vast amounts of money into research and development to expand the horizon of what AI can achieve.