Adjoint

Results: 1384



#Item
281Functional programming / Data types / Type theory / Higher-order functions / Adjoint functors / Monad / Pattern matching / Type system / List / Software engineering / Declarative programming / Computing

Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2014-06-24 05:23:23
282Adjoint / Thorn

Journal of Computational Physics–794 www.elsevier.com/locate/jcp Adjoint and defect error bounding and correction for functional estimates Niles A. Pierce

Add to Reading List

Source URL: www.piercelab.caltech.edu

Language: English - Date: 2010-09-08 02:56:30
283Monoidal categories / Homotopy theory / Algebraic structures / Adjoint functors / Monad / Hopf algebra / Algebraic topology / Monoid / Crossed module / Abstract algebra / Algebra / Category theory

97th Peripatetic Seminar on Sheaves and Logic at the Université catholique de Louvain, on the occasion of Rudger Kieboom’s 65th birthday Saturday 31st January:00 Registration Chair: Borceux 9:30 Janelidze: “H

Add to Reading List

Source URL: sites.uclouvain.be

Language: English - Date: 2015-01-27 10:24:47
284

Directeur(rice) adjoint(e) au service sports

Add to Reading List

Source URL: www.ciup.fr

Language: French - Date: 2015-01-06 08:45:06
    285

    Dr Pierre ZANGER CV résumé -Psychiatre, psychanalyste, Ancien Interne des Hôpitaux de Paris, médecin-adjoint à l’hôpital de jour

    Add to Reading List

    Source URL: www.sfu-paris.fr

    Language: French - Date: 2014-06-26 09:21:08
      286Tsinghua University / GEOS / Computing / Nesting / Software / Classes of computers / Chemical transport model

      Intercontinental Source Attribution of Ozone Pollution with the Adjoint Method

      Add to Reading List

      Source URL: acmg.seas.harvard.edu

      Language: English - Date: 2015-05-14 09:59:05
      287Operator theory / Linear algebra / Hilbert space / Matrix theory / Functional analysis / Self-adjoint operator / Spectral theorem / Spectral theory / Eigenvalues and eigenvectors / Algebra / Mathematical analysis / Mathematics

      Journal of Machine Learning Research934 Submitted 12/08; Revised 8/09; Published 2/10 On Learning with Integral Operators Lorenzo Rosasco∗

      Add to Reading List

      Source URL: web.cse.ohio-state.edu

      Language: English - Date: 2010-06-23 13:13:23
      288

      HPC Project s’adjoint un expert opérationnel de la simulation de défense Meudon la Forêt, 26 avril 2011 – Le lieutenant-colonel (ER) Loïc Gernigon rejoint la société HPC Project où il vient renforcer l’équ

      Add to Reading List

      Source URL: www.silkan.com

      Language: French - Date: 2013-02-21 10:07:37
        289Homotopy theory / Algebraic topology / Algebraic structures / Higher category theory / Groupoid / Functor / Adjoint functors / Sheaf / Natural transformation / Abstract algebra / Category theory / Mathematics

        Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren

        Add to Reading List

        Source URL: mawarren.net

        Language: English - Date: 2013-08-22 15:46:58
        290Spectral theory / Operator theory / Matrix theory / Singular value decomposition / Spectrum / Self-adjoint operator / Spectral theorem / Hilbert space / Eigenvalues and eigenvectors / Algebra / Mathematics / Linear algebra

        QUANTUM THEORY AND ANALYSIS John C. BaezStates, Observables, and Symmetries The basic ingredients of a theory of a physical system are mathematical objects describing 1) a set S of states of the system, 2) the

        Add to Reading List

        Source URL: www.math.ucr.edu

        Language: English - Date: 2008-11-18 16:54:34
        UPDATE