This document contains some pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems, available around the world on the World Wide Web (WWW). Formal methods are a fault avoidance technique that help in the reduction of errors introduced into a system, particularly at the earlier stages of design. They complement fault removal techniques like testing.
We must optimize stent deployment & maintain a registry of how well (or poorly) we use drug-eluting stents. Instead of asking “Which stent?” or “How much anti-platelet therapy?” we must ask “How effectively are we deploying our stents?”
Design of Clinical Trials for Treatment of Pain, Development of Clinical Trials, Selected Qualitative Methods, Within-Patient Studies: Cross-over Trials & n-of-1 Studies, Clinical Economics, etc.
Forum: Qualitative Sozialforschung / Forum: Qualitative Social Research is a multilingual online journal. Its main aim is to promote discussion and cooperation between qualitative researchers from different countries and disciplines.
Alfalab is a project of the Royal Netherlands Academy of Arts and Sciences (KNAW), which applies and promotes use of digital tools and methods in humanities research, and fosters cooperation of humanities researchers at national and international levels.
Schmitt, Rudolf (1997). Metaphernanalyse als sozialwissenschaftliche Methode. Mit einigen Bemerkungen zur theoretischen "Fundierung" psychosozialen Handelns. In: Psychologie & Gesellschaftskritik, Mabuse-Verlag, Frankfurt, Nr. 81, 21. Jahrgang, Heft 1/1997, S. 57 - 86.
A. Dinner, S. So, and M. Karplus. COMPUTATIONAL METHODS FOR PROTEIN FOLDING, volume 120 of ADVANCES IN CHEMICAL PHYSICS, JOHN WILEY & SONS INC, 605 3RD AVE, NEW YORK, NY 10016 USA, (2002)