Results 31 to 40 of about 72,138 (302)

Formal Verification of a Rover Anti-collision System [PDF]

, 2016
In this paper, we integrate inductive proof, bounded model checking, test case generation and equivalence proof techniques to verify an embedded system. This approach is implemented using the Systerel Smart Solver (S3) toolset. It is applied to verify properties at system, software, and code levels.
Ge, Ning, Jenn, Eric, Breton, Nicolas, Fonteneau, Yoann   +3 more
openaire   +4 more sources

Adaptive Hierarchical Collaborative Anticollision Algorithm Based on Carrier to Noise Ratio and Error Sensing [PDF]

Jisuanji gongcheng, 2016
According to the data collision problem between multiple readers and multiple tags in Radio Frequency Identification(RFID),this paper proposes an adaptive hierarchical collaborative anticollision algorithm based on Carrier to Noise Ratio(CNR) and error ...
SHI Weihang,ZHOU Yan,LIN Nan
doaj   +1 more source

A multi-tag anti-collision protocol based on 8-ary adaptive pruning query tree

International Journal of Distributed Sensor Networks, 2018
In order to solve the problem of multi-tag anti-collision in radio frequency identification systems, a multi-tag anti-collision protocol based on 8-ary adaptive pruning query tree is proposed in this article.
Ming Chu, Zhihong Qian, Xue Wang
doaj   +1 more source

CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3

Molecular Oncology, EarlyView.
PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh, Nitzan Medina‐Itzhaki, Milena Chekov, Eden Gal‐Swisa, Roba Gabesh‐Wahabi, Inbar Savyon, Inna Naroditsky, Hilary A. Kenny, Basem Fares, Lina Korsensky, Einav Girsh, Liron Berger, Ruth Perets   +12 more
wiley   +1 more source

Cell‐cycle‐specific lesion evolution rather than inhibition of double‐strand‐break repair underpins cisplatin radiosensitization

Molecular Oncology, EarlyView.
We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu, Xixi Lin, Emil Mladenov, Veronika Mladenova, Jürgen Thomale, Ali Sak, Yao Wang, Yunxuan Deng, Eleni Gkika, Martin Stuschke, George Iliakis   +10 more
wiley   +1 more source

Tag Anti-collision Algorithm Based on Information Bit Grouping [PDF]

Jisuanji gongcheng, 2018
Aiming at the problem that the existing anti-collision algorithms based on tree have too many collision slots and low recognition efficiency,an anti-collision algorithm based on Information Bit Grouping (IBG) is proposed.The tags is grouped according to ...
JIANG An,LI Xiangyang
doaj   +1 more source

Oncogenic DMTF1β promotes cancer cell motility by regulating autophagy through ULK1 stabilization

Molecular Oncology, EarlyView.
In the current study, we demonstrate that the oncogene DMTF1β regulates ULK1 stability by reducing its proteasomal degradation in cancer cells. This stabilization enables ULK1 to induce autophagy, which in turn facilitates cancer cell migration. Consequently, reduced DMTF1β levels lead to decreased autophagy and impaired cancer cell migration.
Jun Xu, Nicolas J. Niklaus, Anna M. Schläfli, Igor Tokarchuk, Magali Humbert, Federico La Manna, Bich Vu, David Maul, Ramin Radpour, Marianna Kruithof‐de Julio, Inti Zlobec, Jörn Dengjel, Bruce E. Torbett, Mario P. Tschan   +13 more
wiley   +1 more source

PAK1 activation drives divergent resistance mechanisms to aromatase inhibition and tamoxifen in a luminal: A breast cancer model

Molecular Oncology, EarlyView.
Breast cancer remains a major cause of cancer death in women, frequently developing endocrine therapy resistance. This study demonstrates that upregulated p21‐activated kinase 1 (PAK1) activity drives resistance to tamoxifen and long‐term estrogen deprivation in ER+ breast cancer models.
Luisa Schwarzmüller, Janina Müller, Efstathios‐Iason Vlachavas, Lukas Beumers, Lena Fleischhacker, Sara Burmester, Angelika Wörner, Sabine Karolus, Dominic Helm, Cindy Körner, Stefan Wiemann   +10 more
wiley   +1 more source

Near‐Infrared Light‐Driven Zn/Au Janus Micromotors for Multiplex SERS Detection of Anticancer Drugs

Advanced Functional Materials, EarlyView.
Zn/Au Janus micromotors, propelled by thermophoretic effects under NIR light, function as active SERS platforms for single and multiplex detection of anticancer drugs. Their dynamic motion enhances analyte exchange at the Au interface, reducing saturation and competitive adsorption, thereby improving sensitivity and extending the linear detection range.
Tijana Maric, Gohar Soufi, Ziqiao Li, Erick Chica, Amran Abdirasheed Ali Jinow, Nada Al‐Roubaï, Noor Ahmed, Yaman Göksel, Anja Boisen   +8 more
wiley   +1 more source

Evaluation of Centralized Reader Anti-Collision Protocols for Mobile RFID System Based on Maximum Independent Set: A Simulation Study

IEEE Access, 2020
Radio Frequency IDentification (RFID) systems often encounter reader collisions when multiple readers interrogate tags at the same time. Especially in the mobile RFID system, the mobility of readers leads to more reader collisions.
Zhonghua Li, Guannan He, Deming Xu, Shanjin Wang   +3 more
doaj   +1 more source