A constraint programming approach to cutset problems

We consider the problem of finding a cutset in a directed graph G=(V,E)$G=(V,E)$, i.e., a set of vertices that cuts all cycles in G  . Finding a cutset of minimum cardinality is NP-hard. There exist several approximate and exact algorithms, most of them using graph reduction techniques. In this paper, we propose a constraint programming approach to cutset problems and design a global constraint for computing cutsets. This cutset constraint is a global constraint over boolean variables associated to the vertices of a given graph and states that the subgraph restricted to the vertices having their boolean variable set to true is acyclic. We propose a filtering algorithm based on graph contraction operations and inference of simple boolean constraints, that has a linear time complexity in O(|E|+|V|)$O(|E|+|V|)$. We discuss search heuristics based on graph properties provided by the cutset constraint, and show the efficiency of the cutset constraint on benchmarks of the literature for pure minimum cutset problems, and on an application to log-based reconciliation problems where the global cutset constraint is mixed with other boolean constraints.     

Combining ergonomics, culture and scenario for the design of a cooperation platform

Analyzing the way computer technologies are used is crucial for their development. Such analyses make it possible to evaluate these technologies and enhance their evolution. The present article presents some ideas drawn from the development of a cooperation platform for elementary school children (10–11 years old). On the basis of an obvious ergonomic requirement, we worked on two other dimensions: cultural aspects and the teaching scenario. The goal was to set up observation situations and analyze the conversations produced during those situations, in order to understand what using the platform meant to both the pupils and their teachers.

On Similarity Measures for Multimedia Database Applications

A multimedia database query consists of a set of fuzzy and boolean (or crisp) predicates, constants, variables, and conjunction, disjunction, and negation operators. The fuzzy predicates are evaluated based on different media criteria, such as color, shape, layout, keyword. Since media-based evaluation yields similarity values, results to such a query is defined as an ordered set. Since many multimedia applications require partial matches, query results also include tuples which do not satisfy all predicates. Hence, any fuzzy semantics which extends the boolean semantics of conjunction in a straight forward manner may not be desirable for multimedia databases. In this paper, we focus on the problem of ‘given a multimedia query which consists of multiple fuzzy and crisp predicates, how to provide the user with a meaningful overall ranking.’ More specifically, we study the problem of merging similarity values in queries with multiple fuzzy predicates. We describe the essential multimedia retrieval semantics, compare these with the known approaches, and propose a semantics which captures the retrieval requirements in multimedia databases. Received 13 August 1999 / Revised 13 May 2000 / Accepted in revised form 26 July 2000     

Software assessment using metrics: A comparison across large C++ and Java systems

This paper presents an assessment method to evaluate the quality of object oriented software systems. The assessment method is based on source code abstraction, object–oriented metrics and graphical representation. The metrics used and the underlying model representing the software are presented. The assessment method experiment is part of an industrial research effort with the Bell Canada Quality Engineering and Research Group. It helps evaluators assess the quality and risks associated with software by identifying code fragments presenting unusual characteristics. The assessment method evaluates object–oriented software systems at three levels of granularity: system level, class level and method level. One large C++ and eight Java software systems, for a total of over one million lines of code, are presented as case studies. A critical analysis of the results is presented comparing the systems and the two languages.     

Equilibrium distributions of key components of spearmint oil in sub/supercritical carbon dioxide

Effects of temperature (at 35, 45 or 55°C) and pressure (10–110 atm) on the relative distribution coefficients of the twelve key components of spearmint oil (essential oil ofMentha cardiaca; Scotch spearmint) at equilibrium in dense CO₂ were investigated under conditions ranging from subcritical to supercritical regions. Effects of vapor pressure, molecular weight and polarity of the key components on their equilibrium distributions in sub/supercritical CO₂ are discussed. At 35°C, all key components of spearmint oil are equally soluble in dense CO₂ within the 12–102 atm pressure region. At 45 and 55°C, the key components are equally soluble for pressures greater than about 60 atm. However, around either 45°C/27 atm or 55°C/35 atm conditions, the relative distribution coefficients of all monoterpene hydrocarbons and of isomenthone (an oxygenated monoterpene) exhibit maxima, which are due to significantly higher vapor pressures of these components and significantly lower solvating power of the dense-gas solvent at these particular temperatures and pressures. Vapor-pressure effects, coupled with the decrease in solvating power, dominate the effects of polarity and molecular mass of the key components. Deterpenation of spearmint oil with dense CO₂ is possible around either 45°C/27 atm or 55°C/35 atm, where the monoterpene hydrocarbons tend to concentrate in the CO₂-rich phase.     

