4 Search Results for "Guimarães, Ricardo"

Document
DOI: 10.4230/OASIcs.ICPEC.2023.8
A New Approach to Perform Individual Assessments at Higher Education Using Gamification Systems

Authors: Filipe Portela

Published in: OASIcs, Volume 112, 4th International Computer Programming Education Conference (ICPEC 2023)

Abstract
Assessment is a crucial element of the educational process, but traditional pen-and-paper tests have limitations in promoting active learning and engagement. To address this challenge, the use of online gamification platforms has increased. In this context, this study explores the effectiveness of Kahoot! for assessment exercises (AE) in higher education. These experiments occurred over three years, included five courses with computer science subjects and had 507 participants. Overall, 97.04% of students achieved a grade higher than ten, and only four failed. The results show that Kahoot! can promote engagement, motivation, and learning outcomes, and its use is well-received by students - 78.70% of students enjoyed this approach, and only 8.68% of participants disliked it. The study’s findings provide valuable insights into using Kahoot! as Student Response System for testing in higher education, with implications for developing new and innovative approaches to assessment and evaluation.
Cite as

Filipe Portela. A New Approach to Perform Individual Assessments at Higher Education Using Gamification Systems. In 4th International Computer Programming Education Conference (ICPEC 2023). Open Access Series in Informatics (OASIcs), Volume 112, pp. 8:1-8:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{portela:OASIcs.ICPEC.2023.8,
  author =	{Portela, Filipe},
  title =	{{A New Approach to Perform Individual Assessments at Higher Education Using Gamification Systems}},
  booktitle =	{4th International Computer Programming Education Conference (ICPEC 2023)},
  pages =	{8:1--8:12},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-290-7},
  ISSN =	{2190-6807},
  year =	{2023},
  volume =	{112},
  editor =	{Peixoto de Queir\'{o}s, Ricardo Alexandre and Teixeira Pinto, M\'{a}rio Paulo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2023.8},
  URN =		{urn:nbn:de:0030-drops-185042},
  doi =		{10.4230/OASIcs.ICPEC.2023.8},
  annote =	{Keywords: TechTeach, Information Systems, Gamification, Higher Education Assessment Tools, Kahoot!}
}
Document
Invited Paper
DOI: 10.4230/OASIcs.AIB.2022.2
Reasoning in Knowledge Graphs (Invited Paper)

Authors: Ricardo Guimarães and Ana Ozaki

Published in: OASIcs, Volume 99, International Research School in Artificial Intelligence in Bergen (AIB 2022)

Abstract
Knowledge Graphs (KGs) are becoming increasingly popular in the industry and academia. They can be represented as labelled graphs conveying structured knowledge in a domain of interest, where nodes and edges are enriched with metaknowledge such as time validity, provenance, language, among others. Once the data is structured as a labelled graph one can apply reasoning techniques to extract relevant and insightful information. We provide an overview of deductive and inductive reasoning approaches for reasoning in KGs.
Cite as

Ricardo Guimarães and Ana Ozaki. Reasoning in Knowledge Graphs (Invited Paper). In International Research School in Artificial Intelligence in Bergen (AIB 2022). Open Access Series in Informatics (OASIcs), Volume 99, pp. 2:1-2:31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{guimaraes_et_al:OASIcs.AIB.2022.2,
  author =	{Guimar\~{a}es, Ricardo and Ozaki, Ana},
  title =	{{Reasoning in Knowledge Graphs}},
  booktitle =	{International Research School in Artificial Intelligence in Bergen (AIB 2022)},
  pages =	{2:1--2:31},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-228-0},
  ISSN =	{2190-6807},
  year =	{2022},
  volume =	{99},
  editor =	{Bourgaux, Camille and Ozaki, Ana and Pe\~{n}aloza, Rafael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.AIB.2022.2},
  URN =		{urn:nbn:de:0030-drops-160005},
  doi =		{10.4230/OASIcs.AIB.2022.2},
  annote =	{Keywords: Knowledge Graphs, Description Logics, Knowledge Graph Embeddings}
}
Document
DOI: 10.4230/OASIcs.SLATE.2021.19
Development of Self-Diagnosis Tests System Using a DSL for Creating New Test Suites for Integration in a Cyber-Physical System

Authors: Ricardo B. Pereira, José C. Ramalho, and Miguel A. Brito

Published in: OASIcs, Volume 94, 10th Symposium on Languages, Applications and Technologies (SLATE 2021)

Abstract
Testing Cyber-physical systems (CPS) requires highly qualified engineers to design the tests since its computational part is programmed in low-level languages. The origin of this work arises from the need to find a solution that optimizes this problem and allows abstracting the current methods so that the tests can be created and executed more efficiently. We intend to do this by creating a self-diagnosis tests system that allows us to automate some of the current processes in the creation and execution of test suites. The work presented here addresses the problem by creating a new self-diagnosis tests system that will guarantee the reliability and integrity of the CPS. In detail, this paper begins by exposing a study on the current state of the art of test automation, Keyword-driven Testing (KDT) methodology and Domain-specific Languages (DSL). A new modular and extensible architecture is proposed for self-diagnosis tests systems based on two main concepts: the creation of a DSL combined with the use of the KDT methodology, as well as a methodology to extend it and integrate it into a CPS. A new self-diagnosis tests system has been proposed that applies the proposed architecture proving that it is possible to carry out the self-diagnosis in real-time of the CPS and allowing the integration of any type of test. To validate the implementation of the system, 28 test cases were carried out to cover all its functionalities. The results show that all test cases passed and, therefore, the system meets all the proposed objectives.
Cite as

