Laboratory ventilation is a fundamental strategy to control exposures to volatile chemicals. However, laboratory ventilation systems are energy-intensive and developing innovative methods for incorporating sustainable energy considerations into laboratory ventilation design and operation is an important concern for successful 21st century laboratory institutions. This paper describes our use of...

1. One-to-One Matching (Verification) -NIST recommends one face and two index fingerprints for verification. All three biometrics should be in image form. The face image should conform to the ANSI/INCITS 385-2004 standard. The fingerprint images should conform to the ANSI/INCITS 381-2004 standard with 500 dots per inch (dpi) scan resolution. 2. One-to-Many Matching (Identification) -NIST recomm...

Physicochemical properties of pozzolan Portland cement were compared to ProRoot MTA and MTA BIO. To test the pH, the samples were immersed in distilled water for different periods of time. After the pH analysis, the sample was retained in the plastic recipient, and the electrical conductivity of the solution was measured. The solubility and radiopacity properties were evaluated according to spe...

It is well known that programs written in C are apt to suffer from nasty errors due to dangling pointers and/or buffer overflow. In particular, such errors in Internet servers are often exploited by malicious attackers to “crack” an entire system, which becomes even social problems nowadays. Nevertheless, it is yet unrealistic to throw away the C language at once because of legacy programs and ...

Model-driven engineering has recently gained broad acceptance in the field of embedded and real-time software systems. While larger embedded and real-time systems, developed e.g. in aerospace, telecommunication, or automotive industry, are quite well supported by model-driven engineering approaches based on the UML, small embedded and real-time systems, as they can for example be found in the i...

In 1996, the American National Standards Institute (ANSI) adopted ANSI T1.801.03, which presents a number of new objective video quality metrics for quantifying the effects of digital compression and transmission impairments. The measurements in ANSI T1.801.03 were selected based on an extensive multilaboratory quality assessment study that included video systems from bit rates of 64 kbit/sec t...

This paper reports on an experiment to assess the error detection capabilities of static, inter-module type checking. Type checking is considered an important mechanism for detecting programming errors, especially interface errors. The experiment uses Kernighan&Ritchie C and AN-SI C. The relevant diierence is that the ANSI C compiler checks module interfaces (i.e., the parameter lists of calls ...

ANSI/IEEE Standard 1471-2000 is the Recommended Practice for Architectural Description of SoftwareIntensive Systems, developed by the IEEE’s Architecture Working Group (AWG) under the sponsorship of the Software Engineering Standards Committee of IEEE. ANSI/IEEE 1471 is the first formal standard to address the content and organization of architectural descriptions. The standard defines the stru...

data types. The notion of abstract data types is relatively recent. Germans have the feeling that CAD/CAM "Too often the people who introduce and computer graphics technology can computer-aided design and computer improve the qualitv of products, according graphics to an organization disregard the to Jose L. Encarnacao, Eurographics social consequences and the human factors," chairman. They wan...

In our Formalin project to formalize C11 (the ANSI/ISO standard of the C programming language) we discovered many subtleties that make formalization of this standard difficult. We discuss some of these subtleties and indicate how they may be addressed in a formal C semantics. Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semant...