Results 61 to 70 of about 39,507 (262)

Circulating microRNA signatures of cachexia and cancer in Canis familiaris as a comparative oncology model for human disease

Molecular Oncology, EarlyView.
Circulating microRNAs as biomarkers of cachexia and sex‐specific cancer in senior dogs. In 25 client‐owned dogs, four circulating miRNAs (miR‐15a, miR‐15b, miR‐16, miR‐140) were downregulated in cachexia, with miR‐16 the strongest individual biomarker (AUC = 0.899).
Soon‐Seok Park, Kyongman An, Gyeonghwa Kim, Soo‐Nyun Choi, Hong‐Ki Lee, Keun Hur, Kyu‐Shik Jeong   +6 more
wiley   +1 more source

Translation Strategies and Equivalence in Formal Document Translation: A Study of UNESCO Agreements

Journal of Languages and Language Teaching
This research investigates translation strategies and equivalence in translating Indonesian cultural terms in UNESCO agreements into English. The study aims to explore how translation strategies are adapted to address challenges in formal document ...
Ahmad Syafran, Ni Gusti Ayu Roselani, Dinda Sekar Octavianti, Alfina Robi’ah Adawiyah, David Ginola   +4 more
doaj   +1 more source

Computational Soundness of Formal Indistinguishability and Static Equivalence [PDF]

, 2007
In the investigation of the relationship between the formal and the computational view of cryptography, a recent approach, first proposed in [10], uses static equivalence from cryptographic pi calculi as a notion of formal indistinguishability. Previous work [10,1] has shown that this yields the soundness of natural interpretations of some interesting ...
Gergei Bana, Payman Mohassel, Till Stegers   +2 more
openaire   +2 more sources

Cutpoints for formal equivalence verification of embedded software [PDF]

Proceedings of the 5th ACM international conference on Embedded software, 2005
Like hardware, embedded software faces stringent design constraints, undergoes extremely aggressive optimization, and therefore has a similar need for verifying the functional equivalence of two versions of a design, e.g., before and after an optimization.
Xiushan Feng, Alan J. Hu
openaire   +1 more source

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source

Establishing an assay to evaluate d‐amino acid oxidase enzyme kinetics and inhibition using WST‐8 redox dye

FEBS Open Bio, EarlyView.
This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake, Yuki Enoki, Yuka Nakazawa, Kazuaki Taguchi, Kazuaki Matsumoto   +4 more
wiley   +1 more source

TRANSLATOR’S PROBLEM AND STRATEGY IN TRANSLATING ALLEGORY IN GEORGE HERBERT’S “THE PILGRIMAGE”

Jurnal Smart
This study examines the problems and strategies in translating allegory within George Herbert’s “The Pilgrimage” from English into Indonesian. Employing a qualitative descriptive approach, the research focuses on analyzing semantic, syntactic, and ...
Dian Windriani, Retno Anggraini
doaj   +1 more source

Suppression of lung adenocarcinoma migration through organelle alkalization by human lactoferrin – albumin fusion

FEBS Open Bio, EarlyView.
This paper reveals how human lactoferrin–albumin fusion (hLF‐HSA) potently suppresses lung adenocarcinoma cell migration. hLF‐HSA upregulates NHE7, leading to Golgi alkalization, disruption of the Golgi secretome, downregulation of MMP1, and reversal of EMT. These findings suggest a novel Golgi‐targeting strategy to suppress cancer cell migration.
Hana Nopia, Masahiro Kimura, Daisuke Kurimoto, Atsushi Sato   +3 more
wiley   +1 more source

Formal and finite order equivalences [PDF]

Mathematische Zeitschrift, 2010
We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations.
openaire   +4 more sources

Derivation and characterization of retinal pigment epithelium from urine‐derived iPSCs

FEBS Open Bio, EarlyView.
Age‐related macular degeneration causes vision loss via RPE dysfunction and loss. Traditional iPSC therapies rely on invasive biopsies, limiting scalability. Here, we utilize urine‐derived stem cells as an accessible source to generate u‐iPSCs, successfully differentiated into pigmented RPE. This “Urine‐to‐Retina” platform provides a promising path for
Daniella Beiner, Hainan Zhu, Carol Christine Bosholm, Heuy‐Ching Wang, Tracy Criswell, Anthony Atala, Jian‐Xing Ma, Yuanyuan Zhang   +7 more
wiley   +1 more source