Results 31 to 40 of about 481,437 (293)
Creating Music With Fuzzy Logic
Frontiers in Artificial Intelligence, 2020 Fuzzy logic is an artificial intelligence technique that has applications in many areas, due to its importance in handling uncertain inputs. Despite the great recent success of other branches of AI, such as deep neural networks, fuzzy logic is still a ...
Rodrigo F. Cádiz, Rodrigo F. Cádiz
doaj +1 more source
G4LTL-ST: Automatic Generation of PLC Programs
, 2014 G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals.
Cheng, Chih-Hong +3 more
core +1 more source
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems [PDF]
, 2014 We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose semantics is defined over the quad-tree of a partitioned image.
Bartocci, Ezio +2 more
core +2 more sources
An Improved iMemComp OR Gate and its Applications in Logic Circuits
IEEE Journal of the Electron Devices Society, 2020 The iMemComp (Intelligent memristive computing) gates are a family of logic gates based on the RRAM (Resistive Random Access Memory) devices. It has potential advantage for the design of high-performance logic circuits, because the iMemComp NAND, AND ...
Feng Wei, Xiaole Cui, Xiaoxin Cui
doaj +1 more source
A recursive paradigm to solve Boolean relations [PDF]
, 2008 A Boolean relation can specify some types of flexibility of a combinational circuit that cannot be expressed with don't cares. Several problems in logic synthesis, such as Boolean decomposition or multilevel minimization, can be modeled with Boolean ...
Bañeres Besora, David +2 more
core +3 more sources
CNFET-OCL: Open-Source Cell Libraries for Advanced CNFET Technologies
IEEE AccessIn this paper, we propose CNFET-OCL, the first open-source cell libraries for 5-nm and 7-nm carbon nanotube field-effect transistor (CNFET) technologies.
Chenlin Shi +5 more
doaj +1 more source
Robust Temporal Logic Model Predictive Control [PDF]
, 2015 Control synthesis from temporal logic specifications has gained popularity in recent years. In this paper, we use a model predictive approach to control discrete time linear systems with additive bounded disturbances subject to constraints given as ...
Belta, Calin, Sadraddini, Sadra
core +1 more source
FEBS Letters, EarlyView.This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva +5 more
wiley +1 more source
EntropyA new methodology is introduced to solve classical Boolean problems as Hamiltonians, using the quantum approximate optimization algorithm (QAOA). This methodology is termed the “Boolean-Hamiltonians Transform for QAOA” (BHT-QAOA). Because a great deal of
Ali Al-Bayaty, Marek Perkowski
doaj +1 more source
Smart minterm ordering and accumulation approach for insignificant function minimization
Ain Shams Engineering Journal, 2021 Previously finding prime implicants based on off-cubes was explored as an approach to minimize insignificant logic functions which include minterms both easy and difficult to cover.
Fatih Başçiftçi, Hakan Akar
doaj +1 more source