Dufour Gland Contents of Ants of the Cataglyphis bicolor Group

The species of desert-dwelling ants of the Cataglyphis bicolor (Hymenoptera: Formicidae) group are difficult to distinguish by morphological features. Analysis of the secretion from the Dufour glands of workers of a number of colonies was undertaken to see if it provided a clear test of species. Linked 6c-ms showed in all samples straight and branched-chain alkanes, linear alkenes, ketones, aldehydes, acetates, and a group of C₂₂ to C₂₈ esters not previously identified in this genus. Contents of the Dufour glands of C. savignyi from Tunisia and Egypt were similar, and comprised straight and branched-chain alkanes, alkenes and small amounts of esters. C. bicolor from Tunisia contained compounds similar to C. savignyi but was distinguished from the latter by larger amounts of the esters. The major compound in the glands of C. viaticus was tridecane, in contrast to the pentadecane of other species. It also contained a branched alkane, 3-methyltridecane as a major component. Branched-chain esters and a wide variety of acetates were also found in this species. C. diehlii had a limited range of compounds, with branched alkanes almost completely absent and high proportions of pentadecene and dodecyl acetate. C. bombycinus, a sympatric species, but recognized as not belonging to the bicolor group by its different mandibular gland substances, was notable in having butanoate esters in its Dufour glands. Despite these differences among species, both the great variability of individuals from a single colony and the among between conspecific colonies make species diagnosis from a few individuals difficult, in contrast with postpharyngeal glands, which, as recently reported, give a clearer indication of species.     

DESIGN OF TEMPERATURE CONTROLLED QUARTZ CRYSTAL MICROBALANCE SYSTEM

In this study, the dual modulated quartz crystal microbalance (QCM) with heating and cooling control has been developed for the quantitative determination of biological molecules, as a biosensor. On the other hand, since, the Sauerbrey formula is misprinted in some publications, the correct form of formula is also discussed. The proposed QCM biosensor has three main parts, which are the oscillator circuit, temperature control circuit, and the differential frequency measurement unit. Colpitts oscillators with the buffer amplifier, microcontroller (PIC16F877) for the temperature control circuit and a peltier element were used for heating and cooling inside the developed system. Differential frequency measurement is a known technique to compensate environmental effects causing instability of crystals. For this reason, one of the crystals is implemented with oscillatory circuits, i.e., the detector; the other one is used as the reference. The designed system was tested between 8°C and 50°C and frequency shift versus temperature is observed at 0.5 ppm/°C over a given temperature range.     

Assessment of sediment quality and pore water ecotoxicity in Kebir Rhumel basin (NE-Algeria): a combined approach

The objectives of this study are to use different approaches to assess the current pollution status in the wadis of the Kebir Rhumel basin. First, sediment trace metal contents were measured by flame atomic absorption spectroscopy. Then, sediment quality was assessed on the basis of contamination assessment indexes such as: Geoaccumulation Index (Igeo), Contamination factor (C(f)), Contamination degree (C(d)), Sediment Pollution Index (SPI) and SEQ guidelines (Consensus Sediment Quality Guidelines). In addition, several toxicity tests (Daphnia magna mobility inhibition acute test-48 h, Aliivibrio fischeri luminescence inhibition acute test - 15/30 mn and Pseudokirchneriella subcapitata growth inhibition chronic test - 72 h) were conducted to assess sediment pore water ecotoxicity. Trace metal concentrations followed the order: Mn > Zn > Pb > Cr > Cu > Ni > Co > Cd. Indexes used indicate varying degrees of sediment quality. Igeo, C(f), C(d) and SPI reveal a polymetallic contamination dominated by two or more elements in which Cd, Cu and Pb are of greatest concern. SEQ guidelines showed that biological effects on fauna would likely be observed occasionally and/or frequently for Cd, Cr, Cu, Pb and Zn contents. Test organisms exposed to sediment pore water showed that the algal P. subcapitata test was more sensitive than the D. magna and A. fischeri tests. Hence, algal growth inhibition proved to be the most sensitive response to contaminants present in sediment extracts but a significant relationship with trace metal contents was not demonstrated.