Results 11 to 20 of about 74,910 (305)
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Российский кардиологический журнал, 2015 Current guidelines recommend use of anticoagulants (preferably fondaparinux) until hospital discharge in non-invasively treated patients (pts) with non-ST-segment elevation acute coronary syndrome (NSTEACS).
I. S. Yavelov +3 more
doaj +1 more source
Microorganisms, 2022 The vast majority of marine microorganisms and their functions are yet to be explored. The considerable diversity they encompass is an endless source of knowledge and wealth that can be valued on an industrial scale, emphasizing the need to develop rapid
Clément Lozano +5 more
doaj +1 more source
A hierarchy of SPI activities for software SMEs: results from ISO/IEC 12207-based SPI assessments [PDF]
, 2012 In an assessment of software process improvement (SPI) in 15 software small- and –medium-sized enterprises (software SMEs), we applied the broad spectrum of software specific and system context processes in ISO/IEC 12207 to the task of examining SPI in ...
Paul Clarke +11 more
core +2 more sources
Microorganisms, 2023 Shotgun proteomics has proven to be an attractive alternative for identifying a pathogen and characterizing the antimicrobial resistance genes it produces. Because of its performance, proteotyping of microorganisms by tandem mass spectrometry is expected
Charlotte Mappa +3 more
doaj +1 more source
Discrete Mathematics, 2012 Let $G = (V,E)$ be a graph and let $r,s,k$ be positive integers. "Revolutionaries and Spies", denoted $\cG(G,r,s,k)$, is the following two-player game. The sets of positions for player 1 and player 2 are $V^r$ and $V^s$ respectively. Each coordinate in $p \in V^r$ gives the location of a "revolutionary" in $G$.
David M. Howard 0002, Clifford D. Smyth
openaire +3 more sources
SPI-1 regulates the secretion of IpaJ.
, 2022 (A) Immunoblotting analysis of secreted IpaJ proteins isolated from cultured LB medium supernatant. The mutants SPI-1 (ΔSPI-1), SPI-2 (ΔSPI-2), SPI-19(ΔSPI-19) or SPI-1 and SPI-2 (ΔSPI-1ΔSPI-2) were used to detect whether the secretion of IpaJ is ...
Dan Gu (2191075) +6 more
core +1 more source
Estimating relative biomasses of organisms in microbiota using “phylopeptidomics”
Microbiome, 2020 Background There is an important need for the development of fast and robust methods to quantify the diversity and temporal dynamics of microbial communities in complex environmental samples.
Olivier Pible +5 more
doaj +1 more source
Mass Spectrometry for Neurobiomarker Discovery: The Relevance of Post-Translational Modifications
Cells, 2022 Neurodegenerative diseases are incurable, heterogeneous, and age-dependent disorders that challenge modern medicine. A deeper understanding of the pathogenesis underlying neurodegenerative diseases is necessary to solve the unmet need for new diagnostic ...
Rita Azevedo +5 more
doaj +1 more source
Integration of SVR and GPR Algorithms with Wavelet in Modeling Monthly Drought Forecasting [PDF]
مهندسی منابع آب, 2023 Introduction: Drought is one of the natural hazards that have random and nonlinear behavior due to its various climatic parameters. SPI index is the most common index extracted from rainfall that has been used in modeling drought by various researchers ...
Jahanbakhsh Mohammadi, +4 more
doaj +1 more source