Results 151 to 160 of about 20,367 (260)
Implementing Java Compilers Using ReRAGs
, 2004 Rewritable Reference Attributed Grammars (ReRAGs) is a recently developed compiler-compiler technology based on object-orientation, aspect-orientation, reference attributed grammars, and conditional rewrites.
Hedin, Görel, +4 more
core +1 more source
Advanced Robotics Research, EarlyView.Rotating magnetic fields (RMFs) are widely used for microrobot propulsion and control. We show that RMF generation with permanent magnets is mechanically feasible for many limb and intracranial applications but becomes constrained for thoracic targets.
Tuan‐Anh Le +4 more
wiley +1 more source
High-Level Information - An Approach for Integrating Front-End and Back-End Compilers
, 1998 Existing compilers for automatically parallelizing application programs are often divided into parallelizing frontend compilers and optimizing back-end compilers.
Stephen J. Schwinn +9 more
core
Advanced Robotics Research, EarlyView.A balanced multimodal food‐waste dataset and a novel Split Spatial‐Spectral Attention fusion framework are presented for robotic contaminant detection. Separate processing of RGB, thermal, and multispectral inputs preserves subtle material signatures before feature integration, reducing modality interference and improving classification and ...
Matthew Vestal +5 more
wiley +1 more source
Advanced Science, EarlyView.A copper‐iron charge transfer instability drives concomitant electronic, magnetic, and isostructural phase transitions in ACu3Fe4O12${\rm ACu}_3{\rm Fe}_4{\rm O}_{12}$, with an inverse barocaloric effect. A minimal Landau theory ties these thermodynamic signatures together, revealing a pressure‐independent transition entropy with comparable charge and ...
Jefferson Delgado‐Quesada +1 more
wiley +1 more source
MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers
Zero-knowledge (ZK) proofs have been increasingly popular in privacy-preserving applications and blockchain systems. To facilitate handy and efficient ZK proof generation for normal users, the industry has designed domain-specific languages (DSLs) and ZK
Peng, Yiteng +3 more
core +1 more source
Machine Learning for Green Solvents: Assessment, Selection and Substitution
Advanced Science, EarlyView.Environmental regulations have intensified demand for green solvents, but discovery is limited by Solvent Selection Guides (SSGs) that quantify solvent sustainability. Training a machine learning model on GlaxoSmithKline SSG, a database of sustainability metrics for 10,189 solvents, GreenSolventDB is developed. Integrated with Hansen solubility metrics,
Rohan Datta +4 more
wiley +1 more source
Testing secure multi-party computation compilers
The increasing requirement for privacy-preserving computations among multiple data owners has driven the significant advancement of secure multi-party computation (MPC) protocols.
Li, Yichen
core
, 1994 This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16878Compilers for higher-order programming languages like Scheme, ML, and Lisp can be broadly characterized as either “direct compilers” or "continuation ...
Sabry, Amr A.
core
Advanced Science, EarlyView.This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair +4 more
wiley +1 more source