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.     

Certified reference material for the quality control of EDTA- and DTPA-extractable trace metal contents in calcareous soil (CRM 600)

Single extraction tests are commonly used to study the eco-toxicity and mobility of metals in soils, e.g. to assess the bioavailable metal fraction (and thus to estimate the related phyto-toxic and nutritional deficiency effects) and the environmentally accessible trace metals upon disposal of e.g. sediment on to a soil (e.g. contamination of ground waters). However, the lack of uniformity in the different procedures does not allow the results to be compared worldwide nor the procedures to be validated. This paper describes the interlaboratory testing of EDTA- and DTPA-extraction procedures for soil analysis, followed by the preparation of a calcareous soil reference material (CRM 600), the homogeneity and stability studies and the analytical work performed for the certification of the EDTA- and DTPA- extractable contents of some trace metals (following the standardized extraction procedures). Received: 21 May 1997 / Revised: 4 July 1997 / Accepted: 9 July 1997     

The Determination of Trace Elements by Flame Atomic Absorption Spectrometry: Effect of the Composition of Standard Solution Matrices

Abstract

The effect of using solution matrices in calibration standards different from those employed for the extraction steps in the determination of Cd, Cr, Cu, Ni and Zn were tested. Cu and Zn are little affected by matrix effects but, if the extractant is ammonium acetate, the use of other matrices may result in too high Cd, Cr and Ni values.     

Transient dynamics around unstable periodic orbits in the generalized repressilator model

We study the temporal dynamics of the generalized repressilator, a network of coupled repressing genes arranged in a directed ring topology, and give analytical conditions for the emergence of a finite sequence of unstable periodic orbits that lead to reachable long-lived oscillating transients. Such transients dominate the finite time horizon dynamics that is relevant in confined, noisy environments such as bacterial cells (see our previous work [Strelkowa and Barahona, J. R. Soc. Interface 7, 1071 (2010)]), and are therefore of interest for bioengineering and synthetic biology. We show that the family of unstable orbits possesses spatial symmetries and can also be understood in terms of traveling wave solutions of kink-like topological defects. The long-lived oscillatory transients correspond to the propagation of quasistable two-kink configurations that unravel over a long time. We also assess the similarities between the generalized repressilator model and other unidirectionally coupled electronic systems, such as magnetic flux gates, which have been implemented experimentally.     

Obtaining certificates for complete synchronisation of coupled oscillators

In this paper, we provide a novel reformulation of sufficient conditions that guarantee global complete synchronisation of coupled identical oscillators to make them computationally implementable. To this end, we use semidefinite programming techniques. For the first time, we can efficiently search for and obtain certificates for synchronisability and, additionally, also optimise associated cost functions. In this paper, a Lyapunov-like function (certificate) is used to certify that all trajectories of a networked system consisting of coupled dynamical systems will eventually converge towards a common one, which implies synchronisation. Moreover, we establish new conditions for complete synchronisation, which are based on the so called Bendixson’s Criterion for higher dimensional systems. This leads to major improvements on the lower bound of the coupling constant that guarantees global complete synchronisation. Importantly, the certificates are obtained by analysing the connection network and the model representing an individual system only. In order to illustrate the strength of our method we apply it to a system of coupled identical Lorenz oscillators and to coupled van der Pol oscillators.     

Molecularly imprinted polymer grafted to porous polyethylene frits: a new selective solid-phase extraction format

In this paper, a novel format for selective solid-phase extraction based on a molecularly imprinted polymer (MIP) is described. A small amount of MIP has been synthesized within the pores of commercial polyethylene (PE) frits and attached to its surface using benzophenone (BP), a photo-initiator capable to start the polymerisation from the surface of the support material. Key properties affecting the obtainment of a proper polymeric layer, such as polymerisation time and kind of cross-linker were optimised. The developed imprinted material has been applied as a selective sorbent for cleaning extracts of thiabendazole (TBZ), as model compound, from citrus samples. The use of different solvents for loading the analyte in the imprinted frits was investigated, as well as the binding capacity of the imprinted polymer. Imprinted frits showed good selectivity when loads were performed using toluene and a linear relationship was obtained for the target analyte up to 1000 ng of loaded analyte. Prepared composite material was applied to the SPE of TBZ in real samples extracts, showing an impressive clean-up ability. Calibrations showed good linearity in the concentration range of 0.05-5.00 μg g(-1), referred to the original solid sample, and the regression coefficients obtained were greater than 0.996. The calculated detection limit was 0.016 μg g(-1), low enough to satisfactory analysis of TBZ in real samples. RSDs at different spiking levels ranged below 15% in all the cases and imprinted frits were reusable without loss in their performance.     

Network reinforcement

We give an algorithm for the following problem: given a graph G=(V,E) with edge-weights and a nonnegative integer k, find a minimum cost set of edges that contains k disjoint spanning trees. This also solves the following reinforcement problem: given a network, a number k and a set of candidate edges, each of them with an associated cost, find a minimum cost set of candidate edges to be added to the network so it contains k disjoint spanning trees. The number k is seen as a measure of the invulnerability of a network. Our algorithm has the same asymptotic complexity as |V| applications of the minimum cut algorithm of Goldberg & Tarjan. Received: April, 2004