Search results for "Mathematical logic"
showing 10 items of 394 documents
Networked relationships in the e-MID Interbank market: A trading model with memory
2014
Interbank markets are fundamental for bank liquidity management. In this paper, we introduce a model of interbank trading with memory. Our model reproduces features of preferential trading patterns in the e-MID market recently empirically observed through the method of statistically validated networks. The memory mechanism is used to introduce a proxy of trust in the model. The key idea is that a lender, having lent many times to a borrower in the past, is more likely to lend to that borrower again in the future than to other borrowers, with which the lender has never (or has in- frequently) interacted. The core of the model depends on only one parameter representing the initial attractiven…
Radical innovations: Between established knowledge and future research opportunities
2021
Abstract The fast growing body of radical innovation research is fragmented and difficult to overlook. We provide an overview of the most cited journals, authors, and publications and conduct a bibliographic coupling to structure the literature landscape. We identified the following research clusters: management of radical innovations, organizational learning and knowledge, financial aspects of radical innovation, radical innovation adoption and diffusion, radical industry innovations as challenges for incumbents, and radical innovation in specific industries. Based on an in-depth content analysis of these clusters, we identify the following future research opportunities: A systematic compi…
Forms and Functions of the Real Estate Market of Palermo (Italy). Science and Knowledge in the Cluster Analysis Approach
2016
The analysis of the housing market of a city requires suitable approaches and tools, such as data mining models, to represent its complexity which derives on many elements, e.g. the type of capital asset-house is a common good and an investment good as well, the heterogeneity of the urban areas—each of them has own historical and representative values and different urban functions—and the variability of building quality. The housing market of the most densely populated area of Palermo (Italy), corresponding to ten districts, is analyzed to verify the degree of its inner homogeneity and the relations between the quality of the characteristics and the price of the properties. Five hundred set…
Dealing with spatial data pooled over time in statistical models
2012
Recent developments in spatial econometrics have been devoted to spatio-temporal data and how spatial panel data structure should be modeled. Little effort has been devoted to the way one must deal with spatial data pooled over time. This paper presents the characteristics of spatial data pooled over time and proposes a simple way to take into account unidirectional temporal effect as well as multidirectional spatial effect in the estimation process. An empirical example, using data on 25,357 single family homes sold in Lucas County, OH (USA), between 1993 and 1998 (available in the MatLab library), is used to illustrate the potential of the approach proposed.
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
Expanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action Loop
2018
Active inference is an ambitious theory that treats perception, inference and action selection of autonomous agents under the heading of a single principle. It suggests biologically plausible explanations for many cognitive phenomena, including consciousness. In active inference, action selection is driven by an objective function that evaluates possible future actions with respect to current, inferred beliefs about the world. Active inference at its core is independent from extrinsic rewards, resulting in a high level of robustness across e.g.\ different environments or agent morphologies. In the literature, paradigms that share this independence have been summarised under the notion of in…
Splicing Systems from Past to Future: Old and New Challenges
2014
A splicing system is a formal model of a recombinant behaviour of sets of double stranded DNA molecules when acted on by restriction enzymes and ligase. In this survey we will concentrate on a specific behaviour of a type of splicing systems, introduced by P\u{a}un and subsequently developed by many researchers in both linear and circular case of splicing definition. In particular, we will present recent results on this topic and how they stimulate new challenging investigations.
Centrality measures for networks with community structure
2016
Understanding the network structure, and finding out the influential nodes is a challenging issue in the large networks. Identifying the most influential nodes in the network can be useful in many applications like immunization of nodes in case of epidemic spreading, during intentional attacks on complex networks. A lot of research is done to devise centrality measures which could efficiently identify the most influential nodes in the network. There are two major approaches to the problem: On one hand, deterministic strategies that exploit knowledge about the overall network topology in order to find the influential nodes, while on the other end, random strategies are completely agnostic ab…
Plaid model for microarray data: an enhancement of the pruning step
2010
Microarrays have become a standard tool for studying gene functions. For example, we can investigate if a subset of genes shows a coherent expression pattern under different conditions. The plaid model, a model-based biclustering method, can be used to incorporate the addiction structure used for the microarray experiment. In this paper we describe an enhancement for the plaid model algorithm based on the theory of the false discovery rate.
On the Review of structure and effectiveness of the IFRS Foundation : the EAAs Financial Reporting Standards Committees view
2016
AbstractIn July 2015 the International Financial Reporting Standards (IFRS) Foundation launched its third five year review of its structure and effectiveness of the organisation. In a public call, the Trustees solicited stakeholders’ input on the relevance of IFRS Standards with respect to broadening the IFRS scope and to the impact of new technology, on the consistent application of IFRS and on the governance and funding of the International Accounting Standards Board and the IFRS Foundation. The European Accounting Association (EAA)’s Financial Reporting Standards Committee responded to this request for views by submitting a comment letter based on research-informed opinions. This article…