Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT

An analysis of the hardness of resolution of random 3-SAT instances using the Davis-Putnam-Loveland-Logemann (DPLL) algorithm slightly below threshold is presented. While finding a solution for such instances demands exponential effort with high probability, we show that an exponentially small fraction of resolutions require a computation scaling linearly in the size of the instance only. We compute analytically this exponentially small probability of easy resolutions from a large deviation analysis of DPLL with the Generalized Unit Clause search heuristic, and show that the corresponding exponent is smaller (in absolute value) than the growth exponent of the typical resolution time. Our study therefore gives some quantitative basis to heuristic restart solving procedures, and suggests a natural cut-off cost (the size of the instance) for the restart.     

Reliability of RF MEMS switches due to charging effects and their circuital modelling

The reliability of RF MEMS switches is typically reduced by charging effects occurring in the dielectrics. The aim of this paper is to discuss these effects, and to propose analytical and equivalent circuit models which account for most of the physical contributions present in the structure.     

Rules and Strategies for Contextual Specialization of Constraint Logic Programs

We address the problem of specializing a constraint logic program w.r.t. a constrained atom which specifies the context of use of the program. We follow an approach based on transformation rules and strategies. We introduce a novel transformation rule, called contextual constraint replacement, to be combined with variants of the traditional unfolding and folding rules. We present a general Partial Evaluation Strategy for automating the application of these rules, and two additional strategies: the Context Propagation Strategy which is instrumental for the application of our contextual constraint replacement rule, and the Invariant Promotion Strategy for taking advantage of invariance properties of the computation. We show through some examples the power of our method and we compare it with existing methods for partial deduction of constraint logic programs based on extensions of Lloyd and Shepherdson's approach.     

Motif patterns in 2D

Motif patterns consisting of sequences of intermixed solid and don’t-care characters have been introduced and studied in connection with pattern discovery problems of computational biology and other domains. In order to alleviate the exponential growth of such motifs, notions of maximal saturation and irredundancy have been formulated, whereby more or less compact subsets of the set of all motifs can be extracted, that are capable of expressing all others by suitable combinations. In this paper, we introduce the notion of maximal irredundant motifs in a two-dimensional array and develop initial properties and a combinatorial argument that poses a linear bound on the total number of such motifs. The remainder of the paper presents approaches to the discovery of irredundant motifs both by offline and incremental algorithms.     

Influence of mediator immobilization on the electrochemically assisted microbial dechlorination of trichloroethene (TCE) and cis‐dichloroethene (cis‐DCE)

BACKGROUND: A bioelectrochemical process for trichloroethene (TCE) dechlorination was developed. In this new process, a solid‐state electrode polarized to ?450 mV versus the standard hydrogen electrode (SHE), in combination with a redox mediator (i.e., methyl viologen, MV) is employed as an electron donor for the microbial reductive dechlorination of TCE. In this study we compared the performance of the process with the redox mediator immobilized at the surface of electrodes or dissolved in the bulk liquid, using both a culture highly enriched in Desulfitobacterium spp., capable of dechlorinating TCE to cis‐dichloroethene (cis‐DCE), and a culture highly enriched in Dehalococcoides spp. capable of dechlorinating cis‐DCE to ethene. RESULTS: Short‐term potentiostatic (?450 mV versus SHE) experiments showed that TCE or cis‐DCE was dechlorinated both in the presence of soluble (500 µmol L^?1) and immobilized MV. However, TCE or cis‐DCE dechlorination rates with MV‐modified electrodes were remarkably lower than with soluble MV. Both cultures produced significant amounts of H₂ in the presence of electrically reduced, soluble MV, whereas no H₂ was produced when the mediator was immobilized at the electrode surface, regardless of the potential applied to the electrode, in the range ?425 to ?500 mV versus SHE. CONCLUSIONS: The process, operated with modified electrodes, supports the microbial dechlorination of TCE to ethene. Immobilization not only allows retention of the mediator within the system, but also increases process efficiency by preventing bioelectrochemical H₂ formation. On the other hand, strategies to increase dechlorination rates with modified electrodes need to be developed. Copyright © 2009 Society of Chemical Industry     

ATM layouts with bounded hop count and congestion

Summary. In this paper we introduce and analyze two new cost measures related to the communication overhead and the space requirements associated with virtual path layouts in ATM networks, that is the edge congestion and the node congestion. Informally, the edge congestion of a given edge e at an incident node u is defined as the number of VPs terminating at or starting from u and using e, while the node congestion of a node v is defined as the number of VPs having v as an endpoint. We investigate the problem of constructing virtual path layouts allowing to connect a specified root node to all the others in at most h hops and with maximum edge or node congestion c, for two given integers h and c. We first give tight results concerning the time complexity of the construction of such layouts for both the two congestion measures, that is we exactly determine all the tractable and intractable cases. Then, we provide some combinatorial bounds for arbitrary networks, together with optimal layouts for specific topologies such as chains, rings and grids. Received: December 1997 / Accepted: August 2000     

New ways to understand aroma perception

Orthonasal or retronasal presentation of odorants evokes different responses. To study this phenomenon in depth, a stimulation technique has been developed that allows ortho- or retronasal presentation of chemosensory stimuli, the release of which is precisely controlled. Based on this technique studies have been conducted using psychophysical, electrophysiological, and imaging techniques. In conjunction with clinical data the results clearly suggest that there are differences in the perception of ortho- and retronasal stimuli. The basis for this phenomenon may be found in ideas by Mozell and colleagues with regard to odorant absorption across the mucosa which may determine activation of the olfactory epithelium.     

Biosorption of protons and heavy metals onto olive pomace: modelling of competition effects

Heavy metal biosorption onto solid wastes from olive oil production plants, olive pomace, has been investigated. Acid-base properties of the active sites of olive pomace were determined by potentiometric titrations and represented by a continuous model accounting for two main kinds of active sites. Competition among protons and heavy metals in solution was considered by performing biosorption tests at different equilibrium pH with single (Cu and Cd) and binary metal systems (Cu-Cd). Both Langmuir extensions and non-ideal competitive adsorption models (NICA models) can be used to represent experimental data of Cu and Cd biosorption in single metal systems at different equilibrium pH. Nevertheless only NICA models, accounting for site heterogeneity and non-ideal adsorption of the different species simultaneously present in solution, can adequately simulate the competition among Cu and Cd in binary metal systems by using the parameters fitted to single system data.     

New Frontiers on ER Stress Modulation: Are TRP Channels the Leading Actors?

The endoplasmic reticulum (ER) is a dynamic structure, playing multiple roles including calcium storage, protein synthesis and lipid metabolism. During cellular stress, variations in ER homeostasis and its functioning occur. This condition is referred as ER stress and generates a cascade of signaling events termed unfolded protein response (UPR), activated as adaptative response to mitigate the ER stress condition. In this regard, calcium levels play a pivotal role in ER homeostasis and therefore in cell fate regulation since calcium signaling is implicated in a plethora of physiological processes, but also in disease conditions such as neurodegeneration, cancer and metabolic disorders. A large body of emerging evidence highlighted the functional role of TRP channels and their ability to promote cell survival or death depending on endoplasmic reticulum stress resolution, making them an attractive target. Thus, in this review we focused on the TRP channels’ correlation to UPR-mediated ER stress in disease pathogenesis, providing an overview of their implication in the activation of this cellular response.