Results 121 to 130 of about 183,807 (295)

Towards the Automated Debugging and Maintenance of Logic-based Requirements Models

, 1998
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic.
IEEE Computer Society, McCluskey, T.L., West, Margaret M.   +2 more
core  

A categorical account of composition methods in logic (extended version)

We present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning about complex structures by building them out of simpler components.
Marsden, Dan, Jakl, Tomáš, Shah, Nihil
core   +1 more source

Requirements engineering: a close look at industry needs and a model curricula

, 2004
Research endeavours in software development have found that failures and deficiencies of software systems are often rooted in the requirements activities undertaken.
Oliver Minor, Minor, Oliver, Minor, O., Armarego, J., Jocelyn Armarego, Armarego, Jocelyn   +5 more
core   +1 more source

The Methodology for the organization of Open Educational Resources in the career of Labor-Computer Education

Revista MENDIVE, 2020
The "knowledge society" is a phenomenon that has been gaining great importance in the educational movement, as a means for the generation and socialization of knowledge.
José Alexis Trujillo Sainz
doaj  

Engineered extracellular vesicles enriched with the miR‐214/199a cluster enhance the efficacy of chemotherapy in ovarian cancer

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, Ayesha Alvero, Yi Qin, Mingjin Wang, Alexandra Fox, Yanfeng Li, Michael Millman, Amy Kemper, Gil Mor, Xian Shuang Liu, Michael Chopp, Zheng Gang Zhang, Yi Zhang   +12 more
wiley   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Guest editorial

, 2013
This issue contains five papers on algebraic and logical methods for data and modelling which were solicited for The Computer Journal in honour of the 60th birthday of John V Tucker.
Bergstra, J., Blanck, J., Wainer, S., Moller, F.   +3 more
core   +1 more source

Keratin 19 as a prognostic marker and contributing factor of metastasis and chemoresistance in high‐grade serous ovarian cancer

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, Isabel Vogel, Sina Nokodian, Johanna Moeller, Antonia Blechschmidt, Vicky Hecht, Vanessa Kuentzel, Katharina Thiedig, Melissa Schwab, Oliver Schilling, Holger Bronger, Marion Kiechle, Viktor Magdolen, Tobias Dreyer   +13 more
wiley   +1 more source

Spiraling Toward Usability: An Integrated Design Environment and Management System

, 2005
Decades of innovation in designing usable (and unusable) interfaces have resulted in a plethora of guidelines, usability engineering methods, and other design tools.
Wahid, Shahtab, McCrickard, D. Scott, Chewar, Christa M., Lee, Jason Chong, Congleton, Ben   +4 more
core  

Somatic mutational landscape in von Hippel–Lindau familial hemangioblastoma

Molecular Oncology, EarlyView.
The causes of central nervous system (CNS) hemangioblastoma in Von Hippel–Lindau (vHL) disease are unclear. We used Whole Exome Sequencing (WES) on familial hemangioblastoma to investigate events that underlie tumor development. Our findings suggest that VHL loss creates a permissive environment for tumor formation, while additional alterations ...
Maja Dembic, Anne Nørremølle, Lilian Bomme Ousager, Lars van Brakel Andersen, Marie Louise Mølgaard Binderup, Mads Thomassen   +5 more
wiley   +1 more source