Generating cryptographically strong Boolean functions using partial information

Periodica Mathematica Hungarica - In our paper we study the usage of partially defined Boolean functions (PDBFs) for generating cryptographically strong Boolean functions. A PDBF can be considered...     

Regioselective 1,4-trifluoromethylation of α,β-enones using ‘protect-in-situ’ methodology

In a convenient and efficient procedure, the nucleophilic 1,4-trifluoromethylation of several α,β-enones using (trifluoromethyl)trimethylsilane was achieved. The high regioselectivity of the reaction has been reached by blocking the carbonyl moiety of the electrophile with a bulky aluminum-centered Lewis acid.     

Digital Sums and Divide-and-Conquer Recurrences: Fourier Expansions and Absolute Convergence

We propose means for computing the Fourier expansions of periodic functions appearing in higher moments of the sum-of-digits function and in the solutions of some divide-and-conquer recurrences. The expansions are shown to be absolutely convergent. We also give a new approach to efficiently compute numerically the coefficients involved to high precision.     

Thinking and Turing's test

The questions raised by A. M. Turing in his paper on thought and machines are discussed. Human thought is considered in turn as a concept of normal language usage, as a basic concept of psychology, and as the basis of intellectual activity. It is concluded that neither of these notions of thought identifies something specific that a human being can or cannot do. The imitation game proposed by Turing for deciding whether a machine can think is found to result from an arbitrary empoverishment of the channel of communication between the interrogator and the item under investigation. Turing's notions of thinking are shown to lead to logical difficulties. An alternative view of consciousness, that would place it beyond the reach of any finite test, is finally discussed.     

The accurate dimensional measurements within small internal structures

This paper shows that the dimension of internal structure of a component can be measured remotely to a resolution better than 5 μm by use of the combination of high resolution optical microscopy and image processing.A specialised high resolution, long working distance and diffraction limited lens was used to image within the component. A series of digital images were made to map spatially the interior of the component. An edge detector was then used to localise the specific location of features in order that an accurate internal measurement could be made. A visualisation of the internal surface finish was also achieved.     

Relativistic quantum defect calculations on the copper isoelectronic sequence

The quantum defect orbital (QDO ) method and its relativistic (RQDO ) counterpart have been employed in this work to compute oscillator strengths for several fine-structure transitions in members of the copper isoelectronic sequence up to Z = 92. The RQDO results are found to be in quite good agreement with the best estimates derived from other sources, whenever the comparison is possible. © 1994 John Wiley & Sons, Inc.