Ricardo B. Pereira, José C. Ramalho, and Miguel A. Brito. Development of Self-Diagnosis Tests System Using a DSL for Creating New Test Suites for Integration in a Cyber-Physical System. In 10th Symposium on Languages, Applications and Technologies (SLATE 2021). Open Access Series in Informatics (OASIcs), Volume 94, pp. 19:1-19:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@InProceedings{pereira_et_al:OASIcs.SLATE.2021.19,
  author =	{Pereira, Ricardo B. and Ramalho, Jos\'{e} C. and Brito, Miguel A.},
  title =	{{Development of Self-Diagnosis Tests System Using a DSL for Creating New Test Suites for Integration in a Cyber-Physical System}},
  booktitle =	{10th Symposium on Languages, Applications and Technologies (SLATE 2021)},
  pages =	{19:1--19:16},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-202-0},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{94},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Sim\~{o}es, Alberto and Portela, Filipe and Pereira, Maria Jo\~{a}o},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2021.19},
  URN =		{urn:nbn:de:0030-drops-144367},
  doi =		{10.4230/OASIcs.SLATE.2021.19},
  annote =	{Keywords: Web Application, DSL, Self-diagnosis, Test automation, Cyber-physical systems}
}
Document
DOI: 10.4230/OASIcs.SLATE.2019.16
Urban Evolution of Fafe in the Last Two Centuries

Authors: João Filipe C. Lameiras, Mónica Guimarães, and Pedro Rangel Henriques

Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)

Abstract
Human Beings love to collect, store and preserve documents for later exploration leading to the creation of Archives. Actually, to consult municipal archives' asset, seeking information in order to explore the knowledge implicit in their documents, is the main reason for the existence of those memory institutions. On the other hand, it is known that the movement of people from dispersed living to concentration in urban environments has a strong impact both in human civilization and in the environment. This statement motivates Social Science researchers to study of urban evolution of cities. In this context and having noticed that Fafe’s Archive holds an important collection of municipal records (since XIX Century) concerning the application for authorization to construct or reconstruct private or public buildings, it came up to our minds to create a digital repository with those documents enabling their analysis. An information system shall be developed around it for information retrieval and knowledge exploration; it is also desirable that this application provides features to visualize the information extracted in convenient ways, like positioning buildings over a map. This paper discusses the development of the referred Web-based system to study the Urban Evolution of Fafe in the XIX and XX Centuries, focussing on the ontology created to understand the domain to be explored. The definition of a markup language (as a XML dialect), to annotate the Archive documents in order to enable the automatic data extraction and the semantic search, is also one of the paper topics. It will be discussed that this annotation was not defined from the scratch; instead, its design followed the ontology. It is actually an ontology-driven system. At last, the state of the Web interface (the system front-end) so far developed will be presented.
Cite as

João Filipe C. Lameiras, Mónica Guimarães, and Pedro Rangel Henriques. Urban Evolution of Fafe in the Last Two Centuries. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 16:1-16:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{lameiras_et_al:OASIcs.SLATE.2019.16,
  author =	{Lameiras, Jo\~{a}o Filipe C. and Guimar\~{a}es, M\'{o}nica and Henriques, Pedro Rangel},
  title =	{{Urban Evolution of Fafe in the Last Two Centuries}},
  booktitle =	{8th Symposium on Languages, Applications and Technologies (SLATE 2019)},
  pages =	{16:1--16:9},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-114-6},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{74},
  editor =	{Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.16},
  URN =		{urn:nbn:de:0030-drops-108836},
  doi =		{10.4230/OASIcs.SLATE.2019.16},
  annote =	{Keywords: Urban Evolution, Urban Research, Urban morphology, Ontology, XML}
}
  • Refine by Author
  • 1 Brito, Miguel A.
  • 1 Guimarães, Mónica
  • 1 Guimarães, Ricardo
  • 1 Henriques, Pedro Rangel
  • 1 Lameiras, João Filipe C.
  • Show More...

  • Refine by Classification
  • 1 Applied computing → Extensible Markup Language (XML)
  • 1 Computer systems organization → Embedded and cyber-physical systems
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Information systems → Information retrieval
  • 1 Information systems → Ontologies
  • Show More...

  • Refine by Keyword
  • 1 Cyber-physical systems
  • 1 DSL
  • 1 Description Logics
  • 1 Gamification
  • 1 Higher Education Assessment Tools
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 1 2019
  • 1 2021
  • 1 2022
  • 1 2023

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact