Search results for " logic"

On the Evaluation of Images Complexity: A Fuzzy Approach

2006

The inherently multidimensional problem of evaluating the complexity of an image is of a certain relevance in both computer science and cognitive psychology. Computer scientists usually analyze spatial dimensions, to deal with automatic vision problems, such as feature-extraction. Psychologists seem more interested in the temporal dimension of complexity, to explore attentional models. Is it possible, by merging both approaches, to define an more general index of visual complexity? We have defined a fuzzy mathematical model of visual complexity, using a specific entropy function; results obtained by applying this model to pictorial images have a strong correlation with ones from an experime…

One-Counter Verifiers for Decidable Languages

2013

Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS’s for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca’s). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be spac…

The Counterfactual Reasoning and the Manipulative Account of Causality: the Origin of Causal Thinking from Free Will

2018

Ray-Space-Based Multichannel Nonnegative Matrix Factorization for Audio Source Separation

2021

Nonnegative matrix factorization (NMF) has been traditionally considered a promising approach for audio source separation. While standard NMF is only suited for single-channel mixtures, extensions to consider multi-channel data have been also proposed. Among the most popular alternatives, multichannel NMF (MNMF) and further derivations based on constrained spatial covariance models have been successfully employed to separate multi-microphone convolutive mixtures. This letter proposes a MNMF extension by considering a mixture model with Ray-Space-transformed signals, where magnitude data successfully encodes source locations as frequency-independent linear patterns. We show that the MNMF alg…

Probabilistic European Country Risk Score Forecasting Using a Diffusion Model

2013

Over the last few years, global crisis has shaken confidence in most European economies. As a consequence, a lack of confidence has spread amongst European countries leading to Europe’s financial instability. Therefore, forecasting the next future of economic situation involves high levels of uncertainty. In this respect, it would be interesting to use tools which allow to predict the trends and evolution of each country’s confidence rating. The Country Risk Score (CRS) represents a good indicator to measure the current situation of a country regarding measures of economic, political and financial Risk in order to determine country Risk ratings. CRS is underscored by Euromoney Agency and is…

A BDI agent system for credit risk assessment based on fuzzy logic

2007

Credit risk has always been an important issue for banks and other financial intermediaries. A reliable and consistent computing system is necessary to simplify the decision making process in uncertain domains such as the assessment of credit risk. In recent years fuzzy logic techniques have been in their wide-ranging use in modeling of uncertainties, vagueness, impreciseness and the human thought process. Therefore in this paper we present a fuzzy logic based intelligent system for the assessment of credit risk. It aims at efficiently and intelligently managing the process, handling its complexity, and monitoring large amounts of dynamic information in a distributed way, by using a society…

Critical path analysis in the network with fuzzy activity times

2001

A natural generalization of the criticality notion in a network with fuzzy activity times is given. It consists in direct application of the extension principle of Zadeh to the notion of criticality of a path (an activity, an event) treated as a function of the activities duration times in the network. There are shown some relations between the notion of fuzzy criticality, introduced in the paper, and the notion of interval criticality (criticality in the network with interval activity times) proposed by the authors in another paper. Two methods of calculation of the path degree of criticality (according to the proposed concept of fuzzy criticality) are presented.

Criticality in the Network with Imprecise Activity Times

2002

A review of the results obtained in the area of fuzzy network analysis is presented. The main approaches to the concept of criticality in a network with fuzzy activity times are described and classified. Against the background of this review some new results, obtained by the authors recently, are presented. The paper is an extended version of the work presented in IPMU'2000 (see [8]).

Bitcoin in the Scientific Literature – A Bibliometric Study

2019

Abstract Since 2012, there has been growing interest in bitcoin scientific research from different fields, including computer science and engineering, economics, business and finance, law and regulatory. The purpose of this paper is to evaluate bitcoin literature based on the structures and networks of science, as a first step in the research of this new phenomenon. Analysing the growing scientific literature on bitcoin published between 2012 and 2019, we provided useful insights on academic research in this field regarding publication year, type and category, authors, journals and citations. The source of the 887 documents which support the study was Web of Science Core Collection. Using V…

Mens sana in corpore exhausto. Emociones y gestión de sí en escuelas secundarias del sur global

2020

In recent years, emotional education has become a central element in a series of guidelines on a global scale that have been translated into various state initiatives aimed at education. Thus, Mens sana in corpore exhausto proposes to demonstrate the tension that is expressed between the growing series of discourses on emotional education and the school climate and the exhaustive bodies of teachers and directors of public secondary schools in the Metropolitan Region of Buenos Aires (RMBA). By way of hypothesis, these policies are considered to work on the bodies of teachers and directors, encouraging them to continue and not stop under the logic of management and self-management that throw …