A transcriptomic signature of X chromosome overdosage in Saudi Klinefelter syndrome induced pluripotent stem cells.

Autor: Astro V; Biological and Environmental Science and Engineering Division, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia., Fiacco E; Biological and Environmental Science and Engineering Division, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia., Cardona-Londoño KJ; Biological and Environmental Science and Engineering Division, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia., De Toma I; Sequentia Biotech SL, Barcelona, Spain., Alzahrani HS; Department of Genetic Medicine, Faculty of Medicine, King Abdulaziz University, Jeddah, Saudi Arabia., Alama J; Department of Medical Laboratory Sciences, Faculty of Applied Medical Sciences, King Abdulaziz University, Jeddah, Saudi Arabia., Kokandi A; Department of Dermatology, Faculty of Medicine, King Abdulaziz University, Jeddah, Saudi Arabia., Hamoda TAA; Department of Urology, Faculty of Medicine, King Abdulaziz University, Jeddah, Saudi Arabia., Felemban M; Department of Medical Laboratory Sciences, Faculty of Applied Medical Sciences, King Abdulaziz University, Jeddah, Saudi Arabia.; Center of Innovation in Personalized Medicine, King Abdulaziz University, Jeddah, Saudi Arabia., Adamo A; Biological and Environmental Science and Engineering Division, King Abdullah University of Science and Technology, Thuwal, Saudi Arabia.

Publikováno v: Endocrine connections [Endocr Connect] 2023 Apr 26; Vol. 12 (5). Date of Electronic Publication: 2023 Apr 26 (Print Publication: 2023).

Dialogues games for classical logic (short paper)

Autor: Alama, J., Knoks, A., Uckelman, S.L., Giese, M., Kuznets, R.

Publikováno v: Tableaux 2011: Workshops, tutorials and short papers, 82-86
STARTPAGE=82;ENDPAGE=86;TITLE=Tableaux 2011

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::5e5f677bd3781e180710c53059d01d69
https://research.tilburguniversity.edu/en/publications/216875a0-fb82-409b-81c7-2a7d82e05379

A Wiki for Mizar: motivation, considerations, and initial prototype

Autor: Urban, J., Alama, J., Rudnicki, P., Geuvers, J.H., Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P.

Publikováno v: Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings), 455-469
STARTPAGE=455;ENDPAGE=469;TITLE=Intelligent Computer Mathematics (10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings)
Lecture Notes in Computer Science ; 6167, 455-469. Berlin : Springer
STARTPAGE=455;ENDPAGE=469;TITLE=Lecture Notes in Computer Science ; 6167
Autexier, S. (ed.), Intelligent computer mathematics : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010, pp. 455-469
Lecture Notes in Computer Science ISBN: 9783642141270

Formal mathematics has so far not taken full advantage of ideas from collaborative tools such as wikis and distributed version control systems (DVCS). We argue that the field could profit from such tools, serving both newcomers and experts alike. We

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c88ae7889614c5f30670ded5d90d3982
https://research.tue.nl/nl/publications/4c48aea0-fc8d-44f0-98af-5e550a96f896

"Which Proof for Which Class?" Factors Influencing the Selection of Mathematical Proofs for Teaching.

Autor: Sommerhoff, Daniel, Brunner, Esther, Ufer, Stefan

Publikováno v: JMD: Journal für Mathematik-Didaktik; 10/15/2024, Vol. 45 Issue 2, p1-33, 33p

Challenges for Non-Classical Reasoning in Contemporary AI Applications.

Autor: Steen, Alexander, Benzmüller, Christoph

Publikováno v: KI: Künstliche Intelligenz; Aug2024, Vol. 38 Issue 1/2, p7-16, 10p