Results 131 to 140 of about 26,020 (289)

Default Reasoning with a Constraint Resolution Principle

, 2007
. Common non-monotonic deduction systems such as Reiters default logic or inheritance networks must handle the multiple extension problem, i.e. generally they have distinct consistent sets of conclusions (extensions) which can be drawn from a theory ...
Sven Eric, Sven Eric Panitz, Johann Wolfgang Goethe-universitat   +2 more
core  

PlantGFM: A Genomic Foundation Model for Discovery and Creation of Plant Genes

Advanced Science, EarlyView.
A plant genomic foundation model pre‐trained on 12 species enables both accurate gene prediction and de novo gene design. Through AI‐human knowledge screening, seven designed sequences showed transcriptional activity in plants, with two expressing stable proteins—demonstrating the first DNA‐RNA‐protein expression of LLM‐generated genes in plants and ...
Changhao Li, Qizhe Zhang, Hanchen Chen, Kepeng Lin, Chengfang Luo, Mengying Yang, Wei Xu, Fan Yao, Jianbing Yan, Qing‐Yong Yang, Xuehai Hu   +10 more
wiley   +1 more source

Project modepen: holistic educational model for the empowerment of the configuracional thought of the children and girls aged 0 to 10 by the possibilities offered by the learning process based on mathematical problems

Praxis, 2013
In the educational work it is necessary the pedagogical practice is based on high levels of theoretical appropriation that allows the continuous improvement in terms of methods, procedures, and logically results that influence the learning of the child ...
Mileidy Salcedo Barragán
doaj  

A Non‐Canonical Role of SMAD4 in Regulating 3D Genome Architecture to Inhibit Lung Squamous Cell Carcinoma Development

Advanced Science, EarlyView.
SMAD4 is identified as a guardian of 3D genome architecture in lung squamous cell carcinoma. Loss of SMAD4 unleashes EP300 at chromatin loop anchors, strengthening enhancer–promoter looping and H3K27ac at the SOX2 locus to drive aberrant SOX2 activation and tumor cell proliferation.
Qian Tang, Chen Lian, Xinyan Han, Xuhan Zhang, Zihan Wang, Boyu Wang, Taoyu Zhu, Xinrui Lin, Xiaolei Wang, Yaping Xu, Manyu Xiao, Zijin Wang, Junming Li, Silin Chen, Yunze Wang, Yufei Liu, Songsong Li, Zuolin Shen, Xi Lu, Xueqi Han, Yilu Zhou, Mingyang Xiao, Jiayi Ran, Xiaoran Cao, Xinyi Xu, Hugo Sámano‐Sánchez, Alfredo Rodríguez, Lian Wang, Shuifang Chen, Zhanyu Xu, Shirong Zhang, Nuo Yang, Yong Tang, Jian Liu   +33 more
wiley   +1 more source

Argumentation-Theoretic Proof Procedures for Default Reasoning

, 2003
We present a succession of presentations of an argumentation-theoretic proof procedure that applies uniformly to a wide variety of logics for default reasoning, including Theorist, default logic, logic programming, autoepistemic logic, non-monotonic ...
P.M. Dung, R. A. Kowalski, F. Toni
core  

A defeasible logic programming approach to the integration of rules and ontologies

Journal of Computer Science and Technology, 2010
The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them.
Sergio Alejandro Gómez, Carlos Iván Chesñevar, Guillermo Ricardo Simari   +2 more
doaj  

De Novo Design of Membrane‐Targeting Antimicrobial Peptides Against Gram‐Negative Bacteria Using a Generative Artificial Intelligence Framework

Advanced Science, EarlyView.
Antimicrobial resistance caused by Gram‐negative bacteria remains difficult to overcome due to the protective outer membrane. To address this challenge, a multi‐condition constrained generative AI framework, GenMTAMP is proposed for de novo membrane‐targeting antimicrobial peptide design by integrating physicochemical and spatial structure descriptors.
Jingxiao Yu, Da‐Wen Sun, QingYi Wei, Yibing Zhang, Jidong Tang, Hongbin Pu   +5 more
wiley   +1 more source

Placental Site Trophoblastic Tumor Acquires Immune Functions by Incorporating Host Maternal Genes

Advanced Science, EarlyView.
PSTT cells, through cell fusion with B cells, incorporate abundant non‐inherited maternal genes that are detectable by DNIMA. These hybrid cells acquire immunotherapy‐resistant genetic changes and increase the expression of B cell‐derived immune‐related molecules such as Ig, HLA, LILRB, SIGLEC10, and so on, creating an immunotolerant environment around
Kyosuke Kagami, Masanori Ono, Yasunari Mizumoto, Tatsuhito Kanda, Takashi Iizuka, Takiko Daikoku, Shin‐ichi Horike, Akira Hattori, Akihito Horie, Sachiko Minamiguchi, Tomoko Fujiwara, Kazuyoshi Hosomichi, Atsushi Tajima, Hirokazu Usui, Kaoru Abiko, Hiroshi Fujiwara   +15 more
wiley   +1 more source

Targeting a Myeloid–Regulatory B Cell Network Reverses Immune Paralysis in Periprosthetic Joint Infections

Advanced Science, EarlyView.
Periprosthetic joint infection establishes a sophisticated immunosuppressive network between CXCR4+ PMN‐MDSCs and Bregs, inducing profound CD8+ T cell paralysis. Alendronate effectively disrupts this CXCR4+ PMN‐MDSC–Breg axis by targeting STAT3, thereby restoring local immune surveillance.
Jintao Wu, Shutao Zhang, Yumin Lin, Juyang Jiao, Zhiwei Fu, Qimin Hong, Ziyi Zhao, Xinhua Qu, Fei Su, Bing Yue   +9 more
wiley   +1 more source

PSEUDO EXTENSION AND BELIEF REVISION IN DEFAULT REASONING

, 1990
This paper is concerned with the extension and the belief revision in Reiter\u27s default reasoning. First we introduce a new notion of pseudo extension which is successively constructed from a given default theory.
Arikawa, Setsuo, 湯浅, 寛子, 有川, 節夫, Yuasa, Hiroko   +3 more
core