Results 61 to 70 of about 736,203 (295)
FEBS Open Bio, EarlyView.KLK7, a tissue kallikrein‐related peptidase, is elevated in advanced colorectal cancer and associated with shorter survival. High KLK7 levels in ascites correlate with peritoneal metastasis. In mice, KLK7 overexpression increases metastasis. In vitro, KLK7 enhances cancer cell proliferation, migration, adhesion, and spheroid formation, driving ...
Yosr Z. Haffani +6 more
wiley +1 more source
A novel trace-based sampling method for conformance checking [PDF]
PeerJ Computer ScienceIt is crucial for organizations to ensure that their business processes are executed accurately and comply with internal policies and requirements. Process mining is a discipline of data science that exploits business process execution data to analyze ...
Heidy M. Marin-Castro +3 more
doaj +2 more sources
Integrating model checking with HiP-HOPS in model-based safety analysis [PDF]
, 2014 The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by ...
Papadopoulos, Yiannis +1 more
core +1 more source
FEBS Open Bio, EarlyView.dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon +6 more
wiley +1 more source
Distribution of within-ring internal checking in Pinus radiata grown in southern chile
Maderas: Ciencia y Tecnología, 2014 The increase of Pinus radiata plantations in Chile has brought larger annual volumes to the industry and the opportunity to process them into value-added products.
A. Aguilera, L. Inzunza
doaj
HIV‐1 establishes immediate latency in T cells expressing the viral Nef protein
FEBS Open Bio, EarlyView.Nef is a viral protein often omitted from HIV‐1 reporter viruses. Consequently, its role in viral latency is unclear. We developed three novel dual reporter HIV‐1 derivatives that express Nef and allow for detection of latent and productive infection. Using these reporters, we show that Nef does not affect the establishment of immediate viral latency ...
Cindy Lam, Ivan Sadowski
wiley +1 more source
Internal audit practices and trends in Romania and worldwide
Audit Financiar, 2016 For a long time, internal audit has been seen mainly as an activity of providing assistance to external auditors, especially by checking up accounting procedures as part of the internal control evaluation process.
Ionela-Corina CHERSAN
doaj +1 more source
Profita, 2018 This study aims to explain and describe the role of internal control system of PT. FIFGROUP Branch Office in Jember for pressing the number of bad loans. This research is a descriptive research with qualitative approach.
Ningrum Suryadinata +2 more
doaj +1 more source
Minimal Proof Search for Modal Logic K Model Checking
, 2012 Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic K. While the model checking problems for LTL and to a lesser extent ATL have been very active research areas for the past decades, the model checking problem for the more basic Multi-
Saffidine, Abdallah
core +1 more source
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing [PDF]
, 2007 Most current attempts to achieve reliable knowledge sharing on a large scale have relied on pre-engineering of content and supply services. This, like traditional knowledge engineering, does not by itself scale to large, open, peer to peer systems ...
Barker, Adam +18 more
core +2 more sources