Results 31 to 40 of about 58,088 (162)
Time-to-Digital Converter IP-Core for FPGA at State of the Art
IEEE Access, 2021 The Field Programmable Gate Array (FPGA) structure poses several constraints that make the implementation of complex asynchronous circuits such as Time–Mode (TM) circuits almost unfeasible.
Fabio Garzetti +3 more
doaj +1 more source
Clausal Resolution for Modal Logics of Confluence [PDF]
, 2014 We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Church-Rosser property. Here we restrict attention to eight families of such logics.
Cláudia Nalon +2 more
openaire +4 more sources
A new redundancy resolution for underwater vehicle–manipulator system considering payload
International Journal of Advanced Robotic Systems, 2017 For the motion coordination problem between the underwater vehicle and manipulator of the underwater vehicle–manipulator system, a new redundancy resolution method is proposed and investigated. The proposed method mainly has two parts: a fuzzy logic part
Yaoyao Wang +4 more
doaj +1 more source
MaxSAT resolution for regular propositional logic
International Journal of Approximate Reasoning, 2023 Peer ...
Jordi Coll +3 more
openaire +3 more sources
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 FUZZY LOGIC APPROACH FOR DRONE CAPABILITY ANALYSIS ON DISASTER RISK ASSESSMENT [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2019 The paper proposes a fuzzy logic approach for drone capability analysis on disaster risk assessment. In particular, a fuzzy logic model is designed as a hierarchical system with several inputs and one output.
P. Zlateva, S. Hristozov, D. Velev
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
Logical disputes and the a priori [Disputas lógicas e o a priori]
Princípios, 2016 In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features. These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might ...
Graham Priest
doaj +2 more sources
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
SensorsHigh parasitic capacitance from poly-insulator-poly capacitors in complementary metal oxide semiconductor (CMOS) processes presents a major bottleneck to achieving high-resolution successive approximation register (SAR) analog-to-digital converters (ADCs)
Xuelong Ouyang +4 more
doaj +1 more source