There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality.

Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

I and i

The organization of behavior: A neuropsychological theory

The Personal Interview

What is modal logic

IEEE transactions on computer-aided design of integrated circuits and systems : a publication of the IEEE Circuits and Systems Society

The proposed factorization methods for regular arrays of two-input cells have several important advantages over the existing logic representations and methodologies (1) The logic representation and design implementation are consistent (2) The stages of logic synthesis and physical design are effectively merged into a single stage (3) The structure of the mapping solution is a regular rectangle (4) Since the connections are mainly between neighboring cells, the wire delay is reduced compared to other design methods (5) Since the structure is regular, the creation of the high-performance tools is significantly easier (6) The methods can be applied to fine-grain FPGA design, standard cell, gate matrix layout and sub-micron technologies

/pdf/a-new-approach-to-and-or-exor-factorization-for-regular-uclmh1jbja.pdf

A new approach to AND/OR/EXOR factorization for regular arrays

This paper presents a new quantum array that can be used to control a single-qudit hermitian operator for an odd radix r ≫ 2 by n controls using Theta(n^log_2 r + 2) single-qudit controlled gates with one control and no ancilla qudits. This quantum array is more practical than existing quantum arrays of the same complexity because it does not require the use of small roots of the operation that is being implemented. Another quantum array is also presented that implements a single-qudit operator with n controls for any radix r ≫ 2 using ceiling(log_(r - 1) n) ancilla qudits and Theta(n^(log_(r - 1) 2 + 1)) single-qudit gates with one control.

/pdf/efficient-implementation-of-controlled-operations-for-anx97qikvj.pdf

Efficient Implementation of Controlled Operations for Multivalued Quantum Logic

Our goal is to develop the low level control system for an artificial hand ”Blackfingers”. Blackfingers was thought to have two main applications: as humanoid robot’s hand or as a human hand prothesis. In this last application our intent is to realize a device more sophisticated respect the actual commerce prothesis. Also in our intention is to use some biological paradigms to create a human like reflex control easy to be interfaced also with the human nervous system. In this paper we illustrate the properties and the morphology of a human like neural reflex controller, used to set the stiffness and joint positions of our artificial hand. In particular we explain, by simulations results, its ability to emulate the myotatic human reflex, and its capacity to learn in real time the best control strategy.

/pdf/blackfingers-a-sophisticated-hand-prothesis-1hzg5bhdhg.pdf

Blackfingers A Sophisticated Hand Prothesis

Designing a quantum oracle is an important step in practical realization of Grover algorithm, therefore it is useful to create methodologies to design oracles. Lattice diagrams are regular two-dimensional structures that can be directly mapped onto a quantum circuit. We present a quantum oracle design methodology based on lattices. The oracles are designed with a proposed method using generalized Boolean symmetric functions realized with lattice diagrams. We also present a decomposition-based algorithm that transforms non-symmetric functions into symmetric or partially symmetric functions. Our method, which combines logic minimization, logic decomposition, and mapping, has lower quantum cost with fewer ancilla qubits. Overall, we obtain encouraging synthesis results superior to previously published data.

Realization of Quantum Oracles using Symmetries of Boolean Functions

We present a new type of expressions called Event Expressions (EE), and diagrams called Event Diagrams (ED), that are used to describe robot behaviors (motions). These diagrams are very general and include operators from many known representations, such as Regular Expressions, Boolean and Fuzzy Logic plus many new operators. Most importantly, EDs create probability operator counterparts for all these deterministic operators. They can be used for event acceptance or event generation. The diagrams are intended to simulate robot controllers and verify their correctness and properties.

Marek Perkowski

Papers

A new approach to AND/OR/EXOR factorization for regular arrays

Efficient Implementation of Controlled Operations for Multivalued Quantum Logic

Blackfingers A Sophisticated Hand Prothesis

Realization of Quantum Oracles using Symmetries of Boolean Functions

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application