Sciweavers

    154 search results - page 13 / 31
    » Iterative Solution of Piecewise Linear Systems
    Sort
    View
    TII
    2010
    113views Education» more  TII 2010»
    An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    13 years 2 months ago
    An Automated Framework for Formal Verification of Timed Continuous Petri Nets
    Download  iasi.bu.edu
    In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
    Marius Kloetzer, Cristian Mahulea, Calin Belta, Ma...
    claim paper
    Read More »
    PE
    2010
    Springer
    102views Optimization» more  PE 2010»
    Extracting state-based performance metrics using asynchronous iterative techniques
    13 years 6 months ago
    Extracting state-based performance metrics using asynchronous iterative techniques
    Download  pubs.doc.ic.ac.uk
    Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...
    Douglas V. de Jager, Jeremy T. Bradley
    claim paper
    Read More »
    ECCTD
    2011
    108views more  ECCTD 2011»
    Low complexity least-squares filter design for the correction of linear time-varying systems
    12 years 7 months ago
    Low complexity least-squares filter design for the correction of linear time-varying systems
    Download  www2.spsc.tugraz.at
    Abstract—In this paper, a low complexity algorithm for the design of a time-varying correction filter of finite impulse response (FIR) type is presented. Using the obtained fi...
    Michael Soudan, Christian Vogel
    claim paper
    Read More »
    SIAMSC
    2010
    143views more  SIAMSC 2010»
    Computing and Deflating Eigenvalues While Solving Multiple Right-Hand Side Linear Systems with an Application to Quantum Chromod
    13 years 6 months ago
    Computing and Deflating Eigenvalues While Solving Multiple Right-Hand Side Linear Systems with an Application to Quantum Chromod
    Download  www.cs.wm.edu
    Abstract. We present a new algorithm that computes eigenvalues and eigenvectors of a Hermitian positive definite matrix while solving a linear system of equations with Conjugate G...
    Andreas Stathopoulos, Konstantinos Orginos
    claim paper
    Read More »
    ICTIR
    2009
    Springer
    97views Information Technology» more  ICTIR 2009»
    PageRank: Splitting Homogeneous Singular Linear Systems of Index One
    14 years 2 months ago
    PageRank: Splitting Homogeneous Singular Linear Systems of Index One
    Download  pubs.doc.ic.ac.uk
    Abstract. The PageRank algorithm is used today within web information retrieval to provide a content-neutral ranking metric over web pages. It employs power method iterations to so...
    Douglas V. de Jager, Jeremy T. Bradley
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.