Results 51 to 60 of about 3,597,563 (258)
Synthesizing Recursive Logic Programs by Inverting General Resolution
IEEE AccessA fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj +1 more source
A 100 KS/s 8–10-Bit Resolution-Reconfigurable SAR ADC for Biosensor Applications
Micromachines, 2022 A DAC switching scheme that combines energy efficiency and resolution reconfigurability is proposed. Compared with the conventional switching scheme, the proposed scheme achieves 93.8%, 96.1%, and 97.3% switching energy saving in 8-bit, 9-bit, and 10-bit
Yunfeng Hu +5 more
doaj +1 more source
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning, 1990 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dubois, Didier, Prade, Henri
openaire +2 more sources
$(\alpha,\beta)$ - Lock Resolution Method of Linguistic Truth- Valued Intuitionistic Fuzzy First-order Logic [PDF]
, 2023 Nan Li +5 more
openalex +1 more source
Three Ways in Which Logic Might Be Normative
Journal of Philosophy, 2019 According to tradition, logic is normative for reasoning. Gilbert Harman challenged the view that there is any straightforward connection between logical consequence and norms of reasoning.
F. Steinberger
semanticscholar +1 more source
, 1991 This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core +1 more source
Remote Sensing, 2015 The growing availability of high-resolution satellite imagery provides an opportunity for identifying road objects. Most studies associated with road detection are scene-related and also based on the digital number of each pixel.
Maryam Nikfar +3 more
doaj +1 more source
Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode [PDF]
, 2006 We consider a mode of an n-ary predicate symbol with respect to a logic program, which meets the aim of logic programming and captures the spirit of unification as arguments passing mechanism.
Ntienjem, Ebénézer
core
Implementation of mean-timing and subsequent logic functions on an FPGA
, 2012 This article describes the implementation of a mean-timer and coincidence logic on a Virtex-5 FPGA for trigger purposes in a particle physics experiment.
Abbon +15 more
core +1 more source
Transcription imparts architecture, function, and logic to enhancer units
Nature Genetics, 2019 Distal enhancers play pivotal roles in development and disease yet remain one of the least understood regulatory elements. We used massively parallel reporter assays to perform functional comparisons of two leading enhancer models and find that gene ...
Nathaniel D. Tippens +7 more
semanticscholar +1 more source