240 Results Found

Quantum algorithms will likely play a key role in future high-performance-computing (HPC) environments. These algorithms are typically expressed as quantum circuits composed of arbitrary gates or as unitary matrices. Executing these on physical devic...

This paper presents an entropy-based transit tour synthesis (TTS) using fuzzy logic (FL) based on entropy maximization (EM). The objective is to obtain the most probable transit (bus) tour flow distribution in the network based on traffic counts. The...

Micro-processor designs have become a revolutionary technology almost in every industry. They brought the reality of automation and also electronic gadgets. While trying to improvise these hardware modules to handle heavy computational loads, they ha...

Programmable logic controllers are commonly used in automation systems. Continuously growing demands result in the growth of control program complexity. The classic approach, based on programmatic serial-cyclic execution, results in an unacceptable e...

Garbled circuit (GC) is one of the few promising protocols to realize general-purpose secure computation. The target computation is represented by a Boolean circuit that is subsequently transformed into a network of encrypted tables for execution. Th...

The article presents a synthesis strategy focused on low power implementations of combinatorial circuits in an array-type FPGA structure. Logic functions are described by means of BDD. A new form of the SWitch activity BDD diagram (SWBDD) is proposed...

In the last few decades, point-of-care (POC) sensors have become increasingly important in the detection of various targets for the early diagnostics and treatment of diseases. Diverse nanomaterials are used as building blocks for the development of...

Datapath synthesis is a crucial step in synthesis flow and aims at globally minimizing an area by identifying shareable logic structures. This paper introduces a novel Directed Acyclic Graph (DAG)-based datapath synthesis method based on graph isomor...

Different strategies for the combination of merging and splitting transformation procedures for incompletely specified finite state machines implemented on field-programmable logic devices are offered. In these methods, such optimization criteria as...

The dimensional synthesis of compliant mechanisms (CMs) leverages the flexibility of their components to achieve precise motion and functionality. This study introduces a novel approach using the parametric fuzzy form of the Freudenstein equation wit...

The synthesis, sensor activity, and logic behavior of a novel 4-iminoamido-1,8-naphthalimide bichromophoric system based on a “fluorophore-receptor” architecture with ICT chemosensing properties is reported. The synthesized compound showe...

A new demarcation is proposed between Natural Philosophy and non-Natural Philosophy—philosophy tout court—based on whether or not they follow a non-standard logic of real processes. This non-propositional logic, Logic in Reality (LIR), is...

Inductive Logic Programming (ILP) is a research field at the intersection between machine learning and logic programming, focusing on developing a formal framework for inductively learning relational descriptions in the form of logic programs from ex...

Jitter is becoming an important factor in high-speed serial link and integrated circuits (ICs). Generating controllable jitter plays a crucial role in simulating the test environment of high-data links, evaluating the performance of IC, preventing ji...

The review is devoted to methods of structural decomposition that are used for optimizing characteristics of circuits of finite state machines (FSMs). These methods are connected with the increasing the number of logic levels in resulting FSM circuit...

A 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 logical-informational model of energy resource-efficient chemical technology for the utilization of hydrogen sulfide and low molecular alkanethiols, which are toxic and difficult to remove sulfur components of residual fuel (fuel oil), is proposed....

Self-organizing map (SOM) is a type of artificial neural network that provides a nonlinear mapping from a given high-dimensional input space to a low-dimensional map of neurons for clustering. The clustering of high-dimensional vectors is too slow fo...

Herein, we report the synthesis and characterization of a novel Schiff base ligand, (Z)-5-((pyren-1-ylmethylene)amino)-2,4-dihydro-3H-pyrazol-3-one (PMDP). The characterization of ligand PMDP was carried out using ESI-MS, 1H NMR, and UV–Visible...

One of the nanoscale technologies that shows its capability of implementing integrated digital circuits with low power, high speed, and high density is quantum-dot cellular automata (QCA). The fundamental device for designing and implementing circuit...

Over past decades, the multicolor carbon dots (M-CDs) have attracted enormous attentions due to their tunable photoluminescence and versatile applications. Herein, the nitrogen-doped (N-doped) M-CDs including green, chartreuse, and pink emissive CDs...

Current Field Programmable Gate Arrays (FPGAs) provide fast routing links and special logic to perform carry operations; however, these resources can also be used to implement non-arithmetic circuits. In this paper, a new approach for mapping logic f...

Quantum-dot cellular automata (QCA) technology is considered to be a possible alternative for circuit implementation in terms of energy efficiency, integration density and switching frequency. Multiplexer (MUX) can be considered to be a suitable cand...

The paper focuses on the methodology of designing a cyber physical systems (CPS) physical layer using programmable devices. The CPS physical layer can be implemented in programmable devices, which leads to a reduction in their costs and increases the...

