Results 1  10
of
1,932,069
On Differential Interaction Nets and the Picalculus
 Preuves, Programmes et Systèmes
, 2006
"... We propose a translation of a finitary (that is, replicationfree) version of the picalculus into promotionfree differential interaction net structures, a linear logic version of the differential lambdacalculus (or, more precisely, of a resource lambdacalculus). For the sake of simplicity only, w ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We propose a translation of a finitary (that is, replicationfree) version of the picalculus into promotionfree differential interaction net structures, a linear logic version of the differential lambdacalculus (or, more precisely, of a resource lambdacalculus). For the sake of simplicity only
Acyclic Solos and Differential Interaction Nets ∗
, 2008
"... We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the picalculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the picalculus. In particular, the induced so ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
solo diagrams bear an acyclicity property that induces a faithful encoding into differential interaction nets. This gives a (new) proof that differential interaction nets are expressive enough to contain an encoding of the picalculus. All this is worked out in the case of finitary (replication free
The Geometry of Interaction of Differential Interaction Nets
, 2008
"... The Geometry of Interaction purpose is to give a semantic of proofs or programs accounting for their dynamics. The initial presentation, translated as an algebraic weighting of paths in proofnets, led to a better characterization of the λcalculus optimal reduction. Recently Ehrhard and Regnier have ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
have introduced an extension of the Multiplicative Exponential fragment of Linear Logic (MELL) that is able to express nondeterministic behaviour of programs and a proofnetlike calculus: Differential Interaction Nets. This paper constructs a proper Geometry of Interaction (GoI) for this extension. We
The separation theorem for differential interaction nets
, 2007
"... Differential interaction nets (DIN) have been introduced by Thomas Ehrhard and Laurent Regnier as an extension of linear logic proofnets. We prove that DIN enjoy an internal separation property: given two different normal nets, there exists a dual net separating them, in analogy with Böhm’s theore ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
Differential interaction nets (DIN) have been introduced by Thomas Ehrhard and Laurent Regnier as an extension of linear logic proofnets. We prove that DIN enjoy an internal separation property: given two different normal nets, there exists a dual net separating them, in analogy with Böhm’s
Embedding the finitary picalculus in differential interaction nets
 In Proceedings of the Higher Order Rewriting workshop (HOR 2006
, 2006
"... Abstract. We propose a translation of a finitary (that is, replicationfree) version of the monadic localised picalculus into the purely exponential part of promotionfree differential interaction nets. This embedding is a simulation of reduction. Since the introduction of Linear Logic by Girard in ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
Abstract. We propose a translation of a finitary (that is, replicationfree) version of the monadic localised picalculus into the purely exponential part of promotionfree differential interaction nets. This embedding is a simulation of reduction. Since the introduction of Linear Logic by Girard
The Application of Petri Nets to Workflow Management
, 1998
"... Workflow management promises a new solution to an ageold problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the ..."
Abstract

Cited by 522 (61 self)
 Add to MetaCart
the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis
WordNet: An online lexical database
 International Journal of Lexicography
, 1990
"... WordNet is an online lexical reference system whose design is inspired by current ..."
Abstract

Cited by 1945 (9 self)
 Add to MetaCart
WordNet is an online lexical reference system whose design is inspired by current
The Berkeley FrameNet Project
 IN PROCEEDINGS OF THE COLINGACL
, 1998
"... FrameNet is a threeyear NSFsupported project in corpusbased computational lexicography, now in its second year #NSF IRI9618838, #Tools for Lexicon Building"#. The project's key features are #a# a commitment to corpus evidence for semantic and syntactic generalizations, and #b# the repr ..."
Abstract

Cited by 624 (3 self)
 Add to MetaCart
FrameNet is a threeyear NSFsupported project in corpusbased computational lexicography, now in its second year #NSF IRI9618838, #Tools for Lexicon Building"#. The project's key features are #a# a commitment to corpus evidence for semantic and syntactic generalizations, and #b
Differential privacy . . .
, 2009
"... We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradigm for differentially private mechanisms, which we call ProposeTestRelease (PTR), and for which we give a formal definit ..."
Abstract

Cited by 629 (10 self)
 Add to MetaCart
We show by means of several examples that robust statistical estimators present an excellent starting point for differentially private estimators. Our algorithms use a new paradigm for differentially private mechanisms, which we call ProposeTestRelease (PTR), and for which we give a formal
Metabolic stability and epigenesis in randomly connected nets
 Journal of Theoretical Biology
, 1969
"... “The world is either the effect of cause or chance. If the latter, it is a world for all that, that is to say, it is a regular and beautiful structure.” Marcus Aurelius Protoorganisms probably were randomly aggregated nets of chemical reactions. The hypothesis that contemporary organisms are also r ..."
Abstract

Cited by 637 (4 self)
 Add to MetaCart
; and under the stimulus of noise are capable of differentiating directly from any mode of behavior to at most a few other modes of behavior. Cellular differentation is modeled as a Markov chain among the modes of behavior of a genetic net. The possibility of a general theory of metabolic behavior
Results 1  10
of
1,932,069