Goto

Collaborating Authors

 Collection



Complexity Classification in Infinite-Domain Constraint Satisfaction

arXiv.org Artificial Intelligence

A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a finite set of constraints, and where the task is to decide whether there exists a satisfying assignment of values to the variables. Depending on the type of constraints that we allow in the input, a CSP might be tractable, or computationally hard. In recent years, general criteria have been discovered that imply that a CSP is polynomial-time tractable, or that it is NP-hard. Finite-domain CSPs have become a major common research focus of graph theory, artificial intelligence, and finite model theory. It turned out that the key questions for complexity classification of CSPs are closely linked to central questions in universal algebra. This thesis studies CSPs where the variables can take values from an infinite domain. This generalization enhances dramatically the range of computational problems that can be modeled as a CSP. Many problems from areas that have so far seen no interaction with constraint satisfaction theory can be formulated using infinite domains, e.g. problems from temporal and spatial reasoning, phylogenetic reconstruction, and operations research. It turns out that the universal-algebraic approach can also be applied to study large classes of infinite-domain CSPs, yielding elegant complexity classification results. A new tool in this thesis that becomes relevant particularly for infinite domains is Ramsey theory. We demonstrate the feasibility of our approach with two complete complexity classification results: one on CSPs in temporal reasoning, the other on a generalization of Schaefer's theorem for propositional logic to logic over graphs. We also study the limits of complexity classification, and present classes of computational problems provably do not exhibit a complexity dichotomy into hard and easy problems.


Table of Contents -- July 07, 2017, 357 (6346)

#artificialintelligence

COVER A conceptual illustration of an artificial neuron evokes a technology that is transforming many fields of science: artificial intelligence (AI). One common form of AI is a neural network, which "learns" as connections between simulated neurons change in response to inputs. Such systems can find meaningful patterns in vast data sets, ranging from genomics to astronomy, and are even beginning to design experiments.


Learning Data Mining with Python - Second Edition PACKT Books

@machinelearnbot

This book teaches you to design and develop data mining applications using a variety of datasets, starting with basic classification and affinity analysis. This book covers a large number of libraries available in Python, including the Jupyter Notebook, pandas, scikit-learn, and NLTK. You will gain hands on experience with complex data types including text, images, and graphs. You will also discover object detection using Deep Neural Networks, which is one of the big, difficult areas of machine learning right now. With restructured examples and code samples updated for the latest edition of Python, each chapter of this book introduces you to new algorithms and techniques.


Festival of Media Global: Creativity and technology in synergy

#artificialintelligence

Always a highlight of the advertising year, The Festival of Media is an international celebration of excellence in media, attended by almost 250 global brands, as well as agencies, media owners, and adtech companies. With awards recognising everything from the Best Use of New Technology to Creative Use of Data, it is also the ideal setting to observe the synergy of technology and creativity first-hand. GingerMay PR attended this year's event at the Cavalieri Hotel in Rome to gain deeper insight into the topics currently impacting the industry. Measurement and verification of digital advertising was a key theme throughout the festival, with panel sessions indicating that advertisers are finally waking up to the need to implement the same safeguards in digital they have long expected in offline media. Because digital has grown without accepted standards for so long, even the most basic measurements such as impressions and CPM seem like a step-up, but advertisers should be aiming higher.


Artificial Intelligence: What Everyone Needs to Know: Jerry Kaplan: 9780190602390: Amazon.com: Books

#artificialintelligence

This is a useful overview of the current state of artificial intelligence. The author has clearly been swimming in these waters during his academic studies and professional career. I came away with the sense that his thoughts and observations were based on close personal experience and careful analysis. If the area interests you, I think that you'll find that Dr. Kaplan is an experienced guide. What are some of the major areas that the book examines?


Data Mining Techniques: For Marketing, Sales, and Customer Relationship Management: Gordon S. Linoff, Michael J. A. Berry: 9780470650936: Amazon.com: Books

@machinelearnbot

Who will remain a loyal customer and who won't? Which messages are most effective with which segments? How can customer value be maximized? This book supplies powerful tools for extracting the answers to these and other crucial business questions from the corporate databases where they lie buried. In the years since the first edition of this book, data mining has grown to become an indispensable tool of modern business.


Editorial Policies

AI Magazine

Back issues are available on-line at www.aimagazine.org The purpose of AI Magazine is to disseminate timely and informative articles that represent the current state of the art in AI and to keep its readers posted on AAAI-related matters. Regular features in AI Magazine include feature articles, workshop, symposium, and conference summaries, book reviews, editorials, news about the Association for the Advancement of Artificial Intelligence, letters to the editor, forum discussions, calendar of events, recruitment and product advertising, and columns on various topics including AI in the news. AI Magazine publishes original articles that are reasonably self-contained and aimed at a broad spectrum of the AI community. The magazine welcomes the contribution of articles on the theory and practice of AI as well as general survey articles, tutorial articles on timely topics, conference or symposia or workshop reports, and reviews of books.


Analytics, AI and Orchestration are Top New Security Topics

#artificialintelligence

Over the years, I've been asked what I like best about my job. Since I spent the majority of my career in the public sector, one top answer is that I love the challenge of helping organizations with security solutions and enabling new technologies to help the business of government. I also enjoy learning and sharing what works and doesn't work in different contexts. This sharing works out in press interviews or speeches on cyberthreats, I really enjoy moderating panels and leading executive roundtables with public- and private-sector leaders at security and technology events. I often get asked to be a moderator for a few sessions at SecureWorld Expo events, InfraGard Conferences and regional technology forums, such as the upcoming MidWest Technology Leaders event. During these panel sessions, the participants typically talk about a range of (hopefully intriguing) topics that include top cybercrime trends, cyberthreat intelligence, attracting and retaining cybertalent, big industry security breaches, internal security incidents or the always interesting (but overused question) "what's keeping you up at night?" Inevitably, security and technology topics include well known themes that I have written about such as ransomware, IoT botnets, cloud computing, smart cities, smartphone security, government CISO plans, securing the smart grid, end-user training, etc. Hopefully, we get beyond the problems and spend a few minutes on solutions.


Analytics, AI and Orchestration are Top New Security Topics

#artificialintelligence

I'm often asked what I like best about my job. One of my top answers is public speaking, learning and networking at security and technology events around the world. Besides giving press interviews or speeches on cyberthreats, I really enjoy moderating panels and leading executive roundtables with public- and private-sector leaders at security and technology events. I often get asked to be a moderator for a few sessions at SecureWorld Expo events, InfraGard Conferences and regional technology forums, such as the upcoming MidWest Technology Leaders event. During these panel sessions, the participants typically talk about a range of (hopefully intriguing) topics that include top cybercrime trends, cyberthreat intelligence, attracting and retaining cybertalent, big industry security breaches, internal security incidents or the always interesting (but overused question) "what's keeping you up at night?" Inevitably, security and technology topics include well known themes that I have written about such as ransomware, IoT botnets, cloud computing, smart cities, smartphone security, government CISO plans, securing the smart grid, end-user training, etc. Hopefully, we get beyond the problems and spend a few minutes on solutions.