Search results for "Correctness"
showing 10 items of 69 documents
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.
Space partitioning of exchange-correlation functionals with the projector augmented-wave method
2018
We implement a Becke fuzzy cells type space partitioning scheme for the purposes of exchange-correlation within the GPAW projector augmented-wave method based density functional theory code. Space partitioning is needed in the situation where one needs to treat different parts of a combined system with different exchange-correlation functionals. For example, bulk and surface regions of a system could be treated with functionals that are specifically designed to capture the distinct physics of those regions. Here, we use the space partitioning scheme to implement the quasi-nonuniform exchange-correlation scheme, which is a useful practical approach for calculating metallic alloys on the gene…
Automatic Dictionary Creation by Sub-symbolic Encoding of Words
2006
This paper describes a technique for automatic creation of dictionaries using sub-symbolic representation of words in cross-language context. Semantic relationship among words of two languages is extracted from aligned bilingual text corpora. This feature is obtained applying the Latent Semantic Analysis technique to the matrices representing terms co-occurrences in aligned text fragments. The technique allows to find the “best translation” according to a properly defined geometric distance in an automatically created semantic space. Experiments show an interesting correctness of 95% obtained in the best case.
How much geometry it takes to reconstruct a 2-manifold in R 3
2009
Known algorithms for reconstructing a 2-manifold from a point sample in R 3 are naturally based on decisions/predicates that take the geometry of the point sample into account. Facing the always present problem of round-off errors that easily compromise the exactness of those predicate decisions, an exact and robust implementation of these algorithms is far from being trivial and typically requires employment of advanced datatypes for exact arithmetic, as provided by libraries like CORE, LEDA, or GMP. In this article, we present a new reconstruction algorithm, one whose main novelties is to throw away geometry information early on in the reconstruction process and to mainly operate combina…