Results 101 to 110 of about 176,906 (321)
Scalability using effects [PDF]
, 2013 This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct.
Duval, Dominique
core +1 more source
Modular Labelled Sequent Calculi for Abstract Separation Logics
, 2017 separation logics are a family of extensions of Hoare logic for reasoning about programs that manipulate resources such as memory locations. These logics are "abstract" because they are independent of any particular concrete resource model.
Clouston, Ranald +3 more
core +1 more source
Advanced Intelligent Discovery, EarlyView.Named entity recognition pipeline for knowledge extraction from scientific literature. Machine learning interatomic potential (MLIP) is an emerging technique that has helped achieve molecular dynamics simulations with unprecedented balance between efficiency and accuracy. Recently, the body of MLIP literature has been growing rapidly, which propels the
Bowen Zheng, Grace X. Gu
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.CrossMatAgent is a multi‐agent framework that combines large language models and diffusion‐based generative AI to automate metamaterial design. By coordinating task‐specific agents—such as describer, architect, and builder—it transforms user‐provided image prompts into high‐fidelity, printable lattice patterns.
Jie Tian +12 more
wiley +1 more source
The Necessity of Dynamic Workflow Managers for Advancing Self‐Driving Labs and Optimizers
Advanced 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
A computer tutor for logic semantics [PDF]
FIE'99 Frontiers in Education. 29th Annual Frontiers in Education Conference. Designing the Future of Science and Engineering Education. Conference Proceedings (IEEE Cat. No.99CH37011, 2003 The authors report on a computer tutor for the semantics of the Prolog subset of predicate calculus. It gives students statements in English to represent in a single line of Prolog, parses their answers, and compares the parses to the parses of correct answers.
openaire +3 more sources
Advanced 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
Combining link and content-based information in a Bayesian inference model for entity search
, 2012 An architectural model of a Bayesian inference network to support entity search in semantic knowledge bases is presented. The model supports the explicit combination of primitive data type and object-level semantics under a single computational framework.
Koumenides, Christos +3 more
core
On the Expressive Power of Multiple Heads in CHR
, 2011 Constraint Handling Rules (CHR) is a committed-choice declarative language which has been originally designed for writing constraint solvers and which is nowadays a general purpose language.
Di Giusto, Cinzia +2 more
core +3 more sources
The semantics of Chemical Markup Language (CML) for computational chemistry : CompChem
Journal of Cheminformatics, 2012 This paper introduces a subdomain chemistry format for storing computational chemistry data called CompChem. It has been developed based on the design, concepts and methodologies of Chemical Markup Language (CML) by adding computational chemistry ...
Phadungsukanan Weerapong +3 more
doaj +1 more source