نتایج جستجو برای: روش csp
تعداد نتایج: 375540 فیلتر نتایج به سال:
OBJECTIVE This manuscript reviews congenital anomalies and imaging findings associated with non-visualisation of the cavum septi pellucidi (CSP) found on prenatal sonogram. BACKGROUND Observation of a normal cavum septi pellucidi (CSP) is an important landmark in the second and third trimester prenatal ultrasound evaluation of the fetal brain, and its visualisation provides reassurance of nor...
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this technique, we can check that a system under test satisfies properties of traces and refusals of its CSP model. This complements analysis facilities available for CSP and for all languages with a CSP-based semantics: Safety-Critical Java, Simulink, SysML, and so on. Soundness...
Content Security Policy (CSP) defends against Cross Site Scripting (XSS) by restricting execution of JavaScript to a set of trusted sources listed in the CSP header. A high percentage (90%) of sites among the Alexa top 1,000 that deploy CSP use the keyword unsafe-inline, which permits all inline scripts to run—including attacker–injected scripts—making CSP ineffective against XSS attacks. We pr...
Laplacian filters are widely used in neuroscience. In the context of brain–computer interfacing, they might be preferred to data-driven approaches such as common spatial patterns (CSP) in a variety of scenarios such as, e.g., when no or few user data are available or a calibration session with a multi-channel recording is not possible, which is the case in various applications. In this paper we...
We introduce the library CSP-Agda which represents CSP processes in Agda. CSPAgda allows to prove in Agda properties of CSP processes. CSP processes are implemented coinductively (or coalgebraically). They are formed like inductive data types from atomic operations, but infinite loops, i.e. non-wellfounded processes, are allowed.
Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a powerful language to model real time reactive systems. However, there is no verification tool support for proving critical properties over systems modelled using Timed CSP. In this work, we construct a reasoning method using Constraint Logic Programming (CLP) as an underlyin...
CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS’97, vol. 2, Chapman & Hall, 1997, pp. 423–438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviouroriented view using the obj...
BACKGROUND AND STUDY AIMS Cold snare polypectomy (CSP) for small colorectal polyps has lower incidence of adverse events, especially delayed postpolypectomy bleeding (DPPB). However, few data are available on comparisons of the incidence of DPPB of CSP and hot polypectomy (HP). The aim of this study was to evaluate the incidence of DPPB after CSP and compare it with that of HP. A propensity sc...
C. Hoare’s Communicating Sequential Processes (CSP) notation [12] to describe communication patterns of highly parallel systems is based on a well defined semantic and is accompanied by a wealth of research. This allows automatic checks for important properties like deadlock-freedom, livelock-freedom etc.. In order to obtain an executable system for simulation and later synthesis the algebraic ...
In the present paper, integrable semi-discrete and fully discrete analogues of a coupled short pulse (CSP) equation are constructed. The key to the construction are the bilinear forms and determinant structure of the solutions of the CSP equation. We also construct N-soliton solutions for the semi-discrete and fully discrete analogues of the CSP equations in the form of Casorati determinants. I...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید