Results 91 to 100 of about 271,070 (187)
A Method to Identify and Analyze Biological Programs through Automated Reasoning. [PDF]
NPJ Syst Biol Appl, 2016 Yordanov B +5 more
europepmc +1 more source
Quantifying the reasoning abilities of LLMs on clinical cases
Nature CommunicationsRecent advances in reasoning-enhanced large language models (LLMs) show promise, yet their application in professional medicine, especially the evaluation of their reasoning process, remains underexplored.
Pengcheng Qiu +10 more
doaj +1 more source
An Integrated GIS-Expert System Framework for Live Hazard Monitoring and Detection
Sensors, 2008 In the context of hazard monitoring, using sensor web technology to monitor anddetect hazardous conditions in near-real-time can result in large amounts of spatial data thatcan be used to drive analysis at an instrumented site. These data can be used for
Steven M. Rozic +2 more
doaj
caspo: a toolbox for automated reasoning on the response of logical signaling networks families. [PDF]
Bioinformatics, 2017 Videla S +3 more
europepmc +1 more source
Synthesis Benchmarks for Automated Reasoning
Abstract Program synthesis is the task of constructing a program conforming to a given specification. We focus on deductive synthesis, and in particular on synthesis problems with specifications given as $$\forall \exists $$ ∀ ∃
Márton Hajdu +5 more
openaire +2 more sources
IReCAPTCHA: a robust image-reasoning CAPTCHA system. [PDF]
Cybersecur (Singap)Das B, Prasad DK, Sekh AA.
europepmc +1 more source
Beyond social media: the era of generative AI and intelligent digital platforms in nephrology education. [PDF]
Ren FailCheungpasitporn W +6 more
europepmc +1 more source
Desiderata for a biomedical knowledge network: opportunities, challenges and future directions. [PDF]
Bioinform AdvWu C +7 more
europepmc +1 more source