Results 11 to 20 of about 42,462 (262)
On bisimulations for the spi calculus [PDF]
Mathematical Structures in Computer Science, 2002 The spi calculus [\textit{M. Abadi} and \textit{A. D. Gordon}, Inf. Comput. 148, 1--70 (1999; Zbl 0924.68073)], is a process calculus extending pi-calculus. It was designed for description and formal verification of cryptographic protocols, and correctness properties of such protocols may be expressed as may-testing equivalences between certain process
Borgström, Johannes, Nestmann, Uwe
openaire +3 more sources
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
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
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
The Revolution of Lateral Flow Assay in the Field of AMR Detection
Diagnostics, 2022 The global spread of antimicrobial resistant (AMR) bacteria represents a considerable public health concern, yet their detection and identification of their resistance mechanisms remain challenging.
Hervé Boutal +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
Association of Marketing Theory and Practice Proceedings, 2018 This article comprises two distinct components. First is the delineation of a typology that encompasses the various approaches by which marketers can track the behavior of an individual in the marketplace. A total of 17 broad approaches were identified.
Ralph D. Sawyer, Mei-chün Lee Sawyer
+4 more sources
Ricerca Psicoanalitica, 2020 L’articolo tratta il fenomeno psichico del disinvestimento, traendo spunto dall’evocativo titolo di un noto saggio, dal punto di vista psicoanalitico, dandone una definizione e fornendo un’approfondita riesamina del testo freudiano a cui lo fa risalire ...
Rossella Valdrè
doaj +1 more source
Ricerca Psicoanalitica, 2020 When I was asked to read a work by Seligman, I accepted gladly because I was expecting an interesting ‘intersubjective encounter’ set against the repetitive interpretations that simply add more words to what has already been said or written. (...)
Giuliana Barbieri
doaj +1 more source