Results 71 to 80 of about 192,076 (327)
PLoS ONE, 2018 High rates of sexual partner concurrency have been shown to facilitate the spread of various sexually transmitted infections. Assessments of explicit attitudes to concurrency have however found little difference between populations. Implicit attitudes to
Chris R Kenyon +4 more
doaj +1 more source
Applied Sciences, 2023 The Internet of Things (IoT) systems are inherently distributed with many concurrent behaviors. In order to apply behavior-driven development (BDD), a proven agile practice of software development that brings many benefits, we must ensure that the ...
Bing-Yun Wang +2 more
doaj +1 more source
Modularizing and Specifying Protocols among Threads
, 2013 We identify three problems with current techniques for implementing protocols among threads, which complicate and impair the scalability of multicore software development: implementing synchronization, implementing coordination, and modularizing ...
Arbab, Farhad, Jongmans, Sung-Shik T. Q.
core +2 more sources
Enhanced Operational Semantics in Systems Biology [PDF]
, 2003 We are faced with a great challenge: the cross-fertilization between the fields of formal methods for concurrency, in the computer science domain, and systems biology in the biological ...
A. Dovier +11 more
core +1 more source
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
Convolution, Separation and Concurrency [PDF]
, 2014 A notion of convolution is presented in the context of formal power series together with lifting constructions characterising algebras of such series, which usually are quantales. A number of examples underpin the universality of these constructions, the
Dongol, Brijesh +2 more
core
On CSP and the Algebraic Theory of Effects
, 2010 We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic ...
B Scattergood +12 more
core +2 more sources
Deterministic Behavioural Models for Concurrency [PDF]
, 1993 This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation.
Nielsen, M., Sassone, V., Winskel, G.
core +2 more sources
Molecular Oncology, EarlyView.Etoposide induces DNA damage, activating p53‐dependent apoptosis via caspase‐3/7, which cleaves PARP1. Dammarenediol II enhances this apoptotic pathway by suppressing O‐GlcNAc transferase activity, further decreasing O‐GlcNAcylation. The reduction in O‐GlcNAc levels boosts p53‐driven apoptosis and influences the Akt/GSK3β/mTOR signaling pathway ...
Jaehoon Lee +8 more
wiley +1 more source
, 2013 This paper considers some questions prompted by a brief review of the history of computing. Why is programming so hard? Why is concurrency considered an “advanced” subject? What’s the matter with Objects? Where did all the Maths go?
Welch, Peter H.
core