LEADER 02440nlm0 22006491i 450 001 990009259360403321 010 $a9783642004315 035 $a000925936 035 $aFED01000925936 035 $a(Aleph)000925936FED01 035 $a000925936 100 $a20100926d2009----km-y0itay50------ba 101 0 $aeng 102 $aDE 135 $adrnn-008mamaa 200 1 $aModel Checking and Artificial Intelligence$bRisorsa elettronica$e5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers$fedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge 210 $aBerlin ; Heidelberg$cSpringer$d2009 225 1 $aLecture Notes in Computer Science$x0302-9743$v5348 230 $aDocumento elettronico 336 $aTesto 337 $aFormato html, pdf 702 1$aGoebel,$bRandy 702 1$aHutchison,$bDavid 702 1$aKanade,$bTakeo 702 1$aKittler,$bJosef 702 1$aKleinberg,$bJon M. 702 1$aMattern,$bFriedemann 702 1$aMitchell,$bJohn C. 702 1$aNaor,$bMoni 702 1$aNierstrasz,$bOscar 702 1$aPandu Rangan,$bC. 702 1$aPeled,$bDoron A. 702 1$aSiekmann,$bJörg 702 1$aSteffen,$bBernhard 702 1$aSudan,$bMadhu 702 1$aTerzopoulos,$bDemetri 702 1$aTygar,$bDoug 702 1$aVardi,$bMoshe Y. 702 1$aWahlster,$bWolfgang 702 1$aWeikum,$bGerhard 702 1$aWooldridge,$bMichael J. 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zFull text per gli utenti Federico II$uhttp://dx.doi.org/10.1007/978-3-642-00431-5 901 $aEB 912 $a990009259360403321 961 $aArtificial intelligence 961 $aArtificial Intelligence (incl. Robotics) 961 $aComputer science 961 $aComputer Science 961 $aLogic design 961 $aLogics and Meanings of Programs 961 $aMathematical Logic and Formal Languages 961 $aProgramming Techniques 961 $aSoftware engineering 961 $aSoftware Engineering 996 $aModel Checking and Artificial Intelligence$9772652 997 $aUNINA LEADER 08572nam 22006975 450 001 9910298317703321 005 20250806165314.0 010 $a1-4939-0620-8 024 7 $a10.1007/978-1-4939-0620-8 035 $a(CKB)2560000000148299 035 $a(EBL)1698093 035 $a(OCoLC)876832349 035 $a(SSID)ssj0001199641 035 $a(PQKBManifestationID)11703442 035 $a(PQKBTitleCode)TC0001199641 035 $a(PQKBWorkID)11204712 035 $a(PQKB)10088657 035 $a(MiAaPQ)EBC1698093 035 $a(DE-He213)978-1-4939-0620-8 035 $a(PPN)17832082X 035 $a(EXLCZ)992560000000148299 100 $a20140411d2014 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aOxygen Transport to Tissue XXXVI /$fedited by Harold M. Swartz, David K. Harrison, Duane F. Bruley 205 $a1st ed. 2014. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d2014. 215 $a1 online resource (370 p.) 225 1 $aAdvances in Experimental Medicine and Biology,$x2214-8019 ;$v812 300 $aDescription based upon print version of record. 311 08$a1-4939-0583-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aMitochondrial Genetic Abnormalities after Radiation Exposure -- Crediting Six Discoverers of Oxygen -- Hypoxia in Tumors: Pathogenesis-related Classification, Characterization of Hypoxia subtypes, and Associated Biological and Clinical Implications -- Heterogeneity in Tissue Oxygenation: From Physiological Variability in Normal Tissues to Pathophysiological Chaos in Malignant Tumours -- Oxygen Diffusion: An Enzyme-controlled Variable Parameter -- Role of Microvascular Shunts in the Loss of Cerebral Blood Flow Autoregulation -- Impact of Hypoxia-related Tumor Acidosis on Cytotoxicity of Different Chemotherapeutic Drugs in vitro and in vivo -- The Founding of ISOTT: The Shamattawa of Engineering Science and Medical Science -- A Tale of Two Methods: Combining Near-Infrared Spectroscopy with MRI for Studies of Brain Oxygenation and Metabolism -- Advances in Probes and Methods for Clinical EPR Oximetry -- Real-Time, In Vivo Determination of Dynamic Changes in Lung and Heart Tissue Oxygenation using EPR Oximetry -- Modulation of Hypoxia by Magnetic Nanoparticle Hyperthermia to Augment Therapeutic Index -- Skeletal Muscle and Glioma Oxygenation by Carbogen Inhalation in Rats: A Longitudinal Study by EPR Oximetry using Single-Probe Implantable Oxygen Sensors -- Recurrent Low-dose Chemotherapy to Inhibit and Oxygenate Head and Neck Tumors -- How in vivo EPR Measures and Images Oxygen -- What We Learn From In Vivo EPR Oxygen Images -- EPR Image Based Oxygen Movies for Transient Hypoxia -- Repetitive Measurements of Intrarenal Oxygenation in vivo using L band Electron Paramagnetic Resonance -- Quantitative Hypoxia Imaging for Treatment Planning of Radiotherapy -- A New Flavonoid Regulates Angiogenesis and Reactive Oxygen Species Production -- Angiotensin II Reduces Transport-Dependent Oxygen Consumption but Increases Transport-Independent Oxygen Consumption in Immortalized Mouse Proximal Tubular Cells -- Investigation of Cerebral Autoregulation in the Newborn Piglet during Anaesthesia and Surgery -- Influence of the Maternal use of Labetalol on the Neurogenic Mechanism for Cerebral Autoregulation Assessed by Means of NIRS -- Development of a Near Infrared Multi-Wavelength, Multi-channel, Time-Resolved Spectrometer for Measuring Brain Tissue Haemodynamics and Metabolism -- Simulating NIRS and MRS measurements during cerebral hypoxia-ischaemia in piglets using a computational model -- Analysis of Slow Wave Oscillations in Cerebral Haemodynamics and Metabolism Following Subarachnoid Haemorrhage -- Effects of Enriched Environment on Hippocampal Neuronal Cell Death and Neurogenesis in Rat Global Ischemia -- Automated Image Analysis for Diameters and Branching Points of Cerebral Penetrating Arteries and Veins Captured with Two-Photon Microscopy -- Cerebral Hemodynamic Changes and Metabolic Alteration in Severe Hemorrhagic Shock -- Physiological Mechanism of Increase in Deoxy-hemoglobin Concentration during Neuronal Activation in Patients with Cerebral Ischemia: A Simulation Study with the Balloon Model -- Effect of Blood in the Cerebrospinal Fluid on the Accuracy of Cerebral Oxygenation Measured by Near Infrared Spectroscopy -- Vessel Specific Imaging of Glucose Transfer with Fluorescent Glucose Analogue in Anesthetized Mouse Cortex -- Ischemic Pretreatment Delays Ischemic Brain Vasospasm Injury in Gerbils -- Changes in Cerebral Blood Oxygenation Induced by Active Standing Test in Children with POTS and NMS -- Optical Imaging of Brain Activation in Gambian Infants -- Asymmetrical Changes in Cerebral Blood Oxygenation Induced by an Active Standing Test in Children with Postural Tachycardia Syndrome -- Changes of Cerebral Tissue Oxygen Saturation at Sleep Transitions in Adolescents -- Influence of Subjective Happiness on the Prefrontal Brain Activity: An fNIRS Study -- Ginkobiloba Extract Improves Working Memory Performance in Middle-aged women; Role of Asymmetry of Prefrontal Cortex Activity during a Working Memory Task -- Bayesian Prediction of Anxiety Level in Aged People at Rest using 2-Channel NIRS Data from Prefrontal Cortex -- Short-term Hypoxic Preconditioning Improved Survival following Cardiac Arrest and Resuscitation in rats -- Venular Valves and Retrograde Perfusion -- Monitoring of Filter Patency during Carotid Artery Stenting using Near-Infrared Spectroscopy with High Time-Resolution -- Use of NIRS to Assess Effect of Training on Peripheral Muscle Oxygenation Changes in Elite Rugby Players Performing Repeated Supramaximal Cycling Tests -- Skeletal Muscle Deoxygenation Responses during Treadmill Exercise in Children -- Development of a Hybrid Microwave-Optical Thermoregulation Monitor for the Muscle -- Evaluation of a Textile-Based Near Infrared Spectroscopy System in Calf Muscle Oxygenation Measurements -- Skin Temperature in Lower Hind Limb Subjected to Distal Vein Arterialization in Rats -- Index. 330 $aThis book contains the refereed contributions from the 41st annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. Traditionally, ISOTT conferences are a place, where an atmosphere of interaction is created, where many questions are asked after each presentation and lively discussions occur at a high scientific level. This vivid interaction is the main motivation for members to participate and gain new ideas and knowledge in the broad field of oxygen transport to tissue. The papers in this volume summarize some of the outstanding contributions from the 41st annual meeting. Special features in this volume include invited presentations from senior members of ISOTT for the theme ?the wisdom of ISOTT? in which founders, past presidents and prize winners from previous meetings provided both cutting edge new knowledge and integratedoverviews of critical aspects of the field. The presentations and manuscripts also include those provided by the special opportunity provided by having part of the ISOTT meeting overlap with the EPR-2013 meeting where both focused on preclinical and clinical measurements of oxygen, with a particular emphasis on cancer. Chapters 22, 24, 25 and 26 are open access under a CC BY 4.0 license via link.springer.com. 410 0$aAdvances in Experimental Medicine and Biology,$x2214-8019 ;$v812 606 $aHuman physiology 606 $aImmunology 606 $aRespiratory organs$xDiseases 606 $aHuman Physiology 606 $aImmunology 606 $aPneumology 615 0$aHuman physiology. 615 0$aImmunology. 615 0$aRespiratory organs$xDiseases. 615 14$aHuman Physiology. 615 24$aImmunology. 615 24$aPneumology. 676 $a572.47 702 $aSwartz$b Harold M.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarrison$b David K.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBruley$b Duane F.$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298317703321 996 $aOxygen Transport to Tissue XXXVI$92498385 997 $aUNINA