ADAM

Results: 10591



#Item
491

MIZAR in MathWiki Adam Naumowicz Institute of Computer Science University of Bialystok, Poland

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2007-11-12 11:08:05
    492

    Internet Jones and the Raiders of the Lost Trackers: An Archaeological Study of Web Tracking from 1996 to 2016 Adam Lerner∗, Anna Kornfeld Simpson∗, Tadayoshi Kohno, Franziska Roesner University of Washington {lerner

    Add to Reading List

    Source URL: trackingexcavator.cs.washington.edu

    - Date: 2016-07-20 22:37:52
      493

      Side-channel Vulnerability Factor: A Metric for Measuring Information Leakage John Demme Robert Martin Adam Waksman Simha Sethumadhavan Computer Architecture Security and Technology Lab Department of Computer Science, Co

      Add to Reading List

      Source URL: www.cs.columbia.edu

      - Date: 2012-06-11 10:18:08
        494

        Constraining Bridges Between Levels of Analysis: A Computational Justification for Locally Bayesian Learning Adam N. Sanborna , Ricardo Silvab a Department b Department

        Add to Reading List

        Source URL: www2.warwick.ac.uk

        - Date: 2014-03-12 10:21:22
          495

          April 9, 2007 Center for the Study of Responsive Law (CSRL) Contact: Adam Tapley TelFax

          Add to Reading List

          Source URL: csrl.org

            496

            GPUs TO MARS Full Scale Simulation of SpaceX’s Mars Rocket Engine Adam Lichtl, Stephen Jones, GTC 2015 Background 

            Add to Reading List

            Source URL: on-demand.gputechconf.com

            - Date: 2015-03-26 23:27:29
              497

              Joint Optimization of Overlapping Phases in MapReduce Minghong Lin, Li Zhang, Adam Wierman, Jian Tan Abstract MapReduce is a scalable parallel computing framework for big data processing. It exhibits multiple processing

              Add to Reading List

              Source URL: users.cms.caltech.edu

              - Date: 2013-05-06 11:59:43
                498

                Engineering a Static Verification Tool for GPU Kernels Ethel Bardsley1 , Adam Betts1 , Nathan Chong1 , Peter Collingbourne2 , Pantazis Deligiannis1 , Alastair F. Donaldson1 , Jeroen Ketema1 , Daniel Liew1 , Shaz Qadeer3

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2015-07-01 17:41:47
                  499

                  17:55 Adam Spangler: shall i send the questions through line now? 17:55 Kazuko: Ok 17:56 Adam Spangler: do you think there is a problem with english education in Japanese schools? 17:57 Kazuko: Yes 17:58 Adam Spangler: w

                  Add to Reading List

                  Source URL: adamngl.files.wordpress.com

                  - Date: 2016-10-20 23:48:04
                    500

                    Introduction to the MIZAR system Adam Naumowicz Institute of Computer Science University of Bialystok, Poland

                    Add to Reading List

                    Source URL: typessummerschool07.cs.unibo.it

                    - Date: 2007-08-25 07:14:55
                      UPDATE