Showing 1–50 of 55 results for author: Ammi, M

Dynamical Analysis of a Cocaine-Heroin Epidemiological Model with Spatial Distributions

Authors: Achraf Zinihi, Moulay Rchid Sidi Ammi, Matthias Ehrhardt, Ahmed Bachir

Abstract: This article conducts an in-depth investigation of a new spatio-temporal model for the cocaine-heroin epidemiological model with vital dynamics, incorporating the Laplacian operator. The study rigorously establishes the existence, uniqueness, non-negativity, and boundedness of solutions for the proposed model. In addition, the local stability of both a drug-free equilibrium and a drug-addiction eq… ▽ More This article conducts an in-depth investigation of a new spatio-temporal model for the cocaine-heroin epidemiological model with vital dynamics, incorporating the Laplacian operator. The study rigorously establishes the existence, uniqueness, non-negativity, and boundedness of solutions for the proposed model. In addition, the local stability of both a drug-free equilibrium and a drug-addiction equilibrium are analyzed by studying the corresponding characteristic equations. The research provides conclusive evidence that when the basic reproductive number $\mathcal{R}_0$ exceeds 1, the drug-addiction equilibrium is globally asymptotically stable. Conversely, using comparative arguments, it is shown that if $\mathcal{R}_0$ is less than 1, the drug-free equilibrium is globally asymptotically stable. Furthermore, the article includes a series of numerical simulations to visually convey and support the analytical results. △ Less

Submitted 24 May, 2024; originally announced May 2024.

MSC Class: 92D30; 93D05; 35K40; 65D15

Stability Analysis of a Diffusive SVIR Epidemic Model with Distributed Delay, Imperfect Vaccine and General Incidence Rate

Authors: Achraf Zinihi, Mostafa Tahiri, Moulay Rchid Sidi Ammi

Abstract: In this chapter, we consider a reaction-diffusion SVIR infection model with dis-tributed delay and nonlinear incidence rate. The wellposedness of the proposed model is proved. By means of Lyapunov functionals, we show that the disease-free equilibrium state is globally asymptotically stable when the basic reproduction number is less or equal than one, and that the disease endemic equilibrium is gl… ▽ More In this chapter, we consider a reaction-diffusion SVIR infection model with dis-tributed delay and nonlinear incidence rate. The wellposedness of the proposed model is proved. By means of Lyapunov functionals, we show that the disease-free equilibrium state is globally asymptotically stable when the basic reproduction number is less or equal than one, and that the disease endemic equilibrium is globally asymptotically stable when the basic reproduction number is greater than one. Numerical simulations are provided to illustrate the obtained theoretical results. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Dynamical Behavior of a Stochastic Epidemiological Model: Stationary Distribution and Extinction of a SIRS Model with Stochastic Perturbations

Authors: Achraf Zinihi, Moulay Rchid Sidi Ammi, Matthias Ehrhardt

Abstract: This paper deals with a new epidemiological model of SIRS with stochastic perturbations. The primary objective is to establish the existence of a unique non-negative nonlocal solution. Using the basic reproduction number $\mathscr{R}_0$ derived from the associated deterministic model, we demonstrate the existence of a stationary distribution in the stochastic model. In addition, we study the fluct… ▽ More This paper deals with a new epidemiological model of SIRS with stochastic perturbations. The primary objective is to establish the existence of a unique non-negative nonlocal solution. Using the basic reproduction number $\mathscr{R}_0$ derived from the associated deterministic model, we demonstrate the existence of a stationary distribution in the stochastic model. In addition, we study the fluctuation of the unique solution of the deterministic problem around the disease-free equilibrium under certain conditions. In particular, we reveal scenarios where random effects induce disease extinction, contrary to the persistence predicted by the deterministic model. The theoretical insights are complemented by numerical simulations, which provide further validation of our findings. △ Less

Submitted 14 April, 2024; originally announced April 2024.

MSC Class: 92C60; 91G30; 39A50; 93D05; 33F05

Optimal Control of a Diffusive Epidemiological Model Involving the Caputo-Fabrizio Fractional Time-Derivative

Authors: Achraf Zinihi, Moulay Rchid Sidi Ammi, Matthias Ehrhardt

Abstract: In this work we study a fractional SEIR biological model of a reaction-diffusion, using the non-singular kernel Caputo-Fabrizio fractional derivative in the Caputo sense and employing the Laplacian operator. In our PDE model, the government seeks immunity through the vaccination program, which is considered a control variable. Our study aims to identify the ideal control pair that reduces the numb… ▽ More In this work we study a fractional SEIR biological model of a reaction-diffusion, using the non-singular kernel Caputo-Fabrizio fractional derivative in the Caputo sense and employing the Laplacian operator. In our PDE model, the government seeks immunity through the vaccination program, which is considered a control variable. Our study aims to identify the ideal control pair that reduces the number of infected/infectious people and the associated vaccine and treatment costs over a limited time and space. Moreover, by using the forward-backward algorithm, the approximate results are explained by dynamic graphs to monitor the effectiveness of vaccination. △ Less

Submitted 1 March, 2024; originally announced March 2024.

MSC Class: 92C60; 26A33; 34K08; 33F05; 49J20

Mathematical Modeling and Hyers-Ulam Stability for a Nonlinear Epidemiological Model with $Φ_p$ Operator and Mittag-Leffler Kernel

Authors: Achraf Zinihi, Moulay Rchid Sidi Ammi, Matthias Ehrhardt

Abstract: This paper investigates a novel nonlinear singular fractional SI model with the $Φ_p$ operator and the Mittag-Leffler kernel. The initial investigation includes the existence, uniqueness, boundedness, and non-negativity of the solution. We then establish Hyers-Ulam stability for the proposed model in Banach space. Optimal control analysis is performed to minimize the spread of infection and maximi… ▽ More This paper investigates a novel nonlinear singular fractional SI model with the $Φ_p$ operator and the Mittag-Leffler kernel. The initial investigation includes the existence, uniqueness, boundedness, and non-negativity of the solution. We then establish Hyers-Ulam stability for the proposed model in Banach space. Optimal control analysis is performed to minimize the spread of infection and maximize the population of susceptible individuals. Finally, the theoretical results are supported by numerical simulations. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 22 pages

Existence result of the global attractor for a triply nonlinear thermistor problem

Authors: Moulay Rchid Sidi Ammi, Ibrahim Dahi, Abderrahmane El Hachimi, Delfim F. M. Torres

Abstract: We study the existence and uniqueness of a bounded weak solution for a triply nonlinear thermistor problem in Sobolev spaces. Furthermore, we prove the existence of an absorbing set and, consequently, the universal attractor. We study the existence and uniqueness of a bounded weak solution for a triply nonlinear thermistor problem in Sobolev spaces. Furthermore, we prove the existence of an absorbing set and, consequently, the universal attractor. △ Less

Submitted 8 January, 2023; originally announced January 2023.

Comments: This is a 19 pages preprint of a paper whose final and definite form is published in 'Moroccan J. of Pure and Appl. Anal. (MJPAA)', ISSN: Online 2351-8227 -- Print 2605-6364

MSC Class: 35A01; 35A02; 46E35

Journal ref: Moroccan J. of Pure and Appl. Anal. 9 (2023), no. 1, 27--47

Blockchain for the Cybersecurity of Smart City Applications

Authors: Omar Cheikhrouhou, Ichrak Amdouni, Khaleel Mershad, Maryem Ammi, Tuan Nguyen Gia

