Results 41 to 50 of about 88,794 (289)
On a method of legal knowledge base situational analysis
Lietuvos Matematikos Rinkinys, 2005 Many existing knowledge base verification and validation methods can be applied to legal knowledge bases. However, peculiarities of legal knowledge raise the need for specific methods.
Laima Paliulionienė
doaj +3 more sources
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Radiation Oncology, 2006 Background A protocol of electronic portal imaging (EPI) registration for the verification of radiation treatment fields has been implemented at our institution.
Liu Mitchell C +7 more
doaj +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
CybersecurityEnsuring data consistency across multiple cloud service providers (CSPs) is essential for maintaining the reliability and security of multi-cloud storage systems.
Xuanmei Qin, Kun Zhu, Yongfeng Huang
doaj +1 more source
Semantic Consistency and Correctness Verification of Digital Traffic Rules
EngineeringThe consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.
Lei Wan +5 more
doaj +1 more source
Verification Mechanism For Lightweight Componenent-Based Environment Based On Ioc Container
Computer Science, 2013 The paper presents a concept of component verification framework dedicated to a particular lightweight component environment. A starting point of the paper constitutes a discussion about significance of verification process of syntax inconsistencies in
Rafal Leszko, Kamil Pietak
doaj +1 more source
Automatic Verification of Directory-Based Consistency Protocols [PDF]
, 2009 We propose a symbolic verification method for directory-based consistency protocols working for an arbitrary number of controlled resources and competing processes. We use a graph-based language to specify in a uniform way both client/server interaction schemes and manipulation of directories that contain the access rights of individual clients.
ABDULLA P, DELZANNO, GIORGIO, REZINE A.
openaire +2 more sources
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source