18,674 research outputs found
Semantics of Input-Consuming Logic Programs
Input-consuming programs are logic programs with an additional restriction on the selectability (actually, on the resolvability) of atoms. this class of programs arguably allows to model logic programs employing a dynamic selection rule and constructs such as delay declarations: as shown also in [5], a large number of them are actually input-consuming. \ud
in this paper we show that - under some syntactic restrictions - the tex2html_wrap_inline117-semantics of a program is correct and fully abstract also for input-consuming programs. this allows us to conclude that for a large class of programs employing delay declarations there exists a model-theoretic semantics which is equivalent to the operational one
The economy of mule production in the South and methods of management
Mode of access: Internet
Modification of kraft wood-pulp fibre with silica for surface functionalisation
A new science strategy for natural fibre modification was devised in which glass surface properties would be imparted to wood-derived fibre. The enhancements known from addition of silane reagents to glass fibre–polymer composites could therefore be realised for modified cellulose fibre–polymer composites. A process is described whereby the internal void spaces and micropores of never-dried Kraft pulp fibre walls were impregnated with silica. This was achieved by initial dehydration of never-dried fibre through azeotropic distillation to achieve substitution of fibre water with the silicon chemical solution over a range of concentrations. Kraft fibres were stiffened and made resistant to collapse from the effect of the azeotrope drying. Specific chemical reaction of azeotrope-dried fibre with the reagent ClSi(OEt)3 followed by base-catalysed hydrolysis of the ester groups formed a fibre-bound silica composite. The physico-chemical substitution of water from micropores and internal voids of never-dried fibre with property-modifying chemicals offers possibilities in the development of new fibre characteristics, including fibres which may be hardened, plasticised, and/or stabilised against moisture, biodegradation or fire. The embedded silica may also be used as sites of attachment for coupling agents to modify the hydrophilic character of the fibre or to functionalise the fibre surface
Cellular Structures for Computation in the Quantum Regime
We present a new cellular data processing scheme, a hybrid of existing
cellular automata (CA) and gate array architectures, which is optimized for
realization at the quantum scale. For conventional computing, the CA-like
external clocking avoids the time-scale problems associated with ground-state
relaxation schemes. For quantum computing, the architecture constitutes a novel
paradigm whereby the algorithm is embedded in spatial, as opposed to temporal,
structure. The architecture can be exploited to produce highly efficient
algorithms: for example, a list of length N can be searched in time of order
cube root N.Comment: 11 pages (LaTeX), 3 figure
Control of trapped-ion quantum states with optical pulses
We present new results on the quantum control of systems with infinitely
large Hilbert spaces. A control-theoretic analysis of the control of trapped
ion quantum states via optical pulses is performed. We demonstrate how resonant
bichromatic fields can be applied in two contrasting ways -- one that makes the
system completely uncontrollable, and the other that makes the system
controllable. In some interesting cases, the Hilbert space of the
qubit-harmonic oscillator can be made finite, and the Schr\"{o}dinger equation
controllable via bichromatic resonant pulses. Extending this analysis to the
quantum states of two ions, a new scheme for producing entangled qubits is
discovered.Comment: Submitted to Physical Review Letter
Quantum computation over continuous variables
This paper provides necessary and sufficient conditions for constructing a
universal quantum computer over continuous variables. As an example, it is
shown how a universal quantum computer for the amplitudes of the
electromagnetic field might be constructed using simple linear devices such as
beam-splitters and phase shifters, together with squeezers and nonlinear
devices such as Kerr-effect fibers and atoms in optical cavities. Such a device
could in principle perform `quantum floating point' computations. Problems of
noise, finite precision, and error correction are discussed.Comment: 9 pages, Te
- …