Effectively Propositional Logic (EPR), also known as the Bernays-Schönfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct than purely propositional logic encodings. We recently developed a DPLL-based decision procedure that builds on top of efficient SAT solving techniques to handle the propositional case efficiently whil...

Background: In light of plans to implement an electronic patient record (EPR), preparations for radical organisational change were recognised as being critical to success. Aim: To determine hospital staff’s experience of and attitudes toward computer use and the EPR. Method: A cross-sectional design using The Computer and EPR Attitude Survey was administered to 878 health service employees in t...

Rapid freeze-quench (RFQ) in combination with electron paramagnetic resonance (EPR) spectroscopy at X-band is a proven technique to trap and characterize paramagnetic intermediates of biochemical reactions. Preparation of suitable samples is still cumbersome, despite many attempts to remedy this problem, and limits the wide applicability of RFQ EPR. We present a method, which improves the colle...

The argument of Einstein, Podolsky and Rosen (EPR), advanced by these authors in support of the thesis that quantummechanics cannot provide a complete description of a physical system, has been receiving close attention in foundational studies and debates on quantum mechanics ever since the famous paper of EPR appeared in 1935 [1]. Not lacking in subtlety, the EPR argument was bound to be misre...

Electron paramagnetic resonance (EPR) spectroscopy is a powerful and widely used technique for studying structure and dynamics of biomolecules under bio-orthogonal conditions. In-cell EPR is an emerging area in this field; however, it is hampered by the reducing environment present in cells, which reduces most nitroxide spin labels to their corresponding diamagnetic N-hydroxyl derivatives. To d...

We present a comparison of experimental and simulated frequency- and field-domain electron paramagnetic resonance (EPR) spectra of integer and half-integer high-spin transition-metal ion complexes. For the simulation of EPR spectra a new tool within the EPR simulation software EasySpin is introduced, which allows for field- and frequency-domain EPR simulations with the same theoretical model an...

Rat livers and microsomes were subjected to electron paramagnetic resonance (EPR) measurements at 77 K. The EPR spectra of the livers from the control group, carbon tetrachloride-, 3-methylcholanthrene-, and 3,3',4,4',5-pentachlorobiphenyl (PCB126)-treated rats exhibited an EPR spectrum at g=2.40, 2.24, and 1.93, which is characteristic of P450 in a resting state. The liver of the PCB126-treate...

Au Québec et en France, les orientations politiques références législatives qui encadrent l’école inclusive sont fondées sur des valeurs de justice sociale d’équité, visant l’accès à l’éducation la réussite pour toutes tous. Cette école suppose une organisation scolaire renouvelée. La mobilisation d’Enseignants dans un rôle personne-ressource (EPR) tant au qu’en France constitue mesure ministér...

INTRODUCTION EPR imaging using nitroxides is a powerful non-invasive method for visualizing the redox status modulated by oxidative stress in vivo. Recently we successfully reduced the scan time of three-dimensional (3D) EPR imaging of nitroxides in rodents. This system enables us to obtain 3D images of nitroxide probes with a half-life of a few minutes in living mice [1]. Another advantage of ...

Significant sums of money are invested in information systems (IS) initiatives in the healthcare sector all over the world. Most countries have implemented Electronic Patient Record (EPR) systems, which are clinical IS that support documentation of examination, treatment, and care of patients. EPR systems are expected to raise the quality of care, reduce medical errors, cut waiting time and ren...