Results 11 to 20 of about 115,266,001 (132)
10161 Executive Summary – Decision Procedures in Software, Hardware and Bioware [PDF]
, 2010 The main goal of the seminar Decision Procedures in Soft, Hard and Bio-ware was to bring together renowned as well as young aspiring researchers from two groups.
Voronkov, Andrei +3 more
core +1 more source
AI‐Driven Cancer Multi‐Omics: A Review From the Data Pipeline Perspective
Advanced Intelligent Discovery, EarlyView.The exponential growth of cancer multi‐omics data brings opportunities and challenges for precision oncology. This review systematically examines AI's role in addressing these challenges, covering generative models, integration architectures, Explainable AI for clinical trust, clinical applications, and key directions for clinical translation.
Shilong Liu, Shunxiang Li, Kun Qian
wiley +1 more source
Exploiting Edge Semantics in Job Shop Scheduling Problem With Heterogeneous Graph Transformers
Advanced Intelligent Systems, EarlyView.A heterogeneous graph transformer (HGT) is introduced for reinforcement learning‐based job shop scheduling by explicitly distinguishing precedence and machine‐contention relations through edge‐type‐specific attention. The proposed framework learns richer scheduling representations, improves decision quality over homogeneous graph models, and highlights
Bulent Soykan, Fatih Kasimoglu
wiley +1 more source
Playing in the Dark: Invisible Chess as a Laboratory for Strategic AI
AI &Innovation, EarlyView.This paper shows that strategic AI evaluated on perfect‐information benchmarks can be brittle in real adversarial settings. By using invisible chess as a benchmark for hidden state and deception, it argues for stricter testing, human oversight, and more cautious governance of high‐stakes AI systems.
Paolo Ciancarini
wiley +1 more source
Hidden Markov graphical models with state‐dependent generalized hyperbolic distributions
Canadian Journal of Statistics, EarlyView.Abstract In this article, we develop a novel hidden Markov graphical model to investigate time‐varying interconnectedness between different financial markets. To identify conditional correlation structures under varying market conditions and accommodate shape features embedded in financial time series, we rely upon the generalized hyperbolic family of ...
Beatrice Foroni +2 more
wiley +1 more source
A conversation with James V. Zidek
Canadian Journal of Statistics, EarlyView.AbstractThis article documents a series of exchanges between the authors and the senior Canadian statistician Jim Zidek in early 2026. The interview traces his life trajectory, surveying his principal contributions to statistics while offering insights into his motivations, successes, and challenges. Zidek is a Fellow of the Royal Society of Canada and
Christian Genest, Nancy E. Heckman
wiley +1 more source
Best Responding to What? A Behavioral Approach to One Shot Play in 2x2 Games [PDF]
, 2007 We introduce a simple procedure to be used for selecting the strategies most likely to be played by inexperienced agents who interact in one shot 2x2 games. We start with an axiomatic description of a function that may capture players' beliefs.
Gallice, Andrea
core +1 more source
Generative Models in Inorganic Crystals Discovery and Inverse Design
ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.Generative inverse‐design samples from the vast inorganic crystal design space by starting from target properties such as band gap, stability, and ion transport. This Review examines the representations, generative models, and validation workflows needed to translate candidate structures into stable, potentially synthesizable materials for applications
Tao Li +5 more
wiley +1 more source
Contributions to Minimax Statistical Theory
, 2023 Complex statistical methods are regularly deployed in high-stakes settings. Examples include policy making informed by epidemiological and economic models, and medical diagnoses and autonomous driving informed by machine learning algorithms.
Bilodeau, Blair
core +1 more source
On the Relationship Between Two CUSUM Charts
Quality and Reliability Engineering International, EarlyView.ABSTRACT The cumulative sum (CUSUM) chart is a fundamental tool in statistical process control (SPC) and sequential change‐point detection. Two closely related formulations appear in the literature: the standard CUSUM introduced by Page in 1954 and the CUSUM studied by Moustakides in 1986, the latter of which is shown to be exactly optimal under Lorden'
Jun Li, Yajun Mei
wiley +1 more source