Insulated ECG electrodes

Insulated, capacitively coupled electrode does not require electrolyte paste for attachment. Other features of electrode include wide range of nontoxic material that may be employed for dielectric because of sputtering technique used. Also, electrode size is reduced because there is no need for external compensating networks with FET operational amplifier

Mineral Trioxide Aggregate Material Use in Endodontic Treatment: A Review of the Literature

Objective The purpose of this paper was to review the composition, properties, biocompatibility, and the clinical results involving the use of mineral trioxide aggregate (MTA) materials in endodontic treatment. Methods Electronic search of scientific papers from January 1990 to August 2006 was accomplished using PubMed and Scopus search engines (search terms: MTA, GMTA, WMTA, mineral AND trioxide AND aggregate). Results Selected exclusion criteria resulted in 156 citations from the scientific, peer-reviewed dental literature. MTA materials are derived from a Portland cement parent compound and have been demonstrated to be biocompatible endodontic repair materials, with its biocompatible nature strongly suggested by its ability to form hydroxyappatite when exposed to physiologic solutions. With some exceptions, MTA materials provide better microleakage protection than traditional endodontic repair materials using dye, fluid filtration, and bacterial penetration leakage models. In both animal and human studies, MTA materials have been shown to have excellent potential as pulp-capping and pulpotomy medicaments but studies with long-term follow-up are limited. Preliminary studies suggested a favorable MTA material use as apical and furcation restorative materials as well as medicaments for apexogenesis and apexification treatments; however, long-term clinical studies are needed in these areas. Conclusion MTA materials have been shown to have a biocompatible nature and have excellent potential in endodontic use. MTA materials are a refined Portland cement material and the substitution of Portland cement for MTA products is presently discouraged. Existing human studies involving MTA materials are very promising, however, insufficient randomized, double-blind clinical studies of sufficient duration exist involving MTA for all of its clinical indications. Further clinical studies are needed in these areas

Modeling Algorithms in SystemC and ACL2

We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to ACL2 for formal verification. The parser also generates a SystemC variant that is suitable as input to a high-level synthesis tool. As an illustration of this methodology, we describe a proof of correctness of a simple 32-bit radix-4 multiplier.Comment: In Proceedings ACL2 2014, arXiv:1406.123