Filters








553,463 Hits in 3.0 sec

Differential interaction nets

T. Ehrhard, L. Regnier
2006 Theoretical Computer Science  
We introduce interaction nets for a fragment of the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, which is  ...  Finally, we outline the correspondence between this interaction nets formalism and the resource lambda-calculus.  ...  Differential interaction nets We consider the following symbols.  ... 
doi:10.1016/j.tcs.2006.08.003 fatcat:fok6l6fct5hcnmikal4gtpukou

Differential Interaction Nets

Thomas Ehrhard, Laurent Regnier
2005 Electronical Notes in Theoretical Computer Science  
We introduce interaction nets for the differential lambda-calculus and exhibit in this framework a new symmetry between the of course and the why not modalities of linear logic, completely similar to the  ...  Differential interaction nets. We consider the following symbols.  ...  Of course, since we have decided to exclude promotion from this presentation, it is impossible to translate the (differential) lambda-calculus in differential interaction nets 6 .  ... 
doi:10.1016/j.entcs.2004.06.060 fatcat:4yune6fqcvfnld5siq5zy6wczq

Acyclic Solos and Differential Interaction Nets

Thomas Ehrhard, Olivier Laurent, Davide Sangiorgi
2010 Logical Methods in Computer Science  
This gives a (new) proof that differential interaction nets are expressive enough to contain an encoding of the pi-calculus.  ...  In particular, the induced solo diagrams bear an acyclicity property that induces a faithful encoding into differential interaction nets.  ...  o Differential interaction nets.  ... 
doi:10.2168/lmcs-6(3:11)2010 fatcat:tppnydr5rndpfhpdep3fdplzq4

The Geometry of Interaction of Differential Interaction Nets [article]

Marc de Falco
2008 arXiv   pre-print
Interaction Nets.  ...  The Geometry of Interaction purpose is to give a semantic of proofs or programs accounting for their dynamics.  ...  Differential interaction nets Definition We briefly recall the definition of differential interaction nets, for a complete introduction one can refer to [5] .  ... 
arXiv:0804.1435v1 fatcat:vtg67cmsineenjbdpbspwxq7cq

The Geometry of Interaction of Differential Interaction Nets

Marc de Falco
2008 Logic in Computer Science  
Interaction Nets.  ...  The Geometry of Interaction purpose is to give a semantic of proofs or programs accounting for their dynamics.  ...  In order to deal with the summation of differential interaction nets we are led to consider a purely syntactic sum.  ... 
doi:10.1109/lics.2008.23 dblp:conf/lics/Falco08 fatcat:oewu66c4abhopgnjokmn3n42om

The true concurrency of differential interaction nets

DAMIANO MAZZA
2016 Mathematical Structures in Computer Science  
More precisely, we associate with each differential interaction net an event structure describing its reduction.  ...  We thus infer that no reasonably expressive process calculus may be satisfactorily encoded in differential interaction nets.  ...  Other Systems of Interaction Nets Interaction net systems Differential interaction nets are only a particular case of a more general notion of interaction net system.  ... 
doi:10.1017/s0960129516000402 fatcat:3qce5sqjvjg7vndnmbkjkufscu

Interpreting a finitary pi-calculus in differential interaction nets

Thomas Ehrhard, Olivier Laurent
2010 Information and Computation  
Content We first introduce differential linear logic, presented as a sequent calculus, and then differential interaction nets.  ...  We define a transition system of labeled processes and a transition system of labeled differential interaction nets.  ...  In the sequel, since no confusion with other kinds of interaction nets will be possible, we shall use "net" for "differential net".  ... 
doi:10.1016/j.ic.2009.06.005 fatcat:4fwmomneuzgwjdihbbqvqenzmi

ExprEssence - Revealing the essence of differential experimental data in the context of an interaction/regulation net-work

Gregor Warsow, Boris Greber, Steffi SI Falk, Clemens Harder, Marcin Siatkowski, Sandra Schordan, Anup Som, Nicole Endlich, Hans Schöler, Dirk Repsilber, Karlhans Endlich, Georg Fuellen
2010 BMC Systems Biology  
As input we take a network of interaction, stimulation and/or inhibition links between genes/proteins, and differential data, such as gene expression data, tracking an intervention or development in time  ...  We can interactively modify the threshold for highlighting and instantaneously visualize results.  ...  Neuropilin and its interaction with the guidance molecule semaphorin have been implicated in podocyte differentiation [44, 45] .  ... 
doi:10.1186/1752-0509-4-164 pmid:21118483 pmcid:PMC3012047 fatcat:q4dcbskkvzh4nar2woe3zbovym

The Separation Theorem for Differential Interaction Nets [chapter]

