Results 211 to 220 of about 2,976 (263)

The experiences of pregnant women during pregnancy, childbirth, and postpartum period about bad news: A qualitative study protocol. [PDF]

J Educ Health Promot
Abbasi Z, Nazari S, Mohamadirizi S.
europepmc   +1 more source

On the Importance of Correct Snake Identification. Comment on Chippaux et al. Snakebites in Cameroon by Species Whose Effects Are Poorly Described. <i>Trop. Med. Infect. Dis.</i> 2024, <i>9</i>, 300. [PDF]

Trop Med Infect Dis
Wüster W, Warrell DA, Williams DJ.
europepmc   +1 more source

From reviews to real-time: dynamic evidence in dentistry. [PDF]

Evid Based Dent
Gavrilova AV, Galli C.
europepmc   +1 more source

Integration of Federated Learning and Blockchain in Health Care: Tutorial on Medical Data, Architectures, Privacy, Security, and Regulatory Compliance. [PDF]

J Med Internet Res
Shahsavari Y, Baseri Y, Hafid A, Dambri OA, Makrakis D.   +4 more
europepmc   +1 more source

Emergency Operation Scheme Generation for Urban Rail Transit Train Door Systems Using Retrieval-Augmented Large Language Models. [PDF]

Sensors (Basel)
Huang L, Liu Z, Yu C, Zhu T, Yan B.
europepmc   +1 more source

PlantScience.ai: An LLM-Powered Virtual Scientist for Plant Science

Yu H, Zhou S, Huang M, Ding L, Chen Y, Wang Y, Ren Y, Cheng N, Wang X, Liang J, The John Innes Centre and The Sainsbury Laboratory Collaboration, Zhang H, Ding Y, Li K.   +13 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Verified compilation on a verified processor

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Developing technology for building verified stacks, i.e., computer systems with comprehensive proofs of correctness, is one way the science of programming languages furthers the computing discipline. While there have been successful projects verifying complex, realistic system components, including compilers (software) and processors (hardware), to ...
Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox   +6 more
openaire   +1 more source

To Verify or Not to Verify, That is The Question

Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 2014
Recently developed secure, end-to-end voting systems are designed to allow voters to confidentially verify on the internet that their ballot selections are cast and counted correctly. In response, this research paper characterizes both voters’ desire to actually use vote verification methods and the format of verification that users expected.
Claudia Ziegler Acemyan, Philip Kortum
openaire   +1 more source

A verified staged interpreter is a verified compiler

Proceedings of the 5th international conference on Generative programming and component engineering, 2006
Dependent types and multi-stage programming have both been used, separately, in programming language design and implementation. Each technique has its own advantages --- with dependent types, we can verify aspects of interpreters and compilers such as type safety and stack invariants. Multi-stage programming, on the other hand, can give the implementor
Edwin C. Brady, Kevin Hammond
openaire   +1 more source

The Civl Verifier

2021
Civl is a static verifier for concurrent programs designed around the conceptual framework of layered refinement, which views the task of verifying a program as a sequence of program simplification steps each justified by its own invariant. Civl verifies a layered concurrent program that compactly expresses all the programs in this sequence and the ...
Bernhard Kragl, Shaz Qadeer
openaire   +1 more source