Results 1 to 10 of about 243 (109)

Stack-based static WebAssembly binary slicing and mutation for generating valid sub-binaries [PDF]

Scientific Reports
WebAssembly is a low-level binary format originally designed to enable high-performance applications to run in web browsers. As WebAssembly is increasingly being ported to various environments, the security verification of WebAssembly execution ...
GyeongTaek Choi, Seungho Jeon
doaj   +2 more sources

Biochef: a client-side WebAssembly-based workflow builder for genomic data analysis [PDF]

BMC Bioinformatics
Background Genomics analyses often rely on command-line tools executed via remote servers, imposing usability barriers for non-technical users and raising privacy concerns.
Joaquim Rosa, João Andrade, Jorge Miguel Silva, José Luis Oliveira   +3 more
doaj   +2 more sources

Datamonkey 3: browser-native molecular evolution analysis [PDF]

Frontiers in Bioinformatics
We present Datamonkey 3, a browser-native implementation of the Datamonkey web platform for molecular evolutionary analysis. By utilizing WebAssembly to execute the HyPhy analysis engine on the client side, Datamonkey 3 removes the dependency on remote ...
Steven Weaver, Ben Murrell, Anton Nekrutenko, Sergei L. Kosakovsky Pond   +3 more
doaj   +2 more sources

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification [PDF]

Sensors
The rapid expansion of the Internet of Things (IoT) has made software security and reliability a critical concern. With multi-language programs running on edge computing, embedded systems, and sensors, each connected device represents a potential attack ...
Liangjun Deng, Qi Zhong, Jingcheng Song, Hang Lei, Wenjuan Li   +4 more
doaj   +2 more sources

Phylo-rs: an extensible phylogenetic analysis library in rust [PDF]

BMC Bioinformatics
Background The advent of next-generation and long-read sequencing technologies has provided an ever-increasing wealth of phylogenetic data that require specially designed algorithms to decipher the underlying evolutionary relationships.
Sriram Vijendran, Tavis Anderson, Alexey Markin, Oliver Eulenstein   +3 more
doaj   +2 more sources

SoK: Analysis Techniques for WebAssembly

Future Internet
WebAssembly is a low-level bytecode language that enables high-level languages like C, C++, and Rust to be executed in the browser at near-native performance.
Donn Morrison, Håkon Harnes
exaly   +3 more sources

Transposon-directed insertion-site sequencing (TraDIS) analysis of Enterococcus faecium using nanopore sequencing and a WebAssembly analysis platform [PDF]

Microbiology Spectrum
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, Wytamma Wirth, Adrianna M. Turner, Louise Judd, Lucy Li, Willem van Schaik, Benjamin P. Howden, Glen P. Carter, Torsten Seemann, Ryan Wick, Timothy P. Stinear, Andrew H. Buultjens, Ian R. Monk   +12 more
doaj   +2 more sources

Expressive rule-based modeling and fast simulation for dynamic compartments. [PDF]

PLoS ONE
Compartmentalization is vital for cell biological processes. The field of rule-based stochastic simulation has acknowledged this, and many tools and methods have capabilities for compartmentalization.
Till Köster, Philipp Henning, Tom Warnke, Adelinde Uhrmacher   +3 more
doaj   +2 more sources

A Novel Orchestrator Architecture for Deploying Virtualized Services in Next-Generation IoT Computing Ecosystems [PDF]

Sensors
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, Alejandro Fornes-Leal, Rafael Vaño, Raúl Reinosa Simón, Ignacio Lacalle, Carlos Guardiola, Carlos E. Palau   +6 more
doaj   +2 more sources

Finback: a web-based data collection system at SSRF biological macromolecular crystallography beamlines [PDF]

Journal of Synchrotron Radiation
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, Ke Liu, Huan Zhou, Minjun Li, Huating Kong, Kunhao Zhang, Xingya Wang, Weiwei Wang, Qin Xu, Qiangyan Pan, Zhijun Wang, Qisheng Wang   +11 more
doaj   +2 more sources