Search results for "ECTN"
showing 10 items of 76 documents
Improving Assessment of Students through Semantic Space Construction
2009
Assessment is one of the hardest tasks an Intelligent Tutoring System has to perform. It involves different and sometimes uncorrelated sub-tasks: building a student model to define her needs, defining tools and procedures to perform tests, understanding students' replies to system prompts, defining suitable procedures to evaluate the correctness of students' replies, and strategies to improve students' abilities after the assessment session.In this work we present an improvement of our system, TutorJ, with particular attention to the assessment phase. Many tutoring systems offer only a limited set of assessment options like multiple-choice questions,fill-in-the-blanks tests or other types …
A Framework for Parallel Assessment of Reputation Management Systems
2016
Several distributed applications running over the Internet use Reputation Management Systems (RMSs) to guarantee reliable interactions among unknown agents. Because of the heterogeneity of the existing RMSs, their assessment in terms of correctness and resistance to security attacks is not a trivial task. This work addresses this issue by presenting a novel parallel simulator aimed to support researchers in evaluating the performances of a RMS since the design phase. Preliminary results obtained by simulating two different attacks confirm the suitability of the proposed framework to evaluate different RMSs.
A Middleware to Develop and Test Vehicular Sensor Network Applications
2019
The Smart city ecosystem is composed of several networked devices that provide services to citizens and improve their quality of life. Basic services, which must be exposed by the underlying software infrastructure, require efficient networking and communication protocols to coordinate and manage all the system components. In particular, Vehicular Sensor Networks (VSNs) are envisioned as key components of smart cities. Verification is crucial in such a highly dynamic scenario to ensure operation correctness and to reduce the development cost of smart applications. However, the rigidity of existing middlewares makes development, reconfiguration, and testing rather difficult. In this work, we…
A Reinforcement Learning Approach for User Preference-aware Energy Sharing Systems
2021
Energy Sharing Systems (ESS) are envisioned to be the future of power systems. In these systems, consumers equipped with renewable energy generation capabilities are able to participate in an energy market to sell their energy. This paper proposes an ESS that, differently from previous works, takes into account the consumers’ preference, engagement, and bounded rationality. The problem of maximizing the energy exchange while considering such user modeling is formulated and shown to be NP-Hard. To learn the user behavior, two heuristics are proposed: 1) a Reinforcement Learning-based algorithm, which provides a bounded regret and 2) a more computationally efficient heuristic, named BPT- ${K}…
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020
The availability of versatile and interconnected embedded devices makes it possible to build low-cost networks with a large number of nodes running even complex applications and protocols in a distributed manner. Common tools used for modeling and verification, such as simulators, present some limitations as application correctness is checked off-board and only focuses on source code. Execution in the real network is thus excluded from the early stages of design and verification. In this paper, a system for modeling and verification of symbolic distributed protocols running on embedded devices is introduced. The underlying methodology is rooted in a symbolic programming paradigm that makes …
Volpi e ricci, ovvero: che cosa rimane del positivismo giuridico?
2017
Sino alla prima metà del xx secolo tutti i principali giuspositivisti condividevano l’idea che il positivismo giuridico presupponesse necessariamente una meta-etica soggettivista e non-cognitivista. Il legame tra una meta-etica soggettivista e non-cognitivista e il positivismo giuridico ad un certo punto è stato reciso. Importanti giuspositivisti cominciano a mettere in discussione che il positivismo giuridico implichi una determinata prospettiva meta-etica. In questo saggio avanzo tre obiezioni al positivismo giuridico da cui che il positivismo giuridico può almeno in parte difendersi solo a condizione di rimanere fedele al soggettivismo e al non-cognitivismo Until the middle of the last c…
Fragile Correctness of Social Network Analysis
2016
Draft version of the paper
A Memetic Island Model for Discrete Tomography Reconstruction
2011
Soft computing is a term indicating a coalition of methodologies, and its basic dogma is that, in general, better results can be obtained through the use of constituent methodologies in combination, rather than in a stand alone mode. Evolutionary computing belongs to this coalition, and thus memetic algorithms. Here, we present a combination of several instances of a recently proposed memetic algorithm for discrete tomography reconstruction, based on the island model parallel implementation. The combination is motivated by the fact that, even though the results of the recently proposed approach are finally better and more robust compared to other approaches, we advised that its major drawba…
Sudoku – A Language Description Case Study
2009
A complete language description includes the structure as well as constraints, textual representation, graphical representation, and behaviour (transformation and execution). As a case study in language description, we consider Sudoku as a language, where a Sudoku puzzle is an instance of the language. Thus we are able to apply meta-model-based technologies for the creation of a language description for Sudoku, including correctness checking of a puzzle, and solving strategies. We identify what has to be expressed and how this can be done with the technology available today.
Political Correctness and Academic Principles: A Reply to Simpson
1997
The author discusses Christopher Simpson's (1996) article, ‘Elisabeth Noelle-Neumann's ‘Spiral of Silence’ and the Historical Context of Communication Theory.’ He questions the relevance of biographical data for the evaluation of scientific theories and methods, and analyzes the rhetorical structure of Simpson's arguments. He concludes that Simpson's claims about the influence of Noelle's biography on her scholarly work are not grounded in evidence.