Filters








9,313 Hits in 11.2 sec

Higher Order Unification via Explicit Substitutions

Gilles Dowek, Thérèse Hardin, Claude Kirchner
<span title="">2000</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
Such a separation and delay are provided by a calculus of explicit substitutions.  ...  Thus we come up with a new higher order uni cation algorithm which eliminates some burdens of the previous algorithms, in particular the functional handling of scopes.  ...  This work has been supported partly by the French Inter-PRC operation \M ecanisation du raisonnement", the Esprit basic research actions Confer and Types and the Esprit working group CCL.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2837">doi:10.1006/inco.1999.2837</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/smdrvm24ybfozgesugh2y67qlm">fatcat:smdrvm24ybfozgesugh2y67qlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224020119/http://pdfs.semanticscholar.org/5a62/b1bc0db2794285fd18936e497e59b4e12648.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/62/5a62b1bc0db2794285fd18936e497e59b4e12648.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.1999.2837"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Higher-order equational unification via explicit substitutions [chapter]

Claude Kirchner, Christophe Ringeissen
<span title="">1997</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Kirchner for performing uni cation of simply typed -terms in a rst-order setting via the -calculus of explicit substitutions. Additional rules are used to deal with the interaction between E and .  ...  a calculus of explicit substitutions.  ...  So, in this paper, we show how to perform higher-order E-uni cation thanks to the use of explicit substitutions and to the related rst-order rewrite system .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0027003">doi:10.1007/bfb0027003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bsgnksilt5ed3fqruscrxvjrbm">fatcat:bsgnksilt5ed3fqruscrxvjrbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223200904/http://pdfs.semanticscholar.org/4c7f/8de4f47159d0db7afc06c6ed367ba6324b10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4c/7f/4c7f8de4f47159d0db7afc06c6ed367ba6324b10.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0027003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Higher-Order Substitutions

Dominic Duggan
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
A new calculus of explicit substitutions for higher-order abstract syntax is introduced, allowing a high-level description of variable binding in object languages while also providing substitutions as  ...  The *_-calculus is a concrete *-calculus of explicit substitutions, designed for reasoning about implementations of *-calculi.  ...  We use the |-order *-calculus with products as a metalanguage, rather than the simple *-calculus used by Nipkow.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.2000.2887">doi:10.1006/inco.2000.2887</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ivrt66hz5zhvbg5qcg6lldfkby">fatcat:ivrt66hz5zhvbg5qcg6lldfkby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302034258/http://pdfs.semanticscholar.org/af07/7063343bf186a69e225ce205923fba20f6a0.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/af/07/af077063343bf186a69e225ce205923fba20f6a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1006/inco.2000.2887"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Second-Order Matching via Explicit Substitutions [chapter]

Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The past few years have established the benefit of using explicit substitutions for theorem proving and higher-order unification.  ...  In this paper, we will make use of explicit substitutions to facilitate matching: we develop a second-order matching algorithm via the λσ-style of explicit substitutions.  ...  We would like to thank Claude Kirchner for the comments that motivated this work and the referees for their suggestions and constructive criticisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32275-7_29">doi:10.1007/978-3-540-32275-7_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bfzqutroerhbtcdgys4mro6yei">fatcat:bfzqutroerhbtcdgys4mro6yei</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401044604/http://www.cedar-forest.org/forest/papers/conference-publications/somes.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/bf/40/bf401343c2540af97013dbeedcc3ecd549b6e4c4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-32275-7_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Higher-order term indexing using substitution trees

Brigitte Pientka
<span title="2009-10-01">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3kjjbv4edjbezl2w37ipy5lo5a" style="color: black;">ACM Transactions on Computational Logic</a> </i> &nbsp;
Second, the scoping of variables and binders in the higher-order case presents challenges.  ...  We present insertion of terms into the index based on computing the most specific linear generalization of two linear higher-order patterns, and retrieval based on matching two linear higher-order patterns  ...  Acknowledgments I would like to thank the reviewers for their thorough and extensive comments which helped improve this work substantially.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1614431.1614437">doi:10.1145/1614431.1614437</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/slumbzhi4vavbl3pnofqzhuolq">fatcat:slumbzhi4vavbl3pnofqzhuolq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401030131/http://www.cs.mcgill.ca/~bpientka/papers//tocl-hoindexing.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/50/da50b6f25e15e29ada6a06a8c13e681da66fd548.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1614431.1614437"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

