Results 11 to 20 of about 5,682 (120)
, 2006 National audienceLa logique (singulière) d'utilisation d'un système, contrainte par la logique (généralisante) de conception peut se « révèler » (prendre sens pour l'utilisateur) dans une trace pour peu que l'utilisateur puisse gérer la manière dont ...
Prié, Yannick, Mille, Alain
core +2 more sources
Logique épistémique dynamique avec quantification et systèmes normatifs
, 2023 We live in a world where information is constantly being updated. Logics with dynamic operators are capable of reasoning about multi-agent information change. Dynamic epistemic logic is the logic of knowledge change.
Liu, Mo
core +2 more sources
AkofenaRésumé : Cette étude analyse le processus d’intégration de l’informatique dans l’enseignement primaire et secondaire de la province éducationnelle Kwilu I. Elle vise à identifier le niveau d’intégration de cette discipline, les obstacles rencontrés ainsi
Alain MBILIMPILI MUMBABA, Arsène KIWOKO TULATA & Florentin BULASONA-SOGA SONI
doaj +1 more source
La politique régionale à l'ère des zones d'innovation: le cas de Technum Québec
Canadian Public Administration, Volume 68, Issue 2, Page 264-284, June 2025.Sommaire Cet article analyse les développements récents de la politique d'innovation régionale liée à l'agenda des zones d'innovation au Québec. À partir d'une étude de cas de la zone d'innovation Technum à Bromont, cet article s'interroge sur la véritable nouveauté de cette politique, sur sa capacité à stimuler et soutenir la mise en réseau des ...
Amélie Gauthier +2 more
wiley +1 more source
Le quartier : Soutien et générateur des interactions sociales pour l'innovation?
Canadian Geographer / Le géographe canadien, Volume 68, Issue 3, Page 353-367, Autumn / automne 2024.Résumé Cet article porte sur la géographie urbaine et les dynamiques de l'innovation à l'échelle du quartier. Il s'agit de s'interroger quant à l'apport des quartiers en soutien à l'innovation et à comprendre, d'une part, dans quelle mesure et comment les entrepreneurs se servent du quartier et des lieux qui s'y trouvent pour obtenir et échanger des ...
Laurie‐Anne St‐Pierre +3 more
wiley +1 more source
Contribuições da analise ergonomica do trabalho no desenvolvimento de um sistema inteligente de apoio a recomposição do transmissão de energia eletrica [PDF]
, 1994 Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro TecnologicoNos postos de trabalho de controle e regulação de sistemas complexos, o potencial de uso de sistemas especialistas de apoio ao homem no desenvolvimento de sua tarefa ...
Jarufe, Manuel Salomon Salazar
core
Resolução de problemas baseados no conhecimento humano: as contribuições da psicologia e da inteligencia artificial a ergonomia cognitiva [PDF]
, 1990 Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico. Programa de Pós-Graduação em Engenharia de ProduçãoO presente trabalho está dedicado à solução de problemas realizados pelo homem.
Hernandez Vergara, Walter
core
Contribuição ao estudo do direito no contexto da logica atual [PDF]
, 1993 Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro de Ciencias JuridicasO presente trabalho relaciona direito e lógica, buscando analisar algumas questões referentes à possibilidade de aplicação de um determinado sistema lógico ao ...
Barbosa, Claudia Maria
core
MODÉLISATION ET LOGIQUE PROPOSITIONNELLE CLASSIQUE
, 2019 My research is in the area of artificial intelligence, with a particular focus on the application of formal logic and similar symbolic formalisms to various problems.
Salhi, Yakoub
core +1 more source
A identificação dos objetos de interfaces homem-computador e de seus atributos ergonomicos [PDF]
, 1994 Tese (doutorado) - Universidade Federal de Santa Catarina, Centro TecnologicoEsta monografia apresenta um modelo de objetos de interação abstratos ergonômicos - OIAe -, componentes lógicos de uma arquitetura para a geração automática de interfaces homem ...
Cybis, Walter de Abreu
core