120,633 research outputs found
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
- …