Abstract: Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city applications. This paper provides a comprehensive review of the existing blockchain-based solutions for the cybersecurity of the main smart city applications, namely… ▽ More Cybersecurity is an inherent characteristic that should be addressed before the large deployment of smart city applications. Recently, Blockchain appears as a promising technology to provide several cybersecurity aspects of smart city applications. This paper provides a comprehensive review of the existing blockchain-based solutions for the cybersecurity of the main smart city applications, namely smart healthcare, smart transportation, smart agriculture, supply chain management, smart grid, and smart homes. We describe the existing solutions and we discuss their merits and limits. Moreover, we define the security requirements of each smart city application and we give a map** of the studied solutions to these defined requirements. Additionally, future directions are given. We believe that the present survey is a good starting point for every researcher in the fields of cybersecurity, blockchain, and smart cities. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Comments: 65 pages, 6 figures, 37 tables

Global Stability of a Diffusive SEIR Epidemic Model with Distributed Delay

Authors: Abdesslem Lamrani Alaoui, Moulay Rchid Sidi Ammi, Mouhcine Tilioua, Delfim F. M. Torres

Abstract: We study the global dynamics of a reaction-diffusion SEIR infection model with distributed delay and nonlinear incidence rate. The well-posedness of the proposed model is proved. By means of Lyapunov functionals, we show that the disease free equilibrium state is globally asymptotically stable when the basic reproduction number is less or equal than one, and that the disease endemic equilibrium is… ▽ More We study the global dynamics of a reaction-diffusion SEIR infection model with distributed delay and nonlinear incidence rate. The well-posedness of the proposed model is proved. By means of Lyapunov functionals, we show that the disease free equilibrium state is globally asymptotically stable when the basic reproduction number is less or equal than one, and that the disease endemic equilibrium is globally asymptotically stable when the basic reproduction number is greater than one. Numerical simulations are provided to illustrate the obtained theoretical results. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: This is a preprint whose final form is published by Elsevier in the book 'Mathematical Analysis of Infectious Diseases', 1st Edition - June 1, 2022. ISBN: 9780323905046

MSC Class: 34K20; 92D30

Hybrid Method for Simulation of a Fractional COVID-19 Model with Real Case Application

Authors: Anwarud Din, Amir Khan, Anwar Zeb, Moulay Rchid Sidi Ammi, Mouhcine Tilioua, Delfim F. M. Torres

