Results 251 to 260 of about 13,984,903 (297)
ERRATUM: Fugulin scale for classifying pediatric patients in a respiratory inpatient unit: experience report. [PDF]
Rev Esc Enferm USPeuropepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Reporting on individual experience
Communication & Medicine, 2021This paper proposes a new model for a patient-centred medical case report. Patient-centred approaches adopt the patient's perspective and emphasise the individual's experience of illness, and are intended to answer criticisms that medical texts for professionals, by focusing solely on a disease phenomenon presented within a framework of biomedical ...
openaire +2 more sources
The Altering of Reported Experiences
Journal of the American Academy of Child & Adolescent Psychiatry, 2000The unreliability of human memory is well documented in the literature, yet psychiatrists and other mental health care professionals rely on patient self-report in history-taking. This study provides new evidence from a longitudinal study of autobiographical memory and discusses implications for the development and implementation of appropriate ...
D, Offer +3 more
openaire +2 more sources
ACM SIGPLAN Notices, 2009
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prover Isabelle/HOL to a C implementation of the microkernel. We describe how this project differs from other efforts, and examine the effect
Gerwin Klein +2 more
+5 more sources
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. The verification connects an abstract operational specification in the theorem prover Isabelle/HOL to a C implementation of the microkernel. We describe how this project differs from other efforts, and examine the effect
Gerwin Klein +2 more
+5 more sources
Introduction: Experience Reports
Agile 2007 (AGILE 2007), 2007Experience reports are written by agile practitioners to share their project stories with the wider agile community. Our authors explain - what they tried, how their teams battled with obstacles along the way and summarize their lessons learned. You will find that reports presented here offer unique insights on how agile methods can be applied in a ...
Rachel Davies, Angela Martin
openaire +1 more source
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010
In system administration, the languages of choice for solving automation tasks are scripting languages, owing to their flexibility, extensive library support and quick development cycle. Functional programming is more likely to be found in software development teams and the academic world.
Marcus Crestani, Michael Sperber
+4 more sources
In system administration, the languages of choice for solving automation tasks are scripting languages, owing to their flexibility, extensive library support and quick development cycle. Functional programming is more likely to be found in software development teams and the academic world.
Marcus Crestani, Michael Sperber
+4 more sources
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, 2000
Academic research sometimes suffers from the “ivory tower” problem: ideas that sound good in theory do not necessarily work well in practice. An example of research that potentially could impact practice over the next few years is a novel set of component-based software engineering design principles, known as the RESOLVE ...
Joseph E. Hollingsworth +2 more
openaire +1 more source
Academic research sometimes suffers from the “ivory tower” problem: ideas that sound good in theory do not necessarily work well in practice. An example of research that potentially could impact practice over the next few years is a novel set of component-based software engineering design principles, known as the RESOLVE ...
Joseph E. Hollingsworth +2 more
openaire +1 more source
1999
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +2 more sources
PVS is a comprehensive interactive tool for specification and verification combining cui expressive specification language with an integrated suite of tools for theorem proving and model checking. PVS has many academic and industrial users and has been applied to a wide range of verification tjisks. In this note, we summarize some of its applications.
Sam Owre +3 more
openaire +2 more sources