Computing

Results: 372271



#Item
671

On the semantic engineering of scientific hypotheses as linked data Bernardo Gon¸calves, Fabio Porto, Ana Maria C. Moura Extreme Data Lab (DEXL Lab) National Laboratory for Scientific Computing (LNCC), Av. Getulio Varga

Add to Reading List

Source URL: linkedscience.org

Language: English - Date: 2012-10-11 05:01:53
    672

    PhD Mini-Course Natural Computing - a formal framework for processes inspired by the functioning of living cells Graduate School of Science and Technology, Aarhus University

    Add to Reading List

    Source URL: birc.au.dk

    Language: English - Date: 2012-09-17 05:04:35
      673

      COVER FEATURE Seamless Mobile Computing on Fixed Infrastructure Internet Suspend/Resume is a thick-client approach to mobility in

      Add to Reading List

      Source URL: isr.cmu.edu

      Language: English - Date: 2004-11-05 14:18:00
        674

        Accelerating In-situ Feature Extraction of Large-Scale Combustion simulation with Subsampling Sidharth Kumar, Steve Petruzza, Duong Hoang, Valerio Pascucci Scientific Computing and Imaging Institute, University of Utah {

        Add to Reading List

        Source URL: www.hpdc.org

        Language: English - Date: 2017-07-18 15:38:18
          675

          Examining Teens’ Non-Use of Technologies Rachel M. Magee, Denise E. Agosto, Andrea Forte, Michael Dickard Drexel University College of Computing and Informatics Rush Building 3141 Chestnut St, Philadelphia, PA 19104

          Add to Reading List

          Source URL: nonuse.jedbrubaker.com

          Language: English - Date: 2015-01-08 09:31:08
            676

            Image and Vision Computing New Zealand, Auckland, 23.–24. NovemberIVCNZ 2015 IVCNZ 2015 Image and Vision Computing New Zealand The 30th International Conference on Image and Vision Computing New Zealand (IVCNZ 2

            Add to Reading List

            Source URL: ivcnz2015.aut.ac.nz

            Language: English - Date: 2015-10-07 23:24:44
              677

              Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

              Add to Reading List

              Source URL: www.cs.rhul.ac.uk

              Language: English - Date: 2013-02-08 18:19:59
                678

                Computing YEHUDA Tel-Aviv Shared Objects

                Add to Reading List

                Source URL: www.faculty.idc.ac.il

                Language: English - Date: 2006-05-21 09:47:32
                  679

                  Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing∗ Changyu Dong† Newcastle University Newcastle Upon Tyne, UK

                  Add to Reading List

                  Source URL: arxiv.org

                  Language: English - Date: 2017-09-04 21:03:20
                    680

                    Towards an integrated theory of causal scenarios and evidential arguments Floris BEX Department of Information and Computing Sciences, Utrecht University Abstract. The process of proof is one of inference to the best ex

                    Add to Reading List

                    Source URL: comma2014.arg.dundee.ac.uk

                    Language: English - Date: 2014-08-27 11:30:50
                      UPDATE