Abstract: In this research, we provide a mathematical analysis for the novel coronavirus responsible for COVID-19, which continues to be a big source of threat for humanity. Our fractional-order analysis is carried out using a non-singular kernel type operator known as the Atangana--Baleanu--Caputo (ABC) derivative. We parametrize the model adopting available information of the disease from Pakistan in the… ▽ More In this research, we provide a mathematical analysis for the novel coronavirus responsible for COVID-19, which continues to be a big source of threat for humanity. Our fractional-order analysis is carried out using a non-singular kernel type operator known as the Atangana--Baleanu--Caputo (ABC) derivative. We parametrize the model adopting available information of the disease from Pakistan in the period 9th April to 2nd June 2020. We obtain the required solution with the help of a hybrid method, which is a combination of the decomposition method and the Laplace transform. Furthermore, a sensitivity analysis is carried out to evaluate the parameters that are more sensitive to the basic reproduction number of the model. Our results are compared with the real data of Pakistan and numerical plots are presented at various fractional orders. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: Final form is published Open Access in 'Axioms' [https://doi.org/10.3390/axioms10040290]. Submitted 1-Aug-2021; Revised 27-Aug and 22-Sept-2021; Accepted 28-Oct-2021; Published 1-Nov-2021. Citation: A. Din, A. Khan, A. Zeb, M.R. Sidi Ammi, M. Tilioua and D.F.M. Torres, Hybrid method for simulation of a fractional COVID-19 model with real case application, Axioms 10 (2021), no. 4, Art. 290, 17pp

MSC Class: 34C60; 26A33; 92D30

Journal ref: Axioms 10 (2021), no. 4, Art. 290, 17 pp

Local existence and uniqueness for a fractional SIRS model with Mittag-Leffler law

Authors: Moulay Rchid Sidi Ammi, Mostafa Tahiri, Delfim F. M. Torres

Abstract: In this paper, we study an epidemic model with Atangana-Baleanu-Caputo (ABC) fractional derivatives. We obtain a special solution using an iterative scheme via Laplace transformation. Uniqueness and existence of solution using the Banach fixed point theorem are studied. A detailed analysis of the stability of the special solution is presented. Finally, our generalized model in the ABC derivative s… ▽ More In this paper, we study an epidemic model with Atangana-Baleanu-Caputo (ABC) fractional derivatives. We obtain a special solution using an iterative scheme via Laplace transformation. Uniqueness and existence of solution using the Banach fixed point theorem are studied. A detailed analysis of the stability of the special solution is presented. Finally, our generalized model in the ABC derivative sense is solved numerically by the Adams-Bashforth-Moulton method. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: This is a preprint of a Research Article published at [https://doi.org/10.31559/glm2021.10.2.7]. Cite this paper as: M. R. Sidi Ammi, M. Tahiri and D. F. M. Torres, Local existence and uniqueness for a fractional SIRS model with Mittag-Leffler law, Gen. Lett. Math. 10 (2021), no. 2, 61--71

MSC Class: 34A08; 47H10; 26A33; 34K28

Journal ref: Gen. Lett. Math. 10 (2021), no. 2, 61--71

Necessary optimality conditions of a reaction-diffusion SIR model with ABC fractional derivatives

Authors: Moulay Rchid Sidi Ammi, Mostafa Tahiri, Delfim F. M. Torres

Abstract: The main aim of the present work is to study and analyze a reaction-diffusion fractional version of the SIR epidemic mathematical model by means of the non-local and non-singular ABC fractional derivative operator with complete memory effects. Existence and uniqueness of solution for the proposed fractional model is proved. Existence of an optimal control is also established. Then, necessary optim… ▽ More The main aim of the present work is to study and analyze a reaction-diffusion fractional version of the SIR epidemic mathematical model by means of the non-local and non-singular ABC fractional derivative operator with complete memory effects. Existence and uniqueness of solution for the proposed fractional model is proved. Existence of an optimal control is also established. Then, necessary optimality conditions are derived. As a consequence, a characterization of the optimal control is given. Lastly, numerical results are given with the aim to show the effectiveness of the proposed control strategy, which provides significant results using the AB fractional derivative operator in the Caputo sense, comparing it with the classical integer one. The results show the importance of choosing very well the fractional characterization of the order of the operators. △ Less

Submitted 28 June, 2021; originally announced June 2021.

Comments: This is a preprint of a paper whose final and definite form is with 'Discrete and Continuous Dynamical Systems -- Series S' (DCDS-S), ISSN 1937-1632 (print), ISSN 1937-1179 (online), available at [http://aimsciences.org/journal/1937-1632]

MSC Class: 34A08; 49K20; 35K57; 47H10

Journal ref: Discrete Contin. Dyn. Syst. Ser. S 15 (2022), no. 3, 621--637

Integration of Clinical Criteria into the Training of Deep Models: Application to Glucose Prediction for Diabetic People

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: Standard objective functions used during the training of neural-network-based predictive models do not consider clinical criteria, leading to models that are not necessarily clinically acceptable. In this study, we look at this problem from the perspective of the forecasting of future glucose values for diabetic people. In this study, we propose the coherent mean squared glycemic error (gcMSE) los… ▽ More Standard objective functions used during the training of neural-network-based predictive models do not consider clinical criteria, leading to models that are not necessarily clinically acceptable. In this study, we look at this problem from the perspective of the forecasting of future glucose values for diabetic people. In this study, we propose the coherent mean squared glycemic error (gcMSE) loss function. It penalizes the model during its training not only of the prediction errors, but also on the predicted variation errors which is important in glucose prediction. Moreover, it makes possible to adjust the weighting of the different areas in the error space to better focus on dangerous regions. In order to use the loss function in practice, we propose an algorithm that progressively improves the clinical acceptability of the model, so that we can achieve the best tradeoff possible between accuracy and given clinical criteria. We evaluate the approaches using two diabetes datasets, one having type-1 patients and the other type-2 patients. The results show that using the gcMSE loss function, instead of a standard MSE loss function, improves the clinical acceptability of the models. In particular, the improvements are significant in the hypoglycemia region. We also show that this increased clinical acceptability comes at the cost of a decrease in the average accuracy of the model. Finally, we show that this tradeoff between accuracy and clinical acceptability can be successfully addressed with the proposed algorithm. For given clinical criteria, the algorithm can find the optimal solution that maximizes the accuracy while at the same meeting the criteria. △ Less

Submitted 23 September, 2020; v1 submitted 21 September, 2020; originally announced September 2020.

Interpreting Deep Glucose Predictive Models for Diabetic People Using RETAIN

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: Progress in the biomedical field through the use of deep learning is hindered by the lack of interpretability of the models. In this paper, we study the RETAIN architecture for the forecasting of future glucose values for diabetic people. Thanks to its two-level attention mechanism, the RETAIN model is interpretable while remaining as efficient as standard neural networks. We evaluate the model on… ▽ More Progress in the biomedical field through the use of deep learning is hindered by the lack of interpretability of the models. In this paper, we study the RETAIN architecture for the forecasting of future glucose values for diabetic people. Thanks to its two-level attention mechanism, the RETAIN model is interpretable while remaining as efficient as standard neural networks. We evaluate the model on a real-world type-2 diabetic population and we compare it to a random forest model and a LSTM-based recurrent neural network. Our results show that the RETAIN model outperforms the former and equals the latter on common accuracy metrics and clinical acceptability metrics, thereby proving its legitimacy in the context of glucose level forecasting. Furthermore, we propose tools to take advantage of the RETAIN interpretable nature. As informative for the patients as for the practitioners, it can enhance the understanding of the predictions made by the model and improve the design of future glucose predictive models. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Model Fusion to Enhance the Clinical Acceptability of Long-Term Glucose Predictions

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: This paper presents the Derivatives Combination Predictor (DCP), a novel model fusion algorithm for making long-term glucose predictions for diabetic people. First, using the history of glucose predictions made by several models, the future glucose variation at a given horizon is predicted. Then, by accumulating the past predicted variations starting from a known glucose value, the fused glucose p… ▽ More This paper presents the Derivatives Combination Predictor (DCP), a novel model fusion algorithm for making long-term glucose predictions for diabetic people. First, using the history of glucose predictions made by several models, the future glucose variation at a given horizon is predicted. Then, by accumulating the past predicted variations starting from a known glucose value, the fused glucose prediction is computed. A new loss function is introduced to make the DCP model learn to react faster to changes in glucose variations. The algorithm has been tested on 10 \textit{in-silico} type-1 diabetic children from the T1DMS software. Three initial predictors have been used: a Gaussian process regressor, a feed-forward neural network and an extreme learning machine model. The DCP and two other fusion algorithms have been evaluated at a prediction horizon of 120 minutes with the root-mean-squared error of the prediction, the root-mean-squared error of the predicted variation, and the continuous glucose-error grid analysis. By making a successful trade-off between prediction accuracy and predicted-variation accuracy, the DCP, alongside with its specifically designed loss function, improves the clinical acceptability of the predictions, and therefore the safety of the model for diabetic people. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Journal ref: BIBE 2019: 19th International Conference on Bioinformatics and Bioengineering

Study of Short-Term Personalized Glucose Predictive Models on Type-1 Diabetic Children

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: Research in diabetes, especially when it comes to building data-driven models to forecast future glucose values, is hindered by the sensitive nature of the data. Because researchers do not share the same data between studies, progress is hard to assess. This paper aims at comparing the most promising algorithms in the field, namely Feedforward Neural Networks (FFNN), Long Short-Term Memory (LSTM)… ▽ More Research in diabetes, especially when it comes to building data-driven models to forecast future glucose values, is hindered by the sensitive nature of the data. Because researchers do not share the same data between studies, progress is hard to assess. This paper aims at comparing the most promising algorithms in the field, namely Feedforward Neural Networks (FFNN), Long Short-Term Memory (LSTM) Recurrent Neural Networks, Extreme Learning Machines (ELM), Support Vector Regression (SVR) and Gaussian Processes (GP). They are personalized and trained on a population of 10 virtual children from the Type 1 Diabetes Metabolic Simulator software to predict future glucose values at a prediction horizon of 30 minutes. The performances of the models are evaluated using the Root Mean Squared Error (RMSE) and the Continuous Glucose-Error Grid Analysis (CG-EGA). While most of the models end up having low RMSE, the GP model with a Dot-Product kernel (GP-DP), a novel usage in the context of glucose prediction, has the lowest. Despite having good RMSE values, we show that the models do not necessarily exhibit a good clinical acceptability, measured by the CG-EGA. Only the LSTM, SVR and GP-DP models have overall acceptable results, each of them performing best in one of the glycemia regions. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Journal ref: 2019 International Joint Conference on Neural Networks (IJCNN)

Enhancing the Interpretability of Deep Models in Heathcare Through Attention: Application to Glucose Forecasting for Diabetic People

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: The adoption of deep learning in healthcare is hindered by their "black box" nature. In this paper, we explore the RETAIN architecture for the task of glusose forecasting for diabetic people. By using a two-level attention mechanism, the recurrent-neural-network-based RETAIN model is interpretable. We evaluate the RETAIN model on the type-2 IDIAB and the type-1 OhioT1DM datasets by comparing its s… ▽ More The adoption of deep learning in healthcare is hindered by their "black box" nature. In this paper, we explore the RETAIN architecture for the task of glusose forecasting for diabetic people. By using a two-level attention mechanism, the recurrent-neural-network-based RETAIN model is interpretable. We evaluate the RETAIN model on the type-2 IDIAB and the type-1 OhioT1DM datasets by comparing its statistical and clinical performances against two deep models and three models based on decision trees. We show that the RETAIN model offers a very good compromise between accuracy and interpretability, being almost as accurate as the LSTM and FCN models while remaining interpretable. We show the usefulness of its interpretable nature by analyzing the contribution of each variable to the final prediction. It revealed that signal values older than one hour are not used by the RETAIN model for the 30-minutes ahead of time prediction of glucose. Also, we show how the RETAIN model changes its behavior upon the arrival of an event such as carbohydrate intakes or insulin infusions. In particular, it showed that the patient's state before the event is particularily important for the prediction. Overall the RETAIN model, thanks to its interpretability, seems to be a very promissing model for regression or classification tasks in healthcare. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Prediction-Coherent LSTM-based Recurrent Neural Network for Safer Glucose Predictions in Diabetic People

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: In the context of time-series forecasting, we propose a LSTM-based recurrent neural network architecture and loss function that enhance the stability of the predictions. In particular, the loss function penalizes the model, not only on the prediction error (mean-squared error), but also on the predicted variation error. We apply this idea to the prediction of future glucose values in diabetes, w… ▽ More In the context of time-series forecasting, we propose a LSTM-based recurrent neural network architecture and loss function that enhance the stability of the predictions. In particular, the loss function penalizes the model, not only on the prediction error (mean-squared error), but also on the predicted variation error. We apply this idea to the prediction of future glucose values in diabetes, which is a delicate task as unstable predictions can leave the patient in doubt and make him/her take the wrong action, threatening his/her life. The study is conducted on type 1 and type 2 diabetic people, with a focus on predictions made 30-minutes ahead of time. First, we confirm the superiority, in the context of glucose prediction, of the LSTM model by comparing it to other state-of-the-art models (Extreme Learning Machine, Gaussian Process regressor, Support Vector Regressor). Then, we show the importance of making stable predictions by smoothing the predictions made by the models, resulting in an overall improvement of the clinical acceptability of the models at the cost in a slight loss in prediction accuracy. Finally, we show that the proposed approach, outperforms all baseline results. More precisely, it trades a loss of 4.3\% in the prediction accuracy for an improvement of the clinical acceptability of 27.1\%. When compared to the moving average post-processing method, we show that the trade-off is more efficient with our approach. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Journal ref: ICONIP 2019: Neural Information Processing pp 510-521

Energy Expenditure Estimation Through Daily Activity Recognition Using a Smart-phone

Authors: Maxime De Bois, Hamdi Amroun, Mehdi Ammi

Abstract: This paper presents a 3-step system that estimates the real-time energy expenditure of an individual in a non-intrusive way. First, using the user's smart-phone's sensors, we build a Decision Tree model to recognize his physical activity (\textit{running}, \textit{standing}, ...). Then, we use the detected physical activity, the time and the user's speed to infer his daily activity (\textit{watchi… ▽ More This paper presents a 3-step system that estimates the real-time energy expenditure of an individual in a non-intrusive way. First, using the user's smart-phone's sensors, we build a Decision Tree model to recognize his physical activity (\textit{running}, \textit{standing}, ...). Then, we use the detected physical activity, the time and the user's speed to infer his daily activity (\textit{watching TV}, \textit{going to the bathroom}, ...) through the use of a reinforcement learning environment, the Partially Observable Markov Decision Process framework. Once the daily activities are recognized, we translate this information into energy expenditure using the compendium of physical activities. By successfully detecting 8 physical activities at 90\%, we reached an overall accuracy of 80\% in recognizing 17 different daily activities. This result leads us to estimate the energy expenditure of the user with a mean error of 26\% of the expected estimation. △ Less

Submitted 8 September, 2020; originally announced September 2020.

Journal ref: 2018 IEEE 4th World Forum on Internet of Things (WF-IoT)

GLYFE: Review and Benchmark of Personalized Glucose Predictive Models in Type-1 Diabetes

Authors: Maxime De Bois, Mehdi Ammi, Mounîm A. El Yacoubi

Abstract: Due to the sensitive nature of diabetes-related data, preventing them from being shared between studies, progress in the field of glucose prediction is hard to assess. To address this issue, we present GLYFE (GLYcemia Forecasting Evaluation), a benchmark of machine-learning-based glucose-predictive models. To ensure the reproducibility of the results and the usability of the benchmark in the fut… ▽ More Due to the sensitive nature of diabetes-related data, preventing them from being shared between studies, progress in the field of glucose prediction is hard to assess. To address this issue, we present GLYFE (GLYcemia Forecasting Evaluation), a benchmark of machine-learning-based glucose-predictive models. To ensure the reproducibility of the results and the usability of the benchmark in the future, we provide extensive details about the data flow. Two datasets are used, the first comprising 10 in-silico adults from the UVA/Padova Type 1 Diabetes Metabolic Simulator (T1DMS) and the second being made of 6 real type-1 diabetic patients coming from the OhioT1DM dataset. The predictive models are personalized to the patient and evaluated on 3 different prediction horizons (30, 60, and 120 minutes) with metrics assessing their accuracy and clinical acceptability. The results of nine different models coming from the glucose-prediction literature are presented. First, they show that standard autoregressive linear models are outclassed by kernel-based non-linear ones and neural networks. In particular, the support vector regression model stands out, being at the same time one of the most accurate and clinically acceptable model. Finally, the relative performances of the models are the same for both datasets. This shows that, even though data simulated by T1DMS are not fully representative of real-world data, they can be used to assess the forecasting ability of the glucose-predictive models. Those results serve as a basis of comparison for future studies. In a field where data are hard to obtain, and where the comparison of results from different studies is often irrelevant, GLYFE gives the opportunity of gathering researchers around a standardized common environment. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Adversarial Multi-Source Transfer Learning in Healthcare: Application to Glucose Prediction for Diabetic People

Authors: Maxime De Bois, Mounîm A. El Yacoubi, Mehdi Ammi

Abstract: Deep learning has yet to revolutionize general practices in healthcare, despite promising results for some specific tasks. This is partly due to data being in insufficient quantities hurting the training of the models. To address this issue, data from multiple health actors or patients could be combined by capitalizing on their heterogeneity through the use of transfer learning. To improve the q… ▽ More Deep learning has yet to revolutionize general practices in healthcare, despite promising results for some specific tasks. This is partly due to data being in insufficient quantities hurting the training of the models. To address this issue, data from multiple health actors or patients could be combined by capitalizing on their heterogeneity through the use of transfer learning. To improve the quality of the transfer between multiple sources of data, we propose a multi-source adversarial transfer learning framework that enables the learning of a feature representation that is similar across the sources, and thus more general and more easily transferable. We apply this idea to glucose forecasting for diabetic people using a fully convolutional neural network. The evaluation is done by exploring various transfer scenarios with three datasets characterized by their high inter and intra variability. While transferring knowledge is beneficial in general, we show that the statistical and clinical accuracies can be further improved by using of the adversarial training methodology, surpassing the current state-of-the-art results. In particular, it shines when using data from different datasets, or when there is too little data in an intra-dataset situation. To understand the behavior of the models, we analyze the learnt feature representations and propose a new metric in this regard. Contrary to a standard transfer, the adversarial transfer does not discriminate the patients and datasets, hel** the learning of a more general feature representation. The adversarial training framework improves the learning of a general feature representation in a multi-source environment, enhancing the knowledge transfer to an unseen target. The proposed method can help improve the efficiency of data shared by different health actors in the training of deep models. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Global stability of a Caputo fractional SIRS model with general incidence rate

Authors: Moulay Rchid Sidi Ammi, Mostafa Tahiri, Delfim F. M. Torres

Abstract: We introduce a fractional order SIRS model with non-linear incidence rate. Existence of a unique positive solution to the model is proved. Stability analysis of the disease free equilibrium and positive fixed points are investigated. Finally, a numerical example is presented. We introduce a fractional order SIRS model with non-linear incidence rate. Existence of a unique positive solution to the model is proved. Stability analysis of the disease free equilibrium and positive fixed points are investigated. Finally, a numerical example is presented. △ Less

Submitted 6 February, 2020; originally announced February 2020.

Comments: This is a preprint of a paper whose final and definite form is with 'Math. Comput. Sci.', ISSN 1661-8270 (print), ISSN 1661-8289 (electronic), available at [https://www.springer.com/journal/11786]. Submitted 1-Jun-2019; Revised 5-Feb-2020; Accepted 6-Feb-2020

MSC Class: 26A33; 34A08; 92D30

Journal ref: Math. Comput. Sci. 15 (2021), no. 1, 91--105

A Finite Element Approximation for a Class of Caputo Time-Fractional Diffusion Equations

Authors: Moulay Rchid Sidi Ammi, Ismail Jamiai, Delfim F. M. Torres

Abstract: We develop a fully discrete scheme for time-fractional diffusion equations by using a finite difference method in time and a finite element method in space. The fractional derivatives are used in Caputo sense. Stability and error estimates are derived. The accuracy and efficiency of the presented method is shown by conducting two numerical examples. We develop a fully discrete scheme for time-fractional diffusion equations by using a finite difference method in time and a finite element method in space. The fractional derivatives are used in Caputo sense. Stability and error estimates are derived. The accuracy and efficiency of the presented method is shown by conducting two numerical examples. △ Less

Submitted 25 May, 2019; originally announced May 2019.

Comments: This is a preprint of a paper whose final and definite form is with 'Computers and Mathematics with Applications', ISSN 0898-1221. Submitted 10-Oct-2018; revised 18-May-2019; accepted for publication 25-May-2019

MSC Class: 35R11; 65M06

Journal ref: Comput. Math. Appl. 78 (2019), no. 5, 1334--1344

Optimal control of a nonlocal thermistor problem with ABC fractional time derivatives

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We study an optimal control problem associated to a fractional nonlocal thermistor problem involving the ABC (Atangana-Baleanu-Caputo) fractional time derivative. We first prove the existence and uniqueness of solution. Then, we show that an optimal control exists. Moreover, we obtain the optimality system that characterizes the control. We study an optimal control problem associated to a fractional nonlocal thermistor problem involving the ABC (Atangana-Baleanu-Caputo) fractional time derivative. We first prove the existence and uniqueness of solution. Then, we show that an optimal control exists. Moreover, we obtain the optimality system that characterizes the control. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: This is a preprint of a paper whose final and definite form is with 'Computers and Mathematics with Applications', ISSN 0898-1221. Submitted 8-Sept-2018; revised 16-March-2019; accepted for publication 19-March-2019

MSC Class: 26A33; 35A01; 35R11; 49J20

Journal ref: Comput. Math. Appl. 78 (2019), no. 5, 1507--1516

Existence of solution to a nonlocal conformable fractional thermistor problem

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We study a nonlocal thermistor problem for fractional derivatives in the conformable sense. Classical Schauder's fixed point theorem is used to derive the existence of a tube solution. We study a nonlocal thermistor problem for fractional derivatives in the conformable sense. Classical Schauder's fixed point theorem is used to derive the existence of a tube solution. △ Less

Submitted 13 August, 2018; originally announced August 2018.

Comments: This is a preprint of a paper whose final and definite form is with 'Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat.', ISSN 1303-5991, available at [http://communications.science.ankara.edu.tr]. Submitted June 20, 2018; Revised: July 26 and Aug 08, 2018; Accepted: Aug 13, 2018

MSC Class: 35A01; 26A33

Journal ref: Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 68 (2019), no. 1, 1061--1072

Analysis of fractional integro-differential equations of thermistor type

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We survey methods and results of fractional differential equations in which an unknown function is under the operation of integration and/or differentiation of fractional order. As an illustrative example, we review results on fractional integral and differential equations of thermistor type. Several nonlocal problems are considered: with Riemann-Liouville, Caputo, and time-scale fractional operat… ▽ More We survey methods and results of fractional differential equations in which an unknown function is under the operation of integration and/or differentiation of fractional order. As an illustrative example, we review results on fractional integral and differential equations of thermistor type. Several nonlocal problems are considered: with Riemann-Liouville, Caputo, and time-scale fractional operators. Existence and uniqueness of positive solutions are obtained through suitable fixed-point theorems in proper Banach spaces. Additionally, existence and continuation theorems are given, ensuring global existence. △ Less

Submitted 4 July, 2018; originally announced July 2018.

Comments: This is a preprint of a paper whose final and definite form is in 'Handbook of Fractional Calculus with Applications. Vol 1: Basic Theory', De Gruyter. Submitted 28/March/2018; revised 03/May, 04/May and 04/July/2018; accepted 04/July/2018

MSC Class: 26A33; 26E70; 35A01; 35B09; 45M20; 58J20

Global Existence of Solutions for a Fractional Caputo Nonlocal Thermistor Problem

Authors: Moulay Rchid Sidi Ammi, Ismail Jamiai, Delfim F. M. Torres

Abstract: We begin by proving a local existence result for a fractional Caputo nonlocal thermistor problem. Then, additional existence and continuation theorems are obtained, ensuring global existence of solutions. We begin by proving a local existence result for a fractional Caputo nonlocal thermistor problem. Then, additional existence and continuation theorems are obtained, ensuring global existence of solutions. △ Less

Submitted 31 October, 2017; originally announced November 2017.

Comments: This is a preprint of a paper whose final and definite form is with 'Advances in Difference Equations', ISSN 1687-1847, available at [https://advancesindifferenceequations.springeropen.com]. Submitted 21/July/2017; Revised 21/Oct/2017; Accepted for publication 31/Oct/2017

MSC Class: 26A33; 35A01; 58J20

Journal ref: Adv. Difference Equ. 2017 (2017), no. 363, 14 pp

Existence and uniqueness results for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary time scales

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: Using a fixed point theorem in a proper Banach space, we prove existence and uniqueness results of positive solutions for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers. Using a fixed point theorem in a proper Banach space, we prove existence and uniqueness results of positive solutions for a fractional Riemann-Liouville nonlocal thermistor problem on arbitrary nonempty closed subsets of the real numbers. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: This is a preprint of a paper whose final and definite form is with 'Journal of King Saud University - Science', ISSN 1018-3647. Submitted 16-Dec-2016; revised 18-Feb-2017; accepted for publication 14-March-2017

MSC Class: 26A33; 26E70; 35B09; 45M20

Journal ref: J. King Saud Univ. Sci. 30 (2018), no. 3, 381--385

Preference Between Allocentric and Egocentric 3D Manipulation in a Locally Coupled Configuration

Authors: Paul Issartel, Lonni Besançon, Florimond Guéniat, Tobias Isenberg, Mehdi Ammi

Abstract: We study user preference between allocentric and egocentric 3D manipulation on mobile devices, in a configuration where the motion of the device is applied to an object displayed on the device itself. We first evaluate this preference for translations and for rotations alone, then for full 6-DOF manipulation. We also investigate the role of contextual cues by performing this experiment in differen… ▽ More We study user preference between allocentric and egocentric 3D manipulation on mobile devices, in a configuration where the motion of the device is applied to an object displayed on the device itself. We first evaluate this preference for translations and for rotations alone, then for full 6-DOF manipulation. We also investigate the role of contextual cues by performing this experiment in different 3D scenes. Finally, we look at the specific influence of each manipulation axis. Our results provide guidelines to help interface designers select an appropriate default map** in this locally coupled configuration. △ Less

Submitted 28 September, 2016; originally announced September 2016.

Journal ref: ACM Symposium on Spatial User Interaction, Oct 2016, Tokyo, Japan

Galerkin Spectral Method for the Fractional Nonlocal Thermistor Problem

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We develop and analyse a numerical method for the time-fractional nonlocal thermistor problem. By rigorous proofs, some error estimates in different contexts are derived, showing that the combination of the backward differentiation in time and the Galerkin spectral method in space leads, for an enough smooth solution, to an approximation of exponential convergence in space. We develop and analyse a numerical method for the time-fractional nonlocal thermistor problem. By rigorous proofs, some error estimates in different contexts are derived, showing that the combination of the backward differentiation in time and the Galerkin spectral method in space leads, for an enough smooth solution, to an approximation of exponential convergence in space. △ Less

Submitted 25 May, 2016; originally announced May 2016.

Comments: This is a preprint of a paper whose final and definite form is in 'Computers and Mathematics with Applications', ISSN: 0898-1221. Submitted 14-Dec-2015; Revised 16-May-2016; Accepted 25-May-2016

MSC Class: 34A08; 34A12; 34D20; 65L12

Journal ref: Comput. Math. Appl. 73 (2017), no. 6, 1077--1086

Usability Comparison of Mouse, Touch and Tangible Inputs for 3D Data Manipulation

Authors: Lonni Besançon, Paul Issartel, Mehdi Ammi, Tobias Isenberg

Abstract: We evaluate the performance and usability of mouse-based, touch-based, and tangible interaction for manipulating objects in a 3D virtual environment. This comparison is a step toward a better understanding of the limitations and benefits of these existing interaction techniques, with the ultimate goal of facilitating the integration of different 3D data exploration environments into a single inter… ▽ More We evaluate the performance and usability of mouse-based, touch-based, and tangible interaction for manipulating objects in a 3D virtual environment. This comparison is a step toward a better understanding of the limitations and benefits of these existing interaction techniques, with the ultimate goal of facilitating the integration of different 3D data exploration environments into a single interaction continuum. For this purpose we analyze participants' performance in 3D manipulation using a docking task. We measured completion times, docking precision, as well as subjective criteria such as fatigue, workload, and preference. Our results show that the three input modalities provide similar levels of precision but require different interaction times. We also discuss our qualitative observations as well as people's preferences and put our findings into context of the practical application domain of 3D data analysis environments. △ Less

Submitted 12 April, 2016; v1 submitted 29 March, 2016; originally announced March 2016.

Journal ref: Proceedings of the Annual Conference on Human Factors in Computing Systems 2017

Analysis of Locally Coupled 3D Manipulation Map**s Based on Mobile Device Motion

Authors: Paul Issartel, Florimond Guéniat, Tobias Isenberg, Mehdi Ammi

Abstract: We examine a class of techniques for 3D object manipulation on mobile devices, in which the device's physical motion is applied to 3D objects displayed on the device itself. This "local coupling" between input and display creates specific challenges compared to manipulation techniques designed for monitor-based or immersive virtual environments. Our work focuses specifically on the map** between… ▽ More We examine a class of techniques for 3D object manipulation on mobile devices, in which the device's physical motion is applied to 3D objects displayed on the device itself. This "local coupling" between input and display creates specific challenges compared to manipulation techniques designed for monitor-based or immersive virtual environments. Our work focuses specifically on the map** between device motion and object motion. We review existing manipulation techniques and introduce a formal description of the main map**s under a common notation. Based on this notation, we analyze these map**s and their properties in order to answer crucial usability questions. We first investigate how the 3D objects should move on the screen, since the screen also moves with the mobile device during manipulation. We then investigate the effects of a limited range of manipulation and present a number of solutions to overcome this constraint. This work provides a theoretical framework to better understand the properties of locally-coupled 3D manipulation map**s based on mobile device motion. △ Less

Submitted 2 June, 2017; v1 submitted 24 March, 2016; originally announced March 2016.

Journal ref: Presence: Teleoperators and Virtual Environments, 26(1), 2017

A Tangible Volume for Portable 3D Interaction

Authors: Paul Issartel, Lonni Besançon, Tobias Isenberg, Mehdi Ammi

Abstract: We present a new approach to achieve tangible object manipulation with a single, fully portable and self-contained device. Our solution is based on the concept of a "tangible volume". We turn a tangible object into a handheld fish-tank display. The tangible volume represents a volume of space that can be freely manipulated within a virtual scene. This volume can be positioned onto virtual objects… ▽ More We present a new approach to achieve tangible object manipulation with a single, fully portable and self-contained device. Our solution is based on the concept of a "tangible volume". We turn a tangible object into a handheld fish-tank display. The tangible volume represents a volume of space that can be freely manipulated within a virtual scene. This volume can be positioned onto virtual objects to directly grasp them, and to manipulate them in 3D space. We investigate this concept through two user studies. The first study evaluates the intuitiveness of using a tangible volume for gras** and manipulating virtual objects. The second study evaluates the effects of the limited field of view on spatial awareness. Finally, we present a generalization of this concept to other forms of interaction through the surface of the volume. △ Less

Submitted 8 March, 2016; originally announced March 2016.

Journal ref: Adjunct Proceedings of the International Symposium on Mixed and Augmented Reality 2016

Perceiving Mass in Mixed Reality through Pseudo-Haptic Rendering of Newton's Third Law

Authors: Paul Issartel, Florimond Guéniat, Sabine Coquillart, Mehdi Ammi

Abstract: In mixed reality, real objects can be used to interact with virtual objects. However, unlike in the real world, real objects do not encounter any opposite reaction force when pushing against virtual objects. The lack of reaction force during manipulation prevents users from perceiving the mass of virtual objects. Although this could be addressed by equip** real objects with force-feedback device… ▽ More In mixed reality, real objects can be used to interact with virtual objects. However, unlike in the real world, real objects do not encounter any opposite reaction force when pushing against virtual objects. The lack of reaction force during manipulation prevents users from perceiving the mass of virtual objects. Although this could be addressed by equip** real objects with force-feedback devices, such a solution remains complex and impractical.In this work, we present a technique to produce an illusion of mass without any active force-feedback mechanism. This is achieved by simulating the effects of this reaction force in a purely visual way. A first study demonstrates that our technique indeed allows users to differentiate light virtual objects from heavy virtual objects. In addition, it shows that the illusion is immediately effective, with no prior training. In a second study, we measure the lowest mass difference (JND) that can be perceived with this technique. The effectiveness and ease of implementation of our solution provides an opportunity to enhance mixed reality interaction at no additional cost. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Noether's Theorem for Control Problems on Time Scales

Authors: Agnieszka B. Malinowska, Moulay Rchid Sidi Ammi

Abstract: We prove a generalization of Noether's theorem for optimal control problems defined on time scales. Particularly, our results can be used for discrete-time, quantum, and continuous-time optimal control problems. The generalization involves a one-parameter family of maps which depend also on the control and a Lagrangian which is invariant up to an addition of an exact delta differential. We apply o… ▽ More We prove a generalization of Noether's theorem for optimal control problems defined on time scales. Particularly, our results can be used for discrete-time, quantum, and continuous-time optimal control problems. The generalization involves a one-parameter family of maps which depend also on the control and a Lagrangian which is invariant up to an addition of an exact delta differential. We apply our results to some concrete optimal control problems on an arbitrary time scale. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: This is a preprint of a paper whose final and definite form is published in International Journal of Difference Equations ISSN 0973-6069, Vol. 9 (2014), no. 1, 87--100

Journal ref: Int. J. Difference Equ. 9 (2014), no. 1, 87--100

Optimal Control for a Steady State Dead Oil Isotherm Problem

Authors: Moulay Rchid Sidi Ammi, Agnieszka B. Malinowska, Delfim F. M. Torres

Abstract: We study the optimal control of a steady-state dead oil isotherm problem. The problem is described by a system of nonlinear partial differential equations resulting from the traditional modelling of oil engineering within the framework of mechanics of a continuous medium. Existence and regularity results of the optimal control are proved, as well as necessary optimality conditions. We study the optimal control of a steady-state dead oil isotherm problem. The problem is described by a system of nonlinear partial differential equations resulting from the traditional modelling of oil engineering within the framework of mechanics of a continuous medium. Existence and regularity results of the optimal control are proved, as well as necessary optimality conditions. △ Less

Submitted 22 April, 2013; originally announced April 2013.

Comments: This is a preprint of a paper whose final and definitive form will appear in Control and Cybernetics. Paper submitted 24-Sept-2012; revised 21-March-2013; accepted for publication 17-April-2013. arXiv admin note: text overlap with arXiv:math/0612376

MSC Class: 35K55; 49K20

Journal ref: Control and Cybernetics 42 (2013), no. 2, 459--470

Existence of Three Positive Solutions to Some $p$-Laplacian Boundary Value Problems

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We obtain, by using the Leggett-Williams fixed point theorem, sufficient conditions that ensure the existence of at least three positive solutions to some $p$-Laplacian boundary value problems on time scales. We obtain, by using the Leggett-Williams fixed point theorem, sufficient conditions that ensure the existence of at least three positive solutions to some $p$-Laplacian boundary value problems on time scales. △ Less

Submitted 19 October, 2012; originally announced October 2012.

Comments: This is a preprint of a paper whose final and definite form will be published in Discrete Dynamics in Nature and Society. Submitted 24-March-2012; revised 05-Aug-2012; accepted 19-Oct-2012

MSC Class: 35B09; 39A10; 93C70

Journal ref: Discrete Dyn. Nat. Soc. 2013 (2013), Art. ID 145050, 12 pp

Existence and Uniqueness of Solution to a Functional Integro-differential Fractional Equation

Authors: Moulay Rchid Sidi Ammi, El Hassan El Kinani, Delfim F. M. Torres

Abstract: We prove, using a fixed point theorem in a Banach algebra, an existence result for a fractional functional differential equation in the Riemann-Liouville sense. Dependence of solutions with respect to initial data and an uniqueness result are also derived. We prove, using a fixed point theorem in a Banach algebra, an existence result for a fractional functional differential equation in the Riemann-Liouville sense. Dependence of solutions with respect to initial data and an uniqueness result are also derived. △ Less

Submitted 18 June, 2012; originally announced June 2012.

Comments: Submitted 27-Jan-2012; accepted 18-Jun-2012; for publication in the Electronic Journal of Differential Equations (http://ejde.math.txstate.edu)

MSC Class: 26A33; 47H10

Journal ref: Electron. J. Differential Equations 2012 (2012), no. 103, 1--9

Optimal Control of Nonlocal Thermistor Equations

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We are concerned with the optimal control problem of the well known nonlocal thermistor problem, i.e., in studying the heat transfer in the resistor device whose electrical conductivity is strongly dependent on the temperature. Existence of an optimal control is proved. The optimality system consisting of the state system coupled with adjoint equations is derived, together with a characterization… ▽ More We are concerned with the optimal control problem of the well known nonlocal thermistor problem, i.e., in studying the heat transfer in the resistor device whose electrical conductivity is strongly dependent on the temperature. Existence of an optimal control is proved. The optimality system consisting of the state system coupled with adjoint equations is derived, together with a characterization of the optimal control. Uniqueness of solution to the optimality system, and therefore the uniqueness of the optimal control, is established. The last part is devoted to numerical simulations. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Comments: Submitted 21-March-2012; revised 11-June-2012; accepted 13-June-2012; for publication in the International Journal of Control

MSC Class: 49K20; 35Q93; 49J20

Journal ref: Internat. J. Control 85 (2012), no. 11, 1789--1801

Existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional-order derivatives

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: In this work we study a generalized nonlocal thermistor problem with fractional-order Riemann-Liouville derivative. Making use of fixed-point theory, we obtain existence and uniqueness of a positive solution. In this work we study a generalized nonlocal thermistor problem with fractional-order Riemann-Liouville derivative. Making use of fixed-point theory, we obtain existence and uniqueness of a positive solution. △ Less

Submitted 21 October, 2011; originally announced October 2011.

Comments: Submitted 17-Jul-2011; revised 09-Oct-2011; accepted 21-Oct-2011; for publication in the journal 'Differential Equations & Applications' (http://dea.ele-math.com)

MSC Class: 26A33; 35B09; 45M20

Journal ref: Differ. Equ. Appl. 4 (2012), no. 2, 267--276

Composition Functionals in Fractional Calculus of Variations

Authors: Agnieszka B. Malinowska, Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We prove Euler-Lagrange and natural boundary necessary optimality conditions for fractional problems of the calculus of variations which are given by a composition of functionals. Our approach uses the recent notions of Riemann-Liouville fractional derivatives and integrals in the sense of Jumarie. As an application, we get optimality conditions for the product and the quotient of fractional varia… ▽ More We prove Euler-Lagrange and natural boundary necessary optimality conditions for fractional problems of the calculus of variations which are given by a composition of functionals. Our approach uses the recent notions of Riemann-Liouville fractional derivatives and integrals in the sense of Jumarie. As an application, we get optimality conditions for the product and the quotient of fractional variational functionals. △ Less

Submitted 16 September, 2010; v1 submitted 14 September, 2010; originally announced September 2010.

Comments: This is a preprint of a paper whose final form has appeared in Commun. Frac. Calc. 1 (2010) 32-40

MSC Class: 26A33; 49K05

Journal ref: Commun. Frac. Calc. 1 (2010) 32-40

Holder's and Hardy's Two Dimensional Diamond-alpha Inequalities on Time Scales

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We prove a two dimensional Holder and reverse-Holder inequality on time scales via the diamond-alpha integral. Other integral inequalities are established as well, which have as corollaries some recent proved Hardy-type inequalities on time scales. We prove a two dimensional Holder and reverse-Holder inequality on time scales via the diamond-alpha integral. Other integral inequalities are established as well, which have as corollaries some recent proved Hardy-type inequalities on time scales. △ Less

Submitted 21 October, 2009; originally announced October 2009.

Comments: Accepted for publication (October 21, 2009) in the journal "Annals of the University of Craiova, Mathematics and Computer Science Series" (http://inf.ucv.ro/~ami)

MSC Class: 26D15; 39A13

Journal ref: An. Univ. Craiova Ser. Mat. Inform. 37 (2010), no. 1, 1-11

Diamond-alpha Integral Inequalities on Time Scales

Authors: Rui A. C. Ferreira, Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: The theory of the calculus of variations was recently extended to the more general time scales setting, both for delta and nabla integrals. The primary purpose of this paper is to further extend the theory on time scales, by establishing some basic diamond-alpha dynamic integral inequalities. We prove generalized versions of Hölder, Cauchy-Schwarz, Minkowski, and Jensen's inequalities. For the p… ▽ More The theory of the calculus of variations was recently extended to the more general time scales setting, both for delta and nabla integrals. The primary purpose of this paper is to further extend the theory on time scales, by establishing some basic diamond-alpha dynamic integral inequalities. We prove generalized versions of Hölder, Cauchy-Schwarz, Minkowski, and Jensen's inequalities. For the particular case when alpha is equal to one or alpha is equal to zero one gets, respectively, correspondent delta and nabla inequalities. If we further restrict ourselves by fixing the time scale to the real or integer numbers, then we obtain the classical inequalities, whose role in optimal control is well known. By analogy, we trust that the diamond-alpha integral inequalities we prove here will be important in the study of control systems on times scales. △ Less

Submitted 2 May, 2008; originally announced May 2008.

Comments: Accepted to the 8th Portuguese Conference on Automatic Control -- CONTROLO'2008, 21 to 23 July 2008, UTAD University, Vila Real, Portugal

MSC Class: 26D15; 39A12; 49K05

Journal ref: Int. J. Math. Stat. 5 (2009), No. A09, 52--59

Necessary Optimality Condition for a Discrete Dead Oil Isotherm Optimal Control Problem

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We obtain necessary optimality conditions for a semi-discretized optimal control problem for the classical system of nonlinear partial differential equations modelling the water-oil (isothermal dead-oil model). We obtain necessary optimality conditions for a semi-discretized optimal control problem for the classical system of nonlinear partial differential equations modelling the water-oil (isothermal dead-oil model). △ Less

Submitted 28 January, 2008; originally announced January 2008.

Comments: Proc. Workshop on Mathematical Control Theory and Finance, Lisbon, 10-14 April 2007, pp. 501--507

MSC Class: 49K20; 35K55

Journal ref: Mathematical Control Theory and Finance, Springer, 2008, pp. 387--395

Combined dynamic Gruss inequalities on time scales

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We prove a more general version of the Gruss inequality by using the recent theory of combined dynamic derivatives on time scales and the more general notions of diamond-alpha derivative and integral. For the particular case when alpha = 1, one gets a delta-integral Gruss inequality on time scales; for alpha = 0 a nabla-integral Gruss inequality. If we further restrict ourselves by fixing the ti… ▽ More We prove a more general version of the Gruss inequality by using the recent theory of combined dynamic derivatives on time scales and the more general notions of diamond-alpha derivative and integral. For the particular case when alpha = 1, one gets a delta-integral Gruss inequality on time scales; for alpha = 0 a nabla-integral Gruss inequality. If we further restrict ourselves by fixing the time scale to the real (or integer) numbers, then the standard continuous (discrete) inequalities are obtained. △ Less

Submitted 11 January, 2008; originally announced January 2008.

Comments: 9 pages

MSC Class: 26D15; 39A13

Journal ref: Journal of Mathematical Sciences, Vol. 161, No. 6, 2009, 792--802

Diamond-$α$ Jensen's Inequality on Time Scales

Authors: Moulay Rchid Sidi Ammi, Rui A. C. Ferreira, Delfim F. M. Torres

Abstract: The theory and applications of dynamic derivatives on time scales has recently received considerable attention. The primary purpose of this paper is to give basic properties of diamond-$α$ derivatives which are a linear combination of delta and nabla dynamic derivatives on time scales. We prove a generalized version of Jensen's inequality on time scales via the diamond-$α$ integral and present s… ▽ More The theory and applications of dynamic derivatives on time scales has recently received considerable attention. The primary purpose of this paper is to give basic properties of diamond-$α$ derivatives which are a linear combination of delta and nabla dynamic derivatives on time scales. We prove a generalized version of Jensen's inequality on time scales via the diamond-$α$ integral and present some corollaries, including Hölder's and Minkowski's diamond-$α$ integral inequalities. △ Less

Submitted 9 April, 2008; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: This is a preprint of an article whose final and definitive form will appear in the \emph{Journal of Inequalities and Applications}, http://www.hindawi.com/journals/jia/. Accepted 07/April/2008

MSC Class: 26D15; 39A13

Journal ref: Journal of Inequalities and Applications, vol. 2008, Article ID 576876, 13 pages, 2008

Numerical approximation of the thermistor problem

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We use a finite element approach based on Galerkin method to obtain approximate steady state solutions of the thermistor problem with temperature dependent electrical conductivity. We use a finite element approach based on Galerkin method to obtain approximate steady state solutions of the thermistor problem with temperature dependent electrical conductivity. △ Less

Submitted 5 November, 2007; originally announced November 2007.

Comments: Research Report CM07/I-16. The original publication is available at http://www.isder.ceser.res.in/ijms.html, Int. J. Math. Stat., Vol. 2, Nr. S08, 2008, pp. 106-114

Report number: CM07/I-16 MSC Class: 35K40; 74S05

Journal ref: Int. J. Math. Stat., Vol. 2, Nr. S08, 2008, pp. 106--114

Existence of Positive Solutions for Non Local p-Laplacian Thermistor Problems on Time Scales

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We make use of the Guo-Krasnoselskii fixed point theorem on cones to prove existence of positive solutions to a non local p-Laplacian boundary value problem on time scales arising in many applications. We make use of the Guo-Krasnoselskii fixed point theorem on cones to prove existence of positive solutions to a non local p-Laplacian boundary value problem on time scales arising in many applications. △ Less

Submitted 4 September, 2007; originally announced September 2007.

Comments: Accepted 04/September/2007, Journal of Inequalities in Pure and Applied Mathematics (JIPAM http://jipam.vu.edu.au)

Report number: CM07/I-10 MSC Class: 34B18; 39A10; 93C70

Journal ref: J. Inequal. Pure and Appl. Math., 8(3) (2007), Art. 69, 10 pp.

Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We analyze the spatially semidiscrete piecewise linear finite element method for a nonlocal parabolic equation resulting from thermistor problem. Our approach is based on the properties of the elliptic projection defined by the bilinear form associated with the variational formulation of the finite element method. We assume minimal regularity of the exact solution that yields optimal order error… ▽ More We analyze the spatially semidiscrete piecewise linear finite element method for a nonlocal parabolic equation resulting from thermistor problem. Our approach is based on the properties of the elliptic projection defined by the bilinear form associated with the variational formulation of the finite element method. We assume minimal regularity of the exact solution that yields optimal order error estimate. The full discrete backward Euler method and the Crank-Nicolson-Galerkin scheme are also considered. Finally, a simple algorithm for solving the fully discrete problem is proposed. △ Less

Submitted 2 September, 2007; originally announced September 2007.

Report number: CM06/I-25 MSC Class: 65M60; 65N30; 65N15

Journal ref: Math. Comput. Simul. 77 (2008) 291--300. DOI: 10.1016/j.matcom.2007.08.013

Regularity of solutions to higher-order integrals of the calculus of variations

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral functionals with a Lagrangian having coercive partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded deriva… ▽ More We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral functionals with a Lagrangian having coercive partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded derivatives. △ Less

Submitted 18 July, 2007; originally announced July 2007.

MSC Class: 49N60; 49J30; 49K05

Journal ref: International Journal of Systems Science, Vol. 39, No. 9, pp. 889--895, 2008

Regularity of Solutions to Second-Order Integral Functionals in Variational Calculus

Authors: Moulay Rchid Sidi Ammi, Delfim F. M. Torres

Abstract: We obtain regularity conditions of a new type of problems of the calculus of variations with second-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main result asserts that autonomous integral functionals of the calculus of variations with a Lagrangian having superlinearity partial derivatives with respect to the higher-order derivatives admit only mini… ▽ More We obtain regularity conditions of a new type of problems of the calculus of variations with second-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main result asserts that autonomous integral functionals of the calculus of variations with a Lagrangian having superlinearity partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded derivatives. △ Less

Submitted 16 July, 2007; originally announced July 2007.

Report number: CM06/I-21 MSC Class: 49N60; 49J30; 49K05

Journal ref: Int. J. Appl. Math. Stat.; Vol. 13; No. J08; June 2008; 1--12.