Results 41 to 50 of about 1,107,230 (292)

A novel quinazolinone insulin receptor inhibitor and its synergy with an EGFR inhibitor in glucose‐driven glioblastoma

Molecular Oncology, EarlyView.
The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka, Wioleta Cieślik, Wojciech Płaziński, Katarzyna Stępnik, Anna Boguszewska‐Czubara, Elżbieta Kot, Robert Musioł, Mateusz Jasica, Anna Mrozek‐Wilczkiewicz, Katarzyna Malarz   +9 more
wiley   +1 more source

Behavior modeling method for functional verification of product considering ways of usage

Journal of Advanced Mechanical Design, Systems, and Manufacturing, 2017
Recent industrial globalization has increased importance of functional verification in product design considering various ways of usage. In particular, for shortening development time, it is desired to perform functional verification and necessary ...
Eiji MORINAGA, Hidefumi WAKAMATSU, Hijiri ABIRU, Eiji ARAI   +3 more
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

A Comparison of Petri Net Semantics under the Collective Token Philosophy

, 1998
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
Meseguer, J., Roberto Bruni, Bruni, R., Ugo Montanari, Vladimiro Sassone, Montanari, U., Sassone, V., José Meseguer   +7 more
core   +2 more sources

Airport Surface Modelling and Simulation Based on Timed Coloured Petri Net

Promet (Zagreb), 2019
In order to satisfy the requirements of International Civil Aviation Organization (ICAO) for aircraft taxi route planning in Advanced Surface Movement Guidance and Control System (A-SMGCS), an airport surface operation modelling and simulation approach ...
Zhigang Su, Mengqi Qiu
doaj   +1 more source

Hyperactive ice‐binding proteins stabilize cell membranes and improve resistance to dehydration stress in Caenorhabditis elegans

FEBS Open Bio, EarlyView.
TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose, Kotaro Ozaki, Ryohei Kuriyama, Yuka Ikemoto, Kazuhiro Mio, Yuji C. Sasaki, Tatsuya Arai, Sakae Tsuda, Yoichi Shinkai, Masahiro Kuramochi   +9 more
wiley   +1 more source

Dependent Shrink of Transitions for Calculating Firing Frequencies in Signaling Pathway Petri Net Model

Algorithms, 2016
Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways.
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno   +2 more
doaj   +1 more source

Dialectica Petri Nets

Fundamenta Informaticae
The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in
Elena Di Lavore, Wilmer Leal, Valeria de Paiva   +2 more
openaire   +3 more sources

Purification and preparation of Marchantia polymorpha Auxin Response Factor 2 for phase separation studies

FEBS Open Bio, EarlyView.
We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen, Robin Romein, Willy A. M. van den Berg, Simon Lindhoud, Jan Willem Borst, Carlo P. M. van Mierlo   +5 more
wiley   +1 more source

Process versus Unfolding Semantics for Place/Transition Petri Nets [PDF]

, 1996
In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975), Vladimiro Sassone, Meseguer, José, Sassone, V., Meseguer, J., MONTANARI, UGO GIOVANNI ERASMO, Ugo Montanari, Ugo Montanari (12616129), Sassone V., Meseguer J, Montanari, U., José Meseguer (39091), Montanari, Ugo, Sassone, Vladimiro, José Meseguer   +14 more
core   +2 more sources