Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Amira Henaien"'
Autor:
Sorin Stratulat, Amira Henaien
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 97-108 (2013)
Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers allow for la
Externí odkaz:
https://doaj.org/article/fc0cf38977474c49b0604f2107848ee4
Autor:
Farag Sallabi, Khaled Shuaib, Maryam Al Thawadi, Lamia Chaari, Hadda Ben Elhadj, Amira Henaien
Publikováno v:
Future Generation Computer Systems. 118:417-431
Healthcare remote monitoring applications dominate the market of new technologies due to their valuable aid to patients, families, and medical staff. They provide ubiquitous remote health services for patients with chronic diseases or specific condit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d887c3707a5e507cc6ae3017a53b730b
https://doi.org/10.1016/j.future.2021.01.001
https://doi.org/10.1016/j.future.2021.01.001
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030515164
ICOST
ICOST
The average of global life expectancy at birth was 72 years in 2016 [1], however, the global healthy life expectancy at birth was only 63.3 years in the same year, 2016 [2]. Living a long life is not any more as challenging as assuring active and ass
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7b5eda8072e8076baed7874e1e9fb28
https://doi.org/10.1007/978-3-030-51517-1_16
https://doi.org/10.1007/978-3-030-51517-1_16
Autor:
Amira Henaien, Hadda BelHadj
Publikováno v:
Digital Health in Focus of Predictive, Preventive and Personalised Medicine ISBN: 9783030498146
Authentication is one of the challenges designing healthcare applications for Predictive, Preventive and Personalized Medicine (PPPM (PPPM: Predictive, Preventive and Personalized Medicine.)). For user with limited interaction abilities and less memo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b826342cc9def93b2cafbee9d5392d4
https://doi.org/10.1007/978-3-030-49815-3_2
https://doi.org/10.1007/978-3-030-49815-3_2
Autor:
Sorin Stratulat, Amira Henaien
Publikováno v:
SCSS'2012-4th International Symposium on Symbolic Computation in Software Science
SCSS'2012-4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 97-108 (2013)
SCSS'2012-4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 97-108 (2013)
Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers allow for la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb9000e0b57655731559416b87b93790
https://hal.inria.fr/hal-00764909/document
https://hal.inria.fr/hal-00764909/document