Results 41 to 50 of about 8,449 (302)
Molecular Oncology, EarlyView.Loss of the miR‐214/199a cluster is associated with recurrence in ovarian cancer. Engineered small extracellular vesicles (m214‐sEVs) elevate miR‐214‐3p/miR‐199a‐5p in tumor cells, suppress β‐catenin, TLR4, and YKT6 signaling, reprogram tumor‐derived sEV cargo, reduce chemoresistance and migration, and enhance carboplatin efficacy and survival in ...
Weida Wang +12 more
wiley +1 more source
IET Software, 2023 The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results.
Wenjie Zhong, Jian‐tao Zhou, Tao Sun
doaj +1 more source
Validation of scenario-based business requirements with Coloured Petri Nets [PDF]
, 2009 A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an interaction diagram.
Fernandes, João M., Ribeiro, Óscar R.
core +1 more source
A brief introduction to coloured Petri Nets [PDF]
, 1997 Coloured Petri Nets (CP-nets or CPN) is a graphical oriented language for design, specification, simulation and verification of systems. It is in particular well-suited for systems in which communication, synchronisation and resource sharing are important.
openaire +2 more sources
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Acta Polytechnica, 2005 One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (
H. Kubátová
doaj
IEEE Access, 2021 State-of-the-art software technologies have enabled Higher Education Institutions to record and store large amounts of student data. Analyzing this large amount of data can facilitate the decision-making process.
Muhammad Nauman +3 more
doaj +1 more source
Colored Petri nets in the simulation of ETL standard tasks: the surrogate key pipelining case [PDF]
, 2012 ETL (Extract-Transform-Load) systems are formed by processes responsible for the extraction of data from several sources, cleaning and transforming it in accordance with some prerequisites of a data warehouse, and finally loading it in its ...
Belo, Orlando +2 more
core
Quantitative Analysis of Opacity in Cloud Computing Systems [PDF]
, 2019 The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.Federated cloud systems increase the reliability and reduce the cost of the computational support.
Maciej, Koutny, Wen, Zeng
core +1 more source
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series, 1981 <p>In many systems a number of different processes have a similar structure and behaviour. To shorten system description and system analysis it is desirable to be able to treat such similar processes in a uniform and succinct way. In this paper it is shown how Petri nets can be generalized to allow processes to be described by a common subnet ...
openaire +2 more sources