-
Explainable AI in Handwriting Detection for Dyslexia Using Transfer Learning
Authors:
Mahmoud Robaa,
Mazen Balat,
Rewaa Awaad,
Esraa Omar,
Salah A. Aly
Abstract:
This study introduces an explainable AI (XAI) framework for the detection of dyslexia through handwriting analysis, achieving an impressive test precision of 99.65%. The framework integrates transfer learning and transformer-based models, identifying handwriting features associated with dyslexia while ensuring transparency in decision-making via Grad-CAM visualizations. Its adaptability to differe…
▽ More
This study introduces an explainable AI (XAI) framework for the detection of dyslexia through handwriting analysis, achieving an impressive test precision of 99.65%. The framework integrates transfer learning and transformer-based models, identifying handwriting features associated with dyslexia while ensuring transparency in decision-making via Grad-CAM visualizations. Its adaptability to different languages and writing systems underscores its potential for global applicability. By surpassing the classification accuracy of state-of-the-art methods, this approach demonstrates the reliability of handwriting analysis as a diagnostic tool. The findings emphasize the framework's ability to support early detection, build stakeholder trust, and enable personalized educational strategies.
△ Less
Submitted 17 December, 2024; v1 submitted 18 October, 2024;
originally announced October 2024.
-
On the norm-continuity for evolution family arising from non-autonomous forms
Authors:
El-Mennaoui Omar,
Hafida Laasri
Abstract:
We consider evolution equations of the form \begin{equation*}\label{Abstract equation} \dot u(t)+ A(t)u(t)=0,\ \ t\in[0,T],\ \ u(0)=u_0, \end{equation*} where $A(t),\ t\in [0,T],$ are associated with a non-autonomous sesquilinear form $\mathfrak a(t,\cdot,\cdot)$ on a Hilbert space $H$ with constant domain $V\subset H.$ In this note we continue the study of fundamental operator theoretical propert…
▽ More
We consider evolution equations of the form \begin{equation*}\label{Abstract equation} \dot u(t)+ A(t)u(t)=0,\ \ t\in[0,T],\ \ u(0)=u_0, \end{equation*} where $A(t),\ t\in [0,T],$ are associated with a non-autonomous sesquilinear form $\mathfrak a(t,\cdot,\cdot)$ on a Hilbert space $H$ with constant domain $V\subset H.$ In this note we continue the study of fundamental operator theoretical properties of the solutions. We give a sufficient condition for norm-continuity of evolution families on each spaces $V, H$ and on the dual space $V'$ of $V.$ The abstract results are applied to a class of equations governed by time dependent Robin boundary conditions on exterior domains and by Schrödinger operator with time dependent potentials.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
The Unconstrained Ear Recognition Challenge
Authors:
Žiga Emeršič,
Dejan Štepec,
Vitomir Štruc,
Peter Peer,
Anjith George,
Adil Ahmad,
Elshibani Omar,
Terrance E. Boult,
Reza Safdari,
Yuxiang Zhou,
Stefanos Zafeiriou,
Dogucan Yaman,
Fevziye I. Eyiokur,
Hazim K. Ekenel
Abstract:
In this paper we present the results of the Unconstrained Ear Recognition Challenge (UERC), a group benchmarking effort centered around the problem of person recognition from ear images captured in uncontrolled conditions. The goal of the challenge was to assess the performance of existing ear recognition techniques on a challenging large-scale dataset and identify open problems that need to be ad…
▽ More
In this paper we present the results of the Unconstrained Ear Recognition Challenge (UERC), a group benchmarking effort centered around the problem of person recognition from ear images captured in uncontrolled conditions. The goal of the challenge was to assess the performance of existing ear recognition techniques on a challenging large-scale dataset and identify open problems that need to be addressed in the future. Five groups from three continents participated in the challenge and contributed six ear recognition techniques for the evaluation, while multiple baselines were made available for the challenge by the UERC organizers. A comprehensive analysis was conducted with all participating approaches addressing essential research questions pertaining to the sensitivity of the technology to head rotation, flipping, gallery size, large-scale recognition and others. The top performer of the UERC was found to ensure robust performance on a smaller part of the dataset (with 180 subjects) regardless of image characteristics, but still exhibited a significant performance drop when the entire dataset comprising 3,704 subjects was used for testing.
△ Less
Submitted 1 February, 2019; v1 submitted 23 August, 2017;
originally announced August 2017.
-
The microstructural foundations of leverage effect and rough volatility
Authors:
El Euch Omar,
Fukasawa Masaaki,
Rosenbaum Mathieu
Abstract:
We show that typical behaviors of market participants at the high frequency scale generate leverage effect and rough volatility. To do so, we build a simple microscopic model for the price of an asset based on Hawkes processes. We encode in this model some of the main features of market microstructure in the context of high frequency trading: high degree of endogeneity of market, no-arbitrage prop…
▽ More
We show that typical behaviors of market participants at the high frequency scale generate leverage effect and rough volatility. To do so, we build a simple microscopic model for the price of an asset based on Hawkes processes. We encode in this model some of the main features of market microstructure in the context of high frequency trading: high degree of endogeneity of market, no-arbitrage property, buying/selling asymmetry and presence of metaorders. We prove that when the first three of these stylized facts are considered within the framework of our microscopic model, it behaves in the long run as a Heston stochastic volatility model, where leverage effect is generated. Adding the last property enables us to obtain a rough Heston model in the limit, exhibiting both leverage effect and rough volatility. Hence we show that at least part of the foundations of leverage effect and rough volatility can be found in the microstructure of the asset.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
On evolution equations governed by non-autonomous forms
Authors:
EL-Mennaoui Omar,
Laasri Hafida
Abstract:
We consider a linear non-autonomous evolutionary Cauchy problem \begin{equation} \dot{u} (t)+A(t)u(t)=f(t) \hbox{ for }\ \hbox{a.e. t}\in [0,T],\quad u(0)=u_0, \end{equation} where the operator $A(t)$ arises from a time depending sesquilinear form $a(t,.,.)$ on a Hilbert space $H$ with constant domain $V.$ Recently a result on $L^2$-maximal regularity in $H,$ i.e., for each given…
▽ More
We consider a linear non-autonomous evolutionary Cauchy problem \begin{equation} \dot{u} (t)+A(t)u(t)=f(t) \hbox{ for }\ \hbox{a.e. t}\in [0,T],\quad u(0)=u_0, \end{equation} where the operator $A(t)$ arises from a time depending sesquilinear form $a(t,.,.)$ on a Hilbert space $H$ with constant domain $V.$ Recently a result on $L^2$-maximal regularity in $H,$ i.e., for each given $f\in L^2(0,T,H)$ and $u_0 \in V$ the problem above has a unique solution $u\in L^2(0,T,V)\cap H^1(0,T,H),$ is proved in [10] under the assumption that $a$ is symmetric and of bounded variation. The aim of this paper is to prove that the solutions of an approximate non-autonomous Cauchy problem in which $a$ is symmetric and piecewise affine are closed to the solutions of that governed by symmetric and of bounded variation form. In particular, this provide an alternative proof of the result in [10] on $L^2$-maximal regularity in $H.$
△ Less
Submitted 2 March, 2016;
originally announced March 2016.
-
A Rewriting View of Simple Typing
Authors:
Aaron Stump,
Garrin Kimmell,
Hans Zantema,
Ruba El Haj Omar
Abstract:
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoretic results can be proved in a completely new way, using the rewriting view of simple typing. These meta-theoretic results include standard type prese…
▽ More
This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoretic results can be proved in a completely new way, using the rewriting view of simple typing. These meta-theoretic results include standard type preservation and progress properties for simply typed lambda calculus, as well as generalized versions where typing is taken to include both abstract and concrete reduction. We show how automated analysis tools developed in the term-rewriting community can be used to help automate the proofs for this meta-theory. Finally, we show how to adapt a standard proof of normalization of simply typed lambda calculus, for the rewriting approach to typing.
△ Less
Submitted 26 February, 2013; v1 submitted 5 November, 2012;
originally announced November 2012.
