Results 41 to 50 of about 6,062,625 (214)

Relativization and Interactive Proof Systems in Parameterized Complexity Theory [PDF]

, 2017
We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized complexity classes ...
Bottesch, Ralph, Bottesch, R.C. (Ralph)
core   +1 more source

Automating Chemical Reasoning in High‐Throughput Phase Identification With a Probabilistic, LLM‐Guided Framework

Advanced Science, EarlyView.
Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi, Lauren N. Walters, Amalie E. Trewartha, Steven B. Torrisi, Amanda Volk, Liam Joyce, Gerbrand Ceder, Anubhav Jain   +7 more
wiley   +1 more source

09511 Open Problems – Parameterized complexity and approximation algorithms [PDF]

, 2010
The paper contains a list of the problems presented on Monday, December 14, 2009 at the open problem session of the Seminar on Parameterized Complexity and Approximation Algorithms, held at Schloss Dagstuhl in Wadern ...
Marx, Dániel, Hajiaghayi, MohammadTaghi, Demaine, Erik D.   +2 more
core   +1 more source

A Global Methane Observation System to Reduce Uncertainty for Anthropogenic and Natural Sources and Sinks for Detecting and Attributing Climate Feedbacks

Advanced Science, EarlyView.
Conceptual illustration of a Global Ecosystem Methane Observing System (GEM‐OS) integrating satellites, aircraft, atmospheric networks, and ecosystem measurements to quantify methane emissions from anthropogenic and natural sources. The multi‐scale observing framework improves source attribution, reduces uncertainty in regional methane budgets, and ...
P. Ciais, S. Peng, J. Chang, F. Li, Q. Zhu, K. Yuan, G. Hugelius, H. Li, Y. Cai, F. Chevallier, K. Tibrewal, E. A. Kort, K. Arndt, J. Watts, B. Buma, N. Besic, P. I. Palmer, H. Cadillo‐Quiroz, E. Euskirchen, M. J. Gondwe, A. Hoyt, R. Jackson, S. Malone, D. Monteverde, S. Natali, M. Ramonet, C. Rey‐Sanchez, L. B. Sagang, E. A. G. Schuur, R. Vargas, R. Varner, Z. Zhang, B. Poulter   +32 more
wiley   +1 more source

Distributed synthesis for parameterized temporal logics

, 2018
We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT–LTL, which extends LTL by temporal operators equipped with parameters that bound their scope.
Martin Zimmermann (126927), Leander Tentrup (17432751), Swen Jacobs (17288473)   +2 more
core   +1 more source

SemanticST: A Scalable Multi‐Contextual Graph Learning Framework for Uncovering Spatial Niches and Robust Multi‐Sample Integration in Spatial Transcriptomics

Advanced Science, EarlyView.
Technical limitations often let dominant signals overshadow rare cell types and fine‐grained heterogeneity in spatial transcriptomics. SemanticST, a graph neural network using multi‐semantic graph fusion and a novel min‐cut loss, recovers these subtle patterns.
Roxana Zahedi, Ahmadreza Argha, Nona Farbehi, Ivan Bakhshayeshi, Thantrira Porntaveetus, Youqiong Ye, Nigel H. Lovell, Hamid Alinejad‐Rokny   +7 more
wiley   +1 more source

Optimizing construction of scheduled data flow graph for on-line testability [PDF]

, 2012
The objective of this work is to develop a new methodology for behavioural synthesis using a flow of synthesis, better suited to the scheduling of independent calculations and non-concurrent online testing.
Simeu, Emmanuel, Kamsu-Foguem, Bernard
core  

Machine Learning of Temperature‐Dependent Chemical Kinetics Using Parallel Droplet Microreactors

Advanced Science, EarlyView.
An integrated droplet microfluidics and machine learning framework enables high‐throughput characterization of temperature‐dependent reaction kinetics. Time‐resolved measurements from thousands of droplets train Neural ODE models that accurately predict nonlinear reaction dynamics across diverse thermal environments, bridging large‐scale ...
Mamoru Saita, Yutaka Hori
wiley   +1 more source

On the Parameterized Complexity of Clique Elimination Distance [PDF]

, 2020
Bulian and Dawar [Algorithmica, 2016] introduced the notion of elimination distance in an effort to define new tractable parameterizations for graph problems and showed that deciding whether a given graph has elimination distance at most k to any minor ...
Agrawal, Akanksha, Ramanujan, M. S.
core   +1 more source

Carrier‐Free Berberine/Nitidine Chloride Self‐Assembled Nanoparticles Induce Ferroptosis to Overcome Bortezomib Resistance in Multiple Myeloma

Advanced Science, EarlyView.
A schematic illustrating the fabrication process and ferroptosis‐mediated therapeutic mechanism of carrier‐free self‐assembled BBR/NC‐SAPs for overcoming bortezomib resistance in multiple myeloma. ABSTRACT Therapeutic relapse driven by bortezomib resistance represents a formidable clinical barrier in the management of multiple myeloma (MM).
Yiwen Lv, Shuang Liu, Hong Wu, Guiluan Li, Ying Rong, Guangchao Li, Yangmin Zhu, Qi Zhong, Ruiming Ou, Huijuan Shen, Zhi Liu, Jing Huang, Zhenwei Wang, Pei Lin, Qing Zhang, Guopan Yu, Zhao Yin   +16 more
wiley   +1 more source