Markov decision processes (MDPs) are a canonical model to reason about decision making within a stochastic environment. We study a fundamental class of infinite MDPs: one-counter MDPs (OC-MDPs). They extend finite MDPs via an associated counter taking natural values, thus inducing an infinite MDP over the set of configurations (current state and counter value). We consider two characteristic objectives: reaching a target state (state-reachability), and reaching a target state with counter value zero (selective termination). The synthesis problem for the latter is not known to be decidable and connected to major open problems in number theory. Furthermore, even seemingly simple strategies (e.g., memoryless ones) in OC-MDPs might be impossible to build in practice (due to the underlying infinite configuration space): we need finite, and preferably small, representations. To overcome these obstacles, we introduce two natural classes of concisely represented strategies based on a (possibly infinite) partition of counter values in intervals. For both classes, and both objectives, we study the verification problem (does a given strategy ensure a high enough probability for the objective?), and two synthesis problems (does there exist such a strategy?): one where the interval partition is fixed as input, and one where it is only parameterized. We develop a generic approach based on a compression of the induced infinite MDP that yields decidability in all cases, with all complexities within PSPACE.

"As developers and healthcare providers increasingly grapple with issues of liability and malpractice, machine learning will transition from a …

Edition: 7; Released: February 2022 Executive Pool: 18336 Companies: 46 - Players covered include AdhereTech Inc.; Capsule Technologies, Inc.; Cerner Corporation; GE Healthcare; Honeywell International Inc.; Koninklijke Philips N.V.; McKesson Corporation; Medtronic plc; SAP SE; Siemens AG; STANLEY Healthcare and Others. Coverage: All major geographies and key segments Segments: Component (Services, Hardware, Systems & Software); Application (Remote Medicine Management, Electronic Health Record & Clinical Workflow, Medical Assistance, Outpatient Vigilance, Medical Connected Imaging) Geographies: World; USA; Canada; Japan; China; Europe; France; Germany; Italy; UK; Rest of Europe; Asia-Pacific; Rest of World. Complimentary Project Preview - This is an ongoing global program. Preview our research program before you make a purchase decision. We are offering a complimentary access to qualified executives driving strategy, business development, sales & marketing, and product management roles at featured companies.

Edition: 6; Released: February 2022 Executive Pool: 133782 Companies: 202 - Players covered include ABB; Alphabet Inc. (Google Inc.); Amazon; Asustek Computer; Blue Frog Robotics; Bsh Hausgeräte; Fanuc; Hanson Robotics; Harman International Industries; IBM Corporation; Intel Corporation; Jibo; Kuka; LG; Mayfield Robotics; Microsoft Corporation; Neurala; Nvidia; Promobot; Softbank; Xilinx and Others. Coverage: All major geographies and key segments Segments: Component (Software, Hardware); Robot Type (Service, Industrial); Application (Military & Defense, Law Enforcement, Personal Assistance & Caregiving, Public Relations, Education & Entertainment, Industrial, Stock Management, Other Applications) Geographies: World; United States; Canada; Japan; China; Europe (France; Germany; Italy; United Kingdom; and Rest of Europe); Asia-Pacific; Rest of World. Complimentary Project Preview - This is an ongoing global program. Preview our research program before you make a purchase decision. We are offering a complimentary access to qualified executives driving strategy, business development, sales & marketing, and product management roles at featured companies.

However, the people charged with developing analytics and artificial intelligence feel resistance from business executives in getting fully on …

Time for AI proponents to step up.. There's strong support for analytics and data science and the capabilities it offers organizations. However, the people charged with developing analytics and artificial intelligence feel resistance from business executives in getting fully on board with data-driven practices. In addition, efforts to ensure fairness in AI are lagging. That's the word from a recent study of 277 data managers and scientists out of SAS, which finds that overall, more than two-thirds were satisfied with the outcomes from their analytical projects. At the same time, 42% say data science results are not used by business decision makers, making it one of the main barriers faced.

Today, marketers have access to more resources and tools than ever before, so why is most marketing so cringe-worthy? Marketing has lost touch with the humans behind the clicks, opens, and form submits, but Banzai wants to change that. That's why our mission is to make marketing more human. At Banzai, we think the secret to better marketing is educating, learning from, and building relationships with buyers. This new approach is called Engagement Marketing.

The Center for Argument Technology (ARG-tech) located at the University of Dundee now provides tools based on in-house artificial intelligence designed for arguments. While that may sound completely useless given humans do extremely well at arguing each other, this AI is meant to make those arguments more productive, so everyone involved can reach an agreement. According to ARG-tech director Chris Reed, his group first turned to the BBC's Moral Maze 10 years ago. They created large "maps" based on every debate that took place on the show, and turned those maps into infographics using an algorithm to "determine the most central themes." From that data, the team pulled important issues, where participants stood, the highest points in conflict, and more.

Russian President Vladimir Putin speaks at a meeting with students in Yaroslavl, Russia, Friday, Sept. 1, 2017. Putin said 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." Russian President Vladimir Putin speaks at a meeting with students in Yaroslavl, Russia, Friday, Sept. 1, 2017.