Source: Proc. International Workshop on Cryptocurrencies and Blockchain Technology (CBT) (2023-09); International Workshop on Cryptocurrencies and Blockchain Technology (CBT), La Haye, Netherlands [NL], 28

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

Graphical Loop Invariant Based Programming

Authors : Brieven, Géraldine; Liénardy, Simon; Malcev, Lev

Subjects: Loop Invariant; Graphical Loop Invariant; Graphical Loop Invariant Based Programming

Source: Proceedings of Formal Methods Teaching Workshop (FMTea) (2023-03-06); Formal Methods Teaching Workshop, 6 mars 2023

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

Trocq: Proof Transfer for Free, With or Without Univalence

Authors : Cohen, Cyril; Crance, Enzo; Mahboubi, Assia ...

Subjects: Parametricity; Representation independence; UnivalenceLuxembourg

Source: Lecture Notes in Computer Science ; ESOP 2024 - 33rd European Symposium on Programming ; https://hal.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

FER-BHARAT: a lightweight deep learning network for efficient unimodal facial emotion recognition in Indian context

Authors : Ruhina Karani; Jay Jani; Sharmishta Desai

Subjects: Human emotion recognition; Affective computing; Convolution neural network

Source: Discover Artificial Intelligence, Vol 4, Iss 1, Pp 1-17 (2024)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

The critical role of HRM in AI-driven digital transformation: a paradigm shift to enable firms to move from AI implementation to human-centric adoption

Authors : Ali Fenwick; Gabor Molnar; Piper Frangos

Subjects: Humanizing AI; HRM; AI leadership

Source: Discover Artificial Intelligence, Vol 4, Iss 1, Pp 1-16 (2024)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Innovative application of artificial intelligence in a multi-dimensional communication research analysis: a critical review

Authors : Muhammad Asif; Zhou Gouqing

Subjects: Artificial intelligence; Communication; Human–computer interaction

Source: Discover Artificial Intelligence, Vol 4, Iss 1, Pp 1-30 (2024)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Evaluating ChatGPT-4 in medical education: an assessment of subject exam performance reveals limitations in clinical curriculum support for students

Authors : Brendan P. Mackey; Razmig Garabet; Laura Maule

Subjects: Artificial intelligence; Machine learning; Medical education

Source: Discover Artificial Intelligence, Vol 4, Iss 1, Pp 1-5 (2024)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Reducing organizational inequalities associated with algorithmic controls

Authors : Yueqi Li; Biyun Xiang

Subjects: Algorithmic control; Organizational inequality; Trustworthy AI

Source: Discover Artificial Intelligence, Vol 4, Iss 1, Pp 1-18 (2024)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي