Sciweavers

    16091 search results - page 142 / 3219
    » Solving
    Sort
    View
    CASC
    2007
    Springer
    73views Mathematics» more  CASC 2007»
    A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordin
    16 years 11 days ago
    A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordin
    Download  casc2007.bit.uni-bonn.de
    Ochbadrakh Chuluunbaatar, Alexander Gusev, Vladimi...
    claim paper
    Read More »
    CP
    2007
    Springer
    99views Artificial Intelligence» more  CP 2007»
    Solving the Salinity Control Problem in a Potable Water System
    16 years 11 days ago
    Solving the Salinity Control Problem in a Potable Water System
    Download  www.cse.cuhk.edu.hk
    Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
    Chiu Wo Choi, Jimmy Ho-Man Lee
    claim paper
    Read More »
    CP
    2007
    Springer
    103views Artificial Intelligence» more  CP 2007»
    A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
    16 years 11 days ago
    A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs
    Download  4c.ucc.ie
    Nic Wilson, Diarmuid Grimes, Eugene C. Freuder
    claim paper
    Read More »
    ECTEL
    2007
    Springer
    106views Machine Learning» more  ECTEL 2007»
    Student Learning Communities in the Project-Centered Study Program "Problem-Solving Competencies"
    16 years 11 days ago
    Student Learning Communities in the Project-Centered Study Program "Problem-Solving Competencies"
    Download  sunsite.informatik.rwth-aachen.de
    Thomas Sporer, Nina Heinze, Tobias Jenert, Gabi Re...
    claim paper
    Read More »
    FROCOS
    2007
    Springer
    116views Control Systems» more  FROCOS 2007»
    Proving Termination Using Recursive Path Orders and SAT Solving
    16 years 11 days ago
    Proving Termination Using Recursive Path Orders and SAT Solving
    Download  www.cs.bgu.ac.il
    We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
    Peter Schneider-Kamp, René Thiemann, Elena ...
    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.