Results 1  10
of
265
Comparing top k lists
 In Proceedings of the ACMSIAM Symposium on Discrete Algorithms
, 2003
"... Motivated by several applications, we introduce various distance measures between “top k lists.” Some of these distance measures are metrics, while others are not. For each of these latter distance measures, we show that they are “almost ” a metric in the following two seemingly unrelated aspects: ( ..."
Abstract

Cited by 272 (4 self)
 Add to MetaCart
Motivated by several applications, we introduce various distance measures between “top k lists.” Some of these distance measures are metrics, while others are not. For each of these latter distance measures, we show that they are “almost ” a metric in the following two seemingly unrelated aspects
Formalizing design spaces: Implicit invocation mechanisms
 In VDM ’91
"... An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and provide automated assistance for system development. A significant roadblock to accomplishing this goal is that common prope ..."
Abstract

Cited by 118 (26 self)
 Add to MetaCart
of old ones in a principled way, at reduced cost to designers and implementors. To illustrate these points, we present a formalization of a system integration technique called implicit invocation. We show how many previously unrelated systems can be viewed as instances of the same underlying framework
DEEP MATHEMATICAL RESULTS ARE THE ONES THAT CONNECT SEEMINGLY UNRELATED AREAS: TOWARDS A FORMAL PROOF OF
"... When is a mathematical result deep? At rst glance, the answer to this question is subjective: what is deep for one mathematician may not sound that deep for another. A renowned mathematician GianCarlo Rota expressed an opinion that the notion of deepness is more objective that we may think: namely, ..."
Abstract
 Add to MetaCart
, that a mathematical statement is deep if and only if it connects two seemingly unrelated areas of mathematics. In this paper, we formalize this thesis, and show that in this formalization, Gian Carlo Rota's thesis becomes a provable mathematical result.
Connectivism: A learning theory for the digital age."
 International Journal of Instructional Technology and Distance
, 2005
"... Jan 2005 Index Home Page Editor's Note: This is a milestone article that deserves careful study. Connectivism should not be con fused with constructivism. George Siemens advances a theory of learning that is consistent with the needs of the twenty first century. His theory takes into account t ..."
Abstract

Cited by 147 (2 self)
 Add to MetaCart
unrelated fields over the course of their lifetime. Informal learning is a significant aspect of our learning experience. Formal education no longer comprises the majority of our learning. Learning now occurs in a variety of ways through communities of practice, personal networks, and through completion
Contamination in Formal Argumentation Systems
"... Over the last decennia, many systems for formal argumentation have been defined. The problem, however, is that these systems do not always satisfy reasonable properties. In this paper, we focus on the particular property that a conflict between two arguments cannot keep other unrelated arguments fro ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Over the last decennia, many systems for formal argumentation have been defined. The problem, however, is that these systems do not always satisfy reasonable properties. In this paper, we focus on the particular property that a conflict between two arguments cannot keep other unrelated arguments
Formal symplectic groupoid
 Commun. Math. Phys
"... Abstract. The multiplicative structure of the trivial symplectic groupoid over R d associated to the zero Poisson structure can be expressed in terms of a generating function. We address the problem of deforming such a generating function in the direction of a nontrivial Poisson structure so that t ..."
Abstract

Cited by 14 (5 self)
 Add to MetaCart
generating function reduces exactly to the CBH formula of the associated Lie algebra. The methods used to prove existence are interesting in their own right as they come from an at first sight unrelated domain of mathematics: the Runge–Kutta theory of the numeric integration of ODE’s. 1.
Formal verification of synchronizers
 In CHARME 2005
, 2005
"... Abstract. Large Systems on Chips (SoC) comprise multiple clock domains, and interdomain data transfers require synchronization. Synchronizers may fail due to metastability, but when using proper synchronization circuits the probability of such failures can be made negligible. Failures due to unexpe ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
to unexpected order of events (caused by interfacing multiple unrelated clocks) are more common. Correct synchronization is independent of event order, and can be verified by model checking. Given a synchronizer, a correct protocol is guessed, verification rules are generated out of the protocol specification
Whom You Know Matters: Venture Capital Networks and Investment Performance,
 Journal of Finance
, 2007
"... Abstract Many financial markets are characterized by strong relationships and networks, rather than arm'slength, spotmarket transactions. We examine the performance consequences of this organizational choice in the context of relationships established when VCs syndicate portfolio company inv ..."
Abstract

Cited by 138 (8 self)
 Add to MetaCart
syndicate if neither led the syndicate in question. Indegree is a measure of the frequency with which a VC firm is invited to coinvest in other VCs' deals, thereby expanding its investment opportunity set and gaining access to information and resources it otherwise may not have had access to. Formally
Applying Formal Methods to Programming
, 2004
"... To my grandparents, Domenico, Giuseppe and Angela which are not here anymore, and Maria. ”In theory, there is no difference between theory and practice. But, in practice, there is.” — Jan L.A. van de Snepscheut T HIS THESIS concerns the design and evolution of two programming languages. The two cont ..."
Abstract
 Add to MetaCart
contributions, unrelated with each other, are treated separately. The underlying theme of this work is the application of formal methods to the task of programming language design and implementation. Jeeg We introduce Jeeg, a dialect of Java based on a declarative replacement of the synchronization mechanisms
FORMALIZING DARWINISM, NATURALIZING MATHEMATICS
"... In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand, different attempts to formalize Darwinism have been made (see for a survey Barberousse and Samadi, 2015; Thompson, 2007), while, on the othe ..."
Abstract
 Add to MetaCart
In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand, different attempts to formalize Darwinism have been made (see for a survey Barberousse and Samadi, 2015; Thompson, 2007), while
Results 1  10
of
265