Brigitte Pientka
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
This paper sketches a foundation for programming with higher-order abstract syntax and explicit substitutions based on contextual modal type theory [9] .  ...  We sketch the static and operational semantics of this language, and give several examples which illustrate these features.  ...  This ensures that higher-order pattern matching remains decidable in the presence of λ-abstraction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.10.037">doi:10.1016/j.entcs.2006.10.037</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dwyffkssurg7pg6fxkx56vkyh4">fatcat:dwyffkssurg7pg6fxkx56vkyh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222022720/https://core.ac.uk/download/pdf/82098346.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/af/0daf6c8f247cabe5e2e58cb001b9e9d8be5bdb64.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.10.037"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Explicit substitutions in the reduction of lambda terms

Gopalan Nadathur, Xiaochu Qi
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mht6wa2vdbg7dn6n6lws4hpzti" style="color: black;">Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP &#39;03</a> </i> &nbsp;
Various new notations for lambda terms remedy this situation by proposing an explicit treatment of substitutions.  ...  Unfortunately, a naive implementation of beta reduction based on such notations has the potential of being costly: each use of the substitution propagation rules causes the creation of a new structure  ...  ACKNOWLEDGEMENTS This work was supported in part by Grant CCR-0096322 from the NSF and by a Grant in Aid of Research from the University of Minnesota.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888270">doi:10.1145/888251.888270</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppdp/NadathurQ03.html">dblp:conf/ppdp/NadathurQ03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jzaw6b4fyzhqzn2t62jfcugyqy">fatcat:jzaw6b4fyzhqzn2t62jfcugyqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080704202046/http://www-users.cs.umn.edu/~gopalan/papers/reduction.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/6a/de6a5fc417984606bfd8b510178aeda3afdf9a03.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/888251.888270"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

Brigitte Pientka
<span title="2008-01-14">2008</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We present a novel type-theoretic foundation based on contextual modal types which allows us to recursively analyze open terms via higher-order pattern matching.  ...  This is achieved by representing binders in the object-language via binders in the metalanguage.  ...  Special thanks go to Joshua Dunfield for helping to typeset the code.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328897.1328483">doi:10.1145/1328897.1328483</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f3al7mdaazhcnbv7kte5k2qsou">fatcat:f3al7mdaazhcnbv7kte5k2qsou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080221160301/http://www.cs.mcgill.ca/~bpientka/papers/hoasfun-short.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/6f/aa6fe85fdeb465ec7517d0f0d3e2e60bfdb08447.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328897.1328483"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

Flávio L.C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gyhc4ppmyjfm5a64dneqesv7ka" style="color: black;">Journal of Applied Logic</a> </i> &nbsp;
We compare two different styles of Higher-Order Unification (HOU): the classical HOU algorithm of Huet for the simply typed λ-calculus and HOU based on the λσ-calculus of explicit substitutions.  ...  Afterwards, we introduce a new structural notation called unification tree, which eases the presentation of the subgoals generated by Huet's algorithm and its behaviour.  ...  Acknowledgements We would like to thank the careful reading, constructive corrections and detailed suggestions of one of the referees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2006.10.001">doi:10.1016/j.jal.2006.10.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ym4njp7wnfkbd4dm4virhbh5m">fatcat:3ym4njp7wnfkbd4dm4virhbh5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401045938/http://www.cedar-forest.org/forest/papers/journals-publications/hou-huet-ls.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/5e/a85e6cded206d0f61099da8f07ee3489ed43cc77.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jal.2006.10.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions

Brigitte Pientka
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;08</a> </i> &nbsp;
We present a novel type-theoretic foundation based on contextual modal types which allows us to recursively analyze open terms via higher-order pattern matching.  ...  This is achieved by representing binders in the object-language via binders in the metalanguage.  ...  Special thanks go to Joshua Dunfield for helping to typeset the code.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328483">doi:10.1145/1328438.1328483</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/Pientka08.html">dblp:conf/popl/Pientka08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pq6lxbndpzda5jtmj6sfil42ke">fatcat:pq6lxbndpzda5jtmj6sfil42ke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080221160301/http://www.cs.mcgill.ca/~bpientka/papers/hoasfun-short.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/aa/6f/aa6fe85fdeb465ec7517d0f0d3e2e60bfdb08447.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328483"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Loo.py: from fortran to performance via transformation and substitution rules

