Results 91 to 100 of about 6,665 (300)
, 2006 We present a higher-order call-by-need lambda calculus enriched with constructors, case-expressions, recursive letrec-expressions, a seq-operator for sequential evaluation and a non-deterministic operator amb, which is locally bottom-avoiding.
Sabel, David, Schmidt-Schauß, Manfred
core
Matric Operational Calculus and Its Applications [PDF]
, 1970 In analysing the linear physical systems with many variables, a good method is to use the matrix functions and the operational calculus. This paper describes the fundamental properties of the operational calculus for the matrix functions based on the ...
ICHIKAWA, Satoshi, KISHIMA, Akira
core
Molecular Oncology, EarlyView.In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge +17 more
wiley +1 more source
On the safety of Nöcker's strictness analysis
, 2004 This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics.
Sabel, David +2 more
core
The Abel summation of the Kontorovich-Lebedev integral representation [PDF]
Opuscula Mathematica, 2005 A new result on the summation of the Kontorovich–Lebedev integral representation in the sense of Abel mean is given.
Petru A. Cojuhari, Alexander M. Gomilko
doaj
Subtype‐specific enhancer RNAs define transcriptional regulators and prognosis in breast cancers
Molecular Oncology, EarlyView.This study employed machine learning methodologies to perform the subtype‐specific classification of RNA‐seq data sets, which are mapped on enhancers from TCGA‐derived breast cancer patients. Their integration with gene expression (referred to as ProxCReAM eRNAs) and chromatin accessibility profiles has the potential to identify lineage‐specific and ...
Aamena Y. Patel +6 more
wiley +1 more source
Molecular Oncology, EarlyView.Dimethyl fumarate (DMF) reduces growth of HPV‐positive cervical cancer spheroids and induces ferroptosis in cervical cancer cells via blocking SLC7A11/Glutathione (GSH) axis. Combination of subcytotoxic doses of DMF and cisplatin (CDDP) further suppresses spheroid growth and drives cell death in 2D culture models.
Carolina Punziano +6 more
wiley +1 more source
Observational Congruences for Dynamically Reconfigurable Tile Systems
, 2005 The SOS formats that ensure that bisimilarity is a congruence fail in the presence of structural axioms on states. Dynamic bisimulation, introduced to characterize the coarsest congruence for CCS which is also a weak bisimulation, reconciles the ...
SASSONE V. +10 more
core +1 more source
COMP–PMEPA1 axis promotes epithelial‐to‐mesenchymal transition in breast cancer cells
Molecular Oncology, EarlyView.This study reveals that cartilage oligomeric matrix protein (COMP) promotes epithelial‐to‐mesenchymal transition (EMT) in breast cancer. We identify PMEPA1 (protein TMEPAI) as a novel COMP‐binding partner that mediates EMT via binding to the TSP domains of COMP, establishing the COMP–PMEPA1 axis as a key EMT driver in breast cancer.
Konstantinos S. Papadakos +6 more
wiley +1 more source
Introduction to the operational calculus
, 2013 Introduction to the Operational Calculus is a translation of ""Einfuhrung in die Operatorenrechnung, Second Edition."" This book deals with Heaviside's interpretation, on the Laplace integral, and on Jan Mikusinki's fundamental work ""Operational ...
Berg, Lothar
core