Results 121 to 130 of about 45,230 (224)
Hypothesizing an algorithm from one example: the role of specificity. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Muggleton FREng SH.
europepmc +1 more source
Canonicalizing BigSMILES for Polymers with Defined Backbones. [PDF]
ACS Polym Au, 2022 Lin TS +4 more
europepmc +1 more source
Visualizing Quantum Circuit Probability: Estimating Quantum State Complexity for Quantum Program Synthesis. [PDF]
Entropy (Basel), 2023 Bach BG, Kundu A, Acharya T, Sarkar A.
europepmc +1 more source
A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]
PLoS OneAwan MM, Anwar MW, Butt WH, Azam F.
europepmc +1 more source
Designing and Managing Advanced, Intelligent and Ethical Health and Social Care Ecosystems. [PDF]
J Pers Med, 2023 Blobel B +4 more
europepmc +1 more source
A Systematic Review on the Applications of Uppaal. [PDF]
Sensors (Basel)Grobelna I, Gajewski K, Karatkevich A.
europepmc +1 more source
Resilient Supervisory Multi-Agent Systems. [PDF]
IEEE Trans Robot, 2022 Baxevani K, Zehfroosh A, Tanner HG.
europepmc +1 more source
Hybrid artificial intelligence architectures for automatic text correction in the Kazakh language. [PDF]
Front Artif IntellBaitenova L +4 more
europepmc +1 more source
Quantum circuits from non-unitary sparse binary matrices. [PDF]
Sci RepKaruppasamy K +3 more
europepmc +1 more source