Results 101 to 110 of about 68,974 (308)

Tabling for infinite probability computation [PDF]

, 2012
Tabling in logic programming has been used to eliminate redundant computation and also to stop infinite loop. In this paper we add the third usage of tabling, i.e. to make infinite computation possible for probabilistic logic programs.
Sato, Taisuke, Meyer, Philipp
core   +1 more source

DNA Nanoarray for Multiplexed RNA Detection With Single‐Molecule Readout

Advanced Science, EarlyView.
A carrier‐based DNA nanoarray integrates programmable nucleic acid hybridization with solid‐state nanopore readout for direct RNA detection at single‐molecule resolution. A ternary encoding system enables 27 carriers with 81 addressable sensing sites, allowing the simultaneous identification of targets spanning a wide size range, from short microRNAs ...
Yunxuan Li, Yesheng Wang, Chunmiao Yu, Siyu Hou, Elli Mylona, Plamena Naydenova, Jingyuan Zhao, Hong Yuan, Jingsong Duan, Hendrik F. P. Runge, Stephen Baker, Jinbo Zhu, Ulrich F. Keyser   +12 more
wiley   +1 more source

Self‐Powered Bearing Sensing and Real‐Time Fault Diagnosis Enabled by Non‐Invasive Triboelectric Sensors and Edge AI Acceleration

Advanced Science, EarlyView.
This study achieves the synergistic integration of self‐powered sensing and edge AI acceleration to establish a real‐time fault diagnosis system. The proposed TENG‐based self‐powered bearing sensor (NSE‐TBS) and FPGA‐accelerated edge AI framework fundamentally break through the inherent limitations of conventional monitoring systems, including complex ...
Kehui Zhu, Zhongheng Liu, Xinming Li, Jinrui Zhang, Meng Li, Yiming Guo, Lihua Han, Yanxue Wang   +7 more
wiley   +1 more source

The Logic Probability On Hadith (Counting Gender Occupants Of Heaven And Hell)

Jurnal Ushuluddin, 2019
This study aims to explore probability as one of the new methods of understanding the hadith about the majority of women who inhabit hell by integrating the ratio of male and female hadith at the end of time as the counting scale. The use of the thematic-
Ruhama Wazna, Hamim Ilyas
doaj   +1 more source

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

A Unifying Field in Logics: Neutrosophic Logic. [PDF]

, 1999
The author makes an introduction to non-standard analysis, then extends the dialectics to “neutrosophy” – which became a new branch of philosophy. This new concept helps in generalizing the intuitionistic, paraconsistent, dialetheism, fuzzy logic to ...
Smarandache, Florentin
core  

Engineering Neuronal Network Connectivity Through Precise and Scalable Electrical Modulation

Advanced Science, EarlyView.
This study presents a scalable all‐electrical method for precise neuronal‐circuit reconfiguration based on high‐density microelectrode arrays. By employing biologically inspired plasticity rules, targeted connectivity changes were successfully induced and quantified across diverse neuronal preparations.
Sreedhar S. Kumar, Yannaël Bossard, Rachel Sava, Tobias Gänswein, Lorenca Sadiraj, Jean‐Samuel Dupré, Manuel Schröter, J. Gray Camp, Fernando Cardes, Julian Bartram, Andreas Hierlemann   +10 more
wiley   +1 more source

On the Metric Temporal Logic for Continuous Stochastic Processes [PDF]

Logical Methods in Computer Science
In this paper, we prove measurability of event for which a general continuous-time stochastic process satisfies continuous-time Metric Temporal Logic (MTL) formula.
Mitsumasa Ikeda, Yoriyuki Yamagata, Takayuki Kihara   +2 more
doaj   +1 more source

Can logic be combined with probability? Probably

Journal of Applied Logic, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Probability, Modal Logic and Fuzzy Logic [PDF]

, 1998
Fuzziness is often regarded as a special form of uncertainty, possibly related to probability but not necessarily reducible to the latter. Indeed, all the mathematical techniques that have been proposed to model fuzziness are substantially different ...
Marco Piastra
core