Results 111 to 120 of about 5,309 (287)

Operational Semantics for Agent Communication Languages [PDF]

open access: green, 2000
Rogier M. van Eijk   +3 more
openalex   +1 more source

The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers

open access: yesAdvanced Intelligent Discovery, EarlyView.
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

open access: yesМоделирование и анализ информационных систем, 2011
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  

Autonomous Machine Learning‐Based Classification and Arrangement of Submillimeter Objects Using a Capillary Force Gripper

open access: yesAdvanced Intelligent Discovery, EarlyView.
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]

open access: bronze, 2000
Clem Baker-Finch   +2 more
openalex   +1 more source

Deep Learning‐Assisted Coherent Raman Scattering Microscopy

open access: yesAdvanced Intelligent Discovery, EarlyView.
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]

open access: green, 2001
Marc Éluard, Thomas Jensen, Ewen Denne
openalex   +1 more source

Large Language Model in Materials Science: Roles, Challenges, and Strategic Outlook

open access: yesAdvanced Intelligent Discovery, EarlyView.
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

open access: yesMathematics
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

Interactive Prompt‐Guided Robotic Grasping for Arbitrary Objects Based on Promptable Segment Anything Model and Force‐Closure Analysis

open access: yesAdvanced Intelligent Systems, Volume 7, Issue 3, March 2025.
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

Home - About - Disclaimer - Privacy