Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2016

Types of assessing student-programming knowledge

Autores
Gomes, A; Correia, FB; Abreu, PH;

Publicação
2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE)

Abstract
High failure and dropout rates are common in higher education institutions with introductory programming courses. Some researchers advocate that sometimes teachers don't use correct methods of assessment and that many students pass in programming without knowing how to program. In this paper authors describe the assessment methodology applied to a first year, first semester, Biomedical Engineering programming course (2015/2016). Students' programming skills were tested by playing a game in the first class, then they were assessed with three tests and a final exam, each with topics the authors considered fundamental for the students to master. A correlation analyses between the different types of tests and exam questions is done, to evaluate the most suitable, for assessing programming knowledge, showing that it is possible to use different question types as a pedagogical strategy, to assess student difficulty levels and programming skills, that help students acquire abstract, reasoning and algorithm thinking in an acceptable level. Also, it is shown that different forms of questions are equivalent to assess equal knowledge and that it is possible to predict the ability of a student to program at an early stage.

2016

Local management of the nonlinearity of Bose-Einstein condensates with pinched potentials

Autores
Guerreiro, A; Silva, NA;

Publicação
PHYSICAL REVIEW A

Abstract
We present a proposal for the local control of the nonlinearity in quasi-one-dimensional Bose-Einstein condensates induced by a local pinching of the transverse confining potential. We investigate the scattering of bright matter-wave solitons through a pinched potential using numerical simulations of the full three-dimensional Gross-Pitaevskii equation and the corresponding effective one-dimensional model with spatially varying nonlinearity.

2016

Federated IaaS Resource Brokerage

Autores
Veloso, B; Meireles, F; Malheiro, B; Burguillo, JC;

Publicação
Developing Interoperable and Federated Cloud Architecture

Abstract

2016

Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016

Autores
Alvarez, MM; Kruschwitz, U; Kazai, G; Hopfgartner, F; Corney, D; Campos, R; Albakour, D;

Publicação
NewsIR@ECIR

Abstract

2016

Catalytic Space: Non-determinism and Hierarchy

Autores
Buhrman, H; Koucký, M; Loff, B; Speelman, F;

Publicação
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France

Abstract
Catalytic computation, defined by Buhrman, Cleve, Koucký, Loff and Speelman (STOC 2014), is a space-bounded computation where in addition to our working memory we have an exponentially larger auxiliary memory which is full; the auxiliary memory may be used throughout the computation, but it must be restored to its initial content by the end of the computation. Motivated by the surprising power of this model, we set out to study the non-deterministic version of catalytic computation. We establish that non-deterministic catalytic log-space is contained in ZPP, which is the same bound known for its deterministic counterpart, and we prove that non-deterministic catalytic space is closed under complement (under a standard derandomization assumption). Furthermore, we establish hierarchy theorems for non-deterministic and deterministic catalytic computation. © 2017, Springer Science+Business Media New York.

2016

Classification systems in dynamic environments: an overview

Autores
Pinage, FA; dos Santos, EM; Portela da Gama, JMP;

Publicação
WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY

Abstract
Data mining and machine learning algorithms can be employed to perform a variety of tasks. However, since most of these problems may depend on environments that change over time, performing classification tasks in dynamic environments has been a challenge in data mining research domain in the last decades. Currently, in the literature, the most common strategies used to detect changes are based on accuracy monitoring, which relies on previous knowledge of the data in order to identify whether or not correct classifications are provided. However, such a feedback can be infeasible in practical problems. In this work, we present a comprehensive overview of current machine learning/data mining approaches proposed to deal with dynamic environments problems. The objective is to highlight the main drawbacks and open issues, as well as future directions and problems worthy of investigation. In addition, we provide the definitions of the main terms used to represent this problem in the literature, such as concept drift and novelty detection. WIREs Data Mining Knowl Discov 2016, 6:156-166. doi: 10.1002/widm.1184 For further resources related to this article, please visit the .

  • 2337
  • 4201