Results 101 to 110 of about 42,360 (298)
Advanced Science, EarlyView.GNL3 is a novel AR coregulator with dual coactivator and corepressor functions in prostate cancer (PCa). Our study uncovers a previously unrecognized mechanism by which the AR transcriptional complex integrates oncogenic signaling and immune suppression.
Cuiting Zhang +12 more
wiley +1 more source
Advanced Science, EarlyView.Geometry and connectivity are complementary structures, which have demonstrated their ability to represent the brain's functional activity. This study evaluates geometric and connectome eigenmodes as biologically informed constraints for EEG source localization.
Pok Him Siu +6 more
wiley +1 more source
On the Complexity of Existential Positive Queries [PDF]
, 2012 We systematically investigate the complexity of model checking the existential positive fragment of first-order logic. In particular, for a set of existential positive sentences, we consider model checking where the sentence is restricted to fall into ...
Chen, Hubie
core
Train Marshalling Is Fixed Parameter Tractable [PDF]
, 2012 The train marshalling problem is about reordering the cars of a train using as few auxiliary rails as possible. The problem is known to be NP-complete. We show that it is fixed parameter tractable (FPT) with the number of auxiliary rails as parameter.
Leo Brueggeman +7 more
openaire +1 more source
Alternating High‐Fat and Polysaccharide Diets Modulates Gut Phage‐Bacterial Interplay
Advanced Science, EarlyView.This study reveals how alternating high‐fat and polysaccharide diets reshape the human gut virome and enhance phage‐bacteria interactions. Using large‐scale metagenomic meta‐analysis and a time‐resolved mouse model, the authors show that diets strongly modulate phage abundance, lifestyle, and gene exchange, offering new insights into nutrition‐guided ...
Fengxiang Zhao +6 more
wiley +1 more source
Bounded fixed-parameter tractability and reducibility
Annals of Pure and Applied Logic, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Downey, Rod +3 more
openaire +2 more sources
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Evolving fixed-parameter tractable algorithms [PDF]
, 2008 Contains fulltext : 73145.pdf (Publisher’s version ) (Open Access)
Meer, S.A. van der +2 more
openaire
Solid Harmonic Wavelet Bispectrum for Image Analysis
Advanced Science, EarlyView.The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
Finding Small Multi-Demand Set Covers with Ubiquitous Elements and Large Sets is Fixed-Parameter Tractable [PDF]
, 2021 Niclas Boehmer +3 more
openalex +1 more source