Rafał

Results: 236



#Item
31Description and Functions of a Package eClifford for Computations in Clifford Algebras Cl(p,q,r) by Rafal Ablamowicz, Ph.D. Department of Mathematics

Description and Functions of a Package eClifford for Computations in Clifford Algebras Cl(p,q,r) by Rafal Ablamowicz, Ph.D. Department of Mathematics

Add to Reading List

Source URL: math.tntech.edu

Language: English - Date: 2015-11-16 19:18:21
    32arXiv:0905.3019v1 [math.RA] 19 MayGeometric Roots of −1 in Clifford Algebras Cℓp,q with p + q ≤ 4 Eckhard Hitzer and Rafal Ablamowicz Soli Deo Gloria.

    arXiv:0905.3019v1 [math.RA] 19 MayGeometric Roots of −1 in Clifford Algebras Cℓp,q with p + q ≤ 4 Eckhard Hitzer and Rafal Ablamowicz Soli Deo Gloria.

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2009-05-19 15:21:12
      33em • conference highlights Rafal Olkis/iStock/Thinkstock by Garry Gunter, Dominic DiCicco, Kevin Black, Chris Tennant,

      em • conference highlights Rafal Olkis/iStock/Thinkstock by Garry Gunter, Dominic DiCicco, Kevin Black, Chris Tennant,

      Add to Reading List

      Source URL: www.crcao.org

      Language: English - Date: 2015-08-05 08:41:09
        34Rafał Wesołowski CLEAN CODE Rafał Wesołowski Beruf:

        Rafał Wesołowski CLEAN CODE Rafał Wesołowski Beruf:

        Add to Reading List

        Source URL: wesolowski.github.io

        - Date: 2016-04-21 18:08:31
          35seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi

          seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi

          Add to Reading List

          Source URL: research.davidcock.fastmail.fm

          Language: English - Date: 2014-11-20 18:54:31
            36Rafał Donczew Lista publikacji z dnia 31 października 2014 Publikacje w czasopismach 1. Donczew R., Mielke T., Jaworski P., Zakrzewska-Czerwińska J., Zawilak-Pawlik A., 2014, Assembly of

            Rafał Donczew Lista publikacji z dnia 31 października 2014 Publikacje w czasopismach 1. Donczew R., Mielke T., Jaworski P., Zakrzewska-Czerwińska J., Zawilak-Pawlik A., 2014, Assembly of

            Add to Reading List

            Source URL: www.fnp.org.pl

            Language: English - Date: 2015-07-09 10:10:28
              37Rafał Kowerdziej Lista publikacji z dnia 31 października 2014 Publikacje w czasopismach 1. Kowerdziej R., Olifierczuk M., Parka J., Wróbel J., 2014, Terahertz characterization of tunable metamaterial based on electric

              Rafał Kowerdziej Lista publikacji z dnia 31 października 2014 Publikacje w czasopismach 1. Kowerdziej R., Olifierczuk M., Parka J., Wróbel J., 2014, Terahertz characterization of tunable metamaterial based on electric

              Add to Reading List

              Source URL: www.fnp.org.pl

              Language: English - Date: 2015-07-09 10:15:50
                38Toward Artificial Ethical Learners That Could Also Teach You How to Be a Moral Man Rafal Rzepka and Kenji Araki Graduate School of Information Science and Technology Hokkaido University Sapporo, Japan

                Toward Artificial Ethical Learners That Could Also Teach You How to Be a Moral Man Rafal Rzepka and Kenji Araki Graduate School of Information Science and Technology Hokkaido University Sapporo, Japan

                Add to Reading List

                Source URL: cognitum.ws

                Language: English - Date: 2015-06-28 19:18:56
                  39CLIFFORD*: A Maple 13 Program for Clifford Algebra Computing Rafal Ablamowicz Department of Mathematics Tennessee Technological University, Cookeville, TN

                  CLIFFORD*: A Maple 13 Program for Clifford Algebra Computing Rafal Ablamowicz Department of Mathematics Tennessee Technological University, Cookeville, TN

                  Add to Reading List

                  Source URL: math.tntech.edu

                  Language: English - Date: 2012-06-28 21:28:43
                    40seL4: Formal Verification of an Operating-System Kernel Gerwin Klein1,2 , June Andronick1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Ko

                    seL4: Formal Verification of an Operating-System Kernel Gerwin Klein1,2 , June Andronick1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Ko

                    Add to Reading List

                    Source URL: research.davidcock.fastmail.fm

                    Language: English - Date: 2014-11-20 18:54:26