1,664 results for logic · 0.112s

arxiv.org/abs/0802.3940v1

Spreadsheet Structure Discovery with Logic Programming

Our term "structure discovery" denotes the recovery of structure, such as the grouping of cells, that was intended by a spreadsheet's author but is not explicit in the spreadsheet. We are implementing structure discovery tools in the logic-programm...

Sponsored Partners
arxiv.org/abs/quant-ph/9802065v1

Basics of Quantum Computation

Quantum computers require quantum logic, something fundamentally different to classical Boolean logic. This difference leads to a greater efficiency of quantum computation over its classical counter-part. In this review we explain the basic princip...

arxiv.org/abs/1112.2313v2

QBF-Based Boolean Function Bi-Decomposition

Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bi-decomposition are often based on BDDs and, more recently, on Boolean...

arxiv.org/abs/1507.03683v1

Logic considered fun

This report describes the development and use of an online teaching tool giving students exercises in logical modelling, or \emph{formalisation} as it is called in the older literature. The original version of the site, `Logic for Fun', dates from 20...

arxiv.org/abs/0804.4075v1

Logic Learning in Hopfield Networks

Synaptic weights for neurons in logic programming can be calculated either by using Hebbian learning or by Wan Abdullah's method. In other words, Hebbian learning for governing events corresponding to some respective program clauses is equivalent w...

arxiv.org/abs/quant-ph/0511250v1

Generators and Roots of Quantum Logic Gates

This is an exposition of some basic mathematical aspects of quantum logic gates. At first we established some general formulas for the case of arbitrary quantum gate A with unique restriction A^2=I. The explicit form of the generators and roots of...

arxiv.org/abs/1705.05254v1

Strategically knowing how

In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve $φ...

arxiv.org/abs/1807.09783v2

Fault-tolerant gates via homological product codes

A method for the implementation of a universal set of fault-tolerant logical gates is presented using homological product codes. In particular, it is shown that one can fault-tolerantly map between different encoded representations of a given logical...

arxiv.org/abs/1606.08409v1

High-fidelity trapped-ion quantum logic using near-field microwaves

We demonstrate a two-qubit logic gate driven by near-field microwaves in a room-temperature microfabricated ion trap. We measure a gate fidelity of 99.7(1)\%, which is above the minimum threshold required for fault-tolerant quantum computing. The gat...

arxiv.org/abs/cs/0106052v1

Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analy...

arxiv.org/abs/1612.03032v1

CoALP-Ty'16

This volume constitutes the pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16), held on 28--29 November 2016 in Edinburgh as a mark of the end of the EPSRC Grant Coalgebraic Logic Programming for Type...

en.wikipedia.org/wiki/Logicor

Logicor - Wikipedia

included China Investment Corp. (CIC) and three institutions from Singapore: Mapletree Investments, Temasek and GIC. On May 31, 2017, it was reported that CIC