Growth of bis (thiourea) cadmium formate single crystals from aqueous solution by slow evaporation technique has been reported. To optimize the growth conditions, nucleation parameters such as metastable zone width and induction period values are determined. The grown crystals are characterized by powder XRD technique. Thermal studies by TGA and DTA techniques confirm the decomposition of the s...

Recently, technical progress has made possible to realize miniature kinematic sensors such as accelerometers and angular rate sensors (Sparks et al. 1998). These sensors can be battery powered and are promising tools for ambulatory gait monitoring and analysis. The possibility to detect simple parameters such as steps and cycle time from trunk or heel acceleration has already been demonstrated ...

In many regression applications both the independent and dependent variables are measured with error. When this happens, conventional parametric and nonparametric regression techniques are no longer valid. We consider two diierent nonparametric techniques: regression splines and kernel estimation, of which both can be used in the presence of measurement error. Within the kernel regression conte...

The last ten years have seen a tremendous change in the communication environment. The changes in network performance have been at the origin of new protocols and of more efficient methods of implementation. The changes in network service capability have raised the issue of offering, at the transport level, services available at the subnetwork level such as multicast service, synchronous servic...

A new bisimulation based semantics, called performance equivalence, is proposed for a process algebra equipped with the TCSP parallel operator. This semantics relies on the basic assumption that actions are time-consuming, where their duration is statically fixed. Performance equivalence equates systems whenever they perform the same actions in the same amount of time, thus introducing a simple...

An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...

We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays incurred by the interface. XDI specifications capture restrictions on the communication between circuit and environment, treating both parties equally. They can be visualized as state graphs where each arrow is labeled by...

In this paper a methodology for analysis and automatic indexing of imaged documents within an archiving and retrieval system is described. This system, which is being developed within the Esprit project STRETCH (STorage and RETrieval by Content of imaged documents), is based on a new generation Archiving and Retrieval Engine (ARE), which overcomes the bottleneck of document profiling by allevia...

This paper proposes a new diagnosis algorithm to detect broken rotor bars (BRBs) faults in induction motors. The proposed algorithm is composed of a frequency signal dimension order (FSDO) estimator and a fault decision module. The FSDO estimator finds a number of fault-related frequencies in the stator current signature. In the fault decision module, the fault diagnostic index from the FSDO es...

Accurate knowledge of transmission line (TL) impedance parameters helps to improve accuracy in relay settings and power flow modeling. To improve TL parameter estimates, various algorithms have been proposed in the past to identify TL parameters based on measurements from Phasor Measurement Units (PMU’s). These methods are based on the positive sequence TL models and can generate accurate posit...