Results 41 to 50 of about 764,433 (294)

Adequacy of compositional translations for observational semantics [PDF]

open access: yes, 2008
We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Niehren, Joachim   +3 more
core   +8 more sources

Outcomes and Surgical Management of Malignant Rhabdoid Tumor of the Kidney: A Report From the Pediatric Surgical Oncology Research Collaborative

open access: yesPediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Malignant rhabdoid tumor of the kidney (MRTK) is a rare, aggressive tumor seen in young children. The optimal timing of resection for locally advanced tumors is not well‐defined. The purpose of this study is to evaluate modern oncologic outcomes and the impact of surgical timing. Methods A multicenter retrospective review was performed
Hannah N. Rinehardt   +76 more
wiley   +1 more source

Zrinyi, Miklós. The Siege of Sziget. Trans. by László Kőrössy

open access: yesHungarian Cultural Studies, 2012
None.
Enikő M. Basa
doaj   +1 more source

Reciprocal control of viral infection and phosphoinositide dynamics

open access: yesFEBS 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

Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10

open access: yesFEBS 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

Androgen deficiency in aging males: Translation and validation study of the iranian version

open access: yesIranian Journal of Nursing and Midwifery Research, 2021
Background: Considering the importance of psychometric evaluation of the male sex hormone deficiency questionnaire by Iranian nurses, this study aimed to determine the translation and validation of the Iranian version of the Androgen Deficiency in Aging ...
Mansoureh Ashghali-Farahani   +3 more
doaj   +1 more source

On Stronger Calculi for QBFs

open access: yes, 2016
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core   +2 more sources

Two seventeenth-century translations of two dark Roman satires: John Knyvett’s Juvenal 1 and J.H.’s In Eutropium 1 [PDF]

open access: yes, 2012
This article consists of a transcription of the texts of two previously unprinted seventeenth-century verse translations, with accompanying editorial matter.
Gillespie, Stuart
core   +1 more source

Function‐driven design of a surrogate interleukin‐2 receptor ligand

open access: yesFEBS Letters, EarlyView.
Interleukin (IL)‐2 signaling can be achieved and precisely fine‐tuned through the affinity, distance, and orientation of the heterodimeric receptors with their ligands. We designed a biased IL‐2 surrogate ligand that selectively promotes effector T and natural killer cell activation and differentiation. Interleukin (IL) receptors play a pivotal role in
Ziwei Tang   +9 more
wiley   +1 more source

Home - About - Disclaimer - Privacy