Search results for "mathematical logic"
showing 10 items of 394 documents
Factorial Structure of Web-Credibility in a population of Italian Internet Users. A pilot study
2009
Recent studies by Fogg and his colleagues have defined a new psychological construct called Web credibility. It describes the principal dimensions which lead people to believe (or not) online information. In this framework, the factorial structure of Web credibility was explored in a sample of 152 Italian students of psychology who were Internet users, using a questionnaire. A consistent four-factorial structure emphasized crucial aspects of Web credibility, namely, Inaccuracy, Efficiency, Social Validation, and Commercial Features. Such results seem in line with Fogg's theoretical model; however, further research is required to identify dimensions of this construct.
A Theoretical Agent-Based Model to simulate an Artificial Social Evolution
2013
Agent-based social simulation as a computational approach to social simulation has been largely used to explore social phenomena. The purpose of this paper is to build a theoretical agent-based model to simulate the social evolution of a set of agents/artificial societies. In this model, each agent (artificial society) has an available number of social behaviours that compete among each other. The agent/agent interactions are carried out by their social otherwise, the agent/environment interactions are expressed through the consumption of ecological resources in repression and satisfaction by social behaviours of the agent. In this work, we will present the structure and the formulation of …
A constructive semantics for non-deducibility
2008
This paper provides a constructive topological semantics for non-deducibility of a first order intuitionistic formula. Formal topology theory, in particular the recently introduced notion of a binary positivity predicate, and co-induction are two needful tools. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)
On P-compatible hybrid identities and hyperidentities
1994
P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.
Unification in superintuitionistic predicate logics and its applications
2018
AbstractWe introduce unification in first-order logic. In propositional logic, unification was introduced by S. Ghilardi, see Ghilardi (1997, 1999, 2000). He successfully applied it in solving systematically the problem of admissibility of inference rules in intuitionistic and transitive modal propositional logics. Here we focus on superintuitionistic predicate logics and apply unification to some old and new problems: definability of disjunction and existential quantifier, disjunction and existential quantifier under implication, admissible rules, a basis for the passive rules, (almost) structural completeness, etc. For this aim we apply modified specific notions, introduced in proposition…
Towards the Preservation and Dissemination of Historical Silk Weaving Techniques in the Digital Era
2019
Historical weaving techniques have evolved in time and space giving as result more or less fabrics with different aesthetical characteristics. These techniques were transferred along the main silk production centers, thanks to the European Silk Road and creating a common European Frame on themes and techniques. These had made it complicated to determine whether a fabric corresponds to one century or another. Moreover, in order to understand their creation, it is necessary to determine the number of weaves and interlacements that each textile has, therefore, mathematical models can be extracted from these layers. In this sense, three dimensional (3D) virtual representations of the internal s…
DeepEva: A deep neural network architecture for assessing sentence complexity in Italian and English languages
2021
Abstract Automatic Text Complexity Evaluation (ATE) is a research field that aims at creating new methodologies to make autonomous the process of the text complexity evaluation, that is the study of the text-linguistic features (e.g., lexical, syntactical, morphological) to measure the grade of comprehensibility of a text. ATE can affect positively several different contexts such as Finance, Health, and Education. Moreover, it can support the research on Automatic Text Simplification (ATS), a research area that deals with the study of new methods for transforming a text by changing its lexicon and structure to meet specific reader needs. In this paper, we illustrate an ATE approach named De…
Implementation of the Community Earth System Model (CESM) version 1.2.1 as a new base model into version 2.50 of the MESSy framework
2016
Abstract. The Community Earth System Model (CESM1), maintained by the United States National Centre for Atmospheric Research (NCAR) is connected with the Modular Earth Submodel System (MESSy). For the MESSy user community, this offers many new possibilities. The option to use the Community Atmosphere Model (CAM) atmospheric dynamical cores, especially the state-of-the-art spectral element (SE) core, as an alternative to the ECHAM5 spectral transform dynamical core will provide scientific and computational advances for atmospheric chemistry and climate modelling with MESSy. The well-established finite volume core from CESM1(CAM) is also made available. This offers the possibility to compare …
A Coclustering Approach for Mining Large Protein-Protein Interaction Networks
2012
Several approaches have been presented in the literature to cluster Protein-Protein Interaction (PPI) networks. They can be grouped in two main categories: those allowing a protein to participate in different clusters and those generating only nonoverlapping clusters. In both cases, a challenging task is to find a suitable compromise between the biological relevance of the results and a comprehensive coverage of the analyzed networks. Indeed, methods returning high accurate results are often able to cover only small parts of the input PPI network, especially when low-characterized networks are considered. We present a coclustering-based technique able to generate both overlapping and nonove…
The Complex System Theory for the Analysis of Inter-Firm Networks: A Literature Overview and Theoretic Framework
2011
In this paper we discuss the body of knowledge known as complex system theory and its relevance to the analysis of inter-firm networks. We start by addressing the development of systems thinking. Through a literature overview, we point out the main elements for the development of systemic thought from its beginning, through its application in business sciences, to the birth of Complex Systems Theory (CST). With these initial annotations we provide an introduction to the concepts of the complex systems theory. We will underscore those aspects of CST that can be useful to analyze inter-firm networks, in order to highlight the evolutionary dynamics of the networks and to clarify the logical li…