An image watermarking based on the pdf modeling and quantization effects in the wavelet domain

An image watermarking technique based on the concept of JPEG2000 algorithm is proposed. Biorthogonal wavelet 9/7 transform is used to provide a set of coefficients suitable for watermark embedding. The statistical properties of different subbands are analyzed in order to choose the number of decomposition levels and position of subbands, which will assure the best compromise between the watermark transparency and robustness. The JPEG2000 quantization is applied to avoid insignificant wavelet coefficients, while the remaining ones are used for watermarking. The optimal and blind watermark detection is based on the nonlinear score function and appropriate model of coefficients distribution. The performance of the proposed procedure is tested on examples with various images, showing robustness under different attacks, while maintaining high image quality.     

meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.     

Aluminium electrodeposition from AlCl3-NaCl melts on glassy carbon,platinum and gold electrodes

The electrochemical deposition and dissolution of aluminium on glassy carbon, platinum and gold electrodes in chloraluminate melts have been investigated using linear sweep voltammetry and potentiostatic pulse techniques. It was shown that deposition of aluminium on the glassy carbon electrode at low overpotentials takes place by 3-D progressive nucleation and growth, with the incorporation of atoms in the crystal lattice as the rate-determining step. At overpotentials higher than –100 mV vs Al, in the melts containing more than 52 mol % of AlCl₃, diffusion of Al₂Cl ₇ ^– , takes over the control of deposition of aluminium. Alloying of platinum and gold electrodes with aluminium from the melt occurs in the underpotential region.     

Voltammetric and galvanostatic studies of hydrous and anhydrous iridium oxide films

Electrolytically grown hydrous oxide films on iridium wire electrodes have been thermally treated from 473 to 773 K. Anhydrous oxide films formed by this treatment have been subjected to cathodic polarization at the potential of the hydrogen evolution reaction, square-wave pulsing of potential from –0.25 to +1.25 V with respoect to SCE and to anodic galvanostatic polarization in 0.5 mol dm^–3 H₂SO₄. Cathodic pretreatment caused an increase of the voltammetric charge in the oxide formation region while the square-wave pulsing formed a hydrous oxide film whose voltammetric charge was superimposed on the charge of the anhydrous oxide film. Both procedures restored the hydrophilic nature of the electrode/solution interface. Potential-time curves during anodic galvanostatic polarization served as a diagnostic criterion for the stability and the state of the oxide film.     

Mit zweierlei Maß: Die mangelnde Verbindlichkeit von Patientenverfügungen bei untergebrachten Personen mit psychischen Störungen in der Schweiz

Definition of the problem

Full age patients with mental disorders and preserved decision-making capacity are increasingly interested in drafting advance directives. Whereas in Switzerland (as well as in Germany) advance directives are binding in principle, an advance directive is not binding and has only to be considered in case of involuntary admission due to a mental disorder. Thereby, the virtual aim of an advance directive – the anticipated self-determination – is questioned.

Arguments

From an ethical perspective, patients with mental disorders have the same rights as patients with somatic diseases. Therefore, the question arises if there are good reasons for this unequal treatment. In the present contribution, four possible reasons are analyzed: (1) persons with mental disorders are “different”; (2) protection from self-harm; (3) often not present end-of-life context; (4) reduced bindingness as the more appropriate standard in general.

Conclusion

The authors come to the conclusion that patients with mental disorders are often capable of composing a valid advance directive, and just as any other human being, they have a principal and binding right for self-determination, even though they are particularly vulnerable in crisis situations.

     

Using static suffix array in dynamic application: Case of text compression by longest first substitution

Over the last decade, enhanced suffix arrays (ESA) have replaced suffix trees in many applications. Algorithms based on ESAs require less space, while allowing the same time efficiency as those based on suffix trees. However, this is only true when a suffix structure is used as a static index. Suffix trees can be updated faster than suffix arrays, which is a clear advantage in applications that require dynamic indexing. We show that for some dynamic applications a suffix array and the derived LCP-interval tree can be used in such a way that the actual index updates are not necessary. We demonstrate this in the case of grammar text compression with longest first substitution and provide the source code. The proposed algorithm has O(N²)$O(N^2)$ worst case time complexity but runs in O(N)$O(N)$ time in practice.     

混合的SAR图像变化检测算法

为尽可能多地消除遥感图像变化检测过程中“伪变化”信息的影响,获得比较客观的感兴趣区域变化检测结果,针对遥感图像中SAR图像的特点,提出一种混合的SAR图像变化检测算法。对已配准好的图像进行Frost滤波,用邻域比值的方法构造差异图,对得到的差异图进行非下采样轮廓波变换（NSCT）,对变换得到的高频子带和低频子带分别处理,用模糊C均值（FCM）聚类算法得到变化检测的结果。实验结果表明,该算法模型很好地保留了图像变化区域的细节,提高了变化检测准确性。     

Small‐signal and noise modeling of class of HEMTs using knowledge‐based artificial neural networks

In this article, the neural network approach is exploited for development of bias‐dependent small‐signal and noise models of a class of microwave field effect transistor (FETs) made in the same technology but differing in the gate width. The prior knowledge neural approach is applied. Introducing gate width at the input of proposed neural networks, as well as the S/noise parameters of a device that belongs to the same class as the modeled device representing the prior knowledge, leads to very accurate scattering and noise parameters' modeling, as exemplified by modeling of class of pseudomorphic high electron mobility transistor (pHEMT) devices. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2013.