Sciweavers

    691 search results - page 63 / 139
    » Equational Abstractions
    Sort
    View
    JCSS
    2010
    102views more  JCSS 2010»
    Matching and alpha-equivalence check for nominal terms
    13 years 8 months ago
    Matching and alpha-equivalence check for nominal terms
    Download  www.dcs.kcl.ac.uk
    Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...
    Christophe Calvès, Maribel Fernández
    claim paper
    Read More »
    ICONIP
    2010
    161views Information Technology» more  ICONIP 2010»
    Analytical Approach to Noise Effects on Synchronization in a System of Coupled Excitable Elements
    13 years 8 months ago
    Analytical Approach to Noise Effects on Synchronization in a System of Coupled Excitable Elements
    Download  www.stat.phys.titech.ac.jp
    Abstract. We report relationships between the effects of noise and applied constant currents on the behavior of a system of excitable elements. The analytical approach based on the...
    Keiji Okumura, Masatoshi Shiino
    claim paper
    Read More »
    CDC
    2010
    IEEE
    117views Control Systems» more  CDC 2010»
    A symmetric structure of variational and adjoint systems of stochastic Hamiltonian systems
    13 years 5 months ago
    A symmetric structure of variational and adjoint systems of stochastic Hamiltonian systems
    Download  home.hiroshima-u.ac.jp
    Abstract-- The authors have extended deterministic portHamiltonian systems into stochastic dynamical systems which are described by stochastic differential equations written in the...
    Satoshi Satoh, Kenji Fujimoto
    claim paper
    Read More »
    MOC
    2010
    126views Security Privacy» more  MOC 2010»
    Analysis of spectral approximations using prolate spheroidal wave functions
    13 years 4 months ago
    Analysis of spectral approximations using prolate spheroidal wave functions
    Download  www1.spms.ntu.edu.sg
    Abstract. In this paper, the approximation properties of the prolate spheroidal wave functions of order zero (PSWFs) are studied, and a set of optimal error estimates are derived f...
    Li-lian Wang
    claim paper
    Read More »
    NHM
    2010
    73views more  NHM 2010»
    The heterogeneous multiscale finite element method for advection-diffusion problems with rapidly oscillating coefficients and la
    13 years 4 months ago
    The heterogeneous multiscale finite element method for advection-diffusion problems with rapidly oscillating coefficients and la
    Download  wwwmath.uni-muenster.de
    Abstract. This contribution is concerned with the formulation of a heterogeneous multiscale finite elements method (HMM) for solving linear advectiondiffusion problems with rapidly...
    Patrick Henning, Mario Ohlberger
    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.