Andreas Klöckner
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpubwsjaozha5itdes6pzyz2fm" style="color: black;">Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming - ARRAY 2015</a> </i> &nbsp;
It eases the trade-off between achieving high performance, portability, and programmability by allowing the user to apply a large and growing family of transformations to an input program.  ...  Much of this code could, in principle, make good use of data-parallel throughput-oriented computer architectures.  ...  Acknowledgments I would like to acknowledge tremendously influential discussions with Tim Warburton that led to the genesis of Loo.py and guided its design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2774959.2774969">doi:10.1145/2774959.2774969</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pldi/Klockner15.html">dblp:conf/pldi/Klockner15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ik4euogyd5blnnmrksbtlwirq4">fatcat:ik4euogyd5blnnmrksbtlwirq4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218133920/https://static.aminer.org/pdf/20170130/pdfs/pldi/phnqigmxthepcojvxlboz7ujcr0yvsgi.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/6a/776a8feaa5de418c7fed7c25e8ac4b57340ad071.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2774959.2774969"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi [article]

Andrew Gacek, Gopalan Nadathur
<span title="2007-02-26">2007</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper concerns the explicit treatment of substitutions in the lambda calculus.  ...  Another contribution of the paper is the identification of a broad set of properties that are desirable for explicit substitution calculi to support and a classification of a variety of proposed systems  ...  and do not necessarily reflect the views of the National Science Foundation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0702152v1">arXiv:cs/0702152v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rya2abpyczbkdahxdlpzspmdri">fatcat:rya2abpyczbkdahxdlpzspmdri</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0702152/cs0702152.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f1/d0/f1d052fcaa3df80b98a4bad10efe19cad2665dee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0702152v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Capacity of DNA Data Embedding Under Substitution Mutations

Félix Balado
<span title="">2013</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/niovmjummbcwdg4qshgzykkpfu" style="color: black;">IEEE Transactions on Information Theory</a> </i> &nbsp;
In this paper the Shannon capacity of DNA data embedding is obtained for the case in which DNA sequences are subject to substitution mutations modelled using the Kimura model from molecular evolution studies  ...  Inferences are also drawn with respect to the biological implications of some of the results presented.  ...  However it illustrates that the higher the transition/transversion ratio ε, the higher the capacity.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tit.2012.2219495">doi:10.1109/tit.2012.2219495</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lugwrwsu65blpoqwir3fe3p45m">fatcat:lugwrwsu65blpoqwir3fe3p45m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814065205/http://researchrepository.ucd.ie/bitstream/handle/10197/3971/capacity-final-pdf.pdf?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/e4/a8e4e7b3721ff57b575bca0400e7dd57ba5016bd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tit.2012.2219495"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Substituting a Substitute Currency: The Case of Estonia

Kari Heimonen
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tol7woxlqjeg5bmzadeg6qrg3e" style="color: black;">Social Science Research Network</a> </i> &nbsp;
Evidence from low and moderate inflation countries indicates that in order to have a proper measure for the dynamics of currency substitution, explicit measures for transaction demand are needed.  ...  encourage monetary unification outside EMU. 12 The dynamics of substitution also deserve analysis.  ...  BOFIT Discussion Papers No 1 Victor Polterovich: Employment -wage decisions in the insider-owned firm Editor-in-Chief Jukka Pirttilä  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.1015784">doi:10.2139/ssrn.1015784</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nf55rq5majdd3alfhcdwdwwacu">fatcat:nf55rq5majdd3alfhcdwdwwacu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190320113032/https://core.ac.uk/download/pdf/6659590.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/64/f4/64f41684f392c73e3c80053f5ce9d5433886621f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.1015784"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★

F. L. C. de Moura, M. Ayala-Rincón, F. Kamareddine
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5dxceprzerhvngc2dulzkx45le" style="color: black;">Journal of Applied Non-Classical Logics</a> </i> &nbsp;
Acknowledgements We would like to thank Manuel Maarek and Stéphane Gimenez for the useful help with Ocaml and suggestions to improve the system.  ...  Open terms are essential in higher-order unification and matching algorithms that use explicit substitutions [DOW 00, AYA 01, MOU 05].  ...  (b.2) Open terms: in this case, the language of the explicit substitutions calculus is expanded with a new class of variables, known as meta-variables.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.16.119-150">doi:10.3166/jancl.16.119-150</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uv32uouixrcjzaggh4nod2e5tq">fatcat:uv32uouixrcjzaggh4nod2e5tq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190224030936/http://pdfs.semanticscholar.org/51ab/90ad52e7927abb7b7600b961c6ac84c62153.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/51/ab/51ab90ad52e7927abb7b7600b961c6ac84c62153.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3166/jancl.16.119-150"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 9,313 results