Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово linearity [30 articles]

Recent papers classified by the tag linearity.
  • A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
    (26 Jan 2004)
    by Patricia M Hill, Enea Zaffanella, Roberto Bagnara
    posted to analysis linearity logic programming theory tree by wasi on 2005-08-17 18:18:11 as **
  • Is there a use for linear logic?
    Vol. 26, No. 9. (September 1991), pp. 255-273.
    by Philip Wadler
    posted to linearity by twleung on 2004-12-31 23:34:42 along with 3 people and 1 group dherman rwtodd tautologico NU-PRL
  • A Taste of Linear Logic
    (1993)
    by PL Wadler
    posted to linearity by twleung on 2004-12-31 23:34:55 along with 3 people and 1 group dherman tautologico pedagand NU-PRL
  • There's no substitute for linear logic
    (December 1991)
    by P Wadler
    posted to linearity by twleung on 2004-12-31 23:33:34 along with 3 people and 1 group dherman JacquesC tautologico NU-PRL
  • Linear types can change the world!
    (1990), pp. 347-359.
    by P Wadler
    edited by M Broy, C Jones
    posted to linear-types linearity types by tautologico on 2005-03-23 02:01:02 as **** along with 11 people and 2 groups draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw bfraser robennals ds mcclurmc NU-PRL Lambda the Ultimate
  • Call-by-name, call-by-value, call-by-need, and the linear lambda calculus
    (1995)
    by MARAIST Maraist, ODERSKY Odersky, TURNER Turner, WADLER Wadler
    posted to lambda-calculus linear-logic linearity by tautologico on 2005-03-23 02:09:05 as ** along with 1 person and 1 group dherman NU-PRL
  • Once upon a type
    (1995)
    by David N Turner, Philip Wadler, Christian Mossin
    posted to linearity type-theory types by tautologico on 2005-03-20 05:13:11 as **** along with 7 people and 3 groups dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Linear logic, monads and the lambda calculus
    (# jul 1996)
    by N Benton, P Wadler
    posted to lambda-calculus linear-types linearity monads by tautologico on 2005-03-23 02:08:08 as *** along with 4 people and 1 group dherman glaubersp ds kozima NU-PRL
  • Adoption and Focus: Practical Linear Types for Imperative Programming
    (# Jun 2002)
    by M Fähndrich, R Deline
    posted to linear-types linearity types by tautologico on 2005-03-24 18:41:36 as ***
  • Operational interpretations of linear logic
    Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248.
    by David N Turner, Philip Wadler
    posted to linear-logic linearity by tautologico on 2005-03-23 02:07:28 as *** along with 2 people and 1 group dherman ds NU-PRL
  • Reference Counting as a Computational Interpretation of Linear Logic
    Journal of Functional Programming, Vol. 6, No. 2. (1996), pp. 195-244.
    by Jawahar Chirimar, Carl A Gunter, Jon G Riecke
    posted to linear-logic linearity memory-management reference-counting by tautologico on 2005-07-15 21:14:06 as *****
  • Linearly Used Eects:
    by Monadic A Cps
    posted to effects linearity by tautologico on 2005-03-20 05:10:06 as *** along with 1 person and 1 group dherman NU-PRL
  • Lively linear Lisp: “look ma, no garbage!”
    SIGPLAN Not., Vol. 27, No. 8. (August 1992), pp. 89-98.
    by Henry G Baker
    posted to linearity memory-management by tautologico on 2005-07-15 21:07:01 as *** along with 2 people rwtodd dsilva
  • “Use-once” variables and linear objects: storage management, reflection and multi-threading
    SIGPLAN Not., Vol. 30, No. 1. (January 1995), pp. 45-52.
    by Henry G Baker
    posted to linearity by tautologico on 2006-03-11 16:28:13 as ***
  • On Regions and Linear Types
    (2001), pp. 181-192.
    by David Walker, Kevin Watkins
    posted to linear-types linearity memory-management regions by tautologico on 2005-03-24 06:23:44 as **** along with 1 person tomatoplan
  • Low-level linear memory management
    (2002)
    by C Hawblitzel, H Huang, E Krupski, E Wei
    posted to linearity memory-management by tautologico on 2005-07-27 00:21:28 as ****
  • A comparative study of the behavioral deficits following lesions of various parts of the zebra finch song system: implications for vocal learning.
    J Neurosci, Vol. 11, No. 9. (September 1991), pp. 2896-2913.
    by C Scharff, F Nottebohm
    posted to linearity consistency by soramame_0518 on 2007-01-30 16:37:39 as ***
  • Volatility and Risk Estimation with Linear and Nonlinear Methods Based on High Frequency Data
    by Marcel Dettling, Peter Bühlmann
    posted to linearity nonlinearity volatility by Scis0000002 on 2007-12-17 00:03:11 as **
  • Periodic standing-wave approximation: Nonlinear scalar fields, adapted coordinates, and the eigenspectral method
    Phys. Rev. D, Vol. 71, No. 10. (May 2005), 104017.
    by B Bromley, R Owen, RH Price
    posted to fields general-relativity linearity nonlinearity nonlinear-standing-waves scalar-fields standing-gravitational-waves standing-waves stationary-waves by Scis0000002 on 2007-12-10 01:59:37 as **
  • A Theory of Concepts and Their Combinations II: A Hilbert Space Representation
    (26 Feb 2004)
    by Diederik Aerts, Liane Gabora
    posted to categorization classification conceptual-structures context epistemology fca hilbert-space linearity logical-structures quantum-logic semantics state-space subspace svm unified-concept-theory by scis0000001 on 2007-03-07 14:18:03 as ** along with 2 people JayDugger Scis0000002
  • From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
    Vol. 38, No. 9. (September 2003), pp. 125-125.
    by Harry G Mairson
    posted to classification context flow games hilbert-space iff linearity semantics subspace by scis0000001 on 2006-12-29 14:29:30 as ** along with 4 people and 2 groups dherman rogargon mahler nalf NU-PRL Rightscom
  • The linearity of quantum mechanics at stake: the description of separated quantum entities
    (2002)
    by D Aerts, F Valckenborgh
    posted to combination linearity physical-structures quantum-theory by scis0000001 on 2007-04-28 13:42:02 as **
  • Temporal Concept Analysis
    by Karl E Wolff
    posted to behavior behavior-space chu-space computational-epistemology conceptual-structures continuity discreteness domain-theory duality dynamical-system dynamics event event-space fca granularity iff information-system lca linearity mereology modeling n-information-system phase-space polyadic-concept-analysis qualitative scale-relativity scale-space space-time spatio-temporal state-space symbolic-dynamics tca temporal temporal-concept-analysis time transition-system unified-concept-theory by scis0000001 on 2006-12-07 16:23:37 as ** along with 1 person Scis0000002
  • Linearity and compound physical systems: the case of two separated spin 1/2 entities
    (2002)
    by D Aerts, F Valckenborgh
    posted to compoundness hilbert-space linearity non-linearity nonlinearity physical-structures property-lattice quantum-theory by scis0000001 on 2007-03-11 16:03:44 as **
  • Down With the Bureaucracy of Syntax!
    by Pattern M For
    posted to linear-types linearity by dherman to the group NU-PRL on 2004-12-29 17:48:21
  • Implementing Distributed Systems Using Linear Naming
    No. AITR-1627. (1993)
    by Alan Bawden
    posted to concurrency distributed-systems linearity by dherman to the group NU-PRL on 2004-12-25 21:11:53 along with 1 person zednenem
  • Adoption and focus: practical linear types for imperative programming
    Vol. 37, No. 5. (May 2002), pp. 13-24.
    by Manuel Fahndrich, Robert Deline
    posted to linear-types linearity by dherman to the group NU-PRL on 2004-12-29 17:50:59 along with 2 people bec voigt
  • Linearly used continuations
    (2001)
    by J Berdine, P O'Hearn, U Reddy, H Thielecke
    posted to continuations effects linearity by dherman to the group NU-PRL on 2005-03-01 22:50:58 as **
  • Why is Schrodinger's Equation Linear?
    (24 December 2004)
    by Rajesh R Parwani
    posted to cosmology informationtheoretic linearity lorentz neutrino schroedinger by A_Olympia to the group Blog_and_Wiki_Research on 2004-12-28 16:30:18 along with 1 group Philosophy_of_Information
  • Linearity and normalization in simple cells of the macaque primary visual cortex.
    J Neurosci, Vol. 17, No. 21. (1 November 1997), pp. 8621-8644.
    by M Carandini, DJ Heeger, JA Movshon
    posted to cortex cortical linearity normalization visual by dep on 2006-03-26 23:00:24 as read along with 2 people and 2 groups klouie aufrank Glimcher_Lab ur-cls
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/linearity

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.