Efficient

Results: 18776



#Item
541

Efficient Syntax-driven Lumping of Differential Equations Luca Cardelli1 , Mirco Tribastone2 , Max Tschaikowski2 , and Andrea Vandin2 1 2

Add to Reading List

Source URL: cse.lab.imtlucca.it

- Date: 2017-04-12 13:01:13
    542

    QUICK REFERENCE GUIDE USING WESTLAW FIND & PRINT Westlaw Find & Print™ provides an efficient way to retrieve up to 100 full text documents on Westlaw and send them to a printer or email address, or download it to a fi

    Add to Reading List

    Source URL: static.legalsolutions.thomsonreuters.com

    - Date: 2017-05-11 09:29:38
      543

      Lapin: An Efficient Authentication Protocol Based on Ring-LPN Stefan Heyse1 , Eike Kiltz1 , Vadim Lyubashesvky2 , Christof Paar1 , and Krzysztof Pietrzak3? 1 Ruhr-Universit¨at Bochum

      Add to Reading List

      Source URL: www.iacr.org

      - Date: 2012-03-01 05:54:47
        544

        Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Prosecco team 5 year vision

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        - Date: 2017-03-17 11:41:14
          545

          Case study Houston Healthcare HP MPS solution supports efficient healthcare delivery while reducing costs

          Add to Reading List

          Source URL: www.itworldcanada.com

            546

            Journal of Machine Learning ResearchSubmitted 1/15; Revised 2/17; Published 3/17 Memory Efficient Kernel Approximation Si Si∗

            Add to Reading List

            Source URL: jmlr.org

            - Date: 2017-04-12 14:40:49
              547

              SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătăli Hriț u Inria Paris Prosecco team

              Add to Reading List

              Source URL: prosecco.gforge.inria.fr

              - Date: 2016-12-16 10:47:51
                548

                Efficient Authentication from Hard Learning Problems Eike Kiltz1? , Krzysztof Pietrzak2?? , David Cash3? ? ? , Abhishek Jain4† , and Daniele Venturi5† 1

                Add to Reading List

                Source URL: www.iacr.org

                - Date: 2013-07-09 17:42:18
                  549

                  SECOMP Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris (visiting researcher at Microsoft until end of November)

                  Add to Reading List

                  Source URL: prosecco.gforge.inria.fr

                  - Date: 2016-11-03 16:57:14
                    550

                    In Proceedings of 24th British Machine Vision Conference (BMVC), Bristol, UK, 2013. STÜCKLER, BEHNKE: EFFICIENT DENSE 3D RIGID-BODY MOTION SEGMENTATION 1 Efficient Dense 3D Rigid-Body Motion

                    Add to Reading List

                    Source URL: ais.uni-bonn.de

                    - Date: 2013-08-17 16:37:12
                      UPDATE