Zobrazeno 1 - 10
of 230
pro vyhledávání: '"Maieli, A."'
Autor:
Acclavio, Matteo, Maieli, Roberto
Publikováno v:
EPTCS 408, 2024, pp. 42-61
In the logic programming paradigm, a program is defined by a set of methods, each of which can be executed when specific conditions are met during the current state of an execution. The semantics of these programs can be elegantly represented using s
Externí odkaz:
http://arxiv.org/abs/2403.03032
Autor:
Gena, Cristina, Mattutino, Claudio, Maieli, Andrea, Miraglio, Elisabetta, Ricciardiello, Giulia, Damiano, Rossana, Mazzei, Alessandro
This position paper introduces the results of an initial card sorting experiment based on the reactions and questions of a group of children with autism working with a humanoid robot in a therapeutic laboratory on autonomy.
Externí odkaz:
http://arxiv.org/abs/2203.07538
Autor:
Damiano, Rossana, Gena, Cristina, Maieli, Andrea, Mattutino, Claudio, Mazzei, Alessandro, Miraglio, Elisabetta, Ricciardiello, Giulia
This paper describes the use of UX Personas for defining a stable character for the Pepper robot. This approach generated from the first analysis of the social interactions that occurred between Pepper and a group of children with autism working with
Externí odkaz:
http://arxiv.org/abs/2203.04431
Autor:
Maieli Maiara Nied, Patrícia Tavora Bulgarelli, Rafaela Soares Rech, Carolina da Silva Buno, Camila Mello dos Santos, Alexandre Fávero Bulgarelli
Publikováno v:
Cadernos de Saúde Coletiva, Vol 28, Iss 3, Pp 362-372 (2020)
Resumo Introdução Na Atenção Primária à Saúde, o acesso pode ser compreendido como o fato de oportunizar diversas alternativas para adentrar aos serviços de saúde. Objetivo Avaliar o acesso aos serviços de atenção primária à saúde do S
Externí odkaz:
https://doaj.org/article/518d3132bbf24d5cb688cb5e77e2ae3f
Autor:
Maieli, Roberto
Publikováno v:
In Annals of Pure and Applied Logic November 2019 170(11)
Autor:
Maieli, Roberto
In this work we present a computation paradigm based on a concurrent and incremental construction of proof nets (de-sequentialized or graphical proofs) of the pure multiplicative and additive fragment of Linear Logic, a resources conscious refinement
Externí odkaz:
http://arxiv.org/abs/1210.5946
Autor:
Maieli Maiara Nied, Sandra Liana Henz
Publikováno v:
Revista da Faculdade de Odontologia de Porto Alegre, Vol 60, Iss 2, Pp 83-90 (2019)
Introdução: A Stevia rebaudiana é uma planta nativa da América do Sul, da qual é extraída a stevia , um adoçante natural não calórico com potencial adoçante maior do que a sacarose, sem efeitos adversos e que tem demonstrado possuir muitos
Externí odkaz:
https://doaj.org/article/220acaf00a3b46348298ac07cecf229a
Publikováno v:
Revista da Faculdade de Odontologia de Porto Alegre; Vol. 63 No. 2 (2022)
Revista da Faculdade de Odontologia de Porto Alegre; v. 63 n. 2 (2022)
Revista da Faculdade de Odontologia de Porto Alegre; v. 63 n. 2 (2022)
Aim: Stevia rebaudiana Bertoni (Stevia) is a natural non-caloric sweetener that can modify the cariogenicity of biofilms. This study aimed to evaluate the effect of Stevia infusion in microbial and biochemical composition of biofilms formed in the pr
Autor:
Paulo Henrique Guerra, Raquel Martelo, Maieli Naiara da Silva, Giovana Frazon de Andrade, Diego Giulliano Destro Christofaro, Mathias Roberto Loch
Publikováno v:
Revista Paulista de Pediatria, Volume: 41, Article number: e2021342, Published: 07 APR 2023
Objective: To identify and summarize the possible associations between screen time and low back pain in children and adolescents. Data source: Systematic searches were performed in five electronic databases (Lilacs, Scielo, Scopus, PubMed and Web of
Autor:
Maiara Nied, Maieli1, Tavora Bulgarelli, Patrícia2, Soares Rech, Rafaela3, da Silva Buno, Carolina2, Mello dos Santos, Camila2, Fávero Bulgarelli, Alexandre2 alexandre.bulgarelli@ufrgs.br
Publikováno v:
Cadernos Saúde Coletiva. Jul-Sep2020, Vol. 28 Issue 3, p362-372. 11p.