Results 51 to 60 of about 2,636,548 (285)
Neighbourhood Abstraction in GROOVE - Tool Paper [PDF]
, 2010 In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques.
Rensink, Arend, Zambon, Eduardo
core +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
International Journal of Software Engineering and Computer Systems, 2021 In this paper, a modified version of linked list, called balanced linked list (BaLL), has been proposed. It performs better than standard sorted linked list (SoLL) both theoretically and experimentally for maintaining a sorted sequence of data. The modification in BaLL than SoLL is to maintain a special middle node instead of head, and to maintain the ...
openaire +1 more source
Lock-Free and Practical Deques using Single-Word Compare-And-Swap
, 2004 We present an efficient and practical lock-free implementation of a concurrent deque that is disjoint-parallel accessible and uses atomic primitives which are available in modern computer systems.
A. Silberschatz +4 more
core +1 more source
Hematopoietic (stem) cells—The elixir of life?
FEBS Letters, EarlyView.The aging of HSCs (hematopoietic stem cells) and the blood system leads to the decline of other organs. Rejuvenating aged HSCs improves the function of the blood system, slowing the aging of the heart, kidney, brain, and liver, and the occurrence of age‐related diseases.
Emilie L. Cerezo +4 more
wiley +1 more source
Phosphatidylinositol 4‐kinase as a target of pathogens—friend or foe?
FEBS Letters, EarlyView.This graphical summary illustrates the roles of phosphatidylinositol 4‐kinases (PI4Ks). PI4Ks regulate key cellular processes and can be hijacked by pathogens, such as viruses, bacteria and parasites, to support their intracellular replication. Their dual role as essential host enzymes and pathogen cofactors makes them promising drug targets.
Ana C. Mendes +3 more
wiley +1 more source
IMPLEMENTATION OF THE SKIP LIST DATA STRUCTURE WITH IT'S UPDATE OPERATIONS
مجلة كلية التربية للبنات, 2019 A skip list data structure is really just a simulation of a binary search tree. Skip lists algorithm are simpler, faster and use less space. this data structure conceptually uses parallel sorted linked lists.
Maha shakir Ibrahim
doaj
International Journal of Population Data ScienceAdministrative health data, such as the Hospital Episode Statistics (HES), can be used to identify groups of people with a particular target condition, a process known as phenotyping.
Matthew A Jay +8 more
doaj +1 more source
Molecular bases of circadian magnesium rhythms across eukaryotes
FEBS Letters, EarlyView.Circadian rhythms in intracellular [Mg2+] exist across eukaryotic kingdoms. Central roles for Mg2+ in metabolism suggest that Mg2+ rhythms could regulate daily cellular energy and metabolism. In this Perspective paper, we propose that ancestral prokaryotic transport proteins could be responsible for mediating Mg2+ rhythms and posit a feedback model ...
Helen K. Feord, Gerben van Ooijen
wiley +1 more source
A nomenclator of extant and fossil taxa of the Valvatidae (Gastropoda, Ectobranchia)
ZooKeys, 2014 A compilation of all supra- and (infra-) specific taxa of extant and fossil Valvatidae, a group of freshwater operculate snails, is provided, including taxa initially described in this family and subsequently classified in other families, as well as ...
Gerhard Haszprunar
doaj +1 more source