Search results for "Theoretical Computer Science"
showing 10 items of 1151 documents
Fundamentals of a Generalized Measure Theory
1999
In this chapter, we try to present a coherent survey on some recent attempts in building a theory of generalized measures. Our main goal is to emphasize a minimal set of axioms both for the measures and their domains, and still to be able to prove significant results. Therefore we start with fairly general structures and enrich them with additional properties only if necessary.
Checking the Efficacy of Two Basic Descriptors With a Set of Properties of Alkanes
2019
Several experimental properties of alkanes are described by means of multilinear models at the cross-validation level. The models have been obtained considering two main sets of descriptors: mathematically-based and experimental ones. The best models are obtained normally involving one of the two sets. The main goal of this work is to show how the theoretical descriptors are able to perform a competitive role against the experimental ones. This constitutes an important topic in the quantitative structure-property relationships field because the use of mathematical and in silico descriptors is validated as a proper tool for model building. Activity distributions of the properties and indices…
An Introduction to Computational Complexity
2016
This chapter is not strictly about algebra. However, this chapter offers a set of mathematical and computational instruments that will allow us to introduce several concepts in the following chapters. Moreover, the contents of this chapter are related to algebra as they are ancillary concepts that help (and in some cases allow) the understanding of algebra.
A cooperating strategy for objects recognition
1999
The paper describes an object recognition system, based on the co-operation of several visual modules (early vision, object detector, and object recognizer). The system is active because the behavior of each module is tuned on the results given by other modules and by the internal models. This solution allows to detect inconsistencies and to generate a feedback process. The proposed strategy has shown good performance especially in case of complex scene analysis, and it has been included in the visual system of the DAISY robotics system. Experimental results on real data are also reported.
Exploiting community detection to recommend privacy policies in decentralized online social networks
2018
The usage of Online Social Networks (OSNs) has become a daily activity for billions of people that share their contents and personal information with the other users. Regardless of the platform exploited to provide the OSNs’ services, these contents’ sharing could expose the OSNs’ users to a number of privacy risks if proper privacy-preserving mechanisms are not provided. Indeed, users must be able to define its own privacy policies that are exploited by the OSN to regulate access to the shared contents. To reduce such users’ privacy risks, we propose a Privacy Policies Recommended System (PPRS) that assists the users in defining their own privacy policies. Besides suggesting the most appro…
Algorithmic paradigms for stability-based cluster validity and model selection statistical methods, with applications to microarray data analysis
2012
AbstractThe advent of high throughput technologies, in particular microarrays, for biological research has revived interest in clustering, resulting in a plethora of new clustering algorithms. However, model selection, i.e., the identification of the correct number of clusters in a dataset, has received relatively little attention. Indeed, although central for statistics, its difficulty is also well known. Fortunately, a few novel techniques for model selection, representing a sharp departure from previous ones in statistics, have been proposed and gained prominence for microarray data analysis. Among those, the stability-based methods are the most robust and best performing in terms of pre…
Control of a non-isothermal continuous stirred tank reactor by a feedback–feedforward structure using type-2 fuzzy logic controllers
2011
A control system that uses type-2 fuzzy logic controllers (FLC) is proposed for the control of a non-isothermal continuous stirred tank reactor (CSTR), where a first order irreversible reaction occurs and that is characterized by the presence of bifurcations. Bifurcations due to parameter variations can bring the reactor to instability or create new working conditions which although stable are unacceptable. An extensive analysis of the uncontrolled CSTR dynamics was carried out and used for the choice of the control configuration and the development of controllers. In addition to a feedback controller, the introduction of a feedforward control loop was required to maintain effective control…
Intelligent Management Systems for Energy Efficiency in Buildings: A Survey
2014
In recent years, reduction of energy consumption in buildings has increasingly gained interest among researchers mainly due to practical reasons, such as economic advantages and long-term environmental sustainability. Many solutions have been proposed in the literature to address this important issue from complementary perspectives, which are often hard to capture in a comprehensive manner. This survey article aims at providing a structured and unifying treatment of the existing literature on intelligent energy management systems in buildings, with a distinct focus on available architectures and methodology supporting a vision transcending the well-established smart home vision, in favor o…
METABOLIC NETWORKS ROBUSTNESS: THEORY, SIMULATIONS AND RESULTS
2011
Metabolic networks are composed of several functional modules, reproducing metabolic pathways and describing the entire cellular metabolism of an organism. In the last decade, an enormous interest has grown for the study of tolerance to errors and attacks in metabolic networks. Studies on their robustness have suggested that metabolic networks are tolerant to errors, but very vulnerable to targeted attacks against highly connected nodes. However, many findings on metabolic networks suggest that the above classification is too simple and imprecise, since hub node attacks can be by-passed if alternative metabolic paths can be exploited. On the contrary, non-hub nodes attacks can affect cell …
QuASIt: A Cognitive Inspired Approach to Question Answering for the Italian Language
2016
In this paper we present QuASIt, a Question Answering System for the Italian language, and the underlying cognitive architecture. The term cognitive is meant in the procedural semantics perspective, which states that the interpretation and/or production of a sentence requires the execution of some cognitive processes over both a perceptually grounded model of the world, and a linguistic knowledge acquired previously. We attempted to model these cognitive processes with the aim to make an artificial agent able both to understand and produce natural language sentences. The agent runs these processes on its inner domain representation using the linguistic knowledge also. In this sense, QuASIt …