Results 101 to 110 of about 77,551 (274)

Problem Libraries for Non-Classical Logics

EPiC Series in Computing, 2018
Problem libraries for automated theorem proving (ATP) systems play a crucial role when developing, testing, benchmarking and evaluating ATP systems for classical and non-classical logics. We provide an overview of existing problem libraries for some important non-classical logics, namely first-order intuitionistic and first-order modal logics.
Jens Otten, Thomas Raths
openaire   +2 more sources

Single‐Cell Mitochondrial Lineage Tracing Decodes Fate Decision and Spatial Clonal Architecture in Human Hematopoietic Organoids

Advanced Science, EarlyView.
This study repurposes mitochondrial DNA mutations as endogenous barcodes for lineage tracing in human pluripotent stem cell‐derived organoids. Integrated with transcriptomic and spatial data, it reveals NOTCH‐mediated stromal‐progenitor crosstalk orchestrates clonal dynamics and spatial zonation during early hematopoietic development, offering a non ...
Yan Xue, Junhao Su, Yiming Chao, Lu Liu, Xinyi Lin, Yang Xiang, Mun Kay Ho, Zezhuo Su, Junyi Chen, Zhuojuan Luo, Chengqi Lin, Ruibang Luo, Theo Aurich, Jianfeng Wu, Kelvin Sin Chi Cheung, Yuanhua Huang, Joshua W. K. Ho, Ryohichi Sugimura   +17 more
wiley   +1 more source

Unclosed questions in non-classical logic (in memory of Professor D. V. Pivovarov)

Интеллект. Инновации. Инвестиции
As a methodological tool of sorts in the memorial paper makes use of reconstruction of professor Pivovarov’s talks, which often displayed genuine, persevering and always critical interest in non-classical logic.
A. G. Kislov
doaj   +1 more source

Programmable Multifunctional Bistable Structures for Energy Transfer and Dissipation

Advanced Science, EarlyView.
Utilizing the energy conversion characteristics of asymmetric bistable beams, this study develops a programmable multifunctional system composed of multiple bistable beams for energy transfer and dissipation. The high energy density enables the system to demonstrate potential in transient scenarios such as target delivery and shock absorption ...
Xin Na, Jincong Zhang, Zhicheng Chen, Venkatarao Selamneni, Haotian Chen, Hadi Heidari, Morteza Amjadi   +6 more
wiley   +1 more source

Logic and Ontology

Principia: An International Journal of Epistemology, 2002
In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj  

Mitophagy and Ubiquitination Coordinate Context‐Specific Mitochondrial Quality Control and EMT/MET Plasticity to Drive Cancer Cell Invasion

Advanced Science, EarlyView.
Metastatic invasion emerges when tumor‐intrinsic programs and microenvironmental forces converge on mitochondrial quality control. A context‐stratified framework links mtROS, mtDNA integrity, mechanics and nutrient/oxygen cues to fission–fusion remodeling, mtUPR and mitophagy.
Bin‐Hsu Mao, Bo‐Kai Su, Ying‐Jan Wang, Ting‐Yuan Tu   +3 more
wiley   +1 more source

Silogísticas Paraclássicas: Um Estudo de Caso sobre a Relação entre Lógica Clássica e Lógicas Não-Clássicas

Principia: An International Journal of Epistemology, 2009
Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided.
Frank Thomas Sautter
doaj  

Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts

, 2020
Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find ...
Svozil, Karl
core  

Spin Hall Nano‐Antenna

Advanced Science, EarlyView.
ABSTRACT The spin Hall effect is a well‐known phenomenon in spintronics that has found numerous applications in digital electronics (memory and logic), but relatively few in analog electronics. Practically the only analog application in widespread use is the spin Hall nano‐oscillator (SHNO) that delivers a high frequency alternating current or voltage ...
Raisa Fabiha, Pratap Kumar Pal, Michael Suche, Amrit Kumar Mondal, Erdem Topsakal, Anjan Barman, Supriyo Bandyopadhyay   +6 more
wiley   +1 more source

T Cell Exhaustion in Cancer Immunotherapy: Heterogeneity, Mechanisms, and Therapeutic Opportunities

Advanced Science, EarlyView.
T cell exhaustion limits immunotherapy efficacy. This article delineates its progression from stem‐like to terminally exhausted states, governed by persistent antigen, transcription factors, epigenetics, and metabolism. It maps the exhaustion landscape in the TME and proposes integrated reversal strategies, providing a translational roadmap to overcome
Yang Yu, Xiaoyu Yao, Qingyang Wang, Mengrui Yang, Runze Li, Jiangjiang Qin, Jing Zhuang, Changgang Sun   +7 more
wiley   +1 more source