984 resultados para lambda calculus types, mathematical logic
Resumo:
This paper presents a statistical model for the quantification of the weight of fingerprint evidence. Contrarily to previous models (generative and score-based models), our model proposes to estimate the probability distributions of spatial relationships, directions and types of minutiae observed on fingerprints for any given fingermark. Our model is relying on an AFIS algorithm provided by 3M Cogent and on a dataset of more than 4,000,000 fingerprints to represent a sample from a relevant population of potential sources. The performance of our model was tested using several hundreds of minutiae configurations observed on a set of 565 fingermarks. In particular, the effects of various sub-populations of fingers (i.e., finger number, finger general pattern) on the expected evidential value of our test configurations were investigated. The performance of our model indicates that the spatial relationship between minutiae carries more evidential weight than their type or direction. Our results also indicate that the AFIS component of our model directly enables us to assign weight to fingerprint evidence without the need for the additional layer of complex statistical modeling involved by the estimation of the probability distributions of fingerprint features. In fact, it seems that the AFIS component is more sensitive to the sub-population effects than the other components of the model. Overall, the data generated during this research project contributes to support the idea that fingerprint evidence is a valuable forensic tool for the identification of individuals.
Resumo:
BACKGROUND: Trichoplax adhaerens is the best-known member of the phylum Placozoa, one of the earliest-diverging metazoan phyla. It is a small disk-shaped animal that glides on surfaces in warm oceans to feed on algae. Prior anatomical studies of Trichoplax revealed that it has a simple three-layered organization with four somatic cell types. RESULTS: We reinvestigate the cellular organization of Trichoplax using advanced freezing and microscopy techniques to identify localize and count cells. Six somatic cell types are deployed in stereotyped positions. A thick ventral plate, comprising the majority of the cells, includes ciliated epithelial cells, newly identified lipophil cells packed with large lipid granules, and gland cells. Lipophils project deep into the interior, where they alternate with regularly spaced fiber cells whose branches contact all other cell types, including cells of the dorsal and ventral epithelium. Crystal cells, each containing a birefringent crystal, are arrayed around the rim. Gland cells express several proteins typical of neurosecretory cells, and a subset of them, around the rim, also expresses an FMRFamide-like neuropeptide. CONCLUSIONS: Structural analysis of Trichoplax with significantly improved techniques provides an advance in understanding its cell types and their distributions. We find two previously undetected cell types, lipohil and crystal cells, and an organized body plan in which different cell types are arranged in distinct patterns. The composition of gland cells suggests that they are neurosecretory cells and could control locomotor and feeding behavior.
Resumo:
We evaluate the performance of different optimization techniques developed in the context of optical flow computation with different variational models. In particular, based on truncated Newton methods (TN) that have been an effective approach for large-scale unconstrained optimization, we de- velop the use of efficient multilevel schemes for computing the optical flow. More precisely, we evaluate the performance of a standard unidirectional mul- tilevel algorithm - called multiresolution optimization (MR/OPT), to a bidrec- tional multilevel algorithm - called full multigrid optimization (FMG/OPT). The FMG/OPT algorithm treats the coarse grid correction as an optimiza- tion search direction and eventually scales it using a line search. Experimental results on different image sequences using four models of optical flow com- putation show that the FMG/OPT algorithm outperforms both the TN and MR/OPT algorithms in terms of the computational work and the quality of the optical flow estimation.
Resumo:
The atomic force microscope is not only a very convenient tool for studying the topography of different samples, but it can also be used to measure specific binding forces between molecules. For this purpose, one type of molecule is attached to the tip and the other one to the substrate. Approaching the tip to the substrate allows the molecules to bind together. Retracting the tip breaks the newly formed bond. The rupture of a specific bond appears in the force-distance curves as a spike from which the binding force can be deduced. In this article we present an algorithm to automatically process force-distance curves in order to obtain bond strength histograms. The algorithm is based on a fuzzy logic approach that permits an evaluation of "quality" for every event and makes the detection procedure much faster compared to a manual selection. In this article, the software has been applied to measure the binding strength between tubuline and microtubuline associated proteins.
Resumo:
The retinae of insectivores have been rarely studied, and their photoreceptor arrangements and expression patterns of visual pigments are largely unknown. We have determined the presence and distribution of cones in three species of shrews (common shrew Sorex araneus, greater white-toothed shrew Crocidura russula, dark forest shrew Crocidura poensis; Soricidae) and in the lesser hedgehog tenrec Echinops telfairi (Tenrecidae). Special cone types were identified and quantified in flattened whole retinae by antisera/antibodies recognizing the middle-to-long-wavelength-sensitive (M/L-)cone opsin and the short-wavelength-sensitive (S-)cone opsin, respectively. A combination of immunocytochemistry with conventional histology was used to assess rod densities and cone/rod ratios. In all four species the rods dominate at densities of about 230,000-260,000/mm2. M/L- and S-cones are present, comprising between 2% of the photoreceptors in the nocturnal Echinops telfairi and 13% in Sorex araneus that has equal diurnal and nocturnal activity phases. This suggests dichromatic color vision like in many other mammals. A striking feature in all four species are dramatically higher S-cone proportions in ventral than in dorsal retina (0.5% vs. 2.5-12% in Sorex, 5-15% vs. 30-45% in Crocidura poensis, 3-12% vs. 20-50% in Crocidura russula, 10-30% vs. 40-70% in Echinops). The functional and comparative aspects of these structural findings are discussed.
Resumo:
The relation between the low-energy constants appearing in the effective field theory description of the Lambda N -> NN transition potential and the parameters of the one-meson-exchange model previously developed is obtained. We extract the relative importance of the different exchange mechanisms included in the meson picture by means of a comparison to the corresponding operational structures appearing in the effective approach. The ability of this procedure to obtain the weak baryon-baryon-meson couplings for a possible scalar exchange is also discussed.
Resumo:
The relation between the low-energy constants appearing in the effective field theory description of the Lambda N -> NN transition potential and the parameters of the one-meson-exchange model previously developed is obtained. We extract the relative importance of the different exchange mechanisms included in the meson picture by means of a comparison to the corresponding operational structures appearing in the effective approach. The ability of this procedure to obtain the weak baryon-baryon-meson couplings for a possible scalar exchange is also discussed.
Resumo:
This paper compares the inflectional diversity and density of adjectives and verbs in French CS, CDS, and ADS samples in a social perspective. The aim of the study is to show that the relation between CS, CDS, and ADS is not identical as far as verb and adjective inflection is concerned. We firstly expected verb inflectional morphology to be less diverse and dense in CDS and CS than in ADS. Conversely, we predicted adjective inflectional diversity and density to be higher in CDS and CS. Interestingly the findings do not exactly match the first prediction. The social implications of the study are discussed.
Resumo:
Collection : Bibliothèque contemporaine
Resumo:
Pb-Zn-Ag vein and listwaenite types of mineralization in Crnac deposit, Western Vardar zone, were deposited within several stages: (i) the pre-ore stage comprises pyrite, arsenopyrite, pyrrhotite, quartz, kaolinite and is followed by magnetite-pyrite; (ii) the syn-ore stage is composed of galena, sphalerite, tetrahedrite and stefanite; and (iii) the post-ore stage is composed of carbonates, pyrite, arsenopyrite and minor galena. The vein type mineralization is hosted by Jurassic amphibolites and veins terminate within overlying serpentinites. Mineralized listwaenites are developed along the serpentinite-amphibolite interface. The reserves are estimated to 1.7 Mt of ore containing in average 7.6% lead, 2.9% zinc, and 102 g/t silver. Sulfides from the pre- and syn-mineralization assemblage of the vein- and listwaenite-types of mineralization from the Crnac Pb-Zn-Ag deposit have been analyzed using microprobe, crush-leachates and sulfur isotopes. The pre-ore assemblage precipitated under high sulfur fugacities (f(S(2)) = 10(-8)-10(-6) bar) from temperatures ranging between 350 degrees C and 380 degrees C. Most likely water-rock reactions, boiling and/or increase of pH caused an increase of delta(34)S of pyrite toward upper levels within the deposit. The decomposition of pre-ore pyrrhotite to a pyrite-magnetite mixture occurred at a fugacity of sulfur from f(S(2)) = 8.7 x 10(-10) to 9.6 x 10(-9) bar and fugacity of oxygen from f(O(2)) = 2.4 x 10(-30) to 3.1 x 10(-28) bars, indicating a contribution of an oxidizing fluid, i.e. meteoric water during pre-ore stages of hydrothermal activity. The crystallization temperatures obtained by the sphalerite-galena isotope geothermometer range from 230 to 310 degrees C. The delta(34)S values of pre- and syn-ore sulfides (pyrite, galena, sphalerite, delta(34)S = 0.3-5.9 parts per thousand) point to magmatic sulfur. Values of delta(34)S of galena and sphalerite are decreasing upwards due to precipitation of early formed sulfide minerals. Post-ore assemblage precipitated at temperature below 190 degrees C. Based on data presented above, we assume two fluid sources: (i) a magmatic source, supported by sulfur isotopic compositions within pre- and syn-ore minerals and a high mol% of fluorine found within pre- and syn-ore leachates, and (ii) a meteoric source, deduced by coincident pyrite-magnetite intergrowth, sulfur isotopic trends within syn-ore minerals and decrease of crystallization temperatures from the pre-ore stage (380-350 degrees C), towards the syn-ore (310-215 degrees C) and post-ore stages (<190 degrees C). Post-ore fluids are Na-Ca-Mg-K-Li chlorine rich and were modified via water-rock reactions. Simple mineral assemblage and sphalerite composition range from 1.5 to 10.1 mol% of FeS catalog Crnac to a group of intermediate sulfidation epithermal deposit. (C) 2011 Elsevier B.V. All rights reserved.