Abu Dhabi is gearing up for the next phase in advances in science and technology by announcing plans to open the world's first University of Artificial Intelligence. Academic experts and businesspeople from China, America and the UK will help to steer the state-of-the-art institute when the campus officially opens to graduate students in Masdar City in September 2020. Abu Dhabi made the announcement as part of a national strategy set up in 2017 that makes Artificial Intelligence the centrepiece of the UAE's focus on developing a "knowledge-based economy". The university has partnered with the Abu Dhabi-based Inception Institute of Artificial Intelligence, who will advise on the academic curriculum. The university has also been named after the capital's political leader, crown prince sheikh Mohamed bin Zayed Al Nahyan.

Abstract: The phenomenal growth of social media, mobile applications, sensor based technologies and the Internet of Things is generating a flood of "Big Data" and disrupting our world in many ways. Simultaneously, we are seeing many interesting developments in machine learning and Artificial Intelligence (AI) technologies and methods. In this talk I will examine the paradigm shift caused by recent developments in AI and Big Data and ways to harness their power to create a smarter enterprise computing environment. Using examples from health care, smart cities, education, and businesses in general, I will highlight challenges and research opportunities for developing an enterprise of the future. Bio: Sudha Ram is Anheuser-Busch Endowed Professor of MIS, Entrepreneurship & Innovation in the Eller College of Management at the University of Arizona.

Google is now ready to release its Coral developer board globally after completing improvements throughout its six-month beta period. Google unveiled its Coral edge kit in March, offering developers a Raspberry Pi-like board with an attachable Google Edge TPU machine-learning accelerator. The kit is aimed at engineers and researchers who want to run TensorFlow models at the edge of a network, outside the data center. The Coral Dev Board itself costs $149, which includes a detachable Coral system-on-module (SoM) that can now be bought as a standalone product for $114. The SoM includes Google's Edge TPU with the NXP IMX8M SoC, Wi-Fi and Bluetooth, memory, and storage.

Insurers are now utilizing artificial intelligence to curb fraud cases in their motor insurance claim processes. Deloitte's Insurance Outlook Report 2019/2020 East Africa showed that while motor private and medical business classes are the largest classes, they are also among the most loss-making businesses. The report urges insurers to explore other emerging business classes that have a potential for growth to diversify their business mix. With over 25% of Kenya's insurance industry income fraudulently claimed, Kenindia Assurance is one of the insures who have taken steps to curb the fraud. Kenindia Assurance, Deputy General Manager Joyce Mathenge says that motor insurance is the main contributor to insurance fraud and hence the need to develop mechanisms to lower their risks.

The paper describes an implementation of deep reinforcement learning through self-supervised learning within the proof assistant HOL4. A close interaction between the machine learning modules and the HOL4 library is achieved by the choice of tree neural networks (TNNs) as machine learning models and the internal use of HOL4 terms to represent tree structures of TNNs. Recursive improvement is possible when a given task is expressed as a search problem. In this case, a Monte Carlo Tree Search (MCTS) algorithm guided by a TNN can be used to explore the search space and produce better examples for training the next TNN. As an illustration, tasks over propositional and arithmetical terms, representative of fundamental theorem proving techniques, are specified and learned: truth estimation, end-to-end computation, term rewriting and term synthesis.

Internet services like social media, online discussion forums, and crowdsourcing marketplaces have transformed how people participate in the information ecology and digital economy. These services empower mostly urban, affluent, and literate people, and improve their reach to information and instrumental needs. However, these services currently exclude billions of people worldwide who are too poor to afford Internet-enabled devices, too remote to access the Internet, or too low literate to navigate the mostly text-driven Internet. In India and Pakistan alone, there are nearly 1.1 billion people offline. Although 70% of their populations have access to mobile phones, most people still use basic or feature phones, making it difficult to extend existing Internet services on these devices running custom operating systems.

Theoretical computer science has been a vibrant part of computing research in India for the past 30 years. India has always had a strong mathematical tradition. One could also argue that in the 1980s and 1990s, theory offered a unique opportunity to keep up with international research in computing despite limited access to state-of-the-art hardware. The Annual International Conference Foundations of Software Technology and Theoretical Computer Science (FSTTCS) was launched in 1981. FSTTCS2 allowed Indian researchers a natural opportunity to interact with leading academics worldwide.

In June, Amazon announced it was close to being able to offer for package deliveries by drone for its Prime Air service. That same month, Uber said it plans to test food delivery by aerial drone in crowded cities. And drone delivery company Flytrex already touts the ability to deliver drinks via unmanned vehicle on the golf course. Despite such announcements, drones are not crowding the skies over major cities and population centers just yet. But that may be about to change.

I have always been drawn to books and argumentation. In primary school, I was an avid debater, representing my school in competitions and winning laurels. In my early teens, my parents deemed it necessary to ban me from reading novels, as I would do little else. Looking back now, I guess this background foreshadowed my choice of a career as a lawyer. No one particularly influenced my decision; law seemed a natural fit and an easy choice for me.

"Call of Duty: Modern Warfare" releases October 25th and is anticipated to be the franchise's best game yet. Can a video game be too real? That's a concern being raised about "Call of Duty Modern Warfare," the latest salvo in the multibillion-dollar video game series. The new game, out Friday, has one scene set in a London townhouse known to harbor terrorists where British special operations forces are investigating. Inside, they find several people dressed as civilians.