Results 111 to 120 of about 5,309 (287)
Operational Semantics for Agent Communication Languages [PDF]
Rogier M. van Eijk+3 more
openalex +1 more source
The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers
We assess the maturity and integration readiness of key methodologies for Materials Acceleration Platforms, highlighting the need for dynamic workflow managers. Demonstrating this, we integrate PerQueue into a color‐mixing robot, showing how flexible orchestration improves coordination and optimization.
Simon K. Steensen+6 more
wiley +1 more source
Typical Examples of Atoment Language Using
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj
This study presents an automated system integrating a capillary force gripper and machine learning‐based object detection for sorting and placing submillimeter objects. The system achieved stable and simultaneous manipulation of four object types, with an average task time of 86.0 seconds and a positioning error of 157 ± 84 µm, highlighting its ...
Satoshi Ando+4 more
wiley +1 more source
An operational semantics for parallel lazy evaluation [PDF]
Clem Baker-Finch+2 more
openalex +1 more source
Deep Learning‐Assisted Coherent Raman Scattering Microscopy
The analytical capabilities of coherent Raman scattering microscopy are augmented through deep learning integration. This synergistic paradigm improves fundamental performance via denoising, deconvolution, and hyperspectral unmixing. Concurrently, it enhances downstream image analysis including subcellular localization, virtual staining, and clinical ...
Jianlin Liu+4 more
wiley +1 more source
An Operational Semantics of the Java Card Firewall [PDF]
Marc Éluard, Thomas Jensen, Ewen Denne
openalex +1 more source
Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook
Large language models (LLMs) are reshaping materials science. Acting as Oracle, Surrogate, Quant, and Arbiter, they now extract knowledge, predict properties, gauge risk, and steer decisions within a traceable loop. Overcoming data heterogeneity, hallucinations, and poor interpretability demands domain‐adapted models, cross‐modal data standards, and ...
Jinglan Zhang+4 more
wiley +1 more source
Fuzzy Evaluation Model for Operational Performance of Air Cleaning Equipment
Global warming has led to the continuous deterioration of the living environment, in which air quality directly affects human health. In addition, the severity of the COVID-19 pandemic has further increased the attention to indoor air quality.
Kuen-Suan Chen+3 more
doaj +1 more source
A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu+5 more
wiley +1 more source