Inverse Pattern Matching

Let a textstringTofnsymbols from some alphabet Σ and an integerm < nbe given. A patternPof lengthmover Σ is sought such thatPminimizes (alternatively, maximizes) the total number of pairwise character mismatches generated whenPis compared with allm-character substrings ofT. Two additional variants of the problem are obtained by adding the constraint thatPbe (respectively, not be) a substring ofT. Efficient sequential algorithms are proposed in this paper for the problem and its variants.     

Abelian BF Theories and Knot Invariants

In the context of the Batalin–Vilkovisky formalism, a new observable for the Abelian BF theory is proposed whose vacuum expectation value is related to the Alexander–Conway polynomial. The three-dimensional case is analyzed explicitly, and it is proved to be anomaly free. Moreover, at the second order in perturbation theory, a new formula for the second coefficient of the Alexander–Conway polynomial is obtained. An account on the higher-dimensional generalizations is also given. Received: 2 October 1996 / Accepted: 21 March 1997     

The complexity of minimum difference cover

The complexity of searching minimum difference covers, both in Z⁺ and in Z_n, is studied. We prove that these two optimization problems are NP-hard. To obtain this result, we characterize those sets—called extrema—having themselves plus zero as minimum difference cover. Such a combinatorial characterization enables us to show that testing whether sets are not extrema, both in Z⁺ and in Z_n, is NP-complete. However, for these two decision problems we exhibit pseudo-polynomial time algorithms.     

On the Cartan–Jacobson Theorem

The well-known Cartan–Jacobson theorem claims that the Lie algebra of derivations of a Cayley algebra is central simple if the characteristic is not 2 or 3. In this paper we have studied these two cases, with the following results: if the characteristic is 2, the theorem is also true, but, if the characteristic is 3, the derivation algebra is not simple. We have also proved that in this last case, there is a unique nonzero proper seven-dimensional ideal, which is a central simple Lie algebra of type A₂, and the quotient of the derivation algebra modulo this ideal turns out to be isomorphic, as a Lie algebra, to the ideal itself. The original motivation of this work was a series of computer-aided calculations which proved the simplicity of derivation algebras of Cayley algebras in the case of characteristic not 3. These computations also proved the existence of a unique nonzero proper ideal (which turns out to be seven-dimensional) in the algebra of derivations of split Cayley algebras in characteristic 3.     

Search of theH particle in antiproton-nuclear interactions

The proposal of hunting theH-particle taking advantage of antiproton annihilation at rest on³He is discussed. The obtained K^* beam should allow one to obtain a flux ofΞ ^? with momentum low enough to optimize the fusion probability (ΞN) to give anH. The experimental apparatus to detectH-events as the only missing mass of the fully reconstructed reaction¯p ³He →KKπ ⁺ H is the OBELIX Spectrometer at LEAR. A detailed Monte Carlo simulation of the overall acceptance of OBELIX for the above reaction is performed. The obtained final rate shows the feasibility of the experiment also in a not dedicated detector like OBELIX.     

The simulation of molecular and organic devices: a critical review and look at future developments

Molecular devices have lately attracted increased attention due to some appealing features such as their low production cost, flexibility in the substrate choice, possibility of large area deployment, and possibly higher integration capabilities. Starting from a series of results obtained from our groups, we critically review the state-of-the-art in the field of simulation of organic and molecular systems, by analyzing and comparing existing approaches, and looking at the open problems and possible solutions and future developments. PACS 72.80.Le     

Ethylene polymerization by novel Ziegler–Natta‐type catalysts obtained in situ by the oxidative addition of 8‐hydroxyquinoline‐based ligands to bis(1,5‐cyclooctadiene)nickel(0) and methylaluminoxane

Novel catalytic systems, prepared in situ by the oxidative addition of 8‐hydroxyquinoline ligands to bis(1,5‐cyclooctadiene)nickel(0) and activated by methylaluminoxane, were studied in ethylene polymerization. When 8‐hydroxyquinoline was employed, only oligomeric products were obtained. On the contrary, 5,7‐dinitro‐8‐hydroxyquinoline gave linear polyethylene (PE), but with a modest activity. For the catalyst based on 5‐nitro‐8‐hydroxyquinoline, the productivity was largely dependent on the content of free trimethylaluminum (TMA) present in the commercial aluminoxane. The progressive optimization of the TMA/oligomeric methylaluminoxane ratio increased the productivity, which reached 700 kg of PE/(mol of Ni × h), by an order of magnitude. © 2005 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 200–206, 2006     

Continuous reaction system to investigate the dispersion polymerization of vinyl monomers in supercritical carbon dioxide

A laboratory‐scale continuous reaction system using a stirred tank reactor was assembled in our laboratory to study the dispersion polymerization of vinyl monomers in supercritical carbon dioxide (scCO₂). The apparatus was equipped with a suitable downstream separation section to collect solid particles entrained in the effluent stream from the reactor, whose monomer concentration could be measured online with a gas chromatograph. The dispersion polymerization of methyl methacrylate in scCO₂ was selected as a model process to be investigated in the apparatus. The experiments were performed at 65 °C and 25 MPa with 2,2′‐azobisisobutyronitrile as the initiator and a reactive polysiloxane macromonomer as a surfactant to investigate the effect of the mean residence time of the reaction mixture on the monomer conversion, polymerization rate, polymer molecular weight, and particle size distribution. The results were compared with those obtained in batch polymerizations carried out under similar operative conditions. © 2006 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 4122–4135, 2006     

A three-phase single sheet tester with digital control of flux loci based on the contraction mapping principle

Tight control of flux loci in 2D testing of soft magnetic laminations is realized by a method based on the principle of contraction mapping. It is implemented through digital control of the currents supplying a three-phase yoke magnetizer and the use of circular samples. Faithful realization of the prescribed loci and good measuring accuracy are demonstrated in grain-oriented and non-oriented Fe–Si laminations.