Science

Results: 788472



#Item
71MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an

MPA Science Brief: What Does the Science Say? DO “NO-TAKE” MARINE RESERVES BENEFIT ADJACENT FISHERIES? Despite using conventional fishery management tools such as changes in gear used, use of short-term closures, an

Add to Reading List

Source URL: nmsmarineprotectedareas.blob.core.windows.net

Language: English - Date: 2017-07-31 07:00:56
72SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China

Add to Reading List

Source URL: apsys11.ucsd.edu

Language: English - Date: 2011-07-04 13:02:25
73Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
74Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways

Press Release April 11, 2013 New versions of WS-PGRADE/gUSE and the CloudBroker Platform provide extended cloud access for science gateways

Add to Reading List

Source URL: www.cloudbroker.com

Language: English - Date: 2013-04-11 05:33:26
75Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2012-01-06 05:40:55
76CSAS SCCS Canadian Science Advisory Secretariat

CSAS SCCS Canadian Science Advisory Secretariat

Add to Reading List

Source URL: biblio.uqar.ca

Language: English - Date: 2011-03-31 11:34:05
77A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA

A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA

Add to Reading List

Source URL: www.karlin.mff.cuni.cz

Language: English - Date: 2011-12-13 09:31:41
78Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
79Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Add to Reading List

Source URL: files.sri.inf.ethz.ch

Language: English - Date: 2018-09-05 10:55:58
80STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s

STEP-C WEBSITE GENERAL TERMS OF USE The content(s) of any and all website(s) of the Science and Technology Park of Crete (STEP-C), are subject to the present general terms and conditions of use in addition to any other s

Add to Reading List

Source URL: www.stepc.gr

Language: English - Date: 2018-06-26 03:32:53