Results 91 to 100 of about 872,020 (326)

Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness

, 2016
CNF simplifiers play a very important role in minimising structured problem hardness. Altough they can be used in an in-search process, most of them serve in a pre-search phase and rely on one form or another of resolution.
Slaney, John K, Anbulagan, Anbu
core   +1 more source

Decoupling Intrinsic Molecular Efficacy From Platform Effects: An Interpretable Machine Learning Framework for Unbiased Perovskite Passivator Discovery

Advanced Science, EarlyView.
This study establishes an interpretable machine learning framework that disentangles the intrinsic molecular efficacy of passivators from experimental platform effects—enabling unbiased, high‐throughput discovery of effective perovskite surface modifiers.
Jing Zhang, Ziyuan Li, Shan Gao, Zhen Zhu, Jing Wang, Xiangmei Duan   +5 more
wiley   +1 more source

Fixed-parameter tractable sampling for RNA design with multiple target structures

BMC Bioinformatics, 2019
Background The design of multi-stable RNA molecules has important applications in biology, medicine, and biotechnology. Synthetic design approaches profit strongly from effective in-silico methods, which substantially reduce the need for costly wet-lab ...
Stefan Hammer, Wei Wang, Sebastian Will, Yann Ponty   +3 more
doaj   +1 more source

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

AAAI Conference on Artificial Intelligence
Answer Set Programming (ASP) is a generic problem modeling and solving framework with a strong focus on knowledge representation and a rapid growth of industrial applications.
Markus Hecher, Rafael Kiesel
semanticscholar   +1 more source

PhosSight: A Unified Deep Learning Framework Boosting and Accelerating Phosphoproteome Identification to Enable Biological Discoveries

Advanced Science, EarlyView.
PhosSight is a unified deep‐learning framework for phosphoproteome identification, featured by a phosphorylation‐aware detectability predictor. It improves identification sensitivity in DDA through deep re‐localization and rescoring, accelerates DIA searches by detectability‐guided spectral library pruning, and expands phosphoproteome coverage to ...
Ben Wang, Zhiyuan Cheng, Chengying She, Hongwei Zhao, Jiahui Zhang, Lin Lv, Zhihao Yan, Hongwen Zhu, Lizhuang Liu, Yan Fu, Xinpei Yi   +10 more
wiley   +1 more source

A Comparison and Evaluation of Loop Diuretic Frusemide Generic vs Brand Tablets

Journal of Pharmaceutical Research International
Branded medications are the original products developed by pharmaceutical companies and generic drugs are copies of branded drugs whose patent has expired. The research work focused on comparisons and evaluations of generic VS brand of frusemide tablets.
Tamilveeran T, K. B., B. K
semanticscholar   +1 more source

Approximation hardness of optimization problems in intersection graphs of d-dimensional boxes

, 2005
The Maximum Independent Set problem in d-box graphs, i.e., in the intersection graphs of axis-parallel rectangles in R d , is a challenge open problem. For any fixed d ≥ 2 the problem is NP-hard and no approximation algorithm with ratio o(log d−1 n) is ...
Chlebikova, Janka, Miroslav Chlebík, Chlebik, Miroslav, Miroslav Chlebik (4461319), Janka Chlebíková, Janka Chlebíková (16060964)   +5 more
core  

A constraint programming approach to the hospitals/residents problem [PDF]

, 2007
An instance I of the Hospitals/Residents problem (HR) involves a set of residents (graduating medical students) and a set of hospitals, where each hospital has a given capacity.
David F. Manlove, Unsworth, C., Gregg O’Malley, Chris Unsworth, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. 4th International Conference, CPAIOR 2007, Patrick Prosser, Prosser, P., O'Malley, G., Manlove, D.F.   +8 more
core   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

A comparative analysis on generic product vs branded product of prednisolone tablet

GSC Biological and Pharmaceutical Sciences
The main aim and objective of present research work is to evaluate and compare the standard concerning quality of generic and branded anti-inflammatory drug.
SANDHIYA J, BALAMURUGAN K
semanticscholar   +1 more source