Results 241 to 250 of about 970,866 (376)

SR-LLM: An incremental symbolic regression framework driven by LLM-based retrieval-augmented generation. [PDF]

Proc Natl Acad Sci U S A
Guo Z, Wang S, Tian Y, Yang J, Yu H, Na X, Kovács L, Li L, Ioannou PA, Wang FY.   +9 more
europepmc   +1 more source

Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing

, 2019
Niklas Pettersson, Nils F Petersson
openalex   +1 more source

Automated Feature Extraction and Classification of Submerged Cultural Heritage Assets in the Puck Lagoon via Multisensor Remote Sensing

Archaeological Prospection, EarlyView.
ABSTRACT This study presents a strong framework for the detection and classification of Submerged Cultural Heritage Assets (SCHA) in shallow marine environments using the integration of multibeam echosounder and airborne LiDAR bathymetry with object‐based image analysis and fuzzy logic–based classification.
Łukasz Janowski, Andrzej Pydyn, Mateusz Popek, Anna M. Kotarba‐Morley, Paweł Tysiąc   +4 more
wiley   +1 more source

Evaluating the Impact of Aggregation Operators on Fuzzy Signatures for Robot Path Planning. [PDF]

Sensors (Basel)
Karadeniz AM, Hajdu C, Ballagi Á, Kóczy LT.   +3 more
europepmc   +1 more source

High-Level Model Extraction via Symbolic Execution

, 2012
Shaohui Wang, Srinivasan Dwarakanathan, Oleg Sokolsky, Insup Lee   +3 more
openalex   +1 more source

Risk‐aware safe reinforcement learning for control of stochastic linear systems

Asian Journal of Control, EarlyView.
Abstract This paper presents a risk‐aware safe reinforcement learning (RL) control design for stochastic discrete‐time linear systems. Rather than using a safety certifier to myopically intervene with the RL controller, a risk‐informed safe controller is also learned besides the RL controller, and the RL and safe controllers are combined together ...
Babak Esmaeili, Nariman Niknejad, Hamidreza Modares   +2 more
wiley   +1 more source

Toward transmasculine-inclusive addiction psychiatry in India: a call for research. [PDF]

Front Psychiatry
Babu A, Sarathy K, Rajappan AC, Joseph AP.   +3 more
europepmc   +1 more source

Why We Need to Study Assisted Methods to Teach Typing to Nonspeaking Autistic People

Autism Research, EarlyView.
ABSTRACT At least one third of autistic people have limited or no speech. Most nonspeaking autistic people are never provided alternatives that would enable the full range of expression that speech allows, significantly limiting their access to educational, social, and employment opportunities.
Vikram K. Jaswal, Barry M. Prizant, Morgan D. Barense, Kristie Patten, Gary Stobbe   +4 more
wiley   +1 more source

A digital twin model for grain enterprise financial shared service centers based on distributed deep learning and neural symbolic reasoning. [PDF]

Sci Rep
Wei Y.
europepmc   +1 more source

Conflict-driven symbolic execution : how to learn to get better

, 2014
Celina G. Val
openalex   +1 more source