Damiano Mazza, Michele Pagani
Logic for Programming, Artificial Intelligence, and Reasoning  
Differential interaction nets (DIN) have been introduced by Thomas Ehrhard and Laurent Regnier as an extension of linear logic proof-nets.  ...  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 theorem for the λ-calculus.  ...  Simple Nets Differential interaction nets are defined on top of Lafont's interaction nets [11] : Definition 1 (Simple net).  ... 
doi:10.1007/978-3-540-75560-9_29 dblp:conf/lpar/MazzaP07 fatcat:3dvo35zhnjhd7d2fp7rctkdnye

Interpreting a Finitary Pi-calculus in Differential Interaction Nets [chapter]

Thomas Ehrhard, Olivier Laurent
Lecture Notes in Computer Science  
Content We first introduce differential linear logic, presented as a sequent calculus, and then differential interaction nets.  ...  We define a transition system of labeled processes and a transition system of labeled differential interaction nets.  ...  In the sequel, since no confusion with other kinds of interaction nets will be possible, we shall use "net" for "differential net".  ... 
doi:10.1007/978-3-540-74407-8_23 fatcat:fpb4eh57tbekndoxxqgdr6k2si

The Cut-Elimination Theorem for Differential Nets with Promotion [chapter]

Michele Pagani
2009 Lecture Notes in Computer Science  
The authors have examined the cut-elimination of the promotion-free fragment of DiLL by means of a proofnet-like calculus: differential interaction nets.  ...  We extend this analysis to exponential boxes and prove the Cut-Elimination Theorem for the whole DiLL: every differential net that is sequentializable can be reduced to a cut-free net.  ...  Differential interaction nets.  ... 
doi:10.1007/978-3-642-02273-9_17 fatcat:5tep524tprgohnxvsh6jfktn2y

Differences in gene expression profiles and signaling pathways in rhabdomyolysis-induced acute kidney injury

Xiaodong Geng, Yuanda Wang, Quan Hong, Jurong Yang, Wei Zheng, Gang Zhang, Guangyan Cai, Xiangmei Chen, Di Wu
2015 International Journal of Clinical and Experimental Pathology  
The interactions of all differentially expressed genes in the Signal-Net were analyzed. Cyp3a13 and Rela had the most interactions with other genes.  ...  The data showed that Rela and Aldh7a1 were the key nodes and had important positions in the Signal-Net. The genes Jun, CD14, and Cdkn1a were also significantly upregulated.  ...  Figure 3 shows the interaction net for the pathways associated with differentially expressed genes in the Path-Net analysis.  ... 
pmid:26823722 pmcid:PMC4713508 fatcat:eretqdnbgvajhh7tuyex75uf34

Preface

LORENZO TORTORA DE FALCO
2016 Mathematical Structures in Computer Science  
of the proof-net/term α is itself a (differential) proof-net/term and an approximation of α.  ...  Linear Logic (DiLL) and the differential λ-calculus.  ...  In 'The true concurrency of Differential Interaction Nets,' Damiano Mazza questions, in an abstract and general framework, the possibility of representing true concurrency in Differential nets, arguing  ... 
doi:10.1017/s096012951600044x fatcat:rdlnum3ddvetxh3p5arwzlp2gy

Differential methylation of G-protein coupled receptor signaling genes in gastrointestinal neuroendocrine tumors

Seyoun Byun, Kajsa E. Affolter, Angela K. Snow, Karen Curtin, Austin R. Cannon, Lisa A. Cannon-Albright, Ramya Thota, Deborah W. Neklason
2021 Scientific Reports  
The objective of this study was to identify methylation differences in NETs and consider how the differentially methylated genes may impact patient survival.  ...  Comparison of 18LOH tumors with MultiCNV and NoCNV tumors identified 901 differentially methylated genes.  ...  Protein-protein interaction network of 901 genes with differential methylation in 18LOH group.  ... 
doi:10.1038/s41598-021-91934-5 pmid:34112938 fatcat:jfkl7ggq2fcvlntto44skyr5ay

BMRF-Net: a software tool for identification of protein interaction subnetworks by a bagging Markov random field-based method: Fig. 1

Xu Shi, Robert O. Barnes, Li Chen, Ayesha N. Shajahan-Haq, Leena Hilakivi-Clarke, Robert Clarke, Yue Wang, Jianhua Xuan
2015 Bioinformatics  
In this paper, we develop a BMRF-Net package, implemented in Java and Cþþ, to identify protein interaction subnetworks based on a bagging Markov random field (BMRF) framework.  ...  Identification of protein interaction subnetworks is an important step to help us understand complex molecular mechanisms in cancer.  ...  Description The BMRF method BMRF-Net is a computational tool to identify protein interaction subnetworks based on a BMRF framework (Chen et al., 2013) .  ... 
doi:10.1093/bioinformatics/btv137 pmid:25755273 pmcid:PMC4495295 fatcat:x45x6p6nnjcnflyzf4bngogizi
« Previous Showing results 1 — 15 out of 553,463 results