Results 91 to 100 of about 590,012 (309)
An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley +1 more source
Proving termination using abstract interpretation
PhDOne way to develop more robust software is to use formal program verification. Formal program verification requires the construction of a formal mathematical proof of the programs correctness. In the past ten years or so there has been much progress
Chawdhary, Aziem A., Chawdhary, Aziem A
core
: Jansen is a researcher that classifies the work of interpretation (tafsîr) into: firstly, an interpretation adopting a modern science but not oppose against the holy Quran, it is called tafsîr al-‘ilmî.
Abu Bakar Abu Bakar
doaj +1 more source
Design and analysis strategies for robust microbiome ageing research
The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
THE INTERPRETATION OF RELIGIOUS UNDERSTANDING OF HEARING AND SPEECH-IMPAIRED CHILDREN
This study aimed to find out the interpretation of the religious understanding of hearing and speech-impaired children whether it is in accordance with thinking theory in religious psychology according to Piaget, Salkind, Hurlock and Zakiah Daradjat ...
Nufitriani Kartika Dewi +2 more
doaj
The ability to correctly interpret data is an important skill in modern knowledge societies. The present study investigates adults’ ability to interpret covariation data presented in bar graphs.
Nina Knöchelmann +3 more
doaj +1 more source
SEMANTIC FEATURES OF NOUNS REFERRED TO VARIOUS LEXICAL-AND-GRAMMATICAL CATEGORIES
The paper focuses on semantic properties of concrete and abstract nouns in the aspect of their cognitive categorization. The research is based on the results of two psycholinguistic experiments carried out by the author: synonym selection and word ...
Vadim A. Belov
doaj +1 more source
Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau +36 more
wiley +1 more source
Abstract Interpretation of FIFO Replacement [PDF]
In hard real-time systems, the execution time of programs must be bounded by static timing analysis. For today's embedded systems featuring caches, static analyses must predict cache hits and misses with high precision to obtain useful bounds. For caches with least-recently-used ( LRU ) replacement policy, efficient and precise cache analyses exist ...
Grund D., Reineke J.
openaire +1 more source
Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 more
wiley +1 more source

