Results 101 to 110 of about 659,826 (317)

From UML activity diagrams to specification requirements

2008 IEEE International Conference on System of Systems Engineering, 2008
Formal verification of system-of-systems uses computer-based techniques to assure that the behavior of a subject system of systems complies with its formal correctness specifications. Such formal specifications are often created on the basis of natural-language (NL) requirement specifications.
openaire   +2 more sources

Plasma extrachromosomal circular DNA as a biomarker in EGFR‐targeted therapy of non‐small cell lung cancer

Molecular Oncology, EarlyView.
Detection of extrachromosomal circular DNA (eccDNA) in plasma samples from EGFR‐mutated non‐small cell lung cancer patients. Plasma was collected before and during treatment with the EGFR‐tyrosine kinase inhibitor osimertinib. Plasma eccDNA was detected in all cancer samples, and the presence of the EGFR gene on eccDNA serves as a potential biomarker ...
Simone Stensgaard, Sarmad Mehmood, Eva Boysen Fynboe Ebert, Peter Meldgaard, Anindya Dutta, Boe S. Sorensen   +5 more
wiley   +1 more source

Glycosylated LGALS3BP is highly secreted by bladder cancer cells and represents a novel urinary disease biomarker

Molecular Oncology, EarlyView.
Urinary LGALS3BP is elevated in bladder cancer patients compared to healthy controls as detected by the 1959 antibody–based ELISA. The antibody shows enhanced reactivity to the high‐mannose glycosylated variant secreted by cancer cells treated with kifunensine (KIF).
Asia Pece, Giulio Lovato, Ilaria Cela, Arianna Mercatelli, Benedetta Ferro, Jussi Nikkola, Sara Pagotto, Tommaso Grottola, Vincenzo De Laurenzi, Rossella Cicchetti, Antonio Marchetti, Luigi Schips, Rossano Lattanzio, Stefano Iacobelli, Emily Capone, Peter Black, Mads Daugaard, Michele Marchioni, Gianluca Sala   +18 more
wiley   +1 more source

Survivin and Aurora Kinase A control cell fate decisions during mitosis

Molecular Oncology, EarlyView.
Aurora A interacts with survivin during mitosis and regulates its centromeric role. Loss of Aurora A activity mislocalises survivin, the CPC and BubR1, leading to disruption of the spindle checkpoint and triggering premature mitotic exit, which we refer to as ‘mitotic slippage’.
Hana Abdelkabir, Shalitha Wickrama Arachchige, Sally P. Wheatley   +2 more
wiley   +1 more source

Metamodel-Based Compaction of Spacecraft Operational Scenario Models for Efficient Review

IEEE Access
Owing to the difficulty in performing repairs during flight, spacecraft are operated according to the operational scenarios tested before launch. Operational models, which are a type of SysML activity diagram, can be used to depict these scenarios using ...
Kazunori Someya, Toshiaki Aoki, Naoki Ishihama   +2 more
doaj   +1 more source

CDK11 inhibition induces cytoplasmic p21WAF1 splice variant by p53 stabilisation and SF3B1 inactivation

Molecular Oncology, EarlyView.
CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir, Lukasz Arcimowicz, Lucia Martinkova, Vaclav Hrabal, Filip Zavadil Kokas, Tomas Henek, Martina Kucerikova, Ondrej Bonczek, Pavlina Zatloukalova, Lenka Hernychova, Philip J. Coates, Borivoj Vojtesek, David P. Lane   +12 more
wiley   +1 more source

Application of Vee Diagram in Reconstructing Laboratory Activity Design on Diffusion-Osmosis Concept

Quagga
Implementing the Merdeka curriculum is a record of Indonesia's long journey of education dynamics. One of the reforms visible from implementing the Merdeka curriculum is the existence of science process skills (KPS), as stated in the learning outcomes ...
Ahmad Soleh, Widi Purwianingsih, Kusnadi, Bambang Supriatno, Amprasto   +4 more
doaj   +1 more source

Reduced vascular leakage correlates with breast carcinoma T regulatory cell infiltration but not with metastatic propensity

Molecular Oncology, EarlyView.
A mouse model for vascular normalization and a human breast cancer cohort were studied to understand the relationship between vascular leakage and tumor immune suppression. For this, endothelial and immune cell RNAseq, staining for vascular function, and immune cell profiling were employed.
Liqun He, Chiara Testini, Neda Hekmati, Altea Bonello, Aglaia Schiza, Emmanuel Nwadozi, Mia Phillipson, Carina Strell, Michael Welsh   +8 more
wiley   +1 more source

LMS Implementation in High Schools in Eastern Indonesia After the Covid-19 Pandemic

Journal of Education Technology
The Covid-19 pandemic had prevented students and teachers from carrying out teaching and learning activities in physical classroom due to activity restrictions, social distancing, or lockdown. The problem that occurs is the unavailability of an IT-based
Budi Yulianto, Rita Layona
doaj   +1 more source

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source