Falsifying safety properties through games on over-approximating models\r\n

AbstractAbstractions of programs are traditionally over-approximations and have proved to be useful for the verification of safety properties. They are presently perceived as being useless for the falsification of safety properties, i.e. showing that program execution definitely reaches a “bad” state. Alternative techniques, such as the computation of under-approximating must transitions, have addressed this shortcoming in the past. We show that over-approximating models can indeed falsify safety properties by relying on and exploiting the seriality and partial determinism of programs: programs don't just stop for no reason, and most program statements have deterministic semantics. Our method is based on solving a two-person attractor game derived from over-approximating models and makes no assumptions about the abstraction domain used. An example demonstrates the successful use of our approach, and highlights the role played by seriality and our handling of nondeterminism. Finally, we show that our method can encode must transitions, if supplied, by a simple modification of the ownership of nodes in the attractor game derived from the over-approximating model

Near-Infrared Fluorescence Optical Imaging and Tomography

The advent of recent advances in near-infrared laser diodes and fast electro-optic detection has spawned a new research field of diagnostic spectroscopy and imaging based on targeting and reporting exogenous fluorescent agents. This review seeks to concisely address the physics, instrumentation, advancements in tomography, and near-infrared fluorescent contrast agent development that promises selective and specific molecular targeting of diseased tissues. As an example of one area of the field, recent work focusing on pharmacokinetic analysis of fluorophores targeting the epidermal growth factor receptor (EGFR) is presented in a human breast cancer xenograft mouse model to demonstrate specificity of molecularly targeted contrast agents. Finally, a critical evaluation of the limitations and the opportunities for future translation of fluorescence-enhanced optical imaging of deep tissues is presented

Near-Infrared Fluorescence Optical Imaging and Tomography

The advent of recent advances in near-infrared laser diodes and fast electro-optic detection has spawned a new research field of diagnostic spectroscopy and imaging based on targeting and reporting exogenous fluorescent agents. This review seeks to concisely address the physics, instrumentation, advancements in tomography, and near-infrared fluorescent contrast agent development that promises selective and specific molecular targeting of diseased tissues. As an example of one area of the field, recent work focusing on pharmacokinetic analysis of fluorophores targeting the epidermal growth factor receptor (EGFR) is presented in a human breast cancer xenograft mouse model to demonstrate specificity of molecularly targeted contrast agents. Finally, a critical evaluation of the limitations and the opportunities for future translation of fluorescence-enhanced optical imaging of deep tissues is presented

Single-Dose Intravenous Toxicity Study of IRDye 800CW in Sprague-Dawley Rats

Objective: Fluorophore-labeled contrast imaging agents are moving toward clinical use for a number of applications. The near-infrared dye IRDye 800CW is frequently used in its N-hydroxysuccinamide (NHS) ester form for labeling these agents. Following conjugation or breakdown of a labeled ligand, excess NHS ester is converted to the carboxylate form. To prepare for clinical use as a near-infrared fluorophore, a toxicity study was conducted on IRDye 800CW carboxylate. Methods: Male and female Sprague–Dawley rats were given a single intravenous or intradermal administration of IRDye 800CW carboxylate; Indocyanine Green was used as a comparative control. Animals were injected with varying doses of the test and control articles and observed for up to 14 days. Clinical chemistry, hematological, and pharmacokinetic analyses were performed on subgroups of animals. Organs were analyzed for content of the test article. Tissues were analyzed microscopically for pathological changes. Results: Based on hematologic, clinical chemistry, and histopathologic evaluation, single administration of IRDye 800CW carboxylate intravenously at dose levels of 1, 5, and 20 mg/kg or 20 mg/kg intradermally produced no pathological evidence of toxicity. Conclusion: A dose of 20 mg/kg was identified as the no observed adverse effect level following IV or ID routes of administration of IRDye 800CW

2012 ACCF/AHA/ACP/AATS/PCNA/SCAI/STS guideline for the diagnosis and management of patients with stable ischemic heart disease

The recommendations listed in this document are, whenever possible, evidence based. An extensive evidence review was conducted as the document was compiled through December 2008. Repeated literature searches were performed by the guideline development staff and writing committee members as new issues were considered. New clinical trials published in peer-reviewed journals and articles through December 2011 were also reviewed and incorporated when relevant. Furthermore, because of the extended development time period for this guideline, peer review comments indicated that the sections focused on imaging technologies required additional updating, which occurred during 2011. Therefore, the evidence review for the imaging sections includes published literature through December 2011

Method and system for detecting sentinel lymph nodes

According to one embodiment of the present invention, a method for detecting lymph nodes in a human includes introducing a fluorescent contrast agent into a lymph node system of a body, directing near-infrared time-varying excitation light into the tissue of the body, causing the near-infrared time-varying excitation light to contact a lymph node of the lymphatic system, whereby a redshifted and time-varying emission light is generated, detecting the time-varying emission light at a surface of the body, filtering the time-varying emission light to reject excitation light re-emitted from the lymph node, and imaging the lymph node of the lymphatic system.U

Method and system for detecting sentinel lymph nodes

According to one embodiment of the present invention, a method for detecting lymph nodes in a human includes introducing a fluorescent contrast agent into a lymph node system of a body, directing near-infrared time-varying excitation light into the tissue of the body, causing the near-infrared time-varying excitation light to contact a lymph node of the lymphatic system, whereby a redshifted and time-varying emission light is generated, detecting the time-varying emission light at a surface of the body, filtering the time-varying emission light to reject excitation light re-emitted from the lymph node, and imaging the lymph node of the lymphatic system.U

Method and system for detecting sentinel lymph nodes

According to one embodiment of the present invention, a method for detecting lymph nodes in a human includes introducing a fluorescent contrast agent into a lymph node system of a body, directing near-infrared time-varying excitation light into the tissue of the body, causing the near-infrared time-varying excitation light to contact a lymph node of the lymphatic system, whereby a redshifted and time-varying emission light is generated, detecting the time-varying emission light at a surface of the body, filtering the time-varying emission light to reject excitation light re-emitted from the lymph node, and imaging the lymph node of the lymphatic system.U

Method and system for detecting sentinel lymph nodes

According to one embodiment of the present invention, a method for detecting lymph nodes in a human includes introducing a fluorescent contrast agent into a lymph node system of a body, directing near-infrared time-varying excitation light into the tissue of the body, causing the near-infrared time-varying excitation light to contact a lymph node of the lymphatic system, whereby a redshifted and time-varying emission light is generated, detecting the time-varying emission light at a surface of the body, filtering the time-varying emission light to reject excitation light re-emitted from the lymph node, and imaging the lymph node of the lymphatic system.U