Results 51 to 60 of about 481,437 (293)

A Logic Simplification Approach for Very Large Scale Crosstalk Circuit Designs

, 2019
Crosstalk computing, involving engineered interference between nanoscale metal lines, offers a fresh perspective to scaling through co-existence with CMOS.
Iqbal, Md Arif, Macha, Naveen Kumar, Rahman, Mostafizur, Repalle, Bhavana Tejaswini   +3 more
core   +1 more source

Quantum state manipulation of trapped atomic ions [PDF]

, 1996
A single laser-cooled and trapped 9Be+ ion is used to investigate methods of coherent quantum-state synthesis and quantum logic. We create and characterize nonclassical states of motion including "Schroedinger-cat" states.
B. E. King, Bardroff P. J., Barenco A., Bennett C. H., C. Monroe, D. Berkeland, D. J. Wineland, D. Leibfried, D. M. Meekhof, J. C. Bergquist, J. J. Bollinger, J. Miller, Thompson R. C., W. M. Itano, Wineland D. J.   +14 more
core   +4 more sources

Hopfield Neural Networks for Online Constrained Parameter Estimation With Time‐Varying Dynamics and Disturbances

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley   +1 more source

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

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

Majority logic synthesis [PDF]

Proceedings of the International Conference on Computer-Aided Design, 2018
The majority function ⟨xyz⟩ evaluates to true, if at least two of its Boolean inputs evaluate to true. The majority function has frequently been studied as a central primitive in logic synthesis applications for many decades. Knuth refers to the majority function in the last volume of his seminal The Art of Computer Programming as "probably the most ...
Amarù, Luca, Testa, Eleonora, Couceiro, Miguel, Zografos, Odysseas, de Micheli, Giovanni, Soeken, Mathias   +5 more
openaire   +2 more sources

Innovating Aircraft Repair Processes: The Role of Digitalization in Sustainability

Advanced Engineering Materials, EarlyView.
This research explores how digitalization—by storing detailed non‐destructive testing data in structured DICONDE databases and creating a standard data model of the component—innovates aviation maintenance and repair processes. Coupled with a developed state‐based simulation model, it enables data‐driven, sustainable repair strategies that reduce waste,
Johanna Aigner, Geo Jacob, Florian Raddatz, Gerko Wende   +3 more
wiley   +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

A High-Level LTL Synthesis Format: TLSF v1.1 [PDF]

Electronic Proceedings in Theoretical Computer Science, 2016
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and ...
Swen Jacobs, Felix Klein, Sebastian Schirmer   +2 more
doaj   +1 more source

The Synthesis of Logic Programs from Inductive Proofs [PDF]

, 1990
We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic programs, on the other hand, define predicates.
Bundy, Alan, Smaill, A., Wiggins, G.
core   +1 more source