Results 71 to 80 of about 421,883 (287)

Conceptual thinking in Hegel’s [PDF]

Argument, 2013
Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj  

Actual Causation in CP-logic

, 2011
Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it.
Hall, JOOST VENNEKENS, Pearl, Riguzzi, Riguzzi, Shafer, Vennekens   +6 more
core   +1 more source

Multi‐Omics Insights Into the Mechanisms of Early Muscle Fiber Difference and Transformation Between Lean‐Type and Chinese Indigenous Pigs

Advanced Science, EarlyView.
Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng, Hainan Wu, Min Liu, Kunpeng Wu, Shuntao Huang, Zulfiqar Ahmed, Lenox Pius, Mengjin Zhu, Dequan Xu   +8 more
wiley   +1 more source

Description of GADEL [PDF]

, 2000
This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. It accepts every kind of finite propositional default theories and is based
Nicolas, P., Saubion, F., Stephan, I.
core   +3 more sources

Integrating Radiomics and Computational Pathology to Predict Early Recurrence of Pancreatic Ductal Adenocarcinoma and Uncover Its Biological Basis in Tumor Microenvironment

Advanced Science, EarlyView.
Accurate prediction of early recurrence in pancreatic ductal adenocarcinoma is vital for optimizing treatment. A novel, integrated radiomics‐pathology machine learning model successfully forecasts recurrence risks by analyzing preoperative CT images and computational pathology.
Sihang Cheng, Fuze Cong, Shenbo Zhang, Rui Lv, Wenjia Zhang, Xinyi Ke, Juncheng Wu, Zhonghe Zhao, Kui Zhao, Di Dong, Ruofan Zhang, Zhengyu Jin, Max Seidensticker, Zhiwei Wang, Huanwen Wu, Xianlin Han, Nan Hong, Huadan Xue   +17 more
wiley   +1 more source

TCP BBR-n: Increased throughput for wireless-AC networks.

PLoS ONE, 2023
Google proposed a new TCP congestion control algorithm (CCA), Bottleneck Bandwidth and Round-trip propagation time (BBR) which has opened up new dimensions in congestion control.
Muhammad Ahsan, Sajid S Muhammad
doaj   +1 more source

Current‐Driven Nonreciprocal Response of Nonequilibrium Skyrmions

Advanced Science, EarlyView.
A skyrmion holds great promise for spintronic applications owing to its intrinsic topological stability and high mobility under ultra‐low current excitation. Here, by means of in situ electron microscopy, we demonstrate a skyrmion diode effect and the associated current‐driven nonreciprocal skyrmion dynamics in a designed FeGe‐based microdevice.
Xiuzhen Yu, Soju Furuta, Xichao Zhang, Yi‐Ling Chiew, Kiyomi Nakajima, Kosuke Karube, Naoya Kanazawa, Yasujiro Taguchi, Yoshinori Tokura, Masahito Mochizuki, Fumitaka Kagawa   +10 more
wiley   +1 more source

PAIR: Reconstructing Single‐Cell Open‐Chromatin Landscapes for Transcription Factor Regulome Mapping

Advanced Science, EarlyView.
scATAC‐seq analysis is often constrained by limited sequencing depth, extreme sparsity, and pervasive technical missingness. PAIR is a probabilistic framework that restores scATAC‐seq accessibility profiles by directly modeling the native cell–peak bipartite structure of chromatin accessibility.
Yanchi Su, Qi Qi, Yi Fan, Yubo Wang, Gaoyang Hao, Ka‐Chun Wong, Yunhe Wang, Xiangtao Li   +7 more
wiley   +1 more source

Representing "Recursive" Default Logic in Modal Logic [PDF]

, 2004
The "recursive" definition of Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the "
Brown, Frank
core  

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

, 2014
To appear in Theory and Practice of Logic Programming (TPLP). Building on the award-winning, portfolio-based ASP solver claspfolio, we present claspfolio 2, a modular and open solver architecture that integrates several different portfolio-based ...
Hoos, Holger, Lindauer, Marius, Schaub, Torsten   +2 more
core   +1 more source