Results 151 to 160 of about 42,360 (298)

Fixed-Parameter Tractability of Dependency QBF with Structural Parameters [PDF]

, 2020
Robert Ganian, Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider   +3 more
openalex   +1 more source

Fixed-parameter tractability of Graph Isomorphism in graphs with an excluded minor [PDF]

, 2022
Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk, Saket Saurabh   +3 more
openalex   +1 more source

The HOMFLY-PT polynomial is fixed-parameter tractable

, 2017
15 pages, 4 ...
openaire   +4 more sources

Composition‐Aware Cross‐Sectional Integration for Spatial Transcriptomics

Advanced Intelligent Discovery, EarlyView.
Multi‐section spatial transcriptomics demands coherent cell‐type deconvolution, domain detection, and batch correction, yet existing pipelines treat these tasks separately. FUSION unifies them within a composition‐aware latent framework, modeling reads as cell‐type–specific topics and clustering in embedding space.
Qishi Dong, Zijian Huang, Xuanwu Wang, Zhenghui Feng, Wei Liu, Bingding Huang   +5 more
wiley   +1 more source

Harnessing Machine Learning to Understand and Design Disordered Solids

Advanced Intelligent Discovery, EarlyView.
This review maps the dynamic evolution of machine learning in disordered solids, from structural representations to generative modeling. It explores how deep learning and model explainability transform property prediction into profound physical insight.
Muchen Wang, Yue Fan
wiley   +1 more source

The Interoperability Challenge in DFT Workflows Across Implementations

Advanced Intelligent Discovery, EarlyView.
Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen, Tushar Singh Thakur, Manuel Dillenz, Johan M. Carlsson, Celso R. C. Rêgo, Eibar Flores, Hamidreza Hajiyani, Felix Hanke, Juan María García Lastra, Wolfgang Wenzel, Nicola Marzari, Tejs Vegge, Giovanni Pizzi, Ivano E. Castelli   +13 more
wiley   +1 more source

Fixed-Parameter Tractable Submodular Maximization over a Matroid [PDF]

Shamisa Nematollahi, Adrian Vladu, Junyao Zhao   +2 more
openalex   +1 more source

Parametric Analysis of Spiking Neurons in 16 nm Fin Field‐Effect Transistor Technology

Advanced Intelligent Discovery, EarlyView.
Energy efficient computing has driven a shift toward brain‐inspired neuromorphic hardware. This study explores the design of three distinct silicon neuron topologies implemented in 16 nm fin field‐Effect transistor technology. While the Axon‐Hillock design achieves gigahertz throughput, its functional fragility persists. The Morris–Lecar model captures
Logan Larsh, Raiyan Siddique, Sarah S. Sharif, Yaser Mike Banad   +3 more
wiley   +1 more source

A Robust Deep Temporal Causal Discovery Platform for Single‐Cell Gene Regulatory Network Reconstruction

Advanced Intelligent Discovery, EarlyView.
scTIGER2.0 is a deep‐learning framework that infers gene regulatory networks from single‐cell RNA sequencing data. By integrating correlation, pseudotime ordering, deep learning and bootstrap‐based significance testing, it reduces false positives and reveals directional gene interactions.
Nishi Gupta, Madison Dautle, Shaoqiang Zhang, Yong Chen   +3 more
wiley   +1 more source

05301 Summary – Exact Algorithms and Fixed-Parameter Tractability

, 2006
Rodney G. Downey, Martin Grohe, Gerhard J. Woeginger   +2 more
openalex   +2 more sources