Results 31 to 40 of about 545,156 (279)
Comparative study of denoising techniques for 5G communication at 3.5 GHz
Proceedings of the Nigerian Society of Physical SciencesThis paper presents a comparative study of denoising techniques for improving 5G communication at 3.5GHz. A 5G system is simulated in MATLAB with thermal noise, intermodulation noise, and external interference.
Seyi Olukanni +3 more
doaj +1 more source
La symbolique de l’eau dans la culture cambodgienne
Géographie et Cultures, 2006 This article aims at showing how the country council, thanks to Phnom Penh, has been giving more and more importance ta a major site of confluence in the development projects of the Cambodian capital since the t 990s.
Céline Pierdet
doaj +1 more source
On Strictly Positive Fragments of Modal Logics with Confluence
Mathematics, 2022 We axiomatize strictly positive fragments of modal logics with the confluence axiom. We consider unimodal logics such as K.2, D.2, D4.2 and S4.2 with unimodal confluence ⋄□p→□⋄p as well as the products of modal logics in the set K,D,T,D4,S4, which ...
Stanislav Kikot, Andrey Kudinov
doaj +1 more source
Gender and the Outdoors: An International Conversation [PDF]
, 2008 Over the past two to three decades in outdoor education circles, there has been a gradual swell of interest in bringing a gender lens to the examination of issues, theory and practice within the field.
Breunig, Mary +3 more
core +1 more source
Confluence reduction for Markov automata [PDF]
, 2013 Markov automata are a novel formalism for specifying systems exhibiting nondeterminism, probabilistic choices and Markovian rates. Recently, the process algebra MAPA was introduced to efficiently model such systems.
A. Hartmanns +12 more
core +8 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
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
FEBS Letters, EarlyView.Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
Confluence versus Ample Sets in Probabilistic Branching Time [PDF]
, 2011 To improve the efficiency of model checking in general, and probabilistic model checking in particular, several reduction techniques have been introduced. Two of these, confluence reduction and partial-order reduction by means of ample sets, are based on
Hansen, Henri, Timmer, Mark
core +2 more sources
Multiple ETS family transcription factors bind mutant p53 via distinct interaction regions
FEBS Letters, EarlyView.Mutant p53 gain‐of‐function is thought to be mediated by interaction with other transcription factors. We identify multiple ETS transcription factors that can bind mutant p53 and found that this interaction can be promoted by a PXXPP motif. ETS proteins that strongly bound mutant p53 were upregulated in ovarian cancer compared to ETS proteins that ...
Stephanie A. Metcalf +6 more
wiley +1 more source
Overview of Nigeria’s Infrastructural Development
CSID Journal of Infrastructure DevelopmentThis paper offers a comprehensive analysis of Nigeria’s infrastructural development from 2014 to 2023, focusing on significant achievements and recurring challenges.
Muhammad Onoruiza Audu +1 more
doaj +1 more source