Results 101 to 110 of about 596,156 (298)

Runtime Verification Past Experiences and Future Projections [PDF]

, 2019
The paper provides an overview of the work performed by the authors since the year 2000 in the field of runtime verification. Runtime verification is the discipline of analyzing program/system executions using rigorous methods. The discipline covers such topics as specification-based monitoring, where single executions are checked against formal ...
Klaus Havelund, Giles Reger, Grigore Roşu   +2 more
openaire   +1 more source

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

Observation of resonance trapping in an open microwave cavity

, 2000
The coupling of a quantum mechanical system to open decay channels has been theoretically studied in numerous works, mainly in the context of nuclear physics but also in atomic, molecular and mesoscopic physics.
A. I. Magunov, C. Jung, E. Persson, E. Persson, E. Persson, E. Persson, E. Persson, F. Haake, F. M. Dittes, F. M. Dittes, F. M. Izrailev, F. Remacle, F. Remacle, F. Remacle, G. Khitrova, H.-J. Stöckmann, I. Rotter, I. Rotter, I. Rotter, I. Rotter, J. Stein, M. Barth, M. Desouter-Lecomte, M. Desouter-Lecomte, M. Desouter-Lecomte, M. Müller, M. Wagner, P. A. Moldauer, P. Šeba, S. Derible, T. Meier, U. Peskin, U. Peskin, V. A. Mandelshtam, V. V. Sokolov, V. V. Sokolov, V. V. Sokolov, W. Cassing, W. Iskra, W. Iskra, Y. V. Fyodorov   +40 more
core   +1 more source

Potential therapeutic targeting of BKCa channels in glioblastoma treatment

Molecular Oncology, EarlyView.
This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak, Karolina Pytlak, Sandra Jaworowska, Bogusz Kulawiak, Piotr Bednarczyk   +4 more
wiley   +1 more source

Experiment and verification of fine gridded precipitation forecast fusion correction in Sichuan

暴雨灾害
Fine-scale quantitative precipitation forecast is a key issue and challenge in weather forecasting services. In this study, based on hourly precipitation from the 1 km× 1 km resolution Southwest China WRF-based Intelligent Numeric Grid forecast System ...
Wulong ZHANG, Chaoping CHEN, Kangquan YANG   +2 more
doaj   +1 more source

A high heat flux experiment for verification of thermostructural analysis [PDF]

A major concern in advancing the state of the art technologies for hypersonic vehicles is the development of an aeropropulsion system capable of handling the high heat fluxes during flight.
Gladden, Herbert J., Melis, Matthew E.
core   +1 more source

PARP inhibition and pharmacological ascorbate demonstrate synergy in castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon, Peter T. Gallagher, Orly I. Richter, Neermala Poudel Neupane, Amy C. Mandigo, Jennifer J. McCann, Emanuela Dylgjeri, Irina Vasilevskaya, Christopher McNair, Channing J. Paller, Wm. Kevin Kelly, Karen E. Knudsen, Matthew J. Schiewer, Ayesha A. Shafi   +13 more
wiley   +1 more source

Network Pharmacology and Experimental Verification Reveal the Regulatory Mechanism of Chuanbeimu in Treating Chronic Obstructive Pulmonary Disease

International Journal of COPD
Meilan Xian,1,2,* Jiaoyuan Xu,1,3,* Yamei Zheng,4 Lei Zhang,4 Jie Zhao,4 Jie Chen,1 Siguang Li,1 Lingsang Lin,1 Yi Zhong,4 Zehua Yang,4 Tian Xie,4 Linhui Huang,4 Yipeng Ding1,4 1Department of General Practice, Hainan Affiliated Hospital of Hainan
Xian M, Xu J, Zheng Y, Zhang L, Zhao J, Chen J, Li S, Lin L, Zhong Y, Yang Z, Xie T, Huang L, Ding Y   +12 more
doaj  

Perceptual representations in L1 and L2 spatial and abstract language processing: applying an innovative sentence-diagram verification paradigm

Frontiers in Human Neuroscience
IntroductionPerceptual representations in language comprehension were examined using sentence-picture verification tasks. However, concerns have been raised regarding the suitability of concrete pictures for representing abstract concepts compared to ...
Menghan Wang, Helen Zhao
doaj   +1 more source

Experimental Blind Quantum Computing for a Classical Client

, 2017
To date, blind quantum computing demonstrations require clients to have weak quantum devices. Here we implement a proof-of-principle experiment for completely classical clients. Via classically interacting with two quantum servers that share entanglement,
Huang, He-Liang, Li, Li, Liu, Chang, Liu, Nai-Le, Lu, Chao-Yang, Ma, Xiongfeng, Pan, Jian-Wei, Sanders, Barry C., Su, Zu-En, Wang, Xi-Lin, Zhao, Qi   +10 more
core   +1 more source