Results 71 to 80 of about 4,810,089 (329)

Optimization on the Complementation Procedure Towards Efficient Implementation of the Index Generation Function

International Journal of Applied Mathematics and Computer Science, 2018
In the era of big data, solutions are desired that would be capable of efficient data reduction. This paper presents a summary of research on an algorithm for complementation of a Boolean function which is fundamental for logic synthesis and data mining.
Borowik Grzegorz
doaj   +1 more source

Heuristic Synthesis of Reversible Logic – A Comparative Study

Advances in Electrical and Electronic Engineering, 2014
Reversible logic circuits have been historically motivated by theoretical research in low-power, and recently attracted interest as components of the quantum algorithm, optical computing and nanotechnology.
Chua Shin Cheng, Ashutosh Kumar Singh
doaj   +1 more source

Automated logic synthesis for electro-optic logic-based integrated optical computing.

Optics Express, 2018
Integrated optical computing attracts increasing interest recently as Moore's law approaches the physical limitation. Among all the approaches of integrated optical computing, directed logic that takes the full advantage of integrated photonics and ...
Zhoufeng Ying, Zheng Zhao, Chenghao Feng, R. Mital, Shounak Dhar, D. Pan, R. Soref, Ray T. Chen   +7 more
semanticscholar   +1 more source

Application of Permutation Group Theory in Reversible Logic Synthesis

, 2016
The paper discusses various applications of permutation group theory in the synthesis of reversible logic circuits consisting of Toffoli gates with negative control lines.
CH Bennett, D Maslov, DA Maslov, DV Zakablukov, M Saeedi, M Saeedi, MZ Rahman, N Abdessaied, VV Shende   +8 more
core   +1 more source

A New Threshold Switching Device With Tunable Negative Differential Resistance Based on ErMnO3 Polymorphs

Advanced Functional Materials, EarlyView.
Polymorph engineering in ErMnO3 enables low‐voltage, forming‐free threshold switching with tunable negative differential resistance. Conducting orthorhombic regions embedded in an insulating hexagonal matrix provide controlled Joule‐heating‐enhanced Poole–Frenkel transport. The hexagonal phase prevents excessive heating and breakdown.
Rong Wu, Florian Maudet, Thanh Luan Phan, Wassim Hamouda, Richard Schroedter, Ahmet Samil Demirkol, Ronald Tetzlaff, Veeresh Deshpande, Catherine Dubourdieu   +8 more
wiley   +1 more source

Contributors are representative, as long as they agree: How confirmation logic overrides effort to achieve synthesis in applied health research

Health Expectations, 2022
Introduction The paradox of representation in public involvement in research is well recognized, whereby public contributors are seen as either too naïve to meaningfully contribute or too knowledgeable to represent ‘the average patient’.
Sarah E. Knowles, Pat Walkington, Jackie Flynn, Sarah Darley, Ruth Boaden, Roman Kislov   +5 more
doaj   +1 more source

Structural Synthesis for GXW Specifications

, 2016
We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications.
A Bohy, B Jobstmann, C-H Cheng, EA Lee, EA Lee, F Lonsing, J Eker, N Piterman, R Bloem, R Bloem, R Ehlers, RE Tarjan, Roderick Bloem, Romain Brenguier, S Schewe, S Tripakis, Y Lustig   +16 more
core   +1 more source

2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics

Advanced Functional Materials, EarlyView.
2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit, Yifei Yang, Shawn Li, Yu‐Chia Chen, Qi Jia, Jian‐Ping Wang   +5 more
wiley   +1 more source

Technology independent optimization when implementing sparse systems of disjunctive normal forms of Boolean functions in ASIC

Informatika
Objectives. The problem of choosing the best methods and programs for circuit implementation as part of digital ASIC (Application-Specific Integrated Circuit) sparse systems of disjunctive normal forms (DNF) of completely defined Boolean functions is ...
P. N. Bibilo, S. N. Kardash
doaj   +1 more source

Extending Boolean Methods for Scalable Logic Synthesis

IEEE Access, 2020
In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results.
Eleonora Testa, Luca Amaru, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Pierre-Emmanuel Gaillardon, Giovanni De Micheli   +6 more
doaj   +1 more source