Results 81 to 90 of about 411,715 (285)

From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]

, 2005
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek, Courtiat, Jean-Pierre, T. Sadani, J.-P. Courtiat, Saqui-Sannes, Pierre de, P. de Saqui-Sannes   +5 more
core   +1 more source

Matrix Stiffness Enhances Odontogenic Differentiation of DPSCs through Membrane Curvature Protein Baiap2‐Modulated Exosome Release

Advanced Science, EarlyView.
Matrix stiffness softening is identified as a previously underappreciated feature in deep caries. Higher stiffness drives exosome release in dental pulp stem cells through a coordinated mechanism involving PI3K–AKT‐regulated Baiap2 and kinesin‐1, thereby promoting odontogenic differentiation.
Bilun Jin, Shaojie Dong, Yue Jia, Zhao Xu, Peiqi Liu, Zhaojing Ding, Yuxin Liao, Rui Zou, Jinsong Hu, Bo Cheng, Lin Niu   +10 more
wiley   +1 more source

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

Advanced Engineering Research, 2011
The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Nadezhda S. Mogilevskaya, Sergey S. Kolchanov   +1 more
doaj  

Long Noncoding RNA PCALRx Interacts with Pyruvate Carboxylase to Drive Multi‐Organ Developmental Toxicity in Zebrafish Embryos Exposed to Amoxicillin

Advanced Science, EarlyView.
Embryonic amoxicillin exposure disrupts multi‐organ development in zebrafish larvae through a lncRNA–metabolic enzyme regulatory axis. PCALRx associates with pyruvate carboxylase, promotes PC protein ubiquitination, and impairs mitochondrial energy metabolism, while vitamin B1 partially restores PC‐centered metabolic function and developmental outcomes.
Yixue Yao, Ping Jiang, Xinli Zhou, Mengying Yin, Qiong Luo, Hui Wang   +5 more
wiley   +1 more source

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

Вестник Донского государственного технического университета, 2018
The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham—Schroeder protocol is reviewed and evaluated.
Nadezhda S. Mogilevskaya, Sergey S. Kolchanov   +1 more
doaj  

METHOD OF SOFTWARE VERIFICATION OF AIR OBJECTS CLASSIFICATION FUZZY LOGICAL SYSTEM

Сучасні інформаційні системи, 2018
Objects of different classes are detected in the process of monitoring airspace. The classification of an air object is the process of establishing its belonging to a preassigned class. Classes are automatically determined or set automated.
Oleksander Timochko
doaj   +1 more source

A Microcapsule‐Integrated smRandom‐seq Platform Enables Fixation‐Free Single Microbe RNA Sequencing

Advanced Science, EarlyView.
We developed a microcapsule‐integrated high‐throughput fixation‐free single‐microbe RNA‐seq workflow in which microbes are encapsulated in aqueous two‐phase microcapsules for physical confinement of nucleic acids. This platform enables co‐encapsulation with barcoded beads for sequencing and reveals that fixation‐free processing enhances transcriptomic ...
Mengdi Song, Yuting Wang, Zhaolun Wang, Shunji Zhang, Zhengmin Tang, Yongcheng Wang   +5 more
wiley   +1 more source

A Timed Colored Petri Net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems

Applied Sciences, 2017
Complex and customized manufacturing requires a high level of collaboration between production and logistics in a flexible production system. With the widespread use of Internet of Things technology in manufacturing, a great amount of real-time and multi-
Zhengang Guo, Yingfeng Zhang, Xibin Zhao, Xiaoyu Song   +3 more
doaj   +1 more source

RNA Promotes Synapsin Condensates That Organize Synaptic Vesicles in Live Neurons and Enable Localized Translation in Reconstituted System

Advanced Science, EarlyView.
Condensates at synapses organize synaptic vesicles (SVs) and are crucial for efficient neurotransmitter release, yet how RNA contributes to this mesoscale architecture remains poorly understood. Here we uncover that RNA modulates synapsin–driven condensates.
Branislava Rankovic, Zachary M. Geisterfer, Akshita Chhabra, Vladimir M. Jovanovic, Ian Seim, Christian Hoffmann, Antonela Condric, Gerard Aguilar Pérez, Rinse de Boer, Lars T. Hofstede, Jingao Sun, Kiara Freitag, Katja Nowick, Marina Jendrach, Frank L. Heppner, Vladimir Despic, Michaela Müller‐McNicoll, Stephan Sigrist, Geert van den Bogaart, Sofiia Reshetniak, Amy S. Gladfelter, Dragomir Milovanovic   +21 more
wiley   +1 more source

Automated Mapping Tool from Moise+ to Colored Petri Nets

Proceedings of the International Florida Artificial Intelligence Research Society Conference
The demand for systems incorporating artificial intelligence, such as multi-agent systems, is continually increasing. Simultaneously, there is a growing need for developing tools to support this field, ensuring better fault tolerance within projects ...
Ricardo Machado, Athur Zelindro, Eder Gonçalves, Diana Adamatti, Giovani Farias   +4 more
doaj   +1 more source