-
addressed involve defining architectures and interfaces that enable interaction between language models and multiple data technologies, ensuring correct coordination, contextualization, and access control
-
that enable interaction between language models and multiple data technologies, ensuring the correct coordination, contextualisation, and control of access to information. Empirical studies will be used
-
validation of artificial intelligence models. Support in the acquisition and management of data collected by the group in a clinical or laboratory setting. Experimental evaluation of algorithms, development
Searches related to model checking
Enter an email to receive alerts for model-checking positions