Covering arrays have been studied for their applications to drug screening and software and hardware testing. In this paper, we model the problem as a constraint program. Our proposed models exploit non-binary (global) constraints, redundant modelling, channelling constraints, and symmetry breaking constraints. Our initial experiments show that with our best integrated model, we are able to eit...

Quark-meson duality for two-point functions of vector and axial-vector QCD currents is investigated in the large-Nc approximation. We find that the joint constraints of duality and chiral symmetry imply degeneracy of excited vector and axial-vector mesons in the large-Nc limit. We compare model-independent constraints with expectations based on the VenezianoLovelace-Shapiro string model. Severa...

In recent years, emerging applications introduced new constraints for data mining methods. These constraints are typical of a new kind of data: the data streams. In a data stream processing, memory usage is restricted, new elements are generated continuously and have to be considered as fast as possible, no blocking operator can be performed and the data can be examined only once. At this time ...

2.1 Two different approaches It is possible to create a scoring matrix by a calculated selection of criteria according to any arbitrary set of biological constraints. Yet, we must realize that there are countless constraints to keep in mind and once we have generated this matrix according to a chosen set of criteria we hardly have any assurances as to its success in estimating the alignment sco...

Abstract: A recently proposed fast image alignment algorithm is the inverse compositional algorithm based on LucasKanade. In this paper, we present an overview of different brightness and gradient constraints used with the inverse compositional algorithm. We also propose an efficient and robust data constraint for the estimation of global motion from image sequences. The constraint combines bri...

The construction cost and crash of the highway are contradictory, but there is an optimal balance between them. This study focused on best point by microadjusting alignment design using optimization theory. A multiobjective method was proposed to optimize horizontal considering economy safety. model includes three main objective functions which economic function, safety position constraint func...

Biogenic amine receptors play critical roles in regulating behavior and physiology, particularly within the central nervous system, in both vertebrates and invertebrates. These receptors belong to the G-protein coupled receptor (GPCR) family and interact with endogenous bioamine ligands, such as dopamine, serotonin, and epinephrine, and they are targeted by a wide array of pharmaceuticals. Desp...

The sensor element of an imaging system should be mounted into its housing in such a way that the scene can be prop­ erly focused onto the sensor element’s focal plane over the active area. Operational imaging requirements are forcing increasingly smaller tolerances on sensor alignment, and manufacturing systems must improve alignment capability to keep pace. Imaging system designs include refe...

Protein structure alignment is the problem of determining an assignment between the amino-acid residues of two given proteins in a way that maximizes a measure of similarity between the two superimposed protein structures. By identifying geometric similarities, structure alignment algorithms provide critical insights into protein functional similarities. Existing structure alignment tools adopt...

We propose in this paper a new approach for representing the prosody/syntax interface. We use for this a particular formalism, called Property Grammars, in which all information is represented by means of constraints. We show how alignment constraints can implement such an interface. One of the interests of these constraints, in comparison with other approaches such as optimality theory, is the...