J. Nathan Foster - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged variable binding

ML-Consensus: A General Consensus Model for Variable-Length Transcription Factor Binding SitesSaad Quader, Nathan Snyder, Kevin Su, Ericka Mochan, Chun-Hsi Huang. evoW 2011: 25-36 [doi]

Variable binding by synaptic strength changeChristian R. Huyck. connection, 21(4):327-357, 2009. [doi]

A Tabling Implementation Based on Variables with Multiple BindingsPablo Chico de GuzmÃ¡n, Manuel Carro, Manuel V. Hermenegildo. ICLP 2009: 190-204 [doi]

A (Somewhat) New Solution to the Variable Binding ProblemLeon Barrett, Jerome Feldman, Liam Mac Dermed. neco, 20(9):2361-2378, 2008. [doi]

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. JFP, 18(1):87-140, 2008. [doi]

Engineering formal metatheoryBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. POPL 2008: 3-15 [doi]

Register binding guided by the size of variablesNoureddine Chabini, Wayne Wolf. iccd 2007: 587-594 [doi]

An Hybrid Neural System based on Adaptive Resonance Theory and Representational Redescription capable of Variable BindingLuis Marti. ijcnn 2007: 2448-2453 [doi]

Nominal Reasoning Techniques in Coq: (Extended Abstract)Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich. ENTCS, 174(5):69-77, 2007. [doi]

Pseudo-distributive laws and axiomatics for variable bindingMiki Tanaka, John Power. lisp, 19(2-3):305-337, 2006. [doi]

VOMBAT: prediction of transcription factor binding sites using variable order Bayesian treesJan Grau, Irad E. Ben-Gal, Stefan Posch, Ivo Grosse. nar, 34(Web-Server-Issue):529-533, 2006. [doi]

Bayesian variable selection for gene expression modeling with regulatory motif binding sites in neuroinflammatory eventsKuang-Yu Liu, Xiaobo Zhou, Kinhong Kan, Stephen T. C. Wong. ni, 4(1):95-117, 2006. [doi]

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

Identification of transcription factor binding sites with variable-order Bayesian networksIrad E. Ben-Gal, Ayala Shani, Andre Gohr, Jan Grau, S. Arviv, Armin Shmilovici, Stefan Posch, Ivo Grosse. bioinformatics, 21(11):2657-2666, 2005. [doi]

XQuery containment in presence of variable binding dependenciesLi Chen, Elke A. Rundensteiner. WWW 2005: 288-297 [doi]

ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005Randy Pollack, editor, ACM, 2005.

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]

Substitution in non-wellfounded syntax with variable bindingRalph Matthes, Tarmo Uustalu. TCS, 327(1-2):155-174, 2004. [doi]

Fuzzy Quantifiers, Multiple Variable Binding and Branching QuantificationIngo Glöckner. ifsa 2003: 135-142 [doi]

Substitution in Non-wellfounded Syntax with Variable BindingRalph Matthes, Tarmo Uustalu. ENTCS, 82(1):191-205, 2003. [doi]

A unified category theoretic approach to variable bindingJohn Power. ICFP 2003: [doi]

The Comparative Molecular Surface Analysis (CoMSA) with Modified Uniformative Variable Elimination-PLS (UVE-PLS) Method: Application to the Steroids Binding the Aromatase EnzymeJaroslaw Polanski, Rafal Gieleciak. jcisd, 43(2):656-666, 2003. [doi]

Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003ACM, 2003.

Term rewriting with variable binding: an initial algebra approachMakoto Hamana. ppdp 2003: 148-159 [doi]

A New Approach to Abstract Syntax with Variable BindingMurdoch Gabbay, Andrew M. Pitts. fac, 13(3-5):341-363, 2002. [doi]

Preface: Mechanised Reasoning about Languages with Variable Binding 2001Simon Ambler, Roy L. Crole, Alberto Momigliano. TCS, 58(1):115-116, 2001. [doi]

Variable binding operators in transition system specificationsC. A. Middelburg. jlp, 47(1):15-45, 2001.

Abstract Syntax and Variable Binding for Linear BindersMiki Tanaka. mfcs 2000: 670-679 [doi]

CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- CalculiMark-Oliver Stehr. ENTCS, 36:70-92, 2000. [doi]

Least Commitment on Variable Binding in Presence of Incomplete KnowledgeRosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano. ecp 2000: 159-171

Abstract Syntax and Variable BindingMarcelo P. Fiore, Gordon D. Plotkin, Daniele Turi. lics 1999: 193-202 [doi]

Structural models of antibody variable fragments: A method for investigating binding mechanismsSamuel Petit, Frédéric Brard, Gérard Coquerel, Guy Perez, François Tron. jcamd, 12(2):147-163, 1998. [doi]

A Conservative Look at Operational Semantics with Variable BindingWan Fokkink, Chris Verhoef. iandc, 146(1):24-54, 1998.

Building Program Optimizers with Rewriting StrategiesEelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. ICFP 1998: 13-26 [doi]

The abstract variable-binding calculusDon Pigozzi, Antonino Salibra. sLogica, 55(1):129-179, 1995.

Delaying Variable Binding Commitments in PlanningQiang Yang, Alex Y. M. Chan. aips 1994: 182-187

Dependency-Directed Binding of Variables For Constraint Logic ProgrammingGeorge K. Papakonstantinou, C. Voliotis, Nikitas M. Sgouros. DEXA 1994: 734-743

Variable Binding Using Serial Order in Recurrent Neural NetworksJoan Lòpez-Moliner, Josep M. Sopena. iwann 1993: 90-95

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical ScopesShinn-Der Lee, Daniel P. Friedman. POPL 1993: 479-492

Efficient Type Inference for Higher-Order Binding-Time AnalysisFritz Henglein. fpca 1991: 448-472 [doi]

Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist SystemsPaul Smolensky. ai, 46(1-2):159-216, 1990.

On High-Level Inferencing and the Variable Binding Problem in Connectionist NetworksSteffen Hölldobler. ogai 1990: 180-185

runs on WebDSL