Results 31 to 40 of about 368,022 (299)

APTE: An Algorithm for Proving Trace Equivalence [PDF]

, 2014
This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
Cheval, Vincent, Vincent Cheval
core   +1 more source

Interpol review of fibres and textiles 2016–2019

Forensic Science International: Synergy, 2020
This review paper covers the forensic-relevant literature in fibres and textiles from 2016 to 2019 as a part of the 19th Interpol International Forensic Science Managers Symposium.
Laurent Lepot, Kyra Lunstroot, Kris De Wael   +2 more
doaj   +1 more source

Are the TRACE-P measurements representative of the western Pacific during March 2001? [PDF]

, 2004
[1] Observations of CO and O-3 from the Transport and Chemical Evolution over the Pacific (TRACE-P) campaign are compared with modeled distributions from the FRSGC/ UCI CTM driven by the Oslo T63L40 ECMWF forecast meteorology.
Isaksen, I S A, Isaksen, I. S.A., Prather, M J, Sachse, G. W., Avery, M A, Avery, M. A., Wilde, O., Sachse, G W, Hsu, J, Sundet, J K, Browell, E. V., Browell, E V, Hsu, Juno, Wild, O, Sundet, J. K., Prather, M. J.   +15 more
core   +1 more source

Evaluation and Examination of a Possible Shoe-polish Trace in a Hold-up Case

Journal of Forensic Science and Medicine, 2016
In this article, we show how the Bayesian framework can be applied to a hold-up case involving a possible shoe-polish trace according to one of the parties. This article highlights the importance of interpreting data from the beginning of the examination
Line Gueissaz, Tacha Hicks, Cyril Muehlethaler, Geneviève Massonnet   +3 more
doaj   +1 more source

Trace metals in the open oceans: speciation modelling based on humic type ligands [PDF]

, 2011
The speciation of trace metals in the oceans is typically explained by invoking the concept of metal binding to specific organic ligands, but a lack of detailed knowledge about the ligands has impeded the formulation of comprehensive models to predict ...
Stockdale, Anthony, Stephen Lofts, Tipping, Edward, Edward Tipping, John Hamilton-Taylor, Anthony Stockdale, Hamilton-Taylor, John, Lofts, Stephen   +7 more
core   +1 more source

Identification of Primary Crime Scene from Secondary Crime Scene through Soil Evidence in a Crime Concealment Case: An Interesting Exhumation Report [PDF]

Journal of Krishna Institute of Medical Sciences University, 2020
Currently crime scene investigators are facing many challenges to solve the mystery since the criminals use many techniques during their operations and to confuse the investigations.
Nataraja Moorthy T
doaj  

Technical, forensic and organisational aspects of work with Monero cryptocurrency

Law and Safety, 2023
The forensic, organisational and technical features of law enforcement agencies' work with the Monero cryptocurrency in the context of pre-trial investigation and operational search activities are analysed.
V. V. Nosov, O. V. Manzhai, V. O. Kovtun
doaj   +1 more source

Event-related brain potential correlates of human auditory sensory memory-trace formation

, 2005
The event-related potential (ERP) component mismatch negativity (MMN) is a neural marker of human echoic memory. MMN is elicited by deviant sounds embedded in a stream of frequent standards, reflecting the deviation from an inferred memory trace of the ...
Baldewig, T., Vernon, D., Dwivedi, P, Baldeweg, Torsten, Gruzelier, JH, Dwivedi, Prabuddh, Dwivedi, P., Gruzelier, J. H., Gruzelier, J., Vernon, DJ, Haenschel, C., Vernon, D. J., Vernon, David J., Baldeweg, T, Gruzelier, John, Baldeweg, T., Haenschel, C, Haenschel, Corinna   +17 more
core   +1 more source

Organoids in pediatric cancer research

FEBS Letters, EarlyView.
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley   +1 more source

Comparative inverse analysis of satellite (MOPITT) and aircraft (TRACE-P) observations to estimate Asian sources of carbon monoxide [PDF]

, 2004
We use an inverse model analysis to compare the top-down constraints on Asian sources of carbon monoxide (CO) in spring 2001 from (1) daily MOPITT satellite observations of CO columns over Asia and the neighboring oceans and (2) aircraft observations of ...
D. G. Streets, Glen W. Sachse, Palmer, P. I., Sachse, G. W., Gille, J. C., Nehrkorn, T., Heald, C. L., Colette L. Heald, John C. Gille, Ross N. Hoffman, Jacob, D. J., Hoffman, R. N., Jones, D. B. A., Logan, J. A., Dylan B. A. Jones, Daniel J. Jacob, Streets, D. G., Thomas Nehrkorn, Paul I. Palmer, Jennifer A. Logan   +19 more
core   +1 more source