Finback: a web-based data collection system at SSRF biological macromolecular crystallography beamlines [PDF]
An integrated computer software system for macromolecular crystallography (MX) data collection at the BL02U1 and BL10U2 beamlines of the Shanghai Synchrotron Radiation Facility is described.
Feng Yu +11 more
doaj +3 more sources
WASMOD: Detecting vulnerabilities in Wasm smart contracts
Over the past few years, blockchain platforms supporting WebAssembly (Wasm) smart contracts are gaining popularity. However, Wasm smart contracts are often compiled from memory‐unsafe languages (e.g. C and C++).
Jianfei Zhou, Ting Chen
doaj +2 more sources
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs [PDF]
WebAssembly makes it possible to run C/C++ applications on the web with near-native performance. A WebAssembly program is expressed as a collection of higher-order ML-like modules, which are composed together through a system of explicit imports and ...
Lars Birkedal
exaly +3 more sources
Transposon-directed insertion-site sequencing (TraDIS) analysis of Enterococcus faecium using nanopore sequencing and a WebAssembly analysis platform [PDF]
Vancomycin-resistant Enterococcus faecium (VREfm) are healthcare-associated opportunistic pathogens of global significance. Genetic tools are needed to understand the molecular basis for VREfm clinically relevant phenotypes, such as persistence within ...
Alexandra L. Krause +12 more
doaj +2 more sources
FPocketWeb: protein pocket hunting in a web browser [PDF]
Detecting macromolecular (e.g., protein) cavities where small molecules bind is an early step in computer-aided drug discovery. Multiple pocket-detection algorithms have been developed over the past several decades.
Yuri Kochnev, Jacob D. Durrant
doaj +2 more sources
A Novel Orchestrator Architecture for Deploying Virtualized Services in Next-Generation IoT Computing Ecosystems [PDF]
The Next-Generation IoT integrates diverse technological enablers, allowing the creation of advanced systems with increasingly complex requirements and maximizing the use of available IoT–edge–cloud resources.
Francisco Mahedero Biot +6 more
doaj +2 more sources
WebAssembly and security: A review
WebAssembly is revolutionizing the approach to developing modern applications. Although this technology was born to create portable and performant modules in web browsers, currently, its capabilities are extensively exploited in multiple and heterogeneous use-case scenarios.
Gaetano Perrone
exaly +3 more sources
niimath and fslmaths: replication as a method to enhance popular neuroimaging tools [PDF]
Neuroimaging involves the acquisition of extensive 3D images and 4D time series data to gain insights into brain structure and function. The analysis of such data necessitates both spatial and temporal processing.
Christopher Rorden +6 more
doaj +2 more sources
Efficient Data Exchange between WebAssembly Modules
In the past two decades, there has been a noticeable decoupling of machines and operating systems. In this context, WebAssembly has emerged as a promising alternative to traditional virtual machines.
Lucas Silva +2 more
doaj +3 more sources
WARDuino: An embedded WebAssembly virtual machine
Creating IoT programs for resource-constrained microcontrollers differs significantly from conventional com-puter programming. Microcontrollers are traditionally programmed using low-level programming languageswith poor debugging facilities. By contrast, general-purpose systems can be programmed with high-levellanguages, which make programming easier ...
Tom Lauwaerts
exaly +2 more sources

