Zobrazeno 1 - 10
of 11 875
pro vyhledávání: '"Ali, K"'
Homodyned K-distribution (HK-distribution) parameter estimation in quantitative ultrasound (QUS) has been recently addressed using Bayesian Neural Networks (BNNs). BNNs have been shown to significantly reduce computational time in speckle statistics-
Externí odkaz:
http://arxiv.org/abs/2409.11583
Nominal algebra includes $\alpha$-equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nominal unification is decidable and unitary, however, its extension w
Externí odkaz:
http://arxiv.org/abs/2407.14253
Autor:
Galvani, Thomas, Hamze, Ali K., Caputo, Laura, Kaya, Onurcan, Dubois, Simon, Colombo, Luigi, Nguyen, Viet-Hung, Shin, Yongwoo, Shin, Hyeon-Jin, Charlier, Jean-Christophe, Roche, Stephan
We report a theoretical study of dielectric properties of models of amorphous Boron Nitride, using interatomic potentials generated by machine learning. We first perform first-principles simulations on small (about $100$ atoms in the periodic cell) s
Externí odkaz:
http://arxiv.org/abs/2403.11924
Quantitative ultrasound (QUS) analyzes the ultrasound backscattered data to find the properties of scatterers that correlate with the tissue microstructure. Statistics of the envelope of the backscattered radiofrequency (RF) data can be utilized to e
Externí odkaz:
http://arxiv.org/abs/2401.11006
This paper builds and extends on the authors previous work related to the algorithmic tool, Cylindrical Algebraic Decomposition (CAD), and one of its core applications, Real Quantifier Elimination (QE). These topics are at the heart of symbolic compu
Externí odkaz:
http://arxiv.org/abs/2312.16210
Autor:
Lajili F, Toumia M, Sekma A, Bel Haj Ali K, Sassi S, Zorgati A, Yaakoubi H, Youssef R, Grissa MH, Beltaief K, Mezgar Z, Khrouf M, Chamtouri I, Bouida W, Boubaker H, Msolli MA, Dridi Z, Boukef R, Nouira S
Publikováno v:
International Journal of COPD, Vol Volume 19, Pp 1767-1774 (2024)
Fadwa Lajili,1,2 Marwa Toumia,1,2 Adel Sekma,1,2 Khaoula Bel Haj Ali,1,2 Sarra Sassi,1,2 Asma Zorgati,3 Hajer Yaakoubi,3 Rym Youssef,3 Mohamed Habib Grissa,1,2 Kaouther Beltaief,1,2 Zied Mezgar,4 Mariem Khrouf,4 Ikram Chamtouri,5 Wahid Bouida,1,2 Ham
Externí odkaz:
https://doaj.org/article/a167384e137740b4a1666fac12610658
Publikováno v:
Proceedings of the 7th Workshop on Satisfiability Checking and Symbolic Computation (SC2 '22), A. Uncu and H. Barbosa eds. CEUR Workshop Proceedings 3458, pp. 10-24, 2023
This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold--Kauers, which is well suited for solution by SMT. The problems of this t
Externí odkaz:
http://arxiv.org/abs/2307.16761
Autor:
Eremeev, S. V., Glazkova, D., Poelchen, G., Kraiker, A., Ali, K., Tarasov, A. V., Schulz, S., Kliemt, K., Chulkov, E. V., Stolyarov, V. S., Ernst, A., Krellner, C., Usachov, D. Yu., Vyalikh, D. V.
Publikováno v:
Nanoscale Adv., 2023,5, 6678-6687
The discovery of a square magnetic-skyrmion lattice in GdRu$_2$Si$_2$, with the smallest so far found skyrmion diameter and without a geometrically frustrated lattice, has attracted significant attention, particularly for potential applications in me
Externí odkaz:
http://arxiv.org/abs/2306.01370
Tracking the displacement between the pre- and post-deformed radio-frequency (RF) frames is a pivotal step of ultrasound elastography, which depicts tissue mechanical properties to identify pathologies. Due to ultrasound's poor ability to capture inf
Externí odkaz:
http://arxiv.org/abs/2305.20059