Results 51 to 60 of about 1,135,516 (291)

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

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, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

Survey on Formal Modelling and Quantitative Analysis Methods for Complex Systems [PDF]

Jisuanji kexue
Formal modeling is an important fundamental method of system verification and performance analysis.It can be utilized to evaluate the feasibility and performance boundaries of the system as early as in the design phase and is widely applied for abstract ...
WANG Huiqiang, LIN Yang, LYU Hongwu
doaj   +1 more source

LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro

Molecular Oncology, EarlyView.
Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix, Daniel Samaga, Katharina Gehr, Benedek Dankó, Mohamed Schumann, Guido Drexler, Ahmed Alnatsha, Georg Beyer, Ujjwal Mahajan, Martin Selmansberger, Julia Mayerle, Claus Belka, Horst Zitzelsberger, Kirsten Lauber   +13 more
wiley   +1 more source

On the role of domain ontologies in the design of domain-specific visual modeling langages [PDF]

, 2002
Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains.
Ferreira Pires, L., Guizzardi, G., Sinderen, M.J. van   +2 more
core   +3 more sources

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

, 2010
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models.
A. Al-Nayeem, A. Boronat, C. Brooks, C. P. Cheng, E. A. Lee, E. A. Lee, H. Ding, J. E. Rivera, J. Eker, J. Meseguer, K. Bae, K. Bae, Kyungmin Bae, M. AlTurki, M. AlTurki, M. Clavel, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, Peter Csaba Ölveczky, S. Edwards, SAE AADL Team, Sz. Gyapay, T. Denton   +25 more
core   +2 more sources

Behaviour-Driven Formal Model Development [PDF]

, 2018
Formal systems modelling offers a rigorous system-level analysis resulting in a precise and reliable specification. However, some issues remain: Modellers need to understand the requirements in order to formulate the models, formal verification may focus on safety properties rather than temporal behaviour, domain experts need to validate the final ...
Colin Snook, Thai Son Hoang, Dana Dghyam, Michael Butler, Tomas Fischer, Rupert Schlick, Keming Wang   +6 more
openaire   +2 more sources

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Formal modeling and analyzing method for database security policy

Tongxin xuebao, 2015
Because of the high-level abstraction,insufficient description of database states and constraints,it was difficult to find the tiny flaws in design and implementation.Based on PVS,a method for formal description and analysis of data-base security policy ...
Rong WANG, Min ZHANG, Deng-guo FENG, Hao LI   +3 more
doaj   +2 more sources

Enhancing Model-Based Systems Engineering via Graph-Theoretic Partitioning and System Model Metrics

IEEE Open Journal of Systems Engineering
Verification, validation, and testing of complex cyber-physical systems, such as autonomous vehicles, have traditionally relied on document-intensive processes and physical prototypes. However, accelerated development timelines increasingly challenge the
Lukas Macha, Julian Padget, Peter Ebner, Chris Brace   +3 more
doaj   +1 more source