Results 231 to 240 of about 30,280 (277)
Development of a 3D-bioprinted tumour-on-chip with tunable hydrogel properties for monitoring colorectal cancer cell migration and invasion. [PDF]
García A +4 more
europepmc +1 more source
A wide-detector CT protocol for one-stop cardio-cerebrovascular angiography: a technical feasibility study comparing an integrated protocol with conventional two-scan approach. [PDF]
Yan J +6 more
europepmc +1 more source
Integrated Immunohistochemical and Ultrastructural Characterization of Layer-Specific Capillary Specialization in the Human Vocal Fold. [PDF]
Popa RA +5 more
europepmc +1 more source
Effect of Luting Cement on Marginal and Internal Adaptation of Novel Ceramic-Reinforced Polymer Crowns: A Micro-CT Study. [PDF]
Sriprasert N +4 more
europepmc +1 more source
Data Loss Prevention (DLP) is a well-established security and privacy concept in enterprise environments: Enterprise DLP tools scan outgoing messages and stop unintended information flows. It may catch malicious insiders, but the main use case is avoiding data leaks due to human errors.
Marco Ghiglieri +2 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Efficient DLP-visor: An efficient hypervisor-based DLP
2021 IEEE/ACM 21st International Symposium on Cluster, Cloud and Internet Computing (CCGrid), 2021Many organization consider insider threat for data theft to be one of the most severe threats. An insider may also leak sensitive information without malicious intent (as a result of social engineering) Data leakage prevention (DLP) systems attempt to prevent intentional or accidental disclosure of sensitive information by monitoring the content or the
Kiperberg, Michael +4 more
openaire +1 more source
1999
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics.
Peter F. Patel-Schneider +1 more
openaire +2 more sources
DLP [Patel-Schneider(1998)] and FaCT [Horrocks(1998)] are two recent description logic systems that contain sound and complete reasoners for expressive description logics. Due to the equivalences between expressive description logics and propositional modal logics, both DLP and FaCT can be used as satisfiability checkers for propositional modal logics.
Peter F. Patel-Schneider +1 more
openaire +2 more sources
1998
FaCT: The tests were performed using FaCT version 1.2. FaCT is a description logic classifier whose description language is a superset of K4(m) and whose subsumption reasoning uses a sound and complete tableaux algorithm. FaCT employs a wide range of optimisations, in particular a form of dependency directed backtracking called backjumping which can ...
Ian Horrocks 0001 +1 more
openaire +1 more source
FaCT: The tests were performed using FaCT version 1.2. FaCT is a description logic classifier whose description language is a superset of K4(m) and whose subsumption reasoning uses a sound and complete tableaux algorithm. FaCT employs a wide range of optimisations, in particular a form of dependency directed backtracking called backjumping which can ...
Ian Horrocks 0001 +1 more
openaire +1 more source

