Sciweavers

    9698 search results - page 109 / 1940
    » models 2010
    Sort
    View
    ENVSOFT
    2010
    51views more  ENVSOFT 2010»
    Global Nutrient Export from WaterSheds 2 (NEWS 2): Model development and implementation
    15 years 6 months ago
    Global Nutrient Export from WaterSheds 2 (NEWS 2): Model development and implementation
    Download  staff.washington.edu
    Emilio Mayorga, Sybil P. Seitzinger, John A. Harri...
    claim paper
    Read More »
    EOR
    2010
    55views more  EOR 2010»
    A queueing model for general group screening policies and dynamic item arrivals
    15 years 6 months ago
    A queueing model for general group screening policies and dynamic item arrivals
    Download  telin.ugent.be
    The second author is a Postdoctoral Fellow with the Fund for Scientific Research, Flanders (F.W.O.-Vlaanderen), Belgium. 1
    Dieter Claeys, Joris Walraevens, Koenraad Laevens,...
    claim paper
    Read More »
    ENTCS
    2006
    125views more  ENTCS 2006»
    Parallel Assignments in Software Model Checking
    15 years 6 months ago
    Parallel Assignments in Software Model Checking
    Download  www.contrib.andrew.cmu.edu
    In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
    Murray Stokely, Sagar Chaki, Joël Ouaknine
    claim paper
    Read More »
    ECOI
    2007
    86views more  ECOI 2007»
    Ensuring reliable datasets for environmental models and forecasts
    15 years 6 months ago
    Ensuring reliable datasets for environmental models and forecasts
    Download  harvardforest.fas.harvard.edu
    Emery R. Boose, Aaron M. Ellison, Leon J. Osterwei...
    claim paper
    Read More »
    CSDA
    2010
    133views more  CSDA 2010»
    Optimized fixed-size kernel models for large data sets
    15 years 3 months ago
    Optimized fixed-size kernel models for large data sets
    Download  ftp.esat.kuleuven.ac.be
    A modified active subset selection method based on quadratic R
    Kris De Brabanter, Jos De Brabanter, Johan A. K. S...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.