Results 101 to 110 of about 38,933 (219)

Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用)

Zhejiang Daxue xuebao. Lixue ban
First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving.
郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)   +4 more
doaj   +1 more source

Do robots boost productivity? A quantitative meta‐study

Journal of Economic Surveys, EarlyView.
ABSTRACT This meta‐study analyzes the productivity effects of industrial robots. More than 1800 estimates from 85 primary studies are collected. The meta‐analytic evidence suggests that robotization has so far provided, at best, a small boost to productivity. There is strong evidence of publication bias in the positive direction.
Florian Schneider
wiley   +1 more source

The Impact of TikTok on Elections: (Mis)information and Regulatory Challenges

Kyklos, EarlyView.
ABSTRACT TikTok's algorithm‐driven feed is reshaping electoral communication, yet a clear understanding of its effects is lacking. This study synthesizes and appraises evidence on how the platform's design and governance shape political (dis)information and may affect electoral dynamics.
Michele Giuseppe Giuranno, Mauro Sebastian Manni   +1 more
wiley   +1 more source

Equilibrium Reward for Liquidity Providers in Automated Market Makers

Mathematical Finance, EarlyView.
ABSTRACT We find the equilibrium contract that an automated market maker (AMM) offers to their strategic liquidity providers (LPs) in order to maximize the order flow that gets processed by the venue. Our model is formulated as a leader–follower stochastic game, where the venue is the leader and a representative LP is the follower.
Alif Aqsha, Philippe Bergault, Leandro Sánchez‐Betancourt   +2 more
wiley   +1 more source

Staying Offline or Going Online? Managing the Establishment of Service Platforms

Managerial and Decision Economics, Volume 47, Issue 4, Page 880-897, June 2026.
ABSTRACT We study a global game in which consumers and sellers decide whether to join a service platform and interact more efficiently online. Uncertainties about the platform's technology value and users' participation behavior on both market sides cause a coordination problem.
Marit Holler, Manfred Stadler, Lukas Stickel   +2 more
wiley   +1 more source

Personalized Differential Privacy for Ridge Regression Under Output Perturbation

Naval Research Logistics (NRL), Volume 73, Issue 4, Page 525-537, June 2026.
ABSTRACT The increased application of machine learning (ML) in sensitive domains requires protecting the training data through privacy frameworks, such as differential privacy (DP). Traditional DP enforces a uniform privacy level ε$$ \varepsilon $$, which bounds the maximum privacy loss that each data point in the dataset is allowed to incur.
Krishna Acharya, Franziska Boenisch, Rakshit Naidu, Juba Ziani   +3 more
wiley   +1 more source

Can Neural Networks Do Arithmetic? A Survey on the Elementary Numerical Skills of State-of-the-Art Deep Learning Models

Applied Sciences
Creating learning models that can exhibit sophisticated reasoning abilities is one of the greatest challenges in deep learning research, and mathematics is rapidly becoming one of the target domains for assessing scientific progress in this direction. In
Alberto Testolin
doaj   +1 more source

Finding Minimum‐Cost Explanations for Predictions Made by Tree Ensembles

Software: Practice and Experience, Volume 56, Issue 6, Page 615-642, June 2026.
ABSTRACT The ability to reliably explain why a machine learning model arrives at a particular prediction is crucial when used as decision support by human operators of critical systems. The provided explanations must be provably correct, and preferably without redundant information, called minimal explanations.
John Törnblom, Emil Karlsson, Simin Nadjm‐Tehrani   +2 more
wiley   +1 more source

A Resource Efficient Ising Model‐Based Quantum Sudoku Solver

Software: Practice and Experience, Volume 56, Issue 6, Page 643-657, June 2026.
ABSTRACT Background Quantum algorithms exploit superposition and parallelism to address complex combinatorial problems, many of which fall into the non‐polynomial (NP) class. Sudoku, a widely known logic‐based puzzle, is proven to be NP‐complete and thus presents a suitable testbed for exploring quantum optimization approaches.
Wen‐Li Wang, Mei‐Huei Tang, Kevin Wang, Muhammad Abdul Basit, Yuan Tian, Md. Sanaul Haque   +5 more
wiley   +1 more source

Δ1: An Automated Theorem Generator

International Journal of Computational Intelligence Systems
This paper introduces Δ1, a novel automated theorem generator for propositional and first-order logic that operates without a traditional built-in theorem prover.
Yang Xu, Hailin Guo, Shuwei Chen, Jun Liu   +3 more
doaj   +1 more source