Search Results for "browser firefox"

...We support the translation of wording in PDF files, which breaks the dyslexia of many users when reading PDF documents (due to the Firefox browser's bug, this feature is temporarily unavailable on Firefox browser). We chose the friendly side pop-up to show the translation results. The pop-up display bar will push the user reading content to avoid blocking the content from affecting the reading. Please refresh the page that needs to be translated after installation or update!

"mx" is a command line test driver for "libmx" (see below) evaluating both the type and the value of an lambda calculus expression (http://en.wikipedia.org/wiki/Lambda_calculus) provided by the user. "libnpmx.so" ("npmx.dll" on MS Windows) is a NPAPI plugin (http://en.wikipedia.org/wiki/NPAPI) for the Mozilla Firefox web browser based on "libmx". "libmx" provides a framework for dealing with (extended and optional typed) lambda calculus expressions. Among other features it provides o a template instantiation machine for evaluating the value of an lambda calculus expression, o a template instantiation machine for evaluating the Hindley-Milner type (http://en.wikipedia.org/wiki/Hindley-Milner) of an lambda calculus expression, and o reference counter based memory management for lambda calculus expressions and types. ...

To overcome current limitations in published MS data accessibility, we introduce a browser-based spectrum viewer that aims to allow exploration of alternative interpretations for MS spectra and additionally: can be operated by non-specialists, is open source, can be integrated into other software, gives appropriate publication-quality output. Spectrum Viewer is implemented totally on the client side using XHTML for menus and dialogs, SVG for spectrum and peptide display, and Javascript to...

simple digital logic circuit simulator, using only NAND gates. written as a standalone app for your web browser

Multi-user online service implementation for web-based factory modeling. Rich user interface and scalable backend system to build online simulation services on or do other processing of factory data. Demo at https://fabriksimulation.ipa.fraunhofer.de