ARUZ is a large scale, massively parallel, FPGA-based reconfigurable computational system dedicated primarily to molecular analysis. This paper presents a methodology for ARUZ firmware development that simplifies the process, offers low-level optimiz...

This paper proposes a new framework for post-synthesis obfuscation of digital circuits using a mixture of cells combined with an Anti-SAT block. Furthermore, a novel integrated framework has been established wherein obfuscation, along with Anti-SAT a...

As semiconductor processes enter the nanoscale, system-on-chip (SoC) interconnects suffer from link aging owing to negative bias temperature instability (NBTI), hot carrier injection (HCI), and electromigration. In network-on-chip (NoC) for heterogen...

Carbon dots (CDs)-based logic gates are smart nanoprobes that can respond to various analytes such as metal cations, anions, amino acids, pesticides, antioxidants, etc. Most of these logic gates are based on fluorescence techniques because they are i...

Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with...

Three-input logic primitives show high efficiency in logic synthesis compared to traditional two-input logic, which encourages researchers to implement three-input logic gates with emerging nanotechnologies. This paper demonstrates a compact implemen...

The use of embedded processors is the most promising direction in the development of automatic control systems. The article is devoted to analog models and technical solutions that allow continuous analysis of information in a technical system in ord...

Three decades after A. P. de Silva’s seminal paper introduced the concept of logic gates at the molecular level, the field of molecular logic gates (MLGs) has witnessed significant advancements. MLGs are devices designed to perform logical oper...

As an extension of quantitative temporal logic, uncertain temporal logic essentially describes the temporal behavior of uncertain and incomplete systems, thus better solving search and decision-making problems in such systems. Fuzzy linear temporal l...

In many areas of operation, application-specific logic implemented in FPGAs (Field Programmable Gate Arrays) is critical. In these situations, various mitigation methods are used to reduce or completely eliminate malfunctions in the circuit resulting...

Very often, digital systems include sequential blocks which can be represented using a model of Mealy finite state machine (FSM). It is very important to improve such FSM characteristics as the number of used logic elements, operating frequency and p...

The main purpose of the paper is to present technology mapping of FSM (finite state machine) oriented to LUT (look-up table)-based FPGA (field-programmable gate array). The combinational part of an automaton, which consists of a transition block and...

Traditional complementary metal-oxide-semiconductor (CMOS) logic gates serve as the fundamental building blocks of modern computing, operating through the electron charge manipulation wherein binary information is encoded as distinct high- and low-vo...

The rapid development of speech synthesis technology has significantly improved the naturalness and human-likeness of synthetic speech. As the technical barriers for speech synthesis are rapidly lowering, the number of illegal activities such as frau...

In this paper, a postulation on the relationship between the memory structure of the brain’s neural network and the representation of information granules in the semantic web is presented. In order to show this connection, abstract operations o...

This paper presents a matrix-based approach for motion planning of autonomous vehicles in structured parking environments under Temporal Logic (TL) constraints. Instead of relying solely on traditional automaton models, we construct a product automat...

This article is an attempt to capture, in a reasonable space, some of the major developments and currents of thought in information theory and the relations between them. I have particularly tried to include changes in the views of key authors in the...

Energy transitions (ETs) can solve some societal problems but must transform societies. Accordingly, socio-technical transitions and other systemic frameworks have been used to assess ETs. However, based on these frameworks, assessments miss a value...

Transistor-level Integrated Circuit (IC) design is fundamental to modern electronics, yet it remains one of the most expertise-intensive and time-consuming stages of chip development. As circuit complexity continues to rise, the need to automate this...

The main goal of this research was the development of an algorithm for the implementation of negative risk parameters in a synthesis model for a risk level assessment for a specific machine used in the mining industry. Fuzzy sets and fuzzy logic theo...

Deciding binding, routing, and scheduling within system synthesis for hard real-time systems can be a challenging task. Symbolic methods leveraging results from the area of satisfiability modulo theories (SMT) solving have shown to be scalable method...

The significant rise in the cost of manufacturing nanoscale integrated circuits (ICs) has led the majority of IC design companies to outsource the fabrication of their products to other companies, often located in different countries. The multination...

Resistive switching devices (memristors) constitute a promising device technology that has emerged for the development of future energy-efficient general-purpose computational memories. Research has been done both at device and circuit level for the...

Accurate medical diagnosis is essential for informed decision making and the delivery of effective treatment. Traditionally, this process relies on clinical judgment, integrating data and medical expertise to inform decision making. In recent years,...

Since its appearance, Evolutionary Developmental Biology (EvoDevo) has been called an emerging research program, a new paradigm, a new interdisciplinary field, or even a revolution. Behind these formulas, there is the awareness that something is chan...

A new water-soluble poly(propylene imine) dendrimer (PPI) modified with 4-sulfo-1,8-naphthalimid units (SNID) and its related structure monomer analog (SNIM) has been prepared by a simple synthesis. The aqueous solution of the monomer exhibited aggre...