Mass spectrometry imaging of latent fingerprints using titanium oxide development powder as an existing matrix

Recent research has focused on increasing the evidentiary value of latent fingerprints through chemical analysis. Although researchers have optimized the use of organic and metal matrices for matrix‐assisted laser desorption/ionization‐mass spectrometry imaging (MALDI‐MSI) of latent fingerprints, the use of development powders as matrices has not been fully investigated. Carbon forensic powder (CFP), a common nonporous development technique, was shown to be an efficient one‐step matrix; however, a high‐resolution mass spectrometer was required in the low mass range due to carbon clusters. Titanium oxide (TiO₂) is another commonly used development powder, especially for dark nonporous surfaces. Here, forensic TiO₂ powder is utilized as a single‐step development and matrix technique for chemical imaging of latent fingerprints without the requirement of a high‐resolution mass spectrometer. All studied compounds were successfully detected when TiO₂ was used as the matrix in positive mode, although, generally, the overall ion signals were lower than the previously studied CFP. TiO₂ provided quality mass spectrometry (MS) images of endogenous and exogenous latent fingerprint compounds. The subsequent addition of traditional matrices on top of the TiO₂ powder was ineffective for universal detection of latent fingerprint compounds. Forensic TiO₂ development powder works as an efficient single‐step development and matrix technique for MALDI‐MSI analysis of latent fingerprints in positive mode and does not require a high‐resolution mass spectrometer for analysis.     

Program derivation with verified transformations — a case study

A program development methodology based on verified program transformations is described and illustrated through derivations of a high level bisimulation algorithm and an improved minimum-state DFA algorithm. Certain doubts that were raised about the correctness of an initial paper-and-pencil derivation of the DFA minimization algorithm were laid to rest by machine-checked formal proofs of the most difficult derivational steps. Although the protracted labor involved in designing and checking these proofs was almost overwhelming, the expense was somewhat offset by a successful reuse of major portions of these proofs. In particular, the DFA minimization algorithm is obtained by specializing and then extending the last step in the derivation of the high level bisimulation algorithm. Our experience suggests that a major focus of future research should be aimed towards improving the technology of machine checkable proofs — their construction, presentation, and reuse. This paper demonstrates the importance of such a technology to the verification of programs and program transformations. We believe that the utility of transformational systems to program development will ultimately rest on a practical program correctness technology. © 1996 John Wiley & Sons, Inc.     

On the sensitivity of the LU factorization

This paper gives sensitivity analyses by two approaches forL andU in the factorizationA=LU for general perturbations inA which are sufficiently small in norm. By the matrix-vector equation approach, we derive the condition numbers for theL andU factors. By the matrix equation approach we derive corresponding condition estimates. We show how partial pivoting and complete pivoting affect the sensitivity of the LU factorization. The material presented here is a part of the first author's PhD thesis under the supervision of the second author. This research was supported by NSERC of Canada Grant OGP0009236.     

The one- and multi-sample problem for functional data with application to projective shape analysis

In this paper tests are derived for testing neighborhood hypotheses for the one- and multi-sample problem for functional data. Our methodology is used to generalize testing in projective shape analysis, which has traditionally involving data consisting of finite number of points, to the functional case. The one-sample test is applied to the problem of scene identification, in the context of the projective shape of a planar curve.     

Syntheses of the opioid substructures 1,2,3,4,5,6-hexahydro-2,6-methano-3-benzazocine and 2,3,4,5-tetrahydro-1,5-methano-1H-2-benzazepine

Concise syntheses of 1,2,3,4,5,6-hexahydro-2,6-methano-3-benzazocine (12) and 2,3,4,5-tetrahydro-1,5-methano-1H-2-benzazepine (18) are described and involve an intramolecular Friedel-Crafts alkylation and an intramolecular Heck cyclization as their respective key ring-forming steps.     

Why Aren't There Any Trioxygenyl or Ozonium Salts? Or,Why Does Our Reaction of O3 and PtF6 Give O2PtF6?

The reaction of ozone and gaseous platinum hexafluoride led to O₂PtF₆(s) and not the desired O₃PtF₆(s). Suggestions as to why the synthesis of O₃PtF₆(s) failed are made in terms of the known chemistry of the gaseous O ₃ ⁺ cation with O ₊ ⁵ proposed as an intermediate.