Results 31 to 40 of about 689,888 (317)
Approach on runtime monitoring based on the embedded trusted platforms
网络与信息安全学报, 2017 The state-of-art trusted computing platforms fall short of monitoring its own runtime security properties.In order to mitigate these problems,an approach on runtime monitoring for the embedded trusted platforms was proposed.With the automated code ...
Zhao-chang SUN +3 more
doaj +3 more sources
Analysis of Meeting Protocols by Formalisation, Simulation and Verification [PDF]
, 2007 Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and make decisions.
Jonker, C.M. +3 more
core +3 more sources
Investigating AI Applications in Construction Industry: A Systematic Review
Proceedings of the International Conference of Contemporary Affairs in Architecture and Urbanism-ICCAUA, 2023 Artificial Intelligence (AI) has become popular in all industries recently and provides numerous opportunities by simulating human intelligence processes.
Tayibe Seyman-Güray
doaj +1 more source
FEBS Letters, EarlyView.Three‐dimensional (3D) biological systems have become key tools in lymphoma research, offering reliable in vitro and ex vivo platforms to explore pathogenesis and support precision medicine. This review highlights current 3D non‐Hodgkin lymphoma models, detailing their features, advantages, and limitations, and provides a broad perspective on future ...
Carla Faria +3 more
wiley +1 more source
A Provably Correct Compilation of Functional Languages into Scripting Languages [PDF]
Scientific Annals of Computer Science, 2017 In this paper we consider the problem of translating core F#, a typed functional language including mutable variables and exception handling, into scripting languages such as JavaScript or Python.
P. Giannini, A. Shaqiri
doaj +1 more source
Pruning, Pushdown Exception-Flow Analysis [PDF]
, 2014 Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and points-to analyses.
Keep, Andy +4 more
core +1 more source
ERBIN limits epithelial cell plasticity via suppression of TGF‐β signaling
FEBS Letters, EarlyView.In breast and lung cancer patients, low ERBIN expression correlates with poor clinical outcomes. Here, we show that ERBIN inhibits TGF‐β‐induced epithelial‐to‐mesenchymal transition in NMuMG breast and A549 lung adenocarcinoma cell lines. ERBIN suppresses TGF‐β/SMAD signaling and reduces TGF‐β‐induced ERK phosphorylation.
Chao Li +3 more
wiley +1 more source
Journal of Intelligent Systems, 2019 This paper addresses the problem of Twitter sentiment analysis through a hybrid approach in which SentiWordNet (SWN)-based feature vector acts as input to the classification model Support Vector Machine.
Gupta Itisha, Joshi Nisheeth
doaj +1 more source
An exception-handling framework [PDF]
International Journal of Computer Integrated Manufacturing, 1995 The exception-handling framework described in this paper creates an opportunity to compare different exception-handling approaches in a structured way. This comparison is made, linking taxonomies of different research groups together. Concurrently the framework specifies a general data structure to store knowledge about exception handling, which makes ...
openaire +4 more sources
Implementing atomic actions in Ada 95 [PDF]
, 1997 Atomic actions are an important dynamic structuring technique that aid the construction of fault-tolerant concurrent systems. Although they were developed some years ago, none of the well-known commercially-available programming languages directly ...
Burns, A, Wellings, A
core +1 more source