Bioconductor: Planning a third decade of comprehensive support for genomic data science. [PDF]
Patterns (N Y)Carey VJ.
europepmc +1 more source
ViralWasm: a client-side user-friendly web application suite for viral genomics. [PDF]
BioinformaticsJi D, Aboukhalil R, Moshiri N.
europepmc +1 more source
WasmGuard: Enhancing Web Security through Robust Raw-Binary Detection of WebAssembly Malware [PDF]
Yuxia Sun +5 more
openalex +1 more source
Relational Symbolic Execution in WebAssembly
, 2020 WebAssembly is a new low-level language used as a compilation target which runs in web browsers. As more code is run on the client side of a web application the issue of security of that code become more important. Our work is based in the approach of using formal verification in order to prove that for a program one or more security properties hold ...
openaire +1 more source
libsbmljs-Enabling web-based SBML tools. [PDF]
Biosystems, 2020 Medley JK, Hellerstein J, Sauro HM.
europepmc +1 more source
Wasm-iCARE: a portable and privacy-preserving web module to build, validate, and apply absolute risk models. [PDF]
JAMIA OpenBalasubramanian JB +6 more
europepmc +1 more source
Moving beyond the desktop: prospects for practical bioimage analysis via the web. [PDF]
Front Bioinform, 2023 Ouyang W, Eliceiri KW, Cimini BA.
europepmc +1 more source
MakeSBML: a tool for converting between Antimony and SBML. [PDF]
J Integr BioinformJardine BE, Smith LP, Sauro HM.
europepmc +1 more source
Interoperable slide microscopy viewer and annotation tool for imaging data science and computational pathology. [PDF]
Nat Commun, 2023 Gorman C +8 more
europepmc +1 more source