LEADER 01473nam 2200337 n 450 001 996391466003316 005 20200824121746.0 035 $a(CKB)4940000000106729 035 $a(EEBO)2240868689 035 $a(UnM)99860372e 035 $a(UnM)99860372 035 $a(EXLCZ)994940000000106729 100 $a19850418d1644 uh | 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn ordinance of the Lords and Commons assembled in Parliament$b[electronic resource]$eAfter advice had with the assembly of divines, for the ordination of ministers pro tempore, according to the directory for ordination, and rules for examination, therein expressed. Die Mercurii, 2 Octob. 1644. Ordered, that this ordinance for ordination, of ministers pro tempore, bee forthwith printed. H. Elsynge Cler. Parl. Dom. Com 210 $aLondon $cPrinted for Ralph Smith, and are to bee sold at his shop, at the signe of the Bible in Corne-hill, neere the Royall Exchange$d1644 215 $a[4], 15, [1] p 300 $aReproduction of the original in the British Library. 330 $aeebo-0018 606 $aOrdination$vEarly works to 1800 607 $aGreat Britain$xHistory$yCivil War, 1642-1649 615 0$aOrdination 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996391466003316 996 $aAn ordinance of the Lords and Commons assembled in Parliament$92298865 997 $aUNISA LEADER 05573nam 2200637 450 001 9910140189603321 005 20230519074628.0 010 $a1-118-43455-2 010 $a1-118-43451-X 035 $a(CKB)2670000000494066 035 $a(EBL)1574602 035 $a(MiAaPQ)EBC1574602 035 $a(Au-PeEL)EBL1574602 035 $a(CaPaEBR)ebr10814733 035 $a(CaONFJC)MIL551630 035 $a(OCoLC)843124274 035 $a(EXLCZ)992670000000494066 100 $a20131217d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 00$aVascular imaging of the central nervous system $ephysical principles, clinical applications and emerging techniques /$fedited by Joana N. Ramalho, Mauricio Castillo ; Richard C. Semelka, series editor 210 1$aHoboken, New Jersey :$cWiley-Blackwell,$d2014. 210 4$dİ2014 215 $a1 online resource (427 p.) 225 0 $aCurrent clinical imaging 300 $aDescription based upon print version of record. 311 $a1-118-18875-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCover; Title page; Copyright page; Contents; List of Contributors; Preface; Acknowledgments; One: Ultrasound Vascular Imaging (UVI); 1: Basic Principles of Ultrasound Sonography; Introduction; Sound; Medium; Interface of reflection; Doppler ultrasound; Instrumentation; Doppler display; Doppler spectral display; Color Doppler imaging; Color Doppler energy (power mode); Causes of artifacts; Frequency; Spectral broadening; Scattering and acoustic shadowing; Mirror artifact; Aliasing; Doppler angle; Gain; Wall filters; Hemodynamics; Types of flow; Laminar flow; Plug flow; Disturbed blood flow 327 $aTurbulent flowFlow resistance; High-resistance blood vessels; Low-resistance blood vessels; Flow parameters; Further reading; 2: Clinical Applications of Ultrasound Vascular Imaging; Introduction; Imaging protocols; Clinical applications; Extracranial vascular applications; Intracranial vascular applications; Further reading; 3: Novel Applications of Ultrasound Vascular Imaging; Overview; Cervical vascular ultrasound; Atherosclerotic and degenerative artery disease; Transcranial ultrasound; Effects of cervical artery steno-occlusive disease in intracranial arteries 327 $aIntracranial vasculopathiesMicroembolic signals; Cerebral hemodynamic monitoring; Intracranial hypertension and cerebral circulatory arrest; Cerebral vasoreactivity studies; Venous disease; Real-time 3D ultrasound; Microbubbles and ultrasound contrast agents; Enhanced macrocirculation examination; Ultrasonographic brain perfusion imaging; Molecular imaging with targeted contrast ultrasound; Conclusion and summary; Further reading; Two: Computed Tomography Angiography (CTA); 4: Basic Principles of Computed Tomography Angiography (CTA); Introduction; Fundamentals of the CTA imaging technique 327 $aArtifacts and pitfallsPitfalls; Imaging protocols; Clinical applications; Research applications; Summary; 5: Intracranial Computed Tomography Angiography (CTA); Introduction; CT angiography; Imaging protocols; Artifacts and pitfalls; Clinical indications for CTA; Intracranial aneurysms; Central nervous system (CNS) vasculitis and non-atherosclerotic vasculopathy; Acute stroke; Brain death; Maxillofacial vascular pathology; Traumatic vascular injuries; CT venography; Imaging protocols; Artifacts and pitfalls; Clinical indications for CTV; Anatomic variants; Cerebral venous thrombosis 327 $aCurrent research on CTA and CTV4D CT angiography; Dual-energy CT angiography; Further reading; References; 6: Extracranial Computed Tomography Angiography (CTA); Introduction; Imaging principles; Introduction; CT angiography technique; Visualization technique; Clinical applications; Atherosclerotic disease; Dissection; Fibromuscular dysplasia; Blunt cerebrovascular injuries; Posttreatment CTA for the cervical arteries; Further reading; References; Three: Magnetic Resonance Vascular Imaging (MRV); 7: Basic Principles of Time-of-Flight Magnetic Resonance Angiography (TOF MRA) and MRV 327 $aIntroduction 330 $ahe first book-length reference to thoroughly describe diagnostic and therapeutic advances in the development of vascular radiology over the last decade The last ten years has seen vascular imaging of the central nervous system (CNS) evolve from fairly crude, invasive procedures to more advanced imaging methods that are safer, faster, and more precise-with computed tomographic (CT) and magnetic resonance (MR) imaging methods playing a special role in these advances. Vascular Imaging of the Central Nervous System is the first full-length reference text that shows radiologis 410 0$aCurrent Clinical Imaging 606 $aCentral nervous system$xRadiography 606 $aCentral nervous system$xDiseases$xDiagnosis 606 $aDiagnostic imaging$xMethodology 615 0$aCentral nervous system$xRadiography. 615 0$aCentral nervous system$xDiseases$xDiagnosis. 615 0$aDiagnostic imaging$xMethodology. 676 $a616.8/047572 701 $aRamalho$b Joana N$0935507 701 $aCastillo$b Mauricio$0935508 701 $aSemelka$b Richard C$0935509 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910140189603321 996 $aVascular imaging of the central nervous system$92107244 997 $aUNINA LEADER 05301nam 22007095 450 001 9910523006803321 005 20251113175843.0 010 $a981-16-4173-0 024 7 $a10.1007/978-981-16-4173-2 035 $a(MiAaPQ)EBC6875116 035 $a(Au-PeEL)EBL6875116 035 $a(CKB)21004150500041 035 $a(PPN)269154620 035 $a(OCoLC)1298407282 035 $a(DE-He213)978-981-16-4173-2 035 $a(EXLCZ)9921004150500041 100 $a20220124d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvances in Mathematical Logic $eDedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /$fedited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka 205 $a1st ed. 2021. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2021. 215 $a1 online resource (232 pages) 225 1 $aSpringer Proceedings in Mathematics & Statistics,$x2194-1017 ;$v369 311 08$aPrint version: Arai, Toshiyasu Advances in Mathematical Logic Singapore : Springer Singapore Pte. Limited,c2022 9789811641725 327 $aS. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ?1 -- S. Iwata, Interpolation properties for Sacchetti?s logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti?s early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti?s Quantum Set Theory to Satisfy De Morgan?s Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, ?Gaisi Takeuti?s finitist standpoint? and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. 330 $aGaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's workranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18?20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti. 410 0$aSpringer Proceedings in Mathematics & Statistics,$x2194-1017 ;$v369 606 $aLogic, Symbolic and mathematical 606 $aComputer arithmetic and logic units 606 $aComputer science$xMathematics 606 $aLogic 606 $aMathematics$xPhilosophy 606 $aMathematical Logic and Foundations 606 $aArithmetic and Logic Structures 606 $aMathematics of Computing 606 $aMathematical Logic and Foundations 606 $aLogic 606 $aPhilosophy of Mathematics 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer arithmetic and logic units. 615 0$aComputer science$xMathematics. 615 0$aLogic. 615 0$aMathematics$xPhilosophy. 615 14$aMathematical Logic and Foundations. 615 24$aArithmetic and Logic Structures. 615 24$aMathematics of Computing. 615 24$aMathematical Logic and Foundations. 615 24$aLogic. 615 24$aPhilosophy of Mathematics. 676 $a511.3 702 $aArai$b Toshiyasu 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910523006803321 996 $aAdvances in mathematical logic$92597493 997 $aUNINA