Results 21 to 30 of about 107 (95)
Information Security and Expert's Knowledge Autoformalization
Procedia Computer Science, 2016 AbstractTo implement the proposed Information Security (IS) Maintenance Concept, the IS experts’ knowledge autoformalization algorithm was created as the problems of IS assessment and protection level prediction are based mainly on the experts’ informal professional knowledge.
Anatoly Malyuk, Natalia G. Miloslavskaya
openaire +1 more source
Canadian Journal of Learning and Technology, 2016 Nous interrogeons les formes d’interactions des apprenants dans un parcours d’autoapprentissage guidé en langues. Le dispositif comprend un centre de ressources en langues, des entretiens et un journal de bord réflexif sur leurs activités dont certaines ...
Marco Cappellini +2 more
doaj +1 more source
Canadian Journal for the Study of Adult Education, 1994 Résumé L'autoformation féministe réfere ici à la démarche féministe, c'est-à-dire la démarche éducative autonome de femmes en vue d'acquérir une compréhension du monde dans une perspective féministe.
openaire +1 more source
A Human-on-the-Loop Optimization Autoformalism Approach for Sustainability
CoRR, 2023 This paper outlines a natural conversational approach to solving personalized energy-related problems using large language models (LLMs). We focus on customizable optimization problems that necessitate repeated solving with slight variations in modeling and are user-specific, hence posing a challenge to devising a one-size-fits-all model.
Ming Jin 0002 +3 more
openaire +3 more sources
Liinc em Revista, 2010 Resumo O presente trabalho irá buscar nas experiências singulares de autoria uma aproximação entre o conceito de autoformação e as narrativas de si que se aventuram nos limites entre a biografia, a autobiografia e o romance – território recentemente ...
Liliane Leroux
doaj +1 more source
An Evaluation Benchmark for Autoformalization in Lean4
CoRRTo appear at ICLR 2024 as part of the Tiny Papers ...
Jasdeep Sidhu +4 more
openaire +3 more sources
Temps d'Educació, 2013 El concepte i la pràctica de l'educació permanent s'ha anat convertint en un dispositiu de contenció i/o dominació en els diferents contextos institucionals en els que es du a terme i caldria recuperar i restituir les seves valències alliberadores o ...
Pep Aparicio Guadas
doaj
Información, Cultura y Sociedad, 2000 El presente artículo examina y propone un modelo tentativo de autoformación en el entrenamiento de usuarios en la Biblioteca del Colegio Nacional de Buenos Aires = This paper examines and purpose a user’s training model as autoformation in the Library of
María Betina Márquez
doaj
MMFormalizer: Multimodal Autoformalization in the Wild
CoRRTechnical ...
Jing Xiong +13 more
openaire +2 more sources
Distances et Médiations des SavoirsThis article presents an analysis of the self-training practices of elementary school teachers confronted with the lockdown. The closure of schools in France forced students and teachers to engage in “emergency remote education” (Bozkurt et al., 2020 ...
Théo Martineaud
doaj +1 more source