Sciweavers

    1636 search results - page 323 / 328
    » Type-Theoretic Functional Semantics
    Sort
    View
    CORR
    2010
    Springer
    186views Education» more  CORR 2010»
    A Homogeneous Reaction Rule Language for Complex Event Processing
    13 years 6 months ago
    A Homogeneous Reaction Rule Language for Complex Event Processing
    Download  ibis.in.tum.de
    Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
    Adrian Paschke, Alexander Kozlenkov, Harold Boley
    claim paper
    Read More »
    ENTCS
    2008
    146views more  ENTCS 2008»
    Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
    13 years 6 months ago
    Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
    Download  lanther.co.uk
    istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
    Michael J. A. Smith
    claim paper
    Read More »
    BMCBI
    2006
    180views more  BMCBI 2006»
    The Gaggle: An open-source software system for integrating bioinformatics software and data sources
    13 years 6 months ago
    The Gaggle: An open-source software system for integrating bioinformatics software and data sources
    Download  www.biomedcentral.com
    Background: Systems biologists work with many kinds of data, from many different sources, using a variety of software tools. Each of these tools typically excels at one type of an...
    Paul T. Shannon, David J. Reiss, Richard Bonneau, ...
    claim paper
    Read More »
    BMCBI
    2006
    122views more  BMCBI 2006»
    BioMoby extensions to the Taverna workflow management and enactment software
    13 years 6 months ago
    BioMoby extensions to the Taverna workflow management and enactment software
    Download  www.biomedcentral.com
    Background: As biology becomes an increasingly computational science, it is critical that we develop software tools that support not only bioinformaticians, but also bench biologi...
    Edward A. Kawas, Martin Senger, Mark D. Wilkinson
    claim paper
    Read More »
    BMCBI
    2006
    141views more  BMCBI 2006»
    The use of concept maps during knowledge elicitation in ontology development processes - the nutrigenomics use case
    13 years 6 months ago
    The use of concept maps during knowledge elicitation in ontology development processes - the nutrigenomics use case
    Download  www.biomedcentral.com
    Background: Incorporation of ontologies into annotations has enabled 'semantic integration' of complex data, making explicit the knowledge within a certain field. One of...
    Alexander García Castro, Philippe Rocca-Ser...
    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.