281. |
- Afifi, K., et al.
(författare)
-
Features of intracranial hemorrhage in cerebral venous thrombosis
- 2020
-
Ingår i: Journal of Neurology. - : Springer Science and Business Media LLC. - 0340-5354 .- 1432-1459. ; 267, s. 3292-3298
-
Tidskriftsartikel (refereegranskat)abstract
- Background Cerebral venous thrombosis (CVT) is associated with intracranial hemorrhage. Aim To identify clinical and imaging features of CVT-associated intracranial hemorrhage. We hypothesized that higher clot burden would be associated with a higher risk of intracranial hemorrhage. Methods We performed a retrospective analysis of an international, multicenter cohort of patients with confirmed cerebral venous thrombosis who underwent computed tomography within 2 weeks of symptom onset. Clinical and imaging features were compared between patients with and without intracranial hemorrhage. Clot burden was assessed by counting the number of thrombosed venous sinuses and veins on confirmatory imaging. Results We enrolled 260 patients from 10 institutions in Europe and Mexico. The mean age was 42 years and 74% were female. Intracranial hemorrhage was found in 102 (39%). Among them parenchymal hemorrhage occurred in 64 (63%), in addition, small juxta-cortical hemorrhage was found in 30 (29%), subarachnoid hemorrhage in 24 (24%) and subdural hemorrhage in 11 (11%). Multiple concomitant types of hemorrhage occurred in 23 (23%). Older age and superior sagittal thrombosis involvement were associated with presence of hemorrhage. The number of thrombosed venous sinuses was not associated with intracranial hemorrhage (median number IQRInterquartile ratio] of sinuses/veins involved with hemorrhage 2 (1-3) vs. 2 (1-3) without hemorrhage,p = 0.4). Conclusion The high rate of intracranial hemorrhage in cerebral venous thrombosis is not explained by widespread involvement of the venous sinuses. Superior sagittal sinus involvement is associated with higher bleeding risk.
|
|
282. |
|
|
283. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
A Cyclic Proof System for Full Computation Tree Logic
- 2023
-
Ingår i: Leibniz International Proceedings in Informatics, LIPIcs Volume 2521, February 2023, EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, 13 February 2023 through 16 February 2023. - Leibniz-Zentrum fur Informatik : Dagstuhl Publishing. - 1868-8969. - 9783959772648
-
Konferensbidrag (refereegranskat)
|
|
284. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
Abstract Cyclic Proofs
- 2024
-
Ingår i: Mathematical Structures in Computer Science. - 0960-1295 .- 1469-8072.
-
Tidskriftsartikel (refereegranskat)
|
|
285. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
Abstract Cyclic Proofs (Extended abstract)
- 2022
-
Ingår i: Lecture Notes in Computer Science, 28th International Workshop on Logic, Language, Information and Computation, Iași, Romania, September 20–23, 2022, Proceedings. - Cham : Springer. - 0302-9743 .- 1611-3349. - 9783031152979
-
Konferensbidrag (refereegranskat)abstract
- Cyclic proof systems permit derivations that are finite graphs in contrast to conventional derivation trees. The soundness of such proofs is ensured by a condition on the paths through the derivation graph, known as the global trace condition. To give a uniform treatment of such cyclic proof systems, Brotherston proposed an abstract notion of trace. We extend Brotherston’s approach into a category theoretical rendition of cyclic derivations, advancing the framework in two ways: First, we introduce activation algebras which allow for a more natural formalisation of trace conditions in extant cyclic proof systems. Second, accounting for the composition of trace information allows us to derive novel results about cyclic proofs, such as introducing the Ramsey trace condition.
|
|
286. |
- Afshari, Bahareh, 1981
(författare)
-
Cyclic Proof Systems for Modal Logics
- 2020
-
Ingår i: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
287. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
Cyclic proofs for the first-order mu-calculus
- 2024
-
Ingår i: Logic Journal of the IGPL. - : Oxford University Press (OUP). - 1367-0751 .- 1368-9894. ; 32:1, s. 1-34
-
Tidskriftsartikel (refereegranskat)abstract
- We introduce a path-based cyclic proof system for first-order mu-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal mu-calculus.
|
|
288. |
|
|
289. |
|
|
290. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic
- 2023
-
Ingår i: Automated Reasoning with Analytic Tableaux and Related Methods, 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / Editors: Revantha Ramanayake, Josef Urban. - Cham : Springer. - 0302-9743 .- 1611-3349. - 9783031435126
-
Konferensbidrag (refereegranskat)
|
|