Institute of Informatics of the Slovak Academy of Sciences

A critical analysis of trustworthy AI tools, mark frameworks, and the implementation chasms

Abstract As artificial intelligence (AI) systems increasingly impact society, ensuring their ethical and trustworthy deployment has become a global priority. While a myriad of high-level ethical guidelines have emerged, criticism persists that these frameworks remain abstract and...

Structural Homology and Binding Ability Comparisons of Epitope Pair Candidates for Molecular Mimicry Triggering of Type 1 Diabetes Mellitus

Abstract Background Molecular mimicry is the process by which foreign peptides contain epitopes similar to self-peptides, potentially inducing autoimmune responses. Identifying potential molecular mimics and studying their properties is key to understanding the onset of autoimmun...

Universal Boolean algebras, their ideals, and applications to semantic classes of models

We explore numbered Boolean algebras over classes Ξ of arithmetical and analytical hierarchies. We show the existence and uniqueness (up to computable isomorphism) of universal Boolean Ξ -algebras, determine the classes in which such algebras exist, and classify the universal alg...