We present in this paper the integration within the Coq proof assistant, of a method for automatic theorem proving in geometry. We use an approach based on the validation of a certificate. The certificate is generated by an implementation in Ocaml of a simple version of Wu’s method.

In this paper a modified transcendental equation is proposed, and we analyzed its chaotic characteristics and periodic. It is a simple non-linear mode, l but it has complex dynam ics.Then it was used in gray image encryption. This is a digital image encryption algorithm, dual scrambling that based on chaos of pixel position and pixel value.Compared with the traditional transcendental equation, ...

Results For the IR assessed by the clamp, the HOMA-AD demonstrated a stronger coefficient of correlation (r=0.64) compared with the HOMA-IR (r=-0.56); p<0.0001. In the ROC analysis, compared with the HOMA-IR, the HOMA-AD showed higher values of the AUC for the identification of IR based on the clamp test (AUC: 0.844 vs. AUC: 0.804) and on the metabolic syndrome (AUC: 0.703 vs. AUC: 0.689), resp...

We discuss the memristive fingerprints of the hybrid Cassie-Mayr model of electric arcs. In particular, it is shown that (i) the voltage-current characteristic of the model has the pinched hysteresis nature, (ii) the voltage and current zero crossings occur at the same instants, and (iii) when the frequency f of the power supply increases, the voltage-current pinched hysteresis characteristic t...

normal 0 false false false en-us x-none ar-sa microsoftinternetexplorer4 background : schizophrenia requires a large share of medical resources due to its early onset and chronic and severe nature. compliance therapy is a therapy specifically designed to improve concordance with treatment for those with major mental illnesses. the aim of present study was to determine whether compliance therapy...

In recent issue of Journal of Applied Mathematics and Computation (2005), Lee, Kim, & Yoo revealed an attack on Hsu, Wu, & Wu (2003) authenticated key agreement protocol, and then presented an improved protocol. However, Lee, Kim, & Yoo (2005) present only heuristic argument with no formal proof of security. In this work, we revealed previously unpublished flaw in the protocol. We may speculate...

We survey and evaluate popular audio fingerprinting schemes in a common framework with short query probes captured from cell phones. We report and discuss results important for mobile applications: Receiver Operating Characteristic (ROC) performance, size of fingerprints generated compared to size of audio probe, and transmission delay if the fingerprint data were to be transmitted over a wirel...