Search results for " Complexity"

Full CNF Encoding: The Counting Constraints Case

2004

Many problems are naturally expressed using CNF clauses and boolean cardinality constraints. It is generally believed that solving such problems through pure CNF encoding is inefficient, so many authors has proposed specialized algorithms : the pseudo-boolean solvers. In this paper we show that an appropriate pure CNF encoding can be competitive with these specialized methods. In conjunction with our encoding, we propose a slight modification of the DLL procedure that allows any DLL-based SAT solver to solve boolean cardinality optimization problems. We show experimentally that our encoding allows zchaff to be competitive with pseudo-boolean solvers on some decision and optimization problem…

A Translation of Pseudo Boolean Constraints to SAT

2006

Research note; This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the produced formula can be exponentially related to the size of the input constraint, but some important classes of pseudo-Boolean constraints, including Boolean cardinality constraints, are encoded in polynomial time and size. The proposed encoding was integrated in a solver based on the zCha SAT solver and submitted to the PB05 evaluation. The results provide new perspectives in the field of full CNF approach of pseudo-Boolean constraints solving.

Mollusc shellomes: Past, present and future.

2020

13 pages; International audience; In molluscs, the shell fabrication requires a large array of secreted macromolecules including proteins and polysaccharides. Some of them are occluded in the shell during mineralization process and constitute the shell repertoire. The protein moieties, also called shell proteomes or, more simply, 'shellomes', are nowadays analyzed via high-throughput approaches. These latter, applied so far on about thirty genera, have evidenced the huge diversity of shellomes from model to model. They also pinpoint the recurrent presence of functional domains of diverse natures. Shell proteins are not only involved in guiding the mineral deposition, but also in enzymatic a…

Disentangling local agronomic practices from agricultural landscape effects on pest biological control

2019

International audience; The biological control of crop pests is a valuable service provided by various beneficial organisms that are naturally present in agricultural landscapes. Semi-natural habitats has long been recognized as essential to preserve beneficial insects, but proof of their efficiency to enhance biological control of pests remains non conclusive. Here, we examined the variability of landscape effect on biological pest control and the way local agronomic practices may modulate it. Biological pest control was monitored in 80 commercial fields (arable crops and orchards) during three consecutive years in four contrasting French agricultural landscapes distributed along a double …

Numerical Optimization of Liner Impedance in Acoustic Duct

2020

Abstract The SALUTE project aims at evaluating performance of metacomposites for acoustic smart lining in grazing turbulent flow. Theoretical and numerical investigations are carried out for designing innovative specimen. A specific focus is placed in the realization of prototypes for evaluating the metacomposite liner performances in 2D and 3D liners, its process complexity and robustness. The insight gain in this project is new tools for obtaining innovative samples; the acoustical experimental tests demonstrate efficiency and robustness of such technology for controlling UHBR noise emission. This paper is focused on parametric study based on the maximization of the absorption coefficient…

The impact of partners’ financial condition on alliance contract design: evidence from biotech-pharma alliances

2014

A novel pilot study of automatic identification of EMF radiation effect on brain using computer vision and machine learning

2020

Abstract Electromagnetic field (EMF) radiations from mobile phones and cell tower affect brain of humans and other organisms in many ways. Exposure to EMF could lead to neurological changes causing morphological or chemical changes in the brain and other internal organs. Cellular level analysis to measure and identify the effect of mobile radiations is an expensive and long process as it requires preparing the cell suspension for the analysis. This paper presents a novel pilot study to identify changes in brain morphology under EMF exposure considering drosophila melanogaster as a specimen. The brain is automatically segmented, obtaining microscopic images from which discriminatory geometri…

ORNAMENTAL SIGN LANGUAGE IN THE FIRST ORDER TRACERY BELTS

2010

18 pages; We consider ornamental sign language of first order where principles of sieve displacement, of asymmetric building blocks as base of ornament symmetry, color exchangeability and side equivalence principles work. The generic aspects of sieve and genesis of ornamental pattern and ornament sign in it are discussed. The hemiolia principle for ornamental genesis is introduced. The discoverer of most of these principles were artist Modris Tenisons [4, 5, 6, 7 (refs. 23, 24), 8 (ref. 65)]. Here we apply systematical research using simplest mathematical arguments. We come to conclusions that mathematical argument in arising ornament is of much more significance than simply symmetries in i…

On the Complexity of the Bernstein Combinatorial Problem

2012

International audience

Probabilistic Logic under Coherence: Complexity and Algorithms

2005

In previous work [V. Biazzo, A. Gilio, T. Lukasiewicz and G. Sanfilippo, Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P, Journal of Applied Non-Classical Logics 12(2) (2002) 189---213.], we have explored the relationship between probabilistic reasoning under coherence and model-theoretic probabilistic reasoning. In particular, we have shown that the notions of g-coherence and of g-coherent entailment in probabilistic reasoning under coherence can be expressed by combining notions in model-theoretic probabilistic reasoning with concepts from default reasoning. In this paper, we continue this line of research. Based on the above sem…