Results 41 to 50 of about 1,247,855 (284)
On the Computation of Stubborn Sets of Colored Petri Nets [PDF]
, 2006 Valmari’s Stubborn Sets method is a member of the so-called partial order methods. These techniques are usually based on a selective search algorithm: at each state processed during the search, a stubborn set is calculated and only the enabled transitions of this set are used to generate the successors of the state.
Evangelista, Sami +1 more
openaire +1 more source
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 +9 more
wiley +1 more source
Path Planning of Multi-Type Robot Systems with Time Windows Based on Timed Colored Petri Nets
Applied Sciences, 2022 Mobile robots are extensively used to complete repetitive operations in industrial areas such as intelligent transportation, logistics, and manufacturing systems.
Zhou He, Ruijie Zhang, Ning Ran, Chan Gu
doaj +1 more source
Advanced Functional Materials, EarlyView.Shellac, a centuries‐old natural resin, is reimagined as a green material for flexible electronics. When combined with silver nanowires, shellac films deliver transparency, conductivity, and stability against humidity. These results position shellac as a sustainable alternative to synthetic polymers for transparent conductors in next‐generation ...
Rahaf Nafez Hussein +4 more
wiley +1 more source
Implantable Ionic Memristors Based on Natural Polymer Heterojunctions
Advanced Functional Materials, EarlyView.We report an implantable natural polymer‐based ionic memristor composed of hyaluronic acid, chitosan, and PDMS. The device achieved 98.94% accuracy in MNIST classification while reducing training time by 36.8% compared with a conventional artificial neural network (ANN).
Dong‐yup Lee +6 more
wiley +1 more source
Using Colored Petri Nets for Conversation Modeling [PDF]
, 2000 Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not sufficient for complex agent interactions requiring a notion of concurrency.
R. Scott Cost +4 more
openaire +1 more source
An Edible Chitosan‐Based Acoustic Sensor for Sound‐Responsive Actuation in Edible Robots
Advanced Functional Materials, EarlyView.This study introduces an edible acoustic sensor for robotic food and edible robotics. Built from a chitosan piezoelectric film between gold electrodes, the sensor enables acoustic communication through ON/OFF keying. Integrated into an edible robot with pneumatically actuated arms and neck, it responds to high‐frequency tones.
Valerio Francesco Annese +8 more
wiley +1 more source
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
Malware Behavior Modeling with Colored Petri Nets [PDF]
, 2014 We propose a solution which provides a system operator with a mechanism that enables tracking and tracing of malware behavior which – in consequence – leads to its detection and neutralization. The detection is performed in two steps. Firstly single malicious activities are identified and filtered out.
Bartosz Jasiul +2 more
openaire +3 more sources
Advanced Healthcare Materials, EarlyView.We developed a patient‐derived, functional microfluidic model of the diffuse midline glioma (DMG) blood–brain–tumor barrier (BBTB) comprised of endothelial cells, astrocytes, pericytes, and tumor cells. The system forms perfusable microvasculature, reveals the BBTB retains vascular integrity, identifies DMG‐specific transcriptomic changes distinct from
Kimberly R. Bennett +7 more
wiley +1 more source