Results 151 to 160 of about 348,999 (338)

Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment [PDF]

, 2002
Carmen Graciani Díaz, Francisco Jesús Martín Mateos, Mario J. Pérez-Jímenez   +2 more
openalex   +1 more source

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis [PDF]

, 2011
Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy ...
Seshia, Sanjit A.
core   +2 more sources

Moderators and mediators of pain and function outcomes in a new service delivery model for management of knee osteoarthritis in primary care (PARTNER): Secondary exploratory analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective Explore moderators and mediators influenced changes in pain and function in people with knee osteoarthritis (OA) receiving a new model of primary care service delivery (PARTNER), at 12 months (ACTRN12617001595303). Methods Secondary analyses of a cluster randomized controlled trial comparing PARTNER to usual general practitioner‐delivered ...
Abdolhay Farivar, Jocelyn L Bowden, Kim L Bennell, Andrew M Briggs, Stephen J Bunker, Rana S Hinman, Thorlene Egerton, Simon D French, Marie Pirotta, Karen Schuck, Venkatesha Venkatesha, Nicholas A Zwar, David J Hunter   +12 more
wiley   +1 more source

The Potential for Extracellular Vesicles in Nanomedicine: A Review of Recent Advancements and Challenges Ahead

Advanced Biology, EarlyView.
Extracellular vesicles (EVs) play a dual role in diagnostics and therapeutics, offering innovative solutions for treating cancer, cardiovascular, neurodegenerative, and orthopedic diseases. This review highlights EVs’ potential to revolutionize personalized medicine through specific applications in disease detection and treatment.
Farbod Ebrahimi, Anjali Kumari, Samaneh Ghadami, Saqer Al Abdullah, Kristen Dellinger   +4 more
wiley   +1 more source

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Vietnam Journal of Computer Science
As the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj   +1 more source

A restoration method using dual generate adversarial networks for Chinese ancient characters

Visual Informatics, 2022
Ancient books that record the history of different periods are precious for human civilization. But the protection of them is facing serious problems such as aging.
Benpeng Su, Xuxing Liu, Weize Gao, Ye Yang, Shanxiong Chen   +4 more
doaj  

Rewarding Graph Reasoning Process makes LLMs more Generalized Reasoners [PDF]

arXiv
Despite significant advancements in Large Language Models (LLMs), developing advanced reasoning capabilities in LLMs remains a key challenge. Process Reward Models (PRMs) have demonstrated exceptional promise in enhancing reasoning by providing step-wise feedback, particularly in the context of mathematical reasoning.
arxiv  

Validating the PSL/Sugar Semantics Using Automated Reasoning [PDF]

, 2003
Michael J. C. Gordon
openalex   +1 more source

FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing

Advanced Engineering Materials, Volume 27, Issue 8, April 2025.
The digitalization in materials science and engineering is discussed, emphasizing the importance of digital workflows and ontologies in managing diverse experimental data. Challenges such as quality assurance and data interoperability are tackled with semantic web technologies, focusing and introducing the tensile test ontology (TTO).
Markus Schilling, Bernd Bayerlein, Philipp von Hartrott, Jörg Waitelonis, Henk Birkholz, Pedro Dolabella Portella, Birgit Skrotzki   +6 more
wiley   +1 more source

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Data in Brief, 2019
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj