D$$^2$$IA: Stream Analytics on User-Defined Event Intervals

Awad, Ahmed; Tommasini, Riccardo; Kamel, Mahmoud; Valle, Emanuele Della; Sakr, Sherif

doi:10.1007/978-3-030-21290-2_22

Cited by 3 publications

(6 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ischemic stroke causes disruption of the blood supply to the brain either due to thrombus formation or embolism. 3,15,16 Ischemia reduces cell ATP and hypoxia, thus the cell cannot maintain its ionic gradient and depolarization. Cytotoxic edema results from cell water and sodium and calcium ion inflow.…”

Section: Discussionmentioning

confidence: 99%

“…Free radicals, arachidonic acid, and nitric oxide are generated, causing further neuronal damage. 1,3 Several reviews have confirmed that imaging is necessary before treating an acute ischemic stroke. However, the importance of imaging after stroke treatment is less clear.…”

Section: Discussionmentioning

confidence: 99%

“…Both can be life-threatening. [1][2][3] Endothelial cell damage and loss, which exposes the subendothelium and leads to the activation of platelets by the subendothelium, activation of the clotting cascade, suppression of fibrinolysis, and blood stasis, can be examples of thrombogenic causes. Turbulence in the flow of blood can be caused by arterial stenosis, which can then raise the risk of thrombus development, atherosclerosis, and platelet compliance, all of which can contribute to the creation of blood clots that can clog arteries.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Post Ischemic Stroke Imaging and Its Clinical Relevance: A Systematic Review

Amin

2023

JARMHS

View full text Add to dashboard Cite

Stroke is a focal or global functional brain disorder that starts suddenly and lasts longer than 24 hours and is caused by changes in cerebral blood flow. It is not caused by transient cerebral circulatory abnormalities, brain tumors, or secondary strokes as a result of trauma or infection. Strokes can develop in any part of the brain. Ischemia or brain hemorrhage are also potential causes of a stroke that occurs suddenly and leads in neurologic impairments. Strokes are classified into two types: bleeding and non-bleeding. Both are potentially fatal. Several studies have found that imaging is required before treating an acute ischemic stroke. The importance of imaging after stroke treatment, on the other hand, is less obvious. Bleeding, particularly cerebral haemorrhage, is the most feared complication in people who have had acute ischemic stroke treatment. As a result, the AHA/ASA IV-tPA guidelines recommend that a non-contrast computed tomography (NCCT) brain scan be performed at least 24 hours after therapy. Non-contrast CT (NCCT) is still the cheapest, quickest, most generally available, and simplest method for diagnosing intracerebral bleeding after an ischemic stroke. However, MRI with the right sequences may be able to detect the same thing. The NCCT may frequently detect hyperdense regions following treatment for acute ischemic stroke. Magnetic resonance imaging (MRI) is one of the most commonly used imaging methods both before and after stroke treatment due to the wealth of information it gives. Finally, post-ischemic stroke imaging is becoming increasingly essential because it can provide both specific clinical guidance and a better knowledge of the processes that occur after such a severe impact on the brain. It may aid in the prediction of long-term outcomes and, in the future, may assist clinicians in tailoring and optimizing rehabilitation efforts for specific patients.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Post Ischemic Stroke Imaging and Its Clinical Relevance: A Systematic Review

Amin

2023

JARMHS

View full text Add to dashboard Cite

show abstract

“…In the last few decades, runtime verification has gained attention in research and industry. As a result, a variety of specification languages, algorithms and tools have appeared to support different types of case studies, such as the analysis of unmanaged vehicles (Reinbacher et al 2014), mixed signal circuits (Maler and Ničković 2013), or stream processing systems (Espinosa et al 2019;Awad et al 2019). This section briefly describes some related works from different perspectives.…”

Section: Related Workmentioning

confidence: 99%

“…On the one hand, these tools have to deal efficiently with infinite (or very long) streams. Most of them use some operator to define a (fixed or sliding) temporal window in which a property has to be fulfilled (Convent et al 2018;Espinosa et al 2019;Faymonville et al 2019;Awad et al 2019). In eLTL, we could analyze a property ψ in a time window of fixed size with [ p,q] ψ formula, where p and q are events triggered at the beginning and end of each temporal window.…”

Section: Stream Runtime Verificationmentioning

confidence: 99%

STAn: analysis of data traces using an event-driven interval temporal logic

Panizo

Gallardo

2022

Autom Softw Eng

View full text Add to dashboard Cite

The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the interaction of the system (e.g. the smartphone) with its environment at certain time points; that is, we only have access to the data traces produced due to this interaction. This paper presents the tool STAn, which performs runtime verification on data traces that combine timestamped discrete events and sampled real-valued magnitudes. STAn uses the Spin model checker as the underlying execution engine, and analyzes traces against properties described in the so-called event-driven interval temporal logic () by transforming each formula into a network of concurrent automata, written in Promela, that monitors the trace. We present two different transformations for online and offline monitoring, respectively. Then, Spin explores the state space of the automata network and the trace to return a verdict about the corresponding property. We use the proposal to analyze data traces obtained during mobile application testing in different network scenarios.

show abstract

Intraoperative Assessment Using Indocyanine Green Versus Sodium Fluorescein in Aneurysm Clipping: Review of Cases and Literature

Niryana,

Agung Surya Kencana,

Putra

et al. 2024

International Journal of Scientific Advances

View full text Add to dashboard Cite

Introduction: The fundamental challenge of aneurysm clipping is to secure a complete neck occlusion while preserving both parent and their subsequent branch arteries along with the surrounding perforators. Indocyanine Green Video angiography (ICG-VA) and Fluorescein Sodium Angiography (FNa-VA) are microscope-integrated fluorescence that offer a more affordable intraoperative evaluation of the cerebral vasculature. We present our experience in using intraoperative ICG-VA and FNa-VA in aneurysm clipping cases along with the literature review to compare both fluorescence techniques. Case Series: Two patients with subarachnoid arachnoid hemorrhage caused by a ruptured aneurysm were involved, and surgical clipping of the aneurysm was done. Intraoperative assessment of cerebral vasculature was performed using both ICG-VA and FL-VA. Conclusion: Both ICG-VA and FL-VA each have their own advantages and disadvantages and are safe and effective in routine use for intraoperative evaluation in aneurysm clipping surgery.

show abstract

D$$^2$$IA: Stream Analytics on User-Defined Event Intervals

Cited by 3 publications

References 14 publications

Post Ischemic Stroke Imaging and Its Clinical Relevance: A Systematic Review

Post Ischemic Stroke Imaging and Its Clinical Relevance: A Systematic Review

STAn: analysis of data traces using an event-driven interval temporal logic

Intraoperative Assessment Using Indocyanine Green Versus Sodium Fluorescein in Aneurysm Clipping: Review of Cases and Literature

Contact Info

Product

Resources

About