The question of satissability for a given proposi-tional formula arises in many areas of AI. Especially nding a model for a satissable formula is very important though known to be NP-complete. There exist complete algorithms for satissability testing like the Davis-Putnam-Algorithm, but they often do not construct a satisfying assignment for the formula , are not practically applicable for more...

The aim of this study was to develop suitable microemulsion gel systems for transdermal delivery that could assist dissolution enhancement of poorly water soluble celecoxib and thus improve its skin permeability. Long term oral administration of celecoxib causes serious gastrointestinal adverse effects, which makes it a good candidate for transdermal formulations, yet its low water solubility (...

BACKGROUND Biventricular (BiV) is extensively used in the treatment of congestive heart failure but so far no recommendations for optimized programming of atrioventricular-delay (AVD) settings have been proposed. Can AVD optimization be performed using a simple formula based on non-invasive doppler-echocardiography? METHODS 25 patients (ejection fraction 30+/-8%) received BiV ICDs. Doppler-ec...

Spectral synthesis techniques often use the OverLap-Add method. But in the case of noise synthesis, both experiments and theory show that this method introduces intensity fluctuations which imply audible artifacts. We propose here new methods to avoid these variations. The first one consists in multiplying the resulting signal by another weighting window to compensate dynamic fluctuations. The ...

A link between a pair of nodes is defined unstable if it is characterized by a packet loss which is not negligible in one or both directions. The presence of unstable links in multihop ad hoc networks is very likely and it depends on several factors (e.g., different transmission capabilities of the devices, interferences caused by additional wireless devices). Their management by the routing pr...

We study the optimal linear arrangement (OLA) problem on interval graphs. Several linear layout problems that are NP-hard on general graphs are solvable in polynomial time on interval graphs. We prove that, quite surprisingly, optimal linear arrangement of interval graphs is NP-hard. The same result holds for permutation graphs. We present a lower bound and a simple and fast 2-approximation alg...

In this proposition, we present a link management technique for pro-active routing protocols for ad-hoc networks. This new mechanism is based on signal strength hence cross layer approach is used. The hysteresis mechanism provided by OLSR is improved upon by using signal strength in combination with the hello loss based hysteresis. The signal power is used to determine if the link-quality is im...

Circular tubes are widely used in daily life and manufacture under bending load. The structural parameters of a circular tube, such as its wall thickness, number shapes ribs, supporting flanges, closely related to the tube’s rigidity. In this study, tube with eight ribs flange was optimized, order obtain lowest weight, through comprehensive optimization. We obtained optimal influence on weight....