Results 61 to 70 of about 1,590,113 (289)

Table‐based formal specification approaches for control engineers—empirical studies of usability

IET Cyber-Physical Systems, 2021
The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements.
Suhyun Cha, Birgit Vogel‐Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert   +4 more
doaj   +1 more source

Developmental programmes drive cellular plasticity, disease progression and therapy resistance in lung adenocarcinoma

Molecular Oncology, EarlyView.
This study shows that lung adenocarcinomas exploit developmental branching morphogenesis to acquire a therapy resistant basal‐like tumour cell state. This process was found to be regulated by combined TP53 loss‐of‐function and type‐I interferon signalling, identifying a novel axis for biomarker and therapeutic target discovery.
Kamila J Bienkowska, Stephany Gallardo, Nur S. Zainal, Leena Arora, Matthew Ellis, Maria‐Antoinette Lopez, Judith Austine, Sai Pittla, Serena J Chee, Aiman Alzetani, Emily C Shaw, Christian H Ottensmeier, Gareth J Thomas, Christopher J Hanley   +13 more
wiley   +1 more source

Ontology Assisted Formal Specification Extraction from Text

Studia Universitatis Babes-Bolyai: Series Informatica, 2010
In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments.
Andreea Mihis
doaj  

Pharmacological chromatin remodeling enhances response to estrogen therapy in ER+ breast cancer

Molecular Oncology, EarlyView.
Estrogen therapy elicits clinical benefit in ~ 30% of patients with endocrine‐resistant estrogen receptor (ER)‐positive breast cancer. Based on findings that ER transcriptional activation underlies response to estrogen therapy, we tested the effects of epigenetic dysregulation via pharmacological inhibition of histone deacetylases (HDACi).
Anneka L. Johnson Thomas, Barbara Karakyriakou, Patricia C. Muskus, Alyssa M. Roberts, Justin Rendleman, Alexa Warren, Hanxu Lu, Kimberly A. Birmingham, Malone K. Friedman, Abigail E. Goen, Huijuan Yang, Owen M. Wilkins, Fred W. Kolling, Eugene Demidenko, Julie M. Jorns, Brock C. Christensen, Todd W. Miller   +16 more
wiley   +1 more source

Model‐based validation of diagnostic software with application in automotive systems

IET Cyber-systems and Robotics, 2021
Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj   +1 more source

Intrapatient tumour heterogeneity and clonal evolution in an autopsy study of metastatic salivary gland cancer

Molecular Oncology, EarlyView.
Tumour heterogeneity and clonal evolution of metastatic salivary gland cancer were evaluated in two patients with adenoid carcinoma and one patient with myoepithelial carcinoma. Radiology‐guided autopsy enabled multi‐region sampling (total samples n = 149), followed by whole‐genome sequencing and phylogenetic reconstruction (17 tumour samples, 4–7 per ...
Gerben Lassche, Niels J. van Ruitenbeek, Charlotte Adang, Luke O'Gorman, Pui Yuen Lee, Willemijn M. Klein, Adriana C. H. van Engen‐van Grunsven, Jack A. Schalken, Sander Bervoets, Gerald W. Verhaegh, Carla M. L. van Herpen   +10 more
wiley   +1 more source

Using software specification methods for measurement instruments: Part II - formal methods [PDF]

, 1992
In the second part of the paper, we investigate the applicability of formal methods to the specification of measuring instrument systems. We then conduct a case study in the widely used Z method.
Finkelstein, A., Finkelstein, L., Nuseibeh, B., Huang, J.   +3 more
core   +1 more source

Study on OSPF Algebraic Formal Modelling Using ACP

Elektronika ir Elektrotechnika, 2018
OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of ...
Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz   +3 more
doaj   +1 more source

Hyperosmotic stress‐induced redistribution of pre‐mRNA cleavage factor I subunits is associated with shifts in alternative polyadenylation

FEBS Open Bio, EarlyView.
Hyperosmotic stress triggers the relocation of the CFIm complex from the nucleus to the cytoplasm. This shift creates a nuclear ‘stoichiometric bottleneck’, limiting CFIm availability for mRNA processing. Consequently, specific mRNAs like NUDT21 and DICER1 undergo targeted 3′UTR shortening, demonstrating how spatial protein dynamics drive rapid ...
Hitomi Soumiya, Masatake Osawa, Hidefumi Fukumitsu   +2 more
wiley   +1 more source

Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells

FEBS Open Bio, EarlyView.
Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim, Marco Corazzari, Iman Osman, Jane Armstrong, Noel Carter   +4 more
wiley   +1 more source