Results 81 to 90 of about 54,744 (297)
SCI-Verifier: Scientific Verifier with Thinking
CoRRAs large language models (LLMs) are increasingly applied to scientific reasoning, the complexity of answer formats and the diversity of equivalent expressions make answer verification a critical yet challenging task. Existing verification studies in scientific domains suffer from two major limitations: (a) the absence of systematic evaluation standards
Shenghe Zheng +10 more
openaire +3 more sources
, 2014 Static verification traditionally produces yes/no answers. It either provides a proof that a piece of code meets a property, or a counterexample showing that the property can be violated. Hence, the progress of static verification is hard to measure. Unlike in testing, where coverage metrics can be used to track progress, static verification does not ...
Arlt, Stephan +4 more
openaire +4 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi +9 more
wiley +1 more source
Verified VCG and Verified Compiler for Dafny
Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and ProofsDafny is a verification-aware programming language that comes with a compiler and static program verifier. However, neither the compiler nor the verifier is proved correct; in fact, soundness bugs have been found in both tools. This paper shows that the aforementioned Dafny tools can be developed with foundational correctness guarantees.
Daniel Nezamabadi +2 more
openaire +3 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola +4 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
, 2020 We investigate the combined use of eIDAS-based electronic identity and Verifiable Credentials for remote onboarding and contracting, and provide a proof-of-concept implementation based on SAML authentication.
Pellizzari, Giulio +9 more
core +1 more source
Private Coin Verifiable Delay Function [PDF]
, 2023 We construct the first tight verifiable delay function (VDF) where the evaluation algorithm only evaluates sequentially the function and hence outputs and empty proof, verification is independent of time parameter $T$ and setup has constant size ...
Peter Chvojka
core
, 2019 yperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can express information flow policies as well as properties like symmetry in mutual exclusion algorithms or Hamming distances in error-resistant transmission protocols. Previous work
Coenen, Norine +3 more
openaire +3 more sources