Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

Exact and approximate solutions to the Schrödinger equation for the harmonic oscillator with a singular perturbation

I obtain exact solutions for the quantum-mechanical harmonic oscillator with a perturbation potential which belongs to a class of polynomial functions of 1/r. I show that some of the eigenfunctions enable the calculation of expectation values in closed form and are therefore suitable trial functions for the application of the variational method to related nonsolvable problems.     

The twist coefficient of periodic solutions of a time-dependent Newton's equation

This paper gives sufficient conditions for the existence of periodic solutions of twist type of a time-dependent differential equation of the second order. The concept of periodic solution of twist type is defined in terms of the corresponding Birkhoff normal form and, in particular, implies that the solution is Lyapunov stable. Some applications to nonlocal problems are given.     

A new technique for obtaining the activation energy distribution of a relaxing system

This paper describes a robust and fast fitting procedure applicable for relaxing processes that cannot be understood as a discrete sum of single processes but require an activation energy distribution. The method is based on a set of closed-form expressions that allow the computation of the relaxation parameters directly from the isochronal curves obtained experimentally. The usefulness of this method is checked by analyzing the isochronal curves given by a theoretical energy distribution and the magnetic disaccommodation spectra observed in yttrium iron garnet (YIG) samples. PACS 02.60.Ed; 75.60.Lr; 75.50.Gg     

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.     

On the interpretation of the racemic states of the B 2 phase of banana-shaped mesogens

We show that the racemic states of the B 2 phase of liquid crystals composed of banana-shaped molecules do not satisfy the Curie principle. Thus it is argued that these states cannot exist in bulk samples and the homochiral states constitute the only stable microscopic structures. A reinterpretation of the racemic states with the same macroscopic optical behaviour is proposed in terms of mixtures of the homochiral structures.     

Monitoring managerial efficiency in the performing arts: A regional theatres network perspective

Managerial efficiency within the performing arts programming can be understood as the technical efficiency of transforming the resources cultural managers have available into a determined cultural output. Through this explanation different conceptions on the finished performance product it leads us to select two different output variables (number of performances, and number of attendances). In this way, three different models are considered regarding those conceptual points of view. Data on the Circuït Teatral Valencià, a Spanish regional theatres network, is used to develop empirically the concept of Managerial Efficiency and set up a framework to allow us to monitor it.     

Long-Range proton-proton coupling constants. I. Propanic coupling involving a methyl group 4JMeH

An equation is formulated on the basis of theoretical INDO/FPT calculations which describes the angular dependence of the propanic long-range coupling constant ⁴J_MeH in substituted HCCCH₃ fragments. This equation is a truncated Fourier series in the torsion angle ?, HCCMe, which takes into account the dependence of the Fourier coefficients on the bond angle θ, CCMe. The substituent effects are assumed to be additive. Some parameters in the equation may be obtained from the ⁴J_MeH couplings in propane and neopentane derivatives. The calculated effect upon ⁴J_MeH of changes in the bond angle θ is significant and it seems to be in part the cause of some effects which have been attributed to conformational dependence.