Image matching of firearm fingerprints

A spent cartridge case exhibits characteristic markings (firearm fingerprint) that can be used to identify the type and possibly make of weapon in which the cartridge was fired. This report details research into the use of discriminant analysis for the purpose of matching spent rim-fire cartridge cases to specific make and model firearms. The discrimination and classification are based on several scalar shape parameters for the two-dimensional silhouette of the firing pin (FP) impression-- shape factor calculated from the second order moment of inertia, G factor calculated from the distance transform, and the P2A factor- as well as the distance between the centre of the cartridge case and the centroid of the FP impression, and the orientation of the principal centroidal axes associated with the FP impression. Classification results for two case studies are detailed: (i) 3 different make/model weapons producing different shaped FP impressions, and (ii) 5 different make/model weapons each producing a rectangular FP impression

The facilitatory effect of duloxetine combined with pelvic floor muscle training on the excitability of urethral sphincter motor neurons

INTRODUCTION AND HYPOTHESIS: Aim of this study was to investigate the excitability of sphincter motor neurons under the influence of pelvic floor muscle training (PFMT) and duloxetine. Due to their mechanisms of action, there might be a synergistic effect of duloxetine and PFMT in regard to the facilitation of spinal reflexes controlling urethral sphincter contractions and hence continence. METHODS: In ten healthy female subjects, clitoral electric stimulation (CES) and transcranial magnetic stimulation (TMS) were used to determine individual motor thresholds for external urethral sphincter (EUS) contractions before and after PFMT, duloxetine, and PFMT + duloxetine. RESULTS: PFMT and duloxetine alone significantly decreased the motor thresholds for EUS contractions during CES and TMS. However, the combined treatment reduced the motor threshold for EUS contractions significantly stronger compared to PFMT or duloxetine alone. CONCLUSIONS: The results are suggestive for a synergistic facilitatory effect of PFMT and duloxetine on sphincter motor neuron activation

Chromatin segmentation

A method of segmenting chromatin particles in a nucleus of a cell by locating regional minima in an image, computing a zone of influence (ZOI) around each regional minimum, and segmenting a single chromatin blob within each ZOI using a region growing procedure. The method can be used as the basis of a method of qualitatively characterizing the distribution of nuclear chromatin by computing features for individual chromatin particles. Chromatin features can be synthesized from the features of individual particles and particle features can be synthesized into nucleus features and slide features. The method is useful for detecting malignancy associated changes and changes during neoplasia. The method may also be used more generally to assess chromatin patterns in living cells during the cell life cycle. This makes it possible to measure alternations in the evolving patterns that result from pathological or environmental influences

A personal identification biometric system based on back-of-hand vein patterns

This report describes research on the use of back-of-hand vein patterns as a means of uniquely identifying people. In particular it describes a prototype biometric system developed by the Australian Institute of Security and Applied Technology (AISAT). This system comprises an infrared cold source, a monochrome CCD camera, a monochrome frame-grabber, a personal computer, and custom image acquisition, processing, registration, and matching software. The image processing algorithms are based on Mathematical Morphology. Registration is performed using rotation and translation with respect to the centroid of the two-dimensional domain of a hand. Vein patterns are stored as medial axis representations. Matching involves comparing a given medial axis pattern against a library of patterns using constrained sequential correlation. The matching is two-fold: a newly acquired signature is matched against a dilated library signature, and then the library signature is matched against the dilated acquired signature; this is necessary because of the positional noise exhibited by the back-of-hand veins. The results of a cross-matching experiment for a sample of 20 adults and more than 100 hand images is detailed. In addition preliminary estimates of the false acceptance rate (FAR) and false rejection rate (FRR) for the prototype system are given. Fuzzy relaxation on an association graph is discussed as an alternative to sequential correlation for the matching of vein signatures. An example is provided (including a C program) illustrating the matching process for a pair of signatures obtained from the same hand. The example demonstrates the ability of the fuzzy relaxation method to deal with segmentation errors

Enhanced performance by a hybrid NIRS–EEG brain computer interface

Noninvasive Brain Computer Interfaces (BCI) have been promoted to be used for neuroprosthetics. However, reports on applications with electroencephalography (EEG) show a demand for a better accuracy and stability. Here we investigate whether near-infrared spectroscopy (NIRS) can be used to enhance the EEG approach. In our study both methods were applied simultaneously in a real-time Sensory Motor Rhythm (SMR)-based BCI paradigm, involving executed movements as well as motor imagery. We tested how the classification of NIRS data can complement ongoing real-time EEG classification. Our results show that simultaneous measurements of NIRS and EEG can significantly improve the classification accuracy of motor imagery in over 90% of considered subjects and increases performance by 5% on average (p < 0:01). However, the long time delay of the hemodynamic response may hinder an overall increase of bit-rates. Furthermore we find that EEG and NIRS complement each other in terms of information content and are thus a viable multimodal imaging technique, suitable for BCI

Verifying object-oriented programs with higher-order separation logic in Coq

We present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, we develop novel specification and proof patterns for reasoning in higher-order separation logic with nested triples about programs that use interfaces and interface inheritance. In particular, we show how to use the higher-order features of the Coq formalisation to specify and reason modularly about programs that (1) depend on some unknown code satisfying a specification or that (2) return objects conforming to a certain specification. All of our results have been formally verified in the interactive theorem prover Coq

Frequency and network analysis of depressive symptoms in patients with cancer compared to the general population

Stress and Psychopatholog