Results 41 to 50 of about 717,652 (279)
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe OTS/CafeOBJ method can be used to model, specify and verify distributed systems. Specifications are written in equations, which are regarded as rewrite rules and used to verify specifications. The usefulness of the method is demonstrated by applying the method to nontrivial problems such as electronic commerce protocols and railroad ...
Takahiro Seino +2 more
openaire +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
If the Current Clique Algorithms are Optimal, so is Valiant's Parser
, 2015 The CFG recognition problem is: given a context-free grammar $\mathcal{G}$ and a string $w$ of length $n$, decide if $w$ can be obtained from $\mathcal{G}$. This is the most basic parsing question and is a core computer science problem.
Abboud, Amir +2 more
core +1 more source
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
J. Univers. Comput. Sci., 2013 JUCS - Journal of Universal Computer Science Volume Nr.
Ogata,Kazuhiro, Futatsugi,Kokichi
openaire +3 more sources
Molecular Oncology, EarlyView.Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon +9 more
wiley +1 more source
Molecular Oncology, EarlyView.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
ESC Heart Failure, 2021 Aims Grading right ventricular dysfunction (RVD) in patients with left ventricular (LV) disease has earned little attention. In the present study, we established an echocardiographic RVD score and investigated how increments of the score correspond to ...
Odd Bech‐Hanssen +7 more
doaj +1 more source
iScience, 2022 Summary: Tuberculosis (TB) treatment involves a multidrug regimen for six months, and until two months, it is unclear if treatment is effective. This delay can lead to the evolution of drug resistance, lung damage, disease spread, and transmission.
Chandrani Thakur +10 more
doaj +1 more source
Molecular Oncology, EarlyView.Keratin 19 (KRT19) is overexpressed in high‐grade serous ovarian cancer with high levels of Kallikrein‐related peptidases (KLK) 4–7 and is associated with poor survival. In vivo analyses demonstrate that elevated KRT19 increases peritoneal tumour burden.
Sophia Bielesch +13 more
wiley +1 more source
JMIR mHealth and uHealth, 2022 BackgroundAgainst a long-term trend of increasing demand, the COVID-19 pandemic has led to a global rise in common mental disorders. Now more than ever, there is an urgent need for scalable, evidence-based interventions to support
Silvina Catuara-Solarz +9 more
doaj +1 more source