The Mathematical Theory of Biological Assay of a Local Anaesthetic

Biometrics ◽  
1960 ◽  
Vol 16 (2) ◽  
pp. 278 ◽  
Author(s):  
N. K. Chakravarti
VASA ◽  
2015 ◽  
Vol 44 (5) ◽  
pp. 381-386 ◽  
Author(s):  
Christian Uhl ◽  
Thomas Betz ◽  
Andrea Rupp ◽  
Markus Steinbauer ◽  
Ingolf Töpel

Abstract. Summary: Background: This pilot study was set up to examine the effects of a continuous postoperative wound infusion system with a local anaesthetic on perioperative pain and the consumption of analgesics. Patients and methods: We included 42 patients in this prospective observational pilot study. Patients were divided into two groups. One group was treated in accordance with the WHO standard pain management protocol and in addition to that received a continuous local wound infusion treatment (Group 1). Group 2 was treated with analgesics in accordance with the WHO standard pain management protocol, exclusively. Results: The study demonstrated a significantly reduced postoperative VAS score for stump pain in Group 1 for the first 5 days. Furthermore, the intake of opiates was significantly reduced in Group 1 (day 1, Group 1: 42.1 vs. Group 2: 73.5, p = 0.010; day 2, Group 1: 27.7 vs. Group 2: 52.5, p = 0.012; day 3, Group 1: 23.9 vs. Group 2: 53.5, p = 0.002; day 4, Group 1: 15.7 vs. Group 2: 48.3, p = 0.003; day 5, Group 1 13.3 vs. Group 2: 49.9, p = 0.001). There were no significant differences between the two groups, neither in phantom pain intensity at discharge nor postoperative complications and death. Conclusions: Continuous postoperative wound infusion with a local anaesthetic in combination with a standard pain management protocol can reduce both stump pain and opiate intake in patients who have undergone transfemoral amputation. Phantom pain was not significantly affected.


Author(s):  
Jürg Kohlas ◽  
Paul-André Monney
Keyword(s):  

10.29007/7kx8 ◽  
2018 ◽  
Author(s):  
Joe Hurd

This invited talk will look at logic solvers through the application lens of constructing and processing a theory library of mechanized mathematics. In fact, constructing and processing theories are two distinct applications, and each will be considered in turn. Construction is carried out by formalizing a mathematical theory using an interactive theorem prover, and logic solvers can remove much of the drudgery by automating common reasoning tasks. At the theory library level, logic solvers can provide assistance with theory engineering tasks such as compressing theories, managing dependencies, and constructing new theories from reusable theory components.


Sign in / Sign up

Export Citation Format

Share Document