Results 31 to 40 of about 8,449 (302)
Decidable Models of Recursive Asynchronous Concurrency [PDF]
, 2015 Asynchronously communicating pushdown systems (ACPS) that satisfy the empty-stack constraint (a pushdown process may receive only when its stack is empty) are a popular decidable model for recursive programs with asynchronous atomic procedure calls.
Kochems, Jonathan, Ong, C. -H. Luke
core
A coloured Petri net trust model [PDF]
14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings., 2004 Conference Papers erschienen als: Lecture notes in computer science, Vol ...
openaire +2 more sources
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source
Abstract and Applied Analysis, 2014 The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications.
Naeem Akhtar Khan +2 more
doaj +1 more source
Assisting data warehousing populating processes design through modelling using Coloured Petri Nets [PDF]
, 2013 Data warehousing systems populating processes are responsible for loading their data repositories – the data warehouses – with information they extract from operational sources. The tasks that integrate these processes are the most complex ones that we
Belo, Orlando +2 more
core
Molecular Oncology, EarlyView.Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova +25 more
wiley +1 more source
Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
CAAI Transactions on Intelligence Technology, 2023 Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules.
Mina Chavoshi, Seyed Morteza Babamir
doaj +1 more source
Internet enabled modelling of extended manufacturing enterprises using the process based techniques [PDF]
, 2004 The paper presents the preliminary results of an ongoing research project on Internet enabled process-based modelling of extended manufacturing enterprises.
Cheng, K, Popov, Y
core +1 more source
Molecular Oncology, EarlyView.Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau +36 more
wiley +1 more source
Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns
Advances in Distributed Computing and Artificial Intelligence Journal, 2015 In Service-Oriented Architectures (SOA) services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling abstract SOAs.
Saverio GIALLORENZO +2 more
